Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-07-26) | SAT (TO) | 387 | 1920.16 | 243.425 |
Name | StillLife/StillLife-wst-s1/ StillLife-wastage-29.xml |
MD5SUM | 1822b9c415adc1a9dd10b23e46d08c48 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 413 |
Best CPU time to get the best result obtained on this benchmark | 251.87601 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1954 |
Number of constraints | 1139 |
Number of domains | 4 |
Minimum domain size | 2 |
Maximum domain size | 1923 |
Distribution of domain sizes | [{"size":2,"count":961},{"size":3,"count":961},{"size":842,"count":1},{"size":1923,"count":31}] |
Minimum variable degree | 1 |
Maximum variable degree | 32 |
Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":958},{"degree":3,"count":34},{"degree":4,"count":116},{"degree":8,"count":112},{"degree":9,"count":729},{"degree":32,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 33 |
Distribution of constraint arities | [{"arity":2,"count":147},{"arity":3,"count":116},{"arity":10,"count":841},{"arity":31,"count":4},{"arity":32,"count":1},{"arity":33,"count":30}] |
Number of extensional constraints | 957 |
Number of intensional constraints | 146 |
Distribution of constraint types | [{"type":"extension","count":957},{"type":"intension","count":146},{"type":"sum","count":32},{"type":"instantiation","count":4}] |
Optimization problem | YES |
Type of objective | max VAR |
0.00/0.06 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4254844-1501679407.xml" -tl '1920s' -p 8 -x 0 0.00/0.23 c [HOME/instance-4254844-1501679407.xml, -tl, 1920s, -p, 8, -x, 0] 0.00/0.29 c 8 solvers in parallel 0.00/0.36 c parse instance... 7.82/2.90 c solve instance... 13.23/3.66 o 0 13.99/3.70 o 4 13.99/3.75 o 6 13.99/3.79 o 8 14.68/3.81 o 10 14.68/3.87 o 12 15.48/3.96 o 14 15.48/3.98 o 15 16.16/4.00 o 16 16.16/4.02 o 17 16.16/4.03 o 18 16.16/4.04 o 19 16.16/4.04 o 20 16.16/4.05 o 21 16.83/4.10 o 22 16.83/4.10 o 23 16.83/4.11 o 24 16.83/4.11 o 25 16.83/4.12 o 26 16.83/4.13 o 27 16.83/4.14 o 28 16.83/4.15 o 29 16.83/4.15 o 30 16.83/4.16 o 31 16.83/4.16 o 32 16.83/4.18 o 33 16.83/4.19 o 34 16.83/4.19 o 35 17.48/4.20 o 36 17.48/4.20 o 37 17.48/4.21 o 38 17.48/4.22 o 39 17.48/4.24 o 40 17.48/4.25 o 41 17.48/4.25 o 42 17.48/4.26 o 43 17.48/4.27 o 44 17.48/4.27 o 45 17.48/4.28 o 46 17.48/4.28 o 47 17.48/4.29 o 48 17.48/4.29 o 49 18.08/4.30 o 50 18.08/4.30 o 51 18.08/4.31 o 52 18.08/4.32 o 53 18.08/4.32 o 54 18.08/4.34 o 55 18.08/4.35 o 56 18.08/4.35 o 57 18.08/4.38 o 58 18.08/4.38 o 59 18.08/4.39 o 60 18.08/4.39 o 61 18.68/4.43 o 62 18.68/4.44 o 63 18.68/4.44 o 64 18.68/4.45 o 65 18.68/4.45 o 66 18.68/4.46 o 67 18.68/4.46 o 68 18.68/4.47 o 69 18.68/4.48 o 70 18.68/4.48 o 71 18.68/4.49 o 72 18.68/4.50 o 73 19.32/4.50 o 74 19.32/4.52 o 75 19.32/4.52 o 76 19.32/4.53 o 77 19.32/4.53 o 78 19.32/4.54 o 79 19.32/4.55 o 80 19.32/4.55 o 81 19.32/4.56 o 82 19.32/4.56 o 83 19.32/4.57 o 84 19.32/4.58 o 85 19.32/4.58 o 86 19.32/4.59 o 87 19.32/4.59 o 88 19.89/4.63 o 89 19.89/4.63 o 90 19.89/4.64 o 91 19.89/4.65 o 92 19.89/4.65 o 93 19.89/4.66 o 94 19.89/4.66 o 95 19.89/4.67 o 96 19.89/4.67 o 97 19.89/4.68 o 98 19.89/4.69 o 99 19.89/4.69 o 100 20.51/4.70 o 101 20.51/4.71 o 102 20.51/4.72 o 103 20.51/4.73 o 104 20.51/4.73 o 105 20.51/4.74 o 106 20.51/4.74 o 107 20.51/4.75 o 108 20.51/4.75 o 109 20.51/4.76 o 110 20.51/4.77 o 111 20.51/4.77 o 112 20.51/4.78 o 113 20.51/4.78 o 114 20.51/4.79 o 115 20.51/4.80 o 116 21.03/4.80 o 117 21.03/4.81 o 118 21.03/4.81 o 119 21.03/4.82 o 120 21.03/4.82 o 121 21.03/4.83 o 122 21.03/4.84 o 123 21.03/4.84 o 124 21.03/4.85 o 125 21.03/4.88 o 126 21.03/4.88 o 127 21.03/4.89 o 128 21.03/4.89 o 129 21.56/4.90 o 130 21.56/4.90 o 131 21.56/4.91 o 132 21.56/4.92 o 133 21.56/4.92 o 134 21.56/4.93 o 135 21.56/4.93 o 136 21.56/4.94 o 137 21.56/4.95 o 138 21.56/4.95 o 139 21.56/4.96 o 140 21.56/4.96 o 141 21.56/4.97 o 142 21.56/4.98 o 143 21.56/4.98 o 144 21.56/4.99 o 145 21.56/5.00 o 146 22.12/5.00 o 147 22.12/5.01 o 148 22.12/5.01 o 149 22.12/5.02 o 150 22.12/5.03 o 151 22.12/5.03 o 152 22.12/5.04 o 153 22.12/5.04 o 154 22.12/5.05 o 155 22.12/5.05 o 156 22.12/5.06 o 157 22.12/5.06 o 158 22.12/5.07 o 159 22.12/5.08 o 160 22.12/5.08 o 161 22.12/5.09 o 162 22.66/5.10 o 163 22.66/5.11 o 164 22.66/5.12 o 165 22.66/5.12 o 166 22.66/5.13 o 167 22.66/5.13 o 168 22.66/5.14 o 169 22.66/5.14 o 170 22.66/5.15 o 171 22.66/5.15 o 172 22.66/5.16 o 173 22.66/5.16 o 174 22.66/5.17 o 175 22.66/5.18 o 176 22.66/5.18 o 177 22.66/5.19 o 178 22.66/5.19 o 179 23.20/5.20 o 180 23.20/5.21 o 181 23.20/5.21 o 182 23.20/5.22 o 183 23.20/5.23 o 184 23.20/5.23 o 185 23.20/5.24 o 186 23.20/5.24 o 187 23.20/5.25 o 188 23.20/5.26 o 189 23.20/5.26 o 190 23.20/5.27 o 191 23.20/5.28 o 192 23.20/5.28 o 193 23.20/5.29 o 194 23.20/5.29 o 195 23.20/5.30 o 196 23.67/5.31 o 197 23.67/5.31 o 198 23.67/5.32 o 199 23.67/5.33 o 200 23.67/5.33 o 201 23.67/5.34 o 202 23.67/5.35 o 203 23.67/5.35 o 204 23.67/5.36 o 205 23.67/5.36 o 206 23.67/5.37 o 207 23.67/5.37 o 208 23.67/5.38 o 209 23.67/5.39 o 210 23.67/5.39 o 211 24.21/5.40 o 212 24.21/5.41 o 213 24.21/5.41 o 214 24.21/5.42 o 215 24.21/5.42 o 216 24.21/5.43 o 217 24.21/5.44 o 218 24.21/5.45 o 219 24.21/5.45 o 220 24.21/5.46 o 221 24.21/5.46 o 222 24.21/5.47 o 223 24.21/5.48 o 224 24.21/5.48 o 225 24.21/5.49 o 226 24.21/5.49 o 227 24.21/5.50 o 228 24.21/5.50 o 229 24.74/5.51 o 230 24.74/5.52 o 231 24.74/5.52 o 232 24.74/5.53 o 233 24.74/5.54 o 234 24.74/5.54 o 235 24.74/5.55 o 236 24.74/5.55 o 237 24.74/5.56 o 238 24.74/5.57 o 239 24.74/5.58 o 240 24.74/5.58 o 241 24.74/5.59 o 242 24.74/5.60 o 243 24.74/5.61 o 244 25.21/5.61 o 245 25.21/5.62 o 246 25.21/5.63 o 247 25.21/5.63 o 248 25.21/5.64 o 249 25.21/5.65 o 250 25.21/5.65 o 251 25.21/5.66 o 252 25.21/5.66 o 253 25.21/5.67 o 254 25.21/5.67 o 255 25.21/5.68 o 256 25.21/5.69 o 257 25.21/5.70 o 258 25.71/5.70 o 259 25.71/5.71 o 260 25.71/5.72 o 261 25.71/5.73 o 262 25.71/5.73 o 263 25.71/5.74 o 264 25.71/5.74 o 265 25.71/5.75 o 266 25.71/5.76 o 267 25.71/5.76 o 268 25.71/5.77 o 269 25.71/5.78 o 270 25.71/5.78 o 271 25.71/5.79 o 272 25.71/5.79 o 273 26.22/5.80 o 274 26.22/5.81 o 275 26.22/5.83 o 276 26.22/5.83 o 277 26.22/5.84 o 278 26.22/5.85 o 279 26.22/5.86 o 280 26.22/5.86 o 281 26.22/5.87 o 282 26.22/5.88 o 283 26.22/5.88 o 284 26.22/5.89 o 285 26.72/5.90 o 286 26.72/5.91 o 287 26.72/5.92 o 288 26.72/5.93 o 289 26.72/5.93 o 290 26.72/5.94 o 291 26.72/5.95 o 292 26.72/5.95 o 293 26.72/5.96 o 294 26.72/5.97 o 295 26.72/5.97 o 296 26.72/5.98 o 297 26.72/5.99 o 298 26.72/5.99 o 299 26.72/6.00 o 300 27.28/6.01 o 301 27.28/6.02 o 302 27.28/6.02 o 303 27.28/6.03 o 304 27.28/6.04 o 305 27.28/6.04 o 306 27.28/6.05 o 307 27.28/6.06 o 308 27.28/6.07 o 309 27.28/6.07 o 310 27.28/6.08 o 311 27.28/6.08 o 312 27.28/6.09 o 313 27.79/6.10 o 314 27.79/6.10 o 315 27.79/6.11 o 316 27.79/6.12 o 317 27.79/6.13 o 318 27.79/6.13 o 319 27.79/6.14 o 320 27.79/6.15 o 321 27.79/6.16 o 322 27.79/6.16 o 323 27.79/6.17 o 324 27.79/6.18 o 325 27.79/6.19 o 326 27.79/6.19 o 327 27.79/6.20 o 328 28.33/6.21 o 329 28.33/6.22 o 330 28.33/6.23 o 331 28.33/6.23 o 332 28.33/6.24 o 333 28.33/6.25 o 334 28.33/6.26 o 335 28.33/6.26 o 336 28.33/6.28 o 337 28.33/6.28 o 338 28.33/6.29 o 339 28.33/6.30 o 340 28.85/6.31 o 341 28.85/6.31 o 342 28.85/6.32 o 343 28.85/6.33 o 344 28.85/6.33 o 345 28.85/6.34 o 346 28.85/6.35 o 347 28.85/6.35 o 348 28.85/6.36 o 349 28.85/6.37 o 350 28.85/6.37 o 351 28.85/6.38 o 352 28.85/6.39 o 353 29.41/6.40 o 354 29.41/6.41 o 355 29.41/6.41 o 356 29.41/6.42 o 357 29.41/6.43 o 358 29.41/6.44 o 359 29.41/6.44 o 360 29.41/6.45 o 361 29.41/6.46 o 362 29.41/6.47 o 363 29.41/6.48 o 364 29.41/6.49 o 365 29.93/6.50 o 366 29.93/6.51 o 367 29.93/6.52 o 368 29.93/6.52 o 369 29.93/6.53 o 370 29.93/6.54 o 371 29.93/6.55 o 372 29.93/6.56 o 373 29.93/6.57 o 374 29.93/6.58 o 375 29.93/6.58 o 376 29.93/6.59 o 377 29.93/6.60 o 378 30.51/6.61 o 379 30.51/6.63 o 380 30.51/6.64 o 381 30.51/6.65 o 382 30.51/6.66 o 383 30.51/6.67 o 384 30.51/6.67 o 385 30.51/6.68 o 386 30.51/6.69 o 387 1920.16/243.47 s SATISFIABLE 1920.16/243.47 v <instantiation> 1920.16/243.47 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][28] w[0][29] w[0][30] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][28] w[1][29] w[1][30] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][28] w[2][29] w[2][30] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][28] w[3][29] w[3][30] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][28] w[4][29] w[4][30] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][28] w[5][29] w[5][30] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][28] w[6][29] w[6][30] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][28] w[7][29] w[7][30] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][28] w[8][29] w[8][30] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][28] w[9][29] w[9][30] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][28] w[10][29] w[10][30] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][28] w[11][29] w[11][30] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][28] w[12][29] w[12][30] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][28] w[13][29] w[13][30] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][28] w[14][29] w[14][30] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][28] w[15][29] w[15][30] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][28] w[16][29] w[16][30] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][28] w[17][29] w[17][30] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][28] w[18][29] w[18][30] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][28] w[19][29] w[19][30] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][28] w[20][29] w[20][30] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][28] w[21][29] w[21][30] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][28] w[22][29] w[22][30] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][28] w[23][29] w[23][30] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][28] w[24][29] w[24][30] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][28] w[25][29] w[25][30] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[26][29] w[26][30] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[27][29] w[27][30] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] w[28][29] w[28][30] w[29][0] w[29][1] w[29][2] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] w[29][30] w[30][0] w[30][1] w[30][2] w[30][3] w[30][4] w[30][5] w[30][6] w[30][7] w[30][8] w[30][9] w[30][10] w[30][11] w[30][12] w[30][13] w[30][14] w[30][15] w[30][16] w[30][17] w[30][18] w[30][19] w[30][20] w[30][21] w[30][22] w[30][23] w[30][24] w[30][25] w[30][26] w[30][27] w[30][28] w[30][29] w[30][30] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] ws[28] ws[29] ws[30] z </list> 1920.16/243.47 v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 1 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 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 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 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 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 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 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 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 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 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 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 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 0 0 0 1 2 1 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 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 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 2 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 0 2 1 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 1 1 0 0 1 1 2 0 2 0 0 1 1 0 1 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 2 2 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 2 2 2 2 2 2 1 0 0 0 0 0 0 0 0 0 0 1 1 2 1 2 2 0 0 0 1 2 1 1 0 1 1 1 1 1 1 1 1 0 1 1 0 1 1 0 1 1 0 1 1 1 1 1 1 0 0 1 1 1 0 9 9 9 20 20 20 53 57 58 60 64 66 92 97 99 100 103 110 127 128 130 141 141 145 158 163 173 186 199 227 250 387 </values> 1920.16/243.47 v </instantiation> 1920.16/243.47 c Unexpected resolution interruption!
OK 387
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4254844-1501679407/watcher-4254844-1501679407 -o /tmp/evaluation-result-4254844-1501679407/solver-4254844-1501679407 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node131-1501676534-24993 --watchdog 324 ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 1200497644 HOME/instance-4254844-1501679407.xml pid=27388 running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1920 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1950 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 264 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 Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 8.01 8.53 7.40 2/172 27391 /proc/meminfo: memFree=31763016/32770624 swapFree=0/252428 [pid=27391] ppid=27388 vsize=23672 CPUtime=0 cores=0-7 /proc/27391/stat : 27391 (runsolver) D 27388 27391 24937 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 16560985 24240128 107 18446744073709551615 4194304 4338465 140730602189264 140730602186904 140042494857943 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 36540416 140730602192978 140730602193475 140730602193475 140730602196938 0 /proc/27391/statm: 5918 107 54 36 0 2156 0 [startup+0.100157 s] /proc/loadavg: 8.01 8.53 7.40 2/172 27391 /proc/meminfo: memFree=31763016/32770624 swapFree=0/252428 [pid=27391] ppid=27388 vsize=9512 CPUtime=0 cores=0-7 /proc/27391/stat : 27391 (xcsp3-exec) S 27388 27391 24937 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 16560985 9740288 345 18446744073709551615 4194304 5098028 140729816958608 140729816956712 140590696321660 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 13357056 140729816965522 140729816965732 140729816965732 140729816969195 0 /proc/27391/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200353 s] /proc/loadavg: 8.01 8.53 7.40 2/172 27391 /proc/meminfo: memFree=31763016/32770624 swapFree=0/252428 [pid=27391] ppid=27388 vsize=9512 CPUtime=0 cores=0-7 /proc/27391/stat : 27391 (xcsp3-exec) S 27388 27391 24937 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 16560985 9740288 345 18446744073709551615 4194304 5098028 140729816958608 140729816956712 140590696321660 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 13357056 140729816965522 140729816965732 140729816965732 140729816969195 0 /proc/27391/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.300297 s] /proc/loadavg: 8.01 8.53 7.40 2/172 27391 /proc/meminfo: memFree=31763016/32770624 swapFree=0/252428 [pid=27391] ppid=27388 vsize=9512 CPUtime=0 cores=0-7 /proc/27391/stat : 27391 (xcsp3-exec) S 27388 27391 24937 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 16560985 9740288 345 18446744073709551615 4194304 5098028 140729816958608 140729816956712 140590696321660 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 13357056 140729816965522 140729816965732 140729816965732 140729816969195 0 /proc/27391/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.700198 s] /proc/loadavg: 8.01 8.53 7.40 2/172 27391 /proc/meminfo: memFree=31763016/32770624 swapFree=0/252428 [pid=27391] ppid=27388 vsize=9512 CPUtime=0 cores=0-7 /proc/27391/stat : 27391 (xcsp3-exec) S 27388 27391 24937 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 16560985 9740288 345 18446744073709551615 4194304 5098028 140729816958608 140729816956712 140590696321660 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 13357056 140729816965522 140729816965732 140729816965732 140729816969195 0 /proc/27391/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50079 s] /proc/loadavg: 8.01 8.53 7.40 5/193 27412 /proc/meminfo: memFree=31670580/32770624 swapFree=0/252544 [pid=27391] ppid=27388 vsize=9512 CPUtime=0 cores=0-7 /proc/27391/stat : 27391 (xcsp3-exec) S 27388 27391 24937 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 16560985 9740288 345 18446744073709551615 4194304 5098028 140729816958608 140729816956712 140590696321660 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 13357056 140729816965522 140729816965732 140729816965732 140729816969195 0 /proc/27391/statm: 2378 345 289 221 0 87 0 [pid=27393] ppid=27391 vsize=26001944 CPUtime=3.82 cores=0-7 /proc/27393/stat : 27393 (java) S 27391 27391 24937 0 -1 1077944320 23510 0 0 0 373 9 0 0 20 0 20 0 16560991 26625990656 40302 18446744073709551615 4194304 4196468 140726149858736 140726149841280 140028166758135 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 /proc/27393/statm: 6500486 40302 3191 1 0 6488787 0 [pid=27393/tid=27394] ppid=27391 vsize=26001944 CPUtime=1.39 cores=0-7 /proc/27393/task/27394/stat : 27394 (java) R 27391 27391 24937 0 -1 4202560 10693 0 0 0 134 5 0 0 20 0 20 0 16560991 26625990656 40302 18446744073709551615 4194304 4196468 140726149858736 140028170994112 140027766440799 0 4 1 16800974 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27395] ppid=27391 vsize=26001944 CPUtime=0 cores=0-7 /proc/27393/task/27395/stat : 27395 (java) S 27391 27391 24937 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 16560992 26625990656 40302 18446744073709551615 4194304 4196468 140726149858736 140028093684752 140028166768341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27396] ppid=27391 vsize=26001944 CPUtime=0 cores=0-7 /proc/27393/task/27396/stat : 27396 (java) S 27391 27391 24937 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 16560992 26625990656 40302 18446744073709551615 4194304 4196468 140726149858736 140028092632208 140028166768341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27397] ppid=27391 vsize=26001944 CPUtime=0 cores=0-7 /proc/27393/task/27397/stat : 27397 (java) S 27391 27391 24937 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 16560992 26625990656 40302 18446744073709551615 4194304 4196468 140726149858736 140028091579152 140028166768341 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27398] ppid=27391 vsize=26001944 CPUtime=0 cores=0-7 /proc/27393/task/27398/stat : 27398 (java) S 27391 27391 24937 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 16560992 26625990656 40302 18446744073709551615 4194304 4196468 140726149858736 140028090526608 140028166768341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27399] ppid=27391 vsize=26001944 CPUtime=0 cores=0-7 /proc/27393/task/27399/stat : 27399 (java) S 27391 27391 24937 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 16560992 26625990656 40302 18446744073709551615 4194304 4196468 140726149858736 140028089473552 140028166768341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27400] ppid=27391 vsize=26001944 CPUtime=0 cores=0-7 /proc/27393/task/27400/stat : 27400 (java) S 27391 27391 24937 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 16560992 26625990656 40302 18446744073709551615 4194304 4196468 140726149858736 140028088421008 140028166768341 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27401] ppid=27391 vsize=26001944 CPUtime=0 cores=0-7 /proc/27393/task/27401/stat : 27401 (java) S 27391 27391 24937 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 16560992 26625990656 40302 18446744073709551615 4194304 4196468 140726149858736 140028087367952 140028166768341 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27402] ppid=27391 vsize=26001944 CPUtime=0 cores=0-7 /proc/27393/task/27402/stat : 27402 (java) S 27391 27391 24937 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 16560992 26625990656 40302 18446744073709551615 4194304 4196468 140726149858736 140028086315408 140028166768341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27403] ppid=27391 vsize=26001944 CPUtime=0 cores=0-7 /proc/27393/task/27403/stat : 27403 (java) S 27391 27391 24937 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 20 0 16560994 26625990656 40302 18446744073709551615 4194304 4196468 140726149858736 140026846001904 140028166769282 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27404] ppid=27391 vsize=26001944 CPUtime=0 cores=0-7 /proc/27393/task/27404/stat : 27404 (java) S 27391 27391 24937 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 16560994 26625990656 40302 18446744073709551615 4194304 4196468 140726149858736 140026844948128 140028166768341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27405] ppid=27391 vsize=26001944 CPUtime=0 cores=0-7 /proc/27393/task/27405/stat : 27405 (java) S 27391 27391 24937 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 16560994 26625990656 40302 18446744073709551615 4194304 4196468 140726149858736 140026843895024 140028166768341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27406] ppid=27391 vsize=26001944 CPUtime=0 cores=0-7 /proc/27393/task/27406/stat : 27406 (java) S 27391 27391 24937 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 16560997 26625990656 40302 18446744073709551615 4194304 4196468 140726149858736 140026842843600 140028166776731 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27407] ppid=27391 vsize=26001944 CPUtime=0.65 cores=0-7 /proc/27393/task/27407/stat : 27407 (java) R 27391 27391 24937 0 -1 4202560 3336 0 0 0 64 1 0 0 20 0 20 0 16560997 26625990656 40302 18446744073709551615 4194304 4196468 140726149858736 140026841771720 140028151684121 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27408] ppid=27391 vsize=26001944 CPUtime=0.61 cores=0-7 /proc/27393/task/27408/stat : 27408 (java) S 27391 27391 24937 0 -1 1077944384 2620 0 0 0 61 0 0 0 20 0 20 0 16560997 26625990656 40302 18446744073709551615 4194304 4196468 140726149858736 140026840738160 140028166769282 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27409] ppid=27391 vsize=26001944 CPUtime=0.6 cores=0-7 /proc/27393/task/27409/stat : 27409 (java) S 27391 27391 24937 0 -1 1077944384 2563 0 0 0 60 0 0 0 20 0 20 0 16560997 26625990656 40302 18446744073709551615 4194304 4196468 140726149858736 140026839685104 140028166769282 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27410] ppid=27391 vsize=26001944 CPUtime=0.53 cores=0-7 /proc/27393/task/27410/stat : 27410 (java) S 27391 27391 24937 0 -1 1077944384 2934 0 0 0 52 1 0 0 20 0 20 0 16560997 26625990656 40302 18446744073709551615 4194304 4196468 140726149858736 140026838632560 140028166769282 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27411] ppid=27391 vsize=26001944 CPUtime=0 cores=0-7 /proc/27393/task/27411/stat : 27411 (java) S 27391 27391 24937 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 16560997 26625990656 40302 18446744073709551615 4194304 4196468 140726149858736 140026837580768 140028166768341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27412] ppid=27391 vsize=26001944 CPUtime=0 cores=0-7 /proc/27393/task/27412/stat : 27412 (java) S 27391 27391 24937 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 16561000 26625990656 40302 18446744073709551615 4194304 4196468 140726149858736 140026836528304 140028166769282 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 Current children cumulated CPU time (s) 3.82 Current children cumulated vsize (KiB) 26011456 [startup+3.10092 s] /proc/loadavg: 8.01 8.53 7.40 5/193 27412 /proc/meminfo: memFree=31543804/32770624 swapFree=0/252544 [pid=27391] ppid=27388 vsize=9512 CPUtime=0 cores=0-7 /proc/27391/stat : 27391 (xcsp3-exec) S 27388 27391 24937 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 16560985 9740288 345 18446744073709551615 4194304 5098028 140729816958608 140729816956712 140590696321660 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 13357056 140729816965522 140729816965732 140729816965732 140729816969195 0 /proc/27391/statm: 2378 345 289 221 0 87 0 [pid=27393] ppid=27391 vsize=26534456 CPUtime=9.27 cores=0-7 /proc/27393/stat : 27393 (java) S 27391 27391 24937 0 -1 1077944320 30115 0 0 0 894 33 0 0 20 0 28 0 16560991 27171282944 74777 18446744073709551615 4194304 4196468 140726149858736 140726149841280 140028166758135 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 /proc/27393/statm: 6633614 74777 3225 1 0 6621915 0 [pid=27393/tid=27394] ppid=27391 vsize=26534456 CPUtime=2.73 cores=0-7 /proc/27393/task/27394/stat : 27394 (java) S 27391 27391 24937 0 -1 1077944384 11309 0 0 0 267 6 0 0 20 0 28 0 16560991 27171282944 74777 18446744073709551615 4194304 4196468 140726149858736 140028170998912 140028166768341 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27395] ppid=27391 vsize=26534456 CPUtime=0.06 cores=0-7 /proc/27393/task/27395/stat : 27395 (java) S 27391 27391 24937 0 -1 1077944384 133 0 0 0 4 2 0 0 20 0 28 0 16560992 27171282944 74777 18446744073709551615 4194304 4196468 140726149858736 140028093684752 140028166768341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27396] ppid=27391 vsize=26534456 CPUtime=0.06 cores=0-7 /proc/27393/task/27396/stat : 27396 (java) S 27391 27391 24937 0 -1 1077944384 87 0 0 0 4 2 0 0 20 0 28 0 16560992 27171282944 74777 18446744073709551615 4194304 4196468 140726149858736 140028092632208 140028166768341 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27397] ppid=27391 vsize=26534456 CPUtime=0.04 cores=0-7 /proc/27393/task/27397/stat : 27397 (java) S 27391 27391 24937 0 -1 1077944384 97 0 0 0 3 1 0 0 20 0 28 0 16560992 27171282944 74777 18446744073709551615 4194304 4196468 140726149858736 140028091579152 140028166768341 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27398] ppid=27391 vsize=26534456 CPUtime=0.07 cores=0-7 /proc/27393/task/27398/stat : 27398 (java) S 27391 27391 24937 0 -1 1077944384 176 0 0 0 4 3 0 0 20 0 28 0 16560992 27171282944 74777 18446744073709551615 4194304 4196468 140726149858736 140028090526608 140028166768341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27399] ppid=27391 vsize=26534456 CPUtime=0.06 cores=0-7 /proc/27393/task/27399/stat : 27399 (java) S 27391 27391 24937 0 -1 1077944384 82 0 0 0 4 2 0 0 20 0 28 0 16560992 27171282944 74777 18446744073709551615 4194304 4196468 140726149858736 140028089473552 140028166768341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27400] ppid=27391 vsize=26534456 CPUtime=0.06 cores=0-7 /proc/27393/task/27400/stat : 27400 (java) S 27391 27391 24937 0 -1 1077944384 139 0 0 0 4 2 0 0 20 0 28 0 16560992 27171282944 74777 18446744073709551615 4194304 4196468 140726149858736 140028088421008 140028166768341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27401] ppid=27391 vsize=26534456 CPUtime=0.06 cores=0-7 /proc/27393/task/27401/stat : 27401 (java) S 27391 27391 24937 0 -1 1077944384 220 0 0 0 4 2 0 0 20 0 28 0 16560992 27171282944 74777 18446744073709551615 4194304 4196468 140726149858736 140028087367952 140028166768341 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27402] ppid=27391 vsize=26534456 CPUtime=0.06 cores=0-7 /proc/27393/task/27402/stat : 27402 (java) S 27391 27391 24937 0 -1 1077944384 283 0 0 0 4 2 0 0 20 0 28 0 16560992 27171282944 74777 18446744073709551615 4194304 4196468 140726149858736 140028086315408 140028166768341 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27403] ppid=27391 vsize=26534456 CPUtime=0 cores=0-7 /proc/27393/task/27403/stat : 27403 (java) S 27391 27391 24937 0 -1 1077944384 198 0 0 0 0 0 0 0 20 0 28 0 16560994 27171282944 74777 18446744073709551615 4194304 4196468 140726149858736 140026846001904 140028166769282 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27404] ppid=27391 vsize=26534456 CPUtime=0 cores=0-7 /proc/27393/task/27404/stat : 27404 (java) S 27391 27391 24937 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 16560994 27171282944 74777 18446744073709551615 4194304 4196468 140726149858736 140026844948192 140028166768341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27405] ppid=27391 vsize=26534456 CPUtime=0 cores=0-7 /proc/27393/task/27405/stat : 27405 (java) S 27391 27391 24937 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 16560994 27171282944 74777 18446744073709551615 4194304 4196468 140726149858736 140026843895040 140028166768341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27406] ppid=27391 vsize=26534456 CPUtime=0 cores=0-7 /proc/27393/task/27406/stat : 27406 (java) S 27391 27391 24937 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16560997 27171282944 74777 18446744073709551615 4194304 4196468 140726149858736 140026842843600 140028166776731 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27407] ppid=27391 vsize=26534456 CPUtime=1.34 cores=0-7 /proc/27393/task/27407/stat : 27407 (java) S 27391 27391 24937 0 -1 1077944384 4487 0 0 0 132 2 0 0 20 0 28 0 16560997 27171282944 74777 18446744073709551615 4194304 4196468 140726149858736 140026841790704 140028166769282 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27408] ppid=27391 vsize=26534456 CPUtime=1.26 cores=0-7 /proc/27393/task/27408/stat : 27408 (java) S 27391 27391 24937 0 -1 1077944384 3526 0 0 0 126 0 0 0 20 0 28 0 16560997 27171282944 74777 18446744073709551615 4194304 4196468 140726149858736 140026840738160 140028166769282 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27409] ppid=27391 vsize=26534456 CPUtime=1.35 cores=0-7 /proc/27393/task/27409/stat : 27409 (java) S 27391 27391 24937 0 -1 1077944384 3694 0 0 0 134 1 0 0 20 0 28 0 16560997 27171282944 74777 18446744073709551615 4194304 4196468 140726149858736 140026839685104 140028166769282 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27410] ppid=27391 vsize=26534456 CPUtime=0.69 cores=0-7 /proc/27393/task/27410/stat : 27410 (java) S 27391 27391 24937 0 -1 1077944384 3887 0 0 0 68 1 0 0 20 0 28 0 16560997 27171282944 74777 18446744073709551615 4194304 4196468 140726149858736 140026838632560 140028166769282 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27411] ppid=27391 vsize=26534456 CPUtime=0 cores=0-7 /proc/27393/task/27411/stat : 27411 (java) S 27391 27391 24937 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 16560997 27171282944 74777 18446744073709551615 4194304 4196468 140726149858736 140026837580768 140028166768341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27412] ppid=27391 vsize=26534456 CPUtime=0 cores=0-7 /proc/27393/task/27412/stat : 27412 (java) S 27391 27391 24937 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 16561000 27171282944 74777 18446744073709551615 4194304 4196468 140726149858736 140026836528304 140028166769282 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 Current children cumulated CPU time (s) 9.27 Current children cumulated vsize (KiB) 26543968 [startup+6.30277 s] /proc/loadavg: 7.85 8.49 7.39 3/201 29181 /proc/meminfo: memFree=30168976/32770624 swapFree=0/252556 [pid=27391] ppid=27388 vsize=9512 CPUtime=0 cores=0-7 /proc/27391/stat : 27391 (xcsp3-exec) S 27388 27391 24937 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 16560985 9740288 345 18446744073709551615 4194304 5098028 140729816958608 140729816956712 140590696321660 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 13357056 140729816965522 140729816965732 140729816965732 140729816969195 0 /proc/27391/statm: 2378 345 289 221 0 87 0 [pid=27393] ppid=27391 vsize=26669632 CPUtime=28.85 cores=0-7 /proc/27393/stat : 27393 (java) S 27391 27391 24937 0 -1 1077944320 63357 0 0 0 2759 126 0 0 20 0 21 0 16560991 27309703168 630852 18446744073709551615 4194304 4196468 140726149858736 140726149841280 140028166758135 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 /proc/27393/statm: 6667408 630852 3249 1 0 6655709 0 [pid=27393/tid=27394] ppid=27391 vsize=26669632 CPUtime=3.01 cores=0-7 /proc/27393/task/27394/stat : 27394 (java) R 27391 27391 24937 0 -1 4202560 11331 0 0 0 293 8 0 0 20 0 20 0 16560991 27309703168 630852 18446744073709551615 4194304 4196468 140726149858736 140028170998800 140027763956946 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27395] ppid=27391 vsize=26669632 CPUtime=0.18 cores=0-7 /proc/27393/task/27395/stat : 27395 (java) S 27391 27391 24937 0 -1 1077944384 213 0 0 0 12 6 0 0 20 0 20 0 16560992 27309703168 630852 18446744073709551615 4194304 4196468 140726149858736 140028093684752 140028166768341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27396] ppid=27391 vsize=26669632 CPUtime=0.18 cores=0-7 /proc/27393/task/27396/stat : 27396 (java) S 27391 27391 24937 0 -1 1077944384 180 0 0 0 12 6 0 0 20 0 20 0 16560992 27309703168 630852 18446744073709551615 4194304 4196468 140726149858736 140028092632208 140028166768341 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27397] ppid=27391 vsize=26669632 CPUtime=0.15 cores=0-7 /proc/27393/task/27397/stat : 27397 (java) S 27391 27391 24937 0 -1 1077944384 176 0 0 0 10 5 0 0 20 0 20 0 16560992 27309703168 630852 18446744073709551615 4194304 4196468 140726149858736 140028091579152 140028166768341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27398] ppid=27391 vsize=26669632 CPUtime=0.16 cores=0-7 /proc/27393/task/27398/stat : 27398 (java) S 27391 27391 24937 0 -1 1077944384 235 0 0 0 10 6 0 0 20 0 20 0 16560992 27309703168 630852 18446744073709551615 4194304 4196468 140726149858736 140028090526608 140028166768341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27399] ppid=27391 vsize=26669632 CPUtime=0.17 cores=0-7 /proc/27393/task/27399/stat : 27399 (java) S 27391 27391 24937 0 -1 1077944384 163 0 0 0 12 5 0 0 20 0 20 0 16560992 27309703168 630852 18446744073709551615 4194304 4196468 140726149858736 140028089473552 140028166768341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27400] ppid=27391 vsize=26669632 CPUtime=0.17 cores=0-7 /proc/27393/task/27400/stat : 27400 (java) S 27391 27391 24937 0 -1 1077944384 212 0 0 0 11 6 0 0 20 0 20 0 16560992 27309703168 630852 18446744073709551615 4194304 4196468 140726149858736 140028088421008 140028166768341 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27401] ppid=27391 vsize=26669632 CPUtime=0.18 cores=0-7 /proc/27393/task/27401/stat : 27401 (java) S 27391 27391 24937 0 -1 1077944384 291 0 0 0 12 6 0 0 20 0 20 0 16560992 27309703168 630852 18446744073709551615 4194304 4196468 140726149858736 140028087367952 140028166768341 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27402] ppid=27391 vsize=26669632 CPUtime=0.15 cores=0-7 /proc/27393/task/27402/stat : 27402 (java) S 27391 27391 24937 0 -1 1077944384 353 0 0 0 10 5 0 0 20 0 20 0 16560992 27309703168 630852 18446744073709551615 4194304 4196468 140726149858736 140028086315408 140028166768341 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27403] ppid=27391 vsize=26669632 CPUtime=0.02 cores=0-7 /proc/27393/task/27403/stat : 27403 (java) S 27391 27391 24937 0 -1 1077944384 2189 0 0 0 2 0 0 0 20 0 20 0 16560994 27309703168 630852 18446744073709551615 4194304 4196468 140726149858736 140026846001904 140028166769282 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27404] ppid=27391 vsize=26669632 CPUtime=0 cores=0-7 /proc/27393/task/27404/stat : 27404 (java) S 27391 27391 24937 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 16560994 27309703168 630852 18446744073709551615 4194304 4196468 140726149858736 140026844948192 140028166768341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27405] ppid=27391 vsize=26669632 CPUtime=0 cores=0-7 /proc/27393/task/27405/stat : 27405 (java) S 27391 27391 24937 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 20 0 16560994 27309703168 630852 18446744073709551615 4194304 4196468 140726149858736 140026843895040 140028166768341 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27406] ppid=27391 vsize=26669632 CPUtime=0 cores=0-7 /proc/27393/task/27406/stat : 27406 (java) S 27391 27391 24937 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 16560997 27309703168 630852 18446744073709551615 4194304 4196468 140726149858736 140026842843600 140028166776731 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 ################ # More data... # ################ [pid=27393/tid=30460] ppid=27391 vsize=26669632 CPUtime=155.48 cores=0-7 /proc/27393/task/30460/stat : 30460 (java) R 27391 27391 24937 0 -1 4202560 1976 0 0 0 15544 4 0 0 20 0 28 0 16561655 27309703168 1898553 18446744073709551615 4194304 4196468 140726149858736 140026815898280 140027771243044 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=30461] ppid=27391 vsize=26669632 CPUtime=155.1 cores=0-7 /proc/27393/task/30461/stat : 30461 (java) R 27391 27391 24937 0 -1 4202560 832 0 0 0 15506 4 0 0 20 0 28 0 16561655 27309703168 1898553 18446744073709551615 4194304 4196468 140726149858736 140026825359656 140027766868069 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 Current children cumulated CPU time (s) 1272.92 Current children cumulated vsize (KiB) 26679144 [startup+222.308 s] /proc/loadavg: 8.09 8.27 7.53 9/201 30488 /proc/meminfo: memFree=24210724/32770624 swapFree=0/252616 [pid=27391] ppid=27388 vsize=9512 CPUtime=0 cores=0-7 /proc/27391/stat : 27391 (xcsp3-exec) S 27388 27391 24937 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 16560985 9740288 345 18446744073709551615 4194304 5098028 140729816958608 140729816956712 140590696321660 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 13357056 140729816965522 140729816965732 140729816965732 140729816969195 0 /proc/27391/statm: 2378 345 289 221 0 87 0 [pid=27393] ppid=27391 vsize=26669632 CPUtime=1751.93 cores=0-7 /proc/27393/stat : 27393 (java) S 27391 27391 24937 0 -1 1077944320 134300 0 0 0 174839 354 0 0 20 0 28 0 16560991 27309703168 1888806 18446744073709551615 4194304 4196468 140726149858736 140726149841280 140028166758135 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 /proc/27393/statm: 6667408 1888806 3256 1 0 6655709 0 [pid=27393/tid=27394] ppid=27391 vsize=26669632 CPUtime=3.05 cores=0-7 /proc/27393/task/27394/stat : 27394 (java) S 27391 27391 24937 0 -1 1077944384 11335 0 0 0 296 9 0 0 20 0 28 0 16560991 27309703168 1888806 18446744073709551615 4194304 4196468 140726149858736 140028170998800 140028166768341 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27395] ppid=27391 vsize=26669632 CPUtime=0.21 cores=0-7 /proc/27393/task/27395/stat : 27395 (java) S 27391 27391 24937 0 -1 1077944384 714 0 0 0 14 7 0 0 20 0 28 0 16560992 27309703168 1888806 18446744073709551615 4194304 4196468 140726149858736 140028093684752 140028166768341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27396] ppid=27391 vsize=26669632 CPUtime=0.2 cores=0-7 /proc/27393/task/27396/stat : 27396 (java) S 27391 27391 24937 0 -1 1077944384 386 0 0 0 14 6 0 0 20 0 28 0 16560992 27309703168 1888806 18446744073709551615 4194304 4196468 140726149858736 140028092632208 140028166768341 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27397] ppid=27391 vsize=26669632 CPUtime=0.18 cores=0-7 /proc/27393/task/27397/stat : 27397 (java) S 27391 27391 24937 0 -1 1077944384 665 0 0 0 12 6 0 0 20 0 28 0 16560992 27309703168 1888806 18446744073709551615 4194304 4196468 140726149858736 140028091579152 140028166768341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27398] ppid=27391 vsize=26669632 CPUtime=0.19 cores=0-7 /proc/27393/task/27398/stat : 27398 (java) S 27391 27391 24937 0 -1 1077944384 358 0 0 0 12 7 0 0 20 0 28 0 16560992 27309703168 1888806 18446744073709551615 4194304 4196468 140726149858736 140028090526608 140028166768341 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27399] ppid=27391 vsize=26669632 CPUtime=0.2 cores=0-7 /proc/27393/task/27399/stat : 27399 (java) S 27391 27391 24937 0 -1 1077944384 532 0 0 0 14 6 0 0 20 0 28 0 16560992 27309703168 1888806 18446744073709551615 4194304 4196468 140726149858736 140028089473552 140028166768341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27400] ppid=27391 vsize=26669632 CPUtime=0.2 cores=0-7 /proc/27393/task/27400/stat : 27400 (java) S 27391 27391 24937 0 -1 1077944384 637 0 0 0 13 7 0 0 20 0 28 0 16560992 27309703168 1888806 18446744073709551615 4194304 4196468 140726149858736 140028088421008 140028166768341 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27401] ppid=27391 vsize=26669632 CPUtime=0.21 cores=0-7 /proc/27393/task/27401/stat : 27401 (java) S 27391 27391 24937 0 -1 1077944384 489 0 0 0 14 7 0 0 20 0 28 0 16560992 27309703168 1888806 18446744073709551615 4194304 4196468 140726149858736 140028087367952 140028166768341 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27402] ppid=27391 vsize=26669632 CPUtime=0.18 cores=0-7 /proc/27393/task/27402/stat : 27402 (java) S 27391 27391 24937 0 -1 1077944384 1291 0 0 0 12 6 0 0 20 0 28 0 16560992 27309703168 1888806 18446744073709551615 4194304 4196468 140726149858736 140028086315408 140028166768341 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27403] ppid=27391 vsize=26669632 CPUtime=0.04 cores=0-7 /proc/27393/task/27403/stat : 27403 (java) S 27391 27391 24937 0 -1 1077944384 4609 0 0 0 3 1 0 0 20 0 28 0 16560994 27309703168 1888806 18446744073709551615 4194304 4196468 140726149858736 140026846001904 140028166769282 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27404] ppid=27391 vsize=26669632 CPUtime=0 cores=0-7 /proc/27393/task/27404/stat : 27404 (java) S 27391 27391 24937 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 16560994 27309703168 1888806 18446744073709551615 4194304 4196468 140726149858736 140026844948192 140028166768341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27405] ppid=27391 vsize=26669632 CPUtime=0 cores=0-7 /proc/27393/task/27405/stat : 27405 (java) S 27391 27391 24937 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 16560994 27309703168 1888806 18446744073709551615 4194304 4196468 140726149858736 140026843895040 140028166768341 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27406] ppid=27391 vsize=26669632 CPUtime=0 cores=0-7 /proc/27393/task/27406/stat : 27406 (java) S 27391 27391 24937 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16560997 27309703168 1888806 18446744073709551615 4194304 4196468 140726149858736 140026842843600 140028166776731 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27407] ppid=27391 vsize=26669632 CPUtime=3.06 cores=0-7 /proc/27393/task/27407/stat : 27407 (java) S 27391 27391 24937 0 -1 1077944384 10588 0 0 0 303 3 0 0 20 0 28 0 16560997 27309703168 1888806 18446744073709551615 4194304 4196468 140726149858736 140026841790704 140028166769282 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27408] ppid=27391 vsize=26669632 CPUtime=2.87 cores=0-7 /proc/27393/task/27408/stat : 27408 (java) S 27391 27391 24937 0 -1 1077944384 12157 0 0 0 284 3 0 0 20 0 28 0 16560997 27309703168 1888806 18446744073709551615 4194304 4196468 140726149858736 140026840738160 140028166769282 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27409] ppid=27391 vsize=26669632 CPUtime=2.97 cores=0-7 /proc/27393/task/27409/stat : 27409 (java) S 27391 27391 24937 0 -1 1077944384 7760 0 0 0 296 1 0 0 20 0 28 0 16560997 27309703168 1888806 18446744073709551615 4194304 4196468 140726149858736 140026839685104 140028166769282 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27410] ppid=27391 vsize=26669632 CPUtime=1.12 cores=0-7 /proc/27393/task/27410/stat : 27410 (java) S 27391 27391 24937 0 -1 1077944384 7162 0 0 0 110 2 0 0 20 0 28 0 16560997 27309703168 1888806 18446744073709551615 4194304 4196468 140726149858736 140026838632560 140028166769282 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27411] ppid=27391 vsize=26669632 CPUtime=0 cores=0-7 /proc/27393/task/27411/stat : 27411 (java) S 27391 27391 24937 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 16560997 27309703168 1888806 18446744073709551615 4194304 4196468 140726149858736 140026837580768 140028166768341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27412] ppid=27391 vsize=26669632 CPUtime=0.08 cores=0-7 /proc/27393/task/27412/stat : 27412 (java) S 27391 27391 24937 0 -1 1077944384 665 0 0 0 0 8 0 0 20 0 28 0 16561000 27309703168 1888806 18446744073709551615 4194304 4196468 140726149858736 140026836528304 140028166769282 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=30454] ppid=27391 vsize=26669632 CPUtime=215.05 cores=0-7 /proc/27393/task/30454/stat : 30454 (java) R 27391 27391 24937 0 -1 4202560 2574 0 0 0 21493 12 0 0 20 0 28 0 16561655 27309703168 1888806 18446744073709551615 4194304 4196468 140726149858736 140026827463560 140027771886375 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=30455] ppid=27391 vsize=26669632 CPUtime=215.36 cores=0-7 /proc/27393/task/30455/stat : 30455 (java) R 27391 27391 24937 0 -1 4202560 1105 0 0 0 21534 2 0 0 20 0 28 0 16561655 27309703168 1888806 18446744073709551615 4194304 4196468 140726149858736 140026816950664 140027772047744 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=30456] ppid=27391 vsize=26669632 CPUtime=213.28 cores=0-7 /proc/27393/task/30456/stat : 30456 (java) R 27391 27391 24937 0 -1 4202560 743 0 0 0 21321 7 0 0 20 0 28 0 16561655 27309703168 1888806 18446744073709551615 4194304 4196468 140726149858736 140026826412128 140027772048792 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=30457] ppid=27391 vsize=26669632 CPUtime=215.25 cores=0-7 /proc/27393/task/30457/stat : 30457 (java) R 27391 27391 24937 0 -1 4202560 28783 0 0 0 21379 146 0 0 20 0 28 0 16561655 27309703168 1888806 18446744073709551615 4194304 4196468 140726149858736 140026824309616 140027771940751 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=30458] ppid=27391 vsize=26669632 CPUtime=214.73 cores=0-7 /proc/27393/task/30458/stat : 30458 (java) R 27391 27391 24937 0 -1 4202560 4964 0 0 0 21449 24 0 0 20 0 28 0 16561655 27309703168 1888806 18446744073709551615 4194304 4196468 140726149858736 140026823254312 140027766293116 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=30459] ppid=27391 vsize=26669632 CPUtime=215.38 cores=0-7 /proc/27393/task/30459/stat : 30459 (java) R 27391 27391 24937 0 -1 4202560 1300 0 0 0 21537 1 0 0 20 0 28 0 16561655 27309703168 1888806 18446744073709551615 4194304 4196468 140726149858736 140026828517256 140027771242865 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=30460] ppid=27391 vsize=26669632 CPUtime=215.46 cores=0-7 /proc/27393/task/30460/stat : 30460 (java) R 27391 27391 24937 0 -1 4202560 2141 0 0 0 21542 4 0 0 20 0 28 0 16561655 27309703168 1888806 18446744073709551615 4194304 4196468 140726149858736 140026815898072 140027771886041 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=30461] ppid=27391 vsize=26669632 CPUtime=215.09 cores=0-7 /proc/27393/task/30461/stat : 30461 (java) R 27391 27391 24937 0 -1 4202560 977 0 0 0 21505 4 0 0 20 0 28 0 16561655 27309703168 1888806 18446744073709551615 4194304 4196468 140726149858736 140026825360024 140027771886384 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 Current children cumulated CPU time (s) 1751.93 Current children cumulated vsize (KiB) 26679144 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+243.402 s] /proc/loadavg: 8.19 8.28 7.55 9/201 30496 /proc/meminfo: memFree=24209012/32770624 swapFree=0/252624 [pid=27391] ppid=27388 vsize=9512 CPUtime=0 cores=0-7 /proc/27391/stat : 27391 (xcsp3-exec) S 27388 27391 24937 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 16560985 9740288 345 18446744073709551615 4194304 5098028 140729816958608 140729816956712 140590696321660 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 13357056 140729816965522 140729816965732 140729816965732 140729816969195 0 /proc/27391/statm: 2378 345 289 221 0 87 0 [pid=27393] ppid=27391 vsize=26669632 CPUtime=1920.16 cores=0-7 /proc/27393/stat : 27393 (java) S 27391 27391 24937 0 -1 1077944320 139085 0 0 0 191581 435 0 0 20 0 28 0 16560991 27309703168 1888678 18446744073709551615 4194304 4196468 140726149858736 140726149841280 140028166758135 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 /proc/27393/statm: 6667408 1888678 3256 1 0 6655709 0 [pid=27393/tid=27394] ppid=27391 vsize=26669632 CPUtime=3.05 cores=0-7 /proc/27393/task/27394/stat : 27394 (java) S 27391 27391 24937 0 -1 1077944384 11335 0 0 0 296 9 0 0 20 0 28 0 16560991 27309703168 1888678 18446744073709551615 4194304 4196468 140726149858736 140028170998800 140028166768341 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27395] ppid=27391 vsize=26669632 CPUtime=0.21 cores=0-7 /proc/27393/task/27395/stat : 27395 (java) S 27391 27391 24937 0 -1 1077944384 715 0 0 0 14 7 0 0 20 0 28 0 16560992 27309703168 1888678 18446744073709551615 4194304 4196468 140726149858736 140028093684752 140028166768341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27396] ppid=27391 vsize=26669632 CPUtime=0.21 cores=0-7 /proc/27393/task/27396/stat : 27396 (java) S 27391 27391 24937 0 -1 1077944384 386 0 0 0 15 6 0 0 20 0 28 0 16560992 27309703168 1888678 18446744073709551615 4194304 4196468 140726149858736 140028092632208 140028166768341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27397] ppid=27391 vsize=26669632 CPUtime=0.18 cores=0-7 /proc/27393/task/27397/stat : 27397 (java) S 27391 27391 24937 0 -1 1077944384 666 0 0 0 12 6 0 0 20 0 28 0 16560992 27309703168 1888678 18446744073709551615 4194304 4196468 140726149858736 140028091579152 140028166768341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27398] ppid=27391 vsize=26669632 CPUtime=0.19 cores=0-7 /proc/27393/task/27398/stat : 27398 (java) S 27391 27391 24937 0 -1 1077944384 360 0 0 0 12 7 0 0 20 0 28 0 16560992 27309703168 1888678 18446744073709551615 4194304 4196468 140726149858736 140028090526608 140028166768341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27399] ppid=27391 vsize=26669632 CPUtime=0.2 cores=0-7 /proc/27393/task/27399/stat : 27399 (java) S 27391 27391 24937 0 -1 1077944384 533 0 0 0 14 6 0 0 20 0 28 0 16560992 27309703168 1888678 18446744073709551615 4194304 4196468 140726149858736 140028089473552 140028166768341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27400] ppid=27391 vsize=26669632 CPUtime=0.2 cores=0-7 /proc/27393/task/27400/stat : 27400 (java) S 27391 27391 24937 0 -1 1077944384 638 0 0 0 13 7 0 0 20 0 28 0 16560992 27309703168 1888678 18446744073709551615 4194304 4196468 140726149858736 140028088421008 140028166768341 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27401] ppid=27391 vsize=26669632 CPUtime=0.21 cores=0-7 /proc/27393/task/27401/stat : 27401 (java) S 27391 27391 24937 0 -1 1077944384 489 0 0 0 14 7 0 0 20 0 28 0 16560992 27309703168 1888678 18446744073709551615 4194304 4196468 140726149858736 140028087367952 140028166768341 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27402] ppid=27391 vsize=26669632 CPUtime=0.18 cores=0-7 /proc/27393/task/27402/stat : 27402 (java) S 27391 27391 24937 0 -1 1077944384 1292 0 0 0 12 6 0 0 20 0 28 0 16560992 27309703168 1888678 18446744073709551615 4194304 4196468 140726149858736 140028086315408 140028166768341 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27403] ppid=27391 vsize=26669632 CPUtime=0.04 cores=0-7 /proc/27393/task/27403/stat : 27403 (java) S 27391 27391 24937 0 -1 1077944384 4620 0 0 0 3 1 0 0 20 0 28 0 16560994 27309703168 1888678 18446744073709551615 4194304 4196468 140726149858736 140026846001904 140028166769282 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27404] ppid=27391 vsize=26669632 CPUtime=0 cores=0-7 /proc/27393/task/27404/stat : 27404 (java) S 27391 27391 24937 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 16560994 27309703168 1888678 18446744073709551615 4194304 4196468 140726149858736 140026844948192 140028166768341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27405] ppid=27391 vsize=26669632 CPUtime=0 cores=0-7 /proc/27393/task/27405/stat : 27405 (java) S 27391 27391 24937 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 16560994 27309703168 1888678 18446744073709551615 4194304 4196468 140726149858736 140026843895040 140028166768341 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27406] ppid=27391 vsize=26669632 CPUtime=0 cores=0-7 /proc/27393/task/27406/stat : 27406 (java) S 27391 27391 24937 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16560997 27309703168 1888678 18446744073709551615 4194304 4196468 140726149858736 140026842843600 140028166776731 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27407] ppid=27391 vsize=26669632 CPUtime=3.06 cores=0-7 /proc/27393/task/27407/stat : 27407 (java) S 27391 27391 24937 0 -1 1077944384 11361 0 0 0 303 3 0 0 20 0 28 0 16560997 27309703168 1888678 18446744073709551615 4194304 4196468 140726149858736 140026841790704 140028166769282 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27408] ppid=27391 vsize=26669632 CPUtime=2.87 cores=0-7 /proc/27393/task/27408/stat : 27408 (java) S 27391 27391 24937 0 -1 1077944384 12160 0 0 0 284 3 0 0 20 0 28 0 16560997 27309703168 1888678 18446744073709551615 4194304 4196468 140726149858736 140026840738160 140028166769282 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27409] ppid=27391 vsize=26669632 CPUtime=2.97 cores=0-7 /proc/27393/task/27409/stat : 27409 (java) S 27391 27391 24937 0 -1 1077944384 7768 0 0 0 296 1 0 0 20 0 28 0 16560997 27309703168 1888678 18446744073709551615 4194304 4196468 140726149858736 140026839685104 140028166769282 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27410] ppid=27391 vsize=26669632 CPUtime=1.12 cores=0-7 /proc/27393/task/27410/stat : 27410 (java) S 27391 27391 24937 0 -1 1077944384 7167 0 0 0 110 2 0 0 20 0 28 0 16560997 27309703168 1888678 18446744073709551615 4194304 4196468 140726149858736 140026838632560 140028166769282 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27411] ppid=27391 vsize=26669632 CPUtime=0 cores=0-7 /proc/27393/task/27411/stat : 27411 (java) S 27391 27391 24937 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 16560997 27309703168 1888678 18446744073709551615 4194304 4196468 140726149858736 140026837580768 140028166768341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=27412] ppid=27391 vsize=26669632 CPUtime=0.09 cores=0-7 /proc/27393/task/27412/stat : 27412 (java) S 27391 27391 24937 0 -1 1077944384 717 0 0 0 0 9 0 0 20 0 28 0 16561000 27309703168 1888678 18446744073709551615 4194304 4196468 140726149858736 140026836528304 140028166769282 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=30454] ppid=27391 vsize=26669632 CPUtime=236.14 cores=0-7 /proc/27393/task/30454/stat : 30454 (java) R 27391 27391 24937 0 -1 4202560 2773 0 0 0 23601 13 0 0 20 0 28 0 16561655 27309703168 1888678 18446744073709551615 4194304 4196468 140726149858736 140026827463832 140027771152169 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=30455] ppid=27391 vsize=26669632 CPUtime=236.44 cores=0-7 /proc/27393/task/30455/stat : 30455 (java) R 27391 27391 24937 0 -1 4202560 1217 0 0 0 23642 2 0 0 20 0 28 0 16561655 27309703168 1888678 18446744073709551615 4194304 4196468 140726149858736 140026816950808 140027771242891 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=30456] ppid=27391 vsize=26669632 CPUtime=234.31 cores=0-7 /proc/27393/task/30456/stat : 30456 (java) R 27391 27391 24937 0 -1 4202560 807 0 0 0 23424 7 0 0 20 0 28 0 16561655 27309703168 1888678 18446744073709551615 4194304 4196468 140726149858736 140026826411792 140027771152784 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=30457] ppid=27391 vsize=26669632 CPUtime=236.02 cores=0-7 /proc/27393/task/30457/stat : 30457 (java) R 27391 27391 24937 0 -1 4202560 31723 0 0 0 23379 223 0 0 20 0 28 0 16561655 27309703168 1888678 18446744073709551615 4194304 4196468 140726149858736 140026824307608 140027771886067 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=30458] ppid=27391 vsize=26669632 CPUtime=235.79 cores=0-7 /proc/27393/task/30458/stat : 30458 (java) R 27391 27391 24937 0 -1 4202560 5059 0 0 0 23554 25 0 0 20 0 28 0 16561655 27309703168 1888678 18446744073709551615 4194304 4196468 140726149858736 140026823253768 140027771152784 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=30459] ppid=27391 vsize=26669632 CPUtime=236.46 cores=0-7 /proc/27393/task/30459/stat : 30459 (java) R 27391 27391 24937 0 -1 4202560 1418 0 0 0 23645 1 0 0 20 0 28 0 16561655 27309703168 1888678 18446744073709551615 4194304 4196468 140726149858736 140026828517112 140027772412035 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=30460] ppid=27391 vsize=26669632 CPUtime=236.54 cores=0-7 /proc/27393/task/30460/stat : 30460 (java) R 27391 27391 24937 0 -1 4202560 2455 0 0 0 23649 5 0 0 20 0 28 0 16561655 27309703168 1888678 18446744073709551615 4194304 4196468 140726149858736 140026815898072 140027771389521 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 [pid=27393/tid=30461] ppid=27391 vsize=26669632 CPUtime=236.12 cores=0-7 /proc/27393/task/30461/stat : 30461 (java) R 27391 27391 24937 0 -1 4202560 1061 0 0 0 23607 5 0 0 20 0 28 0 16561655 27309703168 1888678 18446744073709551615 4194304 4196468 140726149858736 140026825360008 140027771152736 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18161664 140726149861840 140726149862016 140726149862016 140726149865423 0 Current children cumulated CPU time (s) 1920.16 Current children cumulated vsize (KiB) 26679144 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 27393 sig 9 ??? kill 27391 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 27391 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=915 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=915 # CPU time returned by wait4() is 0.00183 # while last known CPU time is 1920.16 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 243.425 CPU time (s): 1920.16 CPU user time (s): 1915.81 CPU system time (s): 4.35 CPU usage (%): 788.809 Max. virtual memory (cumulated for all children) (KiB): 26679144 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.000915 system time used= 0.000915 maximum resident set size= 1384 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 509 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 1 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.97566 second user time and 1.75677 second system time The end
Begin job on node131 at 2017-08-02 14:56:10 IDJOB=4254844 IDBENCH=115913 IDSOLVER=2636 FILE ID=node131/4254844-1501679407 RUNJOBID= node131-1501676534-24993 PBS_JOBID= Free space on /tmp= 61944 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-29.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-4254844-1501679407/watcher-4254844-1501679407 -o /tmp/evaluation-result-4254844-1501679407/solver-4254844-1501679407 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node131-1501676534-24993 --watchdog 324 ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 1200497644 HOME/instance-4254844-1501679407.xml TIME LIMIT= 1920 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 1822b9c415adc1a9dd10b23e46d08c48 RANDOM SEED=1200497644 node131.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 : 5334.07 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 : 5334.07 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 : 5334.07 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 : 5334.07 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: 31763640 kB MemAvailable: 32014140 kB Buffers: 133888 kB Cached: 405036 kB SwapCached: 0 kB Active: 324472 kB Inactive: 269208 kB Active(anon): 55272 kB Inactive(anon): 16724 kB Active(file): 269200 kB Inactive(file): 252484 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8036 kB Writeback: 4 kB AnonPages: 55188 kB Mapped: 30744 kB Shmem: 17064 kB Slab: 114348 kB SReclaimable: 89304 kB SUnreclaim: 25044 kB KernelStack: 3040 kB PageTables: 4280 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 286284 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61936 MiB End job on node131 at 2017-08-02 15:00:14