Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-09) | SAT (TO) | 318 | 1983.96 | 252.11301 |
Name | StillLife/StillLife-wst-s1/ StillLife-wastage-26.xml |
MD5SUM | a21a0b86f7fa853bf556b3925b3cd061 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 338 |
Best CPU time to get the best result obtained on this benchmark | 251.815 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1597 |
Number of constraints | 944 |
Number of domains | 4 |
Minimum domain size | 2 |
Maximum domain size | 1569 |
Distribution of domain sizes | [{"size":2,"count":784},{"size":3,"count":784},{"size":677,"count":1},{"size":1569,"count":28}] |
Minimum variable degree | 1 |
Maximum variable degree | 29 |
Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":781},{"degree":3,"count":31},{"degree":4,"count":104},{"degree":8,"count":100},{"degree":9,"count":576},{"degree":29,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 30 |
Distribution of constraint arities | [{"arity":2,"count":132},{"arity":3,"count":104},{"arity":10,"count":676},{"arity":28,"count":4},{"arity":29,"count":1},{"arity":30,"count":27}] |
Number of extensional constraints | 780 |
Number of intensional constraints | 131 |
Distribution of constraint types | [{"type":"extension","count":780},{"type":"intension","count":131},{"type":"sum","count":29},{"type":"instantiation","count":4}] |
Optimization problem | YES |
Type of objective | max VAR |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271791-1502639671.xml" -tl '2016s' -p 8 -x 0 0.12/0.14 c [HOME/instance-4271791-1502639671.xml, -tl, 2016s, -p, 8, -x, 0] 0.12/0.19 c 8 solvers in parallel 0.33/0.26 c parse instance... 6.58/2.43 c solve instance... 10.88/3.09 o 0 11.66/3.11 o 4 11.66/3.12 o 6 11.66/3.14 o 8 11.66/3.15 o 10 11.66/3.17 o 12 12.30/3.22 o 14 12.30/3.28 o 16 13.08/3.33 o 18 14.40/3.50 o 20 16.65/3.92 o 22 17.33/4.03 o 24 20.79/4.67 o 25 20.79/4.68 o 26 20.79/4.69 o 27 20.79/4.69 o 28 21.07/4.70 o 29 21.07/4.70 o 30 21.07/4.71 o 31 21.07/4.74 o 32 21.07/4.76 o 33 21.07/4.77 o 34 21.07/4.79 o 35 21.07/4.80 o 36 21.68/4.80 o 37 21.68/4.81 o 38 21.68/4.81 o 39 21.68/4.82 o 40 21.68/4.82 o 41 21.68/4.83 o 42 21.68/4.83 o 43 21.68/4.83 o 44 21.68/4.84 o 45 21.68/4.84 o 46 21.68/4.85 o 47 21.68/4.85 o 48 21.68/4.86 o 49 21.68/4.86 o 50 21.68/4.86 o 51 21.68/4.87 o 52 21.68/4.87 o 53 21.68/4.88 o 54 21.68/4.89 o 55 21.68/4.89 o 56 22.22/4.90 o 57 22.22/4.91 o 58 22.22/4.91 o 59 22.22/4.92 o 60 22.22/4.92 o 61 22.22/4.92 o 62 22.22/4.93 o 63 22.22/4.93 o 64 22.22/4.95 o 65 22.22/4.96 o 66 22.22/4.96 o 67 22.22/4.96 o 68 22.22/4.97 o 69 22.22/4.97 o 70 22.22/4.98 o 71 22.22/4.98 o 72 22.22/4.98 o 73 22.22/4.99 o 74 22.22/4.99 o 75 22.22/5.00 o 76 22.22/5.00 o 77 22.22/5.00 o 78 22.82/5.01 o 79 22.82/5.01 o 80 22.82/5.02 o 81 22.82/5.02 o 82 22.82/5.02 o 83 22.82/5.03 o 84 22.82/5.03 o 85 22.82/5.04 o 86 22.82/5.04 o 87 22.82/5.05 o 88 22.82/5.05 o 89 22.82/5.06 o 90 22.82/5.06 o 91 22.82/5.07 o 92 22.82/5.07 o 93 22.82/5.08 o 94 22.82/5.08 o 95 23.32/5.11 o 96 23.32/5.12 o 97 23.32/5.13 o 98 23.32/5.14 o 99 23.32/5.14 o 100 23.32/5.14 o 101 23.32/5.15 o 102 23.32/5.15 o 103 23.32/5.15 o 104 23.32/5.16 o 105 23.32/5.16 o 106 23.32/5.17 o 107 23.32/5.17 o 108 23.32/5.18 o 109 23.32/5.18 o 110 23.32/5.18 o 111 23.32/5.19 o 112 23.32/5.19 o 113 23.32/5.20 o 114 23.84/5.20 o 115 23.84/5.21 o 116 23.84/5.21 o 117 23.84/5.21 o 118 23.84/5.22 o 119 23.84/5.24 o 120 23.84/5.25 o 121 23.84/5.25 o 122 23.84/5.25 o 123 23.84/5.26 o 124 23.84/5.26 o 125 23.84/5.27 o 126 23.84/5.27 o 127 23.84/5.27 o 128 23.84/5.28 o 129 23.84/5.28 o 130 24.42/5.30 o 131 24.42/5.31 o 132 24.42/5.31 o 133 24.42/5.32 o 134 24.42/5.32 o 135 24.42/5.32 o 136 24.42/5.33 o 137 24.42/5.33 o 138 24.42/5.35 o 139 24.42/5.35 o 140 24.42/5.36 o 141 24.42/5.36 o 142 24.42/5.37 o 143 24.42/5.37 o 144 24.42/5.38 o 145 24.42/5.38 o 146 24.42/5.39 o 147 24.42/5.39 o 148 24.42/5.40 o 149 24.96/5.40 o 150 24.96/5.41 o 151 24.96/5.41 o 152 24.96/5.42 o 153 24.96/5.42 o 154 24.96/5.42 o 155 24.96/5.43 o 156 24.96/5.46 o 157 24.96/5.46 o 158 24.96/5.47 o 159 24.96/5.47 o 160 24.96/5.47 o 161 24.96/5.48 o 162 24.96/5.49 o 163 24.96/5.49 o 164 24.96/5.49 o 165 25.48/5.50 o 166 25.48/5.50 o 167 25.48/5.51 o 168 25.48/5.51 o 169 25.48/5.51 o 170 25.48/5.52 o 171 25.48/5.52 o 172 25.48/5.54 o 173 25.48/5.54 o 174 25.48/5.55 o 175 25.48/5.57 o 176 26.49/5.99 o 177 26.49/6.00 o 178 26.49/6.00 o 179 26.49/6.01 o 180 26.76/6.01 o 181 26.76/6.02 o 182 26.76/6.02 o 183 26.76/6.03 o 184 26.76/6.03 o 185 26.76/6.04 o 186 26.76/6.04 o 187 26.76/6.05 o 188 26.76/6.05 o 189 26.76/6.06 o 190 26.76/6.06 o 191 26.76/6.07 o 192 26.76/6.08 o 193 26.76/6.08 o 194 26.76/6.08 o 195 26.76/6.09 o 196 26.76/6.09 o 197 26.76/6.10 o 198 26.76/6.10 o 199 27.25/6.11 o 200 27.25/6.13 o 201 27.25/6.13 o 202 27.25/6.14 o 203 27.25/6.14 o 204 27.25/6.15 o 205 27.25/6.15 o 206 27.25/6.16 o 207 27.25/6.16 o 208 27.25/6.17 o 209 27.25/6.17 o 210 27.25/6.18 o 211 27.25/6.18 o 212 27.25/6.18 o 213 27.25/6.19 o 214 27.25/6.19 o 215 27.25/6.20 o 216 27.68/6.20 o 217 27.68/6.21 o 218 27.68/6.21 o 219 27.68/6.22 o 220 27.68/6.22 o 221 27.68/6.23 o 222 27.68/6.23 o 223 27.68/6.24 o 224 27.68/6.24 o 225 27.68/6.25 o 226 27.68/6.25 o 227 27.68/6.26 o 228 27.68/6.26 o 229 27.68/6.27 o 230 27.68/6.27 o 231 27.68/6.28 o 232 27.68/6.29 o 233 27.68/6.29 o 234 27.68/6.30 o 235 28.06/6.30 o 236 28.06/6.31 o 237 28.06/6.31 o 238 28.06/6.32 o 239 28.06/6.33 o 240 28.06/6.33 o 241 28.06/6.34 o 242 28.06/6.34 o 243 28.06/6.35 o 244 28.06/6.35 o 245 28.06/6.36 o 246 28.06/6.36 o 247 28.06/6.37 o 248 28.06/6.37 o 249 28.06/6.38 o 250 28.06/6.38 o 251 28.06/6.39 o 252 28.06/6.39 o 253 28.57/6.40 o 254 28.57/6.40 o 255 28.57/6.41 o 256 28.57/6.41 o 257 28.57/6.42 o 258 28.57/6.43 o 259 28.57/6.43 o 260 28.57/6.44 o 261 28.57/6.44 o 262 28.57/6.45 o 263 28.57/6.45 o 264 28.57/6.46 o 265 28.57/6.46 o 266 28.57/6.47 o 267 28.57/6.48 o 268 28.57/6.48 o 269 28.57/6.49 o 270 28.57/6.49 o 271 28.57/6.50 o 272 29.07/6.51 o 273 29.07/6.51 o 274 29.07/6.52 o 275 29.07/6.52 o 276 29.07/6.53 o 277 29.07/6.53 o 278 29.07/6.54 o 279 29.07/6.54 o 280 29.07/6.55 o 281 29.07/6.56 o 282 29.07/6.56 o 283 29.07/6.57 o 284 29.07/6.58 o 285 29.07/6.58 o 286 29.07/6.59 o 287 29.07/6.59 o 288 29.53/6.60 o 289 29.53/6.61 o 290 29.53/6.61 o 291 29.53/6.62 o 292 29.53/6.62 o 293 29.53/6.63 o 294 29.53/6.63 o 295 29.53/6.64 o 296 29.53/6.65 o 297 29.53/6.65 o 298 29.53/6.66 o 299 29.53/6.67 o 300 29.53/6.67 o 301 29.53/6.68 o 302 29.53/6.69 o 303 29.53/6.69 o 304 29.97/6.72 o 305 32.39/7.10 o 306 32.85/7.11 o 307 39.69/8.05 o 308 39.69/8.06 o 309 39.69/8.08 o 310 39.69/8.09 o 311 40.02/8.24 o 312 40.02/8.25 o 313 40.02/8.26 o 314 40.02/8.26 o 315 40.02/8.28 o 316 40.35/8.44 o 317 40.35/8.44 o 318 1983.38/252.07 s SATISFIABLE 1983.38/252.07 v <instantiation> 1983.38/252.07 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] z </list> 1983.38/252.07 v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 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 0 0 0 0 1 1 0 0 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 0 0 1 1 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 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 1 0 1 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 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 1 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 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 1 0 0 0 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 0 0 1 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 1 0 0 0 0 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 0 1 0 1 0 0 1 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 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 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 1 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 1 0 1 0 1 0 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 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 1 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 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 1 0 1 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 1 2 1 1 2 1 1 2 1 1 2 1 1 2 1 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 1 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 1 2 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 1 0 1 1 0 1 1 0 0 1 0 0 0 0 0 0 1 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 0 1 1 2 1 2 2 1 2 0 0 0 0 0 0 0 1 1 1 1 0 1 1 0 1 1 0 1 1 0 1 1 1 1 1 1 1 1 0 0 0 8 8 8 18 18 18 47 51 52 54 58 60 82 87 89 90 93 100 115 116 118 127 127 133 145 151 166 184 318 </values> 1983.38/252.07 v </instantiation> 1983.38/252.07 c Unexpected resolution interruption!
OK 318
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 (12969 MiB free) memory of node 1: 16384 MiB (14997 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271791-1502639671/watcher-4271791-1502639671 -o /tmp/evaluation-result-4271791-1502639671/solver-4271791-1502639671 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node104-1502637289-4437 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1641512079 HOME/instance-4271791-1502639671.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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 Current StackSize limit: 8192 KiB solver pid=7525, runsolver pid=7522 [startup+0.100135 s]* /proc/loadavg: 7.33 7.49 6.56 2/202 7546 /proc/meminfo: memFree=28623884/32770624 swapFree=67108860/67108860 [pid=7525] ppid=7522 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/7525/stat : 7525 (xcsp3-exec) S 7522 7525 4410 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97055002 9740288 345 33554432000 4194304 5098028 140726457252928 140726457251032 140228502905468 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26370048 140726457255018 140726457255228 140726457255228 140726457257963 0 /proc/7525/statm: 2378 345 289 221 0 87 0 [pid=7527] ppid=7525 vsize=25999808 memory=26280 CPUtime=0.12 cores=0-7 /proc/7527/stat : 7527 (java) S 7525 7525 4410 0 -1 1077944320 5508 0 0 0 11 1 0 0 20 0 20 0 97055003 26623803392 6570 33554432000 4194304 4196468 140722025838544 140722025821088 140053446237943 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 /proc/7527/statm: 6499952 6570 2842 1 0 6488269 0 [pid=7527/tid=7528] ppid=7525 vsize=25999808 memory=4134692831991783777 CPUtime=0.08 cores=0-7 /proc/7527/task/7528/stat : 7528 (java) R 7525 7525 4410 0 -1 4202560 3517 0 0 0 8 0 0 0 20 0 20 0 97055003 26623803392 6570 33554432000 4194304 4196468 140722025838544 140053450464544 140053446249878 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7529] ppid=7525 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/7527/task/7529/stat : 7529 (java) S 7525 7525 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97055004 26623803392 6570 33554432000 4194304 4196468 140722025838544 140053398858000 140053446248149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7530] ppid=7525 vsize=25999808 memory=140136223417984 CPUtime=0 cores=0-7 /proc/7527/task/7530/stat : 7530 (java) S 7525 7525 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97055004 26623803392 6570 33554432000 4194304 4196468 140722025838544 140053397805456 140053446248149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7531] ppid=7525 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7527/task/7531/stat : 7531 (java) S 7525 7525 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97055004 26623803392 6570 33554432000 4194304 4196468 140722025838544 140053396752912 140053446248149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7532] ppid=7525 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7527/task/7532/stat : 7532 (java) S 7525 7525 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97055004 26623803392 6570 33554432000 4194304 4196468 140722025838544 140053395700368 140053446248149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7533] ppid=7525 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7527/task/7533/stat : 7533 (java) S 7525 7525 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97055004 26623803392 6570 33554432000 4194304 4196468 140722025838544 140053394647824 140053446248149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7534] ppid=7525 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/7527/task/7534/stat : 7534 (java) S 7525 7525 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97055004 26623803392 6570 33554432000 4194304 4196468 140722025838544 140053393595280 140053446248149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7535] ppid=7525 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7527/task/7535/stat : 7535 (java) S 7525 7525 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97055004 26623803392 6635 33554432000 4194304 4196468 140722025838544 140053392542736 140053446248149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7536] ppid=7525 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7527/task/7536/stat : 7536 (java) S 7525 7525 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97055004 26623803392 6635 33554432000 4194304 4196468 140722025838544 140053391490192 140053446248149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7537] ppid=7525 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7527/task/7537/stat : 7537 (java) S 7525 7525 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97055005 26623803392 6635 33554432000 4194304 4196468 140722025838544 140051985987568 140053446249090 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7538] ppid=7525 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7527/task/7538/stat : 7538 (java) S 7525 7525 4410 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97055006 26623803392 6635 33554432000 4194304 4196468 140722025838544 140051984933792 140053446248149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7539] ppid=7525 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7527/task/7539/stat : 7539 (java) S 7525 7525 4410 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97055006 26623803392 6635 33554432000 4194304 4196468 140722025838544 140051983881200 140053446248149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7540] ppid=7525 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7527/task/7540/stat : 7540 (java) S 7525 7525 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97055008 26623803392 6635 33554432000 4194304 4196468 140722025838544 140051982829776 140053446256539 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7541] ppid=7525 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7527/task/7541/stat : 7541 (java) S 7525 7525 4410 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 20 0 97055008 26623803392 6635 33554432000 4194304 4196468 140722025838544 140051981777392 140053446249090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7542] ppid=7525 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7527/task/7542/stat : 7542 (java) S 7525 7525 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97055008 26623803392 6635 33554432000 4194304 4196468 140722025838544 140051980724848 140053446249090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7543] ppid=7525 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7527/task/7543/stat : 7543 (java) S 7525 7525 4410 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 97055008 26623803392 6635 33554432000 4194304 4196468 140722025838544 140051979672304 140053446249090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7544] ppid=7525 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/7527/task/7544/stat : 7544 (java) R 7525 7525 4410 0 -1 4202560 268 0 0 0 1 0 0 0 20 0 20 0 97055008 26623803392 6635 33554432000 4194304 4196468 140722025838544 140051978619760 140053427475504 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7545] ppid=7525 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7527/task/7545/stat : 7545 (java) S 7525 7525 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97055008 26623803392 6635 33554432000 4194304 4196468 140722025838544 140051977566432 140053446248149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7546] ppid=7525 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/7527/task/7546/stat : 7546 (java) S 7525 7525 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97055009 26623803392 6635 33554432000 4194304 4196468 140722025838544 140051976513968 140053446249090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 27660 KiB [startup+0.21069 s]* /proc/loadavg: 7.33 7.49 6.56 3/202 7546 /proc/meminfo: memFree=28612456/32770624 swapFree=67108860/67108860 [pid=7525] ppid=7522 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/7525/stat : 7525 (xcsp3-exec) S 7522 7525 4410 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97055002 9740288 345 33554432000 4194304 5098028 140726457252928 140726457251032 140228502905468 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26370048 140726457255018 140726457255228 140726457255228 140726457257963 0 /proc/7525/statm: 2378 345 289 221 0 87 0 [pid=7527] ppid=7525 vsize=26004064 memory=38928 CPUtime=0.33 cores=0-7 /proc/7527/stat : 7527 (java) S 7525 7525 4410 0 -1 1077944320 8364 0 0 0 31 2 0 0 20 0 20 0 97055003 26628161536 9732 33554432000 4194304 4196468 140722025838544 140722025821088 140053446237943 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 /proc/7527/statm: 6501016 9732 3044 1 0 6488269 0 [pid=7527/tid=7528] ppid=7525 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/7527/task/7528/stat : 7528 (java) R 7525 7525 4410 0 -1 4202560 5435 0 0 0 19 1 0 0 20 0 20 0 97055003 26628161536 9732 33554432000 4194304 4196468 140722025838544 140053450459984 140053430318430 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7529] ppid=7525 vsize=26004064 memory=329 CPUtime=0 cores=0-7 /proc/7527/task/7529/stat : 7529 (java) S 7525 7525 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97055004 26628161536 9732 33554432000 4194304 4196468 140722025838544 140053398858000 140053446248149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7530] ppid=7525 vsize=26004064 memory=140136223425766 CPUtime=0 cores=0-7 /proc/7527/task/7530/stat : 7530 (java) S 7525 7525 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97055004 26628161536 9732 33554432000 4194304 4196468 140722025838544 140053397805456 140053446248149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7531] ppid=7525 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/7527/task/7531/stat : 7531 (java) S 7525 7525 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97055004 26628161536 9732 33554432000 4194304 4196468 140722025838544 140053396752912 140053446248149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7532] ppid=7525 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7527/task/7532/stat : 7532 (java) S 7525 7525 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97055004 26628161536 9732 33554432000 4194304 4196468 140722025838544 140053395700368 140053446248149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7533] ppid=7525 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7527/task/7533/stat : 7533 (java) S 7525 7525 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97055004 26628161536 9732 33554432000 4194304 4196468 140722025838544 140053394647824 140053446248149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7534] ppid=7525 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/7527/task/7534/stat : 7534 (java) S 7525 7525 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97055004 26628161536 9732 33554432000 4194304 4196468 140722025838544 140053393595280 140053446248149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7535] ppid=7525 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7527/task/7535/stat : 7535 (java) S 7525 7525 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97055004 26628161536 9732 33554432000 4194304 4196468 140722025838544 140053392542736 140053446248149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7536] ppid=7525 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7527/task/7536/stat : 7536 (java) S 7525 7525 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97055004 26628161536 9732 33554432000 4194304 4196468 140722025838544 140053391490192 140053446248149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7537] ppid=7525 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7527/task/7537/stat : 7537 (java) S 7525 7525 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97055005 26628161536 9732 33554432000 4194304 4196468 140722025838544 140051985987568 140053446249090 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7538] ppid=7525 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7527/task/7538/stat : 7538 (java) S 7525 7525 4410 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97055006 26628161536 9732 33554432000 4194304 4196468 140722025838544 140051984933792 140053446248149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7539] ppid=7525 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7527/task/7539/stat : 7539 (java) S 7525 7525 4410 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97055006 26628161536 9732 33554432000 4194304 4196468 140722025838544 140051983881200 140053446248149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7540] ppid=7525 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7527/task/7540/stat : 7540 (java) S 7525 7525 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97055008 26628161536 9732 33554432000 4194304 4196468 140722025838544 140051982829776 140053446256539 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7541] ppid=7525 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/7527/task/7541/stat : 7541 (java) S 7525 7525 4410 0 -1 1077944384 365 0 0 0 1 0 0 0 20 0 20 0 97055008 26628161536 9732 33554432000 4194304 4196468 140722025838544 140051981777392 140053446249090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7542] ppid=7525 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/7527/task/7542/stat : 7542 (java) S 7525 7525 4410 0 -1 1077944384 98 0 0 0 1 0 0 0 20 0 20 0 97055008 26628161536 9732 33554432000 4194304 4196468 140722025838544 140051980724848 140053446249090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7543] ppid=7525 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7 /proc/7527/task/7543/stat : 7543 (java) S 7525 7525 4410 0 -1 1077944384 434 0 0 0 1 0 0 0 20 0 20 0 97055008 26628161536 9732 33554432000 4194304 4196468 140722025838544 140051979672304 140053446249090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7544] ppid=7525 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7 /proc/7527/task/7544/stat : 7544 (java) S 7525 7525 4410 0 -1 1077944384 725 0 0 0 8 0 0 0 20 0 20 0 97055008 26628161536 9732 33554432000 4194304 4196468 140722025838544 140051978619760 140053446249090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7545] ppid=7525 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7527/task/7545/stat : 7545 (java) S 7525 7525 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97055008 26628161536 9732 33554432000 4194304 4196468 140722025838544 140051977566432 140053446248149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7546] ppid=7525 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/7527/task/7546/stat : 7546 (java) S 7525 7525 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97055009 26628161536 9732 33554432000 4194304 4196468 140722025838544 140051976513968 140053446249090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40308 KiB [startup+0.310592 s]* /proc/loadavg: 7.33 7.49 6.56 3/202 7546 /proc/meminfo: memFree=28607680/32770624 swapFree=67108860/67108860 [pid=7525] ppid=7522 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/7525/stat : 7525 (xcsp3-exec) S 7522 7525 4410 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97055002 9740288 345 33554432000 4194304 5098028 140726457252928 140726457251032 140228502905468 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26370048 140726457255018 140726457255228 140726457255228 140726457257963 0 /proc/7525/statm: 2378 345 289 221 0 87 0 [pid=7527] ppid=7525 vsize=26004064 memory=46132 CPUtime=0.51 cores=0-7 /proc/7527/stat : 7527 (java) S 7525 7525 4410 0 -1 1077944320 9238 0 0 0 48 3 0 0 20 0 20 0 97055003 26628161536 11533 33554432000 4194304 4196468 140722025838544 140722025821088 140053446237943 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 /proc/7527/statm: 6501016 11533 3084 1 0 6488269 0 [pid=7527/tid=7528] ppid=7525 vsize=26004064 memory=8112282956445269571 CPUtime=0.3 cores=0-7 /proc/7527/task/7528/stat : 7528 (java) R 7525 7525 4410 0 -1 4202560 6087 0 0 0 28 2 0 0 20 0 20 0 97055003 26628161536 11533 33554432000 4194304 4196468 140722025838544 140053450475744 140053446249878 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7529] ppid=7525 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7527/task/7529/stat : 7529 (java) S 7525 7525 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97055004 26628161536 11533 33554432000 4194304 4196468 140722025838544 140053398858000 140053446248149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7530] ppid=7525 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7527/task/7530/stat : 7530 (java) S 7525 7525 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97055004 26628161536 11533 33554432000 4194304 4196468 140722025838544 140053397805456 140053446248149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7531] ppid=7525 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7527/task/7531/stat : 7531 (java) S 7525 7525 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97055004 26628161536 11533 33554432000 4194304 4196468 140722025838544 140053396752912 140053446248149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7532] ppid=7525 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7527/task/7532/stat : 7532 (java) S 7525 7525 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97055004 26628161536 11533 33554432000 4194304 4196468 140722025838544 140053395700368 140053446248149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7533] ppid=7525 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/7527/task/7533/stat : 7533 (java) S 7525 7525 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97055004 26628161536 11533 33554432000 4194304 4196468 140722025838544 140053394647824 140053446248149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7534] ppid=7525 vsize=26004064 memory=140136125920175 CPUtime=0 cores=0-7 /proc/7527/task/7534/stat : 7534 (java) S 7525 7525 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97055004 26628161536 11533 33554432000 4194304 4196468 140722025838544 140053393595280 140053446248149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7535] ppid=7525 vsize=26004064 memory=140136125922480 CPUtime=0 cores=0-7 /proc/7527/task/7535/stat : 7535 (java) S 7525 7525 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97055004 26628161536 11533 33554432000 4194304 4196468 140722025838544 140053392542736 140053446248149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7536] ppid=7525 vsize=26004064 memory=140136125924784 CPUtime=0 cores=0-7 /proc/7527/task/7536/stat : 7536 (java) S 7525 7525 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97055004 26628161536 11533 33554432000 4194304 4196468 140722025838544 140053391490192 140053446248149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7537] ppid=7525 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7527/task/7537/stat : 7537 (java) S 7525 7525 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97055005 26628161536 11533 33554432000 4194304 4196468 140722025838544 140051985987568 140053446249090 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7538] ppid=7525 vsize=26004064 memory=280272251856528 CPUtime=0 cores=0-7 /proc/7527/task/7538/stat : 7538 (java) S 7525 7525 4410 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97055006 26628161536 11533 33554432000 4194304 4196468 140722025838544 140051984933792 140053446248149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7539] ppid=7525 vsize=26004064 memory=280272251863440 CPUtime=0 cores=0-7 /proc/7527/task/7539/stat : 7539 (java) S 7525 7525 4410 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97055006 26628161536 11533 33554432000 4194304 4196468 140722025838544 140051983881200 140053446248149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7540] ppid=7525 vsize=26004064 memory=280272251804720 CPUtime=0 cores=0-7 /proc/7527/task/7540/stat : 7540 (java) S 7525 7525 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97055008 26628161536 11533 33554432000 4194304 4196468 140722025838544 140051982829776 140053446256539 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7541] ppid=7525 vsize=26004064 memory=280272251877264 CPUtime=0.02 cores=0-7 /proc/7527/task/7541/stat : 7541 (java) S 7525 7525 4410 0 -1 1077944384 468 0 0 0 2 0 0 0 20 0 20 0 97055008 26628161536 11533 33554432000 4194304 4196468 140722025838544 140051981777392 140053446249090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7542] ppid=7525 vsize=26004064 memory=280272251884176 CPUtime=0.02 cores=0-7 /proc/7527/task/7542/stat : 7542 (java) R 7525 7525 4410 0 -1 4202560 100 0 0 0 2 0 0 0 20 0 20 0 97055008 26628161536 11533 33554432000 4194304 4196468 140722025838544 140051980724848 140053426938240 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7543] ppid=7525 vsize=26004064 memory=280272251881872 CPUtime=0.02 cores=0-7 /proc/7527/task/7543/stat : 7543 (java) S 7525 7525 4410 0 -1 1077944384 443 0 0 0 2 0 0 0 20 0 20 0 97055008 26628161536 11533 33554432000 4194304 4196468 140722025838544 140051979672304 140053446249090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7544] ppid=7525 vsize=26004064 memory=280272251898032 CPUtime=0.13 cores=0-7 /proc/7527/task/7544/stat : 7544 (java) R 7525 7525 4410 0 -1 4202560 834 0 0 0 13 0 0 0 20 0 20 0 97055008 26628161536 11533 33554432000 4194304 4196468 140722025838544 140051978619888 140053427647951 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7545] ppid=7525 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7527/task/7545/stat : 7545 (java) S 7525 7525 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97055008 26628161536 11533 33554432000 4194304 4196468 140722025838544 140051977566432 140053446248149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7546] ppid=7525 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/7527/task/7546/stat : 7546 (java) S 7525 7525 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97055009 26628161536 11533 33554432000 4194304 4196468 140722025838544 140051976513968 140053446249090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 47512 KiB [startup+0.701016 s] /proc/loadavg: 7.33 7.49 6.56 6/202 7546 /proc/meminfo: memFree=28585920/32770624 swapFree=67108860/67108860 [pid=7525] ppid=7522 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/7525/stat : 7525 (xcsp3-exec) S 7522 7525 4410 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97055002 9740288 345 33554432000 4194304 5098028 140726457252928 140726457251032 140228502905468 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26370048 140726457255018 140726457255228 140726457255228 140726457257963 0 /proc/7525/statm: 2378 345 289 221 0 87 0 [pid=7527] ppid=7525 vsize=26006188 memory=77736 CPUtime=1.75 cores=0-7 /proc/7527/stat : 7527 (java) S 7525 7525 4410 0 -1 1077944320 11990 0 0 0 170 5 0 0 20 0 20 0 97055003 26630336512 19434 33554432000 4194304 4196468 140722025838544 140722025821088 140053446237943 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 /proc/7527/statm: 6501547 19434 3202 1 0 6488781 0 [pid=7527/tid=7528] ppid=7525 vsize=26006188 memory=280272252255920 CPUtime=0.67 cores=0-7 /proc/7527/task/7528/stat : 7528 (java) R 7525 7525 4410 0 -1 4202560 6609 0 0 0 65 2 0 0 20 0 20 0 97055003 26630336512 19434 33554432000 4194304 4196468 140722025838544 140053450476120 140053066335650 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7529] ppid=7525 vsize=26006188 memory=140136126129008 CPUtime=0 cores=0-7 /proc/7527/task/7529/stat : 7529 (java) S 7525 7525 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97055004 26630336512 19434 33554432000 4194304 4196468 140722025838544 140053398858000 140053446248149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7530] ppid=7525 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/7527/task/7530/stat : 7530 (java) S 7525 7525 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97055004 26630336512 19434 33554432000 4194304 4196468 140722025838544 140053397805456 140053446248149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7531] ppid=7525 vsize=26006188 memory=11008 CPUtime=0 cores=0-7 /proc/7527/task/7531/stat : 7531 (java) S 7525 7525 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97055004 26630336512 19434 33554432000 4194304 4196468 140722025838544 140053396752912 140053446248149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 ################ # More data... # ################ [pid=7527/tid=10004] ppid=7525 vsize=26607312 memory=1380 CPUtime=153.65 cores=0-7 /proc/7527/task/10004/stat : 10004 (java) R 7525 7525 4410 0 -1 4202560 1302 0 0 0 15363 2 0 0 20 0 28 0 97055847 27245887488 1548330 33554432000 4194304 4196468 140722025838544 140051896741736 140053070576525 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 Current children cumulated CPU time: 1267.63 s Current children cumulated vsize: 26616824 KiB Current children cumulated memory: 6194700 KiB [startup+222.302 s] /proc/loadavg: 8.10 7.85 6.90 9/208 10004 /proc/meminfo: memFree=21080416/32770624 swapFree=67108860/67108860 [pid=7525] ppid=7522 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/7525/stat : 7525 (xcsp3-exec) S 7522 7525 4410 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97055002 9740288 345 33554432000 4194304 5098028 140726457252928 140726457251032 140228502905468 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26370048 140726457255018 140726457255228 140726457255228 140726457257963 0 /proc/7525/statm: 2378 345 289 221 0 87 0 [pid=7527] ppid=7525 vsize=26607312 memory=7561588 CPUtime=1746.34 cores=0-7 /proc/7527/stat : 7527 (java) S 7525 7525 4410 0 -1 1077944320 148800 0 0 0 174318 316 0 0 20 0 28 0 97055003 27245887488 1890397 33554432000 4194304 4196468 140722025838544 140722025821088 140053446237943 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 /proc/7527/statm: 6651828 1890397 3287 1 0 6639062 0 [pid=7527/tid=7528] ppid=7525 vsize=26607312 memory=7561588 CPUtime=2.56 cores=0-7 /proc/7527/task/7528/stat : 7528 (java) S 7525 7525 4410 0 -1 1077944384 9969 0 0 0 249 7 0 0 20 0 28 0 97055003 27245887488 1890397 33554432000 4194304 4196468 140722025838544 140053450478608 140053446248149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7529] ppid=7525 vsize=26607312 memory=7561588 CPUtime=0.18 cores=0-7 /proc/7527/task/7529/stat : 7529 (java) S 7525 7525 4410 0 -1 1077944384 385 0 0 0 11 7 0 0 20 0 28 0 97055004 27245887488 1890397 33554432000 4194304 4196468 140722025838544 140053398858000 140053446248149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7530] ppid=7525 vsize=26607312 memory=7561588 CPUtime=0.17 cores=0-7 /proc/7527/task/7530/stat : 7530 (java) S 7525 7525 4410 0 -1 1077944384 343 0 0 0 11 6 0 0 20 0 28 0 97055004 27245887488 1890397 33554432000 4194304 4196468 140722025838544 140053397805456 140053446248149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7531] ppid=7525 vsize=26607312 memory=1380 CPUtime=0.17 cores=0-7 /proc/7527/task/7531/stat : 7531 (java) S 7525 7525 4410 0 -1 1077944384 655 0 0 0 11 6 0 0 20 0 28 0 97055004 27245887488 1890397 33554432000 4194304 4196468 140722025838544 140053396752912 140053446248149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7532] ppid=7525 vsize=26607312 memory=1380 CPUtime=0.17 cores=0-7 /proc/7527/task/7532/stat : 7532 (java) S 7525 7525 4410 0 -1 1077944384 953 0 0 0 11 6 0 0 20 0 28 0 97055004 27245887488 1890397 33554432000 4194304 4196468 140722025838544 140053395700368 140053446248149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7533] ppid=7525 vsize=26607312 memory=7561588 CPUtime=0.18 cores=0-7 /proc/7527/task/7533/stat : 7533 (java) S 7525 7525 4410 0 -1 1077944384 218 0 0 0 11 7 0 0 20 0 28 0 97055004 27245887488 1890397 33554432000 4194304 4196468 140722025838544 140053394647824 140053446248149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7534] ppid=7525 vsize=26607312 memory=0 CPUtime=0.17 cores=0-7 /proc/7527/task/7534/stat : 7534 (java) S 7525 7525 4410 0 -1 1077944384 328 0 0 0 10 7 0 0 20 0 28 0 97055004 27245887488 1890397 33554432000 4194304 4196468 140722025838544 140053393595280 140053446248149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7535] ppid=7525 vsize=26607312 memory=4872558044660077418 CPUtime=0.17 cores=0-7 /proc/7527/task/7535/stat : 7535 (java) S 7525 7525 4410 0 -1 1077944384 227 0 0 0 11 6 0 0 20 0 28 0 97055004 27245887488 1890397 33554432000 4194304 4196468 140722025838544 140053392542736 140053446248149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7536] ppid=7525 vsize=26607312 memory=7561588 CPUtime=0.16 cores=0-7 /proc/7527/task/7536/stat : 7536 (java) S 7525 7525 4410 0 -1 1077944384 924 0 0 0 10 6 0 0 20 0 28 0 97055004 27245887488 1890397 33554432000 4194304 4196468 140722025838544 140053391490192 140053446248149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7537] ppid=7525 vsize=26607312 memory=4140 CPUtime=0.04 cores=0-7 /proc/7527/task/7537/stat : 7537 (java) S 7525 7525 4410 0 -1 1077944384 4669 0 0 0 2 2 0 0 20 0 28 0 97055005 27245887488 1890397 33554432000 4194304 4196468 140722025838544 140051985987568 140053446249090 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7538] ppid=7525 vsize=26607312 memory=85899345939998 CPUtime=0 cores=0-7 /proc/7527/task/7538/stat : 7538 (java) S 7525 7525 4410 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 97055006 27245887488 1890397 33554432000 4194304 4196468 140722025838544 140051984933856 140053446248149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7539] ppid=7525 vsize=26607312 memory=7373063753461949548 CPUtime=0 cores=0-7 /proc/7527/task/7539/stat : 7539 (java) S 7525 7525 4410 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 97055006 27245887488 1890397 33554432000 4194304 4196468 140722025838544 140051983881216 140053446248149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7540] ppid=7525 vsize=26607312 memory=140136126948945 CPUtime=0 cores=0-7 /proc/7527/task/7540/stat : 7540 (java) S 7525 7525 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97055008 27245887488 1890397 33554432000 4194304 4196468 140722025838544 140051982829776 140053446256539 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7541] ppid=7525 vsize=26607312 memory=6155409571233228392 CPUtime=3.82 cores=0-7 /proc/7527/task/7541/stat : 7541 (java) S 7525 7525 4410 0 -1 1077944384 18524 0 0 0 378 4 0 0 20 0 28 0 97055008 27245887488 1890397 33554432000 4194304 4196468 140722025838544 140051981777392 140053446249090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7542] ppid=7525 vsize=26607312 memory=3668 CPUtime=3.85 cores=0-7 /proc/7527/task/7542/stat : 7542 (java) S 7525 7525 4410 0 -1 1077944384 20422 0 0 0 382 3 0 0 20 0 28 0 97055008 27245887488 1890397 33554432000 4194304 4196468 140722025838544 140051980724848 140053446249090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7543] ppid=7525 vsize=26607312 memory=1380 CPUtime=3.86 cores=0-7 /proc/7527/task/7543/stat : 7543 (java) S 7525 7525 4410 0 -1 1077944384 18490 0 0 0 382 4 0 0 20 0 28 0 97055008 27245887488 1890397 33554432000 4194304 4196468 140722025838544 140051979672304 140053446249090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7544] ppid=7525 vsize=26607312 memory=8112282956445269571 CPUtime=1.16 cores=0-7 /proc/7527/task/7544/stat : 7544 (java) S 7525 7525 4410 0 -1 1077944384 11017 0 0 0 112 4 0 0 20 0 28 0 97055008 27245887488 1890397 33554432000 4194304 4196468 140722025838544 140051978619760 140053446249090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7545] ppid=7525 vsize=26607312 memory=928 CPUtime=0 cores=0-7 /proc/7527/task/7545/stat : 7545 (java) S 7525 7525 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97055008 27245887488 1890397 33554432000 4194304 4196468 140722025838544 140051977566432 140053446248149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7546] ppid=7525 vsize=26607312 memory=2240 CPUtime=0.09 cores=0-7 /proc/7527/task/7546/stat : 7546 (java) S 7525 7525 4410 0 -1 1077944384 1891 0 0 0 0 9 0 0 20 0 28 0 97055009 27245887488 1890397 33554432000 4194304 4196468 140722025838544 140051976513968 140053446249090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=9997] ppid=7525 vsize=26607312 memory=4100 CPUtime=212.18 cores=0-7 /proc/7527/task/9997/stat : 9997 (java) R 7525 7525 4410 0 -1 4202560 2807 0 0 0 21208 10 0 0 20 0 28 0 97055847 27245887488 1890397 33554432000 4194304 4196468 140722025838544 140051893582680 140053070620887 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=9998] ppid=7525 vsize=26607312 memory=1692 CPUtime=213.25 cores=0-7 /proc/7527/task/9998/stat : 9998 (java) R 7525 7525 4410 0 -1 4202560 2011 0 0 0 21323 2 0 0 20 0 28 0 97055847 27245887488 1890397 33554432000 4194304 4196468 140722025838544 140051894636440 140053072239859 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=9999] ppid=7525 vsize=26607312 memory=916 CPUtime=213.38 cores=0-7 /proc/7527/task/9999/stat : 9999 (java) R 7525 7525 4410 0 -1 4202560 945 0 0 0 21337 1 0 0 20 0 28 0 97055847 27245887488 1890397 33554432000 4194304 4196468 140722025838544 140051973288568 140053070939977 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=10000] ppid=7525 vsize=26607312 memory=1380 CPUtime=213.68 cores=0-7 /proc/7527/task/10000/stat : 10000 (java) R 7525 7525 4410 0 -1 4202560 16259 0 0 0 21263 105 0 0 20 0 28 0 97055847 27245887488 1890397 33554432000 4194304 4196468 140722025838544 140051899902248 140053070620544 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=10001] ppid=7525 vsize=26607312 memory=5474472 CPUtime=211.96 cores=0-7 /proc/7527/task/10001/stat : 10001 (java) R 7525 7525 4410 0 -1 4202560 3726 0 0 0 21178 18 0 0 20 0 28 0 97055847 27245887488 1890397 33554432000 4194304 4196468 140722025838544 140051890434424 140053071206729 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=10002] ppid=7525 vsize=26607312 memory=15872 CPUtime=213.39 cores=0-7 /proc/7527/task/10002/stat : 10002 (java) R 7525 7525 4410 0 -1 4202560 3150 0 0 0 21327 12 0 0 20 0 28 0 97055847 27245887488 1890397 33554432000 4194304 4196468 140722025838544 140051897794928 140053070577211 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=10003] ppid=7525 vsize=26607312 memory=28016 CPUtime=211.84 cores=0-7 /proc/7527/task/10003/stat : 10003 (java) R 7525 7525 4410 0 -1 4202560 4992 0 0 0 21167 17 0 0 20 0 28 0 97055847 27245887488 1890397 33554432000 4194304 4196468 140722025838544 140051895689960 140053071206931 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=10004] ppid=7525 vsize=26607312 memory=1296 CPUtime=213.56 cores=0-7 /proc/7527/task/10004/stat : 10004 (java) R 7525 7525 4410 0 -1 4202560 1568 0 0 0 21353 3 0 0 20 0 28 0 97055847 27245887488 1890397 33554432000 4194304 4196468 140722025838544 140051896741912 140053071002280 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 Current children cumulated CPU time: 1746.34 s Current children cumulated vsize: 26616824 KiB Current children cumulated memory: 7562968 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252.002 s]* /proc/loadavg: 8.12 7.88 6.95 9/208 10004 /proc/meminfo: memFree=21080136/32770624 swapFree=67108860/67108860 [pid=7525] ppid=7522 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/7525/stat : 7525 (xcsp3-exec) S 7522 7525 4410 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97055002 9740288 345 33554432000 4194304 5098028 140726457252928 140726457251032 140228502905468 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26370048 140726457255018 140726457255228 140726457255228 140726457257963 0 /proc/7525/statm: 2378 345 289 221 0 87 0 [pid=7527] ppid=7525 vsize=26607312 memory=7561588 CPUtime=1983.38 cores=0-7 /proc/7527/stat : 7527 (java) S 7525 7525 4410 0 -1 1077944320 151547 0 0 0 198015 323 0 0 20 0 28 0 97055003 27245887488 1890397 33554432000 4194304 4196468 140722025838544 140722025821088 140053446237943 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 /proc/7527/statm: 6651828 1890397 3287 1 0 6639062 0 [pid=7527/tid=7528] ppid=7525 vsize=26607312 memory=8112282956445269571 CPUtime=2.56 cores=0-7 /proc/7527/task/7528/stat : 7528 (java) S 7525 7525 4410 0 -1 1077944384 9969 0 0 0 249 7 0 0 20 0 28 0 97055003 27245887488 1890397 33554432000 4194304 4196468 140722025838544 140053450478608 140053446248149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7529] ppid=7525 vsize=26607312 memory=4872558044660077418 CPUtime=0.18 cores=0-7 /proc/7527/task/7529/stat : 7529 (java) S 7525 7525 4410 0 -1 1077944384 385 0 0 0 11 7 0 0 20 0 28 0 97055004 27245887488 1890397 33554432000 4194304 4196468 140722025838544 140053398858000 140053446248149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7530] ppid=7525 vsize=26607312 memory=7561588 CPUtime=0.17 cores=0-7 /proc/7527/task/7530/stat : 7530 (java) S 7525 7525 4410 0 -1 1077944384 343 0 0 0 11 6 0 0 20 0 28 0 97055004 27245887488 1890397 33554432000 4194304 4196468 140722025838544 140053397805456 140053446248149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7531] ppid=7525 vsize=26607312 memory=2340 CPUtime=0.17 cores=0-7 /proc/7527/task/7531/stat : 7531 (java) S 7525 7525 4410 0 -1 1077944384 655 0 0 0 11 6 0 0 20 0 28 0 97055004 27245887488 1890397 33554432000 4194304 4196468 140722025838544 140053396752912 140053446248149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7532] ppid=7525 vsize=26607312 memory=1580 CPUtime=0.17 cores=0-7 /proc/7527/task/7532/stat : 7532 (java) S 7525 7525 4410 0 -1 1077944384 953 0 0 0 11 6 0 0 20 0 28 0 97055004 27245887488 1890397 33554432000 4194304 4196468 140722025838544 140053395700368 140053446248149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7533] ppid=7525 vsize=26607312 memory=928 CPUtime=0.18 cores=0-7 /proc/7527/task/7533/stat : 7533 (java) S 7525 7525 4410 0 -1 1077944384 218 0 0 0 11 7 0 0 20 0 28 0 97055004 27245887488 1890397 33554432000 4194304 4196468 140722025838544 140053394647824 140053446248149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7534] ppid=7525 vsize=26607312 memory=2240 CPUtime=0.17 cores=0-7 /proc/7527/task/7534/stat : 7534 (java) S 7525 7525 4410 0 -1 1077944384 328 0 0 0 10 7 0 0 20 0 28 0 97055004 27245887488 1890397 33554432000 4194304 4196468 140722025838544 140053393595280 140053446248149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7535] ppid=7525 vsize=26607312 memory=4128 CPUtime=0.17 cores=0-7 /proc/7527/task/7535/stat : 7535 (java) S 7525 7525 4410 0 -1 1077944384 227 0 0 0 11 6 0 0 20 0 28 0 97055004 27245887488 1890397 33554432000 4194304 4196468 140722025838544 140053392542736 140053446248149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7536] ppid=7525 vsize=26607312 memory=2196 CPUtime=0.16 cores=0-7 /proc/7527/task/7536/stat : 7536 (java) S 7525 7525 4410 0 -1 1077944384 924 0 0 0 10 6 0 0 20 0 28 0 97055004 27245887488 1890397 33554432000 4194304 4196468 140722025838544 140053391490192 140053446248149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7537] ppid=7525 vsize=26607312 memory=2196 CPUtime=0.06 cores=0-7 /proc/7527/task/7537/stat : 7537 (java) S 7525 7525 4410 0 -1 1077944384 4673 0 0 0 3 3 0 0 20 0 28 0 97055005 27245887488 1890397 33554432000 4194304 4196468 140722025838544 140051985987568 140053446249090 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7538] ppid=7525 vsize=26607312 memory=6760 CPUtime=0 cores=0-7 /proc/7527/task/7538/stat : 7538 (java) S 7525 7525 4410 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 97055006 27245887488 1890397 33554432000 4194304 4196468 140722025838544 140051984933856 140053446248149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7539] ppid=7525 vsize=26607312 memory=840 CPUtime=0 cores=0-7 /proc/7527/task/7539/stat : 7539 (java) S 7525 7525 4410 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 97055006 27245887488 1890397 33554432000 4194304 4196468 140722025838544 140051983881216 140053446248149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7540] ppid=7525 vsize=26607312 memory=4100 CPUtime=0 cores=0-7 /proc/7527/task/7540/stat : 7540 (java) S 7525 7525 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97055008 27245887488 1890397 33554432000 4194304 4196468 140722025838544 140051982829776 140053446256539 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7541] ppid=7525 vsize=26607312 memory=1692 CPUtime=3.82 cores=0-7 /proc/7527/task/7541/stat : 7541 (java) S 7525 7525 4410 0 -1 1077944384 18527 0 0 0 378 4 0 0 20 0 28 0 97055008 27245887488 1890397 33554432000 4194304 4196468 140722025838544 140051981777392 140053446249090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7542] ppid=7525 vsize=26607312 memory=916 CPUtime=3.85 cores=0-7 /proc/7527/task/7542/stat : 7542 (java) S 7525 7525 4410 0 -1 1077944384 20637 0 0 0 382 3 0 0 20 0 28 0 97055008 27245887488 1890397 33554432000 4194304 4196468 140722025838544 140051980724848 140053446249090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7543] ppid=7525 vsize=26607312 memory=4184 CPUtime=3.87 cores=0-7 /proc/7527/task/7543/stat : 7543 (java) S 7525 7525 4410 0 -1 1077944384 18561 0 0 0 383 4 0 0 20 0 28 0 97055008 27245887488 1890397 33554432000 4194304 4196468 140722025838544 140051979672304 140053446249090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7544] ppid=7525 vsize=26607312 memory=1156 CPUtime=1.16 cores=0-7 /proc/7527/task/7544/stat : 7544 (java) S 7525 7525 4410 0 -1 1077944384 11332 0 0 0 112 4 0 0 20 0 28 0 97055008 27245887488 1890397 33554432000 4194304 4196468 140722025838544 140051978619760 140053446249090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7545] ppid=7525 vsize=26607312 memory=3664 CPUtime=0 cores=0-7 /proc/7527/task/7545/stat : 7545 (java) S 7525 7525 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97055008 27245887488 1890397 33554432000 4194304 4196468 140722025838544 140051977566432 140053446248149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=7546] ppid=7525 vsize=26607312 memory=1380 CPUtime=0.1 cores=0-7 /proc/7527/task/7546/stat : 7546 (java) S 7525 7525 4410 0 -1 1077944384 1919 0 0 0 0 10 0 0 20 0 28 0 97055009 27245887488 1890397 33554432000 4194304 4196468 140722025838544 140051976513968 140053446249090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=9997] ppid=7525 vsize=26607312 memory=7561588 CPUtime=241.28 cores=0-7 /proc/7527/task/9997/stat : 9997 (java) R 7525 7525 4410 0 -1 4202560 3060 0 0 0 24116 12 0 0 20 0 28 0 97055847 27245887488 1890397 33554432000 4194304 4196468 140722025838544 140051893582680 140053070620587 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=9998] ppid=7525 vsize=26607312 memory=8112282956445269571 CPUtime=242.97 cores=0-7 /proc/7527/task/9998/stat : 9998 (java) R 7525 7525 4410 0 -1 4202560 2182 0 0 0 24294 3 0 0 20 0 28 0 97055847 27245887488 1890397 33554432000 4194304 4196468 140722025838544 140051894636440 140053070620729 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=9999] ppid=7525 vsize=26607312 memory=4872558044660077418 CPUtime=243.08 cores=0-7 /proc/7527/task/9999/stat : 9999 (java) R 7525 7525 4410 0 -1 4202560 1050 0 0 0 24306 2 0 0 20 0 28 0 97055847 27245887488 1890397 33554432000 4194304 4196468 140722025838544 140051973288568 140053071845081 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=10000] ppid=7525 vsize=26607312 memory=1156 CPUtime=243.39 cores=0-7 /proc/7527/task/10000/stat : 10000 (java) R 7525 7525 4410 0 -1 4202560 16472 0 0 0 24233 106 0 0 20 0 28 0 97055847 27245887488 1890397 33554432000 4194304 4196468 140722025838544 140051899902248 140053071031764 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=10001] ppid=7525 vsize=26607312 memory=3664 CPUtime=241.67 cores=0-7 /proc/7527/task/10001/stat : 10001 (java) R 7525 7525 4410 0 -1 4202560 4249 0 0 0 24148 19 0 0 20 0 28 0 97055847 27245887488 1890397 33554432000 4194304 4196468 140722025838544 140051890434424 140053070620887 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=10002] ppid=7525 vsize=26607312 memory=1380 CPUtime=243.1 cores=0-7 /proc/7527/task/10002/stat : 10002 (java) R 7525 7525 4410 0 -1 4202560 3450 0 0 0 24296 14 0 0 20 0 28 0 97055847 27245887488 1890397 33554432000 4194304 4196468 140722025838544 140051897795496 140053070620747 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=10003] ppid=7525 vsize=26607312 memory=7561588 CPUtime=241.55 cores=0-7 /proc/7527/task/10003/stat : 10003 (java) R 7525 7525 4410 0 -1 4202560 5408 0 0 0 24137 18 0 0 20 0 28 0 97055847 27245887488 1890397 33554432000 4194304 4196468 140722025838544 140051895690440 140053071992064 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 [pid=7527/tid=10004] ppid=7525 vsize=26607312 memory=1236 CPUtime=243.26 cores=0-7 /proc/7527/task/10004/stat : 10004 (java) R 7525 7525 4410 0 -1 4202560 1698 0 0 0 24323 3 0 0 20 0 28 0 97055847 27245887488 1890397 33554432000 4194304 4196468 140722025838544 140051896741912 140053071420443 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23064576 140722025841816 140722025841992 140722025841992 140722025844687 0 Current children cumulated CPU time: 1983.38 s Current children cumulated vsize: 26616824 KiB Current children cumulated memory: 7562968 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.038 s] # the end of solver process 7525 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.000651 s, system=0.001302 s [startup+252.113 s] # the end of solver process 7527 was just reported to runsolver # cumulated CPU time of all completed processes: user=1980.69 s, system=3.27453 s # this solver process was not waited by its parent and was adopted by runsolver Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 252.113 CPU time (s): 1983.96 CPU user time (s): 1980.69 CPU system time (s): 3.27453 CPU usage (%): 786.932 Max. virtual memory (cumulated for all children) (KiB): 26618824 Max. memory (cumulated for all children) (KiB): 7562968 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1980.69 system time used= 3.27454 maximum resident set size= 7562056 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 152849 page faults= 0 swaps= 0 block input operations= 0 block output operations= 480 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 29925 involuntary context switches= 20996 # summary of solver processes directly reported to runsolver: # pid: 7525,7527 # total CPU time (s): 1983.96 # total CPU user time (s): 1980.69 # total CPU system time (s): 3.27453 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.28239 second user time and 2.93014 second system time The end
Begin job on node104 at 2017-08-13 17:40:13 IDJOB=4271791 IDBENCH=115899 IDSOLVER=2663 FILE ID=node104/4271791-1502639671 RUNJOBID= node104-1502637289-4437 PBS_JOBID= 20628328 Free space on /tmp= 61864 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-26.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4271791-1502639671/watcher-4271791-1502639671 -o /tmp/evaluation-result-4271791-1502639671/solver-4271791-1502639671 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node104-1502637289-4437 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1641512079 HOME/instance-4271791-1502639671.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= a21a0b86f7fa853bf556b3925b3cd061 RANDOM SEED=1641512079 node104.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.43 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.43 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.43 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.43 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: 28639212 kB MemAvailable: 31982920 kB Buffers: 159380 kB Cached: 3466324 kB SwapCached: 0 kB Active: 349852 kB Inactive: 3325816 kB Active(anon): 53076 kB Inactive(anon): 25024 kB Active(file): 296776 kB Inactive(file): 3300792 kB Unevictable: 6532 kB Mlocked: 6532 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7820 kB Writeback: 0 kB AnonPages: 56580 kB Mapped: 43504 kB Shmem: 25228 kB Slab: 149212 kB SReclaimable: 123948 kB SUnreclaim: 25264 kB KernelStack: 3200 kB PageTables: 4244 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323768 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 4096 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 61856 MiB End job on node104 at 2017-08-13 17:44:25