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-08-18) | SAT (TO) | 324 | 256.66101 | 240.02499 |
| Name | StillLife/StillLife-wst-s1/ StillLife-wastage-29.xml |
| MD5SUM | 1822b9c415adc1a9dd10b23e46d08c48 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 413 |
| Best CPU time to get the best result obtained on this benchmark | 251.87601 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1954 |
| Number of constraints | 1139 |
| Number of domains | 4 |
| Minimum domain size | 2 |
| Maximum domain size | 1923 |
| Distribution of domain sizes | [{"size":2,"count":961},{"size":3,"count":961},{"size":842,"count":1},{"size":1923,"count":31}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 32 |
| Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":958},{"degree":3,"count":34},{"degree":4,"count":116},{"degree":8,"count":112},{"degree":9,"count":729},{"degree":32,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 33 |
| Distribution of constraint arities | [{"arity":2,"count":147},{"arity":3,"count":116},{"arity":10,"count":841},{"arity":31,"count":4},{"arity":32,"count":1},{"arity":33,"count":30}] |
| Number of extensional constraints | 957 |
| Number of intensional constraints | 146 |
| Distribution of constraint types | [{"type":"extension","count":957},{"type":"intension","count":146},{"type":"sum","count":32},{"type":"instantiation","count":4}] |
| Optimization problem | YES |
| Type of objective | max VAR |
0.00/0.00 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4284544-1503210752.xml" -tl '264s' -p 1 -x 3 0.11/0.14 c [HOME/instance-4284544-1503210752.xml, -tl, 264s, -p, 1, -x, 3] 0.11/0.20 c simple solver 0.33/0.26 c parse instance... 2.18/1.00 c solve instance... 13.27/7.59 o 317 14.69/8.04 o 318 16.88/8.88 o 321 17.38/9.09 o 323 83.10/71.44 o 324 256.63/240.01 s SATISFIABLE 256.63/240.01 v <instantiation> 256.63/240.01 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[0][30] 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[1][30] 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[2][30] 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[3][30] 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[4][30] 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[5][30] 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[6][30] 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[7][30] 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[8][30] 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[9][30] 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[10][30] 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[11][30] 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[12][30] 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[13][30] 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[14][30] 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[15][30] 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[16][30] 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[17][30] 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[18][30] 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[19][30] 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[20][30] 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[21][30] 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[22][30] 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[23][30] 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[24][30] 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[25][30] 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[26][30] 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[27][30] 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[28][30] 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] x[29][30] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] 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[0][30] 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[1][30] 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[2][30] 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[3][30] 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[4][30] 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[5][30] 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[6][30] 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[7][30] 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[8][30] 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[9][30] 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[10][30] 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[11][30] 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[12][30] 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[13][30] 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[14][30] 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[15][30] 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[16][30] 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[17][30] 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[18][30] 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[19][30] 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[20][30] 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[21][30] 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[22][30] 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[23][30] 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[24][30] 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[25][30] 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[26][30] 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[27][30] 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[28][30] 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] w[29][30] w[30][0] w[30][1] w[30][2] w[30][3] w[30][4] w[30][5] w[30][6] w[30][7] w[30][8] w[30][9] w[30][10] w[30][11] w[30][12] w[30][13] w[30][14] w[30][15] w[30][16] w[30][17] w[30][18] w[30][19] w[30][20] w[30][21] w[30][22] w[30][23] w[30][24] w[30][25] w[30][26] w[30][27] w[30][28] w[30][29] w[30][30] 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] ws[30] z </list> 256.63/240.01 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 1 1 0 0 0 1 1 0 1 1 0 0 0 0 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 1 1 0 1 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 0 1 1 1 1 0 1 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 1 0 1 1 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 1 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 1 1 0 0 0 1 1 1 1 0 0 0 1 0 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 0 1 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 1 0 0 1 0 1 0 0 1 0 0 0 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 1 0 1 0 0 0 0 1 1 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 0 1 1 0 1 0 0 1 0 0 1 0 0 0 1 0 1 1 1 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 0 1 1 1 1 1 0 1 1 0 1 0 0 1 0 1 1 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 1 0 0 1 0 0 1 1 0 1 0 0 1 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 0 1 1 1 1 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 1 1 0 1 0 1 1 0 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 0 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 1 0 1 0 1 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 1 0 0 1 0 0 1 1 1 1 0 1 0 0 1 0 0 1 1 1 1 0 1 2 2 2 1 1 0 1 2 1 1 0 0 0 0 0 2 2 1 1 0 0 0 0 0 1 1 2 1 1 1 1 2 2 2 1 0 1 1 2 2 0 0 0 1 0 1 1 2 1 0 0 0 0 0 0 0 2 1 1 0 0 1 2 2 1 1 0 0 1 1 2 1 1 0 0 0 0 1 1 1 0 0 1 0 0 0 0 2 1 0 1 0 1 1 2 1 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 1 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 2 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 0 1 0 2 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 2 1 0 1 0 1 0 1 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 1 1 2 1 0 0 1 0 2 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 2 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 0 0 1 1 1 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 0 0 1 1 1 1 0 2 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 2 2 1 0 0 1 0 0 1 1 2 2 1 1 2 1 1 1 1 0 0 0 0 0 0 1 1 2 1 1 1 2 2 2 0 0 0 0 0 1 0 2 2 1 1 0 0 0 0 1 0 1 0 0 1 0 0 1 1 1 1 1 2 2 0 1 0 0 0 0 0 0 1 2 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 1 1 1 1 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 2 2 1 0 1 1 0 1 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 2 2 1 1 0 1 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 2 2 2 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 2 2 2 2 2 1 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 1 0 0 1 1 0 1 1 2 2 2 2 2 2 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 1 0 1 0 2 2 2 2 2 1 1 1 1 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 2 2 2 1 1 2 2 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 1 1 0 0 1 0 2 2 1 1 2 2 2 1 2 1 1 0 0 1 0 0 1 1 0 2 0 0 1 1 1 2 2 1 1 0 0 1 2 1 1 2 2 2 2 2 2 0 1 1 0 2 1 1 2 2 0 0 0 1 2 2 2 2 2 1 1 0 1 2 1 0 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 0 0 1 1 0 18 45 69 90 102 110 118 127 138 149 161 171 181 192 199 206 233 254 268 280 290 302 314 333 355 373 390 409 439 479 502 324 </values> 256.63/240.01 v </instantiation> 256.63/240.01 c Unexpected resolution interruption!
OK 324
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 (12662 MiB free)
memory of node 1: 16384 MiB (12966 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284544-1503210752/watcher-4284544-1503210752 -o /tmp/evaluation-result-4284544-1503210752/solver-4284544-1503210752 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node113-1503209106-8068 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1881639751 HOME/instance-4284544-1503210752.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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=8760, runsolver pid=8757
[startup+0.100157 s]*
/proc/loadavg: 1.61 1.75 1.70 3/217 8776
/proc/meminfo: memFree=26226812/32770624 swapFree=67108860/67108860
[pid=8760] ppid=8757 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8760/stat : 8760 (xcsp3-exec) S 8757 8760 8036 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154162643 9740288 345 33554432000 4194304 5098028 140732256918640 140732256916744 140473310757500 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38752256 140732256920692 140732256920896 140732256920896 140732256923627 0
/proc/8760/statm: 2378 345 289 221 0 87 0
[pid=8762] ppid=8760 vsize=13978596 memory=28544 CPUtime=0.11 cores=1,3,5,7
/proc/8762/stat : 8762 (java) S 8760 8760 8036 0 -1 1077944320 5046 0 0 0 10 1 0 0 20 0 15 0 154162643 14314082304 7136 33554432000 4194304 4196468 140729635338240 140729635320784 140360828833527 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
/proc/8762/statm: 3494649 7136 2833 1 0 3482966 0
[pid=8762/tid=8763] ppid=8760 vsize=13978596 memory=-8976644418600983157 CPUtime=0.08 cores=1,3,5,7
/proc/8762/task/8763/stat : 8763 (java) R 8760 8760 8036 0 -1 4202560 3059 0 0 0 8 0 0 0 20 0 15 0 154162643 14314082304 7136 33554432000 4194304 4196468 140729635338240 140360833066800 140360812877157 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8764] ppid=8760 vsize=13978596 memory=3472468050909705424 CPUtime=0 cores=1,3,5,7
/proc/8762/task/8764/stat : 8764 (java) S 8760 8760 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154162644 14314082304 7136 33554432000 4194304 4196468 140729635338240 140360743902096 140360828843733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8765] ppid=8760 vsize=13978596 memory=139922014553728 CPUtime=0 cores=1,3,5,7
/proc/8762/task/8765/stat : 8765 (java) S 8760 8760 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154162644 14314082304 7136 33554432000 4194304 4196468 140729635338240 140360742849296 140360828843733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8766] ppid=8760 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8762/task/8766/stat : 8766 (java) S 8760 8760 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154162644 14314082304 7136 33554432000 4194304 4196468 140729635338240 140360741797008 140360828843733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8767] ppid=8760 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8762/task/8767/stat : 8767 (java) S 8760 8760 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154162644 14314082304 7136 33554432000 4194304 4196468 140729635338240 140360740744208 140360828843733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8768] ppid=8760 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8762/task/8768/stat : 8768 (java) S 8760 8760 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154162646 14314082304 7136 33554432000 4194304 4196468 140729635338240 140360168855664 140360828844674 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8769] ppid=8760 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8762/task/8769/stat : 8769 (java) S 8760 8760 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154162646 14314082304 7136 33554432000 4194304 4196468 140729635338240 140360167801632 140360828843733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8770] ppid=8760 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8762/task/8770/stat : 8770 (java) S 8760 8760 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154162646 14314082304 7136 33554432000 4194304 4196468 140729635338240 140360166749296 140360828843733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8771] ppid=8760 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8762/task/8771/stat : 8771 (java) S 8760 8760 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154162649 14314082304 7136 33554432000 4194304 4196468 140729635338240 140360165697616 140360828852123 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8772] ppid=8760 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8762/task/8772/stat : 8772 (java) S 8760 8760 8036 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 154162649 14314082304 7136 33554432000 4194304 4196468 140729635338240 140360164645488 140360828844674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8773] ppid=8760 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8762/task/8773/stat : 8773 (java) R 8760 8760 8036 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 15 0 154162649 14314082304 7136 33554432000 4194304 4196468 140729635338240 140360163592688 140360828844674 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8774] ppid=8760 vsize=13978596 memory=139922014553728 CPUtime=0.01 cores=1,3,5,7
/proc/8762/task/8774/stat : 8774 (java) R 8760 8760 8036 0 -1 4202560 260 0 0 0 1 0 0 0 20 0 15 0 154162649 14314082304 7136 33554432000 4194304 4196468 140729635338240 140360162540400 140360821070654 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8775] ppid=8760 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8762/task/8775/stat : 8775 (java) S 8760 8760 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154162649 14314082304 7136 33554432000 4194304 4196468 140729635338240 140360161487840 140360828843733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8776] ppid=8760 vsize=13978596 memory=139922014553728 CPUtime=0 cores=1,3,5,7
/proc/8762/task/8776/stat : 8776 (java) S 8760 8760 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154162649 14314082304 7136 33554432000 4194304 4196468 140729635338240 140360160434608 140360828844674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29924 KiB
[startup+0.210554 s]*
/proc/loadavg: 1.61 1.75 1.70 3/217 8776
/proc/meminfo: memFree=26214728/32770624 swapFree=67108860/67108860
[pid=8760] ppid=8757 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8760/stat : 8760 (xcsp3-exec) S 8757 8760 8036 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154162643 9740288 345 33554432000 4194304 5098028 140732256918640 140732256916744 140473310757500 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38752256 140732256920692 140732256920896 140732256920896 140732256923627 0
/proc/8760/statm: 2378 345 289 221 0 87 0
[pid=8762] ppid=8760 vsize=13982852 memory=40508 CPUtime=0.33 cores=1,3,5,7
/proc/8762/stat : 8762 (java) S 8760 8760 8036 0 -1 1077944320 7643 0 0 0 31 2 0 0 20 0 15 0 154162643 14318440448 10127 33554432000 4194304 4196468 140729635338240 140729635320784 140360828833527 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
/proc/8762/statm: 3495713 10127 3077 1 0 3482966 0
[pid=8762/tid=8763] ppid=8760 vsize=13982852 memory=4790596700365366163 CPUtime=0.19 cores=1,3,5,7
/proc/8762/task/8763/stat : 8763 (java) D 8760 8760 8036 0 -1 1077944384 4794 0 0 0 18 1 0 0 20 0 15 0 154162643 14318440448 10127 33554432000 4194304 4196468 140729635338240 140360833043152 140360821512749 0 4 0 16800975 18446744072101629476 0 0 -1 5 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8764] ppid=8760 vsize=13982852 memory=3472468050909705424 CPUtime=0 cores=1,3,5,7
/proc/8762/task/8764/stat : 8764 (java) S 8760 8760 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154162644 14318440448 10127 33554432000 4194304 4196468 140729635338240 140360743902096 140360828843733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8765] ppid=8760 vsize=13982852 memory=139922014553728 CPUtime=0 cores=1,3,5,7
/proc/8762/task/8765/stat : 8765 (java) S 8760 8760 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154162644 14318440448 10127 33554432000 4194304 4196468 140729635338240 140360742849296 140360828843733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8766] ppid=8760 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8762/task/8766/stat : 8766 (java) S 8760 8760 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154162644 14318440448 10127 33554432000 4194304 4196468 140729635338240 140360741797008 140360828843733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8767] ppid=8760 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8762/task/8767/stat : 8767 (java) S 8760 8760 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154162644 14318440448 10127 33554432000 4194304 4196468 140729635338240 140360740744208 140360828843733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8768] ppid=8760 vsize=13982852 memory=139922014553728 CPUtime=0 cores=1,3,5,7
/proc/8762/task/8768/stat : 8768 (java) S 8760 8760 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154162646 14318440448 10127 33554432000 4194304 4196468 140729635338240 140360168855664 140360828844674 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8769] ppid=8760 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8762/task/8769/stat : 8769 (java) S 8760 8760 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154162646 14318440448 10127 33554432000 4194304 4196468 140729635338240 140360167801632 140360828843733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8770] ppid=8760 vsize=13982884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8762/task/8770/stat : 8770 (java) S 8760 8760 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154162646 14318473216 10127 33554432000 4194304 4196468 140729635338240 140360166749296 140360828843733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8771] ppid=8760 vsize=13982884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8762/task/8771/stat : 8771 (java) S 8760 8760 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154162649 14318473216 10127 33554432000 4194304 4196468 140729635338240 140360165697616 140360828852123 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8772] ppid=8760 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/8762/task/8772/stat : 8772 (java) S 8760 8760 8036 0 -1 1077944384 399 0 0 0 2 0 0 0 20 0 15 0 154162649 14318440448 10149 33554432000 4194304 4196468 140729635338240 140360164645488 140360828844674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8773] ppid=8760 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/8762/task/8773/stat : 8773 (java) S 8760 8760 8036 0 -1 1077944384 375 0 0 0 2 0 0 0 20 0 15 0 154162649 14318440448 10149 33554432000 4194304 4196468 140729635338240 140360163592688 140360828844674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8774] ppid=8760 vsize=13982852 memory=139922014553728 CPUtime=0.07 cores=1,3,5,7
/proc/8762/task/8774/stat : 8774 (java) S 8760 8760 8036 0 -1 1077944384 772 0 0 0 7 0 0 0 20 0 15 0 154162649 14318440448 10149 33554432000 4194304 4196468 140729635338240 140360162540400 140360828844674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8775] ppid=8760 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8762/task/8775/stat : 8775 (java) S 8760 8760 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154162649 14318440448 10149 33554432000 4194304 4196468 140729635338240 140360161487840 140360828843733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8776] ppid=8760 vsize=13982852 memory=139922014553728 CPUtime=0 cores=1,3,5,7
/proc/8762/task/8776/stat : 8776 (java) S 8760 8760 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154162649 14318440448 10149 33554432000 4194304 4196468 140729635338240 140360160434608 140360828844674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41888 KiB
[startup+0.310535 s]*
/proc/loadavg: 1.61 1.75 1.70 4/217 8776
/proc/meminfo: memFree=26208028/32770624 swapFree=67108860/67108860
[pid=8760] ppid=8757 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8760/stat : 8760 (xcsp3-exec) S 8757 8760 8036 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154162643 9740288 345 33554432000 4194304 5098028 140732256918640 140732256916744 140473310757500 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38752256 140732256920692 140732256920896 140732256920896 140732256923627 0
/proc/8760/statm: 2378 345 289 221 0 87 0
[pid=8762] ppid=8760 vsize=13982852 memory=47136 CPUtime=0.5 cores=1,3,5,7
/proc/8762/stat : 8762 (java) S 8760 8760 8036 0 -1 1077944320 8425 0 0 0 47 3 0 0 20 0 15 0 154162643 14318440448 11784 33554432000 4194304 4196468 140729635338240 140729635320784 140360828833527 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
/proc/8762/statm: 3495713 11784 3093 1 0 3482966 0
[pid=8762/tid=8763] ppid=8760 vsize=13982852 memory=-8976644418600983157 CPUtime=0.29 cores=1,3,5,7
/proc/8762/task/8763/stat : 8763 (java) S 8760 8760 8036 0 -1 1077944384 5444 0 0 0 27 2 0 0 20 0 15 0 154162643 14318440448 11784 33554432000 4194304 4196468 140729635338240 140360833070992 140360828843733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8764] ppid=8760 vsize=13982852 memory=3472468050909705424 CPUtime=0 cores=1,3,5,7
/proc/8762/task/8764/stat : 8764 (java) S 8760 8760 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154162644 14318440448 11784 33554432000 4194304 4196468 140729635338240 140360743902096 140360828843733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8765] ppid=8760 vsize=13982852 memory=139922014553728 CPUtime=0 cores=1,3,5,7
/proc/8762/task/8765/stat : 8765 (java) S 8760 8760 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154162644 14318440448 11784 33554432000 4194304 4196468 140729635338240 140360742849296 140360828843733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8766] ppid=8760 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8762/task/8766/stat : 8766 (java) S 8760 8760 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154162644 14318440448 11784 33554432000 4194304 4196468 140729635338240 140360741797008 140360828843733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8767] ppid=8760 vsize=13982852 memory=139921914472479 CPUtime=0 cores=1,3,5,7
/proc/8762/task/8767/stat : 8767 (java) S 8760 8760 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154162644 14318440448 11784 33554432000 4194304 4196468 140729635338240 140360740744208 140360828843733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8768] ppid=8760 vsize=13982852 memory=279843828924192 CPUtime=0 cores=1,3,5,7
/proc/8762/task/8768/stat : 8768 (java) S 8760 8760 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154162646 14318440448 11784 33554432000 4194304 4196468 140729635338240 140360168855664 140360828844674 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8769] ppid=8760 vsize=13982852 memory=139921914449423 CPUtime=0 cores=1,3,5,7
/proc/8762/task/8769/stat : 8769 (java) S 8760 8760 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154162646 14318440448 11784 33554432000 4194304 4196468 140729635338240 140360167801632 140360828843733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8770] ppid=8760 vsize=13982852 memory=279843929012320 CPUtime=0 cores=1,3,5,7
/proc/8762/task/8770/stat : 8770 (java) S 8760 8760 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154162646 14318440448 11784 33554432000 4194304 4196468 140729635338240 140360166749296 140360828843733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8771] ppid=8760 vsize=13982852 memory=139921914454031 CPUtime=0 cores=1,3,5,7
/proc/8762/task/8771/stat : 8771 (java) S 8760 8760 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154162649 14318440448 11784 33554432000 4194304 4196468 140729635338240 140360165697616 140360828852123 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8772] ppid=8760 vsize=13982852 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/8762/task/8772/stat : 8772 (java) R 8760 8760 8036 0 -1 4202560 420 0 0 0 4 0 0 0 20 0 15 0 154162649 14318440448 11784 33554432000 4194304 4196468 140729635338240 140360164645488 140360814849056 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8773] ppid=8760 vsize=13982852 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/8762/task/8773/stat : 8773 (java) R 8760 8760 8036 0 -1 1077944384 379 0 0 0 3 0 0 0 20 0 15 0 154162649 14318440448 11784 33554432000 4194304 4196468 140729635338240 140360163592688 140360828844674 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8774] ppid=8760 vsize=13982852 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/8762/task/8774/stat : 8774 (java) R 8760 8760 8036 0 -1 4202560 881 0 0 0 12 0 0 0 20 0 15 0 154162649 14318440448 11784 33554432000 4194304 4196468 140729635338240 140360162538208 140360821930440 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8775] ppid=8760 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8762/task/8775/stat : 8775 (java) S 8760 8760 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154162649 14318440448 11784 33554432000 4194304 4196468 140729635338240 140360161487840 140360828843733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8776] ppid=8760 vsize=13982852 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8762/task/8776/stat : 8776 (java) S 8760 8760 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154162649 14318440448 11784 33554432000 4194304 4196468 140729635338240 140360160434608 140360828844674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48516 KiB
[startup+0.701925 s]
/proc/loadavg: 1.61 1.75 1.70 6/217 8776
/proc/meminfo: memFree=26181848/32770624 swapFree=67108860/67108860
[pid=8760] ppid=8757 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8760/stat : 8760 (xcsp3-exec) S 8757 8760 8036 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154162643 9740288 345 33554432000 4194304 5098028 140732256918640 140732256916744 140473310757500 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38752256 140732256920692 140732256920896 140732256920896 140732256923627 0
/proc/8760/statm: 2378 345 289 221 0 87 0
[pid=8762] ppid=8760 vsize=13984976 memory=81620 CPUtime=1.75 cores=1,3,5,7
/proc/8762/stat : 8762 (java) S 8760 8760 8036 0 -1 1077944320 11427 0 0 0 171 4 0 0 20 0 15 0 154162643 14320615424 20405 33554432000 4194304 4196468 140729635338240 140729635320784 140360828833527 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
/proc/8762/statm: 3496244 20405 3206 1 0 3483478 0
[pid=8762/tid=8763] ppid=8760 vsize=13984976 memory=279843828731952 CPUtime=0.66 cores=1,3,5,7
/proc/8762/task/8763/stat : 8763 (java) R 8760 8760 8036 0 -1 4202560 5973 0 0 0 64 2 0 0 20 0 15 0 154162643 14320615424 20405 33554432000 4194304 4196468 140729635338240 140360833072032 140360424899533 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8764] ppid=8760 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8762/task/8764/stat : 8764 (java) S 8760 8760 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154162644 14320615424 20405 33554432000 4194304 4196468 140729635338240 140360743902096 140360828843733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8765] ppid=8760 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8762/task/8765/stat : 8765 (java) S 8760 8760 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154162644 14320615424 20405 33554432000 4194304 4196468 140729635338240 140360742849296 140360828843733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8766] ppid=8760 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8762/task/8766/stat : 8766 (java) S 8760 8760 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154162644 14320615424 20405 33554432000 4194304 4196468 140729635338240 140360741797008 140360828843733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8767] ppid=8760 vsize=13984976 memory=5796 CPUtime=0 cores=1,3,5,7
/proc/8762/task/8767/stat : 8767 (java) S 8760 8760 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154162644 14320615424 20405 33554432000 4194304 4196468 140729635338240 140360740744208 140360828843733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8768] ppid=8760 vsize=13984976 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/8762/task/8768/stat : 8768 (java) S 8760 8760 8036 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 154162646 14320615424 20405 33554432000 4194304 4196468 140729635338240 140360168855664 140360828844674 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8769] ppid=8760 vsize=13984976 memory=8716 CPUtime=0 cores=1,3,5,7
/proc/8762/task/8769/stat : 8769 (java) S 8760 8760 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154162646 14320615424 20405 33554432000 4194304 4196468 140729635338240 140360167801632 140360828843733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8770] ppid=8760 vsize=13984976 memory=7740655667640821056 CPUtime=0 cores=1,3,5,7
/proc/8762/task/8770/stat : 8770 (java) S 8760 8760 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154162646 14320615424 20405 33554432000 4194304 4196468 140729635338240 140360166749296 140360828843733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8771] ppid=8760 vsize=13984976 memory=7450453974481135974 CPUtime=0 cores=1,3,5,7
/proc/8762/task/8771/stat : 8771 (java) S 8760 8760 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154162649 14320615424 20405 33554432000 4194304 4196468 140729635338240 140360165697616 140360828852123 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8772] ppid=8760 vsize=13984976 memory=5787213827131598673 CPUtime=0.37 cores=1,3,5,7
/proc/8762/task/8772/stat : 8772 (java) R 8760 8760 8036 0 -1 4202560 1359 0 0 0 37 0 0 0 20 0 15 0 154162649 14320615424 20405 33554432000 4194304 4196468 140729635338240 140360164636752 140360813941087 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8773] ppid=8760 vsize=13984976 memory=0 CPUtime=0.31 cores=1,3,5,7
/proc/8762/task/8773/stat : 8773 (java) R 8760 8760 8036 0 -1 4202560 1044 0 0 0 31 0 0 0 20 0 15 0 154162649 14320615424 20405 33554432000 4194304 4196468 140729635338240 140360163584016 140360812362272 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8774] ppid=8760 vsize=13984976 memory=0 CPUtime=0.37 cores=1,3,5,7
/proc/8762/task/8774/stat : 8774 (java) S 8760 8760 8036 0 -1 1077944384 1743 0 0 0 37 0 0 0 20 0 15 0 154162649 14320615424 20405 33554432000 4194304 4196468 140729635338240 140360162540400 140360828844674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8775] ppid=8760 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8762/task/8775/stat : 8775 (java) S 8760 8760 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154162649 14320615424 20405 33554432000 4194304 4196468 140729635338240 140360161487840 140360828843733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8776] ppid=8760 vsize=13984976 memory=42520 CPUtime=0 cores=1,3,5,7
/proc/8762/task/8776/stat : 8776 (java) S 8760 8760 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154162649 14320615424 20405 33554432000 4194304 4196468 140729635338240 140360160434608 140360828844674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
Current children cumulated CPU time: 1.75 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 83000 KiB
[startup+1.50086 s]
/proc/loadavg: 1.61 1.75 1.70 3/217 8776
/proc/meminfo: memFree=26150884/32770624 swapFree=67108860/67108860
[pid=8760] ppid=8757 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8760/stat : 8760 (xcsp3-exec) S 8757 8760 8036 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154162643 9740288 345 33554432000 4194304 5098028 140732256918640 140732256916744 140473310757500 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38752256 140732256920692 140732256920896 140732256920896 140732256923627 0
/proc/8760/statm: 2378 345 289 221 0 87 0
################
# More data... #
################
/proc/8762/task/8770/stat : 8770 (java) S 8760 8760 8036 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 154162646 14322712576 172201 33554432000 4194304 4196468 140729635338240 140360166749296 140360828843733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8771] ppid=8760 vsize=13987024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8762/task/8771/stat : 8771 (java) S 8760 8760 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154162649 14322712576 172201 33554432000 4194304 4196468 140729635338240 140360165697616 140360828852123 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8772] ppid=8760 vsize=13987024 memory=6944656575208382560 CPUtime=4.71 cores=1,3,5,7
/proc/8762/task/8772/stat : 8772 (java) S 8760 8760 8036 0 -1 1077944384 20164 0 0 0 470 1 0 0 20 0 15 0 154162649 14322712576 172201 33554432000 4194304 4196468 140729635338240 140360164645488 140360828844674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8773] ppid=8760 vsize=13987024 memory=1380 CPUtime=5.08 cores=1,3,5,7
/proc/8762/task/8773/stat : 8773 (java) S 8760 8760 8036 0 -1 1077944384 17093 0 0 0 506 2 0 0 20 0 15 0 154162649 14322712576 172201 33554432000 4194304 4196468 140729635338240 140360163592688 140360828844674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8774] ppid=8760 vsize=13987024 memory=688808 CPUtime=0.9 cores=1,3,5,7
/proc/8762/task/8774/stat : 8774 (java) S 8760 8760 8036 0 -1 1077944384 8685 0 0 0 88 2 0 0 20 0 15 0 154162649 14322712576 172201 33554432000 4194304 4196468 140729635338240 140360162540400 140360828844674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8775] ppid=8760 vsize=13987024 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/8762/task/8775/stat : 8775 (java) S 8760 8760 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154162649 14322712576 172201 33554432000 4194304 4196468 140729635338240 140360161487840 140360828843733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8776] ppid=8760 vsize=13987024 memory=4612 CPUtime=0.04 cores=1,3,5,7
/proc/8762/task/8776/stat : 8776 (java) S 8760 8760 8036 0 -1 1077944384 155 0 0 0 2 2 0 0 20 0 15 0 154162649 14322712576 172201 33554432000 4194304 4196468 140729635338240 140360160434608 140360828844674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
Current children cumulated CPU time: 114.61 s
Current children cumulated vsize: 13996536 KiB
Current children cumulated memory: 690184 KiB
[startup+162.301 s]
/proc/loadavg: 1.14 1.51 1.62 3/217 8785
/proc/meminfo: memFree=25583336/32770624 swapFree=67108860/67108860
[pid=8760] ppid=8757 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8760/stat : 8760 (xcsp3-exec) S 8757 8760 8036 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154162643 9740288 345 33554432000 4194304 5098028 140732256918640 140732256916744 140473310757500 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38752256 140732256920692 140732256920896 140732256920896 140732256923627 0
/proc/8760/statm: 2378 345 289 221 0 87 0
[pid=8762] ppid=8760 vsize=13987024 memory=677264 CPUtime=175.89 cores=1,3,5,7
/proc/8762/stat : 8762 (java) S 8760 8760 8036 0 -1 1077944320 77821 0 0 0 17516 73 0 0 20 0 15 0 154162643 14322712576 169316 33554432000 4194304 4196468 140729635338240 140729635320784 140360828833527 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
/proc/8762/statm: 3496756 169316 3266 1 0 3483990 0
[pid=8762/tid=8763] ppid=8760 vsize=13987024 memory=677264 CPUtime=161.26 cores=1,3,5,7
/proc/8762/task/8763/stat : 8763 (java) R 8760 8760 8036 0 -1 4202560 18965 0 0 0 16116 10 0 0 20 0 15 0 154162643 14322712576 169316 33554432000 4194304 4196468 140729635338240 140360833072800 140360429711793 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8764] ppid=8760 vsize=13987024 memory=675268 CPUtime=0.91 cores=1,3,5,7
/proc/8762/task/8764/stat : 8764 (java) S 8760 8760 8036 0 -1 1077944384 1558 0 0 0 79 12 0 0 20 0 15 0 154162644 14322712576 169316 33554432000 4194304 4196468 140729635338240 140360743902096 140360828843733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8765] ppid=8760 vsize=13987024 memory=678836 CPUtime=0.91 cores=1,3,5,7
/proc/8762/task/8765/stat : 8765 (java) S 8760 8760 8036 0 -1 1077944384 1319 0 0 0 79 12 0 0 20 0 15 0 154162644 14322712576 169316 33554432000 4194304 4196468 140729635338240 140360742849296 140360828843733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8766] ppid=8760 vsize=13987024 memory=677264 CPUtime=0.91 cores=1,3,5,7
/proc/8762/task/8766/stat : 8766 (java) S 8760 8760 8036 0 -1 1077944384 1444 0 0 0 79 12 0 0 20 0 15 0 154162644 14322712576 169316 33554432000 4194304 4196468 140729635338240 140360741797008 140360828843733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8767] ppid=8760 vsize=13987024 memory=1380 CPUtime=0.92 cores=1,3,5,7
/proc/8762/task/8767/stat : 8767 (java) S 8760 8760 8036 0 -1 1077944384 2421 0 0 0 79 13 0 0 20 0 15 0 154162644 14322712576 169316 33554432000 4194304 4196468 140729635338240 140360740744208 140360828843733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8768] ppid=8760 vsize=13987024 memory=2448 CPUtime=0.03 cores=1,3,5,7
/proc/8762/task/8768/stat : 8768 (java) S 8760 8760 8036 0 -1 1077944384 1370 0 0 0 2 1 0 0 20 0 15 0 154162646 14322712576 169316 33554432000 4194304 4196468 140729635338240 140360168855664 140360828844674 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8769] ppid=8760 vsize=13987024 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/8762/task/8769/stat : 8769 (java) S 8760 8760 8036 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 154162646 14322712576 169316 33554432000 4194304 4196468 140729635338240 140360167801632 140360828843733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8770] ppid=8760 vsize=13987024 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8762/task/8770/stat : 8770 (java) S 8760 8760 8036 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 154162646 14322712576 169316 33554432000 4194304 4196468 140729635338240 140360166749296 140360828843733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8771] ppid=8760 vsize=13987024 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8762/task/8771/stat : 8771 (java) S 8760 8760 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154162649 14322712576 169316 33554432000 4194304 4196468 140729635338240 140360165697616 140360828852123 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8772] ppid=8760 vsize=13987024 memory=3 CPUtime=4.74 cores=1,3,5,7
/proc/8762/task/8772/stat : 8772 (java) S 8760 8760 8036 0 -1 1077944384 20501 0 0 0 473 1 0 0 20 0 15 0 154162649 14322712576 169316 33554432000 4194304 4196468 140729635338240 140360164645488 140360828844674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8773] ppid=8760 vsize=13987024 memory=0 CPUtime=5.14 cores=1,3,5,7
/proc/8762/task/8773/stat : 8773 (java) S 8760 8760 8036 0 -1 1077944384 18691 0 0 0 512 2 0 0 20 0 15 0 154162649 14322712576 169316 33554432000 4194304 4196468 140729635338240 140360163592688 140360828844674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8774] ppid=8760 vsize=13987024 memory=8112282956445269571 CPUtime=0.9 cores=1,3,5,7
/proc/8762/task/8774/stat : 8774 (java) S 8760 8760 8036 0 -1 1077944384 10016 0 0 0 88 2 0 0 20 0 15 0 154162649 14322712576 169316 33554432000 4194304 4196468 140729635338240 140360162540400 140360828844674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8775] ppid=8760 vsize=13987024 memory=12132 CPUtime=0 cores=1,3,5,7
/proc/8762/task/8775/stat : 8775 (java) S 8760 8760 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154162649 14322712576 169316 33554432000 4194304 4196468 140729635338240 140360161487840 140360828843733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8776] ppid=8760 vsize=13987024 memory=1440 CPUtime=0.07 cores=1,3,5,7
/proc/8762/task/8776/stat : 8776 (java) S 8760 8760 8036 0 -1 1077944384 192 0 0 0 3 4 0 0 20 0 15 0 154162649 14322712576 169316 33554432000 4194304 4196468 140729635338240 140360160434608 140360828844674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
Current children cumulated CPU time: 175.89 s
Current children cumulated vsize: 13996536 KiB
Current children cumulated memory: 678644 KiB
[startup+222.301 s]
/proc/loadavg: 1.38 1.52 1.62 3/217 8945
/proc/meminfo: memFree=25793208/32770624 swapFree=67108860/67108860
[pid=8760] ppid=8757 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8760/stat : 8760 (xcsp3-exec) S 8757 8760 8036 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154162643 9740288 345 33554432000 4194304 5098028 140732256918640 140732256916744 140473310757500 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38752256 140732256920692 140732256920896 140732256920896 140732256923627 0
/proc/8760/statm: 2378 345 289 221 0 87 0
[pid=8762] ppid=8760 vsize=13987024 memory=580084 CPUtime=238.01 cores=1,3,5,7
/proc/8762/stat : 8762 (java) S 8760 8760 8036 0 -1 1077944320 84341 0 0 0 23720 81 0 0 20 0 15 0 154162643 14322712576 145021 33554432000 4194304 4196468 140729635338240 140729635320784 140360828833527 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
/proc/8762/statm: 3496756 145021 3281 1 0 3483990 0
[pid=8762/tid=8763] ppid=8760 vsize=13987024 memory=580084 CPUtime=220.42 cores=1,3,5,7
/proc/8762/task/8763/stat : 8763 (java) R 8760 8760 8036 0 -1 4202560 20093 0 0 0 22032 10 0 0 20 0 15 0 154162643 14322712576 145021 33554432000 4194304 4196468 140729635338240 140360833072896 140360430276598 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8764] ppid=8760 vsize=13987024 memory=1380 CPUtime=1.62 cores=1,3,5,7
/proc/8762/task/8764/stat : 8764 (java) S 8760 8760 8036 0 -1 1077944384 2132 0 0 0 148 14 0 0 20 0 15 0 154162644 14322712576 145021 33554432000 4194304 4196468 140729635338240 140360743902096 140360828843733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8765] ppid=8760 vsize=13987024 memory=1380 CPUtime=1.62 cores=1,3,5,7
/proc/8762/task/8765/stat : 8765 (java) S 8760 8760 8036 0 -1 1077944384 1947 0 0 0 148 14 0 0 20 0 15 0 154162644 14322712576 145021 33554432000 4194304 4196468 140729635338240 140360742849296 140360828843733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8766] ppid=8760 vsize=13987024 memory=569844 CPUtime=1.6 cores=1,3,5,7
/proc/8762/task/8766/stat : 8766 (java) S 8760 8760 8036 0 -1 1077944384 1902 0 0 0 146 14 0 0 20 0 15 0 154162644 14322712576 145021 33554432000 4194304 4196468 140729635338240 140360741797008 140360828843733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8767] ppid=8760 vsize=13987024 memory=1224 CPUtime=1.63 cores=1,3,5,7
/proc/8762/task/8767/stat : 8767 (java) S 8760 8760 8036 0 -1 1077944384 3006 0 0 0 148 15 0 0 20 0 15 0 154162644 14322712576 145021 33554432000 4194304 4196468 140729635338240 140360740744208 140360828843733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8768] ppid=8760 vsize=13987024 memory=580084 CPUtime=0.15 cores=1,3,5,7
/proc/8762/task/8768/stat : 8768 (java) S 8760 8760 8036 0 -1 1077944384 4301 0 0 0 14 1 0 0 20 0 15 0 154162646 14322712576 145021 33554432000 4194304 4196468 140729635338240 140360168855664 140360828844674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8769] ppid=8760 vsize=13987024 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8762/task/8769/stat : 8769 (java) S 8760 8760 8036 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 154162646 14322712576 145021 33554432000 4194304 4196468 140729635338240 140360167801632 140360828843733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8770] ppid=8760 vsize=13987024 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8762/task/8770/stat : 8770 (java) S 8760 8760 8036 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 154162646 14322712576 145021 33554432000 4194304 4196468 140729635338240 140360166749296 140360828843733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8771] ppid=8760 vsize=13987024 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8762/task/8771/stat : 8771 (java) S 8760 8760 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154162649 14322712576 145021 33554432000 4194304 4196468 140729635338240 140360165697616 140360828852123 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8772] ppid=8760 vsize=13987024 memory=42528 CPUtime=4.74 cores=1,3,5,7
/proc/8762/task/8772/stat : 8772 (java) S 8760 8760 8036 0 -1 1077944384 20697 0 0 0 473 1 0 0 20 0 15 0 154162649 14322712576 145021 33554432000 4194304 4196468 140729635338240 140360164645488 140360828844674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8773] ppid=8760 vsize=13987024 memory=1292 CPUtime=5.14 cores=1,3,5,7
/proc/8762/task/8773/stat : 8773 (java) S 8760 8760 8036 0 -1 1077944384 18694 0 0 0 512 2 0 0 20 0 15 0 154162649 14322712576 145021 33554432000 4194304 4196468 140729635338240 140360163592688 140360828844674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8774] ppid=8760 vsize=13987024 memory=4100 CPUtime=0.9 cores=1,3,5,7
/proc/8762/task/8774/stat : 8774 (java) S 8760 8760 8036 0 -1 1077944384 10019 0 0 0 88 2 0 0 20 0 15 0 154162649 14322712576 145021 33554432000 4194304 4196468 140729635338240 140360162540400 140360828844674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8775] ppid=8760 vsize=13987024 memory=42528 CPUtime=0 cores=1,3,5,7
/proc/8762/task/8775/stat : 8775 (java) S 8760 8760 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154162649 14322712576 145021 33554432000 4194304 4196468 140729635338240 140360161487840 140360828843733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8776] ppid=8760 vsize=13987024 memory=1380 CPUtime=0.1 cores=1,3,5,7
/proc/8762/task/8776/stat : 8776 (java) S 8760 8760 8036 0 -1 1077944384 206 0 0 0 5 5 0 0 20 0 15 0 154162649 14322712576 145021 33554432000 4194304 4196468 140729635338240 140360160434608 140360828844674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
Current children cumulated CPU time: 238.01 s
Current children cumulated vsize: 13996536 KiB
Current children cumulated memory: 581464 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.21 1.48 1.60 3/217 8945
/proc/meminfo: memFree=25701188/32770624 swapFree=67108860/67108860
[pid=8760] ppid=8757 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8760/stat : 8760 (xcsp3-exec) S 8757 8760 8036 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154162643 9740288 345 33554432000 4194304 5098028 140732256918640 140732256916744 140473310757500 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38752256 140732256920692 140732256920896 140732256920896 140732256923627 0
/proc/8760/statm: 2378 345 289 221 0 87 0
[pid=8762] ppid=8760 vsize=13987024 memory=676908 CPUtime=256.63 cores=1,3,5,7
/proc/8762/stat : 8762 (java) S 8760 8760 8036 0 -1 1077944320 89068 0 0 0 25573 90 0 0 20 0 15 0 154162643 14322712576 169227 33554432000 4194304 4196468 140729635338240 140729635320784 140360828833527 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
/proc/8762/statm: 3496756 169227 3282 1 0 3483990 0
[pid=8762/tid=8763] ppid=8760 vsize=13987024 memory=8112282956445269571 CPUtime=237.81 cores=1,3,5,7
/proc/8762/task/8763/stat : 8763 (java) R 8760 8760 8036 0 -1 4202560 20354 0 0 0 23770 11 0 0 20 0 15 0 154162643 14322712576 169227 33554432000 4194304 4196468 140729635338240 140360833073216 140360430276155 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8764] ppid=8760 vsize=13987024 memory=-7003737579269690708 CPUtime=1.91 cores=1,3,5,7
/proc/8762/task/8764/stat : 8764 (java) S 8760 8760 8036 0 -1 1077944384 2287 0 0 0 175 16 0 0 20 0 15 0 154162644 14322712576 169227 33554432000 4194304 4196468 140729635338240 140360743902096 140360828843733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8765] ppid=8760 vsize=13987024 memory=648120 CPUtime=1.93 cores=1,3,5,7
/proc/8762/task/8765/stat : 8765 (java) S 8760 8760 8036 0 -1 1077944384 2154 0 0 0 177 16 0 0 20 0 15 0 154162644 14322712576 169227 33554432000 4194304 4196468 140729635338240 140360742849296 140360828843733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8766] ppid=8760 vsize=13987024 memory=5796 CPUtime=1.91 cores=1,3,5,7
/proc/8762/task/8766/stat : 8766 (java) S 8760 8760 8036 0 -1 1077944384 2119 0 0 0 175 16 0 0 20 0 15 0 154162644 14322712576 169227 33554432000 4194304 4196468 140729635338240 140360741797008 140360828843733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8767] ppid=8760 vsize=13987024 memory=644 CPUtime=1.94 cores=1,3,5,7
/proc/8762/task/8767/stat : 8767 (java) S 8760 8760 8036 0 -1 1077944384 3310 0 0 0 177 17 0 0 20 0 15 0 154162644 14322712576 169227 33554432000 4194304 4196468 140729635338240 140360740744208 140360828843733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8768] ppid=8760 vsize=13987024 memory=960 CPUtime=0.16 cores=1,3,5,7
/proc/8762/task/8768/stat : 8768 (java) S 8760 8760 8036 0 -1 1077944384 7868 0 0 0 15 1 0 0 20 0 15 0 154162646 14322712576 169227 33554432000 4194304 4196468 140729635338240 140360168855664 140360828844674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8769] ppid=8760 vsize=13987024 memory=4472 CPUtime=0 cores=1,3,5,7
/proc/8762/task/8769/stat : 8769 (java) S 8760 8760 8036 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 154162646 14322712576 169227 33554432000 4194304 4196468 140729635338240 140360167801632 140360828843733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8770] ppid=8760 vsize=13987024 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/8762/task/8770/stat : 8770 (java) S 8760 8760 8036 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 154162646 14322712576 169227 33554432000 4194304 4196468 140729635338240 140360166749296 140360828843733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8771] ppid=8760 vsize=13987024 memory=932 CPUtime=0 cores=1,3,5,7
/proc/8762/task/8771/stat : 8771 (java) S 8760 8760 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154162649 14322712576 169227 33554432000 4194304 4196468 140729635338240 140360165697616 140360828852123 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8772] ppid=8760 vsize=13987024 memory=1380 CPUtime=4.74 cores=1,3,5,7
/proc/8762/task/8772/stat : 8772 (java) S 8760 8760 8036 0 -1 1077944384 20697 0 0 0 473 1 0 0 20 0 15 0 154162649 14322712576 169227 33554432000 4194304 4196468 140729635338240 140360164645488 140360828844674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8773] ppid=8760 vsize=13987024 memory=1380 CPUtime=5.14 cores=1,3,5,7
/proc/8762/task/8773/stat : 8773 (java) S 8760 8760 8036 0 -1 1077944384 18695 0 0 0 512 2 0 0 20 0 15 0 154162649 14322712576 169227 33554432000 4194304 4196468 140729635338240 140360163592688 140360828844674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8774] ppid=8760 vsize=13987024 memory=42528 CPUtime=0.9 cores=1,3,5,7
/proc/8762/task/8774/stat : 8774 (java) S 8760 8760 8036 0 -1 1077944384 10019 0 0 0 88 2 0 0 20 0 15 0 154162649 14322712576 169227 33554432000 4194304 4196468 140729635338240 140360162540400 140360828844674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8775] ppid=8760 vsize=13987024 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/8762/task/8775/stat : 8775 (java) S 8760 8760 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154162649 14322712576 169227 33554432000 4194304 4196468 140729635338240 140360161487840 140360828843733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
[pid=8762/tid=8776] ppid=8760 vsize=13987024 memory=2448 CPUtime=0.11 cores=1,3,5,7
/proc/8762/task/8776/stat : 8776 (java) S 8760 8760 8036 0 -1 1077944384 221 0 0 0 5 6 0 0 20 0 15 0 154162649 14322712576 169227 33554432000 4194304 4196468 140729635338240 140360160434608 140360828844674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31666176 140729635341469 140729635341644 140729635341644 140729635344335 0
Current children cumulated CPU time: 256.63 s
Current children cumulated vsize: 13996536 KiB
Current children cumulated memory: 678288 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 8760 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002089 s, system=0 s
[startup+240.025 s]
# the end of solver process 8762 was just reported to runsolver
# cumulated CPU time of all completed processes: user=255.752 s, system=0.908565 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 240.025
CPU time (s): 256.661
CPU user time (s): 255.752
CPU system time (s): 0.908565
CPU usage (%): 106.931
Max. virtual memory (cumulated for all children) (KiB): 13996536
Max. memory (cumulated for all children) (KiB): 746620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 255.752
system time used= 0.908565
maximum resident set size= 747408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90038
page faults= 0
swaps= 0
block input operations= 0
block output operations= 384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9616
involuntary context switches= 341
# summary of solver processes directly reported to runsolver:
# pid: 8760,8762
# total CPU time (s): 256.661
# total CPU user time (s): 255.752
# total CPU system time (s): 0.908565
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.4284 second user time and 2.4728 second system time
The end
Begin job on node113 at 2017-08-20 08:18:12 IDJOB=4284544 IDBENCH=115913 IDSOLVER=2680 FILE ID=node113/4284544-1503210752 RUNJOBID= node113-1503209106-8068 PBS_JOBID= 20630874 Free space on /tmp= 61588 MiB SOLVER NAME= choco-solver 5a BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-29.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-4284544-1503210752/watcher-4284544-1503210752 -o /tmp/evaluation-result-4284544-1503210752/solver-4284544-1503210752 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node113-1503209106-8068 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1881639751 HOME/instance-4284544-1503210752.xml TIME LIMIT= 264 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1822b9c415adc1a9dd10b23e46d08c48 RANDOM SEED=1881639751 node113.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.89 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.89 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.89 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.89 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: 26244624 kB MemAvailable: 31611340 kB Buffers: 257400 kB Cached: 5398920 kB SwapCached: 0 kB Active: 1671756 kB Inactive: 4400784 kB Active(anon): 366348 kB Inactive(anon): 85940 kB Active(file): 1305408 kB Inactive(file): 4314844 kB Unevictable: 7460 kB Mlocked: 7460 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7880 kB Writeback: 0 kB AnonPages: 427636 kB Mapped: 63844 kB Shmem: 33416 kB Slab: 152140 kB SReclaimable: 124596 kB SUnreclaim: 27544 kB KernelStack: 3504 kB PageTables: 6188 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1270956 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 274432 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 61580 MiB End job on node113 at 2017-08-20 08:22:12