Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| OscaR - Parallel with EPS 2018-07-02 | SAT (TO) | 164 | 20008.9 | 2520.31 |
| Name | StillLife/ StillLife-wastage-21_c18.xml |
| MD5SUM | a6f0507a9e94bceb0819229116432592 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 209 |
| Best CPU time to get the best result obtained on this benchmark | 20063.5 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1082 |
| Number of constraints | 659 |
| Number of domains | 4 |
| Minimum domain size | 2 |
| Maximum domain size | 1059 |
| Distribution of domain sizes | [{"size":2,"count":529},{"size":3,"count":529},{"size":442,"count":1},{"size":1059,"count":23}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 24 |
| Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":526},{"degree":3,"count":26},{"degree":4,"count":84},{"degree":8,"count":80},{"degree":9,"count":361},{"degree":24,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 25 |
| Distribution of constraint arities | [{"arity":2,"count":107},{"arity":3,"count":84},{"arity":10,"count":441},{"arity":23,"count":4},{"arity":24,"count":1},{"arity":25,"count":22}] |
| Number of extensional constraints | 525 |
| Number of intensional constraints | 106 |
| Distribution of constraint types | [{"type":"extension","count":525},{"type":"intension","count":106},{"type":"sum","count":24},{"type":"instantiation","count":4}] |
| Optimization problem | YES |
| Type of objective | max VAR |
0.66/0.55 c version: 2018-07-02 0.66/0.55 c seed: 259530029 0.66/0.55 c timeout: 20160 0.66/0.55 c memlimit: 22000 0.66/0.55 c nbcore: 8 0.66/0.58 c Parsing instance... 2.18/1.13 c Parsing done, starting search... 20.56/6.16 o 129 20.56/6.18 o 130 20.56/6.18 o 131 21.29/6.20 o 132 21.29/6.22 o 145 21.29/6.22 o 146 21.29/6.27 o 147 21.29/6.27 o 148 22.81/6.47 o 149 26.79/6.91 o 150 26.79/6.99 o 151 26.79/7.00 o 152 27.66/7.01 o 153 27.66/7.08 o 154 36.35/8.16 o 155 41.84/8.82 o 156 78.47/13.49 o 157 114.28/18.00 o 158 918.98/118.96 o 159 1550.76/198.25 o 160 3299.28/418.29 o 161 6394.75/808.69 o 162 14449.10/1822.65 o 163 14825.26/1869.83 o 164 20007.01/2520.10 s SATISFIABLE 20007.01/2520.11 v <instantiation> 20007.01/2520.11 v <list> 20007.01/2520.11 v 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] z 20007.01/2520.11 v </list> 20007.01/2520.11 v <values> 20007.01/2520.11 v 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 0 0 1 0 1 0 1 1 0 1 0 1 1 0 0 0 1 0 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 0 0 1 1 1 0 1 1 1 1 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 1 1 0 0 1 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 1 1 0 0 1 1 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 1 1 0 1 1 1 1 0 0 1 1 0 1 0 1 1 1 1 1 0 0 1 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 1 1 1 0 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 1 0 1 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 0 1 0 1 1 0 1 1 0 1 1 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 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 2 2 1 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 0 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 1 1 0 1 0 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 0 1 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 1 1 0 1 1 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 1 0 0 0 1 0 2 1 1 2 1 2 1 1 2 1 1 1 1 1 2 1 1 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 1 0 0 0 1 0 1 1 0 1 0 1 0 0 1 0 0 0 1 1 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 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 0 1 0 0 1 0 1 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 2 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 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 0 19 58 96 133 170 208 236 248 254 264 270 273 276 280 284 286 287 288 293 301 302 303 310 164 20007.01/2520.11 v </values> 20007.01/2520.11 v </instantiation>
OK 164
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 (3069 MiB free)
memory of node 1: 16384 MiB (9586 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290952-1532628831/watcher-4290952-1532628831 -o /tmp/evaluation-result-4290952-1532628831/solver-4290952-1532628831 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1532623784-3635 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 259530029 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4290952-1532628831.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=3984, runsolver pid=3981
Current StackSize limit: 8192 KiB
[startup+0.100129 s]*
/proc/loadavg: 8.63 8.33 8.29 3/200 4004
/proc/meminfo: memFree=12945392/32770624 swapFree=67108852/67108860
[pid=3984] ppid=3981 vsize=26103424 memory=29860 CPUtime=0.11 cores=0-7
/proc/3984/stat : 3984 (java) S 3981 3984 3608 0 -1 1077944320 6894 0 0 0 10 1 0 0 20 0 20 0 80446268 26729906176 7465 33554432000 4194304 4196468 140725279667168 140725279649712 139681918889719 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
/proc/3984/statm: 6525856 7465 3138 1 0 6487932 0
[pid=3984/tid=3986] ppid=3981 vsize=26103424 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/3984/task/3986/stat : 3986 (java) R 3981 3984 3608 0 -1 4202560 5138 0 0 0 8 0 0 0 20 0 20 0 80446268 26729906176 7597 33554432000 4194304 4196468 140725279667168 139681923110928 139681899166544 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=3987] ppid=3981 vsize=26103424 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/3984/task/3987/stat : 3987 (java) S 3981 3984 3608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446269 26729906176 7597 33554432000 4194304 4196468 140725279667168 139681871510672 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=3988] ppid=3981 vsize=26103424 memory=139859585865344 CPUtime=0 cores=0-7
/proc/3984/task/3988/stat : 3988 (java) S 3981 3984 3608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446269 26729906176 7597 33554432000 4194304 4196468 140725279667168 139681870457872 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=3989] ppid=3981 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/3984/task/3989/stat : 3989 (java) S 3981 3984 3608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80446269 26729906176 7663 33554432000 4194304 4196468 140725279667168 139681869405072 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=3990] ppid=3981 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/3984/task/3990/stat : 3990 (java) S 3981 3984 3608 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80446269 26729906176 7663 33554432000 4194304 4196468 140725279667168 139681868352272 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=3991] ppid=3981 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/3984/task/3991/stat : 3991 (java) S 3981 3984 3608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80446269 26729906176 7663 33554432000 4194304 4196468 140725279667168 139681867299472 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=3992] ppid=3981 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/3984/task/3992/stat : 3992 (java) S 3981 3984 3608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80446269 26729906176 7663 33554432000 4194304 4196468 140725279667168 139681472051728 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=3993] ppid=3981 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/3984/task/3993/stat : 3993 (java) S 3981 3984 3608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446269 26729906176 7663 33554432000 4194304 4196468 140725279667168 139681470998928 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=3994] ppid=3981 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/3984/task/3994/stat : 3994 (java) S 3981 3984 3608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80446269 26729906176 7663 33554432000 4194304 4196468 140725279667168 139681469946128 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=3995] ppid=3981 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/3984/task/3995/stat : 3995 (java) S 3981 3984 3608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80446271 26729906176 7663 33554432000 4194304 4196468 140725279667168 139680123652976 139681918900866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=3996] ppid=3981 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/3984/task/3996/stat : 3996 (java) S 3981 3984 3608 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 80446271 26729906176 7663 33554432000 4194304 4196468 140725279667168 139680122598944 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=3997] ppid=3981 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/3984/task/3997/stat : 3997 (java) S 3981 3984 3608 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 80446271 26729906176 7663 33554432000 4194304 4196468 140725279667168 139680053978480 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=3998] ppid=3981 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/3984/task/3998/stat : 3998 (java) S 3981 3984 3608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446274 26729906176 7663 33554432000 4194304 4196468 140725279667168 139680052926800 139681918908315 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=3999] ppid=3981 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/3984/task/3999/stat : 3999 (java) S 3981 3984 3608 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 80446274 26729906176 7663 33554432000 4194304 4196468 140725279667168 139680051874160 139681918900866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=4000] ppid=3981 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/3984/task/4000/stat : 4000 (java) S 3981 3984 3608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446274 26729906176 7729 33554432000 4194304 4196468 140725279667168 139680050821360 139681918900866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=4001] ppid=3981 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/3984/task/4001/stat : 4001 (java) S 3981 3984 3608 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80446274 26729906176 7729 33554432000 4194304 4196468 140725279667168 139680049768560 139681918900866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=4002] ppid=3981 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/3984/task/4002/stat : 4002 (java) S 3981 3984 3608 0 -1 1077944384 243 0 0 0 1 0 0 0 20 0 20 0 80446274 26729906176 7729 33554432000 4194304 4196468 140725279667168 139680048715760 139681918900866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=4003] ppid=3981 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/3984/task/4003/stat : 4003 (java) S 3981 3984 3608 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80446274 26729906176 7729 33554432000 4194304 4196468 140725279667168 139680047664224 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=4004] ppid=3981 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/3984/task/4004/stat : 4004 (java) S 3981 3984 3608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446274 26729906176 7729 33554432000 4194304 4196468 140725279667168 139680046611504 139681918900866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 29860 KiB
[startup+0.210081 s]*
/proc/loadavg: 8.63 8.33 8.29 3/200 4004
/proc/meminfo: memFree=12931936/32770624 swapFree=67108852/67108860
[pid=3984] ppid=3981 vsize=26103424 memory=43060 CPUtime=0.3 cores=0-7
/proc/3984/stat : 3984 (java) S 3981 3984 3608 0 -1 1077944320 10404 0 0 0 28 2 0 0 20 0 20 0 80446268 26729906176 10765 33554432000 4194304 4196468 140725279667168 140725279649712 139681918889719 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
/proc/3984/statm: 6525856 10765 3360 1 0 6487932 0
[pid=3984/tid=3986] ppid=3981 vsize=26103424 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/3984/task/3986/stat : 3986 (java) R 3981 3984 3608 0 -1 4202560 8186 0 0 0 18 1 0 0 20 0 20 0 80446268 26729906176 10765 33554432000 4194304 4196468 140725279667168 139681923117024 139681918911645 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=3987] ppid=3981 vsize=26103424 memory=9326 CPUtime=0 cores=0-7
/proc/3984/task/3987/stat : 3987 (java) S 3981 3984 3608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446269 26729906176 10765 33554432000 4194304 4196468 140725279667168 139681871510672 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=3988] ppid=3981 vsize=26103424 memory=139859585869473 CPUtime=0 cores=0-7
/proc/3984/task/3988/stat : 3988 (java) S 3981 3984 3608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446269 26729906176 10765 33554432000 4194304 4196468 140725279667168 139681870457872 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=3989] ppid=3981 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/3984/task/3989/stat : 3989 (java) S 3981 3984 3608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80446269 26729906176 10765 33554432000 4194304 4196468 140725279667168 139681869405072 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=3990] ppid=3981 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/3984/task/3990/stat : 3990 (java) S 3981 3984 3608 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80446269 26729906176 10765 33554432000 4194304 4196468 140725279667168 139681868352272 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=3991] ppid=3981 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/3984/task/3991/stat : 3991 (java) S 3981 3984 3608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80446269 26729906176 10765 33554432000 4194304 4196468 140725279667168 139681867299472 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=3992] ppid=3981 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/3984/task/3992/stat : 3992 (java) S 3981 3984 3608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80446269 26729906176 10765 33554432000 4194304 4196468 140725279667168 139681472051728 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=3993] ppid=3981 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/3984/task/3993/stat : 3993 (java) S 3981 3984 3608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446269 26729906176 10765 33554432000 4194304 4196468 140725279667168 139681470998928 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=3994] ppid=3981 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/3984/task/3994/stat : 3994 (java) S 3981 3984 3608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80446269 26729906176 10765 33554432000 4194304 4196468 140725279667168 139681469946128 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=3995] ppid=3981 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/3984/task/3995/stat : 3995 (java) S 3981 3984 3608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80446271 26729906176 10765 33554432000 4194304 4196468 140725279667168 139680123652976 139681918900866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=3996] ppid=3981 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/3984/task/3996/stat : 3996 (java) S 3981 3984 3608 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 80446271 26729906176 10765 33554432000 4194304 4196468 140725279667168 139680122598944 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=3997] ppid=3981 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/3984/task/3997/stat : 3997 (java) S 3981 3984 3608 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 80446271 26729906176 10765 33554432000 4194304 4196468 140725279667168 139680053978480 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=3998] ppid=3981 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/3984/task/3998/stat : 3998 (java) S 3981 3984 3608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446274 26729906176 10765 33554432000 4194304 4196468 140725279667168 139680052926800 139681918908315 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=3999] ppid=3981 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/3984/task/3999/stat : 3999 (java) S 3981 3984 3608 0 -1 1077944384 327 0 0 0 1 0 0 0 20 0 20 0 80446274 26729906176 10765 33554432000 4194304 4196468 140725279667168 139680051874160 139681918900866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=4000] ppid=3981 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/3984/task/4000/stat : 4000 (java) S 3981 3984 3608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446274 26729906176 10765 33554432000 4194304 4196468 140725279667168 139680050821360 139681918900866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=4001] ppid=3981 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/3984/task/4001/stat : 4001 (java) S 3981 3984 3608 0 -1 1077944384 209 0 0 0 1 0 0 0 20 0 20 0 80446274 26729906176 10765 33554432000 4194304 4196468 140725279667168 139680049768560 139681918900866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=4002] ppid=3981 vsize=26103424 memory=0 CPUtime=0.06 cores=0-7
/proc/3984/task/4002/stat : 4002 (java) R 3981 3984 3608 0 -1 4202560 309 0 0 0 6 0 0 0 20 0 20 0 80446274 26729906176 10765 33554432000 4194304 4196468 140725279667168 139680048714160 139681898309392 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=4003] ppid=3981 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/3984/task/4003/stat : 4003 (java) S 3981 3984 3608 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80446274 26729906176 10765 33554432000 4194304 4196468 140725279667168 139680047664224 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=4004] ppid=3981 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/3984/task/4004/stat : 4004 (java) S 3981 3984 3608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446274 26729906176 10765 33554432000 4194304 4196468 140725279667168 139680046611504 139681918900866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 43060 KiB
[startup+0.310262 s]*
/proc/loadavg: 8.63 8.33 8.29 3/200 4004
/proc/meminfo: memFree=12928524/32770624 swapFree=67108852/67108860
[pid=3984] ppid=3981 vsize=26103424 memory=46564 CPUtime=0.42 cores=0-7
/proc/3984/stat : 3984 (java) S 3981 3984 3608 0 -1 1077944320 10850 0 0 0 40 2 0 0 20 0 20 0 80446268 26729906176 11641 33554432000 4194304 4196468 140725279667168 140725279649712 139681918889719 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
/proc/3984/statm: 6525856 11641 3374 1 0 6487932 0
[pid=3984/tid=3986] ppid=3981 vsize=26103424 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/3984/task/3986/stat : 3986 (java) R 3981 3984 3608 0 -1 4202560 8526 0 0 0 28 1 0 0 20 0 20 0 80446268 26729906176 11641 33554432000 4194304 4196468 140725279667168 139681923051456 139681875491804 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=3987] ppid=3981 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/3984/task/3987/stat : 3987 (java) S 3981 3984 3608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446269 26729906176 11641 33554432000 4194304 4196468 140725279667168 139681871510672 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=3988] ppid=3981 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/3984/task/3988/stat : 3988 (java) S 3981 3984 3608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446269 26729906176 11641 33554432000 4194304 4196468 140725279667168 139681870457872 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=3989] ppid=3981 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/3984/task/3989/stat : 3989 (java) S 3981 3984 3608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80446269 26729906176 11641 33554432000 4194304 4196468 140725279667168 139681869405072 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=3990] ppid=3981 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/3984/task/3990/stat : 3990 (java) S 3981 3984 3608 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80446269 26729906176 11641 33554432000 4194304 4196468 140725279667168 139681868352272 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=3991] ppid=3981 vsize=26103424 memory=2244 CPUtime=0 cores=0-7
/proc/3984/task/3991/stat : 3991 (java) S 3981 3984 3608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80446269 26729906176 11641 33554432000 4194304 4196468 140725279667168 139681867299472 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=3992] ppid=3981 vsize=26103424 memory=139859436073903 CPUtime=0 cores=0-7
/proc/3984/task/3992/stat : 3992 (java) S 3981 3984 3608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80446269 26729906176 11641 33554432000 4194304 4196468 140725279667168 139681472051728 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=3993] ppid=3981 vsize=26103424 memory=139859436076208 CPUtime=0 cores=0-7
/proc/3984/task/3993/stat : 3993 (java) S 3981 3984 3608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446269 26729906176 11641 33554432000 4194304 4196468 140725279667168 139681470998928 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=3994] ppid=3981 vsize=26103424 memory=139859436078512 CPUtime=0 cores=0-7
/proc/3984/task/3994/stat : 3994 (java) S 3981 3984 3608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80446269 26729906176 11641 33554432000 4194304 4196468 140725279667168 139681469946128 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=3995] ppid=3981 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/3984/task/3995/stat : 3995 (java) S 3981 3984 3608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80446271 26729906176 11641 33554432000 4194304 4196468 140725279667168 139680123652976 139681918900866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=3996] ppid=3981 vsize=26103424 memory=279718872163984 CPUtime=0 cores=0-7
/proc/3984/task/3996/stat : 3996 (java) S 3981 3984 3608 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 80446271 26729906176 11641 33554432000 4194304 4196468 140725279667168 139680122598944 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=3997] ppid=3981 vsize=26103424 memory=279718872170896 CPUtime=0 cores=0-7
/proc/3984/task/3997/stat : 3997 (java) S 3981 3984 3608 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 80446271 26729906176 11641 33554432000 4194304 4196468 140725279667168 139680053978480 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=3998] ppid=3981 vsize=26103424 memory=279718872112176 CPUtime=0 cores=0-7
/proc/3984/task/3998/stat : 3998 (java) S 3981 3984 3608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446274 26729906176 11641 33554432000 4194304 4196468 140725279667168 139680052926800 139681918908315 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=3999] ppid=3981 vsize=26103424 memory=279718872184720 CPUtime=0.02 cores=0-7
/proc/3984/task/3999/stat : 3999 (java) S 3981 3984 3608 0 -1 1077944384 393 0 0 0 2 0 0 0 20 0 20 0 80446274 26729906176 11641 33554432000 4194304 4196468 140725279667168 139680051874160 139681918900866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=4000] ppid=3981 vsize=26103424 memory=279718872191632 CPUtime=0 cores=0-7
/proc/3984/task/4000/stat : 4000 (java) S 3981 3984 3608 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 80446274 26729906176 11641 33554432000 4194304 4196468 140725279667168 139680050821360 139681918900866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=4001] ppid=3981 vsize=26103424 memory=279718872189328 CPUtime=0.01 cores=0-7
/proc/3984/task/4001/stat : 4001 (java) S 3981 3984 3608 0 -1 1077944384 209 0 0 0 1 0 0 0 20 0 20 0 80446274 26729906176 11641 33554432000 4194304 4196468 140725279667168 139680049768560 139681918900866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=4002] ppid=3981 vsize=26103424 memory=279718872205936 CPUtime=0.07 cores=0-7
/proc/3984/task/4002/stat : 4002 (java) S 3981 3984 3608 0 -1 1077944384 327 0 0 0 7 0 0 0 20 0 20 0 80446274 26729906176 11641 33554432000 4194304 4196468 140725279667168 139680048715760 139681918900866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=4003] ppid=3981 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/3984/task/4003/stat : 4003 (java) S 3981 3984 3608 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80446274 26729906176 11641 33554432000 4194304 4196468 140725279667168 139680047664224 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=4004] ppid=3981 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/3984/task/4004/stat : 4004 (java) S 3981 3984 3608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446274 26729906176 11641 33554432000 4194304 4196468 140725279667168 139680046611504 139681918900866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 46564 KiB
[startup+0.700888 s]
/proc/loadavg: 8.63 8.33 8.29 4/200 4004
/proc/meminfo: memFree=12904588/32770624 swapFree=67108852/67108860
[pid=3984] ppid=3981 vsize=26105492 memory=85424 CPUtime=0.98 cores=0-7
/proc/3984/stat : 3984 (java) S 3981 3984 3608 0 -1 1077944320 17807 0 0 0 94 4 0 0 20 0 20 0 80446268 26732023808 21356 33554432000 4194304 4196468 140725279667168 140725279649712 139681918889719 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
/proc/3984/statm: 6526373 21356 3486 1 0 6488444 0
[pid=3984/tid=3986] ppid=3981 vsize=26105492 memory=0 CPUtime=0.67 cores=0-7
/proc/3984/task/3986/stat : 3986 (java) R 3981 3984 3608 0 -1 4202560 15014 0 0 0 64 3 0 0 20 0 20 0 80446268 26732023808 21356 33554432000 4194304 4196468 140725279667168 139681923104832 139681897153411 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=3987] ppid=3981 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/3984/task/3987/stat : 3987 (java) S 3981 3984 3608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446269 26732023808 21356 33554432000 4194304 4196468 140725279667168 139681871510672 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=3988] ppid=3981 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/3984/task/3988/stat : 3988 (java) S 3981 3984 3608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446269 26732023808 21356 33554432000 4194304 4196468 140725279667168 139681870457872 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=3989] ppid=3981 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/3984/task/3989/stat : 3989 (java) S 3981 3984 3608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80446269 26732023808 21356 33554432000 4194304 4196468 140725279667168 139681869405072 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=3990] ppid=3981 vsize=26105492 memory=5372 CPUtime=0 cores=0-7
/proc/3984/task/3990/stat : 3990 (java) S 3981 3984 3608 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80446269 26732023808 21356 33554432000 4194304 4196468 140725279667168 139681868352272 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=3991] ppid=3981 vsize=26105492 memory=1440 CPUtime=0 cores=0-7
/proc/3984/task/3991/stat : 3991 (java) S 3981 3984 3608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80446269 26732023808 21356 33554432000 4194304 4196468 140725279667168 139681867299472 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=3992] ppid=3981 vsize=26105492 memory=4612 CPUtime=0 cores=0-7
/proc/3984/task/3992/stat : 3992 (java) S 3981 3984 3608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80446269 26732023808 21356 33554432000 4194304 4196468 140725279667168 139681472051728 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=3993] ppid=3981 vsize=26105492 memory=1200 CPUtime=0 cores=0-7
/proc/3984/task/3993/stat : 3993 (java) S 3981 3984 3608 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446269 26732023808 21356 33554432000 4194304 4196468 140725279667168 139681470998928 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=3994] ppid=3981 vsize=26105492 memory=15876 CPUtime=0 cores=0-7
/proc/3984/task/3994/stat : 3994 (java) S 3981 3984 3608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80446269 26732023808 21356 33554432000 4194304 4196468 140725279667168 139681469946128 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=3995] ppid=3981 vsize=26105492 memory=4044 CPUtime=0 cores=0-7
/proc/3984/task/3995/stat : 3995 (java) S 3981 3984 3608 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80446271 26732023808 21356 33554432000 4194304 4196468 140725279667168 139680123652976 139681918900866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
################
# More data... #
################
[pid=3984/tid=4012] ppid=3981 vsize=27852576 memory=1008 CPUtime=2488.93 cores=0-7
/proc/3984/task/4012/stat : 4012 (java) R 3981 3984 3608 0 -1 4202560 414818 0 0 0 248674 219 0 0 20 0 46 0 80446660 28521037824 1765246 33554432000 4194304 4196468 140725279667168 139680019499400 139681554687920 0 4 0 16800975 0 0 0 -1 1 0 0 18 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=4013] ppid=3981 vsize=27852576 memory=1952 CPUtime=2489.89 cores=0-7
/proc/3984/task/4013/stat : 4013 (java) R 3981 3984 3608 0 -1 4202560 432480 0 0 0 248768 221 0 0 20 0 46 0 80446660 28521037824 1765246 33554432000 4194304 4196468 140725279667168 139680018446264 139681557897873 0 4 0 16800975 0 0 0 -1 4 0 0 32 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=4014] ppid=3981 vsize=27852576 memory=8568 CPUtime=0.37 cores=0-7
/proc/3984/task/4014/stat : 4014 (java) S 3981 3984 3608 0 -1 1077944384 117 0 0 0 37 0 0 0 20 0 46 0 80446660 28521037824 1765246 33554432000 4194304 4196468 140725279667168 139680017401136 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=4015] ppid=3981 vsize=27852576 memory=1228 CPUtime=2490.46 cores=0-7
/proc/3984/task/4015/stat : 4015 (java) R 3981 3984 3608 0 -1 4202560 421148 0 0 0 248831 215 0 0 20 0 46 0 80446660 28521037824 1765246 33554432000 4194304 4196468 140725279667168 139680016340136 139681557899675 0 4 0 16800975 0 0 0 -1 0 0 0 21 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=4016] ppid=3981 vsize=27852576 memory=5372 CPUtime=0 cores=0-7
/proc/3984/task/4016/stat : 4016 (java) S 3981 3984 3608 0 -1 1077944384 610 0 0 0 0 0 0 0 20 0 46 0 80446660 28521037824 1765246 33554432000 4194304 4196468 140725279667168 139680015295536 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=4017] ppid=3981 vsize=27852576 memory=1440 CPUtime=0 cores=0-7
/proc/3984/task/4017/stat : 4017 (java) S 3981 3984 3608 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 46 0 80446825 28521037824 1765246 33554432000 4194304 4196468 140725279667168 139680014242736 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=4018] ppid=3981 vsize=27852576 memory=4612 CPUtime=2490.38 cores=0-7
/proc/3984/task/4018/stat : 4018 (java) R 3981 3984 3608 0 -1 4202560 421496 0 0 0 248828 210 0 0 20 0 46 0 80446825 28521037824 1765246 33554432000 4194304 4196468 140725279667168 139680013182648 139681551401184 0 4 0 16800975 0 0 0 -1 3 0 0 34 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=4019] ppid=3981 vsize=27852576 memory=1200 CPUtime=0 cores=0-7
/proc/3984/task/4019/stat : 4019 (java) S 3981 3984 3608 0 -1 1077944384 351 0 0 0 0 0 0 0 20 0 46 0 80446825 28521037824 1765246 33554432000 4194304 4196468 140725279667168 139680012138160 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=4020] ppid=3981 vsize=27852576 memory=15876 CPUtime=0 cores=0-7
/proc/3984/task/4020/stat : 4020 (java) S 3981 3984 3608 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 46 0 80446825 28521037824 1765246 33554432000 4194304 4196468 140725279667168 139680011085216 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=4021] ppid=3981 vsize=27852576 memory=4044 CPUtime=0 cores=0-7
/proc/3984/task/4021/stat : 4021 (java) S 3981 3984 3608 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 46 0 80446825 28521037824 1765246 33554432000 4194304 4196468 140725279667168 139680010032432 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=4022] ppid=3981 vsize=27852576 memory=13936 CPUtime=0 cores=0-7
/proc/3984/task/4022/stat : 4022 (java) S 3981 3984 3608 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 46 0 80446825 28521037824 1765246 33554432000 4194304 4196468 140725279667168 139680008979760 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=4023] ppid=3981 vsize=27852576 memory=16432 CPUtime=0 cores=0-7
/proc/3984/task/4023/stat : 4023 (java) S 3981 3984 3608 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 46 0 80446825 28521037824 1765246 33554432000 4194304 4196468 140725279667168 139680007926944 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=4024] ppid=3981 vsize=27852576 memory=1792 CPUtime=0 cores=0-7
/proc/3984/task/4024/stat : 4024 (java) S 3981 3984 3608 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 46 0 80446886 28521037824 1765246 33554432000 4194304 4196468 140725279667168 139680004740128 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=4025] ppid=3981 vsize=27852576 memory=644 CPUtime=0 cores=0-7
/proc/3984/task/4025/stat : 4025 (java) S 3981 3984 3608 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 46 0 80446888 28521037824 1765246 33554432000 4194304 4196468 140725279667168 139680003687216 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=4026] ppid=3981 vsize=27852576 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/3984/task/4026/stat : 4026 (java) S 3981 3984 3608 0 -1 1077944384 658 0 0 0 0 0 0 0 20 0 46 0 80446890 28521037824 1765246 33554432000 4194304 4196468 140725279667168 139680002634544 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=4027] ppid=3981 vsize=27852576 memory=288230583166042426 CPUtime=0 cores=0-7
/proc/3984/task/4027/stat : 4027 (java) S 3981 3984 3608 0 -1 1077944384 227 0 0 0 0 0 0 0 20 0 46 0 80446891 28521037824 1765246 33554432000 4194304 4196468 140725279667168 139680001582768 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=4028] ppid=3981 vsize=27852576 memory=13564881949427981 CPUtime=0 cores=0-7
/proc/3984/task/4028/stat : 4028 (java) S 3981 3984 3608 0 -1 1077944384 180 0 0 0 0 0 0 0 20 0 46 0 80446891 28521037824 1765246 33554432000 4194304 4196468 140725279667168 139680000529968 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=4029] ppid=3981 vsize=27852576 memory=4012 CPUtime=0 cores=0-7
/proc/3984/task/4029/stat : 4029 (java) S 3981 3984 3608 0 -1 1077944384 154 0 0 0 0 0 0 0 20 0 46 0 80446893 28521037824 1765246 33554432000 4194304 4196468 140725279667168 139679999477168 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=4030] ppid=3981 vsize=27852576 memory=23876 CPUtime=0 cores=0-7
/proc/3984/task/4030/stat : 4030 (java) S 3981 3984 3608 0 -1 1077944384 689 0 0 0 0 0 0 0 20 0 46 0 80446895 28521037824 1765246 33554432000 4194304 4196468 140725279667168 139679998424368 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
Current children cumulated CPU time: 20007 s
Current children cumulated vsize: 27852576 KiB
Current children cumulated memory: 7060984 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.31 s]
# the end of solver process 3984 was just reported to runsolver
# cumulated CPU time of all completed processes: user=19985.7 s, system=23.2618 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2520.2 s]
/proc/loadavg: 8.79 8.84 8.76 10/224 4067
/proc/meminfo: memFree=5897500/32770624 swapFree=67108852/67108860
[pid=3984] ppid=3981 vsize=28052268 memory=7061888 CPUtime=20008.4 cores=0-7
/proc/3984/stat : 3984 (java) S 3981 3984 3608 0 -1 1077944320 5434994 0 0 0 1998516 2321 0 0 20 0 48 0 80446268 28725522432 1765472 33554432000 4194304 4196468 140725279667168 140725279649712 139681918889719 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
/proc/3984/statm: 7013067 1765472 3635 1 0 6974617 0
[pid=3984/tid=3986] ppid=3981 vsize=28052268 memory=1300 CPUtime=3.72 cores=0-7
/proc/3984/task/3986/stat : 3986 (java) S 3981 3984 3608 0 -1 1077944384 22372 0 0 0 364 8 0 0 20 0 48 0 80446268 28725522432 1765472 33554432000 4194304 4196468 140725279667168 139681923127184 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=3987] ppid=3981 vsize=28052268 memory=1732 CPUtime=8.31 cores=0-7
/proc/3984/task/3987/stat : 3987 (java) S 3981 3984 3608 0 -1 1077944384 172296 0 0 0 770 61 0 0 20 0 48 0 80446269 28725522432 1765472 33554432000 4194304 4196468 140725279667168 139681871510672 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=3988] ppid=3981 vsize=28052268 memory=1716 CPUtime=8.19 cores=0-7
/proc/3984/task/3988/stat : 3988 (java) S 3981 3984 3608 0 -1 1077944384 188911 0 0 0 758 61 0 0 20 0 48 0 80446269 28725522432 1765472 33554432000 4194304 4196468 140725279667168 139681870457872 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=3989] ppid=3981 vsize=28052268 memory=796 CPUtime=8.21 cores=0-7
/proc/3984/task/3989/stat : 3989 (java) S 3981 3984 3608 0 -1 1077944384 183684 0 0 0 762 59 0 0 20 0 48 0 80446269 28725522432 1765472 33554432000 4194304 4196468 140725279667168 139681869405072 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=3990] ppid=3981 vsize=28052268 memory=11008 CPUtime=8.3 cores=0-7
/proc/3984/task/3990/stat : 3990 (java) S 3981 3984 3608 0 -1 1077944384 170989 0 0 0 768 62 0 0 20 0 48 0 80446269 28725522432 1765472 33554432000 4194304 4196468 140725279667168 139681868352272 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=3991] ppid=3981 vsize=28052268 memory=1008 CPUtime=8.33 cores=0-7
/proc/3984/task/3991/stat : 3991 (java) S 3981 3984 3608 0 -1 1077944384 192988 0 0 0 769 64 0 0 20 0 48 0 80446269 28725522432 1765472 33554432000 4194304 4196468 140725279667168 139681867299472 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=3992] ppid=3981 vsize=28052268 memory=1952 CPUtime=8.26 cores=0-7
/proc/3984/task/3992/stat : 3992 (java) S 3981 3984 3608 0 -1 1077944384 176354 0 0 0 766 60 0 0 20 0 48 0 80446269 28725522432 1765472 33554432000 4194304 4196468 140725279667168 139681472051728 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=3993] ppid=3981 vsize=28052268 memory=8568 CPUtime=8.24 cores=0-7
/proc/3984/task/3993/stat : 3993 (java) S 3981 3984 3608 0 -1 1077944384 193619 0 0 0 759 65 0 0 20 0 48 0 80446269 28725522432 1765472 33554432000 4194304 4196468 140725279667168 139681470998928 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=3994] ppid=3981 vsize=28052268 memory=34428457852750 CPUtime=8.27 cores=0-7
/proc/3984/task/3994/stat : 3994 (java) S 3981 3984 3608 0 -1 1077944384 169683 0 0 0 766 61 0 0 20 0 48 0 80446269 28725522432 1765472 33554432000 4194304 4196468 140725279667168 139681469946128 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=3995] ppid=3981 vsize=28052268 memory=6297556650675366506 CPUtime=3.93 cores=0-7
/proc/3984/task/3995/stat : 3995 (java) S 3981 3984 3608 0 -1 1077944384 221466 0 0 0 339 54 0 0 20 0 48 0 80446271 28725522432 1765472 33554432000 4194304 4196468 140725279667168 139680123652976 139681918900866 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=3996] ppid=3981 vsize=28052268 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/3984/task/3996/stat : 3996 (java) S 3981 3984 3608 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 48 0 80446271 28725522432 1765472 33554432000 4194304 4196468 140725279667168 139680122599008 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=3997] ppid=3981 vsize=28052268 memory=288230583166042426 CPUtime=0 cores=0-7
/proc/3984/task/3997/stat : 3997 (java) S 3981 3984 3608 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 48 0 80446271 28725522432 1765472 33554432000 4194304 4196468 140725279667168 139680053978496 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=3998] ppid=3981 vsize=28052268 memory=13564881949427981 CPUtime=0 cores=0-7
/proc/3984/task/3998/stat : 3998 (java) S 3981 3984 3608 0 -1 1077944384 208 0 0 0 0 0 0 0 20 0 48 0 80446274 28725522432 1765472 33554432000 4194304 4196468 140725279667168 139680052926800 139681918908315 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=3999] ppid=3981 vsize=28052268 memory=-6733704525061579059 CPUtime=2.38 cores=0-7
/proc/3984/task/3999/stat : 3999 (java) S 3981 3984 3608 0 -1 1077944384 8651 0 0 0 234 4 0 0 20 0 48 0 80446274 28725522432 1765472 33554432000 4194304 4196468 140725279667168 139680051874160 139681918900866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=4000] ppid=3981 vsize=28052268 memory=4126316290023845779 CPUtime=2.06 cores=0-7
/proc/3984/task/4000/stat : 4000 (java) S 3981 3984 3608 0 -1 1077944384 9429 0 0 0 205 1 0 0 20 0 48 0 80446274 28725522432 1765472 33554432000 4194304 4196468 140725279667168 139680050821360 139681918900866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=4001] ppid=3981 vsize=28052268 memory=1408 CPUtime=1.76 cores=0-7
/proc/3984/task/4001/stat : 4001 (java) S 3981 3984 3608 0 -1 1077944384 7617 0 0 0 174 2 0 0 20 0 48 0 80446274 28725522432 1765472 33554432000 4194304 4196468 140725279667168 139680049768560 139681918900866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=4002] ppid=3981 vsize=28052268 memory=4584 CPUtime=1.45 cores=0-7
/proc/3984/task/4002/stat : 4002 (java) S 3981 3984 3608 0 -1 1077944384 29179 0 0 0 138 7 0 0 20 0 48 0 80446274 28725522432 1765472 33554432000 4194304 4196468 140725279667168 139680048715760 139681918900866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 74 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=4003] ppid=3981 vsize=28052268 memory=7030816 CPUtime=0 cores=0-7
/proc/3984/task/4003/stat : 4003 (java) S 3981 3984 3608 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 48 0 80446274 28725522432 1765472 33554432000 4194304 4196468 140725279667168 139680047664224 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=4004] ppid=3981 vsize=28052268 memory=4100 CPUtime=1.02 cores=0-7
/proc/3984/task/4004/stat : 4004 (java) S 3981 3984 3608 0 -1 1077944384 10730 0 0 0 79 23 0 0 20 0 48 0 80446274 28725522432 1765472 33554432000 4194304 4196468 140725279667168 139680046611504 139681918900866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 72 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=4005] ppid=3981 vsize=28052268 memory=-6733704525061579059 CPUtime=0 cores=0-7
/proc/3984/task/4005/stat : 4005 (java) S 3981 3984 3608 0 -1 1077944384 669 0 0 0 0 0 0 0 20 0 48 0 80446617 28725522432 1765472 33554432000 4194304 4196468 140725279667168 139680033166464 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=4006] ppid=3981 vsize=28052268 memory=4126316290023845779 CPUtime=5.12 cores=0-7
/proc/3984/task/4006/stat : 4006 (java) S 3981 3984 3608 0 -1 1077944384 23692 0 0 0 278 234 0 0 20 0 48 0 80446638 28725522432 1765472 33554432000 4194304 4196468 140725279667168 139680030016688 139681918900866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=4007] ppid=3981 vsize=28052268 memory=13564881949427981 CPUtime=2490.12 cores=0-7
/proc/3984/task/4007/stat : 4007 (java) R 3981 3984 3608 0 -1 4202560 424425 0 0 0 248798 214 0 0 20 0 48 0 80446653 28725522432 1765472 33554432000 4194304 4196468 140725279667168 139680026859152 139681557896571 0 4 0 16800975 0 0 0 -1 2 0 0 30 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=4008] ppid=3981 vsize=28052268 memory=6004532412366483818 CPUtime=2492.23 cores=0-7
/proc/3984/task/4008/stat : 4008 (java) R 3981 3984 3608 0 -1 4202560 533040 0 0 0 248994 229 0 0 20 0 48 0 80446653 28725522432 1765472 33554432000 4194304 4196468 140725279667168 139680025808112 139681557896571 0 4 0 16800975 0 0 0 -1 4 0 0 35 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=4009] ppid=3981 vsize=28052268 memory=6004532412366483818 CPUtime=2488.82 cores=0-7
/proc/3984/task/4009/stat : 4009 (java) R 3981 3984 3608 0 -1 4202560 573652 0 0 0 248641 241 0 0 20 0 48 0 80446653 28725522432 1765472 33554432000 4194304 4196468 140725279667168 139680024755368 139681556978787 0 4 0 16800975 0 0 0 -1 7 0 0 33 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=4010] ppid=3981 vsize=28052268 memory=8112282956445269571 CPUtime=0.35 cores=0-7
/proc/3984/task/4010/stat : 4010 (java) S 3981 3984 3608 0 -1 1077944384 167 0 0 0 34 1 0 0 20 0 48 0 80446660 28725522432 1765472 33554432000 4194304 4196468 140725279667168 139680021604560 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=4011] ppid=3981 vsize=28052268 memory=6944656592385698452 CPUtime=2488.26 cores=0-7
/proc/3984/task/4011/stat : 4011 (java) R 3981 3984 3608 0 -1 4202560 423021 0 0 0 248615 211 0 0 20 0 48 0 80446660 28725522432 1765472 33554432000 4194304 4196468 140725279667168 139680020553504 139681562903586 0 4 0 16800975 0 0 0 -1 5 0 0 35 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=4012] ppid=3981 vsize=28052268 memory=6943487855420614559 CPUtime=2489.07 cores=0-7
/proc/3984/task/4012/stat : 4012 (java) R 3981 3984 3608 0 -1 4202560 414828 0 0 0 248688 219 0 0 20 0 48 0 80446660 28725522432 1765472 33554432000 4194304 4196468 140725279667168 139680019498480 139681562903918 0 4 0 16800975 0 0 0 -1 3 0 0 18 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=4013] ppid=3981 vsize=28052268 memory=6944656592455097440 CPUtime=2490.06 cores=0-7
/proc/3984/task/4013/stat : 4013 (java) R 3981 3984 3608 0 -1 4202560 432969 0 0 0 248784 222 0 0 20 0 48 0 80446660 28725522432 1765472 33554432000 4194304 4196468 140725279667168 139680018446224 139681557899585 0 4 0 16800975 0 0 0 -1 0 0 0 32 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=4014] ppid=3981 vsize=28052268 memory=6655300316396806240 CPUtime=0.37 cores=0-7
/proc/3984/task/4014/stat : 4014 (java) S 3981 3984 3608 0 -1 1077944384 120 0 0 0 37 0 0 0 20 0 48 0 80446660 28725522432 1765472 33554432000 4194304 4196468 140725279667168 139680017401136 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=4015] ppid=3981 vsize=28052268 memory=0 CPUtime=2490.63 cores=0-7
/proc/3984/task/4015/stat : 4015 (java) R 3981 3984 3608 0 -1 4202560 421154 0 0 0 248848 215 0 0 20 0 48 0 80446660 28725522432 1765472 33554432000 4194304 4196468 140725279667168 139680016342304 139681557899585 0 4 0 16800975 0 0 0 -1 6 0 0 21 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=4016] ppid=3981 vsize=28052268 memory=0 CPUtime=0.02 cores=0-7
/proc/3984/task/4016/stat : 4016 (java) S 3981 3984 3608 0 -1 1077944384 1128 0 0 0 2 0 0 0 20 0 48 0 80446660 28725522432 1765472 33554432000 4194304 4196468 140725279667168 139680015295536 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=4017] ppid=3981 vsize=28052268 memory=0 CPUtime=0 cores=0-7
/proc/3984/task/4017/stat : 4017 (java) S 3981 3984 3608 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 48 0 80446825 28725522432 1765472 33554432000 4194304 4196468 140725279667168 139680014242736 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=4018] ppid=3981 vsize=28052268 memory=279718872368512 CPUtime=2490.54 cores=0-7
/proc/3984/task/4018/stat : 4018 (java) R 3981 3984 3608 0 -1 4202560 421537 0 0 0 248844 210 0 0 20 0 48 0 80446825 28725522432 1765472 33554432000 4194304 4196468 140725279667168 139680013181488 139681557030144 0 4 0 16800975 0 0 0 -1 1 0 0 34 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=4019] ppid=3981 vsize=28052268 memory=8562125494162282060 CPUtime=0 cores=0-7
/proc/3984/task/4019/stat : 4019 (java) S 3981 3984 3608 0 -1 1077944384 376 0 0 0 0 0 0 0 20 0 48 0 80446825 28725522432 1765472 33554432000 4194304 4196468 140725279667168 139680012133296 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=4020] ppid=3981 vsize=28052268 memory=-4695043397844020537 CPUtime=0 cores=0-7
/proc/3984/task/4020/stat : 4020 (java) S 3981 3984 3608 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 48 0 80446825 28725522432 1765472 33554432000 4194304 4196468 140725279667168 139680011085216 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=4021] ppid=3981 vsize=28052268 memory=-2026666227646604569 CPUtime=0 cores=0-7
/proc/3984/task/4021/stat : 4021 (java) S 3981 3984 3608 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 48 0 80446825 28725522432 1765472 33554432000 4194304 4196468 140725279667168 139680010032432 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=4022] ppid=3981 vsize=28052268 memory=-7022074515825631275 CPUtime=0.01 cores=0-7
/proc/3984/task/4022/stat : 4022 (java) R 3981 3984 3608 0 -1 1077944384 492 0 0 0 1 0 0 0 20 0 48 0 80446825 28725522432 1765472 33554432000 4194304 4196468 140725279667168 139680008975440 139681918899925 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=4023] ppid=3981 vsize=28052268 memory=-2892745056948402235 CPUtime=0 cores=0-7
/proc/3984/task/4023/stat : 4023 (java) S 3981 3984 3608 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 48 0 80446825 28725522432 1765472 33554432000 4194304 4196468 140725279667168 139680007926944 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=4024] ppid=3981 vsize=28052268 memory=4639948313719891052 CPUtime=0 cores=0-7
/proc/3984/task/4024/stat : 4024 (java) S 3981 3984 3608 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 48 0 80446886 28725522432 1765472 33554432000 4194304 4196468 140725279667168 139680004740128 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=4025] ppid=3981 vsize=28052268 memory=4639948313719891052 CPUtime=0 cores=0-7
/proc/3984/task/4025/stat : 4025 (java) S 3981 3984 3608 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 48 0 80446888 28725522432 1765472 33554432000 4194304 4196468 140725279667168 139680003687216 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=4026] ppid=3981 vsize=28052268 memory=6976756 CPUtime=0 cores=0-7
/proc/3984/task/4026/stat : 4026 (java) S 3981 3984 3608 0 -1 1077944384 719 0 0 0 0 0 0 0 20 0 48 0 80446890 28725522432 1765472 33554432000 4194304 4196468 140725279667168 139680002630224 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=4027] ppid=3981 vsize=28052268 memory=4100 CPUtime=0 cores=0-7
/proc/3984/task/4027/stat : 4027 (java) R 3981 3984 3608 0 -1 1077944384 253 0 0 0 0 0 0 0 20 0 48 0 80446891 28725522432 1765472 33554432000 4194304 4196468 140725279667168 139680001576016 139681918899925 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=4028] ppid=3981 vsize=28052268 memory=-6733704525061579059 CPUtime=0 cores=0-7
/proc/3984/task/4028/stat : 4028 (java) S 3981 3984 3608 0 -1 1077944384 205 0 0 0 0 0 0 0 20 0 48 0 80446891 28725522432 1765472 33554432000 4194304 4196468 140725279667168 139680000529968 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=4029] ppid=3981 vsize=28052268 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/3984/task/4029/stat : 4029 (java) S 3981 3984 3608 0 -1 1077944384 177 0 0 0 0 0 0 0 20 0 48 0 80446893 28725522432 1765472 33554432000 4194304 4196468 140725279667168 139679999470320 139681918900866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
[pid=3984/tid=4030] ppid=3981 vsize=28052268 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/3984/task/4030/stat : 4030 (java) S 3981 3984 3608 0 -1 1077944384 711 0 0 0 0 0 0 0 20 0 48 0 80446895 28725522432 1765472 33554432000 4194304 4196468 140725279667168 139679998424368 139681918899925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38887424 140725279675470 140725279675653 140725279675653 140725279678415 0
Current children cumulated CPU time: 20008.4 s
Current children cumulated vsize: 28052268 KiB
Current children cumulated memory: 7061888 KiB
[startup+2520.3 s]*
/proc/loadavg: 8.79 8.84 8.76 2/180 4070
/proc/meminfo: memFree=12647480/32770624 swapFree=67108852/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 2520.31
CPU time (s): 20008.9
CPU user time (s): 19985.7
CPU system time (s): 23.2618
CPU usage (%): 793.906
Max. virtual memory (cumulated for all children) (KiB): 28052268
Max. memory (cumulated for all children) (KiB): 7061888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19985.7
system time used= 23.2618
maximum resident set size= 7063028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5435502
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4576
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 517666
involuntary context switches= 420930
# summary of solver processes directly reported to runsolver:
# pid: 3984
# total CPU time (s): 20008.9
# total CPU user time (s): 19985.7
# total CPU system time (s): 23.2618
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 27.3196 second user time and 35.8883 second system time
The end
Begin job on node148 at 2018-07-26 20:13:51 IDJOB=4290952 IDBENCH=141037 IDSOLVER=2745 FILE ID=node148/4290952-1532628831 RUNJOBID= node148-1532623784-3635 PBS_JOBID= 21022021 Free space on /tmp= 43264 MiB SOLVER NAME= OscaR - Parallel with EPS 2018-07-02 BENCH NAME= XCSP18/StillLife/StillLife-wastage-21_c18.xml COMMAND LINE= java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4290952-1532628831/watcher-4290952-1532628831 -o /tmp/evaluation-result-4290952-1532628831/solver-4290952-1532628831 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1532623784-3635 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 259530029 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4290952-1532628831.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= a6f0507a9e94bceb0819229116432592 RANDOM SEED=259530029 node148.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.50 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.50 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.50 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.50 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: 12960548 kB MemAvailable: 31931332 kB Buffers: 231552 kB Cached: 18673364 kB SwapCached: 8 kB Active: 2477676 kB Inactive: 16477752 kB Active(anon): 4068 kB Inactive(anon): 74276 kB Active(file): 2473608 kB Inactive(file): 16403476 kB Unevictable: 7080 kB Mlocked: 7080 kB SwapTotal: 67108860 kB SwapFree: 67108852 kB Dirty: 36016 kB Writeback: 0 kB AnonPages: 61220 kB Mapped: 40184 kB Shmem: 25216 kB Slab: 549840 kB SReclaimable: 522160 kB SUnreclaim: 27680 kB KernelStack: 3456 kB PageTables: 5168 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323776 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 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= 43228 MiB End job on node148 at 2018-07-26 20:55:52