Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
R1: OscaR - Conflict Ordering 2017-06-30 | SAT (TO) | 670 | 2400.11 | 2348.33 |
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 | 911 |
Best CPU time to get the best result obtained on this benchmark | 2400.05 |
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.42/0.31 c version: 2017-06-30 0.42/0.31 c seed: 1548957634 0.42/0.31 c timeout: 2400 0.42/0.31 c memlimit: 15500 0.42/0.32 c nbcore: 8 0.42/0.34 c Parsing instance... 6.79/2.68 c Parsing done, starting search... 24.09/17.99 o 219 24.09/17.99 o 220 24.25/18.00 o 221 24.25/18.00 o 222 24.25/18.01 o 223 24.25/18.01 o 224 24.25/18.01 o 225 24.25/18.02 o 226 24.25/18.02 o 227 24.25/18.02 o 228 24.25/18.02 o 229 24.25/18.03 o 230 24.25/18.03 o 231 24.25/18.03 o 232 24.25/18.03 o 233 24.25/18.04 o 234 24.25/18.04 o 235 24.25/18.04 o 236 24.25/18.04 o 237 24.25/18.04 o 238 24.25/18.04 o 239 24.25/18.05 o 240 24.25/18.05 o 241 24.25/18.05 o 242 24.25/18.05 o 243 24.25/18.05 o 244 24.25/18.05 o 245 24.25/18.06 o 246 24.25/18.06 o 247 24.25/18.06 o 248 24.25/18.06 o 249 24.25/18.06 o 250 24.25/18.07 o 251 24.25/18.07 o 252 24.25/18.07 o 253 24.25/18.07 o 254 24.25/18.07 o 255 24.25/18.07 o 256 24.25/18.08 o 257 24.25/18.08 o 258 24.25/18.08 o 259 24.25/18.08 o 260 24.25/18.08 o 261 24.25/18.09 o 262 24.25/18.09 o 263 24.25/18.09 o 264 24.25/18.09 o 265 24.25/18.09 o 266 24.25/18.10 o 267 24.56/18.10 o 268 24.56/18.10 o 269 24.56/18.10 o 270 24.56/18.10 o 271 24.56/18.11 o 272 24.56/18.11 o 273 24.56/18.11 o 274 24.56/18.11 o 275 24.56/18.12 o 276 24.56/18.12 o 277 24.56/18.12 o 278 24.56/18.12 o 279 24.56/18.12 o 280 24.56/18.12 o 281 24.56/18.13 o 282 24.56/18.13 o 283 24.56/18.13 o 284 24.56/18.13 o 285 24.56/18.13 o 286 24.56/18.13 o 287 24.56/18.14 o 288 24.56/18.14 o 289 24.56/18.14 o 290 24.56/18.14 o 291 24.56/18.14 o 292 24.56/18.14 o 293 24.56/18.15 o 294 24.56/18.15 o 295 24.56/18.15 o 296 24.56/18.15 o 297 24.56/18.15 o 298 24.56/18.15 o 299 24.56/18.16 o 300 24.56/18.16 o 301 24.56/18.16 o 302 24.56/18.16 o 303 24.56/18.16 o 304 24.56/18.17 o 305 24.56/18.17 o 306 24.56/18.17 o 307 24.56/18.17 o 308 24.56/18.17 o 309 24.56/18.17 o 310 24.56/18.17 o 311 24.56/18.18 o 312 24.56/18.18 o 313 24.56/18.18 o 314 24.56/18.18 o 315 24.56/18.18 o 316 24.56/18.18 o 317 24.56/18.19 o 318 24.56/18.19 o 319 24.56/18.19 o 320 24.56/18.19 o 321 24.56/18.19 o 322 24.56/18.19 o 323 24.56/18.20 o 324 24.56/18.20 o 325 24.84/18.20 o 326 24.84/18.20 o 327 24.84/18.20 o 328 24.84/18.20 o 329 24.84/18.20 o 330 24.84/18.21 o 331 24.84/18.21 o 332 24.84/18.21 o 333 24.84/18.21 o 334 24.84/18.21 o 335 24.84/18.22 o 336 24.84/18.22 o 337 24.84/18.22 o 338 24.84/18.22 o 339 24.84/18.22 o 340 24.84/18.23 o 341 24.84/18.23 o 342 24.84/18.23 o 343 24.84/18.23 o 344 24.84/18.23 o 345 24.84/18.24 o 346 24.84/18.24 o 347 24.84/18.24 o 348 24.84/18.24 o 349 24.84/18.24 o 350 24.84/18.24 o 351 24.84/18.25 o 352 24.84/18.25 o 353 24.84/18.25 o 354 24.84/18.25 o 355 24.84/18.25 o 356 24.84/18.26 o 357 24.84/18.26 o 358 24.84/18.26 o 359 24.84/18.26 o 360 24.84/18.26 o 361 24.84/18.27 o 362 24.84/18.27 o 363 24.84/18.27 o 364 24.84/18.27 o 365 24.84/18.27 o 366 24.84/18.28 o 367 24.84/18.28 o 368 24.84/18.28 o 369 24.84/18.28 o 370 24.84/18.28 o 371 24.84/18.28 o 372 24.84/18.29 o 373 24.84/18.29 o 374 24.84/18.29 o 375 24.84/18.29 o 376 24.84/18.29 o 377 24.84/18.29 o 378 24.84/18.30 o 379 24.84/18.30 o 380 25.06/18.30 o 381 25.06/18.30 o 382 25.06/18.30 o 383 25.06/18.30 o 384 25.06/18.31 o 385 25.06/18.31 o 386 25.06/18.31 o 387 25.06/18.31 o 388 25.06/18.31 o 389 25.06/18.32 o 390 25.06/18.32 o 391 25.06/18.32 o 392 25.06/18.32 o 393 25.06/18.32 o 394 25.06/18.32 o 395 25.06/18.32 o 396 25.06/18.33 o 397 25.06/18.33 o 398 25.06/18.33 o 399 25.06/18.33 o 400 25.06/18.33 o 401 25.06/18.34 o 402 25.06/18.34 o 403 25.06/18.34 o 404 25.06/18.34 o 405 25.06/18.34 o 406 25.06/18.35 o 407 25.06/18.35 o 408 25.06/18.35 o 409 25.06/18.35 o 410 25.06/18.35 o 411 25.06/18.35 o 412 25.06/18.36 o 413 25.06/18.36 o 414 25.06/18.36 o 415 25.06/18.36 o 416 25.06/18.36 o 417 25.06/18.36 o 418 25.06/18.37 o 419 25.06/18.37 o 420 25.06/18.37 o 421 25.06/18.37 o 422 25.06/18.37 o 423 25.06/18.38 o 424 25.06/18.38 o 425 25.06/18.38 o 426 25.06/18.38 o 427 25.06/18.38 o 428 25.06/18.38 o 429 25.06/18.39 o 430 25.06/18.39 o 431 25.06/18.39 o 432 25.06/18.39 o 433 25.06/18.39 o 434 25.06/18.40 o 435 25.06/18.40 o 436 25.17/18.40 o 437 25.17/18.40 o 438 25.17/18.40 o 439 25.17/18.40 o 440 25.17/18.41 o 441 25.17/18.41 o 442 25.17/18.41 o 443 25.17/18.41 o 444 25.17/18.41 o 445 25.17/18.41 o 446 25.17/18.42 o 447 25.17/18.42 o 448 25.17/18.42 o 449 25.17/18.42 o 450 25.17/18.42 o 451 25.17/18.43 o 452 25.17/18.43 o 453 25.17/18.43 o 454 25.17/18.43 o 455 25.17/18.43 o 456 25.17/18.44 o 457 25.17/18.44 o 458 25.17/18.44 o 459 25.17/18.44 o 460 25.17/18.45 o 461 25.17/18.45 o 462 25.17/18.45 o 463 25.17/18.45 o 464 25.17/18.45 o 465 25.17/18.46 o 466 25.17/18.46 o 467 25.17/18.46 o 468 25.17/18.46 o 469 25.17/18.46 o 470 25.17/18.47 o 471 25.17/18.47 o 472 25.17/18.47 o 473 25.17/18.47 o 474 25.17/18.48 o 475 25.17/18.48 o 476 25.17/18.48 o 477 25.17/18.48 o 478 25.17/18.48 o 479 25.17/18.48 o 480 25.17/18.49 o 481 25.17/18.49 o 482 25.17/18.49 o 483 25.17/18.49 o 484 25.17/18.49 o 485 25.17/18.50 o 486 25.32/18.50 o 487 25.32/18.50 o 488 25.32/18.50 o 489 25.32/18.50 o 490 25.32/18.51 o 491 25.32/18.51 o 492 25.32/18.51 o 493 25.32/18.51 o 494 25.32/18.52 o 495 25.32/18.52 o 496 25.32/18.52 o 497 25.32/18.52 o 498 25.32/18.52 o 499 25.32/18.53 o 500 25.32/18.53 o 501 25.32/18.53 o 502 25.32/18.53 o 503 25.32/18.53 o 504 25.32/18.54 o 505 25.32/18.54 o 506 25.32/18.54 o 507 25.32/18.54 o 508 25.32/18.54 o 509 25.32/18.55 o 510 25.32/18.55 o 511 25.32/18.55 o 512 25.32/18.55 o 513 25.32/18.55 o 514 25.32/18.56 o 515 25.32/18.56 o 516 25.32/18.56 o 517 25.32/18.56 o 518 25.32/18.56 o 519 25.32/18.57 o 520 25.32/18.57 o 521 25.32/18.57 o 522 25.32/18.57 o 523 25.32/18.58 o 524 25.32/18.58 o 525 25.32/18.58 o 526 25.32/18.58 o 527 25.32/18.59 o 528 25.32/18.59 o 529 25.32/18.59 o 530 25.32/18.59 o 531 25.32/18.59 o 532 25.42/18.60 o 533 25.42/18.60 o 534 25.42/18.60 o 535 25.42/18.60 o 536 25.42/18.61 o 537 25.42/18.61 o 538 25.42/18.61 o 539 25.42/18.61 o 540 25.42/18.62 o 541 25.42/18.62 o 542 25.42/18.62 o 543 25.42/18.62 o 544 25.42/18.62 o 545 25.42/18.63 o 546 25.42/18.63 o 547 25.42/18.63 o 548 25.42/18.64 o 549 25.42/18.64 o 550 25.42/18.64 o 551 25.42/18.64 o 552 25.42/18.64 o 553 25.42/18.65 o 554 25.42/18.65 o 555 25.42/18.65 o 556 25.42/18.65 o 557 25.42/18.66 o 558 25.42/18.66 o 559 25.42/18.66 o 560 25.42/18.67 o 561 25.42/18.67 o 562 25.42/18.67 o 563 25.42/18.67 o 564 25.42/18.67 o 565 25.42/18.68 o 566 25.42/18.68 o 567 25.42/18.68 o 568 25.42/18.69 o 569 25.42/18.69 o 570 25.42/18.69 o 571 25.42/18.69 o 572 25.42/18.70 o 573 25.42/18.70 o 574 25.42/18.70 o 575 25.53/18.71 o 576 25.53/18.71 o 577 25.53/18.71 o 578 25.53/18.71 o 579 25.53/18.72 o 580 25.53/18.72 o 581 25.53/18.72 o 582 25.53/18.72 o 583 25.53/18.73 o 584 25.53/18.73 o 585 25.53/18.73 o 586 25.53/18.73 o 587 25.53/18.74 o 588 25.53/18.74 o 589 25.53/18.74 o 590 25.53/18.74 o 591 25.53/18.75 o 592 25.53/18.75 o 593 25.53/18.75 o 594 25.53/18.76 o 595 25.53/18.76 o 596 25.53/18.76 o 597 25.53/18.76 o 598 25.53/18.77 o 599 25.53/18.77 o 600 25.53/18.77 o 601 25.53/18.77 o 602 25.53/18.78 o 603 25.53/18.78 o 604 25.53/18.78 o 605 25.53/18.79 o 606 25.53/18.79 o 607 25.53/18.79 o 608 25.53/18.79 o 609 25.53/18.80 o 610 25.53/18.80 o 611 25.53/18.80 o 612 25.53/18.80 o 613 25.63/18.81 o 614 25.63/18.81 o 615 25.63/18.81 o 616 25.63/18.81 o 617 25.63/18.82 o 618 25.63/18.82 o 619 25.63/18.82 o 620 25.63/18.83 o 621 25.63/18.83 o 622 25.63/18.83 o 623 25.63/18.83 o 624 25.63/18.84 o 625 25.63/18.84 o 626 25.63/18.84 o 627 25.63/18.85 o 628 25.63/18.85 o 629 25.63/18.85 o 630 25.63/18.85 o 631 25.63/18.86 o 632 25.63/18.86 o 633 25.63/18.86 o 634 25.63/18.87 o 635 25.63/18.87 o 636 25.63/18.87 o 637 25.63/18.88 o 638 25.63/18.88 o 639 25.63/18.88 o 640 25.63/18.89 o 641 25.63/18.89 o 642 25.63/18.89 o 643 25.63/18.90 o 644 25.74/18.90 o 645 25.74/18.90 o 646 25.74/18.91 o 647 25.74/18.91 o 648 25.74/18.92 o 649 25.74/18.93 o 650 25.74/18.94 o 651 25.74/18.97 o 652 25.74/18.99 o 653 25.91/19.00 o 654 25.91/19.01 o 655 25.91/19.03 o 656 25.91/19.04 o 657 25.91/19.05 o 658 25.91/19.06 o 659 25.91/19.09 o 660 26.02/19.12 o 661 26.02/19.14 o 662 26.33/19.30 o 663 26.33/19.34 o 664 26.45/19.46 o 665 26.69/19.62 o 666 48.40/40.79 o 667 48.50/40.84 o 668 49.60/41.96 o 669 952.13/939.98 o 670 2400.05/2348.30 s SATISFIABLE 2400.05/2348.31 v <instantiation> 2400.05/2348.31 v <list> 2400.05/2348.31 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 2400.05/2348.31 v </list> 2400.05/2348.31 v <values> 2400.05/2348.31 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 1 1 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 0 0 0 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 1 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 0 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 1 1 1 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 0 0 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 1 0 1 0 0 0 1 0 0 1 1 1 0 1 0 1 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 0 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 1 0 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 1 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 0 1 0 1 1 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 1 1 0 0 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 0 0 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 1 1 1 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 0 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 0 1 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 1 0 0 1 0 0 0 0 0 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 1 0 0 0 0 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 1 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 0 0 0 0 1 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 0 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 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 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 1 0 0 0 1 0 0 0 0 1 0 0 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 0 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 0 0 0 0 2 0 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 1 0 1 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 1 0 0 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 1 0 0 1 1 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 0 0 0 0 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 1 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 2 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 798 824 845 860 876 890 905 923 941 957 975 995 1010 1027 1041 1055 1082 1115 1131 1165 1190 670 2400.05/2348.31 v </values> 2400.05/2348.31 v </instantiation>
OK 670
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-4244833-1500693607/watcher-4244833-1500693607 -o /tmp/evaluation-result-4244833-1500693607/solver-4244833-1500693607 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1500684088-11482 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1548957634 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4244833-1500693607.xml pid=12660 running on 8 cores: 0,2,4,6,8,10,12,14 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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.29 1.39 1.38 2/262 12663 /proc/meminfo: memFree=31481228/32770624 swapFree=5852/279164 [pid=12663] ppid=12660 vsize=10634536 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/12663/stat : 12663 (java) S 12660 12663 10103 0 -1 1077944320 2125 0 0 0 0 0 0 0 20 0 2 0 4629423 10889764864 1856 33554432000 4194304 4196468 140721036649040 140721036631584 140217302105847 0 0 0 16784584 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 /proc/12663/statm: 2658634 1856 1188 1 0 2647545 0 [pid=12663/tid=12664] ppid=12660 vsize=10634536 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12664/stat : 12664 (java) R 12660 12663 10103 0 -1 4202560 902 0 0 0 0 0 0 0 20 0 2 0 4629423 10889764864 1922 33554432000 4194304 4196468 140721036649040 140217306347936 140217283215120 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [startup+0.100139 s] /proc/loadavg: 1.29 1.39 1.38 2/262 12663 /proc/meminfo: memFree=31481228/32770624 swapFree=5852/279164 [pid=12663] ppid=12660 vsize=13264380 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/12663/stat : 12663 (java) S 12660 12663 10103 0 -1 1077944320 5514 0 0 0 8 1 0 0 20 0 20 0 4629423 13582725120 6087 33554432000 4194304 4196468 140721036649040 140721036631584 140217302105847 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 /proc/12663/statm: 3316095 6087 2852 1 0 3303815 0 [pid=12663/tid=12664] ppid=12660 vsize=13264380 CPUtime=0.08 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12664/stat : 12664 (java) R 12660 12663 10103 0 -1 4202560 3609 0 0 0 7 1 0 0 20 0 20 0 4629423 13582725120 6087 33554432000 4194304 4196468 140721036649040 140217306348128 140217191201795 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13264380 [startup+0.200452 s] /proc/loadavg: 1.29 1.39 1.38 2/262 12663 /proc/meminfo: memFree=31481228/32770624 swapFree=5852/279164 [pid=12663] ppid=12660 vsize=13263912 CPUtime=0.25 cores=0,2,4,6,8,10,12,14 /proc/12663/stat : 12663 (java) S 12660 12663 10103 0 -1 1077944320 9111 0 0 0 23 2 0 0 20 0 20 0 4629423 13582245888 9113 33554432000 4194304 4196468 140721036649040 140721036631584 140217302105847 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 /proc/12663/statm: 3315978 9113 3533 1 0 3303698 0 [pid=12663/tid=12664] ppid=12660 vsize=13263912 CPUtime=0.18 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12664/stat : 12664 (java) R 12660 12663 10103 0 -1 4202560 6862 0 0 0 16 2 0 0 20 0 20 0 4629423 13582245888 9113 33554432000 4194304 4196468 140721036649040 140217306333360 140217294784021 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 Current children cumulated CPU time (s) 0.25 Current children cumulated vsize (KiB) 13263912 [startup+0.300413 s] /proc/loadavg: 1.29 1.39 1.38 2/262 12663 /proc/meminfo: memFree=31481228/32770624 swapFree=5852/279164 [pid=12663] ppid=12660 vsize=13263912 CPUtime=0.42 cores=0,2,4,6,8,10,12,14 /proc/12663/stat : 12663 (java) S 12660 12663 10103 0 -1 1077944320 10100 0 0 0 39 3 0 0 20 0 20 0 4629423 13582245888 10782 33554432000 4194304 4196468 140721036649040 140721036631584 140217302105847 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 /proc/12663/statm: 3315978 10782 3626 1 0 3303698 0 [pid=12663/tid=12664] ppid=12660 vsize=13263912 CPUtime=0.27 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12664/stat : 12664 (java) R 12660 12663 10103 0 -1 4202560 7552 0 0 0 25 2 0 0 20 0 20 0 4629423 13582245888 10782 33554432000 4194304 4196468 140721036649040 140217306327088 140217286186334 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 Current children cumulated CPU time (s) 0.42 Current children cumulated vsize (KiB) 13263912 [startup+0.700228 s] /proc/loadavg: 1.29 1.39 1.38 2/262 12663 /proc/meminfo: memFree=31481228/32770624 swapFree=5852/279164 [pid=12663] ppid=12660 vsize=13265980 CPUtime=1.49 cores=0,2,4,6,8,10,12,14 /proc/12663/stat : 12663 (java) S 12660 12663 10103 0 -1 1077944320 12751 0 0 0 143 6 0 0 20 0 20 0 4629423 13584363520 20663 33554432000 4194304 4196468 140721036649040 140721036631584 140217302105847 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 /proc/12663/statm: 3316495 20663 3765 1 0 3304210 0 [pid=12663/tid=12664] ppid=12660 vsize=13265980 CPUtime=0.68 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12664/stat : 12664 (java) R 12660 12663 10103 0 -1 4202560 8547 0 0 0 64 4 0 0 20 0 20 0 4629423 13584363520 20663 33554432000 4194304 4196468 140721036649040 140217306339240 140216942560647 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13265980 [startup+1.50116 s] /proc/loadavg: 1.35 1.40 1.38 4/282 12683 /proc/meminfo: memFree=31366864/32770624 swapFree=5852/279536 [pid=12663] ppid=12660 vsize=13270076 CPUtime=4.04 cores=0,2,4,6,8,10,12,14 /proc/12663/stat : 12663 (java) S 12660 12663 10103 0 -1 1077944320 27065 0 0 0 388 16 0 0 20 0 20 0 4629423 13588557824 58106 33554432000 4194304 4196468 140721036649040 140721036631584 140217302105847 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 /proc/12663/statm: 3317519 58106 3803 1 0 3305234 0 [pid=12663/tid=12664] ppid=12660 vsize=13270076 CPUtime=1.45 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12664/stat : 12664 (java) R 12660 12663 10103 0 -1 4202560 11607 0 0 0 139 6 0 0 20 0 20 0 4629423 13588557824 58106 33554432000 4194304 4196468 140721036649040 140217306339832 140216943551062 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12665] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12665/stat : 12665 (java) S 12660 12663 10103 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 4629424 13588557824 58106 33554432000 4194304 4196468 140721036649040 140216901388560 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12667] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12667/stat : 12667 (java) S 12660 12663 10103 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 4629424 13588557824 58106 33554432000 4194304 4196468 140721036649040 140216900336016 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12668] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12668/stat : 12668 (java) S 12660 12663 10103 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 20 0 4629424 13588557824 58106 33554432000 4194304 4196468 140721036649040 140216899283472 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12669] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12669/stat : 12669 (java) S 12660 12663 10103 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 4629424 13588557824 58106 33554432000 4194304 4196468 140721036649040 140216898230928 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12670] ppid=12660 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12670/stat : 12670 (java) S 12660 12663 10103 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 20 0 4629424 13588557824 58106 33554432000 4194304 4196468 140721036649040 140216897178384 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12671] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12671/stat : 12671 (java) S 12660 12663 10103 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 4629424 13588557824 58106 33554432000 4194304 4196468 140721036649040 140216896125840 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12672] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12672/stat : 12672 (java) S 12660 12663 10103 0 -1 1077944384 235 0 0 0 0 0 0 0 20 0 20 0 4629424 13588557824 58106 33554432000 4194304 4196468 140721036649040 140216895073296 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12673] ppid=12660 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12673/stat : 12673 (java) S 12660 12663 10103 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 20 0 4629424 13588557824 58106 33554432000 4194304 4196468 140721036649040 140216894020752 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12674] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12674/stat : 12674 (java) S 12660 12663 10103 0 -1 1077944384 180 0 0 0 0 0 0 0 20 0 20 0 4629427 13588557824 58106 33554432000 4194304 4196468 140721036649040 140216496973808 140217302116994 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12675] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12675/stat : 12675 (java) S 12660 12663 10103 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 4629427 13588557824 58106 33554432000 4194304 4196468 140721036649040 140216495920096 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12676] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12676/stat : 12676 (java) S 12660 12663 10103 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 4629428 13588557824 58106 33554432000 4194304 4196468 140721036649040 140216494867440 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12677] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12677/stat : 12677 (java) S 12660 12663 10103 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4629432 13588557824 58106 33554432000 4194304 4196468 140721036649040 140216493816016 140217302124443 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12678] ppid=12660 vsize=13270076 CPUtime=0.59 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12678/stat : 12678 (java) S 12660 12663 10103 0 -1 1077944384 2805 0 0 0 59 0 0 0 20 0 20 0 4629432 13588557824 58106 33554432000 4194304 4196468 140721036649040 140216492763632 140217302116994 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12679] ppid=12660 vsize=13270076 CPUtime=0.54 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12679/stat : 12679 (java) S 12660 12663 10103 0 -1 1077944384 2253 0 0 0 54 0 0 0 20 0 20 0 4629432 13588557824 58106 33554432000 4194304 4196468 140721036649040 140216491711088 140217302116994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12680] ppid=12660 vsize=13270076 CPUtime=0.52 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12680/stat : 12680 (java) S 12660 12663 10103 0 -1 1077944384 1715 0 0 0 51 1 0 0 20 0 20 0 4629432 13588557824 58106 33554432000 4194304 4196468 140721036649040 140216490658544 140217302116994 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12681] ppid=12660 vsize=13270076 CPUtime=0.75 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12681/stat : 12681 (java) R 12660 12663 10103 0 -1 4202560 6635 0 0 0 74 1 0 0 20 0 20 0 4629432 13588557824 58106 33554432000 4194304 4196468 140721036649040 140216489605920 140217282880405 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12682] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12682/stat : 12682 (java) S 12660 12663 10103 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4629432 13588557824 58106 33554432000 4194304 4196468 140721036649040 140216488552672 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12683] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12683/stat : 12683 (java) S 12660 12663 10103 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4629432 13588557824 58106 33554432000 4194304 4196468 140721036649040 140216487500208 140217302116994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 Current children cumulated CPU time (s) 4.04 Current children cumulated vsize (KiB) 13270076 [startup+3.10084 s] /proc/loadavg: 1.35 1.40 1.38 3/282 12683 /proc/meminfo: memFree=31062428/32770624 swapFree=5852/279528 [pid=12663] ppid=12660 vsize=13270076 CPUtime=8.24 cores=0,2,4,6,8,10,12,14 /proc/12663/stat : 12663 (java) S 12660 12663 10103 0 -1 1077944320 32650 0 0 0 725 99 0 0 20 0 20 0 4629423 13588557824 125055 33554432000 4194304 4196468 140721036649040 140721036631584 140217302105847 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 /proc/12663/statm: 3317519 125055 3823 1 0 3305234 0 [pid=12663/tid=12664] ppid=12660 vsize=13270076 CPUtime=2.85 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12664/stat : 12664 (java) R 12660 12663 10103 0 -1 4202560 12782 0 0 0 276 9 0 0 20 0 20 0 4629423 13588557824 125055 33554432000 4194304 4196468 140721036649040 140217306341512 140216949135080 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12665] ppid=12660 vsize=13270076 CPUtime=0.17 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12665/stat : 12665 (java) S 12660 12663 10103 0 -1 1077944384 154 0 0 0 8 9 0 0 20 0 20 0 4629424 13588557824 125055 33554432000 4194304 4196468 140721036649040 140216901388560 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12667] ppid=12660 vsize=13270076 CPUtime=0.19 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12667/stat : 12667 (java) S 12660 12663 10103 0 -1 1077944384 112 0 0 0 8 11 0 0 20 0 20 0 4629424 13588557824 125055 33554432000 4194304 4196468 140721036649040 140216900336016 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12668] ppid=12660 vsize=13270076 CPUtime=0.19 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12668/stat : 12668 (java) S 12660 12663 10103 0 -1 1077944384 161 0 0 0 8 11 0 0 20 0 20 0 4629424 13588557824 125055 33554432000 4194304 4196468 140721036649040 140216899283472 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12669] ppid=12660 vsize=13270076 CPUtime=0.16 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12669/stat : 12669 (java) S 12660 12663 10103 0 -1 1077944384 113 0 0 0 7 9 0 0 20 0 20 0 4629424 13588557824 125055 33554432000 4194304 4196468 140721036649040 140216898230928 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12670] ppid=12660 vsize=13270076 CPUtime=0.18 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12670/stat : 12670 (java) S 12660 12663 10103 0 -1 1077944384 193 0 0 0 8 10 0 0 20 0 20 0 4629424 13588557824 125055 33554432000 4194304 4196468 140721036649040 140216897178384 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12671] ppid=12660 vsize=13270076 CPUtime=0.19 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12671/stat : 12671 (java) S 12660 12663 10103 0 -1 1077944384 128 0 0 0 9 10 0 0 20 0 20 0 4629424 13588557824 125055 33554432000 4194304 4196468 140721036649040 140216896125840 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12672] ppid=12660 vsize=13270076 CPUtime=0.19 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12672/stat : 12672 (java) S 12660 12663 10103 0 -1 1077944384 359 0 0 0 8 11 0 0 20 0 20 0 4629424 13588557824 125055 33554432000 4194304 4196468 140721036649040 140216895073296 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12673] ppid=12660 vsize=13270076 CPUtime=0.19 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12673/stat : 12673 (java) S 12660 12663 10103 0 -1 1077944384 1024 0 0 0 8 11 0 0 20 0 20 0 4629424 13588557824 125055 33554432000 4194304 4196468 140721036649040 140216894020752 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12674] ppid=12660 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12674/stat : 12674 (java) S 12660 12663 10103 0 -1 1077944384 470 0 0 0 1 0 0 0 20 0 20 0 4629427 13588557824 125055 33554432000 4194304 4196468 140721036649040 140216496973808 140217302116994 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12675] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12675/stat : 12675 (java) S 12660 12663 10103 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 4629427 13588557824 125055 33554432000 4194304 4196468 140721036649040 140216495920096 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12676] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12676/stat : 12676 (java) S 12660 12663 10103 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 4629428 13588557824 125055 33554432000 4194304 4196468 140721036649040 140216494867456 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12677] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12677/stat : 12677 (java) S 12660 12663 10103 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4629432 13588557824 125055 33554432000 4194304 4196468 140721036649040 140216493816016 140217302124443 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12678] ppid=12660 vsize=13270076 CPUtime=0.99 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12678/stat : 12678 (java) S 12660 12663 10103 0 -1 1077944384 3382 0 0 0 99 0 0 0 20 0 20 0 4629432 13588557824 125055 33554432000 4194304 4196468 140721036649040 140216492763632 140217302116994 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12679] ppid=12660 vsize=13270076 CPUtime=0.95 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12679/stat : 12679 (java) S 12660 12663 10103 0 -1 1077944384 3019 0 0 0 95 0 0 0 20 0 20 0 4629432 13588557824 125055 33554432000 4194304 4196468 140721036649040 140216491711088 140217302116994 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12680] ppid=12660 vsize=13270076 CPUtime=0.97 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12680/stat : 12680 (java) S 12660 12663 10103 0 -1 1077944384 2541 0 0 0 96 1 0 0 20 0 20 0 4629432 13588557824 125055 33554432000 4194304 4196468 140721036649040 140216490658544 140217302116994 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12681] ppid=12660 vsize=13270076 CPUtime=0.86 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12681/stat : 12681 (java) S 12660 12663 10103 0 -1 1077944384 6771 0 0 0 85 1 0 0 20 0 20 0 4629432 13588557824 125055 33554432000 4194304 4196468 140721036649040 140216489606000 140217302116994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12682] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12682/stat : 12682 (java) S 12660 12663 10103 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4629432 13588557824 125055 33554432000 4194304 4196468 140721036649040 140216488552672 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12683] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12683/stat : 12683 (java) S 12660 12663 10103 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 4629432 13588557824 125055 33554432000 4194304 4196468 140721036649040 140216487500208 140217302116994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 Current children cumulated CPU time (s) 8.24 Current children cumulated vsize (KiB) 13270076 [startup+6.30086 s] /proc/loadavg: 1.56 1.45 1.39 6/282 12770 /proc/meminfo: memFree=30651236/32770624 swapFree=5852/279584 [pid=12663] ppid=12660 vsize=13270076 CPUtime=12.14 cores=0,2,4,6,8,10,12,14 /proc/12663/stat : 12663 (java) S 12660 12663 10103 0 -1 1077944320 33745 0 0 0 1092 122 0 0 20 0 20 0 4629423 13588557824 187987 33554432000 4194304 4196468 140721036649040 140721036631584 140217302105847 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 /proc/12663/statm: 3317519 187987 3836 1 0 3305234 0 [pid=12663/tid=12664] ppid=12660 vsize=13270076 CPUtime=6 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12664/stat : 12664 (java) R 12660 12663 10103 0 -1 4202560 13100 0 0 0 588 12 0 0 20 0 20 0 4629423 13588557824 187987 33554432000 4194304 4196468 140721036649040 140217306344088 140216948640704 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12665] ppid=12660 vsize=13270076 CPUtime=0.22 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12665/stat : 12665 (java) S 12660 12663 10103 0 -1 1077944384 173 0 0 0 10 12 0 0 20 0 20 0 4629424 13588557824 187987 33554432000 4194304 4196468 140721036649040 140216901388560 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12667] ppid=12660 vsize=13270076 CPUtime=0.24 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12667/stat : 12667 (java) S 12660 12663 10103 0 -1 1077944384 139 0 0 0 11 13 0 0 20 0 20 0 4629424 13588557824 187987 33554432000 4194304 4196468 140721036649040 140216900336016 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12668] ppid=12660 vsize=13270076 CPUtime=0.23 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12668/stat : 12668 (java) S 12660 12663 10103 0 -1 1077944384 182 0 0 0 10 13 0 0 20 0 20 0 4629424 13588557824 187987 33554432000 4194304 4196468 140721036649040 140216899283472 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12669] ppid=12660 vsize=13270076 CPUtime=0.21 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12669/stat : 12669 (java) S 12660 12663 10103 0 -1 1077944384 129 0 0 0 8 13 0 0 20 0 20 0 4629424 13588557824 187987 33554432000 4194304 4196468 140721036649040 140216898230928 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12670] ppid=12660 vsize=13270076 CPUtime=0.22 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12670/stat : 12670 (java) S 12660 12663 10103 0 -1 1077944384 215 0 0 0 10 12 0 0 20 0 20 0 4629424 13588557824 187987 33554432000 4194304 4196468 140721036649040 140216897178384 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12671] ppid=12660 vsize=13270076 CPUtime=0.22 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12671/stat : 12671 (java) S 12660 12663 10103 0 -1 1077944384 142 0 0 0 11 11 0 0 20 0 20 0 4629424 13588557824 187987 33554432000 4194304 4196468 140721036649040 140216896125840 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12672] ppid=12660 vsize=13270076 CPUtime=0.23 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12672/stat : 12672 (java) S 12660 12663 10103 0 -1 1077944384 376 0 0 0 10 13 0 0 20 0 20 0 4629424 13588557824 187987 33554432000 4194304 4196468 140721036649040 140216895073296 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12673] ppid=12660 vsize=13270076 CPUtime=0.23 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12673/stat : 12673 (java) S 12660 12663 10103 0 -1 1077944384 1043 0 0 0 10 13 0 0 20 0 20 0 4629424 13588557824 187987 33554432000 4194304 4196468 140721036649040 140216894020752 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12674] ppid=12660 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12674/stat : 12674 (java) S 12660 12663 10103 0 -1 1077944384 774 0 0 0 1 0 0 0 20 0 20 0 4629427 13588557824 187987 33554432000 4194304 4196468 140721036649040 140216496973808 140217302116994 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12675] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12675/stat : 12675 (java) S 12660 12663 10103 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 4629427 13588557824 187987 33554432000 4194304 4196468 140721036649040 140216495920096 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12676] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12676/stat : 12676 (java) S 12660 12663 10103 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 4629428 13588557824 187987 33554432000 4194304 4196468 140721036649040 140216494867456 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12677] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 ################ # More data... # ################ [pid=12663/tid=12679] ppid=12660 vsize=13270076 CPUtime=1.5 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12679/stat : 12679 (java) S 12660 12663 10103 0 -1 1077944384 4491 0 0 0 149 1 0 0 20 0 20 0 4629432 13588557824 753973 33554432000 4194304 4196468 140721036649040 140216491711088 140217302116994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12680] ppid=12660 vsize=13270076 CPUtime=1.31 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12680/stat : 12680 (java) S 12660 12663 10103 0 -1 1077944384 4247 0 0 0 129 2 0 0 20 0 20 0 4629432 13588557824 753973 33554432000 4194304 4196468 140721036649040 140216490658544 140217302116994 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12681] ppid=12660 vsize=13270076 CPUtime=0.99 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12681/stat : 12681 (java) S 12660 12663 10103 0 -1 1077944384 8726 0 0 0 97 2 0 0 20 0 20 0 4629432 13588557824 753973 33554432000 4194304 4196468 140721036649040 140216489606000 140217302116994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12682] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12682/stat : 12682 (java) S 12660 12663 10103 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4629432 13588557824 753973 33554432000 4194304 4196468 140721036649040 140216488552672 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12683] ppid=12660 vsize=13270076 CPUtime=1.16 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12683/stat : 12683 (java) S 12660 12663 10103 0 -1 1077944384 1708 0 0 0 61 55 0 0 20 0 20 0 4629432 13588557824 753973 33554432000 4194304 4196468 140721036649040 140216487500208 140217302116994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 Current children cumulated CPU time (s) 2311.66 Current children cumulated vsize (KiB) 13270076 [startup+2322.3 s] /proc/loadavg: 1.15 1.28 1.39 3/281 12835 /proc/meminfo: memFree=25578864/32770624 swapFree=5852/281852 [pid=12663] ppid=12660 vsize=13270076 CPUtime=2373.28 cores=0,2,4,6,8,10,12,14 /proc/12663/stat : 12663 (java) S 12660 12663 10103 0 -1 1077944320 277394 0 0 0 236844 484 0 0 20 0 20 0 4629423 13588557824 754997 33554432000 4194304 4196468 140721036649040 140721036631584 140217302105847 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 /proc/12663/statm: 3317519 754997 3838 1 0 3305234 0 [pid=12663/tid=12664] ppid=12660 vsize=13270076 CPUtime=2310.22 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12664/stat : 12664 (java) R 12660 12663 10103 0 -1 4202560 100068 0 0 0 230954 68 0 0 20 0 20 0 4629423 13588557824 754997 33554432000 4194304 4196468 140721036649040 140217306344128 140216950055838 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12665] ppid=12660 vsize=13270076 CPUtime=6.77 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12665/stat : 12665 (java) S 12660 12663 10103 0 -1 1077944384 15088 0 0 0 633 44 0 0 20 0 20 0 4629424 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216901388560 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12667] ppid=12660 vsize=13270076 CPUtime=6.71 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12667/stat : 12667 (java) S 12660 12663 10103 0 -1 1077944384 16779 0 0 0 628 43 0 0 20 0 20 0 4629424 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216900336016 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12668] ppid=12660 vsize=13270076 CPUtime=6.7 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12668/stat : 12668 (java) S 12660 12663 10103 0 -1 1077944384 14481 0 0 0 627 43 0 0 20 0 20 0 4629424 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216899283472 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12669] ppid=12660 vsize=13270076 CPUtime=6.67 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12669/stat : 12669 (java) S 12660 12663 10103 0 -1 1077944384 16166 0 0 0 621 46 0 0 20 0 20 0 4629424 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216898230928 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12670] ppid=12660 vsize=13270076 CPUtime=6.66 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12670/stat : 12670 (java) S 12660 12663 10103 0 -1 1077944384 13607 0 0 0 618 48 0 0 20 0 20 0 4629424 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216897178384 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12671] ppid=12660 vsize=13270076 CPUtime=6.74 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12671/stat : 12671 (java) S 12660 12663 10103 0 -1 1077944384 15221 0 0 0 630 44 0 0 20 0 20 0 4629424 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216896125840 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12672] ppid=12660 vsize=13270076 CPUtime=6.83 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12672/stat : 12672 (java) S 12660 12663 10103 0 -1 1077944384 15864 0 0 0 639 44 0 0 20 0 20 0 4629424 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216895073296 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12673] ppid=12660 vsize=13270076 CPUtime=6.77 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12673/stat : 12673 (java) S 12660 12663 10103 0 -1 1077944384 19852 0 0 0 629 48 0 0 20 0 20 0 4629424 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216894020752 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12674] ppid=12660 vsize=13270076 CPUtime=2.56 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12674/stat : 12674 (java) S 12660 12663 10103 0 -1 1077944384 23901 0 0 0 232 24 0 0 20 0 20 0 4629427 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216496973808 140217302116994 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12675] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12675/stat : 12675 (java) S 12660 12663 10103 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 20 0 4629427 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216495920096 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12676] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12676/stat : 12676 (java) S 12660 12663 10103 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 20 0 4629428 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216494867456 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12677] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12677/stat : 12677 (java) S 12660 12663 10103 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4629432 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216493816016 140217302124443 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12678] ppid=12660 vsize=13270076 CPUtime=1.52 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12678/stat : 12678 (java) S 12660 12663 10103 0 -1 1077944384 5697 0 0 0 151 1 0 0 20 0 20 0 4629432 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216492763632 140217302116994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12679] ppid=12660 vsize=13270076 CPUtime=1.5 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12679/stat : 12679 (java) S 12660 12663 10103 0 -1 1077944384 4497 0 0 0 149 1 0 0 20 0 20 0 4629432 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216491711088 140217302116994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12680] ppid=12660 vsize=13270076 CPUtime=1.31 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12680/stat : 12680 (java) S 12660 12663 10103 0 -1 1077944384 4253 0 0 0 129 2 0 0 20 0 20 0 4629432 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216490658544 140217302116994 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12681] ppid=12660 vsize=13270076 CPUtime=0.99 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12681/stat : 12681 (java) S 12660 12663 10103 0 -1 1077944384 8732 0 0 0 97 2 0 0 20 0 20 0 4629432 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216489606000 140217302116994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12682] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12682/stat : 12682 (java) S 12660 12663 10103 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4629432 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216488552672 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12683] ppid=12660 vsize=13270076 CPUtime=1.19 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12683/stat : 12683 (java) S 12660 12663 10103 0 -1 1077944384 1745 0 0 0 62 57 0 0 20 0 20 0 4629432 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216487500208 140217302116994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 Current children cumulated CPU time (s) 2373.28 Current children cumulated vsize (KiB) 13270076 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2348.3 s] /proc/loadavg: 1.34 1.32 1.40 3/281 12836 /proc/meminfo: memFree=25577948/32770624 swapFree=5852/281884 [pid=12663] ppid=12660 vsize=13270076 CPUtime=2400.05 cores=0,2,4,6,8,10,12,14 /proc/12663/stat : 12663 (java) S 12660 12663 10103 0 -1 1077944320 279133 0 0 0 239518 487 0 0 20 0 20 0 4629423 13588557824 754997 33554432000 4194304 4196468 140721036649040 140721036631584 140217302105847 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 /proc/12663/statm: 3317519 754997 3838 1 0 3305234 0 [pid=12663/tid=12664] ppid=12660 vsize=13270076 CPUtime=2336.02 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12664/stat : 12664 (java) R 12660 12663 10103 0 -1 4202560 100912 0 0 0 233533 69 0 0 20 0 20 0 4629423 13588557824 754997 33554432000 4194304 4196468 140721036649040 140217306344128 140216948640736 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12665] ppid=12660 vsize=13270076 CPUtime=6.88 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12665/stat : 12665 (java) S 12660 12663 10103 0 -1 1077944384 15214 0 0 0 644 44 0 0 20 0 20 0 4629424 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216901388560 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12667] ppid=12660 vsize=13270076 CPUtime=6.82 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12667/stat : 12667 (java) S 12660 12663 10103 0 -1 1077944384 16794 0 0 0 639 43 0 0 20 0 20 0 4629424 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216900336016 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12668] ppid=12660 vsize=13270076 CPUtime=6.83 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12668/stat : 12668 (java) S 12660 12663 10103 0 -1 1077944384 14817 0 0 0 640 43 0 0 20 0 20 0 4629424 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216899283472 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12669] ppid=12660 vsize=13270076 CPUtime=6.79 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12669/stat : 12669 (java) S 12660 12663 10103 0 -1 1077944384 16200 0 0 0 633 46 0 0 20 0 20 0 4629424 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216898230928 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12670] ppid=12660 vsize=13270076 CPUtime=6.78 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12670/stat : 12670 (java) S 12660 12663 10103 0 -1 1077944384 13650 0 0 0 630 48 0 0 20 0 20 0 4629424 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216897178384 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12671] ppid=12660 vsize=13270076 CPUtime=6.85 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12671/stat : 12671 (java) S 12660 12663 10103 0 -1 1077944384 15228 0 0 0 641 44 0 0 20 0 20 0 4629424 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216896125840 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12672] ppid=12660 vsize=13270076 CPUtime=6.94 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12672/stat : 12672 (java) S 12660 12663 10103 0 -1 1077944384 15885 0 0 0 650 44 0 0 20 0 20 0 4629424 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216895073296 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12673] ppid=12660 vsize=13270076 CPUtime=6.86 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12673/stat : 12673 (java) S 12660 12663 10103 0 -1 1077944384 19978 0 0 0 638 48 0 0 20 0 20 0 4629424 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216894020752 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12674] ppid=12660 vsize=13270076 CPUtime=2.61 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12674/stat : 12674 (java) S 12660 12663 10103 0 -1 1077944384 24069 0 0 0 237 24 0 0 20 0 20 0 4629427 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216496973808 140217302116994 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12675] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12675/stat : 12675 (java) S 12660 12663 10103 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 20 0 4629427 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216495920096 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12676] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12676/stat : 12676 (java) S 12660 12663 10103 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 20 0 4629428 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216494867456 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12677] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12677/stat : 12677 (java) S 12660 12663 10103 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4629432 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216493816016 140217302124443 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12678] ppid=12660 vsize=13270076 CPUtime=1.52 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12678/stat : 12678 (java) S 12660 12663 10103 0 -1 1077944384 5699 0 0 0 151 1 0 0 20 0 20 0 4629432 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216492763632 140217302116994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12679] ppid=12660 vsize=13270076 CPUtime=1.5 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12679/stat : 12679 (java) S 12660 12663 10103 0 -1 1077944384 4499 0 0 0 149 1 0 0 20 0 20 0 4629432 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216491711088 140217302116994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12680] ppid=12660 vsize=13270076 CPUtime=1.31 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12680/stat : 12680 (java) S 12660 12663 10103 0 -1 1077944384 4255 0 0 0 129 2 0 0 20 0 20 0 4629432 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216490658544 140217302116994 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12681] ppid=12660 vsize=13270076 CPUtime=0.99 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12681/stat : 12681 (java) S 12660 12663 10103 0 -1 1077944384 8734 0 0 0 97 2 0 0 20 0 20 0 4629432 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216489606000 140217302116994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12682] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12682/stat : 12682 (java) S 12660 12663 10103 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4629432 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216488552672 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12683] ppid=12660 vsize=13270076 CPUtime=1.2 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12683/stat : 12683 (java) S 12660 12663 10103 0 -1 1077944384 1756 0 0 0 63 57 0 0 20 0 20 0 4629432 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216487500208 140217302116994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 Current children cumulated CPU time (s) 2400.05 Current children cumulated vsize (KiB) 13270076 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 12663 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2348.3 s] /proc/loadavg: 1.34 1.32 1.40 3/281 12836 /proc/meminfo: memFree=25577948/32770624 swapFree=5852/281884 [pid=12663] ppid=12660 vsize=13270076 CPUtime=2400.05 cores=0,2,4,6,8,10,12,14 /proc/12663/stat : 12663 (java) S 12660 12663 10103 0 -1 1077944320 279133 0 0 0 239518 487 0 0 20 0 20 0 4629423 13588557824 754997 33554432000 4194304 4196468 140721036649040 140721036631584 140217302105847 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 /proc/12663/statm: 3317519 754997 3838 1 0 3305234 0 [pid=12663/tid=12664] ppid=12660 vsize=13270076 CPUtime=2336.02 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12664/stat : 12664 (java) R 12660 12663 10103 0 -1 4202560 100912 0 0 0 233533 69 0 0 20 0 20 0 4629423 13588557824 754997 33554432000 4194304 4196468 140721036649040 140217306344128 140216948640736 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12665] ppid=12660 vsize=13270076 CPUtime=6.88 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12665/stat : 12665 (java) S 12660 12663 10103 0 -1 1077944384 15214 0 0 0 644 44 0 0 20 0 20 0 4629424 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216901388560 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12667] ppid=12660 vsize=13270076 CPUtime=6.82 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12667/stat : 12667 (java) S 12660 12663 10103 0 -1 1077944384 16794 0 0 0 639 43 0 0 20 0 20 0 4629424 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216900336016 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12668] ppid=12660 vsize=13270076 CPUtime=6.83 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12668/stat : 12668 (java) S 12660 12663 10103 0 -1 1077944384 14817 0 0 0 640 43 0 0 20 0 20 0 4629424 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216899283472 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12669] ppid=12660 vsize=13270076 CPUtime=6.79 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12669/stat : 12669 (java) S 12660 12663 10103 0 -1 1077944384 16200 0 0 0 633 46 0 0 20 0 20 0 4629424 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216898230928 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12670] ppid=12660 vsize=13270076 CPUtime=6.78 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12670/stat : 12670 (java) S 12660 12663 10103 0 -1 1077944384 13650 0 0 0 630 48 0 0 20 0 20 0 4629424 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216897178384 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12671] ppid=12660 vsize=13270076 CPUtime=6.85 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12671/stat : 12671 (java) S 12660 12663 10103 0 -1 1077944384 15228 0 0 0 641 44 0 0 20 0 20 0 4629424 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216896125840 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12672] ppid=12660 vsize=13270076 CPUtime=6.94 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12672/stat : 12672 (java) S 12660 12663 10103 0 -1 1077944384 15885 0 0 0 650 44 0 0 20 0 20 0 4629424 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216895073296 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12673] ppid=12660 vsize=13270076 CPUtime=6.86 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12673/stat : 12673 (java) S 12660 12663 10103 0 -1 1077944384 19978 0 0 0 638 48 0 0 20 0 20 0 4629424 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216894020752 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12674] ppid=12660 vsize=13270076 CPUtime=2.61 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12674/stat : 12674 (java) S 12660 12663 10103 0 -1 1077944384 24069 0 0 0 237 24 0 0 20 0 20 0 4629427 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216496973808 140217302116994 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12675] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12675/stat : 12675 (java) S 12660 12663 10103 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 20 0 4629427 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216495920096 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12676] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12676/stat : 12676 (java) S 12660 12663 10103 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 20 0 4629428 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216494867456 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12677] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12677/stat : 12677 (java) S 12660 12663 10103 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4629432 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216493816016 140217302124443 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12678] ppid=12660 vsize=13270076 CPUtime=1.52 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12678/stat : 12678 (java) S 12660 12663 10103 0 -1 1077944384 5699 0 0 0 151 1 0 0 20 0 20 0 4629432 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216492763632 140217302116994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12679] ppid=12660 vsize=13270076 CPUtime=1.5 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12679/stat : 12679 (java) S 12660 12663 10103 0 -1 1077944384 4499 0 0 0 149 1 0 0 20 0 20 0 4629432 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216491711088 140217302116994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12680] ppid=12660 vsize=13270076 CPUtime=1.31 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12680/stat : 12680 (java) S 12660 12663 10103 0 -1 1077944384 4255 0 0 0 129 2 0 0 20 0 20 0 4629432 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216490658544 140217302116994 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12681] ppid=12660 vsize=13270076 CPUtime=0.99 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12681/stat : 12681 (java) S 12660 12663 10103 0 -1 1077944384 8734 0 0 0 97 2 0 0 20 0 20 0 4629432 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216489606000 140217302116994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12682] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12682/stat : 12682 (java) S 12660 12663 10103 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4629432 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216488552672 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 [pid=12663/tid=12683] ppid=12660 vsize=13270076 CPUtime=1.2 cores=0,2,4,6,8,10,12,14 /proc/12663/task/12683/stat : 12683 (java) S 12660 12663 10103 0 -1 1077944384 1756 0 0 0 63 57 0 0 20 0 20 0 4629432 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216487500208 140217302116994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0 Current children cumulated CPU time (s) 2400.05 Current children cumulated vsize (KiB) 13270076 Child status: 143 Real time (s): 2348.33 CPU time (s): 2400.11 CPU user time (s): 2395.22 CPU system time (s): 4.88973 CPU usage (%): 102.205 Max. virtual memory (cumulated for all children) (KiB): 13270076 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2395.22 system time used= 4.88973 maximum resident set size= 3528332 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 279623 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2592 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 165150 involuntary context switches= 147772 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 17.0758 second user time and 18.7836 second system time The end
Begin job on node119 at 2017-07-22 05:20:07 IDJOB=4244833 IDBENCH=115917 IDSOLVER=2628 FILE ID=node119/4244833-1500693607 RUNJOBID= node119-1500684088-11482 PBS_JOBID= 20623030 Free space on /tmp= 61836 MiB SOLVER NAME= OscaR - Conflict Ordering 2017-06-30 BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-43.xml COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4244833-1500693607/watcher-4244833-1500693607 -o /tmp/evaluation-result-4244833-1500693607/solver-4244833-1500693607 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1500684088-11482 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1548957634 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4244833-1500693607.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 2bbdfe474604d495dd31c09972612e7d RANDOM SEED=1548957634 node119.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /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 : 2667.000 cache size : 8192 KB physical id : 0 siblings : 8 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.98 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 : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.98 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.98 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.98 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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.98 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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.98 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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.98 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2133.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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.98 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: 31481596 kB MemAvailable: 31743708 kB Buffers: 116420 kB Cached: 427852 kB SwapCached: 0 kB Active: 568052 kB Inactive: 287844 kB Active(anon): 314660 kB Inactive(anon): 8680 kB Active(file): 253392 kB Inactive(file): 279164 kB Unevictable: 5852 kB Mlocked: 5852 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42100 kB Writeback: 0 kB AnonPages: 317680 kB Mapped: 44688 kB Shmem: 8844 kB Slab: 123892 kB SReclaimable: 90780 kB SUnreclaim: 33112 kB KernelStack: 4480 kB PageTables: 5776 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1152500 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 243712 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 136576 kB DirectMap2M: 33409024 kB Free space on /tmp at the end= 61792 MiB End job on node119 at 2017-07-22 05:59:16