Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-07-26) | SAT (TO) | 475 | 1920.79 | 246.541 |
Name | StillLife/StillLife-wst-s1/ StillLife-wastage-32.xml |
MD5SUM | 3de3ac871f1e1c584be6c245f66daf9e |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 491 |
Best CPU time to get the best result obtained on this benchmark | 251.978 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2347 |
Number of constraints | 1352 |
Number of domains | 4 |
Minimum domain size | 2 |
Maximum domain size | 2313 |
Distribution of domain sizes | [{"size":2,"count":1156},{"size":3,"count":1156},{"size":1025,"count":1},{"size":2313,"count":34}] |
Minimum variable degree | 1 |
Maximum variable degree | 35 |
Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":1153},{"degree":3,"count":37},{"degree":4,"count":128},{"degree":8,"count":124},{"degree":9,"count":900},{"degree":35,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 36 |
Distribution of constraint arities | [{"arity":2,"count":162},{"arity":3,"count":128},{"arity":10,"count":1024},{"arity":34,"count":4},{"arity":35,"count":1},{"arity":36,"count":33}] |
Number of extensional constraints | 1152 |
Number of intensional constraints | 161 |
Distribution of constraint types | [{"type":"extension","count":1152},{"type":"intension","count":161},{"type":"sum","count":35},{"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-4254845-1501679619.xml" -tl '1920s' -p 8 -x 0 0.00/0.25 c [HOME/instance-4254845-1501679619.xml, -tl, 1920s, -p, 8, -x, 0] 0.00/0.31 c 8 solvers in parallel 0.00/0.38 c parse instance... 7.99/3.33 c solve instance... 14.71/4.25 o 0 15.70/4.43 o 4 16.59/4.95 o 6 16.59/4.96 o 8 16.59/4.98 o 10 16.59/4.99 o 12 16.97/5.01 o 14 16.97/5.04 o 16 17.68/5.12 o 18 17.68/5.18 o 20 18.42/5.26 o 22 19.94/5.42 o 24 20.78/5.54 o 25 22.22/5.79 o 26 23.18/6.21 o 27 23.18/6.23 o 28 23.18/6.23 o 29 23.18/6.24 o 30 23.18/6.25 o 31 23.18/6.25 o 32 23.18/6.26 o 33 23.18/6.27 o 34 23.18/6.28 o 35 23.67/6.31 o 36 23.67/6.31 o 37 23.67/6.32 o 38 23.67/6.33 o 39 23.67/6.33 o 40 23.67/6.34 o 41 23.67/6.35 o 42 23.67/6.35 o 43 23.67/6.37 o 44 23.67/6.38 o 45 23.67/6.38 o 46 23.67/6.39 o 47 23.67/6.39 o 48 24.26/6.40 o 49 24.26/6.40 o 50 24.26/6.41 o 51 24.26/6.42 o 52 24.26/6.43 o 53 24.26/6.43 o 54 24.26/6.44 o 55 24.26/6.45 o 56 24.26/6.45 o 57 24.26/6.46 o 58 24.26/6.47 o 59 24.26/6.48 o 60 24.26/6.48 o 61 24.26/6.49 o 62 24.75/6.50 o 63 24.75/6.50 o 64 24.75/6.51 o 65 24.75/6.54 o 66 24.75/6.55 o 67 24.75/6.56 o 68 24.75/6.57 o 69 24.75/6.58 o 70 24.75/6.59 o 71 24.75/6.59 o 72 24.75/6.60 o 73 25.29/6.61 o 74 25.29/6.61 o 75 25.29/6.62 o 76 25.29/6.62 o 77 25.29/6.63 o 78 25.29/6.64 o 79 25.29/6.64 o 80 25.29/6.65 o 81 25.29/6.66 o 82 25.29/6.67 o 83 25.29/6.68 o 84 25.29/6.68 o 85 25.29/6.69 o 86 25.29/6.69 o 87 25.29/6.70 o 88 25.80/6.72 o 89 25.80/6.74 o 90 25.80/6.74 o 91 25.80/6.75 o 92 25.80/6.75 o 93 25.80/6.76 o 94 25.80/6.77 o 95 25.80/6.77 o 96 25.80/6.78 o 97 25.80/6.78 o 98 25.80/6.79 o 99 25.80/6.79 o 100 26.35/6.82 o 101 26.35/6.83 o 102 26.35/6.84 o 103 26.35/6.84 o 104 26.35/6.85 o 105 26.35/6.85 o 106 26.35/6.86 o 107 26.35/6.87 o 108 26.35/6.87 o 109 26.35/6.88 o 110 26.35/6.89 o 111 26.35/6.89 o 112 26.82/6.90 o 113 26.82/6.91 o 114 26.82/6.92 o 115 26.82/6.92 o 116 26.82/6.93 o 117 26.82/6.94 o 118 26.82/6.94 o 119 26.82/6.95 o 120 26.82/6.96 o 121 26.82/6.96 o 122 26.82/6.97 o 123 26.82/6.98 o 124 26.82/6.99 o 125 26.82/6.99 o 126 27.33/7.00 o 127 27.33/7.01 o 128 27.33/7.02 o 129 27.33/7.02 o 130 27.33/7.03 o 131 27.33/7.04 o 132 27.33/7.04 o 133 27.33/7.05 o 134 27.33/7.06 o 135 27.33/7.07 o 136 27.33/7.07 o 137 27.33/7.08 o 138 27.33/7.09 o 139 27.77/7.10 o 140 27.77/7.11 o 141 27.77/7.11 o 142 27.77/7.12 o 143 27.77/7.13 o 144 27.77/7.14 o 145 27.77/7.14 o 146 27.77/7.15 o 147 27.77/7.16 o 148 27.77/7.16 o 149 27.77/7.19 o 150 28.28/7.20 o 151 28.28/7.20 o 152 28.28/7.21 o 153 28.28/7.22 o 154 28.28/7.22 o 155 28.28/7.23 o 156 28.28/7.23 o 157 28.28/7.24 o 158 28.28/7.25 o 159 28.28/7.25 o 160 28.28/7.26 o 161 28.28/7.26 o 162 28.28/7.27 o 163 28.28/7.28 o 164 28.28/7.29 o 165 28.28/7.29 o 166 28.81/7.30 o 167 28.81/7.31 o 168 28.81/7.31 o 169 28.81/7.32 o 170 28.81/7.33 o 171 28.81/7.33 o 172 28.81/7.34 o 173 28.81/7.35 o 174 28.81/7.35 o 175 28.81/7.36 o 176 28.81/7.37 o 177 28.81/7.37 o 178 28.81/7.38 o 179 28.81/7.39 o 180 28.81/7.40 o 181 29.37/7.40 o 182 29.37/7.41 o 183 29.37/7.41 o 184 29.37/7.42 o 185 29.37/7.43 o 186 29.37/7.44 o 187 29.37/7.45 o 188 29.37/7.45 o 189 29.37/7.46 o 190 29.37/7.47 o 191 29.37/7.47 o 192 29.37/7.48 o 193 29.37/7.48 o 194 29.37/7.49 o 195 29.89/7.50 o 196 29.89/7.51 o 197 29.89/7.51 o 198 29.89/7.52 o 199 29.89/7.53 o 200 29.89/7.54 o 201 29.89/7.54 o 202 29.89/7.55 o 203 29.89/7.56 o 204 29.89/7.57 o 205 29.89/7.57 o 206 29.89/7.58 o 207 29.89/7.59 o 208 29.89/7.60 o 209 30.36/7.60 o 210 30.36/7.61 o 211 30.36/7.62 o 212 30.36/7.63 o 213 30.36/7.63 o 214 30.36/7.64 o 215 30.36/7.65 o 216 30.36/7.65 o 217 30.36/7.67 o 218 30.36/7.67 o 219 30.36/7.68 o 220 30.36/7.69 o 221 30.36/7.69 o 222 30.36/7.70 o 223 30.88/7.71 o 224 30.88/7.71 o 225 30.88/7.72 o 226 30.88/7.72 o 227 30.88/7.73 o 228 30.88/7.74 o 229 30.88/7.74 o 230 30.88/7.75 o 231 30.88/7.76 o 232 30.88/7.76 o 233 30.88/7.77 o 234 30.88/7.78 o 235 30.88/7.79 o 236 30.88/7.79 o 237 30.88/7.80 o 238 31.41/7.81 o 239 31.41/7.81 o 240 31.41/7.82 o 241 31.41/7.83 o 242 31.41/7.85 o 243 31.41/7.87 o 244 32.69/8.30 o 245 32.69/8.31 o 246 32.69/8.32 o 247 32.69/8.32 o 248 32.69/8.33 o 249 32.69/8.34 o 250 32.69/8.35 o 251 32.69/8.36 o 252 32.69/8.37 o 253 32.69/8.38 o 254 32.69/8.39 o 255 32.69/8.40 o 256 33.13/8.40 o 257 33.13/8.41 o 258 33.13/8.42 o 259 33.13/8.43 o 260 33.13/8.44 o 261 33.13/8.45 o 262 33.13/8.46 o 263 33.13/8.46 o 264 33.13/8.47 o 265 33.13/8.48 o 266 33.13/8.49 o 267 33.13/8.49 o 268 33.68/8.50 o 269 33.68/8.51 o 270 33.68/8.52 o 271 33.68/8.53 o 272 33.68/8.54 o 273 33.68/8.55 o 274 33.68/8.56 o 275 33.68/8.56 o 276 33.68/8.57 o 277 33.68/8.58 o 278 33.68/8.59 o 279 34.16/8.60 o 280 34.16/8.60 o 281 34.16/8.61 o 282 34.16/8.62 o 283 34.16/8.63 o 284 34.16/8.64 o 285 34.16/8.64 o 286 34.16/8.65 o 287 34.16/8.66 o 288 34.16/8.67 o 289 34.16/8.68 o 290 34.16/8.69 o 291 34.16/8.69 o 292 34.69/8.71 o 293 34.69/8.72 o 294 34.69/8.72 o 295 34.69/8.74 o 296 34.69/8.74 o 297 34.69/8.75 o 298 34.69/8.76 o 299 34.69/8.77 o 300 34.69/8.78 o 301 34.69/8.79 o 302 34.69/8.80 o 303 34.69/8.80 o 304 35.21/8.83 o 305 35.21/8.84 o 306 35.21/8.85 o 307 35.21/8.86 o 308 35.21/8.87 o 309 35.21/8.88 o 310 35.21/8.88 o 311 35.21/8.89 o 312 35.21/8.90 o 313 35.21/8.91 o 314 35.81/8.91 o 315 35.81/8.92 o 316 35.81/8.93 o 317 35.81/8.94 o 318 35.81/8.95 o 319 35.81/8.96 o 320 35.81/8.97 o 321 35.81/8.97 o 322 35.81/8.98 o 323 35.81/8.99 o 324 36.27/9.00 o 325 36.27/9.01 o 326 36.27/9.02 o 327 36.27/9.03 o 328 36.27/9.03 o 329 36.27/9.05 o 330 36.27/9.06 o 331 36.27/9.06 o 332 36.27/9.07 o 333 36.27/9.08 o 334 36.27/9.09 o 335 36.27/9.10 o 336 36.76/9.10 o 337 36.76/9.11 o 338 36.76/9.12 o 339 36.76/9.13 o 340 36.76/9.14 o 341 36.76/9.15 o 342 36.76/9.15 o 343 36.76/9.17 o 344 36.76/9.18 o 345 36.76/9.18 o 346 36.76/9.19 o 347 36.76/9.20 o 348 37.28/9.21 o 349 37.28/9.21 o 350 37.28/9.23 o 351 37.28/9.23 o 352 37.28/9.24 o 353 37.28/9.25 o 354 37.28/9.26 o 355 37.28/9.27 o 356 37.28/9.28 o 357 37.28/9.29 o 358 37.28/9.29 o 359 37.78/9.30 o 360 37.78/9.31 o 361 37.78/9.32 o 362 37.78/9.33 o 363 37.78/9.33 o 364 37.78/9.34 o 365 37.78/9.35 o 366 37.78/9.36 o 367 37.78/9.37 o 368 37.78/9.37 o 369 37.78/9.38 o 370 37.78/9.39 o 371 38.24/9.40 o 372 38.24/9.41 o 373 38.24/9.42 o 374 38.24/9.42 o 375 38.24/9.43 o 376 38.24/9.44 o 377 38.24/9.45 o 378 38.24/9.46 o 379 38.24/9.47 o 380 38.24/9.48 o 381 38.24/9.48 o 382 38.24/9.49 o 383 38.24/9.50 o 384 38.73/9.51 o 385 38.73/9.52 o 386 38.73/9.53 o 387 38.73/9.54 o 388 38.73/9.54 o 389 38.73/9.55 o 390 38.73/9.56 o 391 38.73/9.58 o 392 38.73/9.59 o 393 38.73/9.60 o 394 39.23/9.61 o 395 39.23/9.62 o 396 39.23/9.63 o 397 39.23/9.64 o 398 39.23/9.65 o 399 39.23/9.66 o 400 39.23/9.67 o 401 39.23/9.68 o 402 39.23/9.68 o 403 39.23/9.69 o 404 39.77/9.70 o 405 39.77/9.71 o 406 39.77/9.72 o 407 39.77/9.73 o 408 39.77/9.74 o 409 39.77/9.75 o 410 39.77/9.76 o 411 39.77/9.77 o 412 39.77/9.78 o 413 39.77/9.79 o 414 39.77/9.80 o 415 40.25/9.81 o 416 40.25/9.82 o 417 40.25/9.83 o 418 40.25/9.84 o 419 40.25/9.84 o 420 40.25/9.85 o 421 40.25/9.86 o 422 40.25/9.87 o 423 40.25/9.88 o 424 40.25/9.89 o 425 40.25/9.90 o 426 40.79/9.91 o 427 40.79/9.92 o 428 40.79/9.93 o 429 40.79/9.94 o 430 40.79/9.95 o 431 40.79/9.96 o 432 40.79/9.97 o 433 40.79/9.98 o 434 40.79/9.99 o 435 40.79/10.00 o 436 40.79/10.01 o 437 41.33/10.02 o 438 41.33/10.03 o 439 41.33/10.03 o 440 41.33/10.04 o 441 41.33/10.05 o 442 41.33/10.06 o 443 41.33/10.07 o 444 41.33/10.08 o 445 41.33/10.09 o 446 41.33/10.10 o 447 41.80/10.10 o 448 41.80/10.12 o 449 41.80/10.12 o 450 41.80/10.13 o 451 41.80/10.14 o 452 41.80/10.15 o 453 41.80/10.16 o 454 41.80/10.18 o 455 41.80/10.19 o 456 42.31/10.20 o 457 42.31/10.21 o 458 42.31/10.22 o 459 42.31/10.23 o 460 42.31/10.24 o 461 42.31/10.25 o 462 42.31/10.26 o 463 42.31/10.27 o 464 42.86/10.30 o 465 44.33/10.74 o 466 290.87/41.94 o 467 290.87/41.95 o 468 290.87/41.97 o 469 290.87/41.98 o 470 291.20/42.03 o 471 630.97/84.66 o 472 631.81/85.01 o 473 631.81/85.06 o 474 1654.95/213.24 o 475 1920.79/246.57 s SATISFIABLE 1920.79/246.57 v <instantiation> 1920.79/246.57 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][28] w[0][29] w[0][30] w[0][31] w[0][32] w[0][33] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][28] w[1][29] w[1][30] w[1][31] w[1][32] w[1][33] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][28] w[2][29] w[2][30] w[2][31] w[2][32] w[2][33] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][28] w[3][29] w[3][30] w[3][31] w[3][32] w[3][33] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][28] w[4][29] w[4][30] w[4][31] w[4][32] w[4][33] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][28] w[5][29] w[5][30] w[5][31] w[5][32] w[5][33] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][28] w[6][29] w[6][30] w[6][31] w[6][32] w[6][33] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][28] w[7][29] w[7][30] w[7][31] w[7][32] w[7][33] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][28] w[8][29] w[8][30] w[8][31] w[8][32] w[8][33] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][28] w[9][29] w[9][30] w[9][31] w[9][32] w[9][33] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][28] w[10][29] w[10][30] w[10][31] w[10][32] w[10][33] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][28] w[11][29] w[11][30] w[11][31] w[11][32] w[11][33] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][28] w[12][29] w[12][30] w[12][31] w[12][32] w[12][33] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][28] w[13][29] w[13][30] w[13][31] w[13][32] w[13][33] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][28] w[14][29] w[14][30] w[14][31] w[14][32] w[14][33] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][28] w[15][29] w[15][30] w[15][31] w[15][32] w[15][33] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][28] w[16][29] w[16][30] w[16][31] w[16][32] w[16][33] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][28] w[17][29] w[17][30] w[17][31] w[17][32] w[17][33] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][28] w[18][29] w[18][30] w[18][31] w[18][32] w[18][33] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][28] w[19][29] w[19][30] w[19][31] w[19][32] w[19][33] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][28] w[20][29] w[20][30] w[20][31] w[20][32] w[20][33] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][28] w[21][29] w[21][30] w[21][31] w[21][32] w[21][33] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][28] w[22][29] w[22][30] w[22][31] w[22][32] w[22][33] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][28] w[23][29] w[23][30] w[23][31] w[23][32] w[23][33] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][28] w[24][29] w[24][30] w[24][31] w[24][32] w[24][33] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][28] w[25][29] w[25][30] w[25][31] w[25][32] w[25][33] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[26][29] w[26][30] w[26][31] w[26][32] w[26][33] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[27][29] w[27][30] w[27][31] w[27][32] w[27][33] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] w[28][29] w[28][30] w[28][31] w[28][32] w[28][33] w[29][0] w[29][1] w[29][2] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] w[29][30] w[29][31] w[29][32] w[29][33] w[30][0] w[30][1] w[30][2] w[30][3] w[30][4] w[30][5] w[30][6] w[30][7] w[30][8] w[30][9] w[30][10] w[30][11] w[30][12] w[30][13] w[30][14] w[30][15] w[30][16] w[30][17] w[30][18] w[30][19] w[30][20] w[30][21] w[30][22] w[30][23] w[30][24] w[30][25] w[30][26] w[30][27] w[30][28] w[30][29] w[30][30] w[30][31] w[30][32] w[30][33] w[31][0] w[31][1] w[31][2] w[31][3] w[31][4] w[31][5] w[31][6] w[31][7] w[31][8] w[31][9] w[31][10] w[31][11] w[31][12] w[31][13] w[31][14] w[31][15] w[31][16] w[31][17] w[31][18] w[31][19] w[31][20] w[31][21] w[31][22] w[31][23] w[31][24] w[31][25] w[31][26] w[31][27] w[31][28] w[31][29] w[31][30] w[31][31] w[31][32] w[31][33] w[32][0] w[32][1] w[32][2] w[32][3] w[32][4] w[32][5] w[32][6] w[32][7] w[32][8] w[32][9] w[32][10] w[32][11] w[32][12] w[32][13] w[32][14] w[32][15] w[32][16] w[32][17] w[32][18] w[32][19] w[32][20] w[32][21] w[32][22] w[32][23] w[32][24] w[32][25] w[32][26] w[32][27] w[32][28] w[32][29] w[32][30] w[32][31] w[32][32] w[32][33] w[33][0] w[33][1] w[33][2] w[33][3] w[33][4] w[33][5] w[33][6] w[33][7] w[33][8] w[33][9] w[33][10] w[33][11] w[33][12] w[33][13] w[33][14] w[33][15] w[33][16] w[33][17] w[33][18] w[33][19] w[33][20] w[33][21] w[33][22] w[33][23] w[33][24] w[33][25] w[33][26] w[33][27] w[33][28] w[33][29] w[33][30] w[33][31] w[33][32] w[33][33] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] ws[28] ws[29] ws[30] ws[31] ws[32] ws[33] z </list> 1920.79/246.57 v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 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 0 0 1 0 0 0 0 1 0 1 0 0 1 1 1 1 1 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 1 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 1 1 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 1 0 1 1 1 1 1 1 0 0 1 0 0 0 1 0 1 0 1 1 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 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 0 0 0 1 2 1 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 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 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 0 0 0 1 0 0 0 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 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 0 0 0 2 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 1 1 0 0 0 1 0 2 2 1 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 2 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 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 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 2 2 0 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 1 1 0 1 1 2 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 2 0 0 0 1 2 1 0 0 0 2 1 0 0 0 0 1 1 2 1 2 1 1 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 1 1 1 0 0 1 1 1 1 0 1 1 0 1 1 1 1 1 0 0 1 0 0 1 0 0 10 10 10 22 22 22 59 63 64 66 70 72 102 107 109 110 113 120 139 140 142 155 155 159 174 179 189 203 206 209 223 236 257 276 475 </values> 1920.79/246.57 v </instantiation> 1920.79/246.57 c Unexpected resolution interruption!
OK 475
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-4254845-1501679619/watcher-4254845-1501679619 -o /tmp/evaluation-result-4254845-1501679619/solver-4254845-1501679619 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node128-1501676495-31585 --watchdog 324 ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 1520311913 HOME/instance-4254845-1501679619.xml pid=7689 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.15 7.94 7.22 2/172 7692 /proc/meminfo: memFree=31056628/32770624 swapFree=0/886000 [pid=7692] ppid=7689 vsize=23672 CPUtime=0 cores=0-7 /proc/7692/stat : 7692 (runsolver) D 7689 7692 31529 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 16586604 24240128 108 18446744073709551615 4194304 4338465 140726302032032 140726302029672 139963140575959 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 34439168 140726302036050 140726302036547 140726302036547 140726302040010 0 /proc/7692/statm: 5918 108 54 36 0 2156 0 [startup+0.100156 s] /proc/loadavg: 8.15 7.94 7.22 2/172 7692 /proc/meminfo: memFree=31056628/32770624 swapFree=0/886000 [pid=7692] ppid=7689 vsize=9512 CPUtime=0 cores=0-7 /proc/7692/stat : 7692 (xcsp3-exec) S 7689 7692 31529 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 16586604 9740288 345 18446744073709551615 4194304 5098028 140730518192400 140730518190504 140623890940540 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 10256384 140730518200722 140730518200932 140730518200932 140730518204395 0 /proc/7692/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200253 s] /proc/loadavg: 8.15 7.94 7.22 2/172 7692 /proc/meminfo: memFree=31056628/32770624 swapFree=0/886000 [pid=7692] ppid=7689 vsize=9512 CPUtime=0 cores=0-7 /proc/7692/stat : 7692 (xcsp3-exec) S 7689 7692 31529 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 16586604 9740288 345 18446744073709551615 4194304 5098028 140730518192400 140730518190504 140623890940540 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 10256384 140730518200722 140730518200932 140730518200932 140730518204395 0 /proc/7692/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.300269 s] /proc/loadavg: 8.15 7.94 7.22 2/172 7692 /proc/meminfo: memFree=31056628/32770624 swapFree=0/886000 [pid=7692] ppid=7689 vsize=9512 CPUtime=0 cores=0-7 /proc/7692/stat : 7692 (xcsp3-exec) S 7689 7692 31529 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 16586604 9740288 345 18446744073709551615 4194304 5098028 140730518192400 140730518190504 140623890940540 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 10256384 140730518200722 140730518200932 140730518200932 140730518204395 0 /proc/7692/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.700192 s] /proc/loadavg: 8.15 7.94 7.22 2/172 7692 /proc/meminfo: memFree=31056628/32770624 swapFree=0/886000 [pid=7692] ppid=7689 vsize=9512 CPUtime=0 cores=0-7 /proc/7692/stat : 7692 (xcsp3-exec) S 7689 7692 31529 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 16586604 9740288 345 18446744073709551615 4194304 5098028 140730518192400 140730518190504 140623890940540 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 10256384 140730518200722 140730518200932 140730518200932 140730518204395 0 /proc/7692/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50076 s] /proc/loadavg: 8.15 7.94 7.22 2/193 7713 /proc/meminfo: memFree=30966588/32770624 swapFree=0/886008 [pid=7692] ppid=7689 vsize=9512 CPUtime=0 cores=0-7 /proc/7692/stat : 7692 (xcsp3-exec) S 7689 7692 31529 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 16586604 9740288 345 18446744073709551615 4194304 5098028 140730518192400 140730518190504 140623890940540 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 10256384 140730518200722 140730518200932 140730518200932 140730518204395 0 /proc/7692/statm: 2378 345 289 221 0 87 0 [pid=7694] ppid=7692 vsize=26001944 CPUtime=3.49 cores=0-7 /proc/7694/stat : 7694 (java) S 7692 7692 31529 0 -1 1077944320 20942 0 0 0 341 8 0 0 20 0 20 0 16586611 26625990656 37700 18446744073709551615 4194304 4196468 140734830447136 140734830429680 140337310736119 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 /proc/7694/statm: 6500486 37700 3187 1 0 6488787 0 [pid=7694/tid=7695] ppid=7692 vsize=26001944 CPUtime=1.38 cores=0-7 /proc/7694/task/7695/stat : 7695 (java) R 7692 7692 31529 0 -1 4202560 10367 0 0 0 133 5 0 0 20 0 20 0 16586611 26625990656 37700 18446744073709551615 4194304 4196468 140734830447136 140337314972936 140336938448381 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7696] ppid=7692 vsize=26001944 CPUtime=0 cores=0-7 /proc/7694/task/7696/stat : 7696 (java) S 7692 7692 31529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 16586612 26625990656 37700 18446744073709551615 4194304 4196468 140734830447136 140337267702160 140337310746325 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7697] ppid=7692 vsize=26001944 CPUtime=0 cores=0-7 /proc/7694/task/7697/stat : 7697 (java) S 7692 7692 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 16586612 26625990656 37700 18446744073709551615 4194304 4196468 140734830447136 140337266649360 140337310746325 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7698] ppid=7692 vsize=26001944 CPUtime=0 cores=0-7 /proc/7694/task/7698/stat : 7698 (java) S 7692 7692 31529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 16586612 26625990656 37700 18446744073709551615 4194304 4196468 140734830447136 140337265597072 140337310746325 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7699] ppid=7692 vsize=26001944 CPUtime=0 cores=0-7 /proc/7694/task/7699/stat : 7699 (java) S 7692 7692 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 16586612 26625990656 37700 18446744073709551615 4194304 4196468 140734830447136 140337264544272 140337310746325 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7700] ppid=7692 vsize=26001944 CPUtime=0 cores=0-7 /proc/7694/task/7700/stat : 7700 (java) S 7692 7692 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 16586612 26625990656 37700 18446744073709551615 4194304 4196468 140734830447136 140337263491984 140337310746325 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7701] ppid=7692 vsize=26001944 CPUtime=0 cores=0-7 /proc/7694/task/7701/stat : 7701 (java) S 7692 7692 31529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 16586612 26625990656 37700 18446744073709551615 4194304 4196468 140734830447136 140337262439184 140337310746325 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7702] ppid=7692 vsize=26001944 CPUtime=0 cores=0-7 /proc/7694/task/7702/stat : 7702 (java) S 7692 7692 31529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 16586612 26625990656 37700 18446744073709551615 4194304 4196468 140734830447136 140337261386896 140337310746325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7703] ppid=7692 vsize=26001944 CPUtime=0 cores=0-7 /proc/7694/task/7703/stat : 7703 (java) S 7692 7692 31529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 16586612 26625990656 37700 18446744073709551615 4194304 4196468 140734830447136 140337260334096 140337310746325 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7704] ppid=7692 vsize=26001944 CPUtime=0 cores=0-7 /proc/7694/task/7704/stat : 7704 (java) S 7692 7692 31529 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 16586613 26625990656 37700 18446744073709551615 4194304 4196468 140734830447136 140336034703472 140337310747266 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7705] ppid=7692 vsize=26001944 CPUtime=0 cores=0-7 /proc/7694/task/7705/stat : 7705 (java) S 7692 7692 31529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 16586614 26625990656 37700 18446744073709551615 4194304 4196468 140734830447136 140336033649440 140337310746325 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7706] ppid=7692 vsize=26001944 CPUtime=0 cores=0-7 /proc/7694/task/7706/stat : 7706 (java) S 7692 7692 31529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 16586614 26625990656 37700 18446744073709551615 4194304 4196468 140734830447136 140336032597104 140337310746325 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7707] ppid=7692 vsize=26001944 CPUtime=0 cores=0-7 /proc/7694/task/7707/stat : 7707 (java) S 7692 7692 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 16586616 26625990656 37700 18446744073709551615 4194304 4196468 140734830447136 140336031545424 140337310754715 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7708] ppid=7692 vsize=26001944 CPUtime=0.47 cores=0-7 /proc/7694/task/7708/stat : 7708 (java) S 7692 7692 31529 0 -1 1077944384 1960 0 0 0 47 0 0 0 20 0 20 0 16586616 26625990656 37700 18446744073709551615 4194304 4196468 140734830447136 140336030493296 140337310747266 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7709] ppid=7692 vsize=26001944 CPUtime=0.59 cores=0-7 /proc/7694/task/7709/stat : 7709 (java) R 7692 7692 31529 0 -1 4202560 2187 0 0 0 58 1 0 0 20 0 20 0 16586616 26625990656 37700 18446744073709551615 4194304 4196468 140734830447136 140336029440496 140337294222171 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7710] ppid=7692 vsize=26001944 CPUtime=0.47 cores=0-7 /proc/7694/task/7710/stat : 7710 (java) S 7692 7692 31529 0 -1 1077944384 1852 0 0 0 47 0 0 0 20 0 20 0 16586617 26625990656 37700 18446744073709551615 4194304 4196468 140734830447136 140336028388208 140337310747266 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7711] ppid=7692 vsize=26001944 CPUtime=0.52 cores=0-7 /proc/7694/task/7711/stat : 7711 (java) S 7692 7692 31529 0 -1 1077944384 3245 0 0 0 52 0 0 0 20 0 20 0 16586617 26625990656 37700 18446744073709551615 4194304 4196468 140734830447136 140336027335408 140337310747266 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7712] ppid=7692 vsize=26001944 CPUtime=0 cores=0-7 /proc/7694/task/7712/stat : 7712 (java) S 7692 7692 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 16586617 26625990656 37700 18446744073709551615 4194304 4196468 140734830447136 140336026282336 140337310746325 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7713] ppid=7692 vsize=26001944 CPUtime=0 cores=0-7 /proc/7694/task/7713/stat : 7713 (java) S 7692 7692 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 16586621 26625990656 37700 18446744073709551615 4194304 4196468 140734830447136 140336025229616 140337310747266 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 Current children cumulated CPU time (s) 3.49 Current children cumulated vsize (KiB) 26011456 [startup+3.10084 s] /proc/loadavg: 7.66 7.84 7.19 5/193 7713 /proc/meminfo: memFree=30845368/32770624 swapFree=0/886008 [pid=7692] ppid=7689 vsize=9512 CPUtime=0 cores=0-7 /proc/7692/stat : 7692 (xcsp3-exec) S 7689 7692 31529 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 16586604 9740288 345 18446744073709551615 4194304 5098028 140730518192400 140730518190504 140623890940540 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 10256384 140730518200722 140730518200932 140730518200932 140730518204395 0 /proc/7692/statm: 2378 345 289 221 0 87 0 [pid=7694] ppid=7692 vsize=26001944 CPUtime=7.73 cores=0-7 /proc/7694/stat : 7694 (java) S 7692 7692 31529 0 -1 1077944320 27387 0 0 0 739 34 0 0 20 0 20 0 16586611 26625990656 72702 18446744073709551615 4194304 4196468 140734830447136 140734830429680 140337310736119 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 /proc/7694/statm: 6500486 72702 3220 1 0 6488787 0 [pid=7694/tid=7695] ppid=7692 vsize=26001944 CPUtime=2.89 cores=0-7 /proc/7694/task/7695/stat : 7695 (java) R 7692 7692 31529 0 -1 4202560 11382 0 0 0 284 5 0 0 20 0 20 0 16586611 26625990656 72702 18446744073709551615 4194304 4196468 140734830447136 140337314974432 140337289813646 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7696] ppid=7692 vsize=26001944 CPUtime=0.07 cores=0-7 /proc/7694/task/7696/stat : 7696 (java) S 7692 7692 31529 0 -1 1077944384 119 0 0 0 4 3 0 0 20 0 20 0 16586612 26625990656 72702 18446744073709551615 4194304 4196468 140734830447136 140337267702160 140337310746325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7697] ppid=7692 vsize=26001944 CPUtime=0.05 cores=0-7 /proc/7694/task/7697/stat : 7697 (java) S 7692 7692 31529 0 -1 1077944384 81 0 0 0 3 2 0 0 20 0 20 0 16586612 26625990656 72702 18446744073709551615 4194304 4196468 140734830447136 140337266649360 140337310746325 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7698] ppid=7692 vsize=26001944 CPUtime=0.06 cores=0-7 /proc/7694/task/7698/stat : 7698 (java) S 7692 7692 31529 0 -1 1077944384 89 0 0 0 3 3 0 0 20 0 20 0 16586612 26625990656 72702 18446744073709551615 4194304 4196468 140734830447136 140337265597072 140337310746325 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7699] ppid=7692 vsize=26001944 CPUtime=0.06 cores=0-7 /proc/7694/task/7699/stat : 7699 (java) S 7692 7692 31529 0 -1 1077944384 105 0 0 0 3 3 0 0 20 0 20 0 16586612 26625990656 72734 18446744073709551615 4194304 4196468 140734830447136 140337264544272 140337310746325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7700] ppid=7692 vsize=26001944 CPUtime=0.05 cores=0-7 /proc/7694/task/7700/stat : 7700 (java) S 7692 7692 31529 0 -1 1077944384 90 0 0 0 3 2 0 0 20 0 20 0 16586612 26625990656 72734 18446744073709551615 4194304 4196468 140734830447136 140337263491984 140337310746325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7701] ppid=7692 vsize=26001944 CPUtime=0.06 cores=0-7 /proc/7694/task/7701/stat : 7701 (java) S 7692 7692 31529 0 -1 1077944384 156 0 0 0 3 3 0 0 20 0 20 0 16586612 26625990656 72734 18446744073709551615 4194304 4196468 140734830447136 140337262439184 140337310746325 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7702] ppid=7692 vsize=26001944 CPUtime=0.06 cores=0-7 /proc/7694/task/7702/stat : 7702 (java) S 7692 7692 31529 0 -1 1077944384 143 0 0 0 4 2 0 0 20 0 20 0 16586612 26625990656 72734 18446744073709551615 4194304 4196468 140734830447136 140337261386896 140337310746325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7703] ppid=7692 vsize=26001944 CPUtime=0.06 cores=0-7 /proc/7694/task/7703/stat : 7703 (java) S 7692 7692 31529 0 -1 1077944384 318 0 0 0 4 2 0 0 20 0 20 0 16586612 26625990656 72734 18446744073709551615 4194304 4196468 140734830447136 140337260334096 140337310746325 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7704] ppid=7692 vsize=26001944 CPUtime=0 cores=0-7 /proc/7694/task/7704/stat : 7704 (java) S 7692 7692 31529 0 -1 1077944384 189 0 0 0 0 0 0 0 20 0 20 0 16586613 26625990656 72734 18446744073709551615 4194304 4196468 140734830447136 140336034703472 140337310747266 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7705] ppid=7692 vsize=26001944 CPUtime=0 cores=0-7 /proc/7694/task/7705/stat : 7705 (java) S 7692 7692 31529 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 16586614 26625990656 72734 18446744073709551615 4194304 4196468 140734830447136 140336033649504 140337310746325 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7706] ppid=7692 vsize=26001944 CPUtime=0 cores=0-7 /proc/7694/task/7706/stat : 7706 (java) S 7692 7692 31529 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 16586614 26625990656 72734 18446744073709551615 4194304 4196468 140734830447136 140336032597120 140337310746325 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7707] ppid=7692 vsize=26001944 CPUtime=0 cores=0-7 /proc/7694/task/7707/stat : 7707 (java) S 7692 7692 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 16586616 26625990656 72734 18446744073709551615 4194304 4196468 140734830447136 140336031545424 140337310754715 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7708] ppid=7692 vsize=26001944 CPUtime=1.08 cores=0-7 /proc/7694/task/7708/stat : 7708 (java) S 7692 7692 31529 0 -1 1077944384 3089 0 0 0 107 1 0 0 20 0 20 0 16586616 26625990656 72734 18446744073709551615 4194304 4196468 140734830447136 140336030493296 140337310747266 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7709] ppid=7692 vsize=26001944 CPUtime=1.27 cores=0-7 /proc/7694/task/7709/stat : 7709 (java) S 7692 7692 31529 0 -1 1077944384 3287 0 0 0 126 1 0 0 20 0 20 0 16586616 26625990656 72734 18446744073709551615 4194304 4196468 140734830447136 140336029440496 140337310747266 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7710] ppid=7692 vsize=26001944 CPUtime=1.21 cores=0-7 /proc/7694/task/7710/stat : 7710 (java) S 7692 7692 31529 0 -1 1077944384 2981 0 0 0 121 0 0 0 20 0 20 0 16586617 26625990656 72734 18446744073709551615 4194304 4196468 140734830447136 140336028388208 140337310747266 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7711] ppid=7692 vsize=26001944 CPUtime=0.68 cores=0-7 /proc/7694/task/7711/stat : 7711 (java) S 7692 7692 31529 0 -1 1077944384 4018 0 0 0 67 1 0 0 20 0 20 0 16586617 26625990656 72734 18446744073709551615 4194304 4196468 140734830447136 140336027335408 140337310747266 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7712] ppid=7692 vsize=26001944 CPUtime=0 cores=0-7 /proc/7694/task/7712/stat : 7712 (java) S 7692 7692 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 16586617 26625990656 72734 18446744073709551615 4194304 4196468 140734830447136 140336026282336 140337310746325 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7713] ppid=7692 vsize=26001944 CPUtime=0 cores=0-7 /proc/7694/task/7713/stat : 7713 (java) S 7692 7692 31529 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 20 0 16586621 26625990656 72734 18446744073709551615 4194304 4196468 140734830447136 140336025229616 140337310747266 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 Current children cumulated CPU time (s) 7.73 Current children cumulated vsize (KiB) 26011456 [startup+6.30128 s] /proc/loadavg: 7.66 7.84 7.19 11/201 7817 /proc/meminfo: memFree=30600560/32770624 swapFree=0/886020 [pid=7692] ppid=7689 vsize=9512 CPUtime=0 cores=0-7 /proc/7692/stat : 7692 (xcsp3-exec) S 7689 7692 31529 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 16586604 9740288 345 18446744073709551615 4194304 5098028 140730518192400 140730518190504 140623890940540 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 10256384 140730518200722 140730518200932 140730518200932 140730518204395 0 /proc/7692/statm: 2378 345 289 221 0 87 0 [pid=7694] ppid=7692 vsize=26537532 CPUtime=23.67 cores=0-7 /proc/7694/stat : 7694 (java) S 7692 7692 31529 0 -1 1077944320 34850 0 0 0 2303 64 0 0 20 0 27 0 16586611 27174432768 123409 18446744073709551615 4194304 4196468 140734830447136 140734830429680 140337310736119 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 /proc/7694/statm: 6634383 123409 3250 1 0 6622684 0 [pid=7694/tid=7695] ppid=7692 vsize=26537532 CPUtime=3.18 cores=0-7 /proc/7694/task/7695/stat : 7695 (java) S 7692 7692 31529 0 -1 1077944384 11792 0 0 0 313 5 0 0 20 0 27 0 16586611 27174432768 123409 18446744073709551615 4194304 4196468 140734830447136 140337314976896 140337310746325 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7696] ppid=7692 vsize=26537532 CPUtime=0.12 cores=0-7 /proc/7694/task/7696/stat : 7696 (java) R 7692 7692 31529 0 -1 4202560 180 0 0 0 7 5 0 0 20 0 27 0 16586612 27174432768 123409 18446744073709551615 4194304 4196468 140734830447136 140337267702160 140337289931388 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7697] ppid=7692 vsize=26537532 CPUtime=0.12 cores=0-7 /proc/7694/task/7697/stat : 7697 (java) R 7692 7692 31529 0 -1 4202560 133 0 0 0 7 5 0 0 20 0 27 0 16586612 27174432768 123409 18446744073709551615 4194304 4196468 140734830447136 140337266649360 140337295184331 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7698] ppid=7692 vsize=26537532 CPUtime=0.12 cores=0-7 /proc/7694/task/7698/stat : 7698 (java) R 7692 7692 31529 0 -1 4202560 140 0 0 0 7 5 0 0 20 0 27 0 16586612 27174432768 123409 18446744073709551615 4194304 4196468 140734830447136 140337265596960 140337295184223 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7699] ppid=7692 vsize=26537532 CPUtime=0.11 cores=0-7 /proc/7694/task/7699/stat : 7699 (java) R 7692 7692 31529 0 -1 4202560 156 0 0 0 6 5 0 0 20 0 27 0 16586612 27174432768 123409 18446744073709551615 4194304 4196468 140734830447136 140337264544272 140337291982081 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7700] ppid=7692 vsize=26537532 CPUtime=0.11 cores=0-7 /proc/7694/task/7700/stat : 7700 (java) R 7692 7692 31529 0 -1 4202560 155 0 0 0 7 4 0 0 20 0 27 0 16586612 27174432768 123409 18446744073709551615 4194304 4196468 140734830447136 140337263491984 140337295761408 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7701] ppid=7692 vsize=26537532 CPUtime=0.12 cores=0-7 /proc/7694/task/7701/stat : 7701 (java) R 7692 7692 31529 0 -1 4202560 216 0 0 0 7 5 0 0 20 0 27 0 16586612 27174432768 123409 18446744073709551615 4194304 4196468 140734830447136 140337262439384 140337289931274 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7702] ppid=7692 vsize=26537532 CPUtime=0.13 cores=0-7 /proc/7694/task/7702/stat : 7702 (java) R 7692 7692 31529 0 -1 4202560 202 0 0 0 8 5 0 0 20 0 27 0 16586612 27174432768 123409 18446744073709551615 4194304 4196468 140734830447136 140337261386896 140337289931258 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7703] ppid=7692 vsize=26537532 CPUtime=0.12 cores=0-7 /proc/7694/task/7703/stat : 7703 (java) R 7692 7692 31529 0 -1 4202560 395 0 0 0 7 5 0 0 20 0 27 0 16586612 27174432768 123409 18446744073709551615 4194304 4196468 140734830447136 140337260334096 140337295184282 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7704] ppid=7692 vsize=26537532 CPUtime=0.01 cores=0-7 /proc/7694/task/7704/stat : 7704 (java) S 7692 7692 31529 0 -1 1077944384 316 0 0 0 1 0 0 0 20 0 27 0 16586613 27174432768 123409 18446744073709551615 4194304 4196468 140734830447136 140336034701984 140337310746325 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7705] ppid=7692 vsize=26537532 CPUtime=0 cores=0-7 /proc/7694/task/7705/stat : 7705 (java) S 7692 7692 31529 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 27 0 16586614 27174432768 123409 18446744073709551615 4194304 4196468 140734830447136 140336033649504 140337310746325 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7706] ppid=7692 vsize=26537532 CPUtime=0 cores=0-7 /proc/7694/task/7706/stat : 7706 (java) S 7692 7692 31529 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 27 0 16586614 27174432768 123409 18446744073709551615 4194304 4196468 140734830447136 140336032597120 140337310746325 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7707] ppid=7692 vsize=26537532 CPUtime=0 cores=0-7 /proc/7694/task/7707/stat : 7707 (java) S 7692 7692 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 27 0 16586616 27174432768 123409 18446744073709551615 4194304 4196468 140734830447136 140336031545424 140337310754715 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 ################ # More data... # ################ [pid=7694/tid=11466] ppid=7692 vsize=26603068 CPUtime=9.05 cores=0-7 /proc/7694/task/11466/stat : 11466 (java) R 7692 7692 31529 0 -1 4202560 570 0 0 0 904 1 0 0 20 0 28 0 16607929 27241541632 1884653 18446744073709551615 4194304 4196468 140734830447136 140336014068552 140336942165820 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=11467] ppid=7692 vsize=26603068 CPUtime=9.05 cores=0-7 /proc/7694/task/11467/stat : 11467 (java) R 7692 7692 31529 0 -1 4202560 254 0 0 0 905 0 0 0 20 0 28 0 16607929 27241541632 1884653 18446744073709551615 4194304 4196468 140734830447136 140336008809160 140336941950381 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 Current children cumulated CPU time (s) 1727.61 Current children cumulated vsize (KiB) 26612580 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+246.507 s] /proc/loadavg: 8.02 8.01 7.42 9/203 11468 /proc/meminfo: memFree=23560240/32770624 swapFree=0/886084 [pid=7692] ppid=7689 vsize=9512 CPUtime=0 cores=0-7 /proc/7692/stat : 7692 (xcsp3-exec) S 7689 7692 31529 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 16586604 9740288 345 18446744073709551615 4194304 5098028 140730518192400 140730518190504 140623890940540 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 10256384 140730518200722 140730518200932 140730518200932 140730518204395 0 /proc/7692/statm: 2378 345 289 221 0 87 0 [pid=7694] ppid=7692 vsize=26603068 CPUtime=1920.79 cores=0-7 /proc/7694/stat : 7694 (java) S 7692 7692 31529 0 -1 1077944320 197610 0 0 0 191598 481 0 0 20 0 28 0 16586611 27241541632 1873367 18446744073709551615 4194304 4196468 140734830447136 140734830429680 140337310736119 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 /proc/7694/statm: 6650767 1873367 3254 1 0 6639068 0 [pid=7694/tid=7695] ppid=7692 vsize=26603068 CPUtime=3.59 cores=0-7 /proc/7694/task/7695/stat : 7695 (java) S 7692 7692 31529 0 -1 1077944384 12751 0 0 0 350 9 0 0 20 0 28 0 16586611 27241541632 1873367 18446744073709551615 4194304 4196468 140734830447136 140337314976816 140337310746325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7696] ppid=7692 vsize=26603068 CPUtime=0.24 cores=0-7 /proc/7694/task/7696/stat : 7696 (java) S 7692 7692 31529 0 -1 1077944384 1093 0 0 0 15 9 0 0 20 0 28 0 16586612 27241541632 1873367 18446744073709551615 4194304 4196468 140734830447136 140337267702160 140337310746325 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7697] ppid=7692 vsize=26603068 CPUtime=0.23 cores=0-7 /proc/7694/task/7697/stat : 7697 (java) S 7692 7692 31529 0 -1 1077944384 381 0 0 0 15 8 0 0 20 0 28 0 16586612 27241541632 1873367 18446744073709551615 4194304 4196468 140734830447136 140337266649360 140337310746325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7698] ppid=7692 vsize=26603068 CPUtime=0.23 cores=0-7 /proc/7694/task/7698/stat : 7698 (java) S 7692 7692 31529 0 -1 1077944384 436 0 0 0 14 9 0 0 20 0 28 0 16586612 27241541632 1873367 18446744073709551615 4194304 4196468 140734830447136 140337265597072 140337310746325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7699] ppid=7692 vsize=26603068 CPUtime=0.22 cores=0-7 /proc/7694/task/7699/stat : 7699 (java) S 7692 7692 31529 0 -1 1077944384 420 0 0 0 14 8 0 0 20 0 28 0 16586612 27241541632 1873367 18446744073709551615 4194304 4196468 140734830447136 140337264544272 140337310746325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7700] ppid=7692 vsize=26603068 CPUtime=0.22 cores=0-7 /proc/7694/task/7700/stat : 7700 (java) S 7692 7692 31529 0 -1 1077944384 1124 0 0 0 14 8 0 0 20 0 28 0 16586612 27241541632 1873367 18446744073709551615 4194304 4196468 140734830447136 140337263491984 140337310746325 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7701] ppid=7692 vsize=26603068 CPUtime=0.23 cores=0-7 /proc/7694/task/7701/stat : 7701 (java) S 7692 7692 31529 0 -1 1077944384 979 0 0 0 15 8 0 0 20 0 28 0 16586612 27241541632 1873367 18446744073709551615 4194304 4196468 140734830447136 140337262439184 140337310746325 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7702] ppid=7692 vsize=26603068 CPUtime=0.24 cores=0-7 /proc/7694/task/7702/stat : 7702 (java) S 7692 7692 31529 0 -1 1077944384 785 0 0 0 15 9 0 0 20 0 28 0 16586612 27241541632 1873367 18446744073709551615 4194304 4196468 140734830447136 140337261386896 140337310746325 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7703] ppid=7692 vsize=26603068 CPUtime=0.23 cores=0-7 /proc/7694/task/7703/stat : 7703 (java) S 7692 7692 31529 0 -1 1077944384 1033 0 0 0 15 8 0 0 20 0 28 0 16586612 27241541632 1873367 18446744073709551615 4194304 4196468 140734830447136 140337260334096 140337310746325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7704] ppid=7692 vsize=26603068 CPUtime=0.06 cores=0-7 /proc/7694/task/7704/stat : 7704 (java) S 7692 7692 31529 0 -1 1077944384 6418 0 0 0 4 2 0 0 20 0 28 0 16586613 27241541632 1873367 18446744073709551615 4194304 4196468 140734830447136 140336034703472 140337310747266 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7705] ppid=7692 vsize=26603068 CPUtime=0 cores=0-7 /proc/7694/task/7705/stat : 7705 (java) S 7692 7692 31529 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 16586614 27241541632 1873367 18446744073709551615 4194304 4196468 140734830447136 140336033649504 140337310746325 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7706] ppid=7692 vsize=26603068 CPUtime=0 cores=0-7 /proc/7694/task/7706/stat : 7706 (java) S 7692 7692 31529 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 16586614 27241541632 1873367 18446744073709551615 4194304 4196468 140734830447136 140336032597120 140337310746325 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7707] ppid=7692 vsize=26603068 CPUtime=0 cores=0-7 /proc/7694/task/7707/stat : 7707 (java) S 7692 7692 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16586616 27241541632 1873367 18446744073709551615 4194304 4196468 140734830447136 140336031545424 140337310754715 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7708] ppid=7692 vsize=26603068 CPUtime=3.79 cores=0-7 /proc/7694/task/7708/stat : 7708 (java) S 7692 7692 31529 0 -1 1077944384 14378 0 0 0 376 3 0 0 20 0 28 0 16586616 27241541632 1873367 18446744073709551615 4194304 4196468 140734830447136 140336030493296 140337310747266 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7709] ppid=7692 vsize=26603068 CPUtime=3.17 cores=0-7 /proc/7694/task/7709/stat : 7709 (java) S 7692 7692 31529 0 -1 1077944384 15479 0 0 0 315 2 0 0 20 0 28 0 16586616 27241541632 1873367 18446744073709551615 4194304 4196468 140734830447136 140336029440496 140337310747266 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7710] ppid=7692 vsize=26603068 CPUtime=3.58 cores=0-7 /proc/7694/task/7710/stat : 7710 (java) S 7692 7692 31529 0 -1 1077944384 18365 0 0 0 356 2 0 0 20 0 28 0 16586617 27241541632 1873367 18446744073709551615 4194304 4196468 140734830447136 140336028388208 140337310747266 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7711] ppid=7692 vsize=26603068 CPUtime=1.25 cores=0-7 /proc/7694/task/7711/stat : 7711 (java) S 7692 7692 31529 0 -1 1077944384 12962 0 0 0 123 2 0 0 20 0 28 0 16586617 27241541632 1873367 18446744073709551615 4194304 4196468 140734830447136 140336027335408 140337310747266 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7712] ppid=7692 vsize=26603068 CPUtime=0 cores=0-7 /proc/7694/task/7712/stat : 7712 (java) S 7692 7692 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 16586617 27241541632 1873367 18446744073709551615 4194304 4196468 140734830447136 140336026282336 140337310746325 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7713] ppid=7692 vsize=26603068 CPUtime=0.09 cores=0-7 /proc/7694/task/7713/stat : 7713 (java) S 7692 7692 31529 0 -1 1077944384 1889 0 0 0 7 2 0 0 20 0 28 0 16586621 27241541632 1873367 18446744073709551615 4194304 4196468 140734830447136 140336025229616 140337310747266 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=11460] ppid=7692 vsize=26603068 CPUtime=33.16 cores=0-7 /proc/7694/task/11460/stat : 11460 (java) R 7692 7692 31529 0 -1 4202560 983 0 0 0 3314 2 0 0 20 0 28 0 16607929 27241541632 1873367 18446744073709551615 4194304 4196468 140734830447136 140336015113368 140336942924656 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=11461] ppid=7692 vsize=26603068 CPUtime=33.23 cores=0-7 /proc/7694/task/11461/stat : 11461 (java) R 7692 7692 31529 0 -1 4202560 1100 0 0 0 3323 0 0 0 20 0 28 0 16607929 27241541632 1873367 18446744073709551615 4194304 4196468 140734830447136 140336010903672 140336941827433 0 4 1 16800974 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=11462] ppid=7692 vsize=26603068 CPUtime=32.92 cores=0-7 /proc/7694/task/11462/stat : 11462 (java) R 7692 7692 31529 0 -1 4202560 763 0 0 0 3291 1 0 0 20 0 28 0 16607929 27241541632 1873367 18446744073709551615 4194304 4196468 140734830447136 140336013009400 140336941979769 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=11463] ppid=7692 vsize=26603068 CPUtime=33.23 cores=0-7 /proc/7694/task/11463/stat : 11463 (java) R 7692 7692 31529 0 -1 4202560 6127 0 0 0 3315 8 0 0 20 0 28 0 16607929 27241541632 1873367 18446744073709551615 4194304 4196468 140734830447136 140336016170000 140336939180496 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=11464] ppid=7692 vsize=26603068 CPUtime=33.24 cores=0-7 /proc/7694/task/11464/stat : 11464 (java) R 7692 7692 31529 0 -1 4202560 774 0 0 0 3323 1 0 0 20 0 28 0 16607929 27241541632 1873367 18446744073709551615 4194304 4196468 140734830447136 140336017219880 140336942166533 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=11465] ppid=7692 vsize=26603068 CPUtime=33.23 cores=0-7 /proc/7694/task/11465/stat : 11465 (java) R 7692 7692 31529 0 -1 4202560 1881 0 0 0 3321 2 0 0 20 0 28 0 16607929 27241541632 1873367 18446744073709551615 4194304 4196468 140734830447136 140336011956856 140336941689448 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=11466] ppid=7692 vsize=26603068 CPUtime=33.14 cores=0-7 /proc/7694/task/11466/stat : 11466 (java) R 7692 7692 31529 0 -1 4202560 2122 0 0 0 3310 4 0 0 20 0 28 0 16607929 27241541632 1873367 18446744073709551615 4194304 4196468 140734830447136 140336014061448 140336936232505 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=11467] ppid=7692 vsize=26603068 CPUtime=33.2 cores=0-7 /proc/7694/task/11467/stat : 11467 (java) R 7692 7692 31529 0 -1 4202560 845 0 0 0 3320 0 0 0 20 0 28 0 16607929 27241541632 1873367 18446744073709551615 4194304 4196468 140734830447136 140336008801920 140336941689444 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 Current children cumulated CPU time (s) 1920.79 Current children cumulated vsize (KiB) 26612580 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 7694 sig 9 ??? kill 7692 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+246.507 s] /proc/loadavg: 8.02 8.01 7.42 9/203 11468 /proc/meminfo: memFree=23560240/32770624 swapFree=0/886084 [pid=7692] ppid=7689 vsize=9512 CPUtime=0 cores=0-7 /proc/7692/stat : 7692 (xcsp3-exec) S 7689 7692 31529 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 16586604 9740288 345 18446744073709551615 4194304 5098028 140730518192400 140730518190504 140623890940540 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 10256384 140730518200722 140730518200932 140730518200932 140730518204395 0 /proc/7692/statm: 2378 345 289 221 0 87 0 [pid=7694] ppid=7692 vsize=26603068 CPUtime=1920.79 cores=0-7 /proc/7694/stat : 7694 (java) S 7692 7692 31529 0 -1 1077944320 197610 0 0 0 191598 481 0 0 20 0 28 0 16586611 27241541632 1873367 18446744073709551615 4194304 4196468 140734830447136 140734830429680 140337310736119 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 /proc/7694/statm: 6650767 1873367 3254 1 0 6639068 0 [pid=7694/tid=7695] ppid=7692 vsize=26603068 CPUtime=3.59 cores=0-7 /proc/7694/task/7695/stat : 7695 (java) S 7692 7692 31529 0 -1 1077944384 12751 0 0 0 350 9 0 0 20 0 28 0 16586611 27241541632 1873367 18446744073709551615 4194304 4196468 140734830447136 140337314976816 140337310746325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7696] ppid=7692 vsize=26603068 CPUtime=0.24 cores=0-7 /proc/7694/task/7696/stat : 7696 (java) S 7692 7692 31529 0 -1 1077944384 1093 0 0 0 15 9 0 0 20 0 28 0 16586612 27241541632 1873367 18446744073709551615 4194304 4196468 140734830447136 140337267702160 140337310746325 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7697] ppid=7692 vsize=26603068 CPUtime=0.23 cores=0-7 /proc/7694/task/7697/stat : 7697 (java) S 7692 7692 31529 0 -1 1077944384 381 0 0 0 15 8 0 0 20 0 28 0 16586612 27241541632 1873367 18446744073709551615 4194304 4196468 140734830447136 140337266649360 140337310746325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7698] ppid=7692 vsize=26603068 CPUtime=0.23 cores=0-7 /proc/7694/task/7698/stat : 7698 (java) S 7692 7692 31529 0 -1 1077944384 436 0 0 0 14 9 0 0 20 0 28 0 16586612 27241541632 1873367 18446744073709551615 4194304 4196468 140734830447136 140337265597072 140337310746325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7699] ppid=7692 vsize=26603068 CPUtime=0.22 cores=0-7 /proc/7694/task/7699/stat : 7699 (java) S 7692 7692 31529 0 -1 1077944384 420 0 0 0 14 8 0 0 20 0 28 0 16586612 27241541632 1873367 18446744073709551615 4194304 4196468 140734830447136 140337264544272 140337310746325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7700] ppid=7692 vsize=26603068 CPUtime=0.22 cores=0-7 /proc/7694/task/7700/stat : 7700 (java) S 7692 7692 31529 0 -1 1077944384 1124 0 0 0 14 8 0 0 20 0 28 0 16586612 27241541632 1873367 18446744073709551615 4194304 4196468 140734830447136 140337263491984 140337310746325 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7701] ppid=7692 vsize=26603068 CPUtime=0.23 cores=0-7 /proc/7694/task/7701/stat : 7701 (java) S 7692 7692 31529 0 -1 1077944384 979 0 0 0 15 8 0 0 20 0 28 0 16586612 27241541632 1873367 18446744073709551615 4194304 4196468 140734830447136 140337262439184 140337310746325 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7702] ppid=7692 vsize=26603068 CPUtime=0.24 cores=0-7 /proc/7694/task/7702/stat : 7702 (java) S 7692 7692 31529 0 -1 1077944384 785 0 0 0 15 9 0 0 20 0 28 0 16586612 27241541632 1873367 18446744073709551615 4194304 4196468 140734830447136 140337261386896 140337310746325 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7703] ppid=7692 vsize=26603068 CPUtime=0.23 cores=0-7 /proc/7694/task/7703/stat : 7703 (java) S 7692 7692 31529 0 -1 1077944384 1033 0 0 0 15 8 0 0 20 0 28 0 16586612 27241541632 1873367 18446744073709551615 4194304 4196468 140734830447136 140337260334096 140337310746325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7704] ppid=7692 vsize=26603068 CPUtime=0.06 cores=0-7 /proc/7694/task/7704/stat : 7704 (java) S 7692 7692 31529 0 -1 1077944384 6418 0 0 0 4 2 0 0 20 0 28 0 16586613 27241541632 1873367 18446744073709551615 4194304 4196468 140734830447136 140336034703472 140337310747266 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7705] ppid=7692 vsize=26603068 CPUtime=0 cores=0-7 /proc/7694/task/7705/stat : 7705 (java) S 7692 7692 31529 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 16586614 27241541632 1873367 18446744073709551615 4194304 4196468 140734830447136 140336033649504 140337310746325 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7706] ppid=7692 vsize=26603068 CPUtime=0 cores=0-7 /proc/7694/task/7706/stat : 7706 (java) S 7692 7692 31529 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 16586614 27241541632 1873367 18446744073709551615 4194304 4196468 140734830447136 140336032597120 140337310746325 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7707] ppid=7692 vsize=26603068 CPUtime=0 cores=0-7 /proc/7694/task/7707/stat : 7707 (java) S 7692 7692 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16586616 27241541632 1873367 18446744073709551615 4194304 4196468 140734830447136 140336031545424 140337310754715 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7708] ppid=7692 vsize=26603068 CPUtime=3.79 cores=0-7 /proc/7694/task/7708/stat : 7708 (java) S 7692 7692 31529 0 -1 1077944384 14378 0 0 0 376 3 0 0 20 0 28 0 16586616 27241541632 1873367 18446744073709551615 4194304 4196468 140734830447136 140336030493296 140337310747266 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7709] ppid=7692 vsize=26603068 CPUtime=3.17 cores=0-7 /proc/7694/task/7709/stat : 7709 (java) S 7692 7692 31529 0 -1 1077944384 15479 0 0 0 315 2 0 0 20 0 28 0 16586616 27241541632 1873367 18446744073709551615 4194304 4196468 140734830447136 140336029440496 140337310747266 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7710] ppid=7692 vsize=26603068 CPUtime=3.58 cores=0-7 /proc/7694/task/7710/stat : 7710 (java) S 7692 7692 31529 0 -1 1077944384 18365 0 0 0 356 2 0 0 20 0 28 0 16586617 27241541632 1873367 18446744073709551615 4194304 4196468 140734830447136 140336028388208 140337310747266 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7711] ppid=7692 vsize=26603068 CPUtime=1.25 cores=0-7 /proc/7694/task/7711/stat : 7711 (java) S 7692 7692 31529 0 -1 1077944384 12962 0 0 0 123 2 0 0 20 0 28 0 16586617 27241541632 1873367 18446744073709551615 4194304 4196468 140734830447136 140336027335408 140337310747266 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7712] ppid=7692 vsize=26603068 CPUtime=0 cores=0-7 /proc/7694/task/7712/stat : 7712 (java) S 7692 7692 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 16586617 27241541632 1873367 18446744073709551615 4194304 4196468 140734830447136 140336026282336 140337310746325 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=7713] ppid=7692 vsize=26603068 CPUtime=0.09 cores=0-7 /proc/7694/task/7713/stat : 7713 (java) S 7692 7692 31529 0 -1 1077944384 1889 0 0 0 7 2 0 0 20 0 28 0 16586621 27241541632 1873367 18446744073709551615 4194304 4196468 140734830447136 140336025229616 140337310747266 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=11460] ppid=7692 vsize=26603068 CPUtime=33.16 cores=0-7 /proc/7694/task/11460/stat : 11460 (java) R 7692 7692 31529 0 -1 4202560 983 0 0 0 3314 2 0 0 20 0 28 0 16607929 27241541632 1873367 18446744073709551615 4194304 4196468 140734830447136 140336015113368 140336942924656 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=11461] ppid=7692 vsize=26603068 CPUtime=33.23 cores=0-7 /proc/7694/task/11461/stat : 11461 (java) R 7692 7692 31529 0 -1 4202560 1100 0 0 0 3323 0 0 0 20 0 28 0 16607929 27241541632 1873367 18446744073709551615 4194304 4196468 140734830447136 140336010903672 140336941827433 0 4 1 16800974 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=11462] ppid=7692 vsize=26603068 CPUtime=32.92 cores=0-7 /proc/7694/task/11462/stat : 11462 (java) R 7692 7692 31529 0 -1 4202560 763 0 0 0 3291 1 0 0 20 0 28 0 16607929 27241541632 1873367 18446744073709551615 4194304 4196468 140734830447136 140336013009400 140336941979769 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=11463] ppid=7692 vsize=26603068 CPUtime=33.23 cores=0-7 /proc/7694/task/11463/stat : 11463 (java) R 7692 7692 31529 0 -1 4202560 6127 0 0 0 3315 8 0 0 20 0 28 0 16607929 27241541632 1873367 18446744073709551615 4194304 4196468 140734830447136 140336016170000 140336939180496 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=11464] ppid=7692 vsize=26603068 CPUtime=33.24 cores=0-7 /proc/7694/task/11464/stat : 11464 (java) R 7692 7692 31529 0 -1 4202560 774 0 0 0 3323 1 0 0 20 0 28 0 16607929 27241541632 1873367 18446744073709551615 4194304 4196468 140734830447136 140336017219880 140336942166533 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=11465] ppid=7692 vsize=26603068 CPUtime=33.23 cores=0-7 /proc/7694/task/11465/stat : 11465 (java) R 7692 7692 31529 0 -1 4202560 1881 0 0 0 3321 2 0 0 20 0 28 0 16607929 27241541632 1873367 18446744073709551615 4194304 4196468 140734830447136 140336011956856 140336941689448 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=11466] ppid=7692 vsize=26603068 CPUtime=33.14 cores=0-7 /proc/7694/task/11466/stat : 11466 (java) R 7692 7692 31529 0 -1 4202560 2122 0 0 0 3310 4 0 0 20 0 28 0 16607929 27241541632 1873367 18446744073709551615 4194304 4196468 140734830447136 140336014061448 140336936232505 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 [pid=7694/tid=11467] ppid=7692 vsize=26603068 CPUtime=33.2 cores=0-7 /proc/7694/task/11467/stat : 11467 (java) R 7692 7692 31529 0 -1 4202560 845 0 0 0 3320 0 0 0 20 0 28 0 16607929 27241541632 1873367 18446744073709551615 4194304 4196468 140734830447136 140336008801920 140336941689444 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32186368 140734830453200 140734830453376 140734830453376 140734830456783 0 Current children cumulated CPU time (s) 1920.79 Current children cumulated vsize (KiB) 26612580 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 7692 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=1766 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=238 # CPU time returned by wait4() is 0.002004 # while last known CPU time is 1920.79 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 246.541 CPU time (s): 1920.79 CPU user time (s): 1915.98 CPU system time (s): 4.81 CPU usage (%): 779.095 Max. virtual memory (cumulated for all children) (KiB): 26612580 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.001766 system time used= 0.000238 maximum resident set size= 1384 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 508 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.85181 second user time and 1.83265 second system time The end
Begin job on node128 at 2017-08-02 14:59:40 IDJOB=4254845 IDBENCH=115918 IDSOLVER=2636 FILE ID=node128/4254845-1501679619 RUNJOBID= node128-1501676495-31585 PBS_JOBID= Free space on /tmp= 61852 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-32.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-4254845-1501679619/watcher-4254845-1501679619 -o /tmp/evaluation-result-4254845-1501679619/solver-4254845-1501679619 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node128-1501676495-31585 --watchdog 324 ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 1520311913 HOME/instance-4254845-1501679619.xml TIME LIMIT= 1920 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 3de3ac871f1e1c584be6c245f66daf9e RANDOM SEED=1520311913 node128.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.05 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.05 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.05 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.05 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: 31057796 kB MemAvailable: 32015664 kB Buffers: 145160 kB Cached: 1099440 kB SwapCached: 0 kB Active: 395464 kB Inactive: 902724 kB Active(anon): 54052 kB Inactive(anon): 16724 kB Active(file): 341412 kB Inactive(file): 886000 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7940 kB Writeback: 4 kB AnonPages: 53952 kB Mapped: 30768 kB Shmem: 17064 kB Slab: 118376 kB SReclaimable: 92580 kB SUnreclaim: 25796 kB KernelStack: 3072 kB PageTables: 3784 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 286216 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 61844 MiB End job on node128 at 2017-08-02 15:03:47