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.7b seq (e747e1e) | SAT (TO) | 367 | 2520.03 | 2508.92 |
| Name | StillLife/ StillLife-wastage-30_c18.xml |
| MD5SUM | bc7ca4ef6af3dcde4f5a5d75f0a5d481 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 466 |
| Best CPU time to get the best result obtained on this benchmark | 1279.53 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2081 |
| Number of constraints | 1208 |
| Number of domains | 4 |
| Minimum domain size | 2 |
| Maximum domain size | 2049 |
| Distribution of domain sizes | [{"size":2,"count":1024},{"size":3,"count":1024},{"size":901,"count":1},{"size":2049,"count":32}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 33 |
| Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":1021},{"degree":3,"count":35},{"degree":4,"count":120},{"degree":8,"count":116},{"degree":9,"count":784},{"degree":33,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 34 |
| Distribution of constraint arities | [{"arity":2,"count":152},{"arity":3,"count":120},{"arity":10,"count":900},{"arity":32,"count":4},{"arity":33,"count":1},{"arity":34,"count":31}] |
| Number of extensional constraints | 1020 |
| Number of intensional constraints | 151 |
| Distribution of constraint types | [{"type":"extension","count":1020},{"type":"intension","count":151},{"type":"sum","count":33},{"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-4306493-1534040134.xml" -tl '2520s' -p 1 0.12/0.17 c Choco e747e1e 0.12/0.18 c [HOME/instance-4306493-1534040134.xml, -tl, 2520s, -p, 1] 0.33/0.22 c simple solver 0.33/0.30 c parse instance... 2.57/1.03 c solve instance... 23.18/18.74 o 360 23.18/18.76 o 361 23.18/18.78 o 362 23.38/18.88 o 364 213.68/207.51 o 365 213.68/207.55 o 366 213.78/207.63 o 367 2520.00/2508.90 s SATISFIABLE 2520.00/2508.90 v <instantiation> 2520.00/2508.90 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[0][31] 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[1][31] 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[2][31] 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[3][31] 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[4][31] 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[5][31] 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[6][31] 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[7][31] 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[8][31] 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[9][31] 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[10][31] 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[11][31] 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[12][31] 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[13][31] 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[14][31] 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[15][31] 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[16][31] 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[17][31] 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[18][31] 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[19][31] 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[20][31] 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[21][31] 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[22][31] 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[23][31] 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[24][31] 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[25][31] 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[26][31] 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[27][31] 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[28][31] 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[29][31] 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] x[30][31] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] 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[0][31] 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[1][31] 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[2][31] 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[3][31] 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[4][31] 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[5][31] 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[6][31] 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[7][31] 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[8][31] 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[9][31] 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[10][31] 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[11][31] 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[12][31] 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[13][31] 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[14][31] 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[15][31] 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[16][31] 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[17][31] 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[18][31] 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[19][31] 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[20][31] 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[21][31] 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[22][31] 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[23][31] 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[24][31] 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[25][31] 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[26][31] 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[27][31] 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[28][31] 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[29][31] 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] w[30][31] w[31][0] w[31][1] w[31][2] w[31][3] w[31][4] w[31][5] w[31][6] w[31][7] w[31][8] w[31][9] w[31][10] w[31][11] w[31][12] w[31][13] w[31][14] w[31][15] w[31][16] w[31][17] w[31][18] w[31][19] w[31][20] w[31][21] w[31][22] w[31][23] w[31][24] w[31][25] w[31][26] w[31][27] w[31][28] w[31][29] w[31][30] w[31][31] 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] ws[31] z </list> 2520.00/2508.90 v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 1 1 0 0 1 0 1 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 1 1 1 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 1 0 0 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 1 0 0 1 1 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 1 1 0 1 1 0 0 0 1 0 0 1 0 1 0 0 1 1 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 1 0 1 1 0 0 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 1 1 1 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 1 1 1 0 1 1 1 1 0 0 1 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 0 1 0 1 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 1 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 1 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 1 0 0 0 0 1 1 1 1 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 1 0 1 1 0 0 1 1 1 1 0 0 1 0 1 0 1 1 0 0 0 0 0 0 1 1 1 1 1 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 1 1 1 1 0 0 1 0 1 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 1 1 0 0 1 1 1 1 1 0 1 0 1 1 0 1 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 1 1 1 1 0 0 0 0 0 0 1 1 0 1 0 1 1 0 1 0 1 1 0 1 0 1 1 1 1 1 0 0 1 0 0 0 1 1 1 1 1 1 0 1 0 1 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 1 0 1 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 1 0 1 1 0 0 0 1 1 0 0 1 0 1 1 1 1 1 1 1 1 1 0 1 1 0 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 0 1 1 1 1 1 0 1 1 1 0 1 0 0 1 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 1 0 1 0 0 1 1 0 1 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 1 1 1 1 0 0 1 0 0 1 1 1 0 0 1 1 0 1 0 1 1 1 0 0 1 0 0 1 1 1 0 1 2 2 2 1 1 0 0 0 1 1 2 1 1 0 0 0 0 0 1 0 2 1 0 0 0 0 1 1 2 2 1 1 2 2 2 2 0 0 0 1 0 1 2 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 2 2 1 1 1 2 1 1 2 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 2 1 1 0 0 1 0 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 1 1 1 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 1 1 1 0 0 0 0 0 2 1 1 0 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 0 0 1 1 2 1 2 1 1 0 0 1 1 1 2 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 2 1 0 1 2 1 1 2 0 0 0 1 2 2 2 1 1 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 1 1 1 0 1 1 2 0 0 1 1 2 1 1 0 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 2 1 1 1 0 0 2 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 1 1 1 0 1 2 1 1 2 0 0 1 1 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 1 1 2 1 0 1 1 1 1 1 1 0 1 2 1 2 0 0 1 0 2 1 1 0 0 0 0 0 2 0 0 0 0 1 2 1 1 0 1 1 1 2 1 1 2 1 2 0 1 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 1 1 2 1 1 2 1 1 2 2 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 2 2 1 1 1 2 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 2 1 0 1 0 0 0 1 1 2 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 0 1 0 2 0 0 0 1 0 1 2 2 1 1 0 1 0 0 0 0 0 1 0 0 0 2 2 0 0 0 0 1 2 1 1 2 1 1 0 0 0 1 2 1 2 0 1 0 1 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 2 1 1 0 1 0 0 0 0 1 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 2 0 1 1 1 1 0 0 0 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 2 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 2 2 0 0 0 1 0 1 2 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 1 1 1 0 0 1 1 0 2 0 0 1 0 0 0 0 0 1 1 0 0 2 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 1 1 0 0 1 0 1 0 0 0 18 44 67 81 87 100 113 122 141 162 184 200 218 241 265 283 291 299 315 333 354 368 378 388 393 397 407 418 435 439 441 452 367 </values> 2520.00/2508.90 v </instantiation> 2520.00/2508.90 c Unexpected resolution interruption!
OK 367
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 (1972 MiB free)
memory of node 1: 16384 MiB (3333 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306493-1534040134/watcher-4306493-1534040134 -o /tmp/evaluation-result-4306493-1534040134/solver-4306493-1534040134 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534040134-26256 --watchdog 2580 HOME/xcsp3-exec -seed 1563116664 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306493-1534040134.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=26282, runsolver pid=26277
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 1.92 2.00 2.04 4/217 26317
/proc/meminfo: memFree=5398504/32770624 swapFree=67108792/67108860
[pid=26282] ppid=26277 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/26282/stat : 26282 (xcsp3-exec) S 26277 26282 24759 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 221576673 115843072 363 33554432000 4194304 5098028 140724435726896 140724435725000 140266561802876 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 21389312 140724435731514 140724435731716 140724435731716 140724435734474 0
/proc/26282/statm: 28282 363 305 221 0 87 0
[pid=26288] ppid=26282 vsize=14082940 memory=28792 CPUtime=0.12 cores=0,2,4,6
/proc/26288/stat : 26288 (java) S 26282 26282 24759 0 -1 1077944320 5557 0 0 0 12 0 0 0 20 0 15 0 221576673 14420930560 7198 33554432000 4194304 4196468 140731940788256 140731940770800 139709252521719 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
/proc/26288/statm: 3520735 7198 3027 1 0 3483012 0
[pid=26288/tid=26290] ppid=26282 vsize=14082940 memory=5854518564242424225 CPUtime=0.09 cores=0,2,4,6
/proc/26288/task/26290/stat : 26290 (java) R 26282 26282 24759 0 -1 4202560 3569 0 0 0 9 0 0 0 20 0 15 0 221576674 14420930560 7198 33554432000 4194304 4196468 140731940788256 139709256753408 139708860496532 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26292] ppid=26282 vsize=14082940 memory=3472468774635574480 CPUtime=0 cores=0,2,4,6
/proc/26288/task/26292/stat : 26292 (java) S 26282 26282 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 221576674 14420930560 7198 33554432000 4194304 4196468 140731940788256 139709182610576 139709252531925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26293] ppid=26282 vsize=14082940 memory=140645740422784 CPUtime=0 cores=0,2,4,6
/proc/26288/task/26293/stat : 26293 (java) S 26282 26282 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221576674 14420930560 7198 33554432000 4194304 4196468 140731940788256 139709181557776 139709252531925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26294] ppid=26282 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26288/task/26294/stat : 26294 (java) S 26282 26282 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221576674 14420930560 7198 33554432000 4194304 4196468 140731940788256 139709180504976 139709252531925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26295] ppid=26282 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26288/task/26295/stat : 26295 (java) S 26282 26282 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221576674 14420930560 7198 33554432000 4194304 4196468 140731940788256 139708845439760 139709252531925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26300] ppid=26282 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26288/task/26300/stat : 26300 (java) S 26282 26282 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 221576676 14420930560 7198 33554432000 4194304 4196468 140731940788256 139708164995440 139709252532866 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26302] ppid=26282 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26288/task/26302/stat : 26302 (java) S 26282 26282 24759 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 221576676 14420930560 7198 33554432000 4194304 4196468 140731940788256 139708163941408 139709252531925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26303] ppid=26282 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26288/task/26303/stat : 26303 (java) S 26282 26282 24759 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 221576676 14420930560 7198 33554432000 4194304 4196468 140731940788256 139708162888560 139709252531925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26306] ppid=26282 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26288/task/26306/stat : 26306 (java) S 26282 26282 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221576679 14420930560 7198 33554432000 4194304 4196468 140731940788256 139708161836880 139709252540315 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26307] ppid=26282 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26288/task/26307/stat : 26307 (java) R 26282 26282 24759 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 15 0 221576679 14420930560 7198 33554432000 4194304 4196468 140731940788256 139708160785264 139709252532866 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26308] ppid=26282 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26288/task/26308/stat : 26308 (java) S 26282 26282 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221576679 14420930560 7198 33554432000 4194304 4196468 140731940788256 139708159732464 139709252532866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26309] ppid=26282 vsize=14082940 memory=140645740422784 CPUtime=0.01 cores=0,2,4,6
/proc/26288/task/26309/stat : 26309 (java) R 26282 26282 24759 0 -1 4202560 262 0 0 0 1 0 0 0 20 0 15 0 221576679 14420930560 7198 33554432000 4194304 4196468 140731940788256 139708158679664 139709252533654 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26314] ppid=26282 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26288/task/26314/stat : 26314 (java) S 26282 26282 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221576679 14420930560 7198 33554432000 4194304 4196468 140731940788256 139708157627104 139709252531925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26316] ppid=26282 vsize=14082940 memory=140645740422784 CPUtime=0 cores=0,2,4,6
/proc/26288/task/26316/stat : 26316 (java) S 26282 26282 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221576679 14420930560 7198 33554432000 4194304 4196468 140731940788256 139708156574384 139709252532866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30244 KiB
[startup+0.210669 s]*
/proc/loadavg: 1.92 2.00 2.04 3/217 26317
/proc/meminfo: memFree=5375188/32770624 swapFree=67108792/67108860
[pid=26282] ppid=26277 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/26282/stat : 26282 (xcsp3-exec) S 26277 26282 24759 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 221576673 115843072 363 33554432000 4194304 5098028 140724435726896 140724435725000 140266561802876 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 21389312 140724435731514 140724435731716 140724435731716 140724435734474 0
/proc/26282/statm: 28282 363 305 221 0 87 0
[pid=26288] ppid=26282 vsize=14082940 memory=41216 CPUtime=0.33 cores=0,2,4,6
/proc/26288/stat : 26288 (java) S 26282 26282 24759 0 -1 1077944320 8305 0 0 0 31 2 0 0 20 0 15 0 221576673 14420930560 10304 33554432000 4194304 4196468 140731940788256 140731940770800 139709252521719 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
/proc/26288/statm: 3520735 10304 3197 1 0 3483012 0
[pid=26288/tid=26290] ppid=26282 vsize=14082940 memory=5854518564242424225 CPUtime=0.19 cores=0,2,4,6
/proc/26288/task/26290/stat : 26290 (java) R 26282 26282 24759 0 -1 4202560 5401 0 0 0 18 1 0 0 20 0 15 0 221576674 14420930560 10304 33554432000 4194304 4196468 140731940788256 139709256755184 139709230543921 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26292] ppid=26282 vsize=14082940 memory=3472468774635574480 CPUtime=0 cores=0,2,4,6
/proc/26288/task/26292/stat : 26292 (java) S 26282 26282 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 221576674 14420930560 10304 33554432000 4194304 4196468 140731940788256 139709182610576 139709252531925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26293] ppid=26282 vsize=14082940 memory=140645740422784 CPUtime=0 cores=0,2,4,6
/proc/26288/task/26293/stat : 26293 (java) S 26282 26282 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221576674 14420930560 10304 33554432000 4194304 4196468 140731940788256 139709181557776 139709252531925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26294] ppid=26282 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26288/task/26294/stat : 26294 (java) S 26282 26282 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221576674 14420930560 10304 33554432000 4194304 4196468 140731940788256 139709180504976 139709252531925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26295] ppid=26282 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26288/task/26295/stat : 26295 (java) S 26282 26282 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221576674 14420930560 10304 33554432000 4194304 4196468 140731940788256 139708845439760 139709252531925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26300] ppid=26282 vsize=14082940 memory=140645740422784 CPUtime=0 cores=0,2,4,6
/proc/26288/task/26300/stat : 26300 (java) S 26282 26282 24759 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 221576676 14420930560 10304 33554432000 4194304 4196468 140731940788256 139708164995440 139709252532866 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26302] ppid=26282 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26288/task/26302/stat : 26302 (java) S 26282 26282 24759 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 221576676 14420930560 10304 33554432000 4194304 4196468 140731940788256 139708163941408 139709252531925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26303] ppid=26282 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26288/task/26303/stat : 26303 (java) S 26282 26282 24759 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 221576676 14420930560 10304 33554432000 4194304 4196468 140731940788256 139708162888560 139709252531925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26306] ppid=26282 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26288/task/26306/stat : 26306 (java) S 26282 26282 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221576679 14420930560 10304 33554432000 4194304 4196468 140731940788256 139708161836880 139709252540315 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26307] ppid=26282 vsize=14082940 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/26288/task/26307/stat : 26307 (java) S 26282 26282 24759 0 -1 1077944384 742 0 0 0 2 0 0 0 20 0 15 0 221576679 14420930560 10304 33554432000 4194304 4196468 140731940788256 139708160785264 139709252532866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26308] ppid=26282 vsize=14082940 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/26288/task/26308/stat : 26308 (java) S 26282 26282 24759 0 -1 1077944384 128 0 0 0 2 0 0 0 20 0 15 0 221576679 14420930560 10304 33554432000 4194304 4196468 140731940788256 139708159732464 139709252532866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26309] ppid=26282 vsize=14082940 memory=140645740422784 CPUtime=0.08 cores=0,2,4,6
/proc/26288/task/26309/stat : 26309 (java) R 26282 26282 24759 0 -1 4202560 727 0 0 0 8 0 0 0 20 0 15 0 221576679 14420930560 10304 33554432000 4194304 4196468 140731940788256 139708158679664 139709231657536 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26314] ppid=26282 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26288/task/26314/stat : 26314 (java) S 26282 26282 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221576679 14420930560 10304 33554432000 4194304 4196468 140731940788256 139708157627104 139709252531925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26316] ppid=26282 vsize=14082940 memory=140645740422784 CPUtime=0 cores=0,2,4,6
/proc/26288/task/26316/stat : 26316 (java) S 26282 26282 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221576679 14420930560 10304 33554432000 4194304 4196468 140731940788256 139708156574384 139709252532866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42668 KiB
[startup+0.310695 s]*
/proc/loadavg: 1.92 2.00 2.04 4/217 26317
/proc/meminfo: memFree=5362300/32770624 swapFree=67108792/67108860
[pid=26282] ppid=26277 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/26282/stat : 26282 (xcsp3-exec) S 26277 26282 24759 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 221576673 115843072 363 33554432000 4194304 5098028 140724435726896 140724435725000 140266561802876 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 21389312 140724435731514 140724435731716 140724435731716 140724435734474 0
/proc/26282/statm: 28282 363 305 221 0 87 0
[pid=26288] ppid=26282 vsize=14087196 memory=46856 CPUtime=0.47 cores=0,2,4,6
/proc/26288/stat : 26288 (java) S 26282 26282 24759 0 -1 1077944320 8901 0 0 0 45 2 0 0 20 0 15 0 221576673 14425288704 11714 33554432000 4194304 4196468 140731940788256 140731940770800 139709252521719 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
/proc/26288/statm: 3521799 11714 3252 1 0 3483012 0
[pid=26288/tid=26290] ppid=26282 vsize=14087196 memory=-6154281507066319201 CPUtime=0.28 cores=0,2,4,6
/proc/26288/task/26290/stat : 26290 (java) R 26282 26282 24759 0 -1 4202560 5928 0 0 0 26 2 0 0 20 0 15 0 221576674 14425288704 11714 33554432000 4194304 4196468 140731940788256 139709256758336 139709252533654 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26292] ppid=26282 vsize=14087196 memory=3472468774635574480 CPUtime=0 cores=0,2,4,6
/proc/26288/task/26292/stat : 26292 (java) S 26282 26282 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 221576674 14425288704 11714 33554432000 4194304 4196468 140731940788256 139709182610576 139709252531925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26293] ppid=26282 vsize=14087196 memory=140645740422784 CPUtime=0 cores=0,2,4,6
/proc/26288/task/26293/stat : 26293 (java) S 26282 26282 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221576674 14425288704 11714 33554432000 4194304 4196468 140731940788256 139709181557776 139709252531925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26294] ppid=26282 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26288/task/26294/stat : 26294 (java) S 26282 26282 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221576674 14425288704 11714 33554432000 4194304 4196468 140731940788256 139709180504976 139709252531925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26295] ppid=26282 vsize=14087196 memory=140645616461855 CPUtime=0 cores=0,2,4,6
/proc/26288/task/26295/stat : 26295 (java) S 26282 26282 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221576674 14425288704 11714 33554432000 4194304 4196468 140731940788256 139708845439760 139709252531925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26300] ppid=26282 vsize=14087196 memory=281291232898336 CPUtime=0 cores=0,2,4,6
/proc/26288/task/26300/stat : 26300 (java) S 26282 26282 24759 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 221576676 14425288704 11714 33554432000 4194304 4196468 140731940788256 139708164995440 139709252532866 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26302] ppid=26282 vsize=14087196 memory=140645616434191 CPUtime=0 cores=0,2,4,6
/proc/26288/task/26302/stat : 26302 (java) S 26282 26282 24759 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 221576676 14425288704 11714 33554432000 4194304 4196468 140731940788256 139708163941408 139709252531925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26303] ppid=26282 vsize=14087196 memory=281291356863872 CPUtime=0 cores=0,2,4,6
/proc/26288/task/26303/stat : 26303 (java) S 26282 26282 24759 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 221576676 14425288704 11714 33554432000 4194304 4196468 140731940788256 139708162888560 139709252531925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26306] ppid=26282 vsize=14087196 memory=140645616438799 CPUtime=0 cores=0,2,4,6
/proc/26288/task/26306/stat : 26306 (java) S 26282 26282 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221576679 14425288704 11714 33554432000 4194304 4196468 140731940788256 139708161836880 139709252540315 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26307] ppid=26282 vsize=14087196 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/26288/task/26307/stat : 26307 (java) S 26282 26282 24759 0 -1 1077944384 751 0 0 0 3 0 0 0 20 0 15 0 221576679 14425288704 11714 33554432000 4194304 4196468 140731940788256 139708160785264 139709252532866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26308] ppid=26282 vsize=14087196 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/26288/task/26308/stat : 26308 (java) S 26282 26282 24759 0 -1 1077944384 135 0 0 0 3 0 0 0 20 0 15 0 221576679 14425288704 11714 33554432000 4194304 4196468 140731940788256 139708159732464 139709252532866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26309] ppid=26282 vsize=14087196 memory=1408 CPUtime=0.11 cores=0,2,4,6
/proc/26288/task/26309/stat : 26309 (java) R 26282 26282 24759 0 -1 4202560 781 0 0 0 11 0 0 0 20 0 15 0 221576679 14425288704 11714 33554432000 4194304 4196468 140731940788256 139708158679664 139709252543066 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26314] ppid=26282 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26288/task/26314/stat : 26314 (java) S 26282 26282 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221576679 14425288704 11714 33554432000 4194304 4196468 140731940788256 139708157627104 139709252531925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26316] ppid=26282 vsize=14087196 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/26288/task/26316/stat : 26316 (java) S 26282 26282 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221576679 14425288704 11714 33554432000 4194304 4196468 140731940788256 139708156574384 139709252532866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 48308 KiB
[startup+0.70158 s]
/proc/loadavg: 1.92 2.00 2.04 9/217 26317
/proc/meminfo: memFree=5325052/32770624 swapFree=67108792/67108860
[pid=26282] ppid=26277 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/26282/stat : 26282 (xcsp3-exec) S 26277 26282 24759 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 221576673 115843072 363 33554432000 4194304 5098028 140724435726896 140724435725000 140266561802876 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 21389312 140724435731514 140724435731716 140724435731716 140724435734474 0
/proc/26282/statm: 28282 363 305 221 0 87 0
[pid=26288] ppid=26282 vsize=14089320 memory=90012 CPUtime=1.73 cores=0,2,4,6
/proc/26288/stat : 26288 (java) S 26282 26282 24759 0 -1 1077944320 12593 0 0 0 169 4 0 0 20 0 15 0 221576673 14427463680 22503 33554432000 4194304 4196468 140731940788256 140731940770800 139709252521719 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
/proc/26288/statm: 3522330 22503 3357 1 0 3483524 0
[pid=26288/tid=26290] ppid=26282 vsize=14089320 memory=748 CPUtime=0.65 cores=0,2,4,6
/proc/26288/task/26290/stat : 26290 (java) R 26282 26282 24759 0 -1 4202560 6950 0 0 0 63 2 0 0 20 0 15 0 221576674 14427463680 22503 33554432000 4194304 4196468 140731940788256 139709256750400 139708860600988 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26292] ppid=26282 vsize=14089320 memory=872 CPUtime=0 cores=0,2,4,6
/proc/26288/task/26292/stat : 26292 (java) S 26282 26282 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 221576674 14427463680 22503 33554432000 4194304 4196468 140731940788256 139709182610576 139709252531925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26293] ppid=26282 vsize=14089320 memory=1220 CPUtime=0 cores=0,2,4,6
/proc/26288/task/26293/stat : 26293 (java) S 26282 26282 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221576674 14427463680 22503 33554432000 4194304 4196468 140731940788256 139709181557776 139709252531925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26294] ppid=26282 vsize=14089320 memory=1108 CPUtime=0 cores=0,2,4,6
/proc/26288/task/26294/stat : 26294 (java) S 26282 26282 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221576674 14427463680 22503 33554432000 4194304 4196468 140731940788256 139709180504976 139709252531925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26295] ppid=26282 vsize=14089320 memory=15336 CPUtime=0 cores=0,2,4,6
/proc/26288/task/26295/stat : 26295 (java) S 26282 26282 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221576674 14427463680 22503 33554432000 4194304 4196468 140731940788256 139708845439760 139709252531925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26300] ppid=26282 vsize=14089320 memory=15840 CPUtime=0 cores=0,2,4,6
/proc/26288/task/26300/stat : 26300 (java) S 26282 26282 24759 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 221576676 14427463680 22503 33554432000 4194304 4196468 140731940788256 139708164995440 139709252532866 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26302] ppid=26282 vsize=14089320 memory=33972 CPUtime=0 cores=0,2,4,6
/proc/26288/task/26302/stat : 26302 (java) S 26282 26282 24759 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 221576676 14427463680 22503 33554432000 4194304 4196468 140731940788256 139708163941408 139709252531925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26303] ppid=26282 vsize=14089320 memory=3304 CPUtime=0 cores=0,2,4,6
/proc/26288/task/26303/stat : 26303 (java) S 26282 26282 24759 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 221576676 14427463680 22503 33554432000 4194304 4196468 140731940788256 139708162888560 139709252531925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26306] ppid=26282 vsize=14089320 memory=178 CPUtime=0 cores=0,2,4,6
/proc/26288/task/26306/stat : 26306 (java) S 26282 26282 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221576679 14427463680 22503 33554432000 4194304 4196468 140731940788256 139708161836880 139709252540315 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26307] ppid=26282 vsize=14089320 memory=6 CPUtime=0.29 cores=0,2,4,6
/proc/26288/task/26307/stat : 26307 (java) R 26282 26282 24759 0 -1 4202560 1439 0 0 0 29 0 0 0 20 0 15 0 221576679 14427463680 22503 33554432000 4194304 4196468 140731940788256 139708160778288 139709233157110 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26308] ppid=26282 vsize=14089320 memory=17452 CPUtime=0.36 cores=0,2,4,6
/proc/26288/task/26308/stat : 26308 (java) R 26282 26282 24759 0 -1 1077944384 1077 0 0 0 36 0 0 0 20 0 15 0 221576679 14427463680 22503 33554432000 4194304 4196468 140731940788256 139708159732592 139709252531925 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26309] ppid=26282 vsize=14089320 memory=593 CPUtime=0.4 cores=0,2,4,6
/proc/26288/task/26309/stat : 26309 (java) R 26282 26282 24759 0 -1 4202560 1818 0 0 0 40 0 0 0 20 0 15 0 221576679 14427463680 22503 33554432000 4194304 4196468 140731940788256 139708158674704 139709252535583 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26314] ppid=26282 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26288/task/26314/stat : 26314 (java) S 26282 26282 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221576679 14427463680 22503 33554432000 4194304 4196468 140731940788256 139708157627104 139709252531925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26316] ppid=26282 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26288/task/26316/stat : 26316 (java) S 26282 26282 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221576679 14427463680 22503 33554432000 4194304 4196468 140731940788256 139708156574384 139709252532866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
Current children cumulated CPU time: 1.73 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 91464 KiB
[startup+1.50663 s]
/proc/loadavg: 1.92 2.00 2.04 9/217 26317
/proc/meminfo: memFree=5225484/32770624 swapFree=67108792/67108860
[pid=26282] ppid=26277 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/26282/stat : 26282 (xcsp3-exec) S 26277 26282 24759 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 221576673 115843072 363 33554432000 4194304 5098028 140724435726896 140724435725000 140266561802876 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 21389312 140724435731514 140724435731716 140724435731716 140724435734474 0
/proc/26282/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/26288/task/26303/stat : 26303 (java) S 26282 26282 24759 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 221576676 14429560832 74473 33554432000 4194304 4196468 140731940788256 139708162888560 139709252531925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26306] ppid=26282 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/26288/task/26306/stat : 26306 (java) S 26282 26282 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221576679 14429560832 74473 33554432000 4194304 4196468 140731940788256 139708161836880 139709252540315 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26307] ppid=26282 vsize=14091368 memory=1264 CPUtime=2.92 cores=0,2,4,6
/proc/26288/task/26307/stat : 26307 (java) S 26282 26282 24759 0 -1 1077944384 18695 0 0 0 291 1 0 0 20 0 15 0 221576679 14429560832 74473 33554432000 4194304 4196468 140731940788256 139708160785264 139709252532866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26308] ppid=26282 vsize=14091368 memory=7076 CPUtime=2.58 cores=0,2,4,6
/proc/26288/task/26308/stat : 26308 (java) S 26282 26282 24759 0 -1 1077944384 15749 0 0 0 256 2 0 0 20 0 15 0 221576679 14429560832 74473 33554432000 4194304 4196468 140731940788256 139708159732464 139709252532866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26309] ppid=26282 vsize=14091368 memory=6791534058613427641 CPUtime=0.79 cores=0,2,4,6
/proc/26288/task/26309/stat : 26309 (java) S 26282 26282 24759 0 -1 1077944384 10570 0 0 0 78 1 0 0 20 0 15 0 221576679 14429560832 74473 33554432000 4194304 4196468 140731940788256 139708158679664 139709252532866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26314] ppid=26282 vsize=14091368 memory=1220 CPUtime=0 cores=0,2,4,6
/proc/26288/task/26314/stat : 26314 (java) S 26282 26282 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221576679 14429560832 74473 33554432000 4194304 4196468 140731940788256 139708157627104 139709252531925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26316] ppid=26282 vsize=14091368 memory=1452 CPUtime=0.71 cores=0,2,4,6
/proc/26288/task/26316/stat : 26316 (java) S 26282 26282 24759 0 -1 1077944384 819 0 0 0 35 36 0 0 20 0 15 0 221576679 14429560832 74473 33554432000 4194304 4196468 140731940788256 139708156574384 139709252532866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
Current children cumulated CPU time: 2453.35 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 299344 KiB
[startup+2502.3 s]
/proc/loadavg: 1.77 1.76 1.77 3/217 26393
/proc/meminfo: memFree=204576/32770624 swapFree=67108792/67108860
[pid=26282] ppid=26277 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/26282/stat : 26282 (xcsp3-exec) S 26277 26282 24759 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 221576673 115843072 363 33554432000 4194304 5098028 140724435726896 140724435725000 140266561802876 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 21389312 140724435731514 140724435731716 140724435731716 140724435734474 0
/proc/26282/statm: 28282 363 305 221 0 87 0
[pid=26288] ppid=26282 vsize=14091368 memory=297968 CPUtime=2513.4 cores=0,2,4,6
/proc/26288/stat : 26288 (java) S 26282 26282 24759 0 -1 1077944320 138543 0 0 0 251226 114 0 0 20 0 15 0 221576673 14429560832 74492 33554432000 4194304 4196468 140731940788256 140731940770800 139709252521719 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
/proc/26288/statm: 3522842 74492 3420 1 0 3484036 0
[pid=26288/tid=26290] ppid=26282 vsize=14091368 memory=297968 CPUtime=2499.35 cores=0,2,4,6
/proc/26288/task/26290/stat : 26290 (java) R 26282 26282 24759 0 -1 4202560 48838 0 0 0 249923 12 0 0 20 0 15 0 221576674 14429560832 74492 33554432000 4194304 4196468 140731940788256 139709256761344 139708867684736 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26292] ppid=26282 vsize=14091368 memory=297968 CPUtime=1.56 cores=0,2,4,6
/proc/26288/task/26292/stat : 26292 (java) S 26282 26282 24759 0 -1 1077944384 10623 0 0 0 138 18 0 0 20 0 15 0 221576674 14429560832 74492 33554432000 4194304 4196468 140731940788256 139709182610576 139709252531925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26293] ppid=26282 vsize=14091368 memory=297968 CPUtime=1.56 cores=0,2,4,6
/proc/26288/task/26293/stat : 26293 (java) S 26282 26282 24759 0 -1 1077944384 10521 0 0 0 139 17 0 0 20 0 15 0 221576674 14429560832 74492 33554432000 4194304 4196468 140731940788256 139709181557776 139709252531925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26294] ppid=26282 vsize=14091368 memory=297968 CPUtime=1.56 cores=0,2,4,6
/proc/26288/task/26294/stat : 26294 (java) S 26282 26282 24759 0 -1 1077944384 8919 0 0 0 140 16 0 0 20 0 15 0 221576674 14429560832 74492 33554432000 4194304 4196468 140731940788256 139709180504976 139709252531925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26295] ppid=26282 vsize=14091368 memory=297968 CPUtime=1.56 cores=0,2,4,6
/proc/26288/task/26295/stat : 26295 (java) S 26282 26282 24759 0 -1 1077944384 8061 0 0 0 137 19 0 0 20 0 15 0 221576674 14429560832 74492 33554432000 4194304 4196468 140731940788256 139708845439760 139709252531925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26300] ppid=26282 vsize=14091368 memory=297968 CPUtime=0.72 cores=0,2,4,6
/proc/26288/task/26300/stat : 26300 (java) S 26282 26282 24759 0 -1 1077944384 4361 0 0 0 64 8 0 0 20 0 15 0 221576676 14429560832 74492 33554432000 4194304 4196468 140731940788256 139708164995440 139709252532866 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26302] ppid=26282 vsize=14091368 memory=297968 CPUtime=0 cores=0,2,4,6
/proc/26288/task/26302/stat : 26302 (java) S 26282 26282 24759 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 221576676 14429560832 74492 33554432000 4194304 4196468 140731940788256 139708163941472 139709252531925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26303] ppid=26282 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/26288/task/26303/stat : 26303 (java) S 26282 26282 24759 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 221576676 14429560832 74492 33554432000 4194304 4196468 140731940788256 139708162888560 139709252531925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26306] ppid=26282 vsize=14091368 memory=297968 CPUtime=0 cores=0,2,4,6
/proc/26288/task/26306/stat : 26306 (java) S 26282 26282 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221576679 14429560832 74492 33554432000 4194304 4196468 140731940788256 139708161836880 139709252540315 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26307] ppid=26282 vsize=14091368 memory=3892 CPUtime=2.92 cores=0,2,4,6
/proc/26288/task/26307/stat : 26307 (java) S 26282 26282 24759 0 -1 1077944384 18695 0 0 0 291 1 0 0 20 0 15 0 221576679 14429560832 74492 33554432000 4194304 4196468 140731940788256 139708160785264 139709252532866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26308] ppid=26282 vsize=14091368 memory=1452 CPUtime=2.58 cores=0,2,4,6
/proc/26288/task/26308/stat : 26308 (java) S 26282 26282 24759 0 -1 1077944384 15749 0 0 0 256 2 0 0 20 0 15 0 221576679 14429560832 74492 33554432000 4194304 4196468 140731940788256 139708159732464 139709252532866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26309] ppid=26282 vsize=14091368 memory=297968 CPUtime=0.79 cores=0,2,4,6
/proc/26288/task/26309/stat : 26309 (java) S 26282 26282 24759 0 -1 1077944384 10570 0 0 0 78 1 0 0 20 0 15 0 221576679 14429560832 74492 33554432000 4194304 4196468 140731940788256 139708158679664 139709252532866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26314] ppid=26282 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/26288/task/26314/stat : 26314 (java) S 26282 26282 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221576679 14429560832 74492 33554432000 4194304 4196468 140731940788256 139708157627104 139709252531925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26316] ppid=26282 vsize=14091368 memory=297968 CPUtime=0.72 cores=0,2,4,6
/proc/26288/task/26316/stat : 26316 (java) S 26282 26282 24759 0 -1 1077944384 838 0 0 0 35 37 0 0 20 0 15 0 221576679 14429560832 74492 33554432000 4194304 4196468 140731940788256 139708156574384 139709252532866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
Current children cumulated CPU time: 2513.4 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 299420 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2508.9 s]
/proc/loadavg: 1.79 1.76 1.77 5/217 26471
/proc/meminfo: memFree=8981552/32770624 swapFree=67108792/67108860
[pid=26282] ppid=26277 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/26282/stat : 26282 (xcsp3-exec) S 26277 26282 24759 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 221576673 115843072 363 33554432000 4194304 5098028 140724435726896 140724435725000 140266561802876 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 21389312 140724435731514 140724435731716 140724435731716 140724435734474 0
/proc/26282/statm: 28282 363 305 221 0 87 0
[pid=26288] ppid=26282 vsize=14091368 memory=297968 CPUtime=2520 cores=0,2,4,6
/proc/26288/stat : 26288 (java) S 26282 26282 24759 0 -1 1077944320 138589 0 0 0 251886 114 0 0 20 0 15 0 221576673 14429560832 74492 33554432000 4194304 4196468 140731940788256 140731940770800 139709252521719 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
/proc/26288/statm: 3522842 74492 3420 1 0 3484036 0
[pid=26288/tid=26290] ppid=26282 vsize=14091368 memory=157 CPUtime=2505.93 cores=0,2,4,6
/proc/26288/task/26290/stat : 26290 (java) R 26282 26282 24759 0 -1 4202560 48881 0 0 0 250581 12 0 0 20 0 15 0 221576674 14429560832 74492 33554432000 4194304 4196468 140731940788256 139709256761200 139708866978251 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26292] ppid=26282 vsize=14091368 memory=253671975967978 CPUtime=1.56 cores=0,2,4,6
/proc/26288/task/26292/stat : 26292 (java) S 26282 26282 24759 0 -1 1077944384 10623 0 0 0 138 18 0 0 20 0 15 0 221576674 14429560832 74492 33554432000 4194304 4196468 140731940788256 139709182610576 139709252531925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26293] ppid=26282 vsize=14091368 memory=1264 CPUtime=1.57 cores=0,2,4,6
/proc/26288/task/26293/stat : 26293 (java) S 26282 26282 24759 0 -1 1077944384 10522 0 0 0 140 17 0 0 20 0 15 0 221576674 14429560832 74492 33554432000 4194304 4196468 140731940788256 139709181557776 139709252531925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26294] ppid=26282 vsize=14091368 memory=7076 CPUtime=1.56 cores=0,2,4,6
/proc/26288/task/26294/stat : 26294 (java) S 26282 26282 24759 0 -1 1077944384 8919 0 0 0 140 16 0 0 20 0 15 0 221576674 14429560832 74492 33554432000 4194304 4196468 140731940788256 139709180504976 139709252531925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26295] ppid=26282 vsize=14091368 memory=60264 CPUtime=1.56 cores=0,2,4,6
/proc/26288/task/26295/stat : 26295 (java) S 26282 26282 24759 0 -1 1077944384 8063 0 0 0 137 19 0 0 20 0 15 0 221576674 14429560832 74492 33554432000 4194304 4196468 140731940788256 139708845439760 139709252531925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26300] ppid=26282 vsize=14091368 memory=1220 CPUtime=0.72 cores=0,2,4,6
/proc/26288/task/26300/stat : 26300 (java) S 26282 26282 24759 0 -1 1077944384 4361 0 0 0 64 8 0 0 20 0 15 0 221576676 14429560832 74492 33554432000 4194304 4196468 140731940788256 139708164995440 139709252532866 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26302] ppid=26282 vsize=14091368 memory=281291234346656 CPUtime=0 cores=0,2,4,6
/proc/26288/task/26302/stat : 26302 (java) S 26282 26282 24759 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 221576676 14429560832 74492 33554432000 4194304 4196468 140731940788256 139708163941472 139709252531925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26303] ppid=26282 vsize=14091368 memory=8320808402720010548 CPUtime=0 cores=0,2,4,6
/proc/26288/task/26303/stat : 26303 (java) S 26282 26282 24759 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 221576676 14429560832 74492 33554432000 4194304 4196468 140731940788256 139708162888560 139709252531925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26306] ppid=26282 vsize=14091368 memory=3888 CPUtime=0 cores=0,2,4,6
/proc/26288/task/26306/stat : 26306 (java) S 26282 26282 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221576679 14429560832 74492 33554432000 4194304 4196468 140731940788256 139708161836880 139709252540315 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26307] ppid=26282 vsize=14091368 memory=8564 CPUtime=2.92 cores=0,2,4,6
/proc/26288/task/26307/stat : 26307 (java) S 26282 26282 24759 0 -1 1077944384 18695 0 0 0 291 1 0 0 20 0 15 0 221576679 14429560832 74492 33554432000 4194304 4196468 140731940788256 139708160785264 139709252532866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26308] ppid=26282 vsize=14091368 memory=60264 CPUtime=2.58 cores=0,2,4,6
/proc/26288/task/26308/stat : 26308 (java) S 26282 26282 24759 0 -1 1077944384 15749 0 0 0 256 2 0 0 20 0 15 0 221576679 14429560832 74492 33554432000 4194304 4196468 140731940788256 139708159732464 139709252532866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26309] ppid=26282 vsize=14091368 memory=1220 CPUtime=0.79 cores=0,2,4,6
/proc/26288/task/26309/stat : 26309 (java) S 26282 26282 24759 0 -1 1077944384 10570 0 0 0 78 1 0 0 20 0 15 0 221576679 14429560832 74492 33554432000 4194304 4196468 140731940788256 139708158679664 139709252532866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26314] ppid=26282 vsize=14091368 memory=281291235036128 CPUtime=0 cores=0,2,4,6
/proc/26288/task/26314/stat : 26314 (java) S 26282 26282 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221576679 14429560832 74492 33554432000 4194304 4196468 140731940788256 139708157627104 139709252531925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26316] ppid=26282 vsize=14091368 memory=281288615653194 CPUtime=0.73 cores=0,2,4,6
/proc/26288/task/26316/stat : 26316 (java) S 26282 26282 24759 0 -1 1077944384 838 0 0 0 35 38 0 0 20 0 15 0 221576679 14429560832 74492 33554432000 4194304 4196468 140731940788256 139708156574384 139709252532866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 299420 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2508.91 s]
# the end of solver process 26282 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001174 s, system=0.001174 s
[startup+2508.92 s]
# the end of solver process 26288 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.88 s, system=1.15046 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+2508.9 s]
/proc/loadavg: 1.79 1.76 1.77 5/217 26471
/proc/meminfo: memFree=8981552/32770624 swapFree=67108792/67108860
[pid=26282] ppid=26277 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/26282/stat : 26282 (xcsp3-exec) S 26277 26282 24759 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 221576673 115843072 363 33554432000 4194304 5098028 140724435726896 140724435725000 140266561802876 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 21389312 140724435731514 140724435731716 140724435731716 140724435734474 0
/proc/26282/statm: 28282 363 305 221 0 87 0
[pid=26288] ppid=26282 vsize=14091368 memory=297968 CPUtime=2520 cores=0,2,4,6
/proc/26288/stat : 26288 (java) S 26282 26282 24759 0 -1 1077944320 138589 0 0 0 251886 114 0 0 20 0 15 0 221576673 14429560832 74492 33554432000 4194304 4196468 140731940788256 140731940770800 139709252521719 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
/proc/26288/statm: 3522842 74492 3420 1 0 3484036 0
[pid=26288/tid=26290] ppid=26282 vsize=14091368 memory=157 CPUtime=2505.93 cores=0,2,4,6
/proc/26288/task/26290/stat : 26290 (java) R 26282 26282 24759 0 -1 4202560 48881 0 0 0 250581 12 0 0 20 0 15 0 221576674 14429560832 74492 33554432000 4194304 4196468 140731940788256 139709256761200 139708866978251 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26292] ppid=26282 vsize=14091368 memory=253671975967978 CPUtime=1.56 cores=0,2,4,6
/proc/26288/task/26292/stat : 26292 (java) S 26282 26282 24759 0 -1 1077944384 10623 0 0 0 138 18 0 0 20 0 15 0 221576674 14429560832 74492 33554432000 4194304 4196468 140731940788256 139709182610576 139709252531925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26293] ppid=26282 vsize=14091368 memory=1264 CPUtime=1.57 cores=0,2,4,6
/proc/26288/task/26293/stat : 26293 (java) S 26282 26282 24759 0 -1 1077944384 10522 0 0 0 140 17 0 0 20 0 15 0 221576674 14429560832 74492 33554432000 4194304 4196468 140731940788256 139709181557776 139709252531925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26294] ppid=26282 vsize=14091368 memory=7076 CPUtime=1.56 cores=0,2,4,6
/proc/26288/task/26294/stat : 26294 (java) S 26282 26282 24759 0 -1 1077944384 8919 0 0 0 140 16 0 0 20 0 15 0 221576674 14429560832 74492 33554432000 4194304 4196468 140731940788256 139709180504976 139709252531925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26295] ppid=26282 vsize=14091368 memory=60264 CPUtime=1.56 cores=0,2,4,6
/proc/26288/task/26295/stat : 26295 (java) S 26282 26282 24759 0 -1 1077944384 8063 0 0 0 137 19 0 0 20 0 15 0 221576674 14429560832 74492 33554432000 4194304 4196468 140731940788256 139708845439760 139709252531925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26300] ppid=26282 vsize=14091368 memory=1220 CPUtime=0.72 cores=0,2,4,6
/proc/26288/task/26300/stat : 26300 (java) S 26282 26282 24759 0 -1 1077944384 4361 0 0 0 64 8 0 0 20 0 15 0 221576676 14429560832 74492 33554432000 4194304 4196468 140731940788256 139708164995440 139709252532866 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26302] ppid=26282 vsize=14091368 memory=281291234346656 CPUtime=0 cores=0,2,4,6
/proc/26288/task/26302/stat : 26302 (java) S 26282 26282 24759 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 221576676 14429560832 74492 33554432000 4194304 4196468 140731940788256 139708163941472 139709252531925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26303] ppid=26282 vsize=14091368 memory=8320808402720010548 CPUtime=0 cores=0,2,4,6
/proc/26288/task/26303/stat : 26303 (java) S 26282 26282 24759 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 221576676 14429560832 74492 33554432000 4194304 4196468 140731940788256 139708162888560 139709252531925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26306] ppid=26282 vsize=14091368 memory=3888 CPUtime=0 cores=0,2,4,6
/proc/26288/task/26306/stat : 26306 (java) S 26282 26282 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221576679 14429560832 74492 33554432000 4194304 4196468 140731940788256 139708161836880 139709252540315 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26307] ppid=26282 vsize=14091368 memory=8564 CPUtime=2.92 cores=0,2,4,6
/proc/26288/task/26307/stat : 26307 (java) S 26282 26282 24759 0 -1 1077944384 18695 0 0 0 291 1 0 0 20 0 15 0 221576679 14429560832 74492 33554432000 4194304 4196468 140731940788256 139708160785264 139709252532866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26308] ppid=26282 vsize=14091368 memory=60264 CPUtime=2.58 cores=0,2,4,6
/proc/26288/task/26308/stat : 26308 (java) S 26282 26282 24759 0 -1 1077944384 15749 0 0 0 256 2 0 0 20 0 15 0 221576679 14429560832 74492 33554432000 4194304 4196468 140731940788256 139708159732464 139709252532866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26309] ppid=26282 vsize=14091368 memory=1220 CPUtime=0.79 cores=0,2,4,6
/proc/26288/task/26309/stat : 26309 (java) S 26282 26282 24759 0 -1 1077944384 10570 0 0 0 78 1 0 0 20 0 15 0 221576679 14429560832 74492 33554432000 4194304 4196468 140731940788256 139708158679664 139709252532866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26314] ppid=26282 vsize=14091368 memory=281291235036128 CPUtime=0 cores=0,2,4,6
/proc/26288/task/26314/stat : 26314 (java) S 26282 26282 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221576679 14429560832 74492 33554432000 4194304 4196468 140731940788256 139708157627104 139709252531925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
[pid=26288/tid=26316] ppid=26282 vsize=14091368 memory=281288615653194 CPUtime=0.73 cores=0,2,4,6
/proc/26288/task/26316/stat : 26316 (java) S 26282 26282 24759 0 -1 1077944384 838 0 0 0 35 38 0 0 20 0 15 0 221576679 14429560832 74492 33554432000 4194304 4196468 140731940788256 139708156574384 139709252532866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 22781952 140731940791430 140731940791601 140731940791601 140731940794319 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 299420 KiB
Child status: 143
Real time (s): 2508.92
CPU time (s): 2520.03
CPU user time (s): 2518.88
CPU system time (s): 1.15046
CPU usage (%): 100.443
Max. virtual memory (cumulated for all children) (KiB): 14206500
Max. memory (cumulated for all children) (KiB): 329220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.88
system time used= 1.15046
maximum resident set size= 327772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 139461
page faults= 0
swaps= 0
block input operations= 1720
block output operations= 3976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 75351
involuntary context switches= 3794
# summary of solver processes directly reported to runsolver:
# pid: 26282,26288
# total CPU time (s): 2520.03
# total CPU user time (s): 2518.88
# total CPU system time (s): 1.15046
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.511 second user time and 24.1486 second system time
The end
Begin job on node150 at 2018-08-12 04:15:34 IDJOB=4306493 IDBENCH=141028 IDSOLVER=2787 FILE ID=node150/4306493-1534040134 RUNJOBID= node150-1534040134-26256 PBS_JOBID= 21036968 Free space on /tmp= 34700 MiB SOLVER NAME= Choco-solver 4.0.7b seq (e747e1e) BENCH NAME= XCSP18/StillLife/StillLife-wastage-30_c18.xml COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 11000 -p 1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4306493-1534040134/watcher-4306493-1534040134 -o /tmp/evaluation-result-4306493-1534040134/solver-4306493-1534040134 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534040134-26256 --watchdog 2580 HOME/xcsp3-exec -seed 1563116664 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306493-1534040134.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= bc7ca4ef6af3dcde4f5a5d75f0a5d481 RANDOM SEED=1563116664 node150.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.76 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.76 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.76 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.76 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: 5433468 kB MemAvailable: 31905796 kB Buffers: 211960 kB Cached: 26140416 kB SwapCached: 32 kB Active: 9970660 kB Inactive: 16433776 kB Active(anon): 3296 kB Inactive(anon): 101188 kB Active(file): 9967364 kB Inactive(file): 16332588 kB Unevictable: 7736 kB Mlocked: 7736 kB SwapTotal: 67108860 kB SwapFree: 67108792 kB Dirty: 43728 kB Writeback: 4 kB AnonPages: 59884 kB Mapped: 52180 kB Shmem: 49732 kB Slab: 629040 kB SReclaimable: 600836 kB SUnreclaim: 28204 kB KernelStack: 3232 kB PageTables: 4916 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 351108 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 4096 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 34656 MiB End job on node150 at 2018-08-12 04:57:23