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 | 252.11 | 245.715 |
| Name | StillLife/ StillLife-wastage-30_c18.xml |
| MD5SUM | bc7ca4ef6af3dcde4f5a5d75f0a5d481 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 396 |
| Best CPU time to get the best result obtained on this benchmark | 252.181 |
| 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-4301207-1532875384.xml" -tl '252s' -p 1 0.12/0.17 c Choco e747e1e 0.12/0.18 c [HOME/instance-4301207-1532875384.xml, -tl, 252s, -p, 1] 0.12/0.21 c simple solver 0.34/0.28 c parse instance... 2.60/1.01 c solve instance... 23.44/18.97 o 360 23.44/18.99 o 361 23.62/19.01 o 362 23.85/19.12 o 364 216.17/209.98 o 365 216.28/210.02 o 366 216.38/210.11 o 367 252.08/245.70 s SATISFIABLE 252.08/245.70 v <instantiation> 252.08/245.70 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> 252.08/245.70 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> 252.08/245.70 v </instantiation> 252.08/245.70 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 (13168 MiB free)
memory of node 1: 16384 MiB (13658 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301207-1532875384/watcher-4301207-1532875384 -o /tmp/evaluation-result-4301207-1532875384/solver-4301207-1532875384 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532875384-10018 --watchdog 312 HOME/xcsp3-exec -seed 984532556 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4301207-1532875384.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=10041, runsolver pid=10038
[startup+0.100091 s]*
/proc/loadavg: 1.07 1.17 1.49 4/222 10078
/proc/meminfo: memFree=27437412/32770624 swapFree=67108856/67108860
[pid=10041] ppid=10038 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10041/stat : 10041 (xcsp3-exec) S 10038 10041 5155 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 105101592 115843072 363 33554432000 4194304 5098028 140721026382592 140721026380696 139735379014268 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 12124160 140721026384961 140721026385161 140721026385161 140721026387914 0
/proc/10041/statm: 28282 363 306 221 0 87 0
[pid=10043] ppid=10041 vsize=14082940 memory=28596 CPUtime=0.12 cores=1,3,5,7
/proc/10043/stat : 10043 (java) S 10041 10041 5155 0 -1 1077944320 5480 0 0 0 11 1 0 0 20 0 15 0 105101592 14420930560 7149 33554432000 4194304 4196468 140735151793744 140735151776288 140212636806903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
/proc/10043/statm: 3520735 7149 3029 1 0 3483012 0
[pid=10043/tid=10044] ppid=10041 vsize=14082940 memory=5854518564242424225 CPUtime=0.09 cores=1,3,5,7
/proc/10043/task/10044/stat : 10044 (java) R 10041 10041 5155 0 -1 4202560 3499 0 0 0 8 1 0 0 20 0 15 0 105101593 14420930560 7149 33554432000 4194304 4196468 140735151793744 140212641040176 140212244150325 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10051] ppid=10041 vsize=14082940 memory=3472468125940110544 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10051/stat : 10051 (java) S 10041 10041 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105101593 14420930560 7149 33554432000 4194304 4196468 140735151793744 140212566895376 140212636817109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10052] ppid=10041 vsize=14082940 memory=139997044958848 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10052/stat : 10052 (java) S 10041 10041 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105101593 14420930560 7149 33554432000 4194304 4196468 140735151793744 140212565842832 140212636817109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10053] ppid=10041 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10053/stat : 10053 (java) S 10041 10041 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105101593 14420930560 7149 33554432000 4194304 4196468 140735151793744 140212564790288 140212636817109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10054] ppid=10041 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10054/stat : 10054 (java) S 10041 10041 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105101594 14420930560 7149 33554432000 4194304 4196468 140735151793744 140212229029008 140212636817109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10061] ppid=10041 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10061/stat : 10061 (java) S 10041 10041 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105101595 14420930560 7149 33554432000 4194304 4196468 140735151793744 140211615922160 140212636818050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10062] ppid=10041 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10062/stat : 10062 (java) S 10041 10041 5155 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105101595 14420930560 7149 33554432000 4194304 4196468 140735151793744 140211614868384 140212636817109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10063] ppid=10041 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10063/stat : 10063 (java) S 10041 10041 5155 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105101595 14420930560 7149 33554432000 4194304 4196468 140735151793744 140211613815792 140212636817109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10067] ppid=10041 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10067/stat : 10067 (java) S 10041 10041 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105101598 14420930560 7149 33554432000 4194304 4196468 140735151793744 140211612764368 140212636825499 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10068] ppid=10041 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10068/stat : 10068 (java) S 10041 10041 5155 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 15 0 105101598 14420930560 7149 33554432000 4194304 4196468 140735151793744 140211611711984 140212636818050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10069] ppid=10041 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10069/stat : 10069 (java) S 10041 10041 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105101598 14420930560 7149 33554432000 4194304 4196468 140735151793744 140211610659440 140212636818050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10070] ppid=10041 vsize=14082940 memory=139997044958848 CPUtime=0.01 cores=1,3,5,7
/proc/10043/task/10070/stat : 10070 (java) R 10041 10041 5155 0 -1 4202560 262 0 0 0 1 0 0 0 20 0 15 0 105101598 14420930560 7149 33554432000 4194304 4196468 140735151793744 140211609606896 140212618044464 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10071] ppid=10041 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10071/stat : 10071 (java) S 10041 10041 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105101598 14420930560 7149 33554432000 4194304 4196468 140735151793744 140211608554592 140212636817109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10072] ppid=10041 vsize=14082940 memory=139997044958848 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10072/stat : 10072 (java) S 10041 10041 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105101598 14420930560 7149 33554432000 4194304 4196468 140735151793744 140211607501104 140212636818050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30048 KiB
[startup+0.211013 s]*
/proc/loadavg: 1.07 1.17 1.49 4/222 10078
/proc/meminfo: memFree=27414576/32770624 swapFree=67108856/67108860
[pid=10041] ppid=10038 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10041/stat : 10041 (xcsp3-exec) S 10038 10041 5155 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 105101592 115843072 363 33554432000 4194304 5098028 140721026382592 140721026380696 139735379014268 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 12124160 140721026384961 140721026385161 140721026385161 140721026387914 0
/proc/10041/statm: 28282 363 306 221 0 87 0
[pid=10043] ppid=10041 vsize=14082940 memory=40528 CPUtime=0.34 cores=1,3,5,7
/proc/10043/stat : 10043 (java) S 10041 10041 5155 0 -1 1077944320 8200 0 0 0 32 2 0 0 20 0 15 0 105101592 14420930560 10132 33554432000 4194304 4196468 140735151793744 140735151776288 140212636806903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
/proc/10043/statm: 3520735 10132 3203 1 0 3483012 0
[pid=10043/tid=10044] ppid=10041 vsize=14082940 memory=5854518564242424225 CPUtime=0.2 cores=1,3,5,7
/proc/10043/task/10044/stat : 10044 (java) R 10041 10041 5155 0 -1 4202560 5409 0 0 0 18 2 0 0 20 0 15 0 105101593 14420930560 10132 33554432000 4194304 4196468 140735151793744 140212641041888 140212620887390 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10051] ppid=10041 vsize=14082940 memory=3472468125940110544 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10051/stat : 10051 (java) S 10041 10041 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105101593 14420930560 10132 33554432000 4194304 4196468 140735151793744 140212566895376 140212636817109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10052] ppid=10041 vsize=14082940 memory=139997044958848 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10052/stat : 10052 (java) S 10041 10041 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105101593 14420930560 10132 33554432000 4194304 4196468 140735151793744 140212565842832 140212636817109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10053] ppid=10041 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10053/stat : 10053 (java) S 10041 10041 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105101593 14420930560 10132 33554432000 4194304 4196468 140735151793744 140212564790288 140212636817109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10054] ppid=10041 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10054/stat : 10054 (java) S 10041 10041 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105101594 14420930560 10132 33554432000 4194304 4196468 140735151793744 140212229029008 140212636817109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10061] ppid=10041 vsize=14082940 memory=139997044958848 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10061/stat : 10061 (java) S 10041 10041 5155 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 105101595 14420930560 10132 33554432000 4194304 4196468 140735151793744 140211615922160 140212636818050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10062] ppid=10041 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10062/stat : 10062 (java) S 10041 10041 5155 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105101595 14420930560 10132 33554432000 4194304 4196468 140735151793744 140211614868384 140212636817109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10063] ppid=10041 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10063/stat : 10063 (java) S 10041 10041 5155 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105101595 14420930560 10196 33554432000 4194304 4196468 140735151793744 140211613815792 140212636817109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10067] ppid=10041 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10067/stat : 10067 (java) S 10041 10041 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105101598 14420930560 10196 33554432000 4194304 4196468 140735151793744 140211612764368 140212636825499 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10068] ppid=10041 vsize=14082940 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/10043/task/10068/stat : 10068 (java) S 10041 10041 5155 0 -1 1077944384 539 0 0 0 2 0 0 0 20 0 15 0 105101598 14420930560 10196 33554432000 4194304 4196468 140735151793744 140211611711984 140212636818050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10069] ppid=10041 vsize=14082940 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/10043/task/10069/stat : 10069 (java) S 10041 10041 5155 0 -1 1077944384 168 0 0 0 2 0 0 0 20 0 15 0 105101598 14420930560 10196 33554432000 4194304 4196468 140735151793744 140211610659440 140212636818050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10070] ppid=10041 vsize=14082940 memory=139997044958848 CPUtime=0.08 cores=1,3,5,7
/proc/10043/task/10070/stat : 10070 (java) S 10041 10041 5155 0 -1 1077944384 790 0 0 0 8 0 0 0 20 0 15 0 105101598 14420930560 10196 33554432000 4194304 4196468 140735151793744 140211609606896 140212636818050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10071] ppid=10041 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10071/stat : 10071 (java) S 10041 10041 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105101598 14420930560 10196 33554432000 4194304 4196468 140735151793744 140211608554592 140212636817109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10072] ppid=10041 vsize=14082940 memory=139997044958848 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10072/stat : 10072 (java) S 10041 10041 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105101598 14420930560 10196 33554432000 4194304 4196468 140735151793744 140211607501104 140212636818050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 41980 KiB
[startup+0.310839 s]*
/proc/loadavg: 1.07 1.17 1.49 4/222 10078
/proc/meminfo: memFree=27400432/32770624 swapFree=67108856/67108860
[pid=10041] ppid=10038 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10041/stat : 10041 (xcsp3-exec) S 10038 10041 5155 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 105101592 115843072 363 33554432000 4194304 5098028 140721026382592 140721026380696 139735379014268 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 12124160 140721026384961 140721026385161 140721026385161 140721026387914 0
/proc/10041/statm: 28282 363 306 221 0 87 0
[pid=10043] ppid=10041 vsize=14087196 memory=47880 CPUtime=0.53 cores=1,3,5,7
/proc/10043/stat : 10043 (java) S 10041 10041 5155 0 -1 1077944320 9169 0 0 0 49 4 0 0 20 0 15 0 105101592 14425288704 11970 33554432000 4194304 4196468 140735151793744 140735151776288 140212636806903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
/proc/10043/statm: 3521799 11970 3260 1 0 3483012 0
[pid=10043/tid=10044] ppid=10041 vsize=14087196 memory=7679933072689503900 CPUtime=0.29 cores=1,3,5,7
/proc/10043/task/10044/stat : 10044 (java) R 10041 10041 5155 0 -1 4202560 6125 0 0 0 26 3 0 0 20 0 15 0 105101593 14425288704 11970 33554432000 4194304 4196468 140735151793744 140212641038016 140212636828829 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10051] ppid=10041 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10051/stat : 10051 (java) S 10041 10041 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105101593 14425288704 12035 33554432000 4194304 4196468 140735151793744 140212566895376 140212636817109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10052] ppid=10041 vsize=14087196 memory=139996942182431 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10052/stat : 10052 (java) S 10041 10041 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105101593 14425288704 12035 33554432000 4194304 4196468 140735151793744 140212565842832 140212636817109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10053] ppid=10041 vsize=14087196 memory=279993884330272 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10053/stat : 10053 (java) S 10041 10041 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105101593 14425288704 12035 33554432000 4194304 4196468 140735151793744 140212564790288 140212636817109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10054] ppid=10041 vsize=14087196 memory=139996942145551 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10054/stat : 10054 (java) S 10041 10041 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105101594 14425288704 12035 33554432000 4194304 4196468 140735151793744 140212229029008 140212636817109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10061] ppid=10041 vsize=14087196 memory=279993987111296 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10061/stat : 10061 (java) S 10041 10041 5155 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 105101595 14425288704 12035 33554432000 4194304 4196468 140735151793744 140211615922160 140212636818050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10062] ppid=10041 vsize=14087196 memory=139996942150159 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10062/stat : 10062 (java) S 10041 10041 5155 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105101595 14425288704 12035 33554432000 4194304 4196468 140735151793744 140211614868384 140212636817109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10063] ppid=10041 vsize=14087196 memory=139996942157645 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10063/stat : 10063 (java) S 10041 10041 5155 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105101595 14425288704 12035 33554432000 4194304 4196468 140735151793744 140211613815792 140212636817109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10067] ppid=10041 vsize=14087196 memory=139996942159950 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10067/stat : 10067 (java) S 10041 10041 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105101598 14425288704 12035 33554432000 4194304 4196468 140735151793744 140211612764368 140212636825499 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10068] ppid=10041 vsize=14087196 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/10043/task/10068/stat : 10068 (java) S 10041 10041 5155 0 -1 1077944384 555 0 0 0 4 0 0 0 20 0 15 0 105101598 14425288704 12035 33554432000 4194304 4196468 140735151793744 140211611711984 140212636818050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10069] ppid=10041 vsize=14087196 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/10043/task/10069/stat : 10069 (java) S 10041 10041 5155 0 -1 1077944384 247 0 0 0 5 0 0 0 20 0 15 0 105101598 14425288704 12035 33554432000 4194304 4196468 140735151793744 140211610659440 140212636818050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10070] ppid=10041 vsize=14087196 memory=139997044958848 CPUtime=0.12 cores=1,3,5,7
/proc/10043/task/10070/stat : 10070 (java) S 10041 10041 5155 0 -1 1077944384 945 0 0 0 12 0 0 0 20 0 15 0 105101598 14425288704 12035 33554432000 4194304 4196468 140735151793744 140211609606896 140212636818050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10071] ppid=10041 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10071/stat : 10071 (java) S 10041 10041 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105101598 14425288704 12035 33554432000 4194304 4196468 140735151793744 140211608554592 140212636817109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10072] ppid=10041 vsize=14087196 memory=139997044960300 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10072/stat : 10072 (java) S 10041 10041 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105101598 14425288704 12035 33554432000 4194304 4196468 140735151793744 140211607501104 140212636818050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49332 KiB
[startup+0.701118 s]
/proc/loadavg: 1.07 1.17 1.49 8/222 10078
/proc/meminfo: memFree=27363152/32770624 swapFree=67108856/67108860
[pid=10041] ppid=10038 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10041/stat : 10041 (xcsp3-exec) S 10038 10041 5155 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 105101592 115843072 363 33554432000 4194304 5098028 140721026382592 140721026380696 139735379014268 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 12124160 140721026384961 140721026385161 140721026385161 140721026387914 0
/proc/10041/statm: 28282 363 306 221 0 87 0
[pid=10043] ppid=10041 vsize=14089320 memory=91404 CPUtime=1.78 cores=1,3,5,7
/proc/10043/stat : 10043 (java) S 10041 10041 5155 0 -1 1077944320 12960 0 0 0 172 6 0 0 20 0 15 0 105101592 14427463680 22851 33554432000 4194304 4196468 140735151793744 140735151776288 140212636806903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
/proc/10043/statm: 3522330 22851 3357 1 0 3483524 0
[pid=10043/tid=10044] ppid=10041 vsize=14089320 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/10043/task/10044/stat : 10044 (java) R 10041 10041 5155 0 -1 4202560 6942 0 0 0 63 4 0 0 20 0 15 0 105101593 14427463680 22851 33554432000 4194304 4196468 140735151793744 140212641044416 140212248772903 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10051] ppid=10041 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10051/stat : 10051 (java) S 10041 10041 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105101593 14427463680 22851 33554432000 4194304 4196468 140735151793744 140212566895376 140212636817109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10052] ppid=10041 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10052/stat : 10052 (java) S 10041 10041 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105101593 14427463680 22851 33554432000 4194304 4196468 140735151793744 140212565842832 140212636817109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10053] ppid=10041 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10053/stat : 10053 (java) S 10041 10041 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105101593 14427463680 22851 33554432000 4194304 4196468 140735151793744 140212564790288 140212636817109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10054] ppid=10041 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10054/stat : 10054 (java) S 10041 10041 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105101594 14427463680 22851 33554432000 4194304 4196468 140735151793744 140212229029008 140212636817109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10061] ppid=10041 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10061/stat : 10061 (java) S 10041 10041 5155 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 105101595 14427463680 22851 33554432000 4194304 4196468 140735151793744 140211615922160 140212636818050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10062] ppid=10041 vsize=14089320 memory=12 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10062/stat : 10062 (java) S 10041 10041 5155 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105101595 14427463680 22851 33554432000 4194304 4196468 140735151793744 140211614868384 140212636817109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10063] ppid=10041 vsize=14089320 memory=2 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10063/stat : 10063 (java) S 10041 10041 5155 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105101595 14427463680 22851 33554432000 4194304 4196468 140735151793744 140211613815792 140212636817109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10067] ppid=10041 vsize=14089320 memory=7526486018442211385 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10067/stat : 10067 (java) S 10041 10041 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105101598 14427463680 22851 33554432000 4194304 4196468 140735151793744 140211612764368 140212636825499 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10068] ppid=10041 vsize=14089320 memory=5787495302057780050 CPUtime=0.37 cores=1,3,5,7
/proc/10043/task/10068/stat : 10068 (java) R 10041 10041 5155 0 -1 4202560 1449 0 0 0 37 0 0 0 20 0 15 0 105101598 14427463680 22851 33554432000 4194304 4196468 140735151793744 140211611702816 140212622227728 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10069] ppid=10041 vsize=14089320 memory=6368468548932681824 CPUtime=0.31 cores=1,3,5,7
/proc/10043/task/10069/stat : 10069 (java) R 10041 10041 5155 0 -1 4202560 1115 0 0 0 31 0 0 0 20 0 15 0 105101598 14427463680 22851 33554432000 4194304 4196468 140735151793744 140211610645320 140212618352488 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10070] ppid=10041 vsize=14089320 memory=734122130331934768 CPUtime=0.4 cores=1,3,5,7
/proc/10043/task/10070/stat : 10070 (java) R 10041 10041 5155 0 -1 4202560 2141 0 0 0 39 1 0 0 20 0 15 0 105101598 14427463680 22851 33554432000 4194304 4196468 140735151793744 140211609606896 140212614798755 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10071] ppid=10041 vsize=14089320 memory=2268 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10071/stat : 10071 (java) S 10041 10041 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105101598 14427463680 22851 33554432000 4194304 4196468 140735151793744 140211608554592 140212636817109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10072] ppid=10041 vsize=14089320 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10072/stat : 10072 (java) S 10041 10041 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105101598 14427463680 22851 33554432000 4194304 4196468 140735151793744 140211607501104 140212636818050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
Current children cumulated CPU time: 1.78 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 92856 KiB
[startup+1.50075 s]
/proc/loadavg: 1.07 1.17 1.49 5/222 10078
/proc/meminfo: memFree=27251524/32770624 swapFree=67108856/67108860
[pid=10041] ppid=10038 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10041/stat : 10041 (xcsp3-exec) S 10038 10041 5155 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 105101592 115843072 363 33554432000 4194304 5098028 140721026382592 140721026380696 139735379014268 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 12124160 140721026384961 140721026385161 140721026385161 140721026387914 0
/proc/10041/statm: 28282 363 306 221 0 87 0
################
# More data... #
################
/proc/10043/task/10063/stat : 10063 (java) S 10041 10041 5155 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 105101595 14429560832 78849 33554432000 4194304 4196468 140735151793744 140211613815792 140212636817109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10067] ppid=10041 vsize=14091368 memory=315396 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10067/stat : 10067 (java) S 10041 10041 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105101598 14429560832 78849 33554432000 4194304 4196468 140735151793744 140211612764368 140212636825499 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10068] ppid=10041 vsize=14091368 memory=1452 CPUtime=2.65 cores=1,3,5,7
/proc/10043/task/10068/stat : 10068 (java) S 10041 10041 5155 0 -1 1077944384 18850 0 0 0 263 2 0 0 20 0 15 0 105101598 14429560832 78849 33554432000 4194304 4196468 140735151793744 140211611711984 140212636818050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10069] ppid=10041 vsize=14091368 memory=1452 CPUtime=2.43 cores=1,3,5,7
/proc/10043/task/10069/stat : 10069 (java) S 10041 10041 5155 0 -1 1077944384 11769 0 0 0 241 2 0 0 20 0 15 0 105101598 14429560832 78849 33554432000 4194304 4196468 140735151793744 140211610659440 140212636818050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 31 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10070] ppid=10041 vsize=14091368 memory=1452 CPUtime=0.76 cores=1,3,5,7
/proc/10043/task/10070/stat : 10070 (java) S 10041 10041 5155 0 -1 1077944384 7360 0 0 0 74 2 0 0 20 0 15 0 105101598 14429560832 78849 33554432000 4194304 4196468 140735151793744 140211609606896 140212636818050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 44 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10071] ppid=10041 vsize=14091368 memory=4036 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10071/stat : 10071 (java) S 10041 10041 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105101598 14429560832 78849 33554432000 4194304 4196468 140735151793744 140211608554592 140212636817109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10072] ppid=10041 vsize=14091368 memory=30416 CPUtime=0.04 cores=1,3,5,7
/proc/10043/task/10072/stat : 10072 (java) S 10041 10041 5155 0 -1 1077944384 522 0 0 0 2 2 0 0 20 0 15 0 105101598 14429560832 78849 33554432000 4194304 4196468 140735151793744 140211607501104 140212636818050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 50 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
Current children cumulated CPU time: 168.53 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 316848 KiB
[startup+222.301 s]
/proc/loadavg: 1.88 1.54 1.57 3/222 10082
/proc/meminfo: memFree=27035656/32770624 swapFree=67108856/67108860
[pid=10041] ppid=10038 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10041/stat : 10041 (xcsp3-exec) S 10038 10041 5155 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 105101592 115843072 363 33554432000 4194304 5098028 140721026382592 140721026380696 139735379014268 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 12124160 140721026384961 140721026385161 140721026385161 140721026387914 0
/proc/10041/statm: 28282 363 306 221 0 87 0
[pid=10043] ppid=10041 vsize=14091368 memory=319492 CPUtime=228.61 cores=1,3,5,7
/proc/10043/stat : 10043 (java) S 10041 10041 5155 0 -1 1077944320 65184 0 0 0 22829 32 0 0 20 0 15 0 105101592 14429560832 79873 33554432000 4194304 4196468 140735151793744 140735151776288 140212636806903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
/proc/10043/statm: 3522842 79873 3415 1 0 3484036 0
[pid=10043/tid=10044] ppid=10041 vsize=14091368 memory=319492 CPUtime=222.12 cores=1,3,5,7
/proc/10043/task/10044/stat : 10044 (java) R 10041 10041 5155 0 -1 4202560 14140 0 0 0 22203 9 0 0 20 0 15 0 105101593 14429560832 79873 33554432000 4194304 4196468 140735151793744 140212641043584 140212251396252 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10051] ppid=10041 vsize=14091368 memory=319488 CPUtime=0.11 cores=1,3,5,7
/proc/10043/task/10051/stat : 10051 (java) S 10041 10041 5155 0 -1 1077944384 2029 0 0 0 8 3 0 0 20 0 15 0 105101593 14429560832 79873 33554432000 4194304 4196468 140735151793744 140212566895376 140212636817109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10052] ppid=10041 vsize=14091368 memory=319492 CPUtime=0.11 cores=1,3,5,7
/proc/10043/task/10052/stat : 10052 (java) S 10041 10041 5155 0 -1 1077944384 3117 0 0 0 8 3 0 0 20 0 15 0 105101593 14429560832 79873 33554432000 4194304 4196468 140735151793744 140212565842832 140212636817109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10053] ppid=10041 vsize=14091368 memory=319492 CPUtime=0.11 cores=1,3,5,7
/proc/10043/task/10053/stat : 10053 (java) S 10041 10041 5155 0 -1 1077944384 1660 0 0 0 8 3 0 0 20 0 15 0 105101593 14429560832 79873 33554432000 4194304 4196468 140735151793744 140212564790288 140212636817109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10054] ppid=10041 vsize=14091368 memory=319492 CPUtime=0.11 cores=1,3,5,7
/proc/10043/task/10054/stat : 10054 (java) S 10041 10041 5155 0 -1 1077944384 1042 0 0 0 8 3 0 0 20 0 15 0 105101594 14429560832 79873 33554432000 4194304 4196468 140735151793744 140212229029008 140212636817109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10061] ppid=10041 vsize=14091368 memory=1452 CPUtime=0.02 cores=1,3,5,7
/proc/10043/task/10061/stat : 10061 (java) S 10041 10041 5155 0 -1 1077944384 1459 0 0 0 2 0 0 0 20 0 15 0 105101595 14429560832 79873 33554432000 4194304 4196468 140735151793744 140211615922160 140212636818050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 22 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10062] ppid=10041 vsize=14091368 memory=319492 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10062/stat : 10062 (java) S 10041 10041 5155 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 105101595 14429560832 79873 33554432000 4194304 4196468 140735151793744 140211614868448 140212636817109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10063] ppid=10041 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10063/stat : 10063 (java) S 10041 10041 5155 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 105101595 14429560832 79873 33554432000 4194304 4196468 140735151793744 140211613815792 140212636817109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10067] ppid=10041 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10067/stat : 10067 (java) S 10041 10041 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105101598 14429560832 79873 33554432000 4194304 4196468 140735151793744 140211612764368 140212636825499 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10068] ppid=10041 vsize=14091368 memory=1452 CPUtime=2.68 cores=1,3,5,7
/proc/10043/task/10068/stat : 10068 (java) S 10041 10041 5155 0 -1 1077944384 20048 0 0 0 266 2 0 0 20 0 15 0 105101598 14429560832 79873 33554432000 4194304 4196468 140735151793744 140211611711984 140212636818050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10069] ppid=10041 vsize=14091368 memory=1452 CPUtime=2.43 cores=1,3,5,7
/proc/10043/task/10069/stat : 10069 (java) S 10041 10041 5155 0 -1 1077944384 12090 0 0 0 241 2 0 0 20 0 15 0 105101598 14429560832 79873 33554432000 4194304 4196468 140735151793744 140211610659440 140212636818050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 31 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10070] ppid=10041 vsize=14091368 memory=1244 CPUtime=0.77 cores=1,3,5,7
/proc/10043/task/10070/stat : 10070 (java) S 10041 10041 5155 0 -1 1077944384 7708 0 0 0 75 2 0 0 20 0 15 0 105101598 14429560832 79873 33554432000 4194304 4196468 140735151793744 140211609606896 140212636818050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 44 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10071] ppid=10041 vsize=14091368 memory=2268 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10071/stat : 10071 (java) S 10041 10041 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105101598 14429560832 79873 33554432000 4194304 4196468 140735151793744 140211608554592 140212636817109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10072] ppid=10041 vsize=14091368 memory=1804 CPUtime=0.05 cores=1,3,5,7
/proc/10043/task/10072/stat : 10072 (java) S 10041 10041 5155 0 -1 1077944384 533 0 0 0 2 3 0 0 20 0 15 0 105101598 14429560832 79873 33554432000 4194304 4196468 140735151793744 140211607501104 140212636818050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 50 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
Current children cumulated CPU time: 228.61 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 320944 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+245.701 s]
/proc/loadavg: 1.79 1.54 1.57 3/222 10083
/proc/meminfo: memFree=27037760/32770624 swapFree=67108856/67108860
[pid=10041] ppid=10038 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10041/stat : 10041 (xcsp3-exec) S 10038 10041 5155 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 105101592 115843072 363 33554432000 4194304 5098028 140721026382592 140721026380696 139735379014268 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 12124160 140721026384961 140721026385161 140721026385161 140721026387914 0
/proc/10041/statm: 28282 363 306 221 0 87 0
[pid=10043] ppid=10041 vsize=14091368 memory=317456 CPUtime=252.08 cores=1,3,5,7
/proc/10043/stat : 10043 (java) S 10041 10041 5155 0 -1 1077944320 66875 0 0 0 25175 33 0 0 20 0 15 0 105101592 14429560832 79364 33554432000 4194304 4196468 140735151793744 140735151776288 140212636806903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
/proc/10043/statm: 3522842 79364 3415 1 0 3484036 0
[pid=10043/tid=10044] ppid=10041 vsize=14091368 memory=317452 CPUtime=245.51 cores=1,3,5,7
/proc/10043/task/10044/stat : 10044 (java) R 10041 10041 5155 0 -1 4202560 14172 0 0 0 24542 9 0 0 20 0 15 0 105101593 14429560832 79364 33554432000 4194304 4196468 140735151793744 140212641045520 140212250350672 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10051] ppid=10041 vsize=14091368 memory=317452 CPUtime=0.12 cores=1,3,5,7
/proc/10043/task/10051/stat : 10051 (java) S 10041 10041 5155 0 -1 1077944384 2034 0 0 0 9 3 0 0 20 0 15 0 105101593 14429560832 79364 33554432000 4194304 4196468 140735151793744 140212566895376 140212636817109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10052] ppid=10041 vsize=14091368 memory=317452 CPUtime=0.12 cores=1,3,5,7
/proc/10043/task/10052/stat : 10052 (java) S 10041 10041 5155 0 -1 1077944384 3129 0 0 0 9 3 0 0 20 0 15 0 105101593 14429560832 79364 33554432000 4194304 4196468 140735151793744 140212565842832 140212636817109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10053] ppid=10041 vsize=14091368 memory=1452 CPUtime=0.11 cores=1,3,5,7
/proc/10043/task/10053/stat : 10053 (java) S 10041 10041 5155 0 -1 1077944384 1664 0 0 0 8 3 0 0 20 0 15 0 105101593 14429560832 79364 33554432000 4194304 4196468 140735151793744 140212564790288 140212636817109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10054] ppid=10041 vsize=14091368 memory=279993885243744 CPUtime=0.12 cores=1,3,5,7
/proc/10043/task/10054/stat : 10054 (java) S 10041 10041 5155 0 -1 1077944384 1044 0 0 0 9 3 0 0 20 0 15 0 105101594 14429560832 79364 33554432000 4194304 4196468 140735151793744 140212229029008 140212636817109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10061] ppid=10041 vsize=14091368 memory=1452 CPUtime=0.02 cores=1,3,5,7
/proc/10043/task/10061/stat : 10061 (java) S 10041 10041 5155 0 -1 1077944384 1585 0 0 0 2 0 0 0 20 0 15 0 105101595 14429560832 79364 33554432000 4194304 4196468 140735151793744 140211615922160 140212636818050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 22 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10062] ppid=10041 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10062/stat : 10062 (java) S 10041 10041 5155 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 105101595 14429560832 79364 33554432000 4194304 4196468 140735151793744 140211614868448 140212636817109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10063] ppid=10041 vsize=14091368 memory=319512 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10063/stat : 10063 (java) S 10041 10041 5155 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 105101595 14429560832 79364 33554432000 4194304 4196468 140735151793744 140211613815792 140212636817109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10067] ppid=10041 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10067/stat : 10067 (java) S 10041 10041 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105101598 14429560832 79364 33554432000 4194304 4196468 140735151793744 140211612764368 140212636825499 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10068] ppid=10041 vsize=14091368 memory=317452 CPUtime=2.7 cores=1,3,5,7
/proc/10043/task/10068/stat : 10068 (java) S 10041 10041 5155 0 -1 1077944384 20311 0 0 0 268 2 0 0 20 0 15 0 105101598 14429560832 79364 33554432000 4194304 4196468 140735151793744 140211611711984 140212636818050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10069] ppid=10041 vsize=14091368 memory=1452 CPUtime=2.47 cores=1,3,5,7
/proc/10043/task/10069/stat : 10069 (java) S 10041 10041 5155 0 -1 1077944384 12946 0 0 0 245 2 0 0 20 0 15 0 105101598 14429560832 79364 33554432000 4194304 4196468 140735151793744 140211610659440 140212636818050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 31 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10070] ppid=10041 vsize=14091368 memory=319512 CPUtime=0.77 cores=1,3,5,7
/proc/10043/task/10070/stat : 10070 (java) S 10041 10041 5155 0 -1 1077944384 8096 0 0 0 75 2 0 0 20 0 15 0 105101598 14429560832 79364 33554432000 4194304 4196468 140735151793744 140211609606896 140212636818050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 44 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10071] ppid=10041 vsize=14091368 memory=319512 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10071/stat : 10071 (java) S 10041 10041 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105101598 14429560832 79364 33554432000 4194304 4196468 140735151793744 140211608554592 140212636817109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10072] ppid=10041 vsize=14091368 memory=1452 CPUtime=0.06 cores=1,3,5,7
/proc/10043/task/10072/stat : 10072 (java) S 10041 10041 5155 0 -1 1077944384 536 0 0 0 3 3 0 0 20 0 15 0 105101598 14429560832 79364 33554432000 4194304 4196468 140735151793744 140211607501104 140212636818050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 50 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
Current children cumulated CPU time: 252.08 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 318908 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+245.711 s]
# the end of solver process 10041 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002214 s, system=0 s
[startup+245.715 s]
# the end of solver process 10043 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.771 s, system=0.339204 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+245.701 s]
/proc/loadavg: 1.79 1.54 1.57 3/222 10083
/proc/meminfo: memFree=27037760/32770624 swapFree=67108856/67108860
[pid=10041] ppid=10038 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10041/stat : 10041 (xcsp3-exec) S 10038 10041 5155 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 105101592 115843072 363 33554432000 4194304 5098028 140721026382592 140721026380696 139735379014268 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 12124160 140721026384961 140721026385161 140721026385161 140721026387914 0
/proc/10041/statm: 28282 363 306 221 0 87 0
[pid=10043] ppid=10041 vsize=14091368 memory=317456 CPUtime=252.08 cores=1,3,5,7
/proc/10043/stat : 10043 (java) S 10041 10041 5155 0 -1 1077944320 66875 0 0 0 25175 33 0 0 20 0 15 0 105101592 14429560832 79364 33554432000 4194304 4196468 140735151793744 140735151776288 140212636806903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
/proc/10043/statm: 3522842 79364 3415 1 0 3484036 0
[pid=10043/tid=10044] ppid=10041 vsize=14091368 memory=317452 CPUtime=245.51 cores=1,3,5,7
/proc/10043/task/10044/stat : 10044 (java) R 10041 10041 5155 0 -1 4202560 14172 0 0 0 24542 9 0 0 20 0 15 0 105101593 14429560832 79364 33554432000 4194304 4196468 140735151793744 140212641045520 140212250350672 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10051] ppid=10041 vsize=14091368 memory=317452 CPUtime=0.12 cores=1,3,5,7
/proc/10043/task/10051/stat : 10051 (java) S 10041 10041 5155 0 -1 1077944384 2034 0 0 0 9 3 0 0 20 0 15 0 105101593 14429560832 79364 33554432000 4194304 4196468 140735151793744 140212566895376 140212636817109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10052] ppid=10041 vsize=14091368 memory=317452 CPUtime=0.12 cores=1,3,5,7
/proc/10043/task/10052/stat : 10052 (java) S 10041 10041 5155 0 -1 1077944384 3129 0 0 0 9 3 0 0 20 0 15 0 105101593 14429560832 79364 33554432000 4194304 4196468 140735151793744 140212565842832 140212636817109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10053] ppid=10041 vsize=14091368 memory=1452 CPUtime=0.11 cores=1,3,5,7
/proc/10043/task/10053/stat : 10053 (java) S 10041 10041 5155 0 -1 1077944384 1664 0 0 0 8 3 0 0 20 0 15 0 105101593 14429560832 79364 33554432000 4194304 4196468 140735151793744 140212564790288 140212636817109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10054] ppid=10041 vsize=14091368 memory=279993885243744 CPUtime=0.12 cores=1,3,5,7
/proc/10043/task/10054/stat : 10054 (java) S 10041 10041 5155 0 -1 1077944384 1044 0 0 0 9 3 0 0 20 0 15 0 105101594 14429560832 79364 33554432000 4194304 4196468 140735151793744 140212229029008 140212636817109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10061] ppid=10041 vsize=14091368 memory=1452 CPUtime=0.02 cores=1,3,5,7
/proc/10043/task/10061/stat : 10061 (java) S 10041 10041 5155 0 -1 1077944384 1585 0 0 0 2 0 0 0 20 0 15 0 105101595 14429560832 79364 33554432000 4194304 4196468 140735151793744 140211615922160 140212636818050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 22 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10062] ppid=10041 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10062/stat : 10062 (java) S 10041 10041 5155 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 105101595 14429560832 79364 33554432000 4194304 4196468 140735151793744 140211614868448 140212636817109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10063] ppid=10041 vsize=14091368 memory=319512 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10063/stat : 10063 (java) S 10041 10041 5155 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 105101595 14429560832 79364 33554432000 4194304 4196468 140735151793744 140211613815792 140212636817109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10067] ppid=10041 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10067/stat : 10067 (java) S 10041 10041 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105101598 14429560832 79364 33554432000 4194304 4196468 140735151793744 140211612764368 140212636825499 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10068] ppid=10041 vsize=14091368 memory=317452 CPUtime=2.7 cores=1,3,5,7
/proc/10043/task/10068/stat : 10068 (java) S 10041 10041 5155 0 -1 1077944384 20311 0 0 0 268 2 0 0 20 0 15 0 105101598 14429560832 79364 33554432000 4194304 4196468 140735151793744 140211611711984 140212636818050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10069] ppid=10041 vsize=14091368 memory=1452 CPUtime=2.47 cores=1,3,5,7
/proc/10043/task/10069/stat : 10069 (java) S 10041 10041 5155 0 -1 1077944384 12946 0 0 0 245 2 0 0 20 0 15 0 105101598 14429560832 79364 33554432000 4194304 4196468 140735151793744 140211610659440 140212636818050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 31 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10070] ppid=10041 vsize=14091368 memory=319512 CPUtime=0.77 cores=1,3,5,7
/proc/10043/task/10070/stat : 10070 (java) S 10041 10041 5155 0 -1 1077944384 8096 0 0 0 75 2 0 0 20 0 15 0 105101598 14429560832 79364 33554432000 4194304 4196468 140735151793744 140211609606896 140212636818050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 44 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10071] ppid=10041 vsize=14091368 memory=319512 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10071/stat : 10071 (java) S 10041 10041 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105101598 14429560832 79364 33554432000 4194304 4196468 140735151793744 140211608554592 140212636817109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
[pid=10043/tid=10072] ppid=10041 vsize=14091368 memory=1452 CPUtime=0.06 cores=1,3,5,7
/proc/10043/task/10072/stat : 10072 (java) S 10041 10041 5155 0 -1 1077944384 536 0 0 0 3 3 0 0 20 0 15 0 105101598 14429560832 79364 33554432000 4194304 4196468 140735151793744 140211607501104 140212636818050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 50 0 0 6293624 6294260 25714688 140735151797388 140735151797558 140735151797558 140735151800271 0
Current children cumulated CPU time: 252.08 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 318908 KiB
Child status: 143
Real time (s): 245.715
CPU time (s): 252.11
CPU user time (s): 251.771
CPU system time (s): 0.339204
CPU usage (%): 102.603
Max. virtual memory (cumulated for all children) (KiB): 14206500
Max. memory (cumulated for all children) (KiB): 320972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.771
system time used= 0.339204
maximum resident set size= 319520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67776
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8571
involuntary context switches= 259
# summary of solver processes directly reported to runsolver:
# pid: 10041,10043
# total CPU time (s): 252.11
# total CPU user time (s): 251.771
# total CPU system time (s): 0.339204
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.48666 second user time and 2.33301 second system time
The end
Begin job on node133 at 2018-07-29 16:43:04 IDJOB=4301207 IDBENCH=141028 IDSOLVER=2772 FILE ID=node133/4301207-1532875384 RUNJOBID= node133-1532875384-10018 PBS_JOBID= 21022495 Free space on /tmp= 50548 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-4301207-1532875384/watcher-4301207-1532875384 -o /tmp/evaluation-result-4301207-1532875384/solver-4301207-1532875384 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532875384-10018 --watchdog 312 HOME/xcsp3-exec -seed 984532556 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4301207-1532875384.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= bc7ca4ef6af3dcde4f5a5d75f0a5d481 RANDOM SEED=984532556 node133.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.24 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.24 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.24 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.24 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: 27471424 kB MemAvailable: 31953344 kB Buffers: 200312 kB Cached: 4533336 kB SwapCached: 0 kB Active: 2203236 kB Inactive: 2582272 kB Active(anon): 3488 kB Inactive(anon): 76688 kB Active(file): 2199748 kB Inactive(file): 2505584 kB Unevictable: 7096 kB Mlocked: 7096 kB SwapTotal: 67108860 kB SwapFree: 67108856 kB Dirty: 44056 kB Writeback: 0 kB AnonPages: 59244 kB Mapped: 42156 kB Shmem: 25244 kB Slab: 212836 kB SReclaimable: 184848 kB SUnreclaim: 27988 kB KernelStack: 3248 kB PageTables: 5208 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 326920 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 50508 MiB End job on node133 at 2018-07-29 16:47:10