Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
OscaR - Conflict Ordering 2017-07-26 | SAT (TO) | 669 | 246.533 | 240.033 |
Name | StillLife/StillLife-wst-s1/ StillLife-wastage-43.xml |
MD5SUM | 2bbdfe474604d495dd31c09972612e7d |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 847 |
Best CPU time to get the best result obtained on this benchmark | 1888.7 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 4096 |
Number of constraints | 2287 |
Number of domains | 4 |
Minimum domain size | 2 |
Maximum domain size | 4051 |
Distribution of domain sizes | [{"size":2,"count":2025},{"size":3,"count":2025},{"size":1850,"count":1},{"size":4051,"count":45}] |
Minimum variable degree | 1 |
Maximum variable degree | 46 |
Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":2022},{"degree":3,"count":48},{"degree":4,"count":172},{"degree":8,"count":168},{"degree":9,"count":1681},{"degree":46,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 47 |
Distribution of constraint arities | [{"arity":2,"count":217},{"arity":3,"count":172},{"arity":10,"count":1849},{"arity":45,"count":4},{"arity":46,"count":1},{"arity":47,"count":44}] |
Number of extensional constraints | 2021 |
Number of intensional constraints | 216 |
Distribution of constraint types | [{"type":"extension","count":2021},{"type":"intension","count":216},{"type":"sum","count":46},{"type":"instantiation","count":4}] |
Optimization problem | YES |
Type of objective | max VAR |
0.23/0.38 c version: 2017-07-26 0.23/0.38 c seed: 930492575 0.23/0.39 c timeout: 264 0.23/0.39 c memlimit: 11000 0.23/0.39 c nbcore: 4 0.42/0.41 c Parsing instance... 5.71/2.79 c Parsing done, starting search... 23.03/18.18 o 219 23.03/18.18 o 220 23.03/18.19 o 221 23.03/18.19 o 222 23.03/18.19 o 223 23.03/18.20 o 224 23.26/18.20 o 225 23.26/18.20 o 226 23.26/18.21 o 227 23.26/18.21 o 228 23.26/18.21 o 229 23.26/18.22 o 230 23.26/18.22 o 231 23.26/18.22 o 232 23.26/18.22 o 233 23.26/18.22 o 234 23.26/18.23 o 235 23.26/18.23 o 236 23.26/18.23 o 237 23.26/18.23 o 238 23.26/18.23 o 239 23.26/18.23 o 240 23.26/18.24 o 241 23.26/18.24 o 242 23.26/18.24 o 243 23.26/18.24 o 244 23.26/18.24 o 245 23.26/18.25 o 246 23.26/18.25 o 247 23.26/18.25 o 248 23.26/18.25 o 249 23.26/18.25 o 250 23.26/18.26 o 251 23.26/18.26 o 252 23.26/18.26 o 253 23.26/18.26 o 254 23.26/18.26 o 255 23.26/18.27 o 256 23.26/18.27 o 257 23.26/18.27 o 258 23.26/18.27 o 259 23.26/18.27 o 260 23.26/18.28 o 261 23.26/18.28 o 262 23.26/18.28 o 263 23.26/18.28 o 264 23.26/18.28 o 265 23.26/18.29 o 266 23.26/18.29 o 267 23.26/18.29 o 268 23.26/18.29 o 269 23.26/18.29 o 270 23.26/18.30 o 271 23.56/18.30 o 272 23.56/18.30 o 273 23.56/18.30 o 274 23.56/18.30 o 275 23.56/18.30 o 276 23.56/18.31 o 277 23.56/18.31 o 278 23.56/18.31 o 279 23.56/18.31 o 280 23.56/18.31 o 281 23.56/18.31 o 282 23.56/18.32 o 283 23.56/18.32 o 284 23.56/18.32 o 285 23.56/18.32 o 286 23.56/18.32 o 287 23.56/18.32 o 288 23.56/18.33 o 289 23.56/18.33 o 290 23.56/18.33 o 291 23.56/18.33 o 292 23.56/18.33 o 293 23.56/18.33 o 294 23.56/18.34 o 295 23.56/18.34 o 296 23.56/18.34 o 297 23.56/18.34 o 298 23.56/18.34 o 299 23.56/18.34 o 300 23.56/18.35 o 301 23.56/18.35 o 302 23.56/18.35 o 303 23.56/18.35 o 304 23.56/18.35 o 305 23.56/18.35 o 306 23.56/18.36 o 307 23.56/18.36 o 308 23.56/18.36 o 309 23.56/18.36 o 310 23.56/18.36 o 311 23.56/18.36 o 312 23.56/18.37 o 313 23.56/18.37 o 314 23.56/18.37 o 315 23.56/18.37 o 316 23.56/18.37 o 317 23.56/18.37 o 318 23.56/18.38 o 319 23.56/18.38 o 320 23.56/18.38 o 321 23.56/18.38 o 322 23.56/18.38 o 323 23.56/18.39 o 324 23.56/18.39 o 325 23.56/18.39 o 326 23.56/18.39 o 327 23.56/18.39 o 328 23.56/18.39 o 329 23.56/18.39 o 330 23.56/18.40 o 331 23.56/18.40 o 332 23.87/18.40 o 333 23.87/18.40 o 334 23.87/18.40 o 335 23.87/18.41 o 336 23.87/18.41 o 337 23.87/18.41 o 338 23.87/18.41 o 339 23.87/18.41 o 340 23.87/18.42 o 341 23.87/18.42 o 342 23.87/18.42 o 343 23.87/18.42 o 344 23.87/18.42 o 345 23.87/18.43 o 346 23.87/18.43 o 347 23.87/18.43 o 348 23.87/18.43 o 349 23.87/18.43 o 350 23.87/18.43 o 351 23.87/18.44 o 352 23.87/18.44 o 353 23.87/18.44 o 354 23.87/18.44 o 355 23.87/18.44 o 356 23.87/18.45 o 357 23.87/18.45 o 358 23.87/18.45 o 359 23.87/18.45 o 360 23.87/18.45 o 361 23.87/18.46 o 362 23.87/18.46 o 363 23.87/18.46 o 364 23.87/18.46 o 365 23.87/18.46 o 366 23.87/18.46 o 367 23.87/18.47 o 368 23.87/18.47 o 369 23.87/18.47 o 370 23.87/18.47 o 371 23.87/18.47 o 372 23.87/18.48 o 373 23.87/18.48 o 374 23.87/18.48 o 375 23.87/18.48 o 376 23.87/18.48 o 377 23.87/18.48 o 378 23.87/18.49 o 379 23.87/18.49 o 380 23.87/18.49 o 381 23.87/18.49 o 382 23.87/18.49 o 383 23.87/18.50 o 384 24.09/18.50 o 385 24.09/18.50 o 386 24.09/18.50 o 387 24.09/18.50 o 388 24.09/18.50 o 389 24.09/18.51 o 390 24.09/18.51 o 391 24.09/18.51 o 392 24.09/18.51 o 393 24.09/18.51 o 394 24.09/18.51 o 395 24.09/18.52 o 396 24.09/18.52 o 397 24.09/18.52 o 398 24.09/18.52 o 399 24.09/18.52 o 400 24.09/18.52 o 401 24.09/18.53 o 402 24.09/18.53 o 403 24.09/18.53 o 404 24.09/18.53 o 405 24.09/18.53 o 406 24.09/18.54 o 407 24.09/18.54 o 408 24.09/18.54 o 409 24.09/18.54 o 410 24.09/18.54 o 411 24.09/18.54 o 412 24.09/18.55 o 413 24.09/18.55 o 414 24.09/18.55 o 415 24.09/18.55 o 416 24.09/18.55 o 417 24.09/18.55 o 418 24.09/18.56 o 419 24.09/18.56 o 420 24.09/18.56 o 421 24.09/18.56 o 422 24.09/18.56 o 423 24.09/18.56 o 424 24.09/18.57 o 425 24.09/18.57 o 426 24.09/18.57 o 427 24.09/18.57 o 428 24.09/18.57 o 429 24.09/18.58 o 430 24.09/18.58 o 431 24.09/18.58 o 432 24.09/18.58 o 433 24.09/18.58 o 434 24.09/18.58 o 435 24.09/18.59 o 436 24.09/18.59 o 437 24.09/18.59 o 438 24.09/18.59 o 439 24.09/18.59 o 440 24.09/18.59 o 441 24.09/18.60 o 442 24.20/18.60 o 443 24.20/18.60 o 444 24.20/18.60 o 445 24.20/18.60 o 446 24.20/18.60 o 447 24.20/18.61 o 448 24.20/18.61 o 449 24.20/18.61 o 450 24.20/18.61 o 451 24.20/18.61 o 452 24.20/18.61 o 453 24.20/18.62 o 454 24.20/18.62 o 455 24.20/18.62 o 456 24.20/18.62 o 457 24.20/18.62 o 458 24.20/18.63 o 459 24.20/18.63 o 460 24.20/18.63 o 461 24.20/18.63 o 462 24.20/18.63 o 463 24.20/18.64 o 464 24.20/18.64 o 465 24.20/18.64 o 466 24.20/18.64 o 467 24.20/18.64 o 468 24.20/18.65 o 469 24.20/18.65 o 470 24.20/18.65 o 471 24.20/18.65 o 472 24.20/18.65 o 473 24.20/18.66 o 474 24.20/18.66 o 475 24.20/18.66 o 476 24.20/18.66 o 477 24.20/18.66 o 478 24.20/18.67 o 479 24.20/18.67 o 480 24.20/18.67 o 481 24.20/18.67 o 482 24.20/18.67 o 483 24.20/18.68 o 484 24.20/18.68 o 485 24.20/18.68 o 486 24.20/18.68 o 487 24.20/18.68 o 488 24.20/18.68 o 489 24.20/18.69 o 490 24.20/18.69 o 491 24.20/18.69 o 492 24.20/18.69 o 493 24.20/18.70 o 494 24.20/18.70 o 495 24.20/18.70 o 496 24.32/18.70 o 497 24.32/18.71 o 498 24.32/18.71 o 499 24.32/18.71 o 500 24.32/18.71 o 501 24.32/18.71 o 502 24.32/18.72 o 503 24.32/18.72 o 504 24.32/18.72 o 505 24.32/18.72 o 506 24.32/18.72 o 507 24.32/18.72 o 508 24.32/18.73 o 509 24.32/18.73 o 510 24.32/18.73 o 511 24.32/18.73 o 512 24.32/18.73 o 513 24.32/18.74 o 514 24.32/18.74 o 515 24.32/18.74 o 516 24.32/18.74 o 517 24.32/18.74 o 518 24.32/18.75 o 519 24.32/18.75 o 520 24.32/18.75 o 521 24.32/18.75 o 522 24.32/18.76 o 523 24.32/18.76 o 524 24.32/18.76 o 525 24.32/18.76 o 526 24.32/18.76 o 527 24.32/18.77 o 528 24.32/18.77 o 529 24.32/18.77 o 530 24.32/18.77 o 531 24.32/18.78 o 532 24.32/18.78 o 533 24.32/18.78 o 534 24.32/18.78 o 535 24.32/18.78 o 536 24.32/18.79 o 537 24.32/18.79 o 538 24.32/18.79 o 539 24.32/18.79 o 540 24.32/18.79 o 541 24.32/18.80 o 542 24.32/18.80 o 543 24.32/18.80 o 544 24.42/18.80 o 545 24.42/18.81 o 546 24.42/18.81 o 547 24.42/18.81 o 548 24.42/18.81 o 549 24.42/18.82 o 550 24.42/18.82 o 551 24.42/18.82 o 552 24.42/18.82 o 553 24.42/18.82 o 554 24.42/18.83 o 555 24.42/18.83 o 556 24.42/18.83 o 557 24.42/18.83 o 558 24.42/18.84 o 559 24.42/18.84 o 560 24.42/18.84 o 561 24.42/18.84 o 562 24.42/18.85 o 563 24.42/18.85 o 564 24.42/18.85 o 565 24.42/18.85 o 566 24.42/18.86 o 567 24.42/18.86 o 568 24.42/18.86 o 569 24.42/18.86 o 570 24.42/18.87 o 571 24.42/18.87 o 572 24.42/18.87 o 573 24.42/18.87 o 574 24.42/18.88 o 575 24.42/18.88 o 576 24.42/18.88 o 577 24.42/18.88 o 578 24.42/18.88 o 579 24.42/18.89 o 580 24.42/18.89 o 581 24.42/18.89 o 582 24.42/18.89 o 583 24.52/18.90 o 584 24.52/18.90 o 585 24.52/18.90 o 586 24.52/18.91 o 587 24.52/18.91 o 588 24.52/18.91 o 589 24.52/18.91 o 590 24.52/18.91 o 591 24.52/18.92 o 592 24.52/18.92 o 593 24.52/18.92 o 594 24.52/18.93 o 595 24.52/18.93 o 596 24.52/18.93 o 597 24.52/18.93 o 598 24.52/18.94 o 599 24.52/18.94 o 600 24.52/18.94 o 601 24.52/18.94 o 602 24.52/18.95 o 603 24.52/18.95 o 604 24.52/18.95 o 605 24.52/18.95 o 606 24.52/18.96 o 607 24.52/18.96 o 608 24.52/18.96 o 609 24.52/18.96 o 610 24.52/18.97 o 611 24.52/18.97 o 612 24.52/18.97 o 613 24.52/18.97 o 614 24.52/18.98 o 615 24.52/18.98 o 616 24.52/18.98 o 617 24.52/18.98 o 618 24.52/18.99 o 619 24.52/18.99 o 620 24.52/18.99 o 621 24.52/18.99 o 622 24.52/19.00 o 623 24.64/19.00 o 624 24.64/19.00 o 625 24.64/19.00 o 626 24.64/19.01 o 627 24.64/19.01 o 628 24.64/19.01 o 629 24.64/19.01 o 630 24.64/19.02 o 631 24.64/19.02 o 632 24.64/19.02 o 633 24.64/19.03 o 634 24.64/19.03 o 635 24.64/19.03 o 636 24.64/19.03 o 637 24.64/19.04 o 638 24.64/19.04 o 639 24.64/19.04 o 640 24.64/19.05 o 641 24.64/19.05 o 642 24.64/19.05 o 643 24.64/19.06 o 644 24.64/19.06 o 645 24.64/19.06 o 646 24.64/19.07 o 647 24.64/19.07 o 648 24.64/19.08 o 649 24.64/19.09 o 650 24.79/19.10 o 651 24.79/19.13 o 652 24.79/19.15 o 653 24.79/19.16 o 654 24.79/19.17 o 655 24.79/19.18 o 656 24.79/19.20 o 657 24.91/19.21 o 658 24.91/19.22 o 659 24.91/19.25 o 660 24.91/19.28 o 661 24.91/19.29 o 662 25.17/19.45 o 663 25.17/19.49 o 664 25.41/19.60 o 665 25.55/19.77 o 666 47.26/41.15 o 667 47.26/41.20 o 668 48.47/42.31 o 669 246.47/240.00 s SATISFIABLE 246.47/240.01 v <instantiation> 246.47/240.01 v <list> 246.47/240.01 v x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[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[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] 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[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] 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[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] 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[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] 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[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] 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[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] 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[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] 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[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] 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[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] 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[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] 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[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] 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[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] 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[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] 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[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] 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[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] 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[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] 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[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] 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[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] 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[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] 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[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] 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[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] 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[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] 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[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] 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[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] 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[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] 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[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] 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[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] 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[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] 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[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] 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[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] 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[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] 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[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] 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[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] 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] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] 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[0][34] w[0][35] w[0][36] w[0][37] w[0][38] w[0][39] w[0][40] w[0][41] w[0][42] w[0][43] w[0][44] 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[1][34] w[1][35] w[1][36] w[1][37] w[1][38] w[1][39] w[1][40] w[1][41] w[1][42] w[1][43] w[1][44] 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[2][34] w[2][35] w[2][36] w[2][37] w[2][38] w[2][39] w[2][40] w[2][41] w[2][42] w[2][43] w[2][44] 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[3][34] w[3][35] w[3][36] w[3][37] w[3][38] w[3][39] w[3][40] w[3][41] w[3][42] w[3][43] w[3][44] 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[4][34] w[4][35] w[4][36] w[4][37] w[4][38] w[4][39] w[4][40] w[4][41] w[4][42] w[4][43] w[4][44] 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[5][34] w[5][35] w[5][36] w[5][37] w[5][38] w[5][39] w[5][40] w[5][41] w[5][42] w[5][43] w[5][44] 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[6][34] w[6][35] w[6][36] w[6][37] w[6][38] w[6][39] w[6][40] w[6][41] w[6][42] w[6][43] w[6][44] 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[7][34] w[7][35] w[7][36] w[7][37] w[7][38] w[7][39] w[7][40] w[7][41] w[7][42] w[7][43] w[7][44] 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[8][34] w[8][35] w[8][36] w[8][37] w[8][38] w[8][39] w[8][40] w[8][41] w[8][42] w[8][43] w[8][44] 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[9][34] w[9][35] w[9][36] w[9][37] w[9][38] w[9][39] w[9][40] w[9][41] w[9][42] w[9][43] w[9][44] 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[10][34] w[10][35] w[10][36] w[10][37] w[10][38] w[10][39] w[10][40] w[10][41] w[10][42] w[10][43] w[10][44] 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[11][34] w[11][35] w[11][36] w[11][37] w[11][38] w[11][39] w[11][40] w[11][41] w[11][42] w[11][43] w[11][44] 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[12][34] w[12][35] w[12][36] w[12][37] w[12][38] w[12][39] w[12][40] w[12][41] w[12][42] w[12][43] w[12][44] 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[13][34] w[13][35] w[13][36] w[13][37] w[13][38] w[13][39] w[13][40] w[13][41] w[13][42] w[13][43] w[13][44] 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[14][34] w[14][35] w[14][36] w[14][37] w[14][38] w[14][39] w[14][40] w[14][41] w[14][42] w[14][43] w[14][44] 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[15][34] w[15][35] w[15][36] w[15][37] w[15][38] w[15][39] w[15][40] w[15][41] w[15][42] w[15][43] w[15][44] 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[16][34] w[16][35] w[16][36] w[16][37] w[16][38] w[16][39] w[16][40] w[16][41] w[16][42] w[16][43] w[16][44] 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[17][34] w[17][35] w[17][36] w[17][37] w[17][38] w[17][39] w[17][40] w[17][41] w[17][42] w[17][43] w[17][44] 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[18][34] w[18][35] w[18][36] w[18][37] w[18][38] w[18][39] w[18][40] w[18][41] w[18][42] w[18][43] w[18][44] 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[19][34] w[19][35] w[19][36] w[19][37] w[19][38] w[19][39] w[19][40] w[19][41] w[19][42] w[19][43] w[19][44] 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[20][34] w[20][35] w[20][36] w[20][37] w[20][38] w[20][39] w[20][40] w[20][41] w[20][42] w[20][43] w[20][44] 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[21][34] w[21][35] w[21][36] w[21][37] w[21][38] w[21][39] w[21][40] w[21][41] w[21][42] w[21][43] w[21][44] 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[22][34] w[22][35] w[22][36] w[22][37] w[22][38] w[22][39] w[22][40] w[22][41] w[22][42] w[22][43] w[22][44] 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[23][34] w[23][35] w[23][36] w[23][37] w[23][38] w[23][39] w[23][40] w[23][41] w[23][42] w[23][43] w[23][44] 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[24][34] w[24][35] w[24][36] w[24][37] w[24][38] w[24][39] w[24][40] w[24][41] w[24][42] w[24][43] w[24][44] 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[25][34] w[25][35] w[25][36] w[25][37] w[25][38] w[25][39] w[25][40] w[25][41] w[25][42] w[25][43] w[25][44] 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[26][34] w[26][35] w[26][36] w[26][37] w[26][38] w[26][39] w[26][40] w[26][41] w[26][42] w[26][43] w[26][44] 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[27][34] w[27][35] w[27][36] w[27][37] w[27][38] w[27][39] w[27][40] w[27][41] w[27][42] w[27][43] w[27][44] 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[28][34] w[28][35] w[28][36] w[28][37] w[28][38] w[28][39] w[28][40] w[28][41] w[28][42] w[28][43] w[28][44] 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[29][34] w[29][35] w[29][36] w[29][37] w[29][38] w[29][39] w[29][40] w[29][41] w[29][42] w[29][43] w[29][44] 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[30][34] w[30][35] w[30][36] w[30][37] w[30][38] w[30][39] w[30][40] w[30][41] w[30][42] w[30][43] w[30][44] 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[31][34] w[31][35] w[31][36] w[31][37] w[31][38] w[31][39] w[31][40] w[31][41] w[31][42] w[31][43] w[31][44] 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[32][34] w[32][35] w[32][36] w[32][37] w[32][38] w[32][39] w[32][40] w[32][41] w[32][42] w[32][43] w[32][44] 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] w[33][34] w[33][35] w[33][36] w[33][37] w[33][38] w[33][39] w[33][40] w[33][41] w[33][42] w[33][43] w[33][44] w[34][0] w[34][1] w[34][2] w[34][3] w[34][4] w[34][5] w[34][6] w[34][7] w[34][8] w[34][9] w[34][10] w[34][11] w[34][12] w[34][13] w[34][14] w[34][15] w[34][16] w[34][17] w[34][18] w[34][19] w[34][20] w[34][21] w[34][22] w[34][23] w[34][24] w[34][25] w[34][26] w[34][27] w[34][28] w[34][29] w[34][30] w[34][31] w[34][32] w[34][33] w[34][34] w[34][35] w[34][36] w[34][37] w[34][38] w[34][39] w[34][40] w[34][41] w[34][42] w[34][43] w[34][44] w[35][0] w[35][1] w[35][2] w[35][3] w[35][4] w[35][5] w[35][6] w[35][7] w[35][8] w[35][9] w[35][10] w[35][11] w[35][12] w[35][13] w[35][14] w[35][15] w[35][16] w[35][17] w[35][18] w[35][19] w[35][20] w[35][21] w[35][22] w[35][23] w[35][24] w[35][25] w[35][26] w[35][27] w[35][28] w[35][29] w[35][30] w[35][31] w[35][32] w[35][33] w[35][34] w[35][35] w[35][36] w[35][37] w[35][38] w[35][39] w[35][40] w[35][41] w[35][42] w[35][43] w[35][44] w[36][0] w[36][1] w[36][2] w[36][3] w[36][4] w[36][5] w[36][6] w[36][7] w[36][8] w[36][9] w[36][10] w[36][11] w[36][12] w[36][13] w[36][14] w[36][15] w[36][16] w[36][17] w[36][18] w[36][19] w[36][20] w[36][21] w[36][22] w[36][23] w[36][24] w[36][25] w[36][26] w[36][27] w[36][28] w[36][29] w[36][30] w[36][31] w[36][32] w[36][33] w[36][34] w[36][35] w[36][36] w[36][37] w[36][38] w[36][39] w[36][40] w[36][41] w[36][42] w[36][43] w[36][44] w[37][0] w[37][1] w[37][2] w[37][3] w[37][4] w[37][5] w[37][6] w[37][7] w[37][8] w[37][9] w[37][10] w[37][11] w[37][12] w[37][13] w[37][14] w[37][15] w[37][16] w[37][17] w[37][18] w[37][19] w[37][20] w[37][21] w[37][22] w[37][23] w[37][24] w[37][25] w[37][26] w[37][27] w[37][28] w[37][29] w[37][30] w[37][31] w[37][32] w[37][33] w[37][34] w[37][35] w[37][36] w[37][37] w[37][38] w[37][39] w[37][40] w[37][41] w[37][42] w[37][43] w[37][44] w[38][0] w[38][1] w[38][2] w[38][3] w[38][4] w[38][5] w[38][6] w[38][7] w[38][8] w[38][9] w[38][10] w[38][11] w[38][12] w[38][13] w[38][14] w[38][15] w[38][16] w[38][17] w[38][18] w[38][19] w[38][20] w[38][21] w[38][22] w[38][23] w[38][24] w[38][25] w[38][26] w[38][27] w[38][28] w[38][29] w[38][30] w[38][31] w[38][32] w[38][33] w[38][34] w[38][35] w[38][36] w[38][37] w[38][38] w[38][39] w[38][40] w[38][41] w[38][42] w[38][43] w[38][44] w[39][0] w[39][1] w[39][2] w[39][3] w[39][4] w[39][5] w[39][6] w[39][7] w[39][8] w[39][9] w[39][10] w[39][11] w[39][12] w[39][13] w[39][14] w[39][15] w[39][16] w[39][17] w[39][18] w[39][19] w[39][20] w[39][21] w[39][22] w[39][23] w[39][24] w[39][25] w[39][26] w[39][27] w[39][28] w[39][29] w[39][30] w[39][31] w[39][32] w[39][33] w[39][34] w[39][35] w[39][36] w[39][37] w[39][38] w[39][39] w[39][40] w[39][41] w[39][42] w[39][43] w[39][44] w[40][0] w[40][1] w[40][2] w[40][3] w[40][4] w[40][5] w[40][6] w[40][7] w[40][8] w[40][9] w[40][10] w[40][11] w[40][12] w[40][13] w[40][14] w[40][15] w[40][16] w[40][17] w[40][18] w[40][19] w[40][20] w[40][21] w[40][22] w[40][23] w[40][24] w[40][25] w[40][26] w[40][27] w[40][28] w[40][29] w[40][30] w[40][31] w[40][32] w[40][33] w[40][34] w[40][35] w[40][36] w[40][37] w[40][38] w[40][39] w[40][40] w[40][41] w[40][42] w[40][43] w[40][44] w[41][0] w[41][1] w[41][2] w[41][3] w[41][4] w[41][5] w[41][6] w[41][7] w[41][8] w[41][9] w[41][10] w[41][11] w[41][12] w[41][13] w[41][14] w[41][15] w[41][16] w[41][17] w[41][18] w[41][19] w[41][20] w[41][21] w[41][22] w[41][23] w[41][24] w[41][25] w[41][26] w[41][27] w[41][28] w[41][29] w[41][30] w[41][31] w[41][32] w[41][33] w[41][34] w[41][35] w[41][36] w[41][37] w[41][38] w[41][39] w[41][40] w[41][41] w[41][42] w[41][43] w[41][44] w[42][0] w[42][1] w[42][2] w[42][3] w[42][4] w[42][5] w[42][6] w[42][7] w[42][8] w[42][9] w[42][10] w[42][11] w[42][12] w[42][13] w[42][14] w[42][15] w[42][16] w[42][17] w[42][18] w[42][19] w[42][20] w[42][21] w[42][22] w[42][23] w[42][24] w[42][25] w[42][26] w[42][27] w[42][28] w[42][29] w[42][30] w[42][31] w[42][32] w[42][33] w[42][34] w[42][35] w[42][36] w[42][37] w[42][38] w[42][39] w[42][40] w[42][41] w[42][42] w[42][43] w[42][44] w[43][0] w[43][1] w[43][2] w[43][3] w[43][4] w[43][5] w[43][6] w[43][7] w[43][8] w[43][9] w[43][10] w[43][11] w[43][12] w[43][13] w[43][14] w[43][15] w[43][16] w[43][17] w[43][18] w[43][19] w[43][20] w[43][21] w[43][22] w[43][23] w[43][24] w[43][25] w[43][26] w[43][27] w[43][28] w[43][29] w[43][30] w[43][31] w[43][32] w[43][33] w[43][34] w[43][35] w[43][36] w[43][37] w[43][38] w[43][39] w[43][40] w[43][41] w[43][42] w[43][43] w[43][44] w[44][0] w[44][1] w[44][2] w[44][3] w[44][4] w[44][5] w[44][6] w[44][7] w[44][8] w[44][9] w[44][10] w[44][11] w[44][12] w[44][13] w[44][14] w[44][15] w[44][16] w[44][17] w[44][18] w[44][19] w[44][20] w[44][21] w[44][22] w[44][23] w[44][24] w[44][25] w[44][26] w[44][27] w[44][28] w[44][29] w[44][30] w[44][31] w[44][32] w[44][33] w[44][34] w[44][35] w[44][36] w[44][37] w[44][38] w[44][39] w[44][40] w[44][41] w[44][42] w[44][43] w[44][44] 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] ws[34] ws[35] ws[36] ws[37] ws[38] ws[39] ws[40] ws[41] ws[42] ws[43] ws[44] z 246.47/240.01 v </list> 246.47/240.01 v <values> 246.47/240.01 v 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 1 1 0 0 1 1 0 1 0 0 1 0 0 1 0 1 1 1 0 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 1 0 1 0 0 0 0 1 0 1 0 0 1 0 1 0 1 1 1 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 1 1 0 0 0 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 1 1 1 1 1 0 0 1 1 1 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 1 1 1 0 1 0 0 0 0 1 1 1 1 0 1 0 0 0 0 0 1 1 0 1 0 1 0 1 0 1 1 1 0 0 0 0 1 1 0 1 1 0 1 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 1 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 0 1 0 0 1 1 1 0 1 0 0 1 1 0 0 0 0 1 1 0 1 0 0 0 0 0 1 1 0 1 0 1 1 1 0 0 0 0 0 0 0 1 1 0 1 0 1 1 0 1 0 0 0 1 1 1 0 0 0 1 1 0 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 1 1 0 0 0 1 1 0 1 0 1 1 0 0 0 1 0 1 1 0 1 0 0 0 0 0 1 1 0 0 0 1 1 0 0 1 1 0 0 1 0 1 0 0 0 0 1 0 1 0 0 1 0 1 0 0 1 1 1 0 1 0 0 0 1 0 1 1 1 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 1 1 0 0 1 0 1 0 0 0 0 1 0 1 1 0 1 0 0 0 0 1 0 1 0 0 1 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 0 1 0 0 1 0 1 1 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 1 1 0 1 0 0 1 1 0 0 1 1 1 1 1 0 0 0 1 1 1 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 1 0 1 1 1 1 0 0 0 1 1 0 1 0 0 1 1 0 0 0 0 0 1 1 0 0 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 1 1 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 1 1 0 1 0 0 1 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 0 0 0 1 0 1 1 0 0 1 1 0 0 0 0 1 1 0 0 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 0 1 0 0 1 1 1 0 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 1 1 1 1 0 1 0 0 0 0 0 1 1 1 0 1 1 1 1 0 0 0 1 0 0 0 1 0 1 1 0 1 0 1 0 1 1 1 1 1 1 0 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 0 0 0 1 1 0 1 0 0 1 1 0 1 0 0 0 0 0 0 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 1 1 1 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 1 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 1 0 1 1 1 1 1 1 1 0 0 0 1 1 0 0 0 1 0 0 0 0 1 0 0 1 1 0 1 1 1 0 0 1 0 0 1 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 0 1 1 0 1 0 1 0 0 1 0 0 1 1 0 0 1 1 1 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 1 1 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 1 0 1 0 0 0 1 1 0 1 1 0 0 1 0 0 0 1 0 0 1 0 1 1 0 1 1 0 0 0 1 0 1 1 1 1 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 1 1 1 0 1 0 1 0 0 1 0 1 0 0 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 1 1 1 1 1 0 0 0 1 1 0 1 0 1 0 0 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 1 1 0 0 0 0 1 0 1 1 1 0 0 1 0 0 0 0 1 0 1 0 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 1 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 1 1 1 1 1 1 1 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 1 2 1 1 2 2 1 1 1 1 2 2 2 1 1 2 2 2 1 1 2 2 2 1 1 2 1 1 2 2 1 1 2 1 2 2 1 2 2 1 2 1 0 1 0 1 0 1 1 0 2 1 0 1 0 1 2 0 1 1 0 2 0 0 0 1 2 1 2 0 0 0 1 1 0 0 0 0 1 0 0 1 1 1 1 0 1 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 1 0 0 1 0 1 0 0 1 1 2 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 2 1 0 0 0 2 2 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 2 2 1 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 2 2 1 1 0 0 1 2 0 0 0 0 0 1 1 2 1 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 2 1 0 1 0 1 0 1 0 0 0 0 0 2 2 1 0 0 0 0 0 0 0 0 0 0 1 1 2 1 2 0 0 0 0 0 2 0 0 0 0 0 0 2 0 0 1 1 0 1 0 0 0 0 0 0 0 2 2 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 2 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 2 0 0 1 0 0 0 0 1 1 1 1 0 1 0 0 1 1 2 0 1 0 0 0 1 0 1 2 1 1 2 1 1 2 1 1 1 0 0 1 0 0 1 0 1 0 1 1 0 1 0 0 0 0 1 0 0 0 1 1 0 0 2 2 2 1 0 1 1 0 0 1 2 2 2 1 1 2 1 2 1 0 0 1 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 1 1 1 1 1 0 0 1 0 1 2 1 1 1 0 0 1 0 1 0 0 1 2 1 1 2 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 2 2 2 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 2 1 1 0 0 0 0 1 0 1 0 0 0 0 2 2 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 1 1 0 0 0 0 0 0 2 1 1 0 0 1 1 1 1 0 0 0 1 1 0 0 2 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 2 0 2 0 0 0 1 1 2 0 1 0 0 0 2 2 0 0 2 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 2 1 1 2 0 2 0 2 0 2 0 1 1 2 1 0 0 1 1 2 2 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 2 1 1 1 1 0 0 0 2 0 0 0 1 2 1 0 1 0 1 2 2 2 1 1 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 2 1 1 2 0 0 2 1 1 0 0 0 0 0 1 2 2 2 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 2 1 1 0 1 2 0 0 0 1 0 0 1 0 2 1 1 0 0 0 0 1 0 0 0 0 1 1 1 0 0 1 0 1 0 0 0 1 1 1 0 1 1 0 2 2 2 0 0 1 2 0 0 1 0 0 0 0 1 1 2 0 0 1 0 0 0 0 2 0 1 0 2 2 0 0 1 2 1 0 1 0 1 0 1 2 1 1 2 1 2 1 1 0 1 1 2 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 1 2 1 2 0 0 0 0 1 2 2 2 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 1 0 0 0 0 0 1 1 1 0 1 0 1 1 2 0 0 1 1 2 2 1 0 0 0 0 2 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 0 0 0 0 1 1 0 1 0 1 2 0 2 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 2 1 0 0 1 1 1 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 2 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 2 2 2 1 1 0 0 0 0 0 0 0 0 1 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 1 0 1 0 0 2 2 2 2 2 1 1 0 0 0 0 0 0 0 0 2 1 0 0 0 2 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 2 0 1 1 0 2 2 2 1 0 0 0 1 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 2 2 1 0 1 1 2 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 1 0 0 1 2 1 0 1 1 2 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 1 0 1 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 2 2 2 0 1 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 2 2 2 2 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 1 2 1 1 0 0 1 0 1 0 1 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 1 0 0 0 0 0 1 0 0 1 0 2 0 1 1 0 1 0 0 0 1 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 2 1 1 2 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 1 0 1 0 2 2 2 2 2 2 1 1 0 0 1 1 1 1 0 0 0 0 0 1 1 2 1 1 0 1 0 0 1 1 0 1 1 2 0 0 1 0 1 0 0 0 0 1 1 2 2 1 2 1 1 2 0 1 1 0 1 0 0 0 0 1 0 0 0 2 2 1 1 0 0 0 0 0 0 0 0 2 2 0 0 0 0 0 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 2 2 2 2 0 1 0 0 0 1 1 0 2 2 1 1 0 0 0 1 1 1 1 0 0 0 1 1 0 0 0 1 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 0 1 0 1 0 0 1 1 1 1 0 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 0 1 1 1 0 43 131 219 303 363 388 406 422 436 457 477 494 525 560 586 602 615 629 647 672 700 725 748 769 800 828 850 864 880 894 909 928 947 963 982 1002 1016 1033 1045 1061 1088 1120 1136 1169 1194 669 246.47/240.01 v </values> 246.47/240.01 v </instantiation>
OK 669
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-4256339-1501627419/watcher-4256339-1501627419 -o /tmp/evaluation-result-4256339-1501627419/solver-4256339-1501627419 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501622945-15685 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 930492575 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4256339-1501627419.xml pid=18442 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.52 1.62 1.66 3/199 18445 /proc/meminfo: memFree=31518736/32770624 swapFree=0/197112 [pid=18445] ppid=18442 vsize=23672 CPUtime=0 cores=0,2,4,6 /proc/18445/stat : 18445 (runsolver) D 18442 18445 5228 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10557292 24240128 107 18446744073709551615 4194304 4338465 140725246575568 140725246573208 139674796081879 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 17887232 140725246578791 140725246579270 140725246579270 140725246582730 0 /proc/18445/statm: 5918 107 54 36 0 2156 0 [startup+0.110139 s] /proc/loadavg: 1.52 1.62 1.66 3/199 18445 /proc/meminfo: memFree=31518736/32770624 swapFree=0/197112 [pid=18445] ppid=18442 vsize=13375000 CPUtime=0.01 cores=0,2,4,6 /proc/18445/stat : 18445 (java) S 18442 18445 5228 0 -1 1077944320 3669 0 0 0 1 0 0 0 20 0 7 0 10557292 13696000000 3857 18446744073709551615 4194304 4196468 140725671698864 140725671681408 140106803392247 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 /proc/18445/statm: 3343750 3857 1960 1 0 3333255 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 13375000 [startup+0.200549 s] /proc/loadavg: 1.52 1.62 1.66 3/199 18445 /proc/meminfo: memFree=31518736/32770624 swapFree=0/197112 [pid=18445] ppid=18442 vsize=13975920 CPUtime=0.07 cores=0,2,4,6 /proc/18445/stat : 18445 (java) S 18442 18445 5228 0 -1 1077944320 6433 0 0 0 6 1 0 0 20 0 15 0 10557292 14311342080 6598 18446744073709551615 4194304 4196468 140725671698864 140725671681408 140106803392247 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 /proc/18445/statm: 3493980 6598 2985 1 0 3482767 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 13975920 [startup+0.300311 s] /proc/loadavg: 1.52 1.62 1.66 3/199 18445 /proc/meminfo: memFree=31518736/32770624 swapFree=0/197112 [pid=18445] ppid=18442 vsize=13975920 CPUtime=0.23 cores=0,2,4,6 /proc/18445/stat : 18445 (java) S 18442 18445 5228 0 -1 1077944320 10178 0 0 0 20 3 0 0 20 0 15 0 10557292 14311342080 9863 18446744073709551615 4194304 4196468 140725671698864 140725671681408 140106803392247 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 /proc/18445/statm: 3493980 9863 3474 1 0 3482767 0 Current children cumulated CPU time (s) 0.23 Current children cumulated vsize (KiB) 13975920 [startup+0.700236 s] /proc/loadavg: 1.52 1.62 1.66 3/199 18445 /proc/meminfo: memFree=31518736/32770624 swapFree=0/197112 [pid=18445] ppid=18442 vsize=13977988 CPUtime=1.06 cores=0,2,4,6 /proc/18445/stat : 18445 (java) S 18442 18445 5228 0 -1 1077944320 13978 0 0 0 101 5 0 0 20 0 15 0 10557292 14313459712 17808 18446744073709551615 4194304 4196468 140725671698864 140725671681408 140106803392247 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 /proc/18445/statm: 3494497 17808 3722 1 0 3483279 0 Current children cumulated CPU time (s) 1.06 Current children cumulated vsize (KiB) 13977988 [startup+1.50352 s] /proc/loadavg: 1.52 1.62 1.66 5/214 18460 /proc/meminfo: memFree=31413476/32770624 swapFree=0/197148 [pid=18445] ppid=18442 vsize=13982084 CPUtime=3.37 cores=0,2,4,6 /proc/18445/stat : 18445 (java) S 18442 18445 5228 0 -1 1077944320 27169 0 0 0 329 8 0 0 20 0 15 0 10557292 14317654016 42507 18446744073709551615 4194304 4196468 140725671698864 140725671681408 140106803392247 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 /proc/18445/statm: 3495521 42507 3754 1 0 3484303 0 [pid=18445/tid=18447] ppid=18442 vsize=13982084 CPUtime=1.35 cores=0,2,4,6 /proc/18445/task/18447/stat : 18447 (java) R 18442 18445 5228 0 -1 4202560 15260 0 0 0 129 6 0 0 20 0 15 0 10557301 14317654016 42507 18446744073709551615 4194304 4196468 140725671698864 140106807610592 140106803404182 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18448] ppid=18442 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/18445/task/18448/stat : 18448 (java) S 18442 18445 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10557302 14317654016 42507 18446744073709551615 4194304 4196468 140725671698864 140106737826320 140106803402453 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18449] ppid=18442 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/18445/task/18449/stat : 18449 (java) S 18442 18445 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10557302 14317654016 42507 18446744073709551615 4194304 4196468 140725671698864 140106736773776 140106803402453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18450] ppid=18442 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/18445/task/18450/stat : 18450 (java) S 18442 18445 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10557302 14317654016 42507 18446744073709551615 4194304 4196468 140725671698864 140106735720720 140106803402453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18451] ppid=18442 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/18445/task/18451/stat : 18451 (java) S 18442 18445 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10557302 14317654016 42507 18446744073709551615 4194304 4196468 140725671698864 140106734668176 140106803402453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18452] ppid=18442 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/18445/task/18452/stat : 18452 (java) S 18442 18445 5228 0 -1 1077944384 426 0 0 0 0 0 0 0 20 0 15 0 10557303 14317654016 42507 18446744073709551615 4194304 4196468 140725671698864 140106281892592 140106803403394 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18453] ppid=18442 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/18445/task/18453/stat : 18453 (java) S 18442 18445 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10557304 14317654016 42507 18446744073709551615 4194304 4196468 140725671698864 140106280838816 140106803402453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18454] ppid=18442 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/18445/task/18454/stat : 18454 (java) S 18442 18445 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10557304 14317654016 42507 18446744073709551615 4194304 4196468 140725671698864 140106279785712 140106803402453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18455] ppid=18442 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/18445/task/18455/stat : 18455 (java) S 18442 18445 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10557307 14317654016 42507 18446744073709551615 4194304 4196468 140725671698864 140106278734288 140106803410843 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18456] ppid=18442 vsize=13982084 CPUtime=0.6 cores=0,2,4,6 /proc/18445/task/18456/stat : 18456 (java) S 18442 18445 5228 0 -1 1077944384 2761 0 0 0 60 0 0 0 20 0 15 0 10557307 14317654016 42507 18446744073709551615 4194304 4196468 140725671698864 140106277681392 140106803403394 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18457] ppid=18442 vsize=13982084 CPUtime=0.7 cores=0,2,4,6 /proc/18445/task/18457/stat : 18457 (java) S 18442 18445 5228 0 -1 1077944384 2287 0 0 0 70 0 0 0 20 0 15 0 10557307 14317654016 42507 18446744073709551615 4194304 4196468 140725671698864 140106276628848 140106803403394 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18458] ppid=18442 vsize=13982084 CPUtime=0.68 cores=0,2,4,6 /proc/18445/task/18458/stat : 18458 (java) R 18442 18445 5228 0 -1 4202560 5054 0 0 0 67 1 0 0 20 0 15 0 10557307 14317654016 42507 18446744073709551615 4194304 4196468 140725671698864 140106275571352 140106782337858 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18459] ppid=18442 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/18445/task/18459/stat : 18459 (java) S 18442 18445 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10557307 14317654016 42507 18446744073709551615 4194304 4196468 140725671698864 140106274523488 140106803402453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18460] ppid=18442 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/18445/task/18460/stat : 18460 (java) S 18442 18445 5228 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 10557311 14317654016 42507 18446744073709551615 4194304 4196468 140725671698864 140106273471536 140106803403394 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 Current children cumulated CPU time (s) 3.37 Current children cumulated vsize (KiB) 13982084 [startup+3.10062 s] /proc/loadavg: 1.52 1.62 1.66 3/214 18460 /proc/meminfo: memFree=31192940/32770624 swapFree=0/197148 [pid=18445] ppid=18442 vsize=13982084 CPUtime=6.8 cores=0,2,4,6 /proc/18445/stat : 18445 (java) S 18442 18445 5228 0 -1 1077944320 33162 0 0 0 648 32 0 0 20 0 15 0 10557292 14317654016 124080 18446744073709551615 4194304 4196468 140725671698864 140725671681408 140106803392247 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 /proc/18445/statm: 3495521 124080 3790 1 0 3484303 0 [pid=18445/tid=18447] ppid=18442 vsize=13982084 CPUtime=2.78 cores=0,2,4,6 /proc/18445/task/18447/stat : 18447 (java) R 18442 18445 5228 0 -1 4202560 15785 0 0 0 270 8 0 0 20 0 15 0 10557301 14317654016 124080 18446744073709551615 4194304 4196468 140725671698864 140106807629248 140106423178692 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18448] ppid=18442 vsize=13982084 CPUtime=0.13 cores=0,2,4,6 /proc/18445/task/18448/stat : 18448 (java) S 18442 18445 5228 0 -1 1077944384 582 0 0 0 8 5 0 0 20 0 15 0 10557302 14317654016 124080 18446744073709551615 4194304 4196468 140725671698864 140106737826320 140106803402453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18449] ppid=18442 vsize=13982084 CPUtime=0.13 cores=0,2,4,6 /proc/18445/task/18449/stat : 18449 (java) S 18442 18445 5228 0 -1 1077944384 227 0 0 0 8 5 0 0 20 0 15 0 10557302 14317654016 124080 18446744073709551615 4194304 4196468 140725671698864 140106736773776 140106803402453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18450] ppid=18442 vsize=13982084 CPUtime=0.14 cores=0,2,4,6 /proc/18445/task/18450/stat : 18450 (java) S 18442 18445 5228 0 -1 1077944384 243 0 0 0 9 5 0 0 20 0 15 0 10557302 14317654016 124080 18446744073709551615 4194304 4196468 140725671698864 140106735720720 140106803402453 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18451] ppid=18442 vsize=13982084 CPUtime=0.12 cores=0,2,4,6 /proc/18445/task/18451/stat : 18451 (java) S 18442 18445 5228 0 -1 1077944384 185 0 0 0 8 4 0 0 20 0 15 0 10557302 14317654016 124080 18446744073709551615 4194304 4196468 140725671698864 140106734668176 140106803402453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18452] ppid=18442 vsize=13982084 CPUtime=0.01 cores=0,2,4,6 /proc/18445/task/18452/stat : 18452 (java) S 18442 18445 5228 0 -1 1077944384 714 0 0 0 1 0 0 0 20 0 15 0 10557303 14317654016 124080 18446744073709551615 4194304 4196468 140725671698864 140106281892592 140106803403394 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18453] ppid=18442 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/18445/task/18453/stat : 18453 (java) S 18442 18445 5228 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 10557304 14317654016 124080 18446744073709551615 4194304 4196468 140725671698864 140106280838880 140106803402453 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18454] ppid=18442 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/18445/task/18454/stat : 18454 (java) S 18442 18445 5228 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 10557304 14317654016 124080 18446744073709551615 4194304 4196468 140725671698864 140106279785728 140106803402453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18455] ppid=18442 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/18445/task/18455/stat : 18455 (java) S 18442 18445 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10557307 14317654016 124080 18446744073709551615 4194304 4196468 140725671698864 140106278734288 140106803410843 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18456] ppid=18442 vsize=13982084 CPUtime=1.22 cores=0,2,4,6 /proc/18445/task/18456/stat : 18456 (java) R 18442 18445 5228 0 -1 4202560 3597 0 0 0 121 1 0 0 20 0 15 0 10557307 14317654016 124080 18446744073709551615 4194304 4196468 140725671698864 140106277662408 140106783085339 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18457] ppid=18442 vsize=13982084 CPUtime=1.35 cores=0,2,4,6 /proc/18445/task/18457/stat : 18457 (java) R 18442 18445 5228 0 -1 4202560 3248 0 0 0 135 0 0 0 20 0 15 0 10557307 14317654016 124080 18446744073709551615 4194304 4196468 140725671698864 140106276617840 140106787785483 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18458] ppid=18442 vsize=13982084 CPUtime=0.84 cores=0,2,4,6 /proc/18445/task/18458/stat : 18458 (java) S 18442 18445 5228 0 -1 1077944384 7146 0 0 0 83 1 0 0 20 0 15 0 10557307 14317654016 124080 18446744073709551615 4194304 4196468 140725671698864 140106275575792 140106803403394 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18459] ppid=18442 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/18445/task/18459/stat : 18459 (java) S 18442 18445 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10557307 14317654016 124080 18446744073709551615 4194304 4196468 140725671698864 140106274523488 140106803402453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18460] ppid=18442 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/18445/task/18460/stat : 18460 (java) S 18442 18445 5228 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 10557311 14317654016 124080 18446744073709551615 4194304 4196468 140725671698864 140106273471536 140106803403394 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 Current children cumulated CPU time (s) 6.8 Current children cumulated vsize (KiB) 13982084 [startup+6.30072 s] /proc/loadavg: 1.47 1.61 1.65 3/214 18460 /proc/meminfo: memFree=30782372/32770624 swapFree=0/197160 [pid=18445] ppid=18442 vsize=13982084 CPUtime=10.96 cores=0,2,4,6 /proc/18445/stat : 18445 (java) S 18442 18445 5228 0 -1 1077944320 34926 0 0 0 1054 42 0 0 20 0 15 0 10557292 14317654016 187444 18446744073709551615 4194304 4196468 140725671698864 140725671681408 140106803392247 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 /proc/18445/statm: 3495521 187444 3803 1 0 3484303 0 [pid=18445/tid=18447] ppid=18442 vsize=13982084 CPUtime=5.95 cores=0,2,4,6 /proc/18445/task/18447/stat : 18447 (java) R 18442 18445 5228 0 -1 4202560 16372 0 0 0 583 12 0 0 20 0 15 0 10557301 14317654016 187444 18446744073709551615 4194304 4196468 140725671698864 140106807630872 140106423266907 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18448] ppid=18442 vsize=13982084 CPUtime=0.16 cores=0,2,4,6 /proc/18445/task/18448/stat : 18448 (java) S 18442 18445 5228 0 -1 1077944384 602 0 0 0 10 6 0 0 20 0 15 0 10557302 14317654016 187444 18446744073709551615 4194304 4196468 140725671698864 140106737826320 140106803402453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18449] ppid=18442 vsize=13982084 CPUtime=0.16 cores=0,2,4,6 /proc/18445/task/18449/stat : 18449 (java) S 18442 18445 5228 0 -1 1077944384 244 0 0 0 10 6 0 0 20 0 15 0 10557302 14317654016 187444 18446744073709551615 4194304 4196468 140725671698864 140106736773776 140106803402453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18450] ppid=18442 vsize=13982084 CPUtime=0.16 cores=0,2,4,6 /proc/18445/task/18450/stat : 18450 (java) S 18442 18445 5228 0 -1 1077944384 265 0 0 0 10 6 0 0 20 0 15 0 10557302 14317654016 187444 18446744073709551615 4194304 4196468 140725671698864 140106735720720 140106803402453 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18451] ppid=18442 vsize=13982084 CPUtime=0.15 cores=0,2,4,6 /proc/18445/task/18451/stat : 18451 (java) S 18442 18445 5228 0 -1 1077944384 210 0 0 0 10 5 0 0 20 0 15 0 10557302 14317654016 187444 18446744073709551615 4194304 4196468 140725671698864 140106734668176 140106803402453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18452] ppid=18442 vsize=13982084 CPUtime=0.01 cores=0,2,4,6 /proc/18445/task/18452/stat : 18452 (java) S 18442 18445 5228 0 -1 1077944384 1019 0 0 0 1 0 0 0 20 0 15 0 10557303 14317654016 187444 18446744073709551615 4194304 4196468 140725671698864 140106281892592 140106803403394 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18453] ppid=18442 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/18445/task/18453/stat : 18453 (java) S 18442 18445 5228 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 10557304 14317654016 187444 18446744073709551615 4194304 4196468 140725671698864 140106280838880 140106803402453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18454] ppid=18442 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/18445/task/18454/stat : 18454 (java) S 18442 18445 5228 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 10557304 14317654016 187444 18446744073709551615 4194304 4196468 140725671698864 140106279785728 140106803402453 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18455] ppid=18442 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/18445/task/18455/stat : 18455 (java) S 18442 18445 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10557307 14317654016 187444 18446744073709551615 4194304 4196468 140725671698864 140106278734288 140106803410843 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18456] ppid=18442 vsize=13982084 CPUtime=1.71 cores=0,2,4,6 /proc/18445/task/18456/stat : 18456 (java) S 18442 18445 5228 0 -1 1077944384 4203 0 0 0 170 1 0 0 20 0 15 0 10557307 14317654016 187444 18446744073709551615 4194304 4196468 140725671698864 140106277681392 140106803403394 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18457] ppid=18442 vsize=13982084 CPUtime=1.7 cores=0,2,4,6 /proc/18445/task/18457/stat : 18457 (java) S 18442 18445 5228 0 -1 1077944384 3356 0 0 0 170 0 0 0 20 0 15 0 10557307 14317654016 187444 18446744073709551615 4194304 4196468 140725671698864 140106276628848 140106803403394 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18458] ppid=18442 vsize=13982084 CPUtime=0.85 cores=0,2,4,6 /proc/18445/task/18458/stat : 18458 (java) S 18442 18445 5228 0 -1 1077944384 7211 0 0 0 84 1 0 0 20 0 15 0 10557307 14317654016 187444 18446744073709551615 4194304 4196468 140725671698864 140106275575792 140106803403394 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18459] ppid=18442 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/18445/task/18459/stat : 18459 (java) S 18442 18445 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10557307 14317654016 187444 18446744073709551615 4194304 4196468 140725671698864 140106274523488 140106803402453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18460] ppid=18442 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/18445/task/18460/stat : 18460 (java) S 18442 18445 5228 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 10557311 14317654016 187444 18446744073709551615 4194304 4196468 140725671698864 140106273471536 140106803403394 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 Current children cumulated CPU time (s) 10.96 Current children cumulated vsize (KiB) 13982084 [startup+12.7007 s] /proc/loadavg: 1.52 1.62 1.66 4/214 18460 /proc/meminfo: memFree=30755016/32770624 swapFree=0/197160 [pid=18445] ppid=18442 vsize=13982084 CPUtime=17.57 cores=0,2,4,6 /proc/18445/stat : 18445 (java) S 18442 18445 5228 0 -1 1077944320 36229 0 0 0 1712 45 0 0 20 0 15 0 10557292 14317654016 193597 18446744073709551615 4194304 4196468 140725671698864 140725671681408 140106803392247 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 /proc/18445/statm: 3495521 193597 3803 1 0 3484303 0 [pid=18445/tid=18447] ppid=18442 vsize=13982084 CPUtime=12.32 cores=0,2,4,6 /proc/18445/task/18447/stat : 18447 (java) R 18442 18445 5228 0 -1 4202560 17545 0 0 0 1220 12 0 0 20 0 15 0 10557301 14317654016 193597 18446744073709551615 4194304 4196468 140725671698864 140106807627648 140106423478929 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18448] ppid=18442 vsize=13982084 CPUtime=0.18 cores=0,2,4,6 /proc/18445/task/18448/stat : 18448 (java) S 18442 18445 5228 0 -1 1077944384 620 0 0 0 11 7 0 0 20 0 15 0 10557302 14317654016 193597 18446744073709551615 4194304 4196468 140725671698864 140106737826320 140106803402453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18449] ppid=18442 vsize=13982084 CPUtime=0.17 cores=0,2,4,6 /proc/18445/task/18449/stat : 18449 (java) S 18442 18445 5228 0 -1 1077944384 255 0 0 0 11 6 0 0 20 0 15 0 10557302 14317654016 193597 18446744073709551615 4194304 4196468 140725671698864 140106736773776 140106803402453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18450] ppid=18442 vsize=13982084 CPUtime=0.19 cores=0,2,4,6 /proc/18445/task/18450/stat : 18450 (java) S 18442 18445 5228 0 -1 1077944384 276 0 0 0 12 7 0 0 20 0 15 0 10557302 14317654016 193597 18446744073709551615 4194304 4196468 140725671698864 140106735720720 140106803402453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18451] ppid=18442 vsize=13982084 CPUtime=0.17 cores=0,2,4,6 /proc/18445/task/18451/stat : 18451 (java) S 18442 18445 5228 0 -1 1077944384 221 0 0 0 11 6 0 0 20 0 15 0 10557302 14317654016 193597 18446744073709551615 4194304 4196468 140725671698864 140106734668176 140106803402453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18452] ppid=18442 vsize=13982084 CPUtime=0.01 cores=0,2,4,6 /proc/18445/task/18452/stat : 18452 (java) S 18442 18445 5228 0 -1 1077944384 1027 0 0 0 1 0 0 0 20 0 15 0 10557303 14317654016 193597 18446744073709551615 4194304 4196468 140725671698864 140106281892592 140106803403394 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18453] ppid=18442 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/18445/task/18453/stat : 18453 (java) S 18442 18445 5228 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 10557304 14317654016 193597 18446744073709551615 4194304 4196468 140725671698864 140106280838880 140106803402453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18454] ppid=18442 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/18445/task/18454/stat : 18454 (java) S 18442 18445 5228 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 10557304 14317654016 193597 18446744073709551615 4194304 4196468 140725671698864 140106279785728 140106803402453 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18455] ppid=18442 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/18445/task/18455/stat : 18455 (java) S 18442 18445 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10557307 14317654016 193597 18446744073709551615 4194304 4196468 140725671698864 140106278734288 140106803410843 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 ################ # More data... # ################ /proc/18445/task/18459/stat : 18459 (java) S 18442 18445 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10557307 14317654016 597551 18446744073709551615 4194304 4196468 140725671698864 140106274523488 140106803402453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18460] ppid=18442 vsize=13982084 CPUtime=0.02 cores=0,2,4,6 /proc/18445/task/18460/stat : 18460 (java) S 18442 18445 5228 0 -1 1077944384 73 0 0 0 1 1 0 0 20 0 15 0 10557311 14317654016 597551 18446744073709551615 4194304 4196468 140725671698864 140106273471536 140106803403394 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 Current children cumulated CPU time (s) 57.36 Current children cumulated vsize (KiB) 13982084 [startup+102.301 s] /proc/loadavg: 1.87 1.71 1.68 3/214 18548 /proc/meminfo: memFree=25477520/32770624 swapFree=0/197304 [pid=18445] ppid=18442 vsize=13982084 CPUtime=108.69 cores=0,2,4,6 /proc/18445/stat : 18445 (java) S 18442 18445 5228 0 -1 1077944320 56511 0 0 0 10757 112 0 0 20 0 15 0 10557292 14317654016 891714 18446744073709551615 4194304 4196468 140725671698864 140725671681408 140106803392247 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 /proc/18445/statm: 3495521 891714 3805 1 0 3484303 0 [pid=18445/tid=18447] ppid=18442 vsize=13982084 CPUtime=101.79 cores=0,2,4,6 /proc/18445/task/18447/stat : 18447 (java) R 18442 18445 5228 0 -1 4202560 26943 0 0 0 10126 53 0 0 20 0 15 0 10557301 14317654016 891714 18446744073709551615 4194304 4196468 140725671698864 140106807630448 140106423478963 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18448] ppid=18442 vsize=13982084 CPUtime=0.3 cores=0,2,4,6 /proc/18445/task/18448/stat : 18448 (java) S 18442 18445 5228 0 -1 1077944384 2416 0 0 0 18 12 0 0 20 0 15 0 10557302 14317654016 891714 18446744073709551615 4194304 4196468 140725671698864 140106737826320 140106803402453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18449] ppid=18442 vsize=13982084 CPUtime=0.3 cores=0,2,4,6 /proc/18445/task/18449/stat : 18449 (java) S 18442 18445 5228 0 -1 1077944384 653 0 0 0 18 12 0 0 20 0 15 0 10557302 14317654016 891714 18446744073709551615 4194304 4196468 140725671698864 140106736773776 140106803402453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18450] ppid=18442 vsize=13982084 CPUtime=0.31 cores=0,2,4,6 /proc/18445/task/18450/stat : 18450 (java) S 18442 18445 5228 0 -1 1077944384 1209 0 0 0 18 13 0 0 20 0 15 0 10557302 14317654016 891714 18446744073709551615 4194304 4196468 140725671698864 140106735720720 140106803402453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18451] ppid=18442 vsize=13982084 CPUtime=0.29 cores=0,2,4,6 /proc/18445/task/18451/stat : 18451 (java) S 18442 18445 5228 0 -1 1077944384 1677 0 0 0 17 12 0 0 20 0 15 0 10557302 14317654016 891714 18446744073709551615 4194304 4196468 140725671698864 140106734668176 140106803402453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18452] ppid=18442 vsize=13982084 CPUtime=0.02 cores=0,2,4,6 /proc/18445/task/18452/stat : 18452 (java) S 18442 18445 5228 0 -1 1077944384 2441 0 0 0 2 0 0 0 20 0 15 0 10557303 14317654016 891714 18446744073709551615 4194304 4196468 140725671698864 140106281892592 140106803403394 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18453] ppid=18442 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/18445/task/18453/stat : 18453 (java) S 18442 18445 5228 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 10557304 14317654016 891714 18446744073709551615 4194304 4196468 140725671698864 140106280838880 140106803402453 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18454] ppid=18442 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/18445/task/18454/stat : 18454 (java) S 18442 18445 5228 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 10557304 14317654016 891714 18446744073709551615 4194304 4196468 140725671698864 140106279785728 140106803402453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18455] ppid=18442 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/18445/task/18455/stat : 18455 (java) S 18442 18445 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10557307 14317654016 891714 18446744073709551615 4194304 4196468 140725671698864 140106278734288 140106803410843 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18456] ppid=18442 vsize=13982084 CPUtime=2.31 cores=0,2,4,6 /proc/18445/task/18456/stat : 18456 (java) S 18442 18445 5228 0 -1 1077944384 5710 0 0 0 229 2 0 0 20 0 15 0 10557307 14317654016 891714 18446744073709551615 4194304 4196468 140725671698864 140106277681392 140106803403394 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18457] ppid=18442 vsize=13982084 CPUtime=2.27 cores=0,2,4,6 /proc/18445/task/18457/stat : 18457 (java) S 18442 18445 5228 0 -1 1077944384 5882 0 0 0 226 1 0 0 20 0 15 0 10557307 14317654016 891714 18446744073709551615 4194304 4196468 140725671698864 140106276628848 140106803403394 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18458] ppid=18442 vsize=13982084 CPUtime=0.95 cores=0,2,4,6 /proc/18445/task/18458/stat : 18458 (java) S 18442 18445 5228 0 -1 1077944384 8048 0 0 0 94 1 0 0 20 0 15 0 10557307 14317654016 891714 18446744073709551615 4194304 4196468 140725671698864 140106275575792 140106803403394 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18459] ppid=18442 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/18445/task/18459/stat : 18459 (java) S 18442 18445 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10557307 14317654016 891714 18446744073709551615 4194304 4196468 140725671698864 140106274523488 140106803402453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18460] ppid=18442 vsize=13982084 CPUtime=0.04 cores=0,2,4,6 /proc/18445/task/18460/stat : 18460 (java) S 18442 18445 5228 0 -1 1077944384 98 0 0 0 2 2 0 0 20 0 15 0 10557311 14317654016 891714 18446744073709551615 4194304 4196468 140725671698864 140106273471536 140106803403394 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 Current children cumulated CPU time (s) 108.69 Current children cumulated vsize (KiB) 13982084 [startup+162.301 s] /proc/loadavg: 2.05 1.79 1.71 3/214 18550 /proc/meminfo: memFree=24506592/32770624 swapFree=0/197336 [pid=18445] ppid=18442 vsize=13982084 CPUtime=168.72 cores=0,2,4,6 /proc/18445/stat : 18445 (java) S 18442 18445 5228 0 -1 1077944320 60152 0 0 0 16752 120 0 0 20 0 15 0 10557292 14317654016 964901 18446744073709551615 4194304 4196468 140725671698864 140725671681408 140106803392247 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 /proc/18445/statm: 3495521 964901 3805 1 0 3484303 0 [pid=18445/tid=18447] ppid=18442 vsize=13982084 CPUtime=161.77 cores=0,2,4,6 /proc/18445/task/18447/stat : 18447 (java) R 18442 18445 5228 0 -1 4202560 30549 0 0 0 16118 59 0 0 20 0 15 0 10557301 14317654016 964901 18446744073709551615 4194304 4196468 140725671698864 140106807630688 140106423478963 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18448] ppid=18442 vsize=13982084 CPUtime=0.31 cores=0,2,4,6 /proc/18445/task/18448/stat : 18448 (java) S 18442 18445 5228 0 -1 1077944384 2422 0 0 0 19 12 0 0 20 0 15 0 10557302 14317654016 964901 18446744073709551615 4194304 4196468 140725671698864 140106737826320 140106803402453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18449] ppid=18442 vsize=13982084 CPUtime=0.3 cores=0,2,4,6 /proc/18445/task/18449/stat : 18449 (java) S 18442 18445 5228 0 -1 1077944384 654 0 0 0 18 12 0 0 20 0 15 0 10557302 14317654016 964901 18446744073709551615 4194304 4196468 140725671698864 140106736773776 140106803402453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18450] ppid=18442 vsize=13982084 CPUtime=0.31 cores=0,2,4,6 /proc/18445/task/18450/stat : 18450 (java) S 18442 18445 5228 0 -1 1077944384 1231 0 0 0 18 13 0 0 20 0 15 0 10557302 14317654016 964901 18446744073709551615 4194304 4196468 140725671698864 140106735720720 140106803402453 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18451] ppid=18442 vsize=13982084 CPUtime=0.3 cores=0,2,4,6 /proc/18445/task/18451/stat : 18451 (java) S 18442 18445 5228 0 -1 1077944384 1678 0 0 0 18 12 0 0 20 0 15 0 10557302 14317654016 964901 18446744073709551615 4194304 4196468 140725671698864 140106734668176 140106803402453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18452] ppid=18442 vsize=13982084 CPUtime=0.02 cores=0,2,4,6 /proc/18445/task/18452/stat : 18452 (java) S 18442 18445 5228 0 -1 1077944384 2446 0 0 0 2 0 0 0 20 0 15 0 10557303 14317654016 964901 18446744073709551615 4194304 4196468 140725671698864 140106281892592 140106803403394 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18453] ppid=18442 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/18445/task/18453/stat : 18453 (java) S 18442 18445 5228 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 10557304 14317654016 964901 18446744073709551615 4194304 4196468 140725671698864 140106280838880 140106803402453 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18454] ppid=18442 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/18445/task/18454/stat : 18454 (java) S 18442 18445 5228 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 10557304 14317654016 964901 18446744073709551615 4194304 4196468 140725671698864 140106279785728 140106803402453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18455] ppid=18442 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/18445/task/18455/stat : 18455 (java) S 18442 18445 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10557307 14317654016 964901 18446744073709551615 4194304 4196468 140725671698864 140106278734288 140106803410843 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18456] ppid=18442 vsize=13982084 CPUtime=2.31 cores=0,2,4,6 /proc/18445/task/18456/stat : 18456 (java) S 18442 18445 5228 0 -1 1077944384 5710 0 0 0 229 2 0 0 20 0 15 0 10557307 14317654016 964901 18446744073709551615 4194304 4196468 140725671698864 140106277681392 140106803403394 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18457] ppid=18442 vsize=13982084 CPUtime=2.27 cores=0,2,4,6 /proc/18445/task/18457/stat : 18457 (java) S 18442 18445 5228 0 -1 1077944384 5882 0 0 0 226 1 0 0 20 0 15 0 10557307 14317654016 964901 18446744073709551615 4194304 4196468 140725671698864 140106276628848 140106803403394 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18458] ppid=18442 vsize=13982084 CPUtime=0.95 cores=0,2,4,6 /proc/18445/task/18458/stat : 18458 (java) S 18442 18445 5228 0 -1 1077944384 8048 0 0 0 94 1 0 0 20 0 15 0 10557307 14317654016 964901 18446744073709551615 4194304 4196468 140725671698864 140106275575792 140106803403394 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18459] ppid=18442 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/18445/task/18459/stat : 18459 (java) S 18442 18445 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10557307 14317654016 964901 18446744073709551615 4194304 4196468 140725671698864 140106274523488 140106803402453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18460] ppid=18442 vsize=13982084 CPUtime=0.07 cores=0,2,4,6 /proc/18445/task/18460/stat : 18460 (java) S 18442 18445 5228 0 -1 1077944384 98 0 0 0 3 4 0 0 20 0 15 0 10557311 14317654016 964901 18446744073709551615 4194304 4196468 140725671698864 140106273471536 140106803403394 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 Current children cumulated CPU time (s) 168.72 Current children cumulated vsize (KiB) 13982084 [startup+222.307 s] /proc/loadavg: 2.02 1.83 1.73 3/213 18552 /proc/meminfo: memFree=24615112/32770624 swapFree=0/197364 [pid=18445] ppid=18442 vsize=13982084 CPUtime=228.77 cores=0,2,4,6 /proc/18445/stat : 18445 (java) S 18442 18445 5228 0 -1 1077944320 65053 0 0 0 22754 123 0 0 20 0 15 0 10557292 14317654016 964520 18446744073709551615 4194304 4196468 140725671698864 140725671681408 140106803392247 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 /proc/18445/statm: 3495521 964520 3805 1 0 3484303 0 [pid=18445/tid=18447] ppid=18442 vsize=13982084 CPUtime=221.77 cores=0,2,4,6 /proc/18445/task/18447/stat : 18447 (java) R 18442 18445 5228 0 -1 4202560 34203 0 0 0 22118 59 0 0 20 0 15 0 10557301 14317654016 964520 18446744073709551615 4194304 4196468 140725671698864 140106807630416 140106423398686 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18448] ppid=18442 vsize=13982084 CPUtime=0.31 cores=0,2,4,6 /proc/18445/task/18448/stat : 18448 (java) S 18442 18445 5228 0 -1 1077944384 2642 0 0 0 19 12 0 0 20 0 15 0 10557302 14317654016 964520 18446744073709551615 4194304 4196468 140725671698864 140106737826320 140106803402453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18449] ppid=18442 vsize=13982084 CPUtime=0.3 cores=0,2,4,6 /proc/18445/task/18449/stat : 18449 (java) S 18442 18445 5228 0 -1 1077944384 703 0 0 0 18 12 0 0 20 0 15 0 10557302 14317654016 964520 18446744073709551615 4194304 4196468 140725671698864 140106736773776 140106803402453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18450] ppid=18442 vsize=13982084 CPUtime=0.32 cores=0,2,4,6 /proc/18445/task/18450/stat : 18450 (java) S 18442 18445 5228 0 -1 1077944384 1898 0 0 0 19 13 0 0 20 0 15 0 10557302 14317654016 964520 18446744073709551615 4194304 4196468 140725671698864 140106735720720 140106803402453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18451] ppid=18442 vsize=13982084 CPUtime=0.3 cores=0,2,4,6 /proc/18445/task/18451/stat : 18451 (java) S 18442 18445 5228 0 -1 1077944384 1712 0 0 0 18 12 0 0 20 0 15 0 10557302 14317654016 964520 18446744073709551615 4194304 4196468 140725671698864 140106734668176 140106803402453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18452] ppid=18442 vsize=13982084 CPUtime=0.03 cores=0,2,4,6 /proc/18445/task/18452/stat : 18452 (java) S 18442 18445 5228 0 -1 1077944384 2684 0 0 0 2 1 0 0 20 0 15 0 10557303 14317654016 964520 18446744073709551615 4194304 4196468 140725671698864 140106281892592 140106803403394 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18453] ppid=18442 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/18445/task/18453/stat : 18453 (java) S 18442 18445 5228 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 10557304 14317654016 964520 18446744073709551615 4194304 4196468 140725671698864 140106280838880 140106803402453 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18454] ppid=18442 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/18445/task/18454/stat : 18454 (java) S 18442 18445 5228 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 10557304 14317654016 964520 18446744073709551615 4194304 4196468 140725671698864 140106279785728 140106803402453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18455] ppid=18442 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/18445/task/18455/stat : 18455 (java) S 18442 18445 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10557307 14317654016 964520 18446744073709551615 4194304 4196468 140725671698864 140106278734288 140106803410843 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18456] ppid=18442 vsize=13982084 CPUtime=2.31 cores=0,2,4,6 /proc/18445/task/18456/stat : 18456 (java) S 18442 18445 5228 0 -1 1077944384 5713 0 0 0 229 2 0 0 20 0 15 0 10557307 14317654016 964520 18446744073709551615 4194304 4196468 140725671698864 140106277681392 140106803403394 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18457] ppid=18442 vsize=13982084 CPUtime=2.27 cores=0,2,4,6 /proc/18445/task/18457/stat : 18457 (java) S 18442 18445 5228 0 -1 1077944384 5890 0 0 0 226 1 0 0 20 0 15 0 10557307 14317654016 964520 18446744073709551615 4194304 4196468 140725671698864 140106276628848 140106803403394 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18458] ppid=18442 vsize=13982084 CPUtime=0.96 cores=0,2,4,6 /proc/18445/task/18458/stat : 18458 (java) S 18442 18445 5228 0 -1 1077944384 8051 0 0 0 94 2 0 0 20 0 15 0 10557307 14317654016 964520 18446744073709551615 4194304 4196468 140725671698864 140106275575792 140106803403394 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18459] ppid=18442 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/18445/task/18459/stat : 18459 (java) S 18442 18445 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10557307 14317654016 964520 18446744073709551615 4194304 4196468 140725671698864 140106274523488 140106803402453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18460] ppid=18442 vsize=13982084 CPUtime=0.1 cores=0,2,4,6 /proc/18445/task/18460/stat : 18460 (java) S 18442 18445 5228 0 -1 1077944384 123 0 0 0 4 6 0 0 20 0 15 0 10557311 14317654016 964520 18446744073709551615 4194304 4196468 140725671698864 140106273471536 140106803403394 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 Current children cumulated CPU time (s) 228.77 Current children cumulated vsize (KiB) 13982084 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+240.001 s] /proc/loadavg: 2.01 1.84 1.74 3/213 18553 /proc/meminfo: memFree=24662028/32770624 swapFree=0/197372 [pid=18445] ppid=18442 vsize=13982084 CPUtime=246.47 cores=0,2,4,6 /proc/18445/stat : 18445 (java) S 18442 18445 5228 0 -1 1077944320 65590 0 0 0 24523 124 0 0 20 0 15 0 10557292 14317654016 964520 18446744073709551615 4194304 4196468 140725671698864 140725671681408 140106803392247 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 /proc/18445/statm: 3495521 964520 3805 1 0 3484303 0 [pid=18445/tid=18447] ppid=18442 vsize=13982084 CPUtime=239.47 cores=0,2,4,6 /proc/18445/task/18447/stat : 18447 (java) R 18442 18445 5228 0 -1 4202560 34708 0 0 0 23887 60 0 0 20 0 15 0 10557301 14317654016 964520 18446744073709551615 4194304 4196468 140725671698864 140106807630416 140106422554384 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18448] ppid=18442 vsize=13982084 CPUtime=0.31 cores=0,2,4,6 /proc/18445/task/18448/stat : 18448 (java) S 18442 18445 5228 0 -1 1077944384 2642 0 0 0 19 12 0 0 20 0 15 0 10557302 14317654016 964520 18446744073709551615 4194304 4196468 140725671698864 140106737826320 140106803402453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18449] ppid=18442 vsize=13982084 CPUtime=0.3 cores=0,2,4,6 /proc/18445/task/18449/stat : 18449 (java) S 18442 18445 5228 0 -1 1077944384 703 0 0 0 18 12 0 0 20 0 15 0 10557302 14317654016 964520 18446744073709551615 4194304 4196468 140725671698864 140106736773776 140106803402453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18450] ppid=18442 vsize=13982084 CPUtime=0.32 cores=0,2,4,6 /proc/18445/task/18450/stat : 18450 (java) S 18442 18445 5228 0 -1 1077944384 1898 0 0 0 19 13 0 0 20 0 15 0 10557302 14317654016 964520 18446744073709551615 4194304 4196468 140725671698864 140106735720720 140106803402453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18451] ppid=18442 vsize=13982084 CPUtime=0.3 cores=0,2,4,6 /proc/18445/task/18451/stat : 18451 (java) S 18442 18445 5228 0 -1 1077944384 1712 0 0 0 18 12 0 0 20 0 15 0 10557302 14317654016 964520 18446744073709551615 4194304 4196468 140725671698864 140106734668176 140106803402453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18452] ppid=18442 vsize=13982084 CPUtime=0.03 cores=0,2,4,6 /proc/18445/task/18452/stat : 18452 (java) S 18442 18445 5228 0 -1 1077944384 2688 0 0 0 2 1 0 0 20 0 15 0 10557303 14317654016 964520 18446744073709551615 4194304 4196468 140725671698864 140106281892592 140106803403394 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18453] ppid=18442 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/18445/task/18453/stat : 18453 (java) S 18442 18445 5228 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 10557304 14317654016 964520 18446744073709551615 4194304 4196468 140725671698864 140106280838880 140106803402453 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18454] ppid=18442 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/18445/task/18454/stat : 18454 (java) S 18442 18445 5228 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 10557304 14317654016 964520 18446744073709551615 4194304 4196468 140725671698864 140106279785728 140106803402453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18455] ppid=18442 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/18445/task/18455/stat : 18455 (java) S 18442 18445 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10557307 14317654016 964520 18446744073709551615 4194304 4196468 140725671698864 140106278734288 140106803410843 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18456] ppid=18442 vsize=13982084 CPUtime=2.31 cores=0,2,4,6 /proc/18445/task/18456/stat : 18456 (java) S 18442 18445 5228 0 -1 1077944384 5715 0 0 0 229 2 0 0 20 0 15 0 10557307 14317654016 964520 18446744073709551615 4194304 4196468 140725671698864 140106277681392 140106803403394 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18457] ppid=18442 vsize=13982084 CPUtime=2.27 cores=0,2,4,6 /proc/18445/task/18457/stat : 18457 (java) S 18442 18445 5228 0 -1 1077944384 5892 0 0 0 226 1 0 0 20 0 15 0 10557307 14317654016 964520 18446744073709551615 4194304 4196468 140725671698864 140106276628848 140106803403394 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18458] ppid=18442 vsize=13982084 CPUtime=0.96 cores=0,2,4,6 /proc/18445/task/18458/stat : 18458 (java) S 18442 18445 5228 0 -1 1077944384 8053 0 0 0 94 2 0 0 20 0 15 0 10557307 14317654016 964520 18446744073709551615 4194304 4196468 140725671698864 140106275575792 140106803403394 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18459] ppid=18442 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/18445/task/18459/stat : 18459 (java) S 18442 18445 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10557307 14317654016 964520 18446744073709551615 4194304 4196468 140725671698864 140106274523488 140106803402453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 [pid=18445/tid=18460] ppid=18442 vsize=13982084 CPUtime=0.11 cores=0,2,4,6 /proc/18445/task/18460/stat : 18460 (java) S 18442 18445 5228 0 -1 1077944384 145 0 0 0 5 6 0 0 20 0 15 0 10557311 14317654016 964520 18446744073709551615 4194304 4196468 140725671698864 140106273471536 140106803403394 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140725671707026 140725671707211 140725671707211 140725671710671 0 Current children cumulated CPU time (s) 246.47 Current children cumulated vsize (KiB) 13982084 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 18445 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 240.033 CPU time (s): 246.533 CPU user time (s): 245.275 CPU system time (s): 1.25861 CPU usage (%): 102.708 Max. virtual memory (cumulated for all children) (KiB): 13982084 getrusage(RUSAGE_CHILDREN,...) data: user time used= 245.275 system time used= 1.25861 maximum resident set size= 3861792 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 67556 page faults= 0 swaps= 0 block input operations= 0 block output operations= 8 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 9191 involuntary context switches= 353 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.19803 second user time and 1.36254 second system time The end
Begin job on node133 at 2017-08-02 00:29:33 IDJOB=4256339 IDBENCH=115917 IDSOLVER=2639 FILE ID=node133/4256339-1501627419 RUNJOBID= node133-1501622945-15685 PBS_JOBID= Free space on /tmp= 61820 MiB SOLVER NAME= OscaR - Conflict Ordering 2017-07-26 BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-43.xml COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4256339-1501627419/watcher-4256339-1501627419 -o /tmp/evaluation-result-4256339-1501627419/solver-4256339-1501627419 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501622945-15685 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 930492575 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4256339-1501627419.xml TIME LIMIT= 264 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2bbdfe474604d495dd31c09972612e7d RANDOM SEED=930492575 node133.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.17 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.17 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.17 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.17 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: 31519064 kB MemAvailable: 31711776 kB Buffers: 99656 kB Cached: 375896 kB SwapCached: 0 kB Active: 639720 kB Inactive: 205648 kB Active(anon): 370392 kB Inactive(anon): 8536 kB Active(file): 269328 kB Inactive(file): 197112 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42304 kB Writeback: 0 kB AnonPages: 369748 kB Mapped: 44420 kB Shmem: 8892 kB Slab: 110052 kB SReclaimable: 84212 kB SUnreclaim: 25840 kB KernelStack: 3504 kB PageTables: 5552 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1286984 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 256000 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 132480 kB DirectMap2M: 33413120 kB Free space on /tmp at the end= 61780 MiB End job on node133 at 2017-08-02 00:33:33