Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| OscaR - Conflict Ordering with restarts 2018-08-14 | SAT (TO) | 193 | 2520.11 | 2491.13 |
| Name | StillLife/ StillLife-wastage-21_c18.xml |
| MD5SUM | a6f0507a9e94bceb0819229116432592 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 232 |
| Best CPU time to get the best result obtained on this benchmark | 194.302 |
| 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.68/0.56 c version: 2018-08-14 0.68/0.56 c seed: 1312633322 0.68/0.56 c timeout: 2520 0.68/0.56 c memlimit: 11000 0.68/0.56 c nbcore: 4 0.68/0.58 c Parsing instance... 4.07/1.93 c Parsing done, starting search... 4.73/2.13 o 92 4.73/2.20 o 94 5.02/2.20 o 95 5.02/2.20 o 96 5.02/2.20 o 97 5.02/2.20 o 98 5.02/2.20 o 99 5.02/2.21 o 100 5.02/2.21 o 101 5.02/2.21 o 102 5.02/2.21 o 103 5.02/2.21 o 104 5.02/2.21 o 105 5.02/2.21 o 106 5.02/2.21 o 107 5.02/2.21 o 108 5.02/2.22 o 109 5.02/2.22 o 110 5.02/2.22 o 111 5.02/2.22 o 112 5.02/2.22 o 113 5.02/2.22 o 114 5.02/2.23 o 115 5.02/2.23 o 116 5.02/2.23 o 117 5.02/2.23 o 118 5.02/2.23 o 119 5.02/2.24 o 120 5.02/2.24 o 121 5.02/2.24 o 122 5.02/2.24 o 123 5.02/2.24 o 124 5.02/2.24 o 125 5.02/2.24 o 126 5.02/2.24 o 127 5.02/2.24 o 128 5.02/2.24 o 129 5.02/2.24 o 130 5.02/2.24 o 131 5.02/2.24 o 132 5.02/2.24 o 133 5.02/2.25 o 134 5.02/2.25 o 135 5.02/2.25 o 136 5.02/2.25 o 137 5.02/2.25 o 138 5.02/2.25 o 139 5.02/2.25 o 140 5.02/2.25 o 141 5.02/2.25 o 142 5.02/2.25 o 143 5.02/2.26 o 144 5.02/2.26 o 145 5.02/2.26 o 146 5.02/2.26 o 147 5.02/2.26 o 148 5.02/2.26 o 149 5.02/2.26 o 150 5.02/2.26 o 151 5.02/2.26 o 152 5.02/2.26 o 153 5.02/2.27 o 154 5.02/2.27 o 155 5.02/2.27 o 156 5.02/2.27 o 157 5.02/2.27 o 158 5.02/2.27 o 159 5.02/2.27 o 160 5.02/2.27 o 161 5.02/2.27 o 162 5.02/2.27 o 163 5.02/2.28 o 164 5.02/2.28 o 165 5.02/2.28 o 166 5.02/2.28 o 167 5.02/2.28 o 168 5.02/2.28 o 169 5.02/2.28 o 170 5.02/2.28 o 171 5.02/2.28 o 172 5.02/2.29 o 173 5.35/2.34 o 174 5.35/2.34 o 175 5.35/2.34 o 176 5.66/2.43 o 177 12.88/8.59 o 178 13.17/8.72 o 179 21.49/16.93 o 180 24.00/19.40 o 181 24.10/19.53 o 182 101.34/96.68 o 183 101.45/96.74 o 184 118.97/114.28 o 185 127.98/123.24 o 186 151.13/146.38 o 187 159.74/154.91 o 188 175.48/170.63 o 189 176.29/171.44 o 190 176.40/171.50 o 191 742.27/733.20 o 192 928.25/917.57 o 193 2520.08/2491.11 s SATISFIABLE 2520.08/2491.11 v <instantiation> 2520.08/2491.11 v <list> 2520.08/2491.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 2520.08/2491.11 v </list> 2520.08/2491.11 v <values> 2520.08/2491.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 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 1 0 0 0 1 1 0 0 1 0 1 0 0 0 1 1 0 1 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 1 0 1 1 1 0 0 0 1 1 1 0 0 1 1 0 0 0 0 1 1 0 0 1 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 1 1 1 1 0 0 1 1 0 1 0 1 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 1 1 1 0 1 1 0 1 0 1 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 1 0 1 1 0 1 1 1 1 0 1 1 0 1 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 1 1 0 1 0 0 1 1 1 1 0 0 0 1 0 1 0 1 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 1 0 0 1 1 1 0 1 1 1 1 1 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 1 0 1 1 0 0 1 0 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 1 1 1 1 1 0 1 0 0 0 1 0 1 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 1 1 1 0 1 1 1 1 0 0 1 0 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 0 1 0 0 1 0 1 1 1 1 0 1 1 0 0 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 0 0 1 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 1 0 1 0 0 1 1 1 1 1 1 0 1 0 0 1 1 1 0 1 0 0 1 1 1 0 1 1 0 2 1 2 2 1 1 0 0 0 1 2 0 1 0 1 0 1 1 0 0 0 0 0 0 1 1 2 1 0 0 0 1 0 0 1 0 0 0 0 1 1 1 0 0 1 0 0 0 1 2 1 1 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 2 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 2 1 1 2 1 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 1 2 1 2 2 1 0 0 0 0 0 2 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 1 1 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 1 0 0 0 0 2 0 0 1 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 1 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 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 0 0 1 0 2 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 0 1 1 1 0 0 0 0 1 0 0 1 0 1 0 0 1 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 1 0 1 0 0 0 1 1 1 1 1 0 0 1 0 0 0 0 0 1 1 2 2 1 0 0 0 1 0 0 1 1 1 0 0 1 0 1 1 0 0 1 0 1 1 1 0 13 32 41 52 61 66 79 93 98 105 113 117 121 126 129 134 141 145 150 163 169 183 194 193 2520.08/2491.11 v </values> 2520.08/2491.11 v </instantiation>
OK 193
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 (10068 MiB free)
memory of node 1: 16384 MiB (12974 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307785-1534268243/watcher-4307785-1534268243 -o /tmp/evaluation-result-4307785-1534268243/solver-4307785-1534268243 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534258226-10046 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1312633322 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4307785-1534268243.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=11087, runsolver pid=11084
[startup+0.100062 s]*
/proc/loadavg: 1.42 1.48 1.38 4/215 11102
/proc/meminfo: memFree=23575584/32770624 swapFree=67059116/67108860
[pid=11087] ppid=11084 vsize=14082736 memory=33696 CPUtime=0.12 cores=1,3,5,7
/proc/11087/stat : 11087 (java) S 11084 11087 10014 0 -1 1077944320 6801 0 0 0 11 1 0 0 20 0 15 0 244387491 14420721664 8424 33554432000 4194304 4196468 140724945724656 140724945707200 140233963720439 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
/proc/11087/statm: 3520684 8424 3152 1 0 3482761 0
[pid=11087/tid=11089] ppid=11084 vsize=14082736 memory=-8557575366716198013 CPUtime=0.09 cores=1,3,5,7
/proc/11087/task/11089/stat : 11089 (java) R 11084 11087 10014 0 -1 4202560 4854 0 0 0 8 1 0 0 20 0 15 0 244387491 14420721664 8424 33554432000 4194304 4196468 140724945724656 140233967920856 140233963742365 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11090] ppid=11084 vsize=14082736 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/11087/task/11090/stat : 11090 (java) S 11084 11087 10014 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244387492 14420721664 8424 33554432000 4194304 4196468 140724945724656 140233916340496 140233963730645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11091] ppid=11084 vsize=14082736 memory=140168417437312 CPUtime=0 cores=1,3,5,7
/proc/11087/task/11091/stat : 11091 (java) S 11084 11087 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244387492 14420721664 8424 33554432000 4194304 4196468 140724945724656 140233915287952 140233963730645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11092] ppid=11084 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11087/task/11092/stat : 11092 (java) S 11084 11087 10014 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244387492 14420721664 8424 33554432000 4194304 4196468 140724945724656 140233914235408 140233963730645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11093] ppid=11084 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11087/task/11093/stat : 11093 (java) S 11084 11087 10014 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244387492 14420721664 8424 33554432000 4194304 4196468 140724945724656 140233913182864 140233963730645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11094] ppid=11084 vsize=14082736 memory=140168417437312 CPUtime=0 cores=1,3,5,7
/proc/11087/task/11094/stat : 11094 (java) S 11084 11087 10014 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244387493 14420721664 8424 33554432000 4194304 4196468 140724945724656 140233167759856 140233963731586 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11095] ppid=11084 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11087/task/11095/stat : 11095 (java) S 11084 11087 10014 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 244387494 14420721664 8424 33554432000 4194304 4196468 140724945724656 140233166706080 140233963730645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11096] ppid=11084 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11087/task/11096/stat : 11096 (java) S 11084 11087 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244387494 14420721664 8424 33554432000 4194304 4196468 140724945724656 140233075598832 140233963730645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11097] ppid=11084 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11087/task/11097/stat : 11097 (java) S 11084 11087 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244387496 14420721664 8424 33554432000 4194304 4196468 140724945724656 140233074547408 140233963739035 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11098] ppid=11084 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11087/task/11098/stat : 11098 (java) S 11084 11087 10014 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 244387496 14420721664 8424 33554432000 4194304 4196468 140724945724656 140233073494000 140233963731586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11099] ppid=11084 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11087/task/11099/stat : 11099 (java) S 11084 11087 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244387496 14420721664 8424 33554432000 4194304 4196468 140724945724656 140233072441456 140233963731586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11100] ppid=11084 vsize=14082736 memory=140168417437312 CPUtime=0.01 cores=1,3,5,7
/proc/11087/task/11100/stat : 11100 (java) S 11084 11087 10014 0 -1 1077944384 289 0 0 0 1 0 0 0 20 0 15 0 244387496 14420721664 8424 33554432000 4194304 4196468 140724945724656 140233071388912 140233963731586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11101] ppid=11084 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11087/task/11101/stat : 11101 (java) S 11084 11087 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244387497 14420721664 8424 33554432000 4194304 4196468 140724945724656 140233070336608 140233963730645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11102] ppid=11084 vsize=14082736 memory=140168417437312 CPUtime=0 cores=1,3,5,7
/proc/11087/task/11102/stat : 11102 (java) S 11084 11087 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244387497 14420721664 8424 33554432000 4194304 4196468 140724945724656 140233069284144 140233963731586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 33696 KiB
[startup+0.210293 s]*
/proc/loadavg: 1.42 1.48 1.38 6/215 11102
/proc/meminfo: memFree=23560080/32770624 swapFree=67059116/67108860
[pid=11087] ppid=11084 vsize=14082736 memory=49232 CPUtime=0.3 cores=1,3,5,7
/proc/11087/stat : 11087 (java) S 11084 11087 10014 0 -1 1077944320 10408 0 0 0 28 2 0 0 20 0 15 0 244387491 14420721664 12308 33554432000 4194304 4196468 140724945724656 140724945707200 140233963720439 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
/proc/11087/statm: 3520684 12308 3345 1 0 3482761 0
[pid=11087/tid=11089] ppid=11084 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/11087/task/11089/stat : 11089 (java) R 11084 11087 10014 0 -1 4202560 8190 0 0 0 18 2 0 0 20 0 15 0 244387491 14420721664 12308 33554432000 4194304 4196468 140724945724656 140233967937184 140233584963044 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11090] ppid=11084 vsize=14082736 memory=365 CPUtime=0 cores=1,3,5,7
/proc/11087/task/11090/stat : 11090 (java) S 11084 11087 10014 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244387492 14420721664 12308 33554432000 4194304 4196468 140724945724656 140233916340496 140233963730645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11091] ppid=11084 vsize=14082736 memory=288370544569149056 CPUtime=0 cores=1,3,5,7
/proc/11087/task/11091/stat : 11091 (java) S 11084 11087 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244387492 14420721664 12308 33554432000 4194304 4196468 140724945724656 140233915287952 140233963730645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11092] ppid=11084 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11087/task/11092/stat : 11092 (java) S 11084 11087 10014 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244387492 14420721664 12308 33554432000 4194304 4196468 140724945724656 140233914235408 140233963730645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11093] ppid=11084 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11087/task/11093/stat : 11093 (java) S 11084 11087 10014 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244387492 14420721664 12308 33554432000 4194304 4196468 140724945724656 140233913182864 140233963730645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11094] ppid=11084 vsize=14082736 memory=140168417437312 CPUtime=0 cores=1,3,5,7
/proc/11087/task/11094/stat : 11094 (java) S 11084 11087 10014 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 244387493 14420721664 12308 33554432000 4194304 4196468 140724945724656 140233167759856 140233963731586 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11095] ppid=11084 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11087/task/11095/stat : 11095 (java) S 11084 11087 10014 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 244387494 14420721664 12308 33554432000 4194304 4196468 140724945724656 140233166706080 140233963730645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11096] ppid=11084 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11087/task/11096/stat : 11096 (java) S 11084 11087 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244387494 14420721664 12308 33554432000 4194304 4196468 140724945724656 140233075598832 140233963730645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11097] ppid=11084 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11087/task/11097/stat : 11097 (java) S 11084 11087 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244387496 14420721664 12308 33554432000 4194304 4196468 140724945724656 140233074547408 140233963739035 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11098] ppid=11084 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/11087/task/11098/stat : 11098 (java) R 11084 11087 10014 0 -1 1077944384 323 0 0 0 1 0 0 0 20 0 15 0 244387496 14420721664 12308 33554432000 4194304 4196468 140724945724656 140233073494000 140233963731586 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11099] ppid=11084 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/11087/task/11099/stat : 11099 (java) R 11084 11087 10014 0 -1 4202560 229 0 0 0 2 0 0 0 20 0 15 0 244387496 14420721664 12308 33554432000 4194304 4196468 140724945724656 140233072441456 140233949864064 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11100] ppid=11084 vsize=14082736 memory=140168417437312 CPUtime=0.06 cores=1,3,5,7
/proc/11087/task/11100/stat : 11100 (java) R 11084 11087 10014 0 -1 4202560 315 0 0 0 6 0 0 0 20 0 15 0 244387496 14420721664 12308 33554432000 4194304 4196468 140724945724656 140233071383296 140233942670373 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11101] ppid=11084 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11087/task/11101/stat : 11101 (java) S 11084 11087 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244387497 14420721664 12308 33554432000 4194304 4196468 140724945724656 140233070336608 140233963730645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11102] ppid=11084 vsize=14082736 memory=140168417437312 CPUtime=0 cores=1,3,5,7
/proc/11087/task/11102/stat : 11102 (java) S 11084 11087 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244387497 14420721664 12308 33554432000 4194304 4196468 140724945724656 140233069284144 140233963731586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 49232 KiB
[startup+0.310514 s]*
/proc/loadavg: 1.42 1.48 1.38 4/215 11102
/proc/meminfo: memFree=23556608/32770624 swapFree=67059116/67108860
[pid=11087] ppid=11084 vsize=14082736 memory=52880 CPUtime=0.44 cores=1,3,5,7
/proc/11087/stat : 11087 (java) S 11084 11087 10014 0 -1 1077944320 10824 0 0 0 42 2 0 0 20 0 15 0 244387491 14420721664 13220 33554432000 4194304 4196468 140724945724656 140724945707200 140233963720439 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
/proc/11087/statm: 3520684 13220 3418 1 0 3482761 0
[pid=11087/tid=11089] ppid=11084 vsize=14082736 memory=7022364594140610616 CPUtime=0.29 cores=1,3,5,7
/proc/11087/task/11089/stat : 11089 (java) R 11084 11087 10014 0 -1 4202560 8522 0 0 0 27 2 0 0 20 0 15 0 244387491 14420721664 13220 33554432000 4194304 4196468 140724945724656 140233967931952 140233946918072 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11090] ppid=11084 vsize=14082736 memory=4294979972 CPUtime=0 cores=1,3,5,7
/proc/11087/task/11090/stat : 11090 (java) S 11084 11087 10014 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244387492 14420721664 13220 33554432000 4194304 4196468 140724945724656 140233916340496 140233963730645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11091] ppid=11084 vsize=14082736 memory=288370544569149056 CPUtime=0 cores=1,3,5,7
/proc/11087/task/11091/stat : 11091 (java) S 11084 11087 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244387492 14420721664 13220 33554432000 4194304 4196468 140724945724656 140233915287952 140233963730645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11092] ppid=11084 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11087/task/11092/stat : 11092 (java) S 11084 11087 10014 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244387492 14420721664 13220 33554432000 4194304 4196468 140724945724656 140233914235408 140233963730645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11093] ppid=11084 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11087/task/11093/stat : 11093 (java) S 11084 11087 10014 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244387492 14420721664 13220 33554432000 4194304 4196468 140724945724656 140233913182864 140233963730645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11094] ppid=11084 vsize=14082736 memory=140168417437312 CPUtime=0 cores=1,3,5,7
/proc/11087/task/11094/stat : 11094 (java) S 11084 11087 10014 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 244387493 14420721664 13220 33554432000 4194304 4196468 140724945724656 140233167759856 140233963731586 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11095] ppid=11084 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11087/task/11095/stat : 11095 (java) S 11084 11087 10014 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 244387494 14420721664 13220 33554432000 4194304 4196468 140724945724656 140233166706080 140233963730645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11096] ppid=11084 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11087/task/11096/stat : 11096 (java) S 11084 11087 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244387494 14420721664 13220 33554432000 4194304 4196468 140724945724656 140233075598832 140233963730645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11097] ppid=11084 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11087/task/11097/stat : 11097 (java) S 11084 11087 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244387496 14420721664 13220 33554432000 4194304 4196468 140724945724656 140233074547408 140233963739035 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11098] ppid=11084 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/11087/task/11098/stat : 11098 (java) S 11084 11087 10014 0 -1 1077944384 342 0 0 0 2 0 0 0 20 0 15 0 244387496 14420721664 13220 33554432000 4194304 4196468 140724945724656 140233073494000 140233963731586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11099] ppid=11084 vsize=14082736 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/11087/task/11099/stat : 11099 (java) S 11084 11087 10014 0 -1 1077944384 272 0 0 0 3 0 0 0 20 0 15 0 244387496 14420721664 13220 33554432000 4194304 4196468 140724945724656 140233072441456 140233963731586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11100] ppid=11084 vsize=14082736 memory=140168417437312 CPUtime=0.08 cores=1,3,5,7
/proc/11087/task/11100/stat : 11100 (java) S 11084 11087 10014 0 -1 1077944384 325 0 0 0 8 0 0 0 20 0 15 0 244387496 14420721664 13220 33554432000 4194304 4196468 140724945724656 140233071388912 140233963731586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11101] ppid=11084 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11087/task/11101/stat : 11101 (java) S 11084 11087 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244387497 14420721664 13220 33554432000 4194304 4196468 140724945724656 140233070336608 140233963730645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11102] ppid=11084 vsize=14082736 memory=140168417437312 CPUtime=0 cores=1,3,5,7
/proc/11087/task/11102/stat : 11102 (java) S 11084 11087 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244387497 14420721664 13220 33554432000 4194304 4196468 140724945724656 140233069284144 140233963731586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 52880 KiB
[startup+0.700708 s]
/proc/loadavg: 1.42 1.48 1.38 3/215 11102
/proc/meminfo: memFree=23532548/32770624 swapFree=67059116/67108860
[pid=11087] ppid=11084 vsize=14084804 memory=90764 CPUtime=0.99 cores=1,3,5,7
/proc/11087/stat : 11087 (java) S 11084 11087 10014 0 -1 1077944320 17597 0 0 0 94 5 0 0 20 0 15 0 244387491 14422839296 22691 33554432000 4194304 4196468 140724945724656 140724945707200 140233963720439 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
/proc/11087/statm: 3521201 22691 3499 1 0 3483273 0
[pid=11087/tid=11089] ppid=11084 vsize=14084804 memory=187816638168757 CPUtime=0.67 cores=1,3,5,7
/proc/11087/task/11089/stat : 11089 (java) R 11084 11087 10014 0 -1 4202560 14920 0 0 0 63 4 0 0 20 0 15 0 244387491 14422839296 22691 33554432000 4194304 4196468 140724945724656 140233967926624 140233947800926 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11090] ppid=11084 vsize=14084804 memory=1283939 CPUtime=0 cores=1,3,5,7
/proc/11087/task/11090/stat : 11090 (java) S 11084 11087 10014 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244387492 14422839296 22691 33554432000 4194304 4196468 140724945724656 140233916340496 140233963730645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11091] ppid=11084 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11087/task/11091/stat : 11091 (java) S 11084 11087 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244387492 14422839296 22691 33554432000 4194304 4196468 140724945724656 140233915287952 140233963730645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11092] ppid=11084 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11087/task/11092/stat : 11092 (java) S 11084 11087 10014 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244387492 14422839296 22691 33554432000 4194304 4196468 140724945724656 140233914235408 140233963730645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11093] ppid=11084 vsize=14084804 memory=7809523229951467572 CPUtime=0 cores=1,3,5,7
/proc/11087/task/11093/stat : 11093 (java) S 11084 11087 10014 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244387492 14422839296 22691 33554432000 4194304 4196468 140724945724656 140233913182864 140233963730645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11094] ppid=11084 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11087/task/11094/stat : 11094 (java) S 11084 11087 10014 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 244387493 14422839296 22691 33554432000 4194304 4196468 140724945724656 140233167759856 140233963731586 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11095] ppid=11084 vsize=14084804 memory=9051568498775523501 CPUtime=0 cores=1,3,5,7
/proc/11087/task/11095/stat : 11095 (java) S 11084 11087 10014 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 244387494 14422839296 22691 33554432000 4194304 4196468 140724945724656 140233166706080 140233963730645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11096] ppid=11084 vsize=14084804 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/11087/task/11096/stat : 11096 (java) S 11084 11087 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244387494 14422839296 22691 33554432000 4194304 4196468 140724945724656 140233075598832 140233963730645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11097] ppid=11084 vsize=14084804 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/11087/task/11097/stat : 11097 (java) S 11084 11087 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244387496 14422839296 22691 33554432000 4194304 4196468 140724945724656 140233074547408 140233963739035 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11098] ppid=11084 vsize=14084804 memory=6944656575208382560 CPUtime=0.05 cores=1,3,5,7
/proc/11087/task/11098/stat : 11098 (java) S 11084 11087 10014 0 -1 1077944384 492 0 0 0 5 0 0 0 20 0 15 0 244387496 14422839296 22691 33554432000 4194304 4196468 140724945724656 140233073494000 140233963731586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11099] ppid=11084 vsize=14084804 memory=6943526294502006880 CPUtime=0.1 cores=1,3,5,7
/proc/11087/task/11099/stat : 11099 (java) S 11084 11087 10014 0 -1 1077944384 427 0 0 0 10 0 0 0 20 0 15 0 244387496 14422839296 22691 33554432000 4194304 4196468 140724945724656 140233072441456 140233963731586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11100] ppid=11084 vsize=14084804 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/11087/task/11100/stat : 11100 (java) S 11084 11087 10014 0 -1 1077944384 395 0 0 0 15 0 0 0 20 0 15 0 244387496 14422839296 22691 33554432000 4194304 4196468 140724945724656 140233071388912 140233963731586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11101] ppid=11084 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11087/task/11101/stat : 11101 (java) S 11084 11087 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244387497 14422839296 22691 33554432000 4194304 4196468 140724945724656 140233070336608 140233963730645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11102] ppid=11084 vsize=14084804 memory=1860 CPUtime=0 cores=1,3,5,7
/proc/11087/task/11102/stat : 11102 (java) S 11084 11087 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244387497 14422839296 22691 33554432000 4194304 4196468 140724945724656 140233069284144 140233963731586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 90764 KiB
[startup+1.50074 s]
/proc/loadavg: 1.42 1.48 1.38 4/215 11102
/proc/meminfo: memFree=23487024/32770624 swapFree=67059116/67108860
[pid=11087] ppid=11084 vsize=14090948 memory=163688 CPUtime=2.93 cores=1,3,5,7
/proc/11087/stat : 11087 (java) S 11084 11087 10014 0 -1 1077944320 22431 0 0 0 285 8 0 0 20 0 15 0 244387491 14429130752 40922 33554432000 4194304 4196468 140724945724656 140724945707200 140233963720439 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
/proc/11087/statm: 3522737 40922 3542 1 0 3484809 0
[pid=11087/tid=11089] ppid=11084 vsize=14090948 memory=12902 CPUtime=1.47 cores=1,3,5,7
/proc/11087/task/11089/stat : 11089 (java) R 11084 11087 10014 0 -1 4202560 17476 0 0 0 141 6 0 0 20 0 15 0 244387491 14429130752 40922 33554432000 4194304 4196468 140724945724656 140233967955744 140233586040409 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11090] ppid=11084 vsize=14090948 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/11087/task/11090/stat : 11090 (java) S 11084 11087 10014 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244387492 14429130752 40922 33554432000 4194304 4196468 140724945724656 140233916340496 140233963730645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11091] ppid=11084 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11087/task/11091/stat : 11091 (java) S 11084 11087 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244387492 14429130752 40922 33554432000 4194304 4196468 140724945724656 140233915287952 140233963730645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11092] ppid=11084 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11087/task/11092/stat : 11092 (java) S 11084 11087 10014 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244387492 14429130752 40922 33554432000 4194304 4196468 140724945724656 140233914235408 140233963730645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11093] ppid=11084 vsize=14090948 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/11087/task/11093/stat : 11093 (java) S 11084 11087 10014 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244387492 14429130752 40922 33554432000 4194304 4196468 140724945724656 140233913182864 140233963730645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11094] ppid=11084 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11087/task/11094/stat : 11094 (java) S 11084 11087 10014 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 244387493 14429130752 40922 33554432000 4194304 4196468 140724945724656 140233167759856 140233963731586 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
################
# More data... #
################
/proc/11087/task/11089/stat : 11089 (java) R 11084 11087 10014 0 -1 4202560 66646 0 0 0 236516 48 0 0 20 0 15 0 244387491 14429130752 404678 33554432000 4194304 4196468 140724945724656 140233967958512 140233594681683 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11090] ppid=11084 vsize=14090948 memory=1618712 CPUtime=8.15 cores=1,3,5,7
/proc/11087/task/11090/stat : 11090 (java) S 11084 11087 10014 0 -1 1077944384 14496 0 0 0 768 47 0 0 20 0 15 0 244387492 14429130752 404678 33554432000 4194304 4196468 140724945724656 140233916340496 140233963730645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11091] ppid=11084 vsize=14090948 memory=1618712 CPUtime=8.14 cores=1,3,5,7
/proc/11087/task/11091/stat : 11091 (java) S 11084 11087 10014 0 -1 1077944384 14222 0 0 0 763 51 0 0 20 0 15 0 244387492 14429130752 404678 33554432000 4194304 4196468 140724945724656 140233915287952 140233963730645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11092] ppid=11084 vsize=14090948 memory=1618712 CPUtime=8.15 cores=1,3,5,7
/proc/11087/task/11092/stat : 11092 (java) S 11084 11087 10014 0 -1 1077944384 13636 0 0 0 770 45 0 0 20 0 15 0 244387492 14429130752 404678 33554432000 4194304 4196468 140724945724656 140233914235408 140233963730645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11093] ppid=11084 vsize=14090948 memory=1618712 CPUtime=8.12 cores=1,3,5,7
/proc/11087/task/11093/stat : 11093 (java) S 11084 11087 10014 0 -1 1077944384 13206 0 0 0 766 46 0 0 20 0 15 0 244387492 14429130752 404678 33554432000 4194304 4196468 140724945724656 140233913182864 140233963730645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11094] ppid=11084 vsize=14090948 memory=1618712 CPUtime=5.91 cores=1,3,5,7
/proc/11087/task/11094/stat : 11094 (java) S 11084 11087 10014 0 -1 1077944384 12096 0 0 0 548 43 0 0 20 0 15 0 244387493 14429130752 404678 33554432000 4194304 4196468 140724945724656 140233167759856 140233963731586 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11095] ppid=11084 vsize=14090948 memory=1618712 CPUtime=0 cores=1,3,5,7
/proc/11087/task/11095/stat : 11095 (java) S 11084 11087 10014 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 244387494 14429130752 404678 33554432000 4194304 4196468 140724945724656 140233166706144 140233963730645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11096] ppid=11084 vsize=14090948 memory=1618712 CPUtime=0 cores=1,3,5,7
/proc/11087/task/11096/stat : 11096 (java) S 11084 11087 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244387494 14429130752 404678 33554432000 4194304 4196468 140724945724656 140233075598848 140233963730645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11097] ppid=11084 vsize=14090948 memory=1618712 CPUtime=0 cores=1,3,5,7
/proc/11087/task/11097/stat : 11097 (java) S 11084 11087 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244387496 14429130752 404678 33554432000 4194304 4196468 140724945724656 140233074547408 140233963739035 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11098] ppid=11084 vsize=14090948 memory=1618712 CPUtime=1.67 cores=1,3,5,7
/proc/11087/task/11098/stat : 11098 (java) S 11084 11087 10014 0 -1 1077944384 8114 0 0 0 166 1 0 0 20 0 15 0 244387496 14429130752 404678 33554432000 4194304 4196468 140724945724656 140233073494000 140233963731586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11099] ppid=11084 vsize=14090948 memory=1528 CPUtime=1.78 cores=1,3,5,7
/proc/11087/task/11099/stat : 11099 (java) S 11084 11087 10014 0 -1 1077944384 6260 0 0 0 177 1 0 0 20 0 15 0 244387496 14429130752 404678 33554432000 4194304 4196468 140724945724656 140233072441456 140233963731586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11100] ppid=11084 vsize=14090948 memory=924 CPUtime=0.94 cores=1,3,5,7
/proc/11087/task/11100/stat : 11100 (java) S 11084 11087 10014 0 -1 1077944384 8349 0 0 0 92 2 0 0 20 0 15 0 244387496 14429130752 404678 33554432000 4194304 4196468 140724945724656 140233071388912 140233963731586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11101] ppid=11084 vsize=14090948 memory=1618712 CPUtime=0 cores=1,3,5,7
/proc/11087/task/11101/stat : 11101 (java) S 11084 11087 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244387497 14429130752 404678 33554432000 4194304 4196468 140724945724656 140233070336608 140233963730645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11102] ppid=11084 vsize=14090948 memory=2616 CPUtime=1.21 cores=1,3,5,7
/proc/11087/task/11102/stat : 11102 (java) S 11084 11087 10014 0 -1 1077944384 1458 0 0 0 58 63 0 0 20 0 15 0 244387497 14429130752 404678 33554432000 4194304 4196468 140724945724656 140233069284144 140233963731586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
Current children cumulated CPU time: 2409.82 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 1618712 KiB
[startup+2442.3 s]
/proc/loadavg: 1.36 1.36 1.39 3/215 11198
/proc/meminfo: memFree=22081280/32770624 swapFree=67059116/67108860
[pid=11087] ppid=11084 vsize=14090948 memory=1622808 CPUtime=2470.62 cores=1,3,5,7
/proc/11087/stat : 11087 (java) S 11084 11087 10014 0 -1 1077944320 161894 0 0 0 246764 298 0 0 20 0 15 0 244387491 14429130752 405702 33554432000 4194304 4196468 140724945724656 140724945707200 140233963720439 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
/proc/11087/statm: 3522737 405702 3599 1 0 3484809 0
[pid=11087/tid=11089] ppid=11084 vsize=14090948 memory=1622808 CPUtime=2425.17 cores=1,3,5,7
/proc/11087/task/11089/stat : 11089 (java) R 11084 11087 10014 0 -1 4202560 67443 0 0 0 242468 49 0 0 20 0 15 0 244387491 14429130752 405702 33554432000 4194304 4196468 140724945724656 140233967958512 140233595151096 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11090] ppid=11084 vsize=14090948 memory=1618712 CPUtime=8.43 cores=1,3,5,7
/proc/11087/task/11090/stat : 11090 (java) S 11084 11087 10014 0 -1 1077944384 14676 0 0 0 795 48 0 0 20 0 15 0 244387492 14429130752 405702 33554432000 4194304 4196468 140724945724656 140233916340496 140233963730645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11091] ppid=11084 vsize=14090948 memory=1622808 CPUtime=8.4 cores=1,3,5,7
/proc/11087/task/11091/stat : 11091 (java) S 11084 11087 10014 0 -1 1077944384 14564 0 0 0 788 52 0 0 20 0 15 0 244387492 14429130752 405702 33554432000 4194304 4196468 140724945724656 140233915287952 140233963730645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11092] ppid=11084 vsize=14090948 memory=1622808 CPUtime=8.42 cores=1,3,5,7
/proc/11087/task/11092/stat : 11092 (java) S 11084 11087 10014 0 -1 1077944384 13922 0 0 0 796 46 0 0 20 0 15 0 244387492 14429130752 405702 33554432000 4194304 4196468 140724945724656 140233914235408 140233963730645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11093] ppid=11084 vsize=14090948 memory=1622808 CPUtime=8.39 cores=1,3,5,7
/proc/11087/task/11093/stat : 11093 (java) S 11084 11087 10014 0 -1 1077944384 13423 0 0 0 793 46 0 0 20 0 15 0 244387492 14429130752 405702 33554432000 4194304 4196468 140724945724656 140233913182864 140233963730645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11094] ppid=11084 vsize=14090948 memory=1618712 CPUtime=6.08 cores=1,3,5,7
/proc/11087/task/11094/stat : 11094 (java) S 11084 11087 10014 0 -1 1077944384 12288 0 0 0 564 44 0 0 20 0 15 0 244387493 14429130752 405702 33554432000 4194304 4196468 140724945724656 140233167759856 140233963731586 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11095] ppid=11084 vsize=14090948 memory=1622808 CPUtime=0 cores=1,3,5,7
/proc/11087/task/11095/stat : 11095 (java) S 11084 11087 10014 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 244387494 14429130752 405702 33554432000 4194304 4196468 140724945724656 140233166706144 140233963730645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11096] ppid=11084 vsize=14090948 memory=1618712 CPUtime=0 cores=1,3,5,7
/proc/11087/task/11096/stat : 11096 (java) S 11084 11087 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244387494 14429130752 405702 33554432000 4194304 4196468 140724945724656 140233075598848 140233963730645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11097] ppid=11084 vsize=14090948 memory=1622808 CPUtime=0 cores=1,3,5,7
/proc/11087/task/11097/stat : 11097 (java) S 11084 11087 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244387496 14429130752 405702 33554432000 4194304 4196468 140724945724656 140233074547408 140233963739035 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11098] ppid=11084 vsize=14090948 memory=1622808 CPUtime=1.67 cores=1,3,5,7
/proc/11087/task/11098/stat : 11098 (java) S 11084 11087 10014 0 -1 1077944384 8116 0 0 0 166 1 0 0 20 0 15 0 244387496 14429130752 405702 33554432000 4194304 4196468 140724945724656 140233073494000 140233963731586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11099] ppid=11084 vsize=14090948 memory=1622808 CPUtime=1.78 cores=1,3,5,7
/proc/11087/task/11099/stat : 11099 (java) S 11084 11087 10014 0 -1 1077944384 6262 0 0 0 177 1 0 0 20 0 15 0 244387496 14429130752 405702 33554432000 4194304 4196468 140724945724656 140233072441456 140233963731586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11100] ppid=11084 vsize=14090948 memory=1622808 CPUtime=0.94 cores=1,3,5,7
/proc/11087/task/11100/stat : 11100 (java) S 11084 11087 10014 0 -1 1077944384 8351 0 0 0 92 2 0 0 20 0 15 0 244387496 14429130752 405702 33554432000 4194304 4196468 140724945724656 140233071388912 140233963731586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11101] ppid=11084 vsize=14090948 memory=1622808 CPUtime=0 cores=1,3,5,7
/proc/11087/task/11101/stat : 11101 (java) S 11084 11087 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244387497 14429130752 405702 33554432000 4194304 4196468 140724945724656 140233070336608 140233963730645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11102] ppid=11084 vsize=14090948 memory=1622808 CPUtime=1.24 cores=1,3,5,7
/proc/11087/task/11102/stat : 11102 (java) S 11084 11087 10014 0 -1 1077944384 1475 0 0 0 59 65 0 0 20 0 15 0 244387497 14429130752 405702 33554432000 4194304 4196468 140724945724656 140233069284144 140233963731586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
Current children cumulated CPU time: 2470.62 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 1622808 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2491.11 s]
/proc/loadavg: 1.42 1.37 1.39 4/215 11279
/proc/meminfo: memFree=21998880/32770624 swapFree=67059116/67108860
[pid=11087] ppid=11084 vsize=14090948 memory=1626904 CPUtime=2520.08 cores=1,3,5,7
/proc/11087/stat : 11087 (java) S 11084 11087 10014 0 -1 1077944320 163461 0 0 0 251706 302 0 0 20 0 15 0 244387491 14429130752 406726 33554432000 4194304 4196468 140724945724656 140724945707200 140233963720439 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
/proc/11087/statm: 3522737 406726 3599 1 0 3484809 0
[pid=11087/tid=11089] ppid=11084 vsize=14090948 memory=452 CPUtime=2473.56 cores=1,3,5,7
/proc/11087/task/11089/stat : 11089 (java) R 11084 11087 10014 0 -1 4202560 68206 0 0 0 247307 49 0 0 20 0 15 0 244387491 14429130752 406726 33554432000 4194304 4196468 140724945724656 140233967958512 140233595152153 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11090] ppid=11084 vsize=14090948 memory=1626904 CPUtime=8.65 cores=1,3,5,7
/proc/11087/task/11090/stat : 11090 (java) S 11084 11087 10014 0 -1 1077944384 14706 0 0 0 816 49 0 0 20 0 15 0 244387492 14429130752 406726 33554432000 4194304 4196468 140724945724656 140233916340496 140233963730645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11091] ppid=11084 vsize=14090948 memory=1624856 CPUtime=8.63 cores=1,3,5,7
/proc/11087/task/11091/stat : 11091 (java) S 11084 11087 10014 0 -1 1077944384 14753 0 0 0 810 53 0 0 20 0 15 0 244387492 14429130752 406726 33554432000 4194304 4196468 140724945724656 140233915287952 140233963730645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11092] ppid=11084 vsize=14090948 memory=1626904 CPUtime=8.66 cores=1,3,5,7
/proc/11087/task/11092/stat : 11092 (java) S 11084 11087 10014 0 -1 1077944384 14284 0 0 0 819 47 0 0 20 0 15 0 244387492 14429130752 406726 33554432000 4194304 4196468 140724945724656 140233914235408 140233963730645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11093] ppid=11084 vsize=14090948 memory=1626904 CPUtime=8.61 cores=1,3,5,7
/proc/11087/task/11093/stat : 11093 (java) S 11084 11087 10014 0 -1 1077944384 13479 0 0 0 815 46 0 0 20 0 15 0 244387492 14429130752 406726 33554432000 4194304 4196468 140724945724656 140233913182864 140233963730645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11094] ppid=11084 vsize=14090948 memory=1626904 CPUtime=6.22 cores=1,3,5,7
/proc/11087/task/11094/stat : 11094 (java) S 11084 11087 10014 0 -1 1077944384 12436 0 0 0 577 45 0 0 20 0 15 0 244387493 14429130752 406726 33554432000 4194304 4196468 140724945724656 140233167759856 140233963731586 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11095] ppid=11084 vsize=14090948 memory=1626904 CPUtime=0 cores=1,3,5,7
/proc/11087/task/11095/stat : 11095 (java) S 11084 11087 10014 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 244387494 14429130752 406726 33554432000 4194304 4196468 140724945724656 140233166706144 140233963730645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11096] ppid=11084 vsize=14090948 memory=1626904 CPUtime=0 cores=1,3,5,7
/proc/11087/task/11096/stat : 11096 (java) S 11084 11087 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244387494 14429130752 406726 33554432000 4194304 4196468 140724945724656 140233075598848 140233963730645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11097] ppid=11084 vsize=14090948 memory=1626904 CPUtime=0 cores=1,3,5,7
/proc/11087/task/11097/stat : 11097 (java) S 11084 11087 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244387496 14429130752 406726 33554432000 4194304 4196468 140724945724656 140233074547408 140233963739035 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11098] ppid=11084 vsize=14090948 memory=1624856 CPUtime=1.67 cores=1,3,5,7
/proc/11087/task/11098/stat : 11098 (java) S 11084 11087 10014 0 -1 1077944384 8118 0 0 0 166 1 0 0 20 0 15 0 244387496 14429130752 406726 33554432000 4194304 4196468 140724945724656 140233073494000 140233963731586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11099] ppid=11084 vsize=14090948 memory=280336542236792 CPUtime=1.78 cores=1,3,5,7
/proc/11087/task/11099/stat : 11099 (java) S 11084 11087 10014 0 -1 1077944384 6264 0 0 0 177 1 0 0 20 0 15 0 244387496 14429130752 406726 33554432000 4194304 4196468 140724945724656 140233072441456 140233963731586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11100] ppid=11084 vsize=14090948 memory=1624856 CPUtime=0.94 cores=1,3,5,7
/proc/11087/task/11100/stat : 11100 (java) S 11084 11087 10014 0 -1 1077944384 8353 0 0 0 92 2 0 0 20 0 15 0 244387496 14429130752 406726 33554432000 4194304 4196468 140724945724656 140233071388912 140233963731586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11101] ppid=11084 vsize=14090948 memory=1622808 CPUtime=0 cores=1,3,5,7
/proc/11087/task/11101/stat : 11101 (java) S 11084 11087 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244387497 14429130752 406726 33554432000 4194304 4196468 140724945724656 140233070336608 140233963730645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11102] ppid=11084 vsize=14090948 memory=1626904 CPUtime=1.26 cores=1,3,5,7
/proc/11087/task/11102/stat : 11102 (java) S 11084 11087 10014 0 -1 1077944384 1488 0 0 0 60 66 0 0 20 0 15 0 244387497 14429130752 406726 33554432000 4194304 4196468 140724945724656 140233069284144 140233963731586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 1626904 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2491.13 s]
# the end of solver process 11087 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.08 s, system=3.03441 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2491.11 s]
/proc/loadavg: 1.42 1.37 1.39 4/215 11279
/proc/meminfo: memFree=21998880/32770624 swapFree=67059116/67108860
[pid=11087] ppid=11084 vsize=14090948 memory=1626904 CPUtime=2520.08 cores=1,3,5,7
/proc/11087/stat : 11087 (java) S 11084 11087 10014 0 -1 1077944320 163461 0 0 0 251706 302 0 0 20 0 15 0 244387491 14429130752 406726 33554432000 4194304 4196468 140724945724656 140724945707200 140233963720439 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
/proc/11087/statm: 3522737 406726 3599 1 0 3484809 0
[pid=11087/tid=11089] ppid=11084 vsize=14090948 memory=452 CPUtime=2473.56 cores=1,3,5,7
/proc/11087/task/11089/stat : 11089 (java) R 11084 11087 10014 0 -1 4202560 68206 0 0 0 247307 49 0 0 20 0 15 0 244387491 14429130752 406726 33554432000 4194304 4196468 140724945724656 140233967958512 140233595152153 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11090] ppid=11084 vsize=14090948 memory=1626904 CPUtime=8.65 cores=1,3,5,7
/proc/11087/task/11090/stat : 11090 (java) S 11084 11087 10014 0 -1 1077944384 14706 0 0 0 816 49 0 0 20 0 15 0 244387492 14429130752 406726 33554432000 4194304 4196468 140724945724656 140233916340496 140233963730645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11091] ppid=11084 vsize=14090948 memory=1624856 CPUtime=8.63 cores=1,3,5,7
/proc/11087/task/11091/stat : 11091 (java) S 11084 11087 10014 0 -1 1077944384 14753 0 0 0 810 53 0 0 20 0 15 0 244387492 14429130752 406726 33554432000 4194304 4196468 140724945724656 140233915287952 140233963730645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11092] ppid=11084 vsize=14090948 memory=1626904 CPUtime=8.66 cores=1,3,5,7
/proc/11087/task/11092/stat : 11092 (java) S 11084 11087 10014 0 -1 1077944384 14284 0 0 0 819 47 0 0 20 0 15 0 244387492 14429130752 406726 33554432000 4194304 4196468 140724945724656 140233914235408 140233963730645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11093] ppid=11084 vsize=14090948 memory=1626904 CPUtime=8.61 cores=1,3,5,7
/proc/11087/task/11093/stat : 11093 (java) S 11084 11087 10014 0 -1 1077944384 13479 0 0 0 815 46 0 0 20 0 15 0 244387492 14429130752 406726 33554432000 4194304 4196468 140724945724656 140233913182864 140233963730645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11094] ppid=11084 vsize=14090948 memory=1626904 CPUtime=6.22 cores=1,3,5,7
/proc/11087/task/11094/stat : 11094 (java) S 11084 11087 10014 0 -1 1077944384 12436 0 0 0 577 45 0 0 20 0 15 0 244387493 14429130752 406726 33554432000 4194304 4196468 140724945724656 140233167759856 140233963731586 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11095] ppid=11084 vsize=14090948 memory=1626904 CPUtime=0 cores=1,3,5,7
/proc/11087/task/11095/stat : 11095 (java) S 11084 11087 10014 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 244387494 14429130752 406726 33554432000 4194304 4196468 140724945724656 140233166706144 140233963730645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11096] ppid=11084 vsize=14090948 memory=1626904 CPUtime=0 cores=1,3,5,7
/proc/11087/task/11096/stat : 11096 (java) S 11084 11087 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244387494 14429130752 406726 33554432000 4194304 4196468 140724945724656 140233075598848 140233963730645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11097] ppid=11084 vsize=14090948 memory=1626904 CPUtime=0 cores=1,3,5,7
/proc/11087/task/11097/stat : 11097 (java) S 11084 11087 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244387496 14429130752 406726 33554432000 4194304 4196468 140724945724656 140233074547408 140233963739035 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11098] ppid=11084 vsize=14090948 memory=1624856 CPUtime=1.67 cores=1,3,5,7
/proc/11087/task/11098/stat : 11098 (java) S 11084 11087 10014 0 -1 1077944384 8118 0 0 0 166 1 0 0 20 0 15 0 244387496 14429130752 406726 33554432000 4194304 4196468 140724945724656 140233073494000 140233963731586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11099] ppid=11084 vsize=14090948 memory=280336542236792 CPUtime=1.78 cores=1,3,5,7
/proc/11087/task/11099/stat : 11099 (java) S 11084 11087 10014 0 -1 1077944384 6264 0 0 0 177 1 0 0 20 0 15 0 244387496 14429130752 406726 33554432000 4194304 4196468 140724945724656 140233072441456 140233963731586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11100] ppid=11084 vsize=14090948 memory=1624856 CPUtime=0.94 cores=1,3,5,7
/proc/11087/task/11100/stat : 11100 (java) S 11084 11087 10014 0 -1 1077944384 8353 0 0 0 92 2 0 0 20 0 15 0 244387496 14429130752 406726 33554432000 4194304 4196468 140724945724656 140233071388912 140233963731586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11101] ppid=11084 vsize=14090948 memory=1622808 CPUtime=0 cores=1,3,5,7
/proc/11087/task/11101/stat : 11101 (java) S 11084 11087 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244387497 14429130752 406726 33554432000 4194304 4196468 140724945724656 140233070336608 140233963730645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
[pid=11087/tid=11102] ppid=11084 vsize=14090948 memory=1626904 CPUtime=1.26 cores=1,3,5,7
/proc/11087/task/11102/stat : 11102 (java) S 11084 11087 10014 0 -1 1077944384 1488 0 0 0 60 66 0 0 20 0 15 0 244387497 14429130752 406726 33554432000 4194304 4196468 140724945724656 140233069284144 140233963731586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16830464 140724945732680 140724945732873 140724945732873 140724945735631 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 1626904 KiB
Child status: 143
Real time (s): 2491.13
CPU time (s): 2520.11
CPU user time (s): 2517.08
CPU system time (s): 3.03441
CPU usage (%): 101.163
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 1794484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.08
system time used= 3.03441
maximum resident set size= 1796448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 163859
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 223653
involuntary context switches= 4731
# summary of solver processes directly reported to runsolver:
# pid: 11087
# total CPU time (s): 2520.11
# total CPU user time (s): 2517.08
# total CPU system time (s): 3.03441
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.4344 second user time and 22.6279 second system time
The end
Begin job on node103 at 2018-08-14 19:37:23 IDJOB=4307785 IDBENCH=141037 IDSOLVER=2791 FILE ID=node103/4307785-1534268243 RUNJOBID= node103-1534258226-10046 PBS_JOBID= 21038130 Free space on /tmp= 37304 MiB SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-14 BENCH NAME= XCSP18/StillLife/StillLife-wastage-21_c18.xml COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4307785-1534268243/watcher-4307785-1534268243 -o /tmp/evaluation-result-4307785-1534268243/solver-4307785-1534268243 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534258226-10046 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1312633322 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4307785-1534268243.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a6f0507a9e94bceb0819229116432592 RANDOM SEED=1312633322 node103.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.48 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.48 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.48 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.48 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: 23596568 kB MemAvailable: 31333152 kB Buffers: 172100 kB Cached: 7758044 kB SwapCached: 5160 kB Active: 4835832 kB Inactive: 3720992 kB Active(anon): 618876 kB Inactive(anon): 59304 kB Active(file): 4216956 kB Inactive(file): 3661688 kB Unevictable: 7768 kB Mlocked: 7768 kB SwapTotal: 67108860 kB SwapFree: 67059116 kB Dirty: 36000 kB Writeback: 0 kB AnonPages: 662336 kB Mapped: 66564 kB Shmem: 48712 kB Slab: 315360 kB SReclaimable: 286400 kB SUnreclaim: 28960 kB KernelStack: 3840 kB PageTables: 6088 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1694292 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 571392 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 37268 MiB End job on node103 at 2018-08-14 20:18:54