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-18) | SAT (TO) | 303 | 2520.0701 | 2509.3201 |
| 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.08 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4282083-1503104220.xml" -tl '2520s' -p 1 -x 0 0.09/0.27 c [HOME/instance-4282083-1503104220.xml, -tl, 2520s, -p, 1, -x, 0] 0.28/0.33 c simple solver 0.28/0.40 c parse instance... 2.07/1.09 c solve instance... 16.03/12.39 o 281 20.75/16.26 o 286 60.93/55.73 o 288 60.93/55.77 o 291 199.51/194.02 o 303 2520.03/2509.30 s SATISFIABLE 2520.03/2509.30 v <instantiation> 2520.03/2509.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.03/2509.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 1 0 1 0 0 0 0 1 1 0 0 0 0 0 1 1 0 1 1 0 0 0 0 1 1 0 0 0 0 0 1 1 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 1 0 1 1 1 0 1 1 0 0 0 1 0 1 0 1 1 1 0 1 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 0 1 0 1 1 0 1 0 0 1 0 0 0 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 0 1 0 0 1 0 0 1 1 1 0 0 0 1 1 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 0 0 0 0 1 1 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 1 1 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 1 0 1 1 0 0 0 0 0 1 1 0 0 0 1 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 0 1 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 1 0 1 1 0 1 0 1 0 1 0 0 0 0 1 1 1 0 0 1 0 0 1 0 0 0 1 1 1 0 1 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 1 0 0 0 1 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 1 0 0 1 0 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 1 0 1 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 0 1 0 1 0 1 0 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 0 1 1 0 1 0 0 0 1 1 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 1 1 1 1 1 0 0 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 1 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 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 1 1 1 1 1 0 0 1 0 0 1 1 1 1 0 0 1 1 1 0 0 1 0 1 0 2 2 0 1 1 0 2 2 2 1 1 0 0 0 1 1 2 2 0 1 1 0 2 2 1 0 0 0 0 1 1 1 1 0 0 1 1 2 2 1 0 0 0 1 0 1 2 1 1 0 0 1 1 2 1 1 0 0 1 0 0 0 0 0 0 1 1 2 0 1 0 0 0 0 0 1 0 1 0 0 0 1 1 2 1 0 1 0 0 0 0 1 0 0 1 0 2 1 1 0 0 0 1 0 0 2 0 0 0 0 1 0 2 2 1 1 0 0 1 0 0 0 1 0 0 2 2 0 0 0 0 1 0 0 0 0 0 0 0 1 1 2 2 1 1 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 1 1 2 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 2 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 1 1 0 1 1 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 1 0 1 1 0 0 1 2 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 1 1 0 0 0 1 0 0 0 1 0 0 0 0 1 1 1 0 1 0 1 1 0 0 0 1 0 0 2 2 1 0 0 0 1 0 2 0 0 0 0 0 1 1 1 2 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 0 1 2 1 0 0 0 0 1 1 2 2 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 2 2 1 1 0 0 1 0 1 2 2 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 1 2 0 0 0 0 0 1 2 1 0 0 0 0 0 0 0 0 0 1 0 0 2 1 1 1 1 0 0 0 1 0 1 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 2 2 1 1 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 2 2 1 1 2 1 1 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 1 1 2 2 1 1 2 2 1 1 1 0 1 1 0 1 0 1 1 0 0 0 1 0 0 0 0 1 1 0 0 2 2 2 1 1 2 2 2 1 1 0 1 1 0 0 1 0 1 0 0 2 0 0 0 0 1 0 1 0 0 2 2 2 1 1 1 2 0 1 0 0 0 1 0 0 0 1 0 0 0 2 1 1 0 1 0 0 0 0 1 1 1 1 1 0 1 0 0 2 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 2 0 1 0 0 0 0 1 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 2 1 0 1 0 1 1 2 1 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 2 2 0 1 0 2 2 1 0 0 0 1 1 0 0 0 1 1 0 0 0 0 1 1 0 1 0 1 0 0 1 2 2 1 2 2 2 1 0 0 1 1 0 1 1 0 2 1 1 0 0 0 1 1 1 0 1 1 1 0 1 2 2 2 2 2 2 1 0 0 0 1 1 0 0 1 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 1 1 1 1 1 0 18 47 69 83 99 115 127 135 146 158 165 180 194 209 226 241 252 265 283 306 330 347 355 361 373 386 402 423 451 468 303 </values> 2520.03/2509.30 v </instantiation> 2520.03/2509.30 c Unexpected resolution interruption!
OK 303
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 (15208 MiB free)
memory of node 1: 16384 MiB (15696 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282083-1503104220/watcher-4282083-1503104220 -o /tmp/evaluation-result-4282083-1503104220/solver-4282083-1503104220 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node129-1503095823-17351 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 881340843 HOME/instance-4282083-1503104220.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=18435, runsolver pid=18432
[startup+0.100135 s]*
/proc/loadavg: 1.85 1.90 1.88 3/203 18442
/proc/meminfo: memFree=31638104/32770624 swapFree=67108860/67108860
[pid=18435] ppid=18432 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18435/stat : 18435 (xcsp3-exec) S 18432 18435 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 8831112 9740288 345 18446744073709551615 4194304 5098028 140723724580192 140723724578296 140414247285372 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 17440768 140723724587386 140723724587590 140723724587590 140723724591083 0
/proc/18435/statm: 2378 345 289 221 0 87 0
[pid=18437] ppid=18435 vsize=13441356 memory=15692 CPUtime=0.01 cores=1,3,5,7
/proc/18437/stat : 18437 (java) S 18435 18435 17292 0 -1 1077944320 3712 0 0 0 1 0 0 0 20 0 7 0 8831120 13763948544 3923 18446744073709551615 4194304 4196468 140737346443856 140737346426400 140470271217399 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
/proc/18437/statm: 3360339 3923 2004 1 0 3349836 0
[pid=18437/tid=18438] ppid=18435 vsize=13441356 memory=-8713483618642850651 CPUtime=0.01 cores=1,3,5,7
/proc/18437/task/18438/stat : 18438 (java) R 18435 18435 17292 0 -1 4202560 2474 0 0 0 1 0 0 0 20 0 7 0 8831120 13763948544 3923 18446744073709551615 4194304 4196468 140737346443856 140470275459856 140470255297886 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18439] ppid=18435 vsize=13441356 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18437/task/18439/stat : 18439 (java) S 18435 18435 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 8831121 13763948544 3923 18446744073709551615 4194304 4196468 140737346443856 140470205651472 140470271227605 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18440] ppid=18435 vsize=13441356 memory=140015231907456 CPUtime=0 cores=1,3,5,7
/proc/18437/task/18440/stat : 18440 (java) S 18435 18435 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 8831121 13763948544 3923 18446744073709551615 4194304 4196468 140737346443856 140470204598928 140470271227605 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18441] ppid=18435 vsize=13441356 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18437/task/18441/stat : 18441 (java) S 18435 18435 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 8831121 13763948544 3923 18446744073709551615 4194304 4196468 140737346443856 140470203545872 140470271227605 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18442] ppid=18435 vsize=13441356 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18437/task/18442/stat : 18442 (java) S 18435 18435 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 8831121 13763948544 3923 18446744073709551615 4194304 4196468 140737346443856 140470202493328 140470271227605 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18443] ppid=18435 vsize=13441356 memory=140015231907456 CPUtime=0 cores=1,3,5,7
/proc/18437/task/18443/stat : 18443 (java) S 18435 18435 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 8831122 13763948544 3923 18446744073709551615 4194304 4196468 140737346443856 140469187111664 140470271228546 0 0 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13450868 KiB
Current children cumulated memory: 17072 KiB
[startup+0.20992 s]*
/proc/loadavg: 1.85 1.90 1.88 3/212 18451
/proc/meminfo: memFree=31630256/32770624 swapFree=67108860/67108860
[pid=18435] ppid=18432 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18435/stat : 18435 (xcsp3-exec) S 18432 18435 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 8831112 9740288 345 18446744073709551615 4194304 5098028 140723724580192 140723724578296 140414247285372 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 17440768 140723724587386 140723724587590 140723724587590 140723724591083 0
/proc/18435/statm: 2378 345 289 221 0 87 0
[pid=18437] ppid=18435 vsize=13974352 memory=27712 CPUtime=0.09 cores=1,3,5,7
/proc/18437/stat : 18437 (java) S 18435 18435 17292 0 -1 1077944320 5323 0 0 0 8 1 0 0 20 0 15 0 8831120 14309736448 6928 18446744073709551615 4194304 4196468 140737346443856 140737346426400 140470271217399 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
/proc/18437/statm: 3493588 6928 2753 1 0 3482964 0
[pid=18437/tid=18438] ppid=18435 vsize=13974352 memory=7311146985107750967 CPUtime=0.07 cores=1,3,5,7
/proc/18437/task/18438/stat : 18438 (java) R 18435 18435 17292 0 -1 4202560 3467 0 0 0 6 1 0 0 20 0 15 0 8831120 14309736448 6928 18446744073709551615 4194304 4196468 140737346443856 140470275443088 140470271229334 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18439] ppid=18435 vsize=13974352 memory=10613 CPUtime=0 cores=1,3,5,7
/proc/18437/task/18439/stat : 18439 (java) S 18435 18435 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8831121 14309736448 6928 18446744073709551615 4194304 4196468 140737346443856 140470205651472 140470271227605 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18440] ppid=18435 vsize=13974352 memory=140015232008167 CPUtime=0 cores=1,3,5,7
/proc/18437/task/18440/stat : 18440 (java) S 18435 18435 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8831121 14309736448 6928 18446744073709551615 4194304 4196468 140737346443856 140470204598928 140470271227605 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18441] ppid=18435 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18437/task/18441/stat : 18441 (java) S 18435 18435 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8831121 14309736448 6928 18446744073709551615 4194304 4196468 140737346443856 140470203545872 140470271227605 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18442] ppid=18435 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18437/task/18442/stat : 18442 (java) S 18435 18435 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8831121 14309736448 6928 18446744073709551615 4194304 4196468 140737346443856 140470202493328 140470271227605 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18443] ppid=18435 vsize=13974352 memory=140015231907456 CPUtime=0 cores=1,3,5,7
/proc/18437/task/18443/stat : 18443 (java) S 18435 18435 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8831122 14309736448 6928 18446744073709551615 4194304 4196468 140737346443856 140469187111664 140470271228546 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18444] ppid=18435 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18437/task/18444/stat : 18444 (java) S 18435 18435 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8831123 14309736448 6928 18446744073709551615 4194304 4196468 140737346443856 140469186057888 140470271227605 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18445] ppid=18435 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18437/task/18445/stat : 18445 (java) S 18435 18435 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8831123 14309736448 6928 18446744073709551615 4194304 4196468 140737346443856 140469185004784 140470271227605 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18446] ppid=18435 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18437/task/18446/stat : 18446 (java) S 18435 18435 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8831126 14309736448 6928 18446744073709551615 4194304 4196468 140737346443856 140469183953360 140470271235995 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18447] ppid=18435 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18437/task/18447/stat : 18447 (java) S 18435 18435 17292 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 8831126 14309736448 6928 18446744073709551615 4194304 4196468 140737346443856 140469182900464 140470271228546 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18448] ppid=18435 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18437/task/18448/stat : 18448 (java) S 18435 18435 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8831126 14309736448 6928 18446744073709551615 4194304 4196468 140737346443856 140469181847920 140470271228546 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18449] ppid=18435 vsize=13974352 memory=140015231907456 CPUtime=0 cores=1,3,5,7
/proc/18437/task/18449/stat : 18449 (java) R 18435 18435 17292 0 -1 4202560 251 0 0 0 0 0 0 0 20 0 15 0 8831126 14309736448 6928 18446744073709551615 4194304 4196468 140737346443856 140469180794864 140470263454526 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18450] ppid=18435 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18437/task/18450/stat : 18450 (java) S 18435 18435 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8831126 14309736448 6928 18446744073709551615 4194304 4196468 140737346443856 140469179742560 140470271227605 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18451] ppid=18435 vsize=13974352 memory=140015231907456 CPUtime=0 cores=1,3,5,7
/proc/18437/task/18451/stat : 18451 (java) S 18435 18435 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8831131 14309736448 6928 18446744073709551615 4194304 4196468 140737346443856 140469178690608 140470271228546 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29092 KiB
[startup+0.310394 s]*
/proc/loadavg: 1.85 1.90 1.88 4/212 18451
/proc/meminfo: memFree=31617536/32770624 swapFree=67108860/67108860
[pid=18435] ppid=18432 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18435/stat : 18435 (xcsp3-exec) S 18432 18435 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 8831112 9740288 345 18446744073709551615 4194304 5098028 140723724580192 140723724578296 140414247285372 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 17440768 140723724587386 140723724587590 140723724587590 140723724591083 0
/proc/18435/statm: 2378 345 289 221 0 87 0
[pid=18437] ppid=18435 vsize=13974352 memory=36800 CPUtime=0.28 cores=1,3,5,7
/proc/18437/stat : 18437 (java) S 18435 18435 17292 0 -1 1077944320 8880 0 0 0 25 3 0 0 20 0 15 0 8831120 14309736448 9200 18446744073709551615 4194304 4196468 140737346443856 140737346426400 140470271217399 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
/proc/18437/statm: 3493588 9200 2975 1 0 3482964 0
[pid=18437/tid=18438] ppid=18435 vsize=13974352 memory=-8774313645642428999 CPUtime=0.17 cores=1,3,5,7
/proc/18437/task/18438/stat : 18438 (java) R 18435 18435 17292 0 -1 4202560 6100 0 0 0 15 2 0 0 20 0 15 0 8831120 14309736448 9200 18446744073709551615 4194304 4196468 140737346443856 140470275455696 140470256391216 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18439] ppid=18435 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18437/task/18439/stat : 18439 (java) S 18435 18435 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8831121 14309736448 9200 18446744073709551615 4194304 4196468 140737346443856 140470205651472 140470271227605 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18440] ppid=18435 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18437/task/18440/stat : 18440 (java) S 18435 18435 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8831121 14309736448 9200 18446744073709551615 4194304 4196468 140737346443856 140470204598928 140470271227605 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18441] ppid=18435 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18437/task/18441/stat : 18441 (java) S 18435 18435 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8831121 14309736448 9200 18446744073709551615 4194304 4196468 140737346443856 140470203545872 140470271227605 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18442] ppid=18435 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18437/task/18442/stat : 18442 (java) S 18435 18435 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8831121 14309736448 9200 18446744073709551615 4194304 4196468 140737346443856 140470202493328 140470271227605 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18443] ppid=18435 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18437/task/18443/stat : 18443 (java) S 18435 18435 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8831122 14309736448 9200 18446744073709551615 4194304 4196468 140737346443856 140469187111664 140470271228546 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18444] ppid=18435 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18437/task/18444/stat : 18444 (java) S 18435 18435 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8831123 14309736448 9200 18446744073709551615 4194304 4196468 140737346443856 140469186057888 140470271227605 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18445] ppid=18435 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18437/task/18445/stat : 18445 (java) S 18435 18435 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8831123 14309736448 9200 18446744073709551615 4194304 4196468 140737346443856 140469185004784 140470271227605 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18446] ppid=18435 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18437/task/18446/stat : 18446 (java) S 18435 18435 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8831126 14309736448 9200 18446744073709551615 4194304 4196468 140737346443856 140469183953360 140470271235995 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18447] ppid=18435 vsize=13974352 memory=140015128831424 CPUtime=0.01 cores=1,3,5,7
/proc/18437/task/18447/stat : 18447 (java) R 18435 18435 17292 0 -1 1077944384 554 0 0 0 1 0 0 0 20 0 15 0 8831126 14309736448 9200 18446744073709551615 4194304 4196468 140737346443856 140469182900464 140470271228546 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18448] ppid=18435 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/18437/task/18448/stat : 18448 (java) R 18435 18435 17292 0 -1 1077944384 196 0 0 0 1 0 0 0 20 0 15 0 8831126 14309736448 9200 18446744073709551615 4194304 4196468 140737346443856 140469181847920 140470271228546 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18449] ppid=18435 vsize=13974352 memory=140015231907456 CPUtime=0.06 cores=1,3,5,7
/proc/18437/task/18449/stat : 18449 (java) R 18435 18435 17292 0 -1 4202560 726 0 0 0 6 0 0 0 20 0 15 0 8831126 14309736448 9200 18446744073709551615 4194304 4196468 140737346443856 140469180794864 140470271228546 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18450] ppid=18435 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18437/task/18450/stat : 18450 (java) S 18435 18435 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8831126 14309736448 9200 18446744073709551615 4194304 4196468 140737346443856 140469179742560 140470271227605 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18451] ppid=18435 vsize=13974352 memory=140015231907456 CPUtime=0 cores=1,3,5,7
/proc/18437/task/18451/stat : 18451 (java) S 18435 18435 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8831131 14309736448 9200 18446744073709551615 4194304 4196468 140737346443856 140469178690608 140470271228546 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38180 KiB
[startup+0.700913 s]
/proc/loadavg: 1.85 1.90 1.88 3/212 18451
/proc/meminfo: memFree=31599796/32770624 swapFree=67108860/67108860
[pid=18435] ppid=18432 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18435/stat : 18435 (xcsp3-exec) S 18432 18435 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 8831112 9740288 345 18446744073709551615 4194304 5098028 140723724580192 140723724578296 140414247285372 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 17440768 140723724587386 140723724587590 140723724587590 140723724591083 0
/proc/18435/statm: 2378 345 289 221 0 87 0
[pid=18437] ppid=18435 vsize=13978684 memory=71604 CPUtime=1.29 cores=1,3,5,7
/proc/18437/stat : 18437 (java) S 18435 18435 17292 0 -1 1077944320 12585 0 0 0 125 4 0 0 20 0 15 0 8831120 14314172416 17901 18446744073709551615 4194304 4196468 140737346443856 140737346426400 140470271217399 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
/proc/18437/statm: 3494671 17901 3173 1 0 3482964 0
[pid=18437/tid=18438] ppid=18435 vsize=13978684 memory=-7175204567652784766 CPUtime=0.55 cores=1,3,5,7
/proc/18437/task/18438/stat : 18438 (java) R 18435 18435 17292 0 -1 4202560 7936 0 0 0 52 3 0 0 20 0 15 0 8831120 14314172416 17901 18446744073709551615 4194304 4196468 140737346443856 140470275456056 140469878835934 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18439] ppid=18435 vsize=13978684 memory=2872 CPUtime=0 cores=1,3,5,7
/proc/18437/task/18439/stat : 18439 (java) S 18435 18435 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8831121 14314172416 17901 18446744073709551615 4194304 4196468 140737346443856 140470205651472 140470271227605 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18440] ppid=18435 vsize=13978684 memory=732 CPUtime=0 cores=1,3,5,7
/proc/18437/task/18440/stat : 18440 (java) S 18435 18435 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8831121 14314172416 17901 18446744073709551615 4194304 4196468 140737346443856 140470204598928 140470271227605 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18441] ppid=18435 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18437/task/18441/stat : 18441 (java) S 18435 18435 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8831121 14314172416 17901 18446744073709551615 4194304 4196468 140737346443856 140470203545872 140470271227605 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18442] ppid=18435 vsize=13978684 memory=7595977529611609408 CPUtime=0 cores=1,3,5,7
/proc/18437/task/18442/stat : 18442 (java) S 18435 18435 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8831121 14314172416 17901 18446744073709551615 4194304 4196468 140737346443856 140470202493328 140470271227605 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18443] ppid=18435 vsize=13978684 memory=7810487918915055718 CPUtime=0 cores=1,3,5,7
/proc/18437/task/18443/stat : 18443 (java) S 18435 18435 17292 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 8831122 14314172416 17901 18446744073709551615 4194304 4196468 140737346443856 140469187111664 140470271228546 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18444] ppid=18435 vsize=13978684 memory=6935649255911673936 CPUtime=0 cores=1,3,5,7
/proc/18437/task/18444/stat : 18444 (java) S 18435 18435 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8831123 14314172416 17901 18446744073709551615 4194304 4196468 140737346443856 140469186057888 140470271227605 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18445] ppid=18435 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18437/task/18445/stat : 18445 (java) S 18435 18435 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8831123 14314172416 17901 18446744073709551615 4194304 4196468 140737346443856 140469185004784 140470271227605 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18446] ppid=18435 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18437/task/18446/stat : 18446 (java) S 18435 18435 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8831126 14314172416 17901 18446744073709551615 4194304 4196468 140737346443856 140469183953360 140470271235995 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18447] ppid=18435 vsize=13978684 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/18437/task/18447/stat : 18447 (java) R 18435 18435 17292 0 -1 4202560 1126 0 0 0 21 0 0 0 20 0 15 0 8831126 14314172416 17901 18446744073709551615 4194304 4196468 140737346443856 140469182887008 140470256326975 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18448] ppid=18435 vsize=13978684 memory=4012 CPUtime=0.2 cores=1,3,5,7
/proc/18437/task/18448/stat : 18448 (java) R 18435 18435 17292 0 -1 4202560 798 0 0 0 20 0 0 0 20 0 15 0 8831126 14314172416 17901 18446744073709551615 4194304 4196468 140737346443856 140469181837776 140470251063730 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18449] ppid=18435 vsize=13978684 memory=636 CPUtime=0.31 cores=1,3,5,7
/proc/18437/task/18449/stat : 18449 (java) R 18435 18435 17292 0 -1 4202560 1423 0 0 0 31 0 0 0 20 0 15 0 8831126 14314172416 17901 18446744073709551615 4194304 4196468 140737346443856 140469180794864 140470264314235 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18450] ppid=18435 vsize=13978684 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/18437/task/18450/stat : 18450 (java) S 18435 18435 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8831126 14314172416 17901 18446744073709551615 4194304 4196468 140737346443856 140469179742560 140470271227605 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18451] ppid=18435 vsize=13978684 memory=952 CPUtime=0 cores=1,3,5,7
/proc/18437/task/18451/stat : 18451 (java) S 18435 18435 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8831131 14314172416 17901 18446744073709551615 4194304 4196468 140737346443856 140469178690608 140470271228546 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 72984 KiB
[startup+1.50081 s]
/proc/loadavg: 1.85 1.90 1.88 6/212 18451
/proc/meminfo: memFree=31540972/32770624 swapFree=67108860/67108860
[pid=18435] ppid=18432 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18435/stat : 18435 (xcsp3-exec) S 18432 18435 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 8831112 9740288 345 18446744073709551615 4194304 5098028 140723724580192 140723724578296 140414247285372 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 17440768 140723724587386 140723724587590 140723724587590 140723724591083 0
/proc/18435/statm: 2378 345 289 221 0 87 0
[pid=18437] ppid=18435 vsize=13980732 memory=111060 CPUtime=3.51 cores=1,3,5,7
/proc/18437/stat : 18437 (java) S 18435 18435 17292 0 -1 1077944320 19273 0 0 0 345 6 0 0 20 0 15 0 8831120 14316269568 27765 18446744073709551615 4194304 4196468 140737346443856 140737346426400 140470271217399 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
/proc/18437/statm: 3495183 27765 3193 1 0 3483476 0
[pid=18437/tid=18438] ppid=18435 vsize=13980732 memory=8640 CPUtime=1.35 cores=1,3,5,7
/proc/18437/task/18438/stat : 18438 (java) R 18435 18435 17292 0 -1 4202560 9572 0 0 0 131 4 0 0 20 0 15 0 8831120 14316269568 27765 18446744073709551615 4194304 4196468 140737346443856 140470275456464 140469880512485 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18439] ppid=18435 vsize=13980732 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/18437/task/18439/stat : 18439 (java) S 18435 18435 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8831121 14316269568 27765 18446744073709551615 4194304 4196468 140737346443856 140470205651472 140470271227605 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18440] ppid=18435 vsize=13980732 memory=2432 CPUtime=0 cores=1,3,5,7
/proc/18437/task/18440/stat : 18440 (java) S 18435 18435 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8831121 14316269568 27765 18446744073709551615 4194304 4196468 140737346443856 140470204598928 140470271227605 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18441] ppid=18435 vsize=13980732 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/18437/task/18441/stat : 18441 (java) S 18435 18435 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8831121 14316269568 27765 18446744073709551615 4194304 4196468 140737346443856 140470203545872 140470271227605 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18442] ppid=18435 vsize=13980732 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/18437/task/18442/stat : 18442 (java) S 18435 18435 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8831121 14316269568 27765 18446744073709551615 4194304 4196468 140737346443856 140470202493328 140470271227605 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18443] ppid=18435 vsize=13980732 memory=12980 CPUtime=0 cores=1,3,5,7
/proc/18437/task/18443/stat : 18443 (java) S 18435 18435 17292 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 8831122 14316269568 27765 18446744073709551615 4194304 4196468 140737346443856 140469187111664 140470271228546 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18444] ppid=18435 vsize=13980732 memory=1440 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/18437/task/18445/stat : 18445 (java) S 18435 18435 17292 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 8831123 14316269568 234285 18446744073709551615 4194304 4196468 140737346443856 140469185004784 140470271227605 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18446] ppid=18435 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/18437/task/18446/stat : 18446 (java) S 18435 18435 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8831126 14316269568 234285 18446744073709551615 4194304 4196468 140737346443856 140469183953360 140470271235995 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18447] ppid=18435 vsize=13980732 memory=1792 CPUtime=2.76 cores=1,3,5,7
/proc/18437/task/18447/stat : 18447 (java) S 18435 18435 17292 0 -1 1077944384 20501 0 0 0 274 2 0 0 20 0 15 0 8831126 14316269568 234285 18446744073709551615 4194304 4196468 140737346443856 140469182900464 140470271228546 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18448] ppid=18435 vsize=13980732 memory=2432 CPUtime=2.11 cores=1,3,5,7
/proc/18437/task/18448/stat : 18448 (java) S 18435 18435 17292 0 -1 1077944384 14383 0 0 0 209 2 0 0 20 0 15 0 8831126 14316269568 234285 18446744073709551615 4194304 4196468 140737346443856 140469181847920 140470271228546 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18449] ppid=18435 vsize=13980732 memory=1728 CPUtime=0.73 cores=1,3,5,7
/proc/18437/task/18449/stat : 18449 (java) S 18435 18435 17292 0 -1 1077944384 7840 0 0 0 71 2 0 0 20 0 15 0 8831126 14316269568 234285 18446744073709551615 4194304 4196468 140737346443856 140469180794864 140470271228546 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18450] ppid=18435 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/18437/task/18450/stat : 18450 (java) S 18435 18435 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8831126 14316269568 234285 18446744073709551615 4194304 4196468 140737346443856 140469179742560 140470271227605 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18451] ppid=18435 vsize=13980732 memory=1440 CPUtime=0.71 cores=1,3,5,7
/proc/18437/task/18451/stat : 18451 (java) S 18435 18435 17292 0 -1 1077944384 1308 0 0 0 32 39 0 0 20 0 15 0 8831131 14316269568 234285 18446744073709551615 4194304 4196468 140737346443856 140469178690608 140470271228546 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
Current children cumulated CPU time: 2452.92 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 938520 KiB
[startup+2502.3 s]
/proc/loadavg: 1.83 1.85 1.74 5/216 18916
/proc/meminfo: memFree=30831072/32770624 swapFree=67108860/67108860
[pid=18435] ppid=18432 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18435/stat : 18435 (xcsp3-exec) S 18432 18435 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 8831112 9740288 345 18446744073709551615 4194304 5098028 140723724580192 140723724578296 140414247285372 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 17440768 140723724587386 140723724587590 140723724587590 140723724591083 0
/proc/18435/statm: 2378 345 289 221 0 87 0
[pid=18437] ppid=18435 vsize=13980732 memory=942992 CPUtime=2513.01 cores=1,3,5,7
/proc/18437/stat : 18437 (java) S 18435 18435 17292 0 -1 1077944320 171539 0 0 0 251165 136 0 0 20 0 15 0 8831120 14316269568 235748 18446744073709551615 4194304 4196468 140737346443856 140737346426400 140470271217399 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
/proc/18437/statm: 3495183 235748 3250 1 0 3483476 0
[pid=18437/tid=18438] ppid=18435 vsize=13980732 memory=1380 CPUtime=2499.16 cores=1,3,5,7
/proc/18437/task/18438/stat : 18438 (java) R 18435 18435 17292 0 -1 4202560 85420 0 0 0 249870 46 0 0 20 0 15 0 8831120 14316269568 235748 18446744073709551615 4194304 4196468 140737346443856 140470275456816 140469883373545 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18439] ppid=18435 vsize=13980732 memory=942992 CPUtime=1.65 cores=1,3,5,7
/proc/18437/task/18439/stat : 18439 (java) S 18435 18435 17292 0 -1 1077944384 7907 0 0 0 153 12 0 0 20 0 15 0 8831121 14316269568 235748 18446744073709551615 4194304 4196468 140737346443856 140470205651472 140470271227605 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18440] ppid=18435 vsize=13980732 memory=1380 CPUtime=1.66 cores=1,3,5,7
/proc/18437/task/18440/stat : 18440 (java) S 18435 18435 17292 0 -1 1077944384 10812 0 0 0 156 10 0 0 20 0 15 0 8831121 14316269568 235748 18446744073709551615 4194304 4196468 140737346443856 140470204598928 140470271227605 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18441] ppid=18435 vsize=13980732 memory=0 CPUtime=1.65 cores=1,3,5,7
/proc/18437/task/18441/stat : 18441 (java) S 18435 18435 17292 0 -1 1077944384 8154 0 0 0 154 11 0 0 20 0 15 0 8831121 14316269568 235748 18446744073709551615 4194304 4196468 140737346443856 140470203545872 140470271227605 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18442] ppid=18435 vsize=13980732 memory=1380 CPUtime=1.66 cores=1,3,5,7
/proc/18437/task/18442/stat : 18442 (java) S 18435 18435 17292 0 -1 1077944384 7453 0 0 0 153 13 0 0 20 0 15 0 8831121 14316269568 235748 18446744073709551615 4194304 4196468 140737346443856 140470202493328 140470271227605 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18443] ppid=18435 vsize=13980732 memory=1380 CPUtime=0.82 cores=1,3,5,7
/proc/18437/task/18443/stat : 18443 (java) S 18435 18435 17292 0 -1 1077944384 6279 0 0 0 73 9 0 0 20 0 15 0 8831122 14316269568 235748 18446744073709551615 4194304 4196468 140737346443856 140469187111664 140470271228546 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18444] ppid=18435 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18437/task/18444/stat : 18444 (java) S 18435 18435 17292 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 8831123 14316269568 235748 18446744073709551615 4194304 4196468 140737346443856 140469186057888 140470271227605 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18445] ppid=18435 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18437/task/18445/stat : 18445 (java) S 18435 18435 17292 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 8831123 14316269568 235748 18446744073709551615 4194304 4196468 140737346443856 140469185004784 140470271227605 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18446] ppid=18435 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18437/task/18446/stat : 18446 (java) S 18435 18435 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8831126 14316269568 235748 18446744073709551615 4194304 4196468 140737346443856 140469183953360 140470271235995 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18447] ppid=18435 vsize=13980732 memory=940756 CPUtime=2.76 cores=1,3,5,7
/proc/18437/task/18447/stat : 18447 (java) S 18435 18435 17292 0 -1 1077944384 20503 0 0 0 274 2 0 0 20 0 15 0 8831126 14316269568 235748 18446744073709551615 4194304 4196468 140737346443856 140469182900464 140470271228546 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18448] ppid=18435 vsize=13980732 memory=1380 CPUtime=2.12 cores=1,3,5,7
/proc/18437/task/18448/stat : 18448 (java) S 18435 18435 17292 0 -1 1077944384 14487 0 0 0 210 2 0 0 20 0 15 0 8831126 14316269568 235748 18446744073709551615 4194304 4196468 140737346443856 140469181847920 140470271228546 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18449] ppid=18435 vsize=13980732 memory=940152 CPUtime=0.73 cores=1,3,5,7
/proc/18437/task/18449/stat : 18449 (java) S 18435 18435 17292 0 -1 1077944384 7842 0 0 0 71 2 0 0 20 0 15 0 8831126 14316269568 235748 18446744073709551615 4194304 4196468 140737346443856 140469180794864 140470271228546 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18450] ppid=18435 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/18437/task/18450/stat : 18450 (java) S 18435 18435 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8831126 14316269568 235748 18446744073709551615 4194304 4196468 140737346443856 140469179742560 140470271227605 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18451] ppid=18435 vsize=13980732 memory=1728 CPUtime=0.72 cores=1,3,5,7
/proc/18437/task/18451/stat : 18451 (java) S 18435 18435 17292 0 -1 1077944384 1328 0 0 0 32 40 0 0 20 0 15 0 8831131 14316269568 235748 18446744073709551615 4194304 4196468 140737346443856 140469178690608 140470271228546 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
Current children cumulated CPU time: 2513.01 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 944372 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2509.3 s]
/proc/loadavg: 2.08 1.90 1.76 3/213 18918
/proc/meminfo: memFree=30711276/32770624 swapFree=67108860/67108860
[pid=18435] ppid=18432 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18435/stat : 18435 (xcsp3-exec) S 18432 18435 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 8831112 9740288 345 18446744073709551615 4194304 5098028 140723724580192 140723724578296 140414247285372 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 17440768 140723724587386 140723724587590 140723724587590 140723724591083 0
/proc/18435/statm: 2378 345 289 221 0 87 0
[pid=18437] ppid=18435 vsize=13980732 memory=949424 CPUtime=2520.03 cores=1,3,5,7
/proc/18437/stat : 18437 (java) S 18435 18435 17292 0 -1 1077944320 172080 0 0 0 251867 136 0 0 20 0 15 0 8831120 14316269568 237356 18446744073709551615 4194304 4196468 140737346443856 140737346426400 140470271217399 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
/proc/18437/statm: 3495183 237356 3250 1 0 3483476 0
[pid=18437/tid=18438] ppid=18435 vsize=13980732 memory=250535 CPUtime=2506.15 cores=1,3,5,7
/proc/18437/task/18438/stat : 18438 (java) R 18435 18435 17292 0 -1 4202560 85449 0 0 0 250569 46 0 0 20 0 15 0 8831120 14316269568 237356 18446744073709551615 4194304 4196468 140737346443856 140470275456816 140469881515864 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18439] ppid=18435 vsize=13980732 memory=1380 CPUtime=1.66 cores=1,3,5,7
/proc/18437/task/18439/stat : 18439 (java) S 18435 18435 17292 0 -1 1077944384 8033 0 0 0 154 12 0 0 20 0 15 0 8831121 14316269568 237356 18446744073709551615 4194304 4196468 140737346443856 140470205651472 140470271227605 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18440] ppid=18435 vsize=13980732 memory=949424 CPUtime=1.67 cores=1,3,5,7
/proc/18437/task/18440/stat : 18440 (java) S 18435 18435 17292 0 -1 1077944384 10932 0 0 0 157 10 0 0 20 0 15 0 8831121 14316269568 237356 18446744073709551615 4194304 4196468 140737346443856 140470204598928 140470271227605 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18441] ppid=18435 vsize=13980732 memory=949424 CPUtime=1.66 cores=1,3,5,7
/proc/18437/task/18441/stat : 18441 (java) S 18435 18435 17292 0 -1 1077944384 8278 0 0 0 155 11 0 0 20 0 15 0 8831121 14316269568 237356 18446744073709551615 4194304 4196468 140737346443856 140470203545872 140470271227605 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18442] ppid=18435 vsize=13980732 memory=1380 CPUtime=1.67 cores=1,3,5,7
/proc/18437/task/18442/stat : 18442 (java) S 18435 18435 17292 0 -1 1077944384 7592 0 0 0 154 13 0 0 20 0 15 0 8831121 14316269568 237356 18446744073709551615 4194304 4196468 140737346443856 140470202493328 140470271227605 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18443] ppid=18435 vsize=13980732 memory=0 CPUtime=0.82 cores=1,3,5,7
/proc/18437/task/18443/stat : 18443 (java) S 18435 18435 17292 0 -1 1077944384 6282 0 0 0 73 9 0 0 20 0 15 0 8831122 14316269568 237356 18446744073709551615 4194304 4196468 140737346443856 140469187111664 140470271228546 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18444] ppid=18435 vsize=13980732 memory=949424 CPUtime=0 cores=1,3,5,7
/proc/18437/task/18444/stat : 18444 (java) S 18435 18435 17292 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 8831123 14316269568 237356 18446744073709551615 4194304 4196468 140737346443856 140469186057888 140470271227605 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18445] ppid=18435 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18437/task/18445/stat : 18445 (java) S 18435 18435 17292 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 8831123 14316269568 237356 18446744073709551615 4194304 4196468 140737346443856 140469185004784 140470271227605 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18446] ppid=18435 vsize=13980732 memory=4124 CPUtime=0 cores=1,3,5,7
/proc/18437/task/18446/stat : 18446 (java) S 18435 18435 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8831126 14316269568 237356 18446744073709551615 4194304 4196468 140737346443856 140469183953360 140470271235995 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18447] ppid=18435 vsize=13980732 memory=8736 CPUtime=2.76 cores=1,3,5,7
/proc/18437/task/18447/stat : 18447 (java) S 18435 18435 17292 0 -1 1077944384 20503 0 0 0 274 2 0 0 20 0 15 0 8831126 14316269568 237356 18446744073709551615 4194304 4196468 140737346443856 140469182900464 140470271228546 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18448] ppid=18435 vsize=13980732 memory=944052 CPUtime=2.12 cores=1,3,5,7
/proc/18437/task/18448/stat : 18448 (java) S 18435 18435 17292 0 -1 1077944384 14487 0 0 0 210 2 0 0 20 0 15 0 8831126 14316269568 237356 18446744073709551615 4194304 4196468 140737346443856 140469181847920 140470271228546 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18449] ppid=18435 vsize=13980732 memory=1380 CPUtime=0.73 cores=1,3,5,7
/proc/18437/task/18449/stat : 18449 (java) S 18435 18435 17292 0 -1 1077944384 7842 0 0 0 71 2 0 0 20 0 15 0 8831126 14316269568 237356 18446744073709551615 4194304 4196468 140737346443856 140469180794864 140470271228546 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18450] ppid=18435 vsize=13980732 memory=942200 CPUtime=0 cores=1,3,5,7
/proc/18437/task/18450/stat : 18450 (java) S 18435 18435 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8831126 14316269568 237356 18446744073709551615 4194304 4196468 140737346443856 140469179742560 140470271227605 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18451] ppid=18435 vsize=13980732 memory=8736 CPUtime=0.73 cores=1,3,5,7
/proc/18437/task/18451/stat : 18451 (java) S 18435 18435 17292 0 -1 1077944384 1328 0 0 0 32 41 0 0 20 0 15 0 8831131 14316269568 237356 18446744073709551615 4194304 4196468 140737346443856 140469178690608 140470271228546 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 950804 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2509.31 s]
# the end of solver process 18435 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000627 s, system=0.001254 s
[startup+2509.32 s]
# the end of solver process 18437 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.69 s, system=1.37675 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
[startup+2509.3 s]
/proc/loadavg: 2.08 1.90 1.76 3/213 18918
/proc/meminfo: memFree=30711276/32770624 swapFree=67108860/67108860
[pid=18435] ppid=18432 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18435/stat : 18435 (xcsp3-exec) S 18432 18435 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 8831112 9740288 345 18446744073709551615 4194304 5098028 140723724580192 140723724578296 140414247285372 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 17440768 140723724587386 140723724587590 140723724587590 140723724591083 0
/proc/18435/statm: 2378 345 289 221 0 87 0
[pid=18437] ppid=18435 vsize=13980732 memory=949424 CPUtime=2520.03 cores=1,3,5,7
/proc/18437/stat : 18437 (java) S 18435 18435 17292 0 -1 1077944320 172080 0 0 0 251867 136 0 0 20 0 15 0 8831120 14316269568 237356 18446744073709551615 4194304 4196468 140737346443856 140737346426400 140470271217399 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
/proc/18437/statm: 3495183 237356 3250 1 0 3483476 0
[pid=18437/tid=18438] ppid=18435 vsize=13980732 memory=250535 CPUtime=2506.15 cores=1,3,5,7
/proc/18437/task/18438/stat : 18438 (java) R 18435 18435 17292 0 -1 4202560 85449 0 0 0 250569 46 0 0 20 0 15 0 8831120 14316269568 237356 18446744073709551615 4194304 4196468 140737346443856 140470275456816 140469881515864 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18439] ppid=18435 vsize=13980732 memory=1380 CPUtime=1.66 cores=1,3,5,7
/proc/18437/task/18439/stat : 18439 (java) S 18435 18435 17292 0 -1 1077944384 8033 0 0 0 154 12 0 0 20 0 15 0 8831121 14316269568 237356 18446744073709551615 4194304 4196468 140737346443856 140470205651472 140470271227605 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18440] ppid=18435 vsize=13980732 memory=949424 CPUtime=1.67 cores=1,3,5,7
/proc/18437/task/18440/stat : 18440 (java) S 18435 18435 17292 0 -1 1077944384 10932 0 0 0 157 10 0 0 20 0 15 0 8831121 14316269568 237356 18446744073709551615 4194304 4196468 140737346443856 140470204598928 140470271227605 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18441] ppid=18435 vsize=13980732 memory=949424 CPUtime=1.66 cores=1,3,5,7
/proc/18437/task/18441/stat : 18441 (java) S 18435 18435 17292 0 -1 1077944384 8278 0 0 0 155 11 0 0 20 0 15 0 8831121 14316269568 237356 18446744073709551615 4194304 4196468 140737346443856 140470203545872 140470271227605 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18442] ppid=18435 vsize=13980732 memory=1380 CPUtime=1.67 cores=1,3,5,7
/proc/18437/task/18442/stat : 18442 (java) S 18435 18435 17292 0 -1 1077944384 7592 0 0 0 154 13 0 0 20 0 15 0 8831121 14316269568 237356 18446744073709551615 4194304 4196468 140737346443856 140470202493328 140470271227605 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18443] ppid=18435 vsize=13980732 memory=0 CPUtime=0.82 cores=1,3,5,7
/proc/18437/task/18443/stat : 18443 (java) S 18435 18435 17292 0 -1 1077944384 6282 0 0 0 73 9 0 0 20 0 15 0 8831122 14316269568 237356 18446744073709551615 4194304 4196468 140737346443856 140469187111664 140470271228546 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18444] ppid=18435 vsize=13980732 memory=949424 CPUtime=0 cores=1,3,5,7
/proc/18437/task/18444/stat : 18444 (java) S 18435 18435 17292 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 8831123 14316269568 237356 18446744073709551615 4194304 4196468 140737346443856 140469186057888 140470271227605 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18445] ppid=18435 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18437/task/18445/stat : 18445 (java) S 18435 18435 17292 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 8831123 14316269568 237356 18446744073709551615 4194304 4196468 140737346443856 140469185004784 140470271227605 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18446] ppid=18435 vsize=13980732 memory=4124 CPUtime=0 cores=1,3,5,7
/proc/18437/task/18446/stat : 18446 (java) S 18435 18435 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8831126 14316269568 237356 18446744073709551615 4194304 4196468 140737346443856 140469183953360 140470271235995 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18447] ppid=18435 vsize=13980732 memory=8736 CPUtime=2.76 cores=1,3,5,7
/proc/18437/task/18447/stat : 18447 (java) S 18435 18435 17292 0 -1 1077944384 20503 0 0 0 274 2 0 0 20 0 15 0 8831126 14316269568 237356 18446744073709551615 4194304 4196468 140737346443856 140469182900464 140470271228546 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18448] ppid=18435 vsize=13980732 memory=944052 CPUtime=2.12 cores=1,3,5,7
/proc/18437/task/18448/stat : 18448 (java) S 18435 18435 17292 0 -1 1077944384 14487 0 0 0 210 2 0 0 20 0 15 0 8831126 14316269568 237356 18446744073709551615 4194304 4196468 140737346443856 140469181847920 140470271228546 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18449] ppid=18435 vsize=13980732 memory=1380 CPUtime=0.73 cores=1,3,5,7
/proc/18437/task/18449/stat : 18449 (java) S 18435 18435 17292 0 -1 1077944384 7842 0 0 0 71 2 0 0 20 0 15 0 8831126 14316269568 237356 18446744073709551615 4194304 4196468 140737346443856 140469180794864 140470271228546 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18450] ppid=18435 vsize=13980732 memory=942200 CPUtime=0 cores=1,3,5,7
/proc/18437/task/18450/stat : 18450 (java) S 18435 18435 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8831126 14316269568 237356 18446744073709551615 4194304 4196468 140737346443856 140469179742560 140470271227605 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
[pid=18437/tid=18451] ppid=18435 vsize=13980732 memory=8736 CPUtime=0.73 cores=1,3,5,7
/proc/18437/task/18451/stat : 18451 (java) S 18435 18435 17292 0 -1 1077944384 1328 0 0 0 32 41 0 0 20 0 15 0 8831131 14316269568 237356 18446744073709551615 4194304 4196468 140737346443856 140469178690608 140470271228546 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9666560 140737346445746 140737346445922 140737346445922 140737346449359 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 950804 KiB
Child status: 143
Real time (s): 2509.32
CPU time (s): 2520.07
CPU user time (s): 2518.69
CPU system time (s): 1.37675
CPU usage (%): 100.428
Max. virtual memory (cumulated for all children) (KiB): 13992264
Max. memory (cumulated for all children) (KiB): 1852296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.69
system time used= 1.37675
maximum resident set size= 1894864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 172824
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 76915
involuntary context switches= 1788
# summary of solver processes directly reported to runsolver:
# pid: 18435,18437
# total CPU time (s): 2520.07
# total CPU user time (s): 2518.69
# total CPU system time (s): 1.37675
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.3092 second user time and 23.6419 second system time
The end
Begin job on node129 at 2017-08-19 02:43:02 IDJOB=4282083 IDBENCH=115904 IDSOLVER=2677 FILE ID=node129/4282083-1503104220 RUNJOBID= node129-1503095823-17351 PBS_JOBID= Free space on /tmp= 62008 MiB SOLVER NAME= choco-solver 4.0.5 seq 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-4282083-1503104220/watcher-4282083-1503104220 -o /tmp/evaluation-result-4282083-1503104220/solver-4282083-1503104220 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node129-1503095823-17351 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 881340843 HOME/instance-4282083-1503104220.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f7605bb50abdbd05cc6d9fedf17196d1 RANDOM SEED=881340843 node129.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.73 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.73 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.73 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.73 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: 31646852 kB MemAvailable: 31847348 kB Buffers: 148524 kB Cached: 334736 kB SwapCached: 0 kB Active: 392008 kB Inactive: 330156 kB Active(anon): 239232 kB Inactive(anon): 8568 kB Active(file): 152776 kB Inactive(file): 321588 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8020 kB Writeback: 0 kB AnonPages: 234888 kB Mapped: 42676 kB Shmem: 8900 kB Slab: 108728 kB SReclaimable: 83932 kB SUnreclaim: 24796 kB KernelStack: 3504 kB PageTables: 5700 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1252256 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 129024 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 62000 MiB End job on node129 at 2017-08-19 03:24:52