Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 5a (2017-07-26) | SAT (TO) | 313 | 2520.0801 | 2442.3101 |
| Name | StillLife/StillLife-wst-s1/ StillLife-wastage-28.xml |
| MD5SUM | f7605bb50abdbd05cc6d9fedf17196d1 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 398 |
| Best CPU time to get the best result obtained on this benchmark | 2400.02 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1831 |
| Number of constraints | 1072 |
| Number of domains | 4 |
| Minimum domain size | 2 |
| Maximum domain size | 1801 |
| Distribution of domain sizes | [{"size":2,"count":900},{"size":3,"count":900},{"size":785,"count":1},{"size":1801,"count":30}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 31 |
| Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":897},{"degree":3,"count":33},{"degree":4,"count":112},{"degree":8,"count":108},{"degree":9,"count":676},{"degree":31,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 32 |
| Distribution of constraint arities | [{"arity":2,"count":142},{"arity":3,"count":112},{"arity":10,"count":784},{"arity":30,"count":4},{"arity":31,"count":1},{"arity":32,"count":29}] |
| Number of extensional constraints | 896 |
| Number of intensional constraints | 141 |
| Distribution of constraint types | [{"type":"extension","count":896},{"type":"intension","count":141},{"type":"sum","count":31},{"type":"instantiation","count":4}] |
| Optimization problem | YES |
| Type of objective | max VAR |
0.00/0.09 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4272273-1502693209.xml" -tl '2520s' -p 1 -x 3 0.08/0.27 c [HOME/instance-4272273-1502693209.xml, -tl, 2520s, -p, 1, -x, 3] 0.27/0.33 c simple solver 0.27/0.40 c parse instance... 2.39/1.13 c solve instance... 9.74/4.39 o 306 50.03/36.99 o 309 928.45/892.48 o 312 928.56/892.50 o 313 2520.05/2442.30 s SATISFIABLE 2520.05/2442.30 v <instantiation> 2520.05/2442.30 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[0][29] 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[1][29] 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[2][29] 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[3][29] 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[4][29] 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[5][29] 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[6][29] 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[7][29] 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[8][29] 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[9][29] 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[10][29] 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[11][29] 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[12][29] 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[13][29] 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[14][29] 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[15][29] 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[16][29] 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[17][29] 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[18][29] 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[19][29] 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[20][29] 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[21][29] 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[22][29] 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[23][29] 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[24][29] 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[25][29] 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[26][29] 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[27][29] 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] x[28][29] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] 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[0][29] 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[1][29] 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[2][29] 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[3][29] 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[4][29] 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[5][29] 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[6][29] 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[7][29] 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[8][29] 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[9][29] 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[10][29] 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[11][29] 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[12][29] 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[13][29] 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[14][29] 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[15][29] 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[16][29] 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[17][29] 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[18][29] 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[19][29] 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[20][29] 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[21][29] 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[22][29] 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[23][29] 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[24][29] 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[25][29] 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[26][29] 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[27][29] 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] w[28][29] w[29][0] w[29][1] w[29][2] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] 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] ws[29] z </list> 2520.05/2442.30 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 0 0 0 0 0 0 1 1 0 0 1 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 1 0 0 1 0 1 1 0 1 1 1 1 0 0 0 0 0 0 1 1 0 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 1 1 1 0 0 1 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 1 0 1 0 1 0 0 1 1 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 1 1 1 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 1 1 0 0 1 0 1 0 1 1 1 0 0 0 0 0 1 1 1 0 0 1 0 1 1 1 1 0 0 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 0 0 0 0 1 1 1 1 1 0 0 0 1 1 0 1 0 1 1 0 1 0 1 0 0 0 1 1 0 0 0 1 1 1 0 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 1 0 1 0 1 1 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 1 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 0 1 0 1 0 1 1 1 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 0 1 0 1 1 0 0 0 0 1 0 1 1 1 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 1 0 1 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 1 1 1 0 1 0 0 0 0 1 1 1 0 0 1 1 1 1 1 1 1 0 1 1 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 0 0 0 0 1 1 1 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 1 0 0 1 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 1 1 1 0 1 1 1 0 0 1 1 1 0 1 1 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 1 0 1 0 1 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 1 1 0 0 1 1 0 1 1 0 0 1 1 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 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 0 1 0 0 1 0 1 1 1 1 1 0 1 2 2 2 2 2 2 2 2 2 2 2 1 1 0 1 1 0 0 0 0 0 0 0 0 1 2 2 2 1 1 2 1 1 2 1 1 2 2 1 2 2 1 0 1 1 1 1 0 0 0 0 0 0 0 1 0 2 2 1 1 1 1 0 0 0 1 1 1 1 0 0 0 0 0 1 1 0 1 0 1 1 0 1 1 0 1 1 1 1 1 2 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 1 0 2 0 1 0 0 2 2 1 1 0 0 1 0 0 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 2 1 0 1 0 2 2 1 0 1 1 2 0 1 1 0 0 0 0 1 1 2 0 0 0 0 1 0 0 1 0 2 1 0 1 1 2 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 1 1 1 0 1 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 2 1 1 0 0 0 0 0 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 2 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 1 0 1 1 2 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 2 1 1 2 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 2 2 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 1 1 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 0 0 0 0 0 1 0 1 1 2 1 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 2 2 1 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 2 2 2 1 0 0 0 1 0 0 0 1 1 1 0 1 0 1 1 0 1 0 1 0 0 0 0 0 0 1 1 2 2 1 0 1 0 1 1 1 0 1 2 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 2 2 2 1 1 1 2 1 1 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 2 2 2 2 2 1 1 2 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 2 1 1 2 1 1 1 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 1 1 0 1 1 1 0 0 0 1 0 1 1 0 1 0 0 0 2 0 0 0 0 2 1 0 1 0 0 0 2 1 0 0 2 2 0 0 1 1 0 1 0 1 1 1 2 0 0 0 0 0 1 1 1 1 0 0 0 1 1 1 0 1 1 1 1 0 1 1 1 0 0 0 1 1 1 1 0 0 1 0 0 1 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 0 21 56 85 103 113 127 147 161 171 179 189 197 203 210 218 229 242 253 262 269 282 298 316 339 354 365 378 395 414 428 313 </values> 2520.05/2442.30 v </instantiation> 2520.05/2442.30 c Unexpected resolution interruption!
OK 313
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 (14438 MiB free)
memory of node 1: 16384 MiB (15366 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272273-1502693209/watcher-4272273-1502693209 -o /tmp/evaluation-result-4272273-1502693209/solver-4272273-1502693209 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502662595-11629 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 455333976 HOME/instance-4272273-1502693209.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
Current StackSize limit: 8192 KiB
solver pid=15747, runsolver pid=15744
[startup+0.100131 s]*
/proc/loadavg: 1.40 1.49 1.56 2/199 15750
/proc/meminfo: memFree=30518724/32770624 swapFree=67108860/67108860
[pid=15747] ppid=15744 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15747/stat : 15747 (xcsp3-exec) S 15744 15747 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 71541516 9740288 345 18446744073709551615 4194304 5098028 140734989473792 140734989471896 139993922585212 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 14970880 140734989480313 140734989480517 140734989480517 140734989484011 0
/proc/15747/statm: 2378 345 289 221 0 87 0
[pid=15749] ppid=15747 vsize=13358712 memory=13456 CPUtime=0 cores=1,3,5,7
/proc/15749/stat : 15749 (java) S 15747 15747 897 0 -1 1077944320 3125 0 0 0 0 0 0 0 20 0 6 0 71541525 13679321088 3364 18446744073709551615 4194304 4196468 140731147035744 140731147018288 140394726510327 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
/proc/15749/statm: 3339678 3364 1747 1 0 3329175 0
[pid=15749/tid=15750] ppid=15747 vsize=13358712 memory=7311146985107750967 CPUtime=0 cores=1,3,5,7
/proc/15749/task/15750/stat : 15750 (java) R 15747 15747 897 0 -1 4202560 2028 0 0 0 0 0 0 0 20 0 6 0 71541525 13679321088 3496 18446744073709551615 4194304 4196468 140731147035744 140394730746448 140394712192853 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15751] ppid=15747 vsize=13358712 memory=12619 CPUtime=0 cores=1,3,5,7
/proc/15749/task/15751/stat : 15751 (java) S 15747 15747 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 71541526 13679321088 3496 18446744073709551615 4194304 4196468 140731147035744 140394698353168 140394726520533 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15752] ppid=15747 vsize=13358712 memory=139657839137881 CPUtime=0 cores=1,3,5,7
/proc/15749/task/15752/stat : 15752 (java) S 15747 15747 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 71541526 13679321088 3496 18446744073709551615 4194304 4196468 140731147035744 140394325076624 140394726520533 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15753] ppid=15747 vsize=13358712 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15749/task/15753/stat : 15753 (java) S 15747 15747 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 71541526 13679321088 3496 18446744073709551615 4194304 4196468 140731147035744 140394324023568 140394726520533 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15754] ppid=15747 vsize=13358712 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15749/task/15754/stat : 15754 (java) S 15747 15747 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 71541526 13679321088 3496 18446744073709551615 4194304 4196468 140731147035744 140394322971024 140394726520533 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 14836 KiB
[startup+0.210007 s]*
/proc/loadavg: 1.40 1.49 1.56 3/212 15763
/proc/meminfo: memFree=30504636/32770624 swapFree=67108860/67108860
[pid=15747] ppid=15744 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15747/stat : 15747 (xcsp3-exec) S 15744 15747 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 71541516 9740288 345 18446744073709551615 4194304 5098028 140734989473792 140734989471896 139993922585212 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 14970880 140734989480313 140734989480517 140734989480517 140734989484011 0
/proc/15747/statm: 2378 345 289 221 0 87 0
[pid=15749] ppid=15747 vsize=13974352 memory=28164 CPUtime=0.08 cores=1,3,5,7
/proc/15749/stat : 15749 (java) S 15747 15747 897 0 -1 1077944320 4980 0 0 0 8 0 0 0 20 0 15 0 71541525 14309736448 7041 18446744073709551615 4194304 4196468 140731147035744 140731147018288 140394726510327 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
/proc/15749/statm: 3493588 7041 2724 1 0 3482964 0
[pid=15749/tid=15750] ppid=15747 vsize=13974352 memory=7311146985107750967 CPUtime=0.06 cores=1,3,5,7
/proc/15749/task/15750/stat : 15750 (java) R 15747 15747 897 0 -1 4202560 3132 0 0 0 6 0 0 0 20 0 15 0 71541525 14309736448 7041 18446744073709551615 4194304 4196468 140731147035744 140394730714464 140394726522262 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15751] ppid=15747 vsize=13974352 memory=12619 CPUtime=0 cores=1,3,5,7
/proc/15749/task/15751/stat : 15751 (java) S 15747 15747 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71541526 14309736448 7041 18446744073709551615 4194304 4196468 140731147035744 140394698353168 140394726520533 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15752] ppid=15747 vsize=13974352 memory=139657839137881 CPUtime=0 cores=1,3,5,7
/proc/15749/task/15752/stat : 15752 (java) S 15747 15747 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71541526 14309736448 7041 18446744073709551615 4194304 4196468 140731147035744 140394325076624 140394726520533 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15753] ppid=15747 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15749/task/15753/stat : 15753 (java) S 15747 15747 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71541526 14309736448 7041 18446744073709551615 4194304 4196468 140731147035744 140394324023568 140394726520533 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15754] ppid=15747 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15749/task/15754/stat : 15754 (java) S 15747 15747 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71541526 14309736448 7041 18446744073709551615 4194304 4196468 140731147035744 140394322971024 140394726520533 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15755] ppid=15747 vsize=13974352 memory=139657839122048 CPUtime=0 cores=1,3,5,7
/proc/15749/task/15755/stat : 15755 (java) S 15747 15747 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71541527 14309736448 7041 18446744073709551615 4194304 4196468 140731147035744 140394205084400 140394726521474 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15756] ppid=15747 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15749/task/15756/stat : 15756 (java) S 15747 15747 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 71541528 14309736448 7041 18446744073709551615 4194304 4196468 140731147035744 140394204030624 140394726520533 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15757] ppid=15747 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15749/task/15757/stat : 15757 (java) S 15747 15747 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71541528 14309736448 7041 18446744073709551615 4194304 4196468 140731147035744 140394202977520 140394726520533 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15758] ppid=15747 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15749/task/15758/stat : 15758 (java) S 15747 15747 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71541530 14309736448 7041 18446744073709551615 4194304 4196468 140731147035744 140394201926096 140394726528923 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15759] ppid=15747 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15749/task/15759/stat : 15759 (java) S 15747 15747 897 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 71541530 14309736448 7041 18446744073709551615 4194304 4196468 140731147035744 140394200873200 140394726521474 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15760] ppid=15747 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15749/task/15760/stat : 15760 (java) S 15747 15747 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71541530 14309736448 7041 18446744073709551615 4194304 4196468 140731147035744 140394199820656 140394726521474 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15761] ppid=15747 vsize=13974352 memory=139657839122048 CPUtime=0 cores=1,3,5,7
/proc/15749/task/15761/stat : 15761 (java) S 15747 15747 897 0 -1 1077944384 244 0 0 0 0 0 0 0 20 0 15 0 71541530 14309736448 7041 18446744073709551615 4194304 4196468 140731147035744 140394198767600 140394726521474 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15762] ppid=15747 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15749/task/15762/stat : 15762 (java) S 15747 15747 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71541531 14309736448 7041 18446744073709551615 4194304 4196468 140731147035744 140394197715296 140394726520533 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15763] ppid=15747 vsize=13974352 memory=139657839122048 CPUtime=0 cores=1,3,5,7
/proc/15749/task/15763/stat : 15763 (java) S 15747 15747 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71541535 14309736448 7041 18446744073709551615 4194304 4196468 140731147035744 140394196663344 140394726521474 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29544 KiB
[startup+0.310316 s]*
/proc/loadavg: 1.40 1.49 1.56 5/212 15763
/proc/meminfo: memFree=30492424/32770624 swapFree=67108860/67108860
[pid=15747] ppid=15744 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15747/stat : 15747 (xcsp3-exec) S 15744 15747 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 71541516 9740288 345 18446744073709551615 4194304 5098028 140734989473792 140734989471896 139993922585212 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 14970880 140734989480313 140734989480517 140734989480517 140734989484011 0
/proc/15747/statm: 2378 345 289 221 0 87 0
[pid=15749] ppid=15747 vsize=13974352 memory=37520 CPUtime=0.27 cores=1,3,5,7
/proc/15749/stat : 15749 (java) S 15747 15747 897 0 -1 1077944320 8449 0 0 0 25 2 0 0 20 0 15 0 71541525 14309736448 9380 18446744073709551615 4194304 4196468 140731147035744 140731147018288 140394726510327 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
/proc/15749/statm: 3493588 9380 2973 1 0 3482964 0
[pid=15749/tid=15750] ppid=15747 vsize=13974352 memory=-8774313645642428999 CPUtime=0.16 cores=1,3,5,7
/proc/15749/task/15750/stat : 15750 (java) R 15747 15747 897 0 -1 4202560 5751 0 0 0 15 1 0 0 20 0 15 0 71541525 14309736448 9380 18446744073709551615 4194304 4196468 140731147035744 140394730741456 140394726532253 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15751] ppid=15747 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/15749/task/15751/stat : 15751 (java) S 15747 15747 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71541526 14309736448 9380 18446744073709551615 4194304 4196468 140731147035744 140394698353168 140394726520533 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15752] ppid=15747 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15749/task/15752/stat : 15752 (java) S 15747 15747 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71541526 14309736448 9380 18446744073709551615 4194304 4196468 140731147035744 140394325076624 140394726520533 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15753] ppid=15747 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15749/task/15753/stat : 15753 (java) S 15747 15747 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71541526 14309736448 9380 18446744073709551615 4194304 4196468 140731147035744 140394324023568 140394726520533 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15754] ppid=15747 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15749/task/15754/stat : 15754 (java) S 15747 15747 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71541526 14309736448 9380 18446744073709551615 4194304 4196468 140731147035744 140394322971024 140394726520533 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15755] ppid=15747 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15749/task/15755/stat : 15755 (java) S 15747 15747 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71541527 14309736448 9380 18446744073709551615 4194304 4196468 140731147035744 140394205084400 140394726521474 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15756] ppid=15747 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15749/task/15756/stat : 15756 (java) S 15747 15747 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 71541528 14309736448 9380 18446744073709551615 4194304 4196468 140731147035744 140394204030624 140394726520533 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15757] ppid=15747 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15749/task/15757/stat : 15757 (java) S 15747 15747 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71541528 14309736448 9380 18446744073709551615 4194304 4196468 140731147035744 140394202977520 140394726520533 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15758] ppid=15747 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15749/task/15758/stat : 15758 (java) S 15747 15747 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71541530 14309736448 9380 18446744073709551615 4194304 4196468 140731147035744 140394201926096 140394726528923 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15759] ppid=15747 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/15749/task/15759/stat : 15759 (java) S 15747 15747 897 0 -1 1077944384 504 0 0 0 2 0 0 0 20 0 15 0 71541530 14309736448 9380 18446744073709551615 4194304 4196468 140731147035744 140394200873200 140394726521474 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15760] ppid=15747 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/15749/task/15760/stat : 15760 (java) S 15747 15747 897 0 -1 1077944384 208 0 0 0 1 0 0 0 20 0 15 0 71541530 14309736448 9380 18446744073709551615 4194304 4196468 140731147035744 140394199820656 140394726521474 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15761] ppid=15747 vsize=13974352 memory=139657839122048 CPUtime=0.06 cores=1,3,5,7
/proc/15749/task/15761/stat : 15761 (java) R 15747 15747 897 0 -1 4202560 681 0 0 0 6 0 0 0 20 0 15 0 71541530 14309736448 9380 18446744073709551615 4194304 4196468 140731147035744 140394198766784 140394709881028 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15762] ppid=15747 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15749/task/15762/stat : 15762 (java) S 15747 15747 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71541531 14309736448 9380 18446744073709551615 4194304 4196468 140731147035744 140394197715296 140394726520533 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15763] ppid=15747 vsize=13974352 memory=139657839122048 CPUtime=0 cores=1,3,5,7
/proc/15749/task/15763/stat : 15763 (java) S 15747 15747 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71541535 14309736448 9380 18446744073709551615 4194304 4196468 140731147035744 140394196663344 140394726521474 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38900 KiB
[startup+0.700812 s]
/proc/loadavg: 1.40 1.49 1.56 4/212 15763
/proc/meminfo: memFree=30476804/32770624 swapFree=67108860/67108860
[pid=15747] ppid=15744 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15747/stat : 15747 (xcsp3-exec) S 15744 15747 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 71541516 9740288 345 18446744073709551615 4194304 5098028 140734989473792 140734989471896 139993922585212 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 14970880 140734989480313 140734989480517 140734989480517 140734989484011 0
/proc/15747/statm: 2378 345 289 221 0 87 0
[pid=15749] ppid=15747 vsize=13978684 memory=77524 CPUtime=1.35 cores=1,3,5,7
/proc/15749/stat : 15749 (java) S 15747 15747 897 0 -1 1077944320 12546 0 0 0 131 4 0 0 20 0 15 0 71541525 14314172416 19381 18446744073709551615 4194304 4196468 140731147035744 140731147018288 140394726510327 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
/proc/15749/statm: 3494671 19381 3165 1 0 3482964 0
[pid=15749/tid=15750] ppid=15747 vsize=13978684 memory=39840 CPUtime=0.55 cores=1,3,5,7
/proc/15749/task/15750/stat : 15750 (java) R 15747 15747 897 0 -1 4202560 7534 0 0 0 52 3 0 0 20 0 15 0 71541525 14314172416 19381 18446744073709551615 4194304 4196468 140731147035744 140394730748080 140394708799699 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15751] ppid=15747 vsize=13978684 memory=2372 CPUtime=0 cores=1,3,5,7
/proc/15749/task/15751/stat : 15751 (java) S 15747 15747 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71541526 14314172416 19381 18446744073709551615 4194304 4196468 140731147035744 140394698353168 140394726520533 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15752] ppid=15747 vsize=13978684 memory=25332 CPUtime=0 cores=1,3,5,7
/proc/15749/task/15752/stat : 15752 (java) S 15747 15747 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71541526 14314172416 19381 18446744073709551615 4194304 4196468 140731147035744 140394325076624 140394726520533 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15753] ppid=15747 vsize=13978684 memory=4116 CPUtime=0 cores=1,3,5,7
/proc/15749/task/15753/stat : 15753 (java) S 15747 15747 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71541526 14314172416 19381 18446744073709551615 4194304 4196468 140731147035744 140394324023568 140394726520533 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15754] ppid=15747 vsize=13978684 memory=6657 CPUtime=0 cores=1,3,5,7
/proc/15749/task/15754/stat : 15754 (java) S 15747 15747 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71541526 14314172416 19381 18446744073709551615 4194304 4196468 140731147035744 140394322971024 140394726520533 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15755] ppid=15747 vsize=13978684 memory=4420 CPUtime=0 cores=1,3,5,7
/proc/15749/task/15755/stat : 15755 (java) S 15747 15747 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71541527 14314172416 19381 18446744073709551615 4194304 4196468 140731147035744 140394205084400 140394726521474 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15756] ppid=15747 vsize=13978684 memory=6628 CPUtime=0 cores=1,3,5,7
/proc/15749/task/15756/stat : 15756 (java) S 15747 15747 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 71541528 14314172416 19381 18446744073709551615 4194304 4196468 140731147035744 140394204030624 140394726520533 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15757] ppid=15747 vsize=13978684 memory=6660 CPUtime=0 cores=1,3,5,7
/proc/15749/task/15757/stat : 15757 (java) S 15747 15747 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71541528 14314172416 19381 18446744073709551615 4194304 4196468 140731147035744 140394202977520 140394726520533 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15758] ppid=15747 vsize=13978684 memory=326 CPUtime=0 cores=1,3,5,7
/proc/15749/task/15758/stat : 15758 (java) S 15747 15747 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71541530 14314172416 19381 18446744073709551615 4194304 4196468 140731147035744 140394201926096 140394726528923 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15759] ppid=15747 vsize=13978684 memory=272 CPUtime=0.26 cores=1,3,5,7
/proc/15749/task/15759/stat : 15759 (java) R 15747 15747 897 0 -1 4202560 1507 0 0 0 26 0 0 0 20 0 15 0 71541530 14314172416 19381 18446744073709551615 4194304 4196468 140731147035744 140394200860320 140394709921199 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15760] ppid=15747 vsize=13978684 memory=921 CPUtime=0.2 cores=1,3,5,7
/proc/15749/task/15760/stat : 15760 (java) R 15747 15747 897 0 -1 4202560 758 0 0 0 20 0 0 0 20 0 15 0 71541530 14314172416 19381 18446744073709551615 4194304 4196468 140731147035744 140394199800400 140394705762278 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15761] ppid=15747 vsize=13978684 memory=244 CPUtime=0.32 cores=1,3,5,7
/proc/15749/task/15761/stat : 15761 (java) S 15747 15747 897 0 -1 1077944384 1438 0 0 0 32 0 0 0 20 0 15 0 71541530 14314172416 19381 18446744073709551615 4194304 4196468 140731147035744 140394198767600 140394726521474 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15762] ppid=15747 vsize=13978684 memory=61 CPUtime=0 cores=1,3,5,7
/proc/15749/task/15762/stat : 15762 (java) S 15747 15747 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71541531 14314172416 19381 18446744073709551615 4194304 4196468 140731147035744 140394197715296 140394726520533 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15763] ppid=15747 vsize=13978684 memory=5 CPUtime=0 cores=1,3,5,7
/proc/15749/task/15763/stat : 15763 (java) S 15747 15747 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71541535 14314172416 19381 18446744073709551615 4194304 4196468 140731147035744 140394196663344 140394726521474 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
Current children cumulated CPU time: 1.35 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 78904 KiB
[startup+1.50087 s]
/proc/loadavg: 1.40 1.49 1.56 6/212 15763
/proc/meminfo: memFree=30434280/32770624 swapFree=67108860/67108860
[pid=15747] ppid=15744 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15747/stat : 15747 (xcsp3-exec) S 15744 15747 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 71541516 9740288 345 18446744073709551615 4194304 5098028 140734989473792 140734989471896 139993922585212 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 14970880 140734989480313 140734989480517 140734989480517 140734989484011 0
/proc/15747/statm: 2378 345 289 221 0 87 0
[pid=15749] ppid=15747 vsize=13980732 memory=121272 CPUtime=3.53 cores=1,3,5,7
/proc/15749/stat : 15749 (java) S 15747 15747 897 0 -1 1077944320 21883 0 0 0 347 6 0 0 20 0 15 0 71541525 14316269568 30318 18446744073709551615 4194304 4196468 140731147035744 140731147018288 140394726510327 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
/proc/15749/statm: 3495183 30318 3192 1 0 3483476 0
[pid=15749/tid=15750] ppid=15747 vsize=13980732 memory=110368 CPUtime=1.34 cores=1,3,5,7
/proc/15749/task/15750/stat : 15750 (java) R 15747 15747 897 0 -1 4202560 9968 0 0 0 131 3 0 0 20 0 15 0 71541525 14316269568 30318 18446744073709551615 4194304 4196468 140731147035744 140394730738560 140394726522262 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15751] ppid=15747 vsize=13980732 memory=2372 CPUtime=0 cores=1,3,5,7
/proc/15749/task/15751/stat : 15751 (java) S 15747 15747 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71541526 14316269568 30318 18446744073709551615 4194304 4196468 140731147035744 140394698353168 140394726520533 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15752] ppid=15747 vsize=13980732 memory=25332 CPUtime=0 cores=1,3,5,7
/proc/15749/task/15752/stat : 15752 (java) S 15747 15747 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71541526 14316269568 30318 18446744073709551615 4194304 4196468 140731147035744 140394325076624 140394726520533 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15753] ppid=15747 vsize=13980732 memory=279315413470928 CPUtime=0 cores=1,3,5,7
/proc/15749/task/15753/stat : 15753 (java) S 15747 15747 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71541526 14316269568 30318 18446744073709551615 4194304 4196468 140731147035744 140394324023568 140394726520533 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15754] ppid=15747 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15749/task/15754/stat : 15754 (java) S 15747 15747 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71541526 14316269568 30318 18446744073709551615 4194304 4196468 140731147035744 140394322971024 140394726520533 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15755] ppid=15747 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15749/task/15755/stat : 15755 (java) S 15747 15747 897 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 71541527 14316269568 30318 18446744073709551615 4194304 4196468 140731147035744 140394205084400 140394726521474 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15756] ppid=15747 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15749/task/15756/stat : 15756 (java) S 15747 15747 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 71541528 14316269568 30318 18446744073709551615 4194304 4196468 140731147035744 140394204030624 140394726520533 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15757] ppid=15747 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[pid=15749/tid=15755] ppid=15747 vsize=13980732 memory=794308 CPUtime=1.08 cores=1,3,5,7
/proc/15749/task/15755/stat : 15755 (java) S 15747 15747 897 0 -1 1077944384 54297 0 0 0 88 20 0 0 20 0 15 0 71541527 14316269568 198577 18446744073709551615 4194304 4196468 140731147035744 140394205084400 140394726521474 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15756] ppid=15747 vsize=13980732 memory=2928 CPUtime=0 cores=1,3,5,7
/proc/15749/task/15756/stat : 15756 (java) S 15747 15747 897 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 71541528 14316269568 198577 18446744073709551615 4194304 4196468 140731147035744 140394204030624 140394726520533 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15757] ppid=15747 vsize=13980732 memory=794308 CPUtime=0 cores=1,3,5,7
/proc/15749/task/15757/stat : 15757 (java) S 15747 15747 897 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 71541528 14316269568 198577 18446744073709551615 4194304 4196468 140731147035744 140394202977520 140394726520533 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15758] ppid=15747 vsize=13980732 memory=794308 CPUtime=0 cores=1,3,5,7
/proc/15749/task/15758/stat : 15758 (java) S 15747 15747 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71541530 14316269568 198577 18446744073709551615 4194304 4196468 140731147035744 140394201926096 140394726528923 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15759] ppid=15747 vsize=13980732 memory=1380 CPUtime=6.42 cores=1,3,5,7
/proc/15749/task/15759/stat : 15759 (java) S 15747 15747 897 0 -1 1077944384 30865 0 0 0 639 3 0 0 20 0 15 0 71541530 14316269568 198577 18446744073709551615 4194304 4196468 140731147035744 140394200873200 140394726521474 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15760] ppid=15747 vsize=13980732 memory=4116 CPUtime=6.66 cores=1,3,5,7
/proc/15749/task/15760/stat : 15760 (java) S 15747 15747 897 0 -1 1077944384 32229 0 0 0 663 3 0 0 20 0 15 0 71541530 14316269568 198577 18446744073709551615 4194304 4196468 140731147035744 140394199820656 140394726521474 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15761] ppid=15747 vsize=13980732 memory=1380 CPUtime=0.97 cores=1,3,5,7
/proc/15749/task/15761/stat : 15761 (java) S 15747 15747 897 0 -1 1077944384 11040 0 0 0 94 3 0 0 20 0 15 0 71541530 14316269568 198577 18446744073709551615 4194304 4196468 140731147035744 140394198767600 140394726521474 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15762] ppid=15747 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15749/task/15762/stat : 15762 (java) S 15747 15747 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71541531 14316269568 198577 18446744073709551615 4194304 4196468 140731147035744 140394197715296 140394726520533 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15763] ppid=15747 vsize=13980732 memory=1380 CPUtime=1.23 cores=1,3,5,7
/proc/15749/task/15763/stat : 15763 (java) S 15747 15747 897 0 -1 1077944384 1133 0 0 0 56 67 0 0 20 0 15 0 71541535 14316269568 198577 18446744073709551615 4194304 4196468 140731147035744 140394196663344 140394726521474 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
Current children cumulated CPU time: 2458.22 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 795688 KiB
[startup+2442.3 s]
/proc/loadavg: 1.75 1.79 1.77 3/212 16009
/proc/meminfo: memFree=29992164/32770624 swapFree=67108860/67108860
[pid=15747] ppid=15744 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15747/stat : 15747 (xcsp3-exec) S 15744 15747 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 71541516 9740288 345 18446744073709551615 4194304 5098028 140734989473792 140734989471896 139993922585212 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 14970880 140734989480313 140734989480517 140734989480517 140734989484011 0
/proc/15747/statm: 2378 345 289 221 0 87 0
[pid=15749] ppid=15747 vsize=13980732 memory=741988 CPUtime=2520.05 cores=1,3,5,7
/proc/15749/stat : 15749 (java) S 15747 15747 897 0 -1 1077944320 288763 0 0 0 251572 433 0 0 20 0 15 0 71541525 14316269568 185497 18446744073709551615 4194304 4196468 140731147035744 140731147018288 140394726510327 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
/proc/15749/statm: 3495183 185497 3254 1 0 3483476 0
[pid=15749/tid=15750] ppid=15747 vsize=13980732 memory=741988 CPUtime=2419.9 cores=1,3,5,7
/proc/15749/task/15750/stat : 15750 (java) R 15747 15747 897 0 -1 4202560 80870 0 0 0 241963 27 0 0 20 0 15 0 71541525 14316269568 185497 18446744073709551615 4194304 4196468 140731147035744 140394730749552 140394376542608 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15751] ppid=15747 vsize=13980732 memory=741988 CPUtime=20.94 cores=1,3,5,7
/proc/15749/task/15751/stat : 15751 (java) S 15747 15747 897 0 -1 1077944384 18453 0 0 0 2014 80 0 0 20 0 15 0 71541526 14316269568 185497 18446744073709551615 4194304 4196468 140731147035744 140394698353168 140394726520533 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15752] ppid=15747 vsize=13980732 memory=741988 CPUtime=20.9 cores=1,3,5,7
/proc/15749/task/15752/stat : 15752 (java) S 15747 15747 897 0 -1 1077944384 19218 0 0 0 2008 82 0 0 20 0 15 0 71541526 14316269568 185497 18446744073709551615 4194304 4196468 140731147035744 140394325076624 140394726520533 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15753] ppid=15747 vsize=13980732 memory=1380 CPUtime=20.87 cores=1,3,5,7
/proc/15749/task/15753/stat : 15753 (java) S 15747 15747 897 0 -1 1077944384 18541 0 0 0 2008 79 0 0 20 0 15 0 71541526 14316269568 185497 18446744073709551615 4194304 4196468 140731147035744 140394324023568 140394726520533 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15754] ppid=15747 vsize=13980732 memory=741988 CPUtime=20.92 cores=1,3,5,7
/proc/15749/task/15754/stat : 15754 (java) S 15747 15747 897 0 -1 1077944384 19566 0 0 0 2011 81 0 0 20 0 15 0 71541526 14316269568 185497 18446744073709551615 4194304 4196468 140731147035744 140394322971024 140394726520533 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15755] ppid=15747 vsize=13980732 memory=1380 CPUtime=1.11 cores=1,3,5,7
/proc/15749/task/15755/stat : 15755 (java) S 15747 15747 897 0 -1 1077944384 55486 0 0 0 90 21 0 0 20 0 15 0 71541527 14316269568 185497 18446744073709551615 4194304 4196468 140731147035744 140394205084400 140394726521474 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15756] ppid=15747 vsize=13980732 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/15749/task/15756/stat : 15756 (java) S 15747 15747 897 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 71541528 14316269568 185497 18446744073709551615 4194304 4196468 140731147035744 140394204030624 140394726520533 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15757] ppid=15747 vsize=13980732 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/15749/task/15757/stat : 15757 (java) S 15747 15747 897 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 71541528 14316269568 185497 18446744073709551615 4194304 4196468 140731147035744 140394202977520 140394726520533 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15758] ppid=15747 vsize=13980732 memory=2316 CPUtime=0 cores=1,3,5,7
/proc/15749/task/15758/stat : 15758 (java) S 15747 15747 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71541530 14316269568 185497 18446744073709551615 4194304 4196468 140731147035744 140394201926096 140394726528923 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15759] ppid=15747 vsize=13980732 memory=1380 CPUtime=6.42 cores=1,3,5,7
/proc/15749/task/15759/stat : 15759 (java) S 15747 15747 897 0 -1 1077944384 30867 0 0 0 639 3 0 0 20 0 15 0 71541530 14316269568 185497 18446744073709551615 4194304 4196468 140731147035744 140394200873200 140394726521474 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15760] ppid=15747 vsize=13980732 memory=4116 CPUtime=6.66 cores=1,3,5,7
/proc/15749/task/15760/stat : 15760 (java) S 15747 15747 897 0 -1 1077944384 32232 0 0 0 663 3 0 0 20 0 15 0 71541530 14316269568 185497 18446744073709551615 4194304 4196468 140731147035744 140394199820656 140394726521474 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15761] ppid=15747 vsize=13980732 memory=1380 CPUtime=0.97 cores=1,3,5,7
/proc/15749/task/15761/stat : 15761 (java) S 15747 15747 897 0 -1 1077944384 11042 0 0 0 94 3 0 0 20 0 15 0 71541530 14316269568 185497 18446744073709551615 4194304 4196468 140731147035744 140394198767600 140394726521474 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15762] ppid=15747 vsize=13980732 memory=707116 CPUtime=0 cores=1,3,5,7
/proc/15749/task/15762/stat : 15762 (java) S 15747 15747 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71541531 14316269568 185497 18446744073709551615 4194304 4196468 140731147035744 140394197715296 140394726520533 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15763] ppid=15747 vsize=13980732 memory=1380 CPUtime=1.27 cores=1,3,5,7
/proc/15749/task/15763/stat : 15763 (java) S 15747 15747 897 0 -1 1077944384 1139 0 0 0 58 69 0 0 20 0 15 0 71541535 14316269568 185497 18446744073709551615 4194304 4196468 140731147035744 140394196663344 140394726521474 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 743368 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2442.3 s]
/proc/loadavg: 1.75 1.79 1.77 3/212 16009
/proc/meminfo: memFree=29992164/32770624 swapFree=67108860/67108860
[pid=15747] ppid=15744 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15747/stat : 15747 (xcsp3-exec) S 15744 15747 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 71541516 9740288 345 18446744073709551615 4194304 5098028 140734989473792 140734989471896 139993922585212 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 14970880 140734989480313 140734989480517 140734989480517 140734989484011 0
/proc/15747/statm: 2378 345 289 221 0 87 0
[pid=15749] ppid=15747 vsize=13980732 memory=741988 CPUtime=2520.05 cores=1,3,5,7
/proc/15749/stat : 15749 (java) S 15747 15747 897 0 -1 1077944320 288763 0 0 0 251572 433 0 0 20 0 15 0 71541525 14316269568 185497 18446744073709551615 4194304 4196468 140731147035744 140731147018288 140394726510327 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
/proc/15749/statm: 3495183 185497 3254 1 0 3483476 0
[pid=15749/tid=15750] ppid=15747 vsize=13980732 memory=741988 CPUtime=2419.9 cores=1,3,5,7
/proc/15749/task/15750/stat : 15750 (java) R 15747 15747 897 0 -1 4202560 80870 0 0 0 241963 27 0 0 20 0 15 0 71541525 14316269568 185497 18446744073709551615 4194304 4196468 140731147035744 140394730749552 140394376542608 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15751] ppid=15747 vsize=13980732 memory=741988 CPUtime=20.94 cores=1,3,5,7
/proc/15749/task/15751/stat : 15751 (java) S 15747 15747 897 0 -1 1077944384 18453 0 0 0 2014 80 0 0 20 0 15 0 71541526 14316269568 185497 18446744073709551615 4194304 4196468 140731147035744 140394698353168 140394726520533 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15752] ppid=15747 vsize=13980732 memory=741988 CPUtime=20.9 cores=1,3,5,7
/proc/15749/task/15752/stat : 15752 (java) S 15747 15747 897 0 -1 1077944384 19218 0 0 0 2008 82 0 0 20 0 15 0 71541526 14316269568 185497 18446744073709551615 4194304 4196468 140731147035744 140394325076624 140394726520533 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15753] ppid=15747 vsize=13980732 memory=1380 CPUtime=20.87 cores=1,3,5,7
/proc/15749/task/15753/stat : 15753 (java) S 15747 15747 897 0 -1 1077944384 18541 0 0 0 2008 79 0 0 20 0 15 0 71541526 14316269568 185497 18446744073709551615 4194304 4196468 140731147035744 140394324023568 140394726520533 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15754] ppid=15747 vsize=13980732 memory=741988 CPUtime=20.92 cores=1,3,5,7
/proc/15749/task/15754/stat : 15754 (java) S 15747 15747 897 0 -1 1077944384 19566 0 0 0 2011 81 0 0 20 0 15 0 71541526 14316269568 185497 18446744073709551615 4194304 4196468 140731147035744 140394322971024 140394726520533 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15755] ppid=15747 vsize=13980732 memory=1380 CPUtime=1.11 cores=1,3,5,7
/proc/15749/task/15755/stat : 15755 (java) S 15747 15747 897 0 -1 1077944384 55486 0 0 0 90 21 0 0 20 0 15 0 71541527 14316269568 185497 18446744073709551615 4194304 4196468 140731147035744 140394205084400 140394726521474 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15756] ppid=15747 vsize=13980732 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/15749/task/15756/stat : 15756 (java) S 15747 15747 897 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 71541528 14316269568 185497 18446744073709551615 4194304 4196468 140731147035744 140394204030624 140394726520533 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15757] ppid=15747 vsize=13980732 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/15749/task/15757/stat : 15757 (java) S 15747 15747 897 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 71541528 14316269568 185497 18446744073709551615 4194304 4196468 140731147035744 140394202977520 140394726520533 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15758] ppid=15747 vsize=13980732 memory=2316 CPUtime=0 cores=1,3,5,7
/proc/15749/task/15758/stat : 15758 (java) S 15747 15747 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71541530 14316269568 185497 18446744073709551615 4194304 4196468 140731147035744 140394201926096 140394726528923 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15759] ppid=15747 vsize=13980732 memory=1380 CPUtime=6.42 cores=1,3,5,7
/proc/15749/task/15759/stat : 15759 (java) S 15747 15747 897 0 -1 1077944384 30867 0 0 0 639 3 0 0 20 0 15 0 71541530 14316269568 185497 18446744073709551615 4194304 4196468 140731147035744 140394200873200 140394726521474 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15760] ppid=15747 vsize=13980732 memory=4116 CPUtime=6.66 cores=1,3,5,7
/proc/15749/task/15760/stat : 15760 (java) S 15747 15747 897 0 -1 1077944384 32232 0 0 0 663 3 0 0 20 0 15 0 71541530 14316269568 185497 18446744073709551615 4194304 4196468 140731147035744 140394199820656 140394726521474 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15761] ppid=15747 vsize=13980732 memory=1380 CPUtime=0.97 cores=1,3,5,7
/proc/15749/task/15761/stat : 15761 (java) S 15747 15747 897 0 -1 1077944384 11042 0 0 0 94 3 0 0 20 0 15 0 71541530 14316269568 185497 18446744073709551615 4194304 4196468 140731147035744 140394198767600 140394726521474 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15762] ppid=15747 vsize=13980732 memory=707116 CPUtime=0 cores=1,3,5,7
/proc/15749/task/15762/stat : 15762 (java) S 15747 15747 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71541531 14316269568 185497 18446744073709551615 4194304 4196468 140731147035744 140394197715296 140394726520533 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15763] ppid=15747 vsize=13980732 memory=1380 CPUtime=1.27 cores=1,3,5,7
/proc/15749/task/15763/stat : 15763 (java) S 15747 15747 897 0 -1 1077944384 1139 0 0 0 58 69 0 0 20 0 15 0 71541535 14316269568 185497 18446744073709551615 4194304 4196468 140731147035744 140394196663344 140394726521474 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 743368 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2442.31 s]
# the end of solver process 15747 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.74 s, system=4.34065 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2442.3 s]
/proc/loadavg: 1.75 1.79 1.77 3/212 16009
/proc/meminfo: memFree=29992164/32770624 swapFree=67108860/67108860
[pid=15747] ppid=15744 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15747/stat : 15747 (xcsp3-exec) S 15744 15747 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 71541516 9740288 345 18446744073709551615 4194304 5098028 140734989473792 140734989471896 139993922585212 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 14970880 140734989480313 140734989480517 140734989480517 140734989484011 0
/proc/15747/statm: 2378 345 289 221 0 87 0
[pid=15749] ppid=15747 vsize=13980732 memory=741988 CPUtime=2520.05 cores=1,3,5,7
/proc/15749/stat : 15749 (java) S 15747 15747 897 0 -1 1077944320 288763 0 0 0 251572 433 0 0 20 0 15 0 71541525 14316269568 185497 18446744073709551615 4194304 4196468 140731147035744 140731147018288 140394726510327 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
/proc/15749/statm: 3495183 185497 3254 1 0 3483476 0
[pid=15749/tid=15750] ppid=15747 vsize=13980732 memory=741988 CPUtime=2419.9 cores=1,3,5,7
/proc/15749/task/15750/stat : 15750 (java) R 15747 15747 897 0 -1 4202560 80870 0 0 0 241963 27 0 0 20 0 15 0 71541525 14316269568 185497 18446744073709551615 4194304 4196468 140731147035744 140394730749552 140394376542608 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15751] ppid=15747 vsize=13980732 memory=741988 CPUtime=20.94 cores=1,3,5,7
/proc/15749/task/15751/stat : 15751 (java) S 15747 15747 897 0 -1 1077944384 18453 0 0 0 2014 80 0 0 20 0 15 0 71541526 14316269568 185497 18446744073709551615 4194304 4196468 140731147035744 140394698353168 140394726520533 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15752] ppid=15747 vsize=13980732 memory=741988 CPUtime=20.9 cores=1,3,5,7
/proc/15749/task/15752/stat : 15752 (java) S 15747 15747 897 0 -1 1077944384 19218 0 0 0 2008 82 0 0 20 0 15 0 71541526 14316269568 185497 18446744073709551615 4194304 4196468 140731147035744 140394325076624 140394726520533 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15753] ppid=15747 vsize=13980732 memory=1380 CPUtime=20.87 cores=1,3,5,7
/proc/15749/task/15753/stat : 15753 (java) S 15747 15747 897 0 -1 1077944384 18541 0 0 0 2008 79 0 0 20 0 15 0 71541526 14316269568 185497 18446744073709551615 4194304 4196468 140731147035744 140394324023568 140394726520533 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15754] ppid=15747 vsize=13980732 memory=741988 CPUtime=20.92 cores=1,3,5,7
/proc/15749/task/15754/stat : 15754 (java) S 15747 15747 897 0 -1 1077944384 19566 0 0 0 2011 81 0 0 20 0 15 0 71541526 14316269568 185497 18446744073709551615 4194304 4196468 140731147035744 140394322971024 140394726520533 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15755] ppid=15747 vsize=13980732 memory=1380 CPUtime=1.11 cores=1,3,5,7
/proc/15749/task/15755/stat : 15755 (java) S 15747 15747 897 0 -1 1077944384 55486 0 0 0 90 21 0 0 20 0 15 0 71541527 14316269568 185497 18446744073709551615 4194304 4196468 140731147035744 140394205084400 140394726521474 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15756] ppid=15747 vsize=13980732 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/15749/task/15756/stat : 15756 (java) S 15747 15747 897 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 71541528 14316269568 185497 18446744073709551615 4194304 4196468 140731147035744 140394204030624 140394726520533 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15757] ppid=15747 vsize=13980732 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/15749/task/15757/stat : 15757 (java) S 15747 15747 897 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 71541528 14316269568 185497 18446744073709551615 4194304 4196468 140731147035744 140394202977520 140394726520533 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15758] ppid=15747 vsize=13980732 memory=2316 CPUtime=0 cores=1,3,5,7
/proc/15749/task/15758/stat : 15758 (java) S 15747 15747 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71541530 14316269568 185497 18446744073709551615 4194304 4196468 140731147035744 140394201926096 140394726528923 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15759] ppid=15747 vsize=13980732 memory=1380 CPUtime=6.42 cores=1,3,5,7
/proc/15749/task/15759/stat : 15759 (java) S 15747 15747 897 0 -1 1077944384 30867 0 0 0 639 3 0 0 20 0 15 0 71541530 14316269568 185497 18446744073709551615 4194304 4196468 140731147035744 140394200873200 140394726521474 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15760] ppid=15747 vsize=13980732 memory=4116 CPUtime=6.66 cores=1,3,5,7
/proc/15749/task/15760/stat : 15760 (java) S 15747 15747 897 0 -1 1077944384 32232 0 0 0 663 3 0 0 20 0 15 0 71541530 14316269568 185497 18446744073709551615 4194304 4196468 140731147035744 140394199820656 140394726521474 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15761] ppid=15747 vsize=13980732 memory=1380 CPUtime=0.97 cores=1,3,5,7
/proc/15749/task/15761/stat : 15761 (java) S 15747 15747 897 0 -1 1077944384 11042 0 0 0 94 3 0 0 20 0 15 0 71541530 14316269568 185497 18446744073709551615 4194304 4196468 140731147035744 140394198767600 140394726521474 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15762] ppid=15747 vsize=13980732 memory=707116 CPUtime=0 cores=1,3,5,7
/proc/15749/task/15762/stat : 15762 (java) S 15747 15747 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71541531 14316269568 185497 18446744073709551615 4194304 4196468 140731147035744 140394197715296 140394726520533 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
[pid=15749/tid=15763] ppid=15747 vsize=13980732 memory=1380 CPUtime=1.27 cores=1,3,5,7
/proc/15749/task/15763/stat : 15763 (java) S 15747 15747 897 0 -1 1077944384 1139 0 0 0 58 69 0 0 20 0 15 0 71541535 14316269568 185497 18446744073709551615 4194304 4196468 140731147035744 140394196663344 140394726521474 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19468288 140731147039153 140731147039329 140731147039329 140731147042767 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 743368 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2442.31
CPU time (s): 2520.08
CPU user time (s): 2515.74
CPU system time (s): 4.34065
CPU usage (%): 103.184
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 931408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.74
system time used= 4.34065
maximum resident set size= 932548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 289435
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 70445
involuntary context switches= 2773
# summary of solver processes directly reported to runsolver:
# pid: 15747
# total CPU time (s): 2520.08
# total CPU user time (s): 2515.74
# total CPU system time (s): 4.34065
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.5087 second user time and 23.6561 second system time
The end
Begin job on node125 at 2017-08-14 08:32:42 IDJOB=4272273 IDBENCH=115904 IDSOLVER=2664 FILE ID=node125/4272273-1502693209 RUNJOBID= node125-1502662595-11629 PBS_JOBID= Free space on /tmp= 62024 MiB SOLVER NAME= choco-solver 5a BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-28.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-4272273-1502693209/watcher-4272273-1502693209 -o /tmp/evaluation-result-4272273-1502693209/solver-4272273-1502693209 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502662595-11629 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 455333976 HOME/instance-4272273-1502693209.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f7605bb50abdbd05cc6d9fedf17196d1 RANDOM SEED=455333976 node125.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.07 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.07 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.07 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.07 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: 30520376 kB MemAvailable: 31463720 kB Buffers: 292736 kB Cached: 944872 kB SwapCached: 0 kB Active: 1227012 kB Inactive: 592964 kB Active(anon): 582664 kB Inactive(anon): 33100 kB Active(file): 644348 kB Inactive(file): 559864 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7804 kB Writeback: 0 kB AnonPages: 582088 kB Mapped: 60808 kB Shmem: 33444 kB Slab: 135888 kB SReclaimable: 109936 kB SUnreclaim: 25952 kB KernelStack: 3424 kB PageTables: 6112 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1450068 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 454656 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= 62016 MiB End job on node125 at 2017-08-14 09:13:25