Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
OscaR - Hybrid 2017-07-26 | SAT (TO) | 668 | 2520.1299 | 2456.22 |
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.24/0.39 c version: 2017-07-26 0.24/0.40 c seed: 1201707291 0.24/0.40 c timeout: 2520 0.24/0.40 c memlimit: 11000 0.24/0.40 c nbcore: 4 0.43/0.42 c Parsing instance... 5.66/2.76 c Parsing done, starting first complete search... 22.55/17.75 o 219 22.55/17.75 o 220 22.55/17.75 o 221 22.55/17.76 o 222 22.55/17.76 o 223 22.55/17.77 o 224 22.55/17.77 o 225 22.55/17.78 o 226 22.55/17.78 o 227 22.55/17.78 o 228 22.55/17.78 o 229 22.55/17.78 o 230 22.55/17.78 o 231 22.55/17.79 o 232 22.55/17.79 o 233 22.55/17.79 o 234 22.55/17.79 o 235 22.55/17.79 o 236 22.80/17.80 o 237 22.80/17.80 o 238 22.80/17.80 o 239 22.80/17.80 o 240 22.80/17.80 o 241 22.80/17.81 o 242 22.80/17.81 o 243 22.80/17.81 o 244 22.80/17.81 o 245 22.80/17.81 o 246 22.80/17.81 o 247 22.80/17.82 o 248 22.80/17.82 o 249 22.80/17.82 o 250 22.80/17.82 o 251 22.80/17.82 o 252 22.80/17.83 o 253 22.80/17.83 o 254 22.80/17.83 o 255 22.80/17.83 o 256 22.80/17.83 o 257 22.80/17.84 o 258 22.80/17.84 o 259 22.80/17.84 o 260 22.80/17.84 o 261 22.80/17.85 o 262 22.80/17.85 o 263 22.80/17.85 o 264 22.80/17.85 o 265 22.80/17.86 o 266 22.80/17.86 o 267 22.80/17.86 o 268 22.80/17.86 o 269 22.80/17.86 o 270 22.80/17.87 o 271 22.80/17.87 o 272 22.80/17.87 o 273 22.80/17.87 o 274 22.80/17.88 o 275 22.80/17.88 o 276 22.80/17.88 o 277 22.80/17.88 o 278 22.80/17.88 o 279 22.80/17.88 o 280 22.80/17.88 o 281 22.80/17.89 o 282 22.80/17.89 o 283 22.80/17.89 o 284 22.80/17.89 o 285 22.80/17.89 o 286 22.80/17.89 o 287 22.80/17.90 o 288 23.06/17.90 o 289 23.06/17.90 o 290 23.06/17.90 o 291 23.06/17.90 o 292 23.06/17.90 o 293 23.06/17.91 o 294 23.06/17.91 o 295 23.06/17.91 o 296 23.06/17.91 o 297 23.06/17.91 o 298 23.06/17.91 o 299 23.06/17.91 o 300 23.06/17.92 o 301 23.06/17.92 o 302 23.06/17.92 o 303 23.06/17.92 o 304 23.06/17.92 o 305 23.06/17.92 o 306 23.06/17.93 o 307 23.06/17.93 o 308 23.06/17.93 o 309 23.06/17.93 o 310 23.06/17.93 o 311 23.06/17.93 o 312 23.06/17.93 o 313 23.06/17.94 o 314 23.06/17.94 o 315 23.06/17.94 o 316 23.06/17.94 o 317 23.06/17.94 o 318 23.06/17.94 o 319 23.06/17.94 o 320 23.06/17.95 o 321 23.06/17.95 o 322 23.06/17.95 o 323 23.06/17.95 o 324 23.06/17.95 o 325 23.06/17.95 o 326 23.06/17.96 o 327 23.06/17.96 o 328 23.06/17.96 o 329 23.06/17.96 o 330 23.06/17.96 o 331 23.06/17.96 o 332 23.06/17.96 o 333 23.06/17.97 o 334 23.06/17.97 o 335 23.06/17.97 o 336 23.06/17.97 o 337 23.06/17.97 o 338 23.06/17.98 o 339 23.06/17.98 o 340 23.06/17.98 o 341 23.06/17.98 o 342 23.06/17.98 o 343 23.06/17.99 o 344 23.06/17.99 o 345 23.06/17.99 o 346 23.06/17.99 o 347 23.06/17.99 o 348 23.06/17.99 o 349 23.06/18.00 o 350 23.06/18.00 o 351 23.06/18.00 o 352 23.06/18.00 o 353 23.06/18.00 o 354 23.06/18.01 o 355 23.28/18.01 o 356 23.28/18.01 o 357 23.28/18.01 o 358 23.28/18.01 o 359 23.28/18.01 o 360 23.28/18.02 o 361 23.28/18.02 o 362 23.28/18.02 o 363 23.28/18.03 o 364 23.28/18.03 o 365 23.28/18.03 o 366 23.28/18.03 o 367 23.28/18.03 o 368 23.28/18.03 o 369 23.28/18.04 o 370 23.28/18.04 o 371 23.28/18.04 o 372 23.28/18.04 o 373 23.28/18.04 o 374 23.28/18.04 o 375 23.28/18.05 o 376 23.28/18.05 o 377 23.28/18.05 o 378 23.28/18.05 o 379 23.28/18.05 o 380 23.28/18.06 o 381 23.28/18.06 o 382 23.28/18.06 o 383 23.28/18.06 o 384 23.28/18.06 o 385 23.28/18.07 o 386 23.28/18.07 o 387 23.28/18.07 o 388 23.28/18.07 o 389 23.28/18.07 o 390 23.28/18.07 o 391 23.28/18.08 o 392 23.28/18.08 o 393 23.28/18.08 o 394 23.28/18.08 o 395 23.28/18.08 o 396 23.28/18.08 o 397 23.28/18.09 o 398 23.28/18.09 o 399 23.28/18.09 o 400 23.28/18.09 o 401 23.28/18.09 o 402 23.28/18.10 o 403 23.28/18.10 o 404 23.28/18.10 o 405 23.28/18.10 o 406 23.28/18.11 o 407 23.51/18.11 o 408 23.51/18.11 o 409 23.51/18.11 o 410 23.51/18.11 o 411 23.51/18.11 o 412 23.51/18.12 o 413 23.51/18.12 o 414 23.51/18.12 o 415 23.51/18.12 o 416 23.51/18.13 o 417 23.51/18.13 o 418 23.51/18.13 o 419 23.51/18.13 o 420 23.51/18.13 o 421 23.51/18.13 o 422 23.51/18.14 o 423 23.51/18.14 o 424 23.51/18.14 o 425 23.51/18.14 o 426 23.51/18.15 o 427 23.51/18.15 o 428 23.51/18.15 o 429 23.51/18.15 o 430 23.51/18.15 o 431 23.51/18.16 o 432 23.51/18.16 o 433 23.51/18.16 o 434 23.51/18.16 o 435 23.51/18.16 o 436 23.51/18.17 o 437 23.51/18.17 o 438 23.51/18.17 o 439 23.51/18.17 o 440 23.51/18.17 o 441 23.51/18.17 o 442 23.51/18.18 o 443 23.51/18.18 o 444 23.51/18.18 o 445 23.51/18.18 o 446 23.51/18.18 o 447 23.51/18.18 o 448 23.51/18.19 o 449 23.51/18.19 o 450 23.51/18.19 o 451 23.51/18.19 o 452 23.51/18.19 o 453 23.51/18.20 o 454 23.66/18.20 o 455 23.66/18.20 o 456 23.66/18.20 o 457 23.66/18.20 o 458 23.66/18.21 o 459 23.66/18.21 o 460 23.66/18.21 o 461 23.66/18.21 o 462 23.66/18.21 o 463 23.66/18.22 o 464 23.66/18.22 o 465 23.66/18.22 o 466 23.66/18.22 o 467 23.66/18.22 o 468 23.66/18.23 o 469 23.66/18.23 o 470 23.66/18.23 o 471 23.66/18.23 o 472 23.66/18.23 o 473 23.66/18.24 o 474 23.66/18.24 o 475 23.66/18.24 o 476 23.66/18.24 o 477 23.66/18.24 o 478 23.66/18.25 o 479 23.66/18.25 o 480 23.66/18.25 o 481 23.66/18.25 o 482 23.66/18.25 o 483 23.66/18.26 o 484 23.66/18.26 o 485 23.66/18.26 o 486 23.66/18.26 o 487 23.66/18.26 o 488 23.66/18.26 o 489 23.66/18.27 o 490 23.66/18.27 o 491 23.66/18.27 o 492 23.66/18.27 o 493 23.66/18.28 o 494 23.66/18.28 o 495 23.66/18.28 o 496 23.66/18.28 o 497 23.66/18.28 o 498 23.66/18.29 o 499 23.66/18.29 o 500 23.66/18.29 o 501 23.66/18.29 o 502 23.66/18.29 o 503 23.66/18.30 o 504 23.77/18.30 o 505 23.77/18.30 o 506 23.77/18.30 o 507 23.77/18.30 o 508 23.77/18.31 o 509 23.77/18.31 o 510 23.77/18.31 o 511 23.77/18.31 o 512 23.77/18.31 o 513 23.77/18.32 o 514 23.77/18.32 o 515 23.77/18.32 o 516 23.77/18.32 o 517 23.77/18.32 o 518 23.77/18.33 o 519 23.77/18.33 o 520 23.77/18.33 o 521 23.77/18.33 o 522 23.77/18.34 o 523 23.77/18.34 o 524 23.77/18.34 o 525 23.77/18.34 o 526 23.77/18.34 o 527 23.77/18.35 o 528 23.77/18.35 o 529 23.77/18.35 o 530 23.77/18.35 o 531 23.77/18.36 o 532 23.77/18.36 o 533 23.77/18.36 o 534 23.77/18.36 o 535 23.77/18.37 o 536 23.77/18.37 o 537 23.77/18.37 o 538 23.77/18.37 o 539 23.77/18.37 o 540 23.77/18.38 o 541 23.77/18.38 o 542 23.77/18.38 o 543 23.77/18.38 o 544 23.77/18.38 o 545 23.77/18.39 o 546 23.77/18.39 o 547 23.77/18.39 o 548 23.77/18.39 o 549 23.77/18.40 o 550 23.88/18.40 o 551 23.88/18.40 o 552 23.88/18.40 o 553 23.88/18.40 o 554 23.88/18.41 o 555 23.88/18.41 o 556 23.88/18.41 o 557 23.88/18.41 o 558 23.88/18.42 o 559 23.88/18.42 o 560 23.88/18.42 o 561 23.88/18.42 o 562 23.88/18.43 o 563 23.88/18.43 o 564 23.88/18.43 o 565 23.88/18.43 o 566 23.88/18.44 o 567 23.88/18.44 o 568 23.88/18.44 o 569 23.88/18.44 o 570 23.88/18.45 o 571 23.88/18.45 o 572 23.88/18.45 o 573 23.88/18.45 o 574 23.88/18.46 o 575 23.88/18.46 o 576 23.88/18.46 o 577 23.88/18.46 o 578 23.88/18.46 o 579 23.88/18.47 o 580 23.88/18.47 o 581 23.88/18.47 o 582 23.88/18.47 o 583 23.88/18.48 o 584 23.88/18.48 o 585 23.88/18.48 o 586 23.88/18.48 o 587 23.88/18.48 o 588 23.88/18.49 o 589 23.88/18.49 o 590 23.88/18.49 o 591 23.88/18.49 o 592 23.98/18.50 o 593 23.98/18.50 o 594 23.98/18.50 o 595 23.98/18.50 o 596 23.98/18.51 o 597 23.98/18.51 o 598 23.98/18.51 o 599 23.98/18.51 o 600 23.98/18.52 o 601 23.98/18.52 o 602 23.98/18.52 o 603 23.98/18.53 o 604 23.98/18.53 o 605 23.98/18.53 o 606 23.98/18.53 o 607 23.98/18.53 o 608 23.98/18.54 o 609 23.98/18.54 o 610 23.98/18.54 o 611 23.98/18.54 o 612 23.98/18.55 o 613 23.98/18.55 o 614 23.98/18.55 o 615 23.98/18.55 o 616 23.98/18.56 o 617 23.98/18.56 o 618 23.98/18.56 o 619 23.98/18.56 o 620 23.98/18.57 o 621 23.98/18.57 o 622 23.98/18.57 o 623 23.98/18.57 o 624 23.98/18.58 o 625 23.98/18.58 o 626 23.98/18.58 o 627 23.98/18.58 o 628 23.98/18.59 o 629 23.98/18.59 o 630 23.98/18.59 o 631 23.98/18.60 o 632 24.09/18.60 o 633 24.09/18.60 o 634 24.09/18.60 o 635 24.09/18.61 o 636 24.09/18.61 o 637 24.09/18.61 o 638 24.09/18.62 o 639 24.09/18.62 o 640 24.09/18.62 o 641 24.09/18.63 o 642 24.09/18.63 o 643 24.09/18.63 o 644 24.09/18.63 o 645 24.09/18.64 o 646 24.09/18.64 o 647 24.09/18.64 o 648 24.09/18.65 o 649 24.09/18.66 o 650 24.09/18.67 o 651 24.23/18.70 o 652 24.23/18.72 o 653 24.23/18.73 o 654 24.23/18.74 o 655 24.23/18.75 o 656 24.23/18.76 o 657 24.23/18.78 o 658 24.23/18.79 o 659 24.34/18.82 o 660 24.34/18.85 o 661 24.34/18.86 o 662 24.66/19.01 o 663 24.66/19.05 o 664 24.77/19.16 o 665 25.04/19.32 o 666 44.12/38.25 c First complete search done, starting ALNS search... 45.10/38.97 o 667 140.69/132.24 o 668 1842.55/1797.07 c ALNS done, starting second complete search 1842.55/1797.07 c Best operator: ValGuided(1024,MinGroup)_ExtOriented(valLearnMin) with improvement of: 2 2520.08/2456.20 s SATISFIABLE 2520.08/2456.21 v <instantiation> 2520.08/2456.21 v <list> 2520.08/2456.21 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 2520.08/2456.21 v </list> 2520.08/2456.21 v <values> 2520.08/2456.21 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 1 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 0 0 1 0 0 1 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 1 1 0 1 0 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 0 0 0 1 0 1 1 0 0 1 1 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 1 0 1 1 1 0 0 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 1 0 1 0 0 1 1 1 1 1 1 0 1 0 0 0 0 0 1 1 1 0 1 1 1 1 0 0 0 1 0 0 0 1 0 1 1 0 1 0 1 0 1 1 1 1 0 1 0 1 0 0 0 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 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 0 1 1 1 0 1 0 1 0 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 1 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 0 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 0 0 0 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 0 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 1 0 1 1 2 0 0 1 0 0 0 0 2 0 1 0 2 2 0 0 1 2 1 0 1 0 1 0 1 2 1 1 2 1 2 1 1 0 1 1 1 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 1 2 1 2 0 0 0 0 1 2 2 2 1 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 0 1 1 1 0 1 0 1 1 2 0 0 1 1 2 2 1 0 0 0 0 2 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 0 0 0 0 0 1 1 0 1 0 1 2 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 1 1 2 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 1 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 1 0 0 0 1 1 1 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 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 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 1 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 1 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 1 1 2 2 2 2 0 1 0 0 0 1 1 0 2 2 1 1 0 0 0 1 1 1 1 0 0 0 1 1 0 0 0 1 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 0 1 0 1 0 0 1 1 1 1 0 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 0 1 1 1 0 43 131 219 303 363 387 405 421 435 456 476 493 523 556 581 597 610 624 642 667 695 720 743 764 796 824 848 864 878 891 909 931 950 967 985 1004 1019 1036 1050 1064 1091 1124 1140 1173 1198 668 2520.08/2456.21 v </values> 2520.08/2456.21 v </instantiation>
OK 668
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (12048 MiB free) memory of node 1: 16384 MiB (15195 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274738-1502733052/watcher-4274738-1502733052 -o /tmp/evaluation-result-4274738-1502733052/solver-4274738-1502733052 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502658244-13745 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1201707291 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274738-1502733052.xml running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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 Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=23949, runsolver pid=23946 [startup+0.100035 s]* /proc/loadavg: 1.35 1.53 1.50 2/201 23951 /proc/meminfo: memFree=27895464/32770624 swapFree=67108860/67108860 [pid=23949] ppid=23946 vsize=13358552 memory=14404 CPUtime=0 cores=1,3,5,7 /proc/23949/stat : 23949 (java) S 23946 23949 12395 0 -1 1077944320 3418 0 0 0 0 0 0 0 20 0 6 0 115216575 13679157248 3601 18446744073709551615 4194304 4196468 140731512012768 140731511995312 140113379790583 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 /proc/23949/statm: 3339638 3601 1911 1 0 3329135 0 [pid=23949/tid=23951] ppid=23946 vsize=13358552 memory=-6440544856915939681 CPUtime=0 cores=1,3,5,7 /proc/23949/task/23951/stat : 23951 (java) R 23946 23949 12395 0 -1 4202560 2119 0 0 0 0 0 0 0 20 0 6 0 115216585 13679157248 3601 18446744073709551615 4194304 4196468 140731512012768 140113384026704 140113363871070 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23952] ppid=23946 vsize=13358552 memory=5767617043518740873 CPUtime=0 cores=1,3,5,7 /proc/23949/task/23952/stat : 23952 (java) S 23946 23949 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 115216585 13679157248 3601 18446744073709551615 4194304 4196468 140731512012768 140113314224656 140113379800789 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23953] ppid=23946 vsize=13358552 memory=140653220210304 CPUtime=0 cores=1,3,5,7 /proc/23949/task/23953/stat : 23953 (java) S 23946 23949 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 115216585 13679157248 3601 18446744073709551615 4194304 4196468 140731512012768 140113313172112 140113379800789 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23954] ppid=23946 vsize=13358552 memory=0 CPUtime=0 cores=1,3,5,7 /proc/23949/task/23954/stat : 23954 (java) S 23946 23949 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 115216585 13679157248 3601 18446744073709551615 4194304 4196468 140731512012768 140113312119056 140113379800789 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23955] ppid=23946 vsize=13358552 memory=0 CPUtime=0 cores=1,3,5,7 /proc/23949/task/23955/stat : 23955 (java) S 23946 23949 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 115216585 13679157248 3601 18446744073709551615 4194304 4196468 140731512012768 140113311066512 140113379800789 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 13358552 KiB Current children cumulated memory: 14404 KiB [startup+0.210016 s]* /proc/loadavg: 1.35 1.53 1.50 4/214 23964 /proc/meminfo: memFree=27886084/32770624 swapFree=67108860/67108860 [pid=23949] ppid=23946 vsize=13975920 memory=27956 CPUtime=0.07 cores=1,3,5,7 /proc/23949/stat : 23949 (java) S 23946 23949 12395 0 -1 1077944320 6813 0 0 0 6 1 0 0 20 0 15 0 115216575 14311342080 6989 18446744073709551615 4194304 4196468 140731512012768 140731511995312 140113379790583 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 /proc/23949/statm: 3493980 6989 3320 1 0 3482759 0 [pid=23949/tid=23951] ppid=23946 vsize=13975920 memory=8329296943472616091 CPUtime=0.06 cores=1,3,5,7 /proc/23949/task/23951/stat : 23951 (java) R 23946 23949 12395 0 -1 4202560 4895 0 0 0 6 0 0 0 20 0 15 0 115216585 14311342080 6989 18446744073709551615 4194304 4196468 140731512012768 140113384028592 140113379812509 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23952] ppid=23946 vsize=13975920 memory=732370791557663717 CPUtime=0 cores=1,3,5,7 /proc/23949/task/23952/stat : 23952 (java) S 23946 23949 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115216585 14311342080 6989 18446744073709551615 4194304 4196468 140731512012768 140113314224656 140113379800789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23953] ppid=23946 vsize=13975920 memory=140653220210304 CPUtime=0 cores=1,3,5,7 /proc/23949/task/23953/stat : 23953 (java) S 23946 23949 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115216585 14311342080 6989 18446744073709551615 4194304 4196468 140731512012768 140113313172112 140113379800789 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23954] ppid=23946 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7 /proc/23949/task/23954/stat : 23954 (java) S 23946 23949 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 115216585 14311342080 6989 18446744073709551615 4194304 4196468 140731512012768 140113312119056 140113379800789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23955] ppid=23946 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/23949/task/23955/stat : 23955 (java) S 23946 23949 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 115216585 14311342080 6989 18446744073709551615 4194304 4196468 140731512012768 140113311066512 140113379800789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23956] ppid=23946 vsize=13975920 memory=140653220210304 CPUtime=0 cores=1,3,5,7 /proc/23949/task/23956/stat : 23956 (java) S 23946 23949 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 115216587 14311342080 6989 18446744073709551615 4194304 4196468 140731512012768 140112858561264 140113379801730 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23957] ppid=23946 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/23949/task/23957/stat : 23957 (java) S 23946 23949 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 115216587 14311342080 6989 18446744073709551615 4194304 4196468 140731512012768 140112857507488 140113379800789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23958] ppid=23946 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7 /proc/23949/task/23958/stat : 23958 (java) S 23946 23949 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 115216587 14311342080 6989 18446744073709551615 4194304 4196468 140731512012768 140112856454384 140113379800789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23959] ppid=23946 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7 /proc/23949/task/23959/stat : 23959 (java) S 23946 23949 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115216590 14311342080 6989 18446744073709551615 4194304 4196468 140731512012768 140112855402960 140113379809179 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23960] ppid=23946 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7 /proc/23949/task/23960/stat : 23960 (java) S 23946 23949 12395 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 115216590 14311342080 6989 18446744073709551615 4194304 4196468 140731512012768 140112854350064 140113379801730 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23961] ppid=23946 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/23949/task/23961/stat : 23961 (java) S 23946 23949 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115216590 14311342080 6989 18446744073709551615 4194304 4196468 140731512012768 140112853297520 140113379801730 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23962] ppid=23946 vsize=13975920 memory=140653220210304 CPUtime=0 cores=1,3,5,7 /proc/23949/task/23962/stat : 23962 (java) S 23946 23949 12395 0 -1 1077944384 233 0 0 0 0 0 0 0 20 0 15 0 115216590 14311342080 6989 18446744073709551615 4194304 4196468 140731512012768 140112852244464 140113379801730 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23963] ppid=23946 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/23949/task/23963/stat : 23963 (java) S 23946 23949 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115216590 14311342080 6989 18446744073709551615 4194304 4196468 140731512012768 140112851192160 140113379800789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23964] ppid=23946 vsize=13975920 memory=140653220210304 CPUtime=0 cores=1,3,5,7 /proc/23949/task/23964/stat : 23964 (java) S 23946 23949 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115216595 14311342080 6989 18446744073709551615 4194304 4196468 140731512012768 140112850140208 140113379801730 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 Current children cumulated CPU time: 0.07 s Current children cumulated vsize: 13975920 KiB Current children cumulated memory: 27956 KiB [startup+0.310255 s]* /proc/loadavg: 1.35 1.53 1.50 3/214 23964 /proc/meminfo: memFree=27871456/32770624 swapFree=67108860/67108860 [pid=23949] ppid=23946 vsize=13975920 memory=39612 CPUtime=0.24 cores=1,3,5,7 /proc/23949/stat : 23949 (java) S 23946 23949 12395 0 -1 1077944320 10681 0 0 0 21 3 0 0 20 0 15 0 115216575 14311342080 9903 18446744073709551615 4194304 4196468 140731512012768 140731511995312 140113379790583 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 /proc/23949/statm: 3493980 9903 3517 1 0 3482759 0 [pid=23949/tid=23951] ppid=23946 vsize=13975920 memory=-8774313645642428999 CPUtime=0.15 cores=1,3,5,7 /proc/23949/task/23951/stat : 23951 (java) R 23946 23949 12395 0 -1 4202560 8407 0 0 0 14 1 0 0 20 0 15 0 115216585 14311342080 9903 18446744073709551615 4194304 4196468 140731512012768 140113383989552 140113379812509 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23952] ppid=23946 vsize=13975920 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7 /proc/23949/task/23952/stat : 23952 (java) S 23946 23949 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115216585 14311342080 9903 18446744073709551615 4194304 4196468 140731512012768 140113314224656 140113379800789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23953] ppid=23946 vsize=13975920 memory=7077796292425249400 CPUtime=0 cores=1,3,5,7 /proc/23949/task/23953/stat : 23953 (java) S 23946 23949 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115216585 14311342080 9903 18446744073709551615 4194304 4196468 140731512012768 140113313172112 140113379800789 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23954] ppid=23946 vsize=13975920 memory=140653220217297 CPUtime=0 cores=1,3,5,7 /proc/23949/task/23954/stat : 23954 (java) S 23946 23949 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 115216585 14311342080 9903 18446744073709551615 4194304 4196468 140731512012768 140113312119056 140113379800789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23955] ppid=23946 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/23949/task/23955/stat : 23955 (java) S 23946 23949 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 115216585 14311342080 9903 18446744073709551615 4194304 4196468 140731512012768 140113311066512 140113379800789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23956] ppid=23946 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7 /proc/23949/task/23956/stat : 23956 (java) S 23946 23949 12395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 115216587 14311342080 9903 18446744073709551615 4194304 4196468 140731512012768 140112858561264 140113379801730 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23957] ppid=23946 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7 /proc/23949/task/23957/stat : 23957 (java) S 23946 23949 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 115216587 14311342080 9903 18446744073709551615 4194304 4196468 140731512012768 140112857507488 140113379800789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23958] ppid=23946 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7 /proc/23949/task/23958/stat : 23958 (java) S 23946 23949 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 115216587 14311342080 9903 18446744073709551615 4194304 4196468 140731512012768 140112856454384 140113379800789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23959] ppid=23946 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7 /proc/23949/task/23959/stat : 23959 (java) S 23946 23949 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115216590 14311342080 9903 18446744073709551615 4194304 4196468 140731512012768 140112855402960 140113379809179 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23960] ppid=23946 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7 /proc/23949/task/23960/stat : 23960 (java) R 23946 23949 12395 0 -1 1077944384 329 0 0 0 1 0 0 0 20 0 15 0 115216590 14311342080 9903 18446744073709551615 4194304 4196468 140731512012768 140112854350064 140113379801730 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23961] ppid=23946 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7 /proc/23949/task/23961/stat : 23961 (java) R 23946 23949 12395 0 -1 4202560 183 0 0 0 1 0 0 0 20 0 15 0 115216590 14311342080 9903 18446744073709551615 4194304 4196468 140731512012768 140112853297520 140113363954116 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23962] ppid=23946 vsize=13975920 memory=0 CPUtime=0.04 cores=1,3,5,7 /proc/23949/task/23962/stat : 23962 (java) R 23946 23949 12395 0 -1 4202560 385 0 0 0 4 0 0 0 20 0 15 0 115216590 14311342080 9903 18446744073709551615 4194304 4196468 140731512012768 140112852244464 140113379802518 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23963] ppid=23946 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7 /proc/23949/task/23963/stat : 23963 (java) S 23946 23949 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115216590 14311342080 9903 18446744073709551615 4194304 4196468 140731512012768 140112851192160 140113379800789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23964] ppid=23946 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7 /proc/23949/task/23964/stat : 23964 (java) S 23946 23949 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115216595 14311342080 9903 18446744073709551615 4194304 4196468 140731512012768 140112850140208 140113379801730 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 13975920 KiB Current children cumulated memory: 39612 KiB [startup+0.705903 s] /proc/loadavg: 1.35 1.53 1.50 6/214 23964 /proc/meminfo: memFree=27859532/32770624 swapFree=67108860/67108860 [pid=23949] ppid=23946 vsize=13977988 memory=70868 CPUtime=1.04 cores=1,3,5,7 /proc/23949/stat : 23949 (java) S 23946 23949 12395 0 -1 1077944320 13912 0 0 0 100 4 0 0 20 0 15 0 115216575 14313459712 17717 18446744073709551615 4194304 4196468 140731512012768 140731511995312 140113379790583 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 /proc/23949/statm: 3494497 17717 3735 1 0 3483271 0 [pid=23949/tid=23951] ppid=23946 vsize=13977988 memory=0 CPUtime=0.54 cores=1,3,5,7 /proc/23949/task/23951/stat : 23951 (java) R 23946 23949 12395 0 -1 4202560 10362 0 0 0 51 3 0 0 20 0 15 0 115216585 14313459712 17717 18446744073709551615 4194304 4196468 140731512012768 140113384024816 140112990140902 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23952] ppid=23946 vsize=13977988 memory=-7452431979323206951 CPUtime=0 cores=1,3,5,7 /proc/23949/task/23952/stat : 23952 (java) S 23946 23949 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115216585 14313459712 17717 18446744073709551615 4194304 4196468 140731512012768 140113314224656 140113379800789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23953] ppid=23946 vsize=13977988 memory=33 CPUtime=0 cores=1,3,5,7 /proc/23949/task/23953/stat : 23953 (java) S 23946 23949 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115216585 14313459712 17717 18446744073709551615 4194304 4196468 140731512012768 140113313172112 140113379800789 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23954] ppid=23946 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7 /proc/23949/task/23954/stat : 23954 (java) S 23946 23949 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 115216585 14313459712 17717 18446744073709551615 4194304 4196468 140731512012768 140113312119056 140113379800789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23955] ppid=23946 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7 /proc/23949/task/23955/stat : 23955 (java) S 23946 23949 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 115216585 14313459712 17717 18446744073709551615 4194304 4196468 140731512012768 140113311066512 140113379800789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23956] ppid=23946 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7 /proc/23949/task/23956/stat : 23956 (java) S 23946 23949 12395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 115216587 14313459712 17717 18446744073709551615 4194304 4196468 140731512012768 140112858561264 140113379801730 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23957] ppid=23946 vsize=13977988 memory=4132 CPUtime=0 cores=1,3,5,7 /proc/23949/task/23957/stat : 23957 (java) S 23946 23949 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 115216587 14313459712 17717 18446744073709551615 4194304 4196468 140731512012768 140112857507488 140113379800789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23958] ppid=23946 vsize=13977988 memory=2241 CPUtime=0 cores=1,3,5,7 /proc/23949/task/23958/stat : 23958 (java) S 23946 23949 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 115216587 14313459712 17717 18446744073709551615 4194304 4196468 140731512012768 140112856454384 140113379800789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23959] ppid=23946 vsize=13977988 memory=2244 CPUtime=0 cores=1,3,5,7 /proc/23949/task/23959/stat : 23959 (java) S 23946 23949 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115216590 14313459712 17717 18446744073709551615 4194304 4196468 140731512012768 140112855402960 140113379809179 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23960] ppid=23946 vsize=13977988 memory=0 CPUtime=0.14 cores=1,3,5,7 /proc/23949/task/23960/stat : 23960 (java) S 23946 23949 12395 0 -1 1077944384 869 0 0 0 14 0 0 0 20 0 15 0 115216590 14313459712 17717 18446744073709551615 4194304 4196468 140731512012768 140112854350064 140113379801730 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23961] ppid=23946 vsize=13977988 memory=0 CPUtime=0.11 cores=1,3,5,7 /proc/23949/task/23961/stat : 23961 (java) S 23946 23949 12395 0 -1 1077944384 524 0 0 0 11 0 0 0 20 0 15 0 115216590 14313459712 17717 18446744073709551615 4194304 4196468 140731512012768 140112853297520 140113379801730 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23962] ppid=23946 vsize=13977988 memory=0 CPUtime=0.22 cores=1,3,5,7 /proc/23949/task/23962/stat : 23962 (java) R 23946 23949 12395 0 -1 4202560 775 0 0 0 22 0 0 0 20 0 15 0 115216590 14313459712 17717 18446744073709551615 4194304 4196468 140731512012768 140112852241400 140113358593792 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23963] ppid=23946 vsize=13977988 memory=19265 CPUtime=0 cores=1,3,5,7 /proc/23949/task/23963/stat : 23963 (java) S 23946 23949 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115216590 14313459712 17717 18446744073709551615 4194304 4196468 140731512012768 140112851192160 140113379800789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23964] ppid=23946 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7 /proc/23949/task/23964/stat : 23964 (java) S 23946 23949 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115216595 14313459712 17717 18446744073709551615 4194304 4196468 140731512012768 140112850140208 140113379801730 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 Current children cumulated CPU time: 1.04 s Current children cumulated vsize: 13977988 KiB Current children cumulated memory: 70868 KiB [startup+1.5007 s] /proc/loadavg: 1.35 1.53 1.50 6/214 23964 /proc/meminfo: memFree=27800496/32770624 swapFree=67108860/67108860 [pid=23949] ppid=23946 vsize=13982084 memory=174056 CPUtime=3.36 cores=1,3,5,7 /proc/23949/stat : 23949 (java) S 23946 23949 12395 0 -1 1077944320 28227 0 0 0 327 9 0 0 20 0 15 0 115216575 14317654016 43514 18446744073709551615 4194304 4196468 140731512012768 140731511995312 140113379790583 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 /proc/23949/statm: 3495521 43514 3763 1 0 3484295 0 [pid=23949/tid=23951] ppid=23946 vsize=13982084 memory=281306131032112 CPUtime=1.33 cores=1,3,5,7 /proc/23949/task/23951/stat : 23951 (java) R 23946 23949 12395 0 -1 4202560 15426 0 0 0 127 6 0 0 20 0 15 0 115216585 14317654016 43514 18446744073709551615 4194304 4196468 140731512012768 140113384026720 140112990076185 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23952] ppid=23946 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7 /proc/23949/task/23952/stat : 23952 (java) S 23946 23949 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115216585 14317654016 43514 18446744073709551615 4194304 4196468 140731512012768 140113314224656 140113379800789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23953] ppid=23946 vsize=13982084 memory=8535570946649098564 CPUtime=0 cores=1,3,5,7 /proc/23949/task/23953/stat : 23953 (java) S 23946 23949 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115216585 14317654016 43514 18446744073709551615 4194304 4196468 140731512012768 140113313172112 140113379800789 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23954] ppid=23946 vsize=13982084 memory=6082486678388692586 CPUtime=0 cores=1,3,5,7 /proc/23949/task/23954/stat : 23954 (java) S 23946 23949 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 115216585 14317654016 43514 18446744073709551615 4194304 4196468 140731512012768 140113312119056 140113379800789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23955] ppid=23946 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7 /proc/23949/task/23955/stat : 23955 (java) S 23946 23949 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 115216585 14317654016 43514 18446744073709551615 4194304 4196468 140731512012768 140113311066512 140113379800789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23956] ppid=23946 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7 /proc/23949/task/23956/stat : 23956 (java) S 23946 23949 12395 0 -1 1077944384 431 0 0 0 0 0 0 0 20 0 15 0 115216587 14317654016 43514 18446744073709551615 4194304 4196468 140731512012768 140112858561264 140113379801730 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23957] ppid=23946 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7 /proc/23949/task/23957/stat : 23957 (java) S 23946 23949 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 115216587 14317654016 43514 18446744073709551615 4194304 4196468 140731512012768 140112857507488 140113379800789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23958] ppid=23946 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7 /proc/23949/task/23958/stat : 23958 (java) S 23946 23949 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 115216587 14317654016 43514 18446744073709551615 4194304 4196468 140731512012768 140112856454384 140113379800789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23959] ppid=23946 vsize=13982084 memory=56 CPUtime=0 cores=1,3,5,7 /proc/23949/task/23959/stat : 23959 (java) S 23946 23949 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115216590 14317654016 43514 18446744073709551615 4194304 4196468 140731512012768 140112855402960 140113379809179 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23960] ppid=23946 vsize=13982084 memory=13931 CPUtime=0.61 cores=1,3,5,7 /proc/23949/task/23960/stat : 23960 (java) S 23946 23949 12395 0 -1 1077944384 2879 0 0 0 61 0 0 0 20 0 15 0 115216590 14317654016 43514 18446744073709551615 4194304 4196468 140731512012768 140112854350064 140113379801730 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23961] ppid=23946 vsize=13982084 memory=22219 CPUtime=0.7 cores=1,3,5,7 /proc/23949/task/23961/stat : 23961 (java) R 23946 23949 12395 0 -1 4202560 2956 0 0 0 70 0 0 0 20 0 15 0 115216590 14317654016 43514 18446744073709551615 4194304 4196468 140731512012768 140112853297816 140113359037294 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23962] ppid=23946 vsize=13982084 memory=0 CPUtime=0.69 cores=1,3,5,7 /proc/23949/task/23962/stat : 23962 (java) R 23946 23949 12395 0 -1 4202560 5194 0 0 0 68 1 0 0 20 0 15 0 115216590 14317654016 43514 18446744073709551615 4194304 4196468 140731512012768 140112852240536 140113360026708 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23963] ppid=23946 vsize=13982084 memory=-9174445032661854264 CPUtime=0 cores=1,3,5,7 /proc/23949/task/23963/stat : 23963 (java) S 23946 23949 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115216590 14317654016 43514 18446744073709551615 4194304 4196468 140731512012768 140112851192160 140113379800789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23964] ppid=23946 vsize=13982084 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7 /proc/23949/task/23964/stat : 23964 (java) S 23946 23949 12395 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 115216595 14317654016 43514 18446744073709551615 4194304 4196468 140731512012768 140112850140208 140113379801730 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 Current children cumulated CPU time: 3.36 s Current children cumulated vsize: 13982084 KiB ################ # More data... # ################ /proc/23949/task/23951/stat : 23951 (java) R 23946 23949 12395 0 -1 4202560 163856 0 0 0 230258 92 0 0 20 0 15 0 115216585 14319751168 475843 18446744073709551615 4194304 4196468 140731512012768 140113384028720 140113002602304 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23952] ppid=23946 vsize=13984132 memory=281306132428832 CPUtime=16.96 cores=1,3,5,7 /proc/23949/task/23952/stat : 23952 (java) S 23946 23949 12395 0 -1 1077944384 24512 0 0 0 1654 42 0 0 20 0 15 0 115216585 14319751168 475843 18446744073709551615 4194304 4196468 140731512012768 140113314224656 140113379800789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23953] ppid=23946 vsize=13984132 memory=1921840 CPUtime=16.98 cores=1,3,5,7 /proc/23949/task/23953/stat : 23953 (java) S 23946 23949 12395 0 -1 1077944384 24635 0 0 0 1658 40 0 0 20 0 15 0 115216585 14319751168 475843 18446744073709551615 4194304 4196468 140731512012768 140113313172112 140113379800789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23954] ppid=23946 vsize=13984132 memory=1912604 CPUtime=16.95 cores=1,3,5,7 /proc/23949/task/23954/stat : 23954 (java) S 23946 23949 12395 0 -1 1077944384 28288 0 0 0 1654 41 0 0 20 0 15 0 115216585 14319751168 475843 18446744073709551615 4194304 4196468 140731512012768 140113312119056 140113379800789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23955] ppid=23946 vsize=13984132 memory=1912604 CPUtime=16.98 cores=1,3,5,7 /proc/23949/task/23955/stat : 23955 (java) S 23946 23949 12395 0 -1 1077944384 28246 0 0 0 1657 41 0 0 20 0 15 0 115216585 14319751168 475843 18446744073709551615 4194304 4196468 140731512012768 140113311066512 140113379800789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23956] ppid=23946 vsize=13984132 memory=1912604 CPUtime=1.19 cores=1,3,5,7 /proc/23949/task/23956/stat : 23956 (java) S 23946 23949 12395 0 -1 1077944384 98837 0 0 0 94 25 0 0 20 0 15 0 115216587 14319751168 475843 18446744073709551615 4194304 4196468 140731512012768 140112858561264 140113379801730 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23957] ppid=23946 vsize=13984132 memory=1903372 CPUtime=0 cores=1,3,5,7 /proc/23949/task/23957/stat : 23957 (java) S 23946 23949 12395 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 15 0 115216587 14319751168 475843 18446744073709551615 4194304 4196468 140731512012768 140112857507552 140113379800789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23958] ppid=23946 vsize=13984132 memory=1903372 CPUtime=0 cores=1,3,5,7 /proc/23949/task/23958/stat : 23958 (java) S 23946 23949 12395 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 115216587 14319751168 475843 18446744073709551615 4194304 4196468 140731512012768 140112856454400 140113379800789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23959] ppid=23946 vsize=13984132 memory=1958776 CPUtime=0 cores=1,3,5,7 /proc/23949/task/23959/stat : 23959 (java) S 23946 23949 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115216590 14319751168 475843 18446744073709551615 4194304 4196468 140731512012768 140112855402960 140113379809179 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23960] ppid=23946 vsize=13984132 memory=2868 CPUtime=3.48 cores=1,3,5,7 /proc/23949/task/23960/stat : 23960 (java) S 23946 23949 12395 0 -1 1077944384 32430 0 0 0 343 5 0 0 20 0 15 0 115216590 14319751168 475843 18446744073709551615 4194304 4196468 140731512012768 140112854350064 140113379801730 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23961] ppid=23946 vsize=13984132 memory=1912604 CPUtime=3.83 cores=1,3,5,7 /proc/23949/task/23961/stat : 23961 (java) S 23946 23949 12395 0 -1 1077944384 34916 0 0 0 379 4 0 0 20 0 15 0 115216590 14319751168 475843 18446744073709551615 4194304 4196468 140731512012768 140112853297520 140113379801730 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23962] ppid=23946 vsize=13984132 memory=9036 CPUtime=1.29 cores=1,3,5,7 /proc/23949/task/23962/stat : 23962 (java) S 23946 23949 12395 0 -1 1077944384 39232 0 0 0 125 4 0 0 20 0 15 0 115216590 14319751168 475843 18446744073709551615 4194304 4196468 140731512012768 140112852244464 140113379801730 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23963] ppid=23946 vsize=13984132 memory=57012 CPUtime=0 cores=1,3,5,7 /proc/23949/task/23963/stat : 23963 (java) S 23946 23949 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115216590 14319751168 475843 18446744073709551615 4194304 4196468 140731512012768 140112851192160 140113379800789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23964] ppid=23946 vsize=13984132 memory=1296 CPUtime=1.25 cores=1,3,5,7 /proc/23949/task/23964/stat : 23964 (java) S 23946 23949 12395 0 -1 1077944384 1812 0 0 0 55 70 0 0 20 0 15 0 115216595 14319751168 475843 18446744073709551615 4194304 4196468 140731512012768 140112850140208 140113379801730 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 Current children cumulated CPU time: 2382.51 s Current children cumulated vsize: 13984132 KiB Current children cumulated memory: 1903372 KiB [startup+2382.3 s] /proc/loadavg: 1.33 1.50 1.54 3/213 24217 /proc/meminfo: memFree=25919608/32770624 swapFree=67108860/67108860 [pid=23949] ppid=23946 vsize=13984132 memory=1813312 CPUtime=2444.32 cores=1,3,5,7 /proc/23949/stat : 23949 (java) S 23946 23949 12395 0 -1 1077944320 489081 0 0 0 244079 353 0 0 20 0 15 0 115216575 14319751168 453328 18446744073709551615 4194304 4196468 140731512012768 140731511995312 140113379790583 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 /proc/23949/statm: 3496033 453328 3842 1 0 3484807 0 [pid=23949/tid=23951] ppid=23946 vsize=13984132 memory=16797617098206 CPUtime=2362.86 cores=1,3,5,7 /proc/23949/task/23951/stat : 23951 (java) R 23946 23949 12395 0 -1 4202560 165679 0 0 0 236193 93 0 0 20 0 15 0 115216585 14319751168 453328 18446744073709551615 4194304 4196468 140731512012768 140113384028656 140113002602252 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23952] ppid=23946 vsize=13984132 memory=1813312 CPUtime=17.55 cores=1,3,5,7 /proc/23949/task/23952/stat : 23952 (java) S 23946 23949 12395 0 -1 1077944384 25048 0 0 0 1713 42 0 0 20 0 15 0 115216585 14319751168 453328 18446744073709551615 4194304 4196468 140731512012768 140113314224656 140113379800789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23953] ppid=23946 vsize=13984132 memory=1840928 CPUtime=17.57 cores=1,3,5,7 /proc/23949/task/23953/stat : 23953 (java) S 23946 23949 12395 0 -1 1077944384 25099 0 0 0 1717 40 0 0 20 0 15 0 115216585 14319751168 453328 18446744073709551615 4194304 4196468 140731512012768 140113313172112 140113379800789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23954] ppid=23946 vsize=13984132 memory=1840928 CPUtime=17.54 cores=1,3,5,7 /proc/23949/task/23954/stat : 23954 (java) S 23946 23949 12395 0 -1 1077944384 29115 0 0 0 1713 41 0 0 20 0 15 0 115216585 14319751168 453328 18446744073709551615 4194304 4196468 140731512012768 140113312119056 140113379800789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23955] ppid=23946 vsize=13984132 memory=6003394383169350764 CPUtime=17.57 cores=1,3,5,7 /proc/23949/task/23955/stat : 23955 (java) S 23946 23949 12395 0 -1 1077944384 29280 0 0 0 1715 42 0 0 20 0 15 0 115216585 14319751168 453328 18446744073709551615 4194304 4196468 140731512012768 140113311066512 140113379800789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23956] ppid=23946 vsize=13984132 memory=1840928 CPUtime=1.23 cores=1,3,5,7 /proc/23949/task/23956/stat : 23956 (java) S 23946 23949 12395 0 -1 1077944384 104964 0 0 0 97 26 0 0 20 0 15 0 115216587 14319751168 453328 18446744073709551615 4194304 4196468 140731512012768 140112858561264 140113379801730 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23957] ppid=23946 vsize=13984132 memory=1831692 CPUtime=0 cores=1,3,5,7 /proc/23949/task/23957/stat : 23957 (java) S 23946 23949 12395 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 15 0 115216587 14319751168 453328 18446744073709551615 4194304 4196468 140731512012768 140112857507552 140113379800789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23958] ppid=23946 vsize=13984132 memory=1822544 CPUtime=0 cores=1,3,5,7 /proc/23949/task/23958/stat : 23958 (java) S 23946 23949 12395 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 115216587 14319751168 453328 18446744073709551615 4194304 4196468 140731512012768 140112856454400 140113379800789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23959] ppid=23946 vsize=13984132 memory=1813312 CPUtime=0 cores=1,3,5,7 /proc/23949/task/23959/stat : 23959 (java) S 23946 23949 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115216590 14319751168 453328 18446744073709551615 4194304 4196468 140731512012768 140112855402960 140113379809179 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23960] ppid=23946 vsize=13984132 memory=1813312 CPUtime=3.48 cores=1,3,5,7 /proc/23949/task/23960/stat : 23960 (java) S 23946 23949 12395 0 -1 1077944384 32432 0 0 0 343 5 0 0 20 0 15 0 115216590 14319751168 453328 18446744073709551615 4194304 4196468 140731512012768 140112854350064 140113379801730 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23961] ppid=23946 vsize=13984132 memory=1236 CPUtime=3.83 cores=1,3,5,7 /proc/23949/task/23961/stat : 23961 (java) S 23946 23949 12395 0 -1 1077944384 34918 0 0 0 379 4 0 0 20 0 15 0 115216590 14319751168 453328 18446744073709551615 4194304 4196468 140731512012768 140112853297520 140113379801730 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23962] ppid=23946 vsize=13984132 memory=1813312 CPUtime=1.29 cores=1,3,5,7 /proc/23949/task/23962/stat : 23962 (java) S 23946 23949 12395 0 -1 1077944384 39234 0 0 0 125 4 0 0 20 0 15 0 115216590 14319751168 453328 18446744073709551615 4194304 4196468 140731512012768 140112852244464 140113379801730 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23963] ppid=23946 vsize=13984132 memory=4132 CPUtime=0 cores=1,3,5,7 /proc/23949/task/23963/stat : 23963 (java) S 23946 23949 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115216590 14319751168 453328 18446744073709551615 4194304 4196468 140731512012768 140112851192160 140113379800789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23964] ppid=23946 vsize=13984132 memory=1813312 CPUtime=1.28 cores=1,3,5,7 /proc/23949/task/23964/stat : 23964 (java) S 23946 23949 12395 0 -1 1077944384 1837 0 0 0 56 72 0 0 20 0 15 0 115216595 14319751168 453328 18446744073709551615 4194304 4196468 140731512012768 140112850140208 140113379801730 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 Current children cumulated CPU time: 2444.32 s Current children cumulated vsize: 13984132 KiB Current children cumulated memory: 1813312 KiB [startup+2442.3 s] /proc/loadavg: 1.45 1.50 1.54 3/214 24220 /proc/meminfo: memFree=25867780/32770624 swapFree=67108860/67108860 [pid=23949] ppid=23946 vsize=13984132 memory=1906856 CPUtime=2505.85 cores=1,3,5,7 /proc/23949/stat : 23949 (java) S 23946 23949 12395 0 -1 1077944320 494660 0 0 0 250214 371 0 0 20 0 15 0 115216575 14319751168 476714 18446744073709551615 4194304 4196468 140731512012768 140731511995312 140113379790583 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 /proc/23949/statm: 3496033 476714 3842 1 0 3484807 0 [pid=23949/tid=23951] ppid=23946 vsize=13984132 memory=1917132 CPUtime=2422.3 cores=1,3,5,7 /proc/23949/task/23951/stat : 23951 (java) R 23946 23949 12395 0 -1 4202560 168663 0 0 0 242136 94 0 0 20 0 15 0 115216585 14319751168 476714 18446744073709551615 4194304 4196468 140731512012768 140113384028656 140113002602233 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23952] ppid=23946 vsize=13984132 memory=1906892 CPUtime=18.06 cores=1,3,5,7 /proc/23949/task/23952/stat : 23952 (java) S 23946 23949 12395 0 -1 1077944384 25610 0 0 0 1760 46 0 0 20 0 15 0 115216585 14319751168 476714 18446744073709551615 4194304 4196468 140731512012768 140113314224656 140113379800789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23953] ppid=23946 vsize=13984132 memory=1822544 CPUtime=18.07 cores=1,3,5,7 /proc/23949/task/23953/stat : 23953 (java) S 23946 23949 12395 0 -1 1077944384 25731 0 0 0 1763 44 0 0 20 0 15 0 115216585 14319751168 476714 18446744073709551615 4194304 4196468 140731512012768 140113313172112 140113379800789 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23954] ppid=23946 vsize=13984132 memory=6003394383169350764 CPUtime=18.04 cores=1,3,5,7 /proc/23949/task/23954/stat : 23954 (java) S 23946 23949 12395 0 -1 1077944384 29578 0 0 0 1759 45 0 0 20 0 15 0 115216585 14319751168 476714 18446744073709551615 4194304 4196468 140731512012768 140113312119056 140113379800789 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23955] ppid=23946 vsize=13984132 memory=1880308 CPUtime=18.07 cores=1,3,5,7 /proc/23949/task/23955/stat : 23955 (java) S 23946 23949 12395 0 -1 1077944384 29805 0 0 0 1762 45 0 0 20 0 15 0 115216585 14319751168 476714 18446744073709551615 4194304 4196468 140731512012768 140113311066512 140113379800789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23956] ppid=23946 vsize=13984132 memory=1906928 CPUtime=1.26 cores=1,3,5,7 /proc/23949/task/23956/stat : 23956 (java) S 23946 23949 12395 0 -1 1077944384 105347 0 0 0 100 26 0 0 20 0 15 0 115216587 14319751168 476714 18446744073709551615 4194304 4196468 140731512012768 140112858561264 140113379801730 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23957] ppid=23946 vsize=13984132 memory=1907896 CPUtime=0 cores=1,3,5,7 /proc/23949/task/23957/stat : 23957 (java) S 23946 23949 12395 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 15 0 115216587 14319751168 476714 18446744073709551615 4194304 4196468 140731512012768 140112857507552 140113379800789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23958] ppid=23946 vsize=13984132 memory=1916088 CPUtime=0 cores=1,3,5,7 /proc/23949/task/23958/stat : 23958 (java) S 23946 23949 12395 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 115216587 14319751168 476714 18446744073709551615 4194304 4196468 140731512012768 140112856454400 140113379800789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23959] ppid=23946 vsize=13984132 memory=1906856 CPUtime=0 cores=1,3,5,7 /proc/23949/task/23959/stat : 23959 (java) S 23946 23949 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115216590 14319751168 476714 18446744073709551615 4194304 4196468 140731512012768 140112855402960 140113379809179 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23960] ppid=23946 vsize=13984132 memory=1906856 CPUtime=3.48 cores=1,3,5,7 /proc/23949/task/23960/stat : 23960 (java) S 23946 23949 12395 0 -1 1077944384 32434 0 0 0 343 5 0 0 20 0 15 0 115216590 14319751168 476714 18446744073709551615 4194304 4196468 140731512012768 140112854350064 140113379801730 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23961] ppid=23946 vsize=13984132 memory=1907896 CPUtime=3.83 cores=1,3,5,7 /proc/23949/task/23961/stat : 23961 (java) S 23946 23949 12395 0 -1 1077944384 34920 0 0 0 379 4 0 0 20 0 15 0 115216590 14319751168 476714 18446744073709551615 4194304 4196468 140731512012768 140112853297520 140113379801730 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23962] ppid=23946 vsize=13984132 memory=1906856 CPUtime=1.3 cores=1,3,5,7 /proc/23949/task/23962/stat : 23962 (java) S 23946 23949 12395 0 -1 1077944384 39238 0 0 0 126 4 0 0 20 0 15 0 115216590 14319751168 476714 18446744073709551615 4194304 4196468 140731512012768 140112852244464 140113379801730 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23963] ppid=23946 vsize=13984132 memory=1916088 CPUtime=0 cores=1,3,5,7 /proc/23949/task/23963/stat : 23963 (java) S 23946 23949 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115216590 14319751168 476714 18446744073709551615 4194304 4196468 140731512012768 140112851192160 140113379800789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23964] ppid=23946 vsize=13984132 memory=1907896 CPUtime=1.32 cores=1,3,5,7 /proc/23949/task/23964/stat : 23964 (java) S 23946 23949 12395 0 -1 1077944384 1859 0 0 0 58 74 0 0 20 0 15 0 115216595 14319751168 476714 18446744073709551615 4194304 4196468 140731512012768 140112850140208 140113379801730 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 Current children cumulated CPU time: 2505.85 s Current children cumulated vsize: 13984132 KiB Current children cumulated memory: 1906856 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2456.2 s] /proc/loadavg: 1.35 1.47 1.53 3/214 24221 /proc/meminfo: memFree=25864244/32770624 swapFree=67108860/67108860 [pid=23949] ppid=23946 vsize=13984132 memory=1927300 CPUtime=2520.08 cores=1,3,5,7 /proc/23949/stat : 23949 (java) S 23946 23949 12395 0 -1 1077944320 495035 0 0 0 251632 376 0 0 20 0 15 0 115216575 14319751168 481825 18446744073709551615 4194304 4196468 140731512012768 140731511995312 140113379790583 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 /proc/23949/statm: 3496033 481825 3842 1 0 3484807 0 [pid=23949/tid=23951] ppid=23946 vsize=13984132 memory=288230583166042426 CPUtime=2436.08 cores=1,3,5,7 /proc/23949/task/23951/stat : 23951 (java) R 23946 23949 12395 0 -1 4202560 168823 0 0 0 243513 95 0 0 20 0 15 0 115216585 14319751168 481825 18446744073709551615 4194304 4196468 140731512012768 140113384028608 140113001895781 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23952] ppid=23946 vsize=13984132 memory=14695184197749125 CPUtime=18.17 cores=1,3,5,7 /proc/23949/task/23952/stat : 23952 (java) S 23946 23949 12395 0 -1 1077944384 25675 0 0 0 1770 47 0 0 20 0 15 0 115216585 14319751168 481825 18446744073709551615 4194304 4196468 140731512012768 140113314224656 140113379800789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23953] ppid=23946 vsize=13984132 memory=3178988 CPUtime=18.18 cores=1,3,5,7 /proc/23949/task/23953/stat : 23953 (java) S 23946 23949 12395 0 -1 1077944384 25775 0 0 0 1773 45 0 0 20 0 15 0 115216585 14319751168 481825 18446744073709551615 4194304 4196468 140731512012768 140113313172112 140113379800789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23954] ppid=23946 vsize=13984132 memory=1917060 CPUtime=18.16 cores=1,3,5,7 /proc/23949/task/23954/stat : 23954 (java) S 23946 23949 12395 0 -1 1077944384 29642 0 0 0 1770 46 0 0 20 0 15 0 115216585 14319751168 481825 18446744073709551615 4194304 4196468 140731512012768 140113312119056 140113379800789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23955] ppid=23946 vsize=13984132 memory=1917060 CPUtime=18.18 cores=1,3,5,7 /proc/23949/task/23955/stat : 23955 (java) S 23946 23949 12395 0 -1 1077944384 29845 0 0 0 1772 46 0 0 20 0 15 0 115216585 14319751168 481825 18446744073709551615 4194304 4196468 140731512012768 140113311066512 140113379800789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23956] ppid=23946 vsize=13984132 memory=1012 CPUtime=1.27 cores=1,3,5,7 /proc/23949/task/23956/stat : 23956 (java) S 23946 23949 12395 0 -1 1077944384 105347 0 0 0 100 27 0 0 20 0 15 0 115216587 14319751168 481825 18446744073709551615 4194304 4196468 140731512012768 140112858561264 140113379801730 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23957] ppid=23946 vsize=13984132 memory=1228 CPUtime=0 cores=1,3,5,7 /proc/23949/task/23957/stat : 23957 (java) S 23946 23949 12395 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 15 0 115216587 14319751168 481825 18446744073709551615 4194304 4196468 140731512012768 140112857507552 140113379800789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23958] ppid=23946 vsize=13984132 memory=1992 CPUtime=0 cores=1,3,5,7 /proc/23949/task/23958/stat : 23958 (java) S 23946 23949 12395 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 115216587 14319751168 481825 18446744073709551615 4194304 4196468 140731512012768 140112856454400 140113379800789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23959] ppid=23946 vsize=13984132 memory=12132 CPUtime=0 cores=1,3,5,7 /proc/23949/task/23959/stat : 23959 (java) S 23946 23949 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115216590 14319751168 481825 18446744073709551615 4194304 4196468 140731512012768 140112855402960 140113379809179 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23960] ppid=23946 vsize=13984132 memory=796 CPUtime=3.48 cores=1,3,5,7 /proc/23949/task/23960/stat : 23960 (java) S 23946 23949 12395 0 -1 1077944384 32434 0 0 0 343 5 0 0 20 0 15 0 115216590 14319751168 481825 18446744073709551615 4194304 4196468 140731512012768 140112854350064 140113379801730 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23961] ppid=23946 vsize=13984132 memory=5784 CPUtime=3.83 cores=1,3,5,7 /proc/23949/task/23961/stat : 23961 (java) S 23946 23949 12395 0 -1 1077944384 34920 0 0 0 379 4 0 0 20 0 15 0 115216590 14319751168 481825 18446744073709551615 4194304 4196468 140731512012768 140112853297520 140113379801730 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23962] ppid=23946 vsize=13984132 memory=4612 CPUtime=1.3 cores=1,3,5,7 /proc/23949/task/23962/stat : 23962 (java) S 23946 23949 12395 0 -1 1077944384 39238 0 0 0 126 4 0 0 20 0 15 0 115216590 14319751168 481825 18446744073709551615 4194304 4196468 140731512012768 140112852244464 140113379801730 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23963] ppid=23946 vsize=13984132 memory=1716 CPUtime=0 cores=1,3,5,7 /proc/23949/task/23963/stat : 23963 (java) S 23946 23949 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115216590 14319751168 481825 18446744073709551615 4194304 4196468 140731512012768 140112851192160 140113379800789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 [pid=23949/tid=23964] ppid=23946 vsize=13984132 memory=840 CPUtime=1.33 cores=1,3,5,7 /proc/23949/task/23964/stat : 23964 (java) S 23946 23949 12395 0 -1 1077944384 1861 0 0 0 58 75 0 0 20 0 15 0 115216595 14319751168 481825 18446744073709551615 4194304 4196468 140731512012768 140112850140208 140113379801730 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19918848 140731512017266 140731512017449 140731512017449 140731512020943 0 Current children cumulated CPU time: 2520.08 s Current children cumulated vsize: 13984132 KiB Current children cumulated memory: 1927300 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2456.22 s] # the end of solver process 23949 was just reported to runsolver # cumulated CPU time of all completed processes: user=2516.35 s, system=3.77496 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 2456.22 CPU time (s): 2520.13 CPU user time (s): 2516.35 CPU system time (s): 3.77496 CPU usage (%): 102.602 Max. virtual memory (cumulated for all children) (KiB): 13984132 Max. memory (cumulated for all children) (KiB): 3892836 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2516.35 system time used= 3.77496 maximum resident set size= 3892840 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 497032 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3104 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 79623 involuntary context switches= 4942 # summary of solver processes directly reported to runsolver: # pid: 23949 # total CPU time (s): 2520.13 # total CPU user time (s): 2516.35 # total CPU system time (s): 3.77496 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 13.4458 second user time and 24.5819 second system time The end
Begin job on node135 at 2017-08-14 19:36:59 IDJOB=4274738 IDBENCH=115917 IDSOLVER=2667 FILE ID=node135/4274738-1502733052 RUNJOBID= node135-1502658244-13745 PBS_JOBID= Free space on /tmp= 61988 MiB SOLVER NAME= OscaR - Hybrid 2017-07-26 BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-43.xml COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4274738-1502733052/watcher-4274738-1502733052 -o /tmp/evaluation-result-4274738-1502733052/solver-4274738-1502733052 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502658244-13745 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1201707291 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274738-1502733052.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2bbdfe474604d495dd31c09972612e7d RANDOM SEED=1201707291 node135.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.21 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.21 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.21 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.21 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 27898660 kB MemAvailable: 28920864 kB Buffers: 320544 kB Cached: 997100 kB SwapCached: 0 kB Active: 3840684 kB Inactive: 575640 kB Active(anon): 3099136 kB Inactive(anon): 41324 kB Active(file): 741548 kB Inactive(file): 534316 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42012 kB Writeback: 4 kB AnonPages: 3102548 kB Mapped: 72436 kB Shmem: 41656 kB Slab: 152256 kB SReclaimable: 124352 kB SUnreclaim: 27904 kB KernelStack: 3504 kB PageTables: 11728 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 3717568 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 2965504 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 61948 MiB End job on node135 at 2017-08-14 20:17:55