Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
R1: OscaR - Conflict Ordering 2017-06-30 | SAT (TO) | 519 | 2400.17 | 2344.55 |
Name | StillLife/StillLife-wst-s1/ StillLife-wastage-42.xml |
MD5SUM | f0ae775e0a261424aab5dff09c8fa0c4 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 857 |
Best CPU time to get the best result obtained on this benchmark | 2400.03 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 3917 |
Number of constraints | 2192 |
Number of domains | 4 |
Minimum domain size | 2 |
Maximum domain size | 3873 |
Distribution of domain sizes | [{"size":2,"count":1936},{"size":3,"count":1936},{"size":1765,"count":1},{"size":3873,"count":44}] |
Minimum variable degree | 1 |
Maximum variable degree | 45 |
Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":1933},{"degree":3,"count":47},{"degree":4,"count":168},{"degree":8,"count":164},{"degree":9,"count":1600},{"degree":45,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 46 |
Distribution of constraint arities | [{"arity":2,"count":212},{"arity":3,"count":168},{"arity":10,"count":1764},{"arity":44,"count":4},{"arity":45,"count":1},{"arity":46,"count":43}] |
Number of extensional constraints | 1932 |
Number of intensional constraints | 211 |
Distribution of constraint types | [{"type":"extension","count":1932},{"type":"intension","count":211},{"type":"sum","count":45},{"type":"instantiation","count":4}] |
Optimization problem | YES |
Type of objective | max VAR |
0.43/0.34 c version: 2017-06-30 0.43/0.34 c seed: 407029351 0.43/0.34 c timeout: 2400 0.43/0.34 c memlimit: 15500 0.43/0.34 c nbcore: 8 0.43/0.36 c Parsing instance... 8.04/2.71 c Parsing done, starting search... 13.33/6.73 o 377 13.33/6.74 o 378 13.33/6.74 o 379 13.33/6.74 o 380 13.33/6.75 o 381 13.33/6.75 o 382 13.33/6.76 o 383 13.33/6.76 o 384 13.33/6.76 o 385 13.33/6.77 o 386 13.33/6.77 o 387 13.33/6.77 o 388 13.33/6.77 o 389 13.33/6.78 o 390 13.33/6.78 o 391 13.33/6.78 o 392 13.33/6.78 o 393 13.33/6.79 o 394 13.33/6.79 o 395 13.33/6.79 o 396 13.33/6.79 o 397 13.33/6.79 o 398 13.33/6.80 o 399 13.62/6.80 o 400 13.62/6.80 o 401 13.62/6.80 o 402 13.62/6.80 o 403 13.62/6.80 o 404 13.62/6.81 o 405 13.62/6.81 o 406 13.62/6.81 o 407 13.62/6.81 o 408 13.62/6.81 o 409 13.62/6.82 o 410 13.62/6.82 o 411 13.62/6.82 o 412 13.62/6.82 o 413 13.62/6.82 o 414 13.62/6.82 o 415 13.62/6.83 o 416 13.62/6.83 o 417 13.62/6.83 o 418 13.62/6.83 o 419 13.62/6.83 o 420 13.62/6.84 o 421 13.62/6.84 o 422 13.62/6.84 o 423 13.62/6.84 o 424 13.62/6.85 o 425 13.62/6.85 o 426 13.62/6.85 o 427 13.62/6.85 o 428 13.62/6.85 o 429 13.62/6.86 o 430 13.62/6.86 o 431 13.62/6.86 o 432 13.62/6.86 o 433 13.62/6.87 o 434 13.62/6.87 o 435 13.62/6.87 o 436 13.62/6.87 o 437 13.62/6.87 o 438 13.62/6.88 o 439 13.62/6.88 o 440 13.62/6.88 o 441 13.62/6.88 o 442 13.62/6.88 o 443 13.62/6.88 o 444 13.62/6.89 o 445 13.62/6.89 o 446 13.62/6.89 o 447 13.62/6.89 o 448 13.62/6.89 o 449 13.62/6.90 o 450 13.97/6.90 o 451 13.97/6.90 o 452 13.97/6.90 o 453 13.97/6.90 o 454 13.97/6.90 o 455 13.97/6.90 o 456 13.97/6.91 o 457 13.97/6.91 o 458 13.97/6.91 o 459 13.97/6.91 o 460 13.97/6.91 o 461 13.97/6.92 o 462 13.97/6.92 o 463 13.97/6.92 o 464 13.97/6.92 o 465 13.97/6.92 o 466 13.97/6.93 o 467 13.97/6.93 o 468 13.97/6.93 o 469 13.97/6.93 o 470 13.97/6.93 o 471 13.97/6.94 o 472 13.97/6.94 o 473 13.97/6.94 o 474 13.97/6.94 o 475 13.97/6.95 o 476 13.97/6.95 o 477 13.97/6.95 o 478 13.97/6.95 o 479 13.97/6.95 o 480 13.97/6.96 o 481 13.97/6.96 o 482 13.97/6.96 o 483 13.97/6.97 o 484 13.97/6.97 o 485 13.97/6.97 o 486 13.97/6.97 o 487 13.97/6.97 o 488 13.97/6.98 o 489 13.97/6.98 o 490 13.97/6.98 o 491 13.97/6.98 o 492 13.97/6.99 o 493 13.97/6.99 o 494 13.97/6.99 o 495 13.97/6.99 o 496 14.18/7.00 o 497 14.18/7.00 o 498 14.18/7.00 o 499 14.18/7.01 o 500 14.18/7.01 o 501 14.18/7.01 o 502 14.18/7.01 o 503 14.18/7.02 o 504 14.18/7.02 o 505 14.18/7.02 o 506 14.18/7.02 o 507 14.18/7.03 o 508 14.37/7.12 o 509 14.37/7.12 o 510 14.37/7.12 o 511 14.37/7.13 o 512 32.28/24.39 o 513 43.57/35.48 o 514 68.48/60.18 o 515 68.48/60.19 o 516 68.58/60.28 o 517 69.08/60.73 o 518 72.20/63.90 o 519 2400.09/2344.50 s SATISFIABLE 2400.09/2344.51 v <instantiation> 2400.09/2344.51 v <list> 2400.09/2344.51 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] z 2400.09/2344.51 v </list> 2400.09/2344.51 v <values> 2400.09/2344.51 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 0 0 1 0 1 1 1 1 0 1 0 0 1 1 0 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 1 0 1 0 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 0 1 0 1 1 0 1 0 1 1 1 1 0 1 1 0 0 0 1 0 1 1 0 0 1 0 0 1 0 1 1 0 0 0 1 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 1 1 0 1 1 1 1 0 1 0 1 1 0 1 0 0 0 1 1 0 1 1 0 1 1 1 0 0 1 1 0 0 1 1 1 0 0 1 0 1 1 0 0 0 0 1 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 1 1 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 1 1 0 1 1 1 1 1 0 0 1 1 1 1 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 1 1 0 0 1 1 1 1 0 0 1 1 1 1 0 0 1 1 0 0 1 1 1 1 0 0 0 0 0 1 1 0 1 1 0 1 0 1 1 1 1 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 1 1 1 1 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 1 1 0 0 1 1 1 0 1 1 1 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 1 1 1 1 0 1 0 0 0 1 1 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 1 1 0 1 0 1 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 1 1 0 0 1 0 1 0 0 1 1 1 1 0 0 1 1 0 0 0 1 0 1 0 1 0 0 1 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 0 0 0 1 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 1 1 0 0 0 0 1 1 0 0 1 1 0 0 0 1 0 0 0 1 1 1 1 0 0 1 1 1 0 1 1 1 0 0 0 0 0 1 0 1 1 1 1 1 0 0 1 1 0 0 1 0 0 0 1 0 1 0 0 0 1 1 1 0 0 0 0 1 1 0 0 0 1 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 0 0 1 1 0 1 0 1 1 0 0 0 0 0 0 0 1 1 1 0 0 1 1 0 0 0 0 1 1 0 0 1 0 1 1 0 0 1 1 1 0 0 0 1 0 1 0 0 1 0 1 0 1 0 0 1 0 1 1 1 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 1 1 1 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 1 1 1 0 0 0 0 0 1 1 1 0 1 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 1 1 0 1 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 1 1 0 1 0 0 1 1 1 1 1 0 1 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 1 0 1 1 1 0 1 1 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 1 1 1 0 0 1 1 0 1 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 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 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 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 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 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 1 1 2 2 2 2 1 2 1 2 2 2 1 2 1 2 2 2 1 2 1 2 2 2 1 2 1 2 2 2 1 2 1 1 2 2 2 2 1 1 2 2 1 2 1 1 1 2 1 0 0 0 1 0 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 2 0 2 0 0 0 0 1 1 1 0 0 0 1 0 2 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 1 1 1 0 1 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 1 0 0 0 0 0 1 0 0 0 1 1 0 1 1 0 0 1 1 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 1 1 0 0 1 0 1 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 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 0 0 0 1 0 0 1 0 0 0 0 0 1 1 0 1 0 1 1 0 1 0 1 1 0 0 0 0 0 1 1 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 1 0 1 0 0 0 1 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 1 0 1 0 0 1 0 1 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 2 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 1 1 1 0 1 0 0 1 0 0 0 1 1 0 0 0 1 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 1 0 1 1 0 0 1 0 0 1 0 0 1 1 0 0 1 1 0 1 1 0 0 0 0 0 0 0 1 1 2 0 1 1 1 1 1 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 2 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 2 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 2 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 2 1 0 1 0 0 0 1 0 0 0 1 0 2 0 1 0 0 0 1 2 2 1 0 1 0 1 0 0 2 2 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 1 0 0 1 2 1 0 0 0 0 0 0 0 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 1 0 2 0 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 1 2 0 0 0 1 0 2 0 0 1 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 2 0 0 1 1 2 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 2 2 2 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 2 1 1 2 2 0 0 0 1 0 0 1 0 0 1 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 1 2 0 1 0 0 0 1 0 0 1 1 0 0 0 1 1 1 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 2 2 1 1 0 1 2 2 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 0 0 2 1 1 0 1 0 1 0 0 0 0 1 1 1 0 1 1 1 2 0 0 1 1 1 2 1 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 1 0 0 0 1 1 1 0 0 0 1 1 1 0 0 0 1 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 0 1 0 1 1 2 0 1 0 1 1 2 0 1 0 1 1 2 0 1 0 1 1 2 0 1 0 1 0 1 0 0 1 0 0 0 0 1 0 0 1 0 1 1 1 0 1 0 1 1 1 0 1 0 1 1 1 0 1 0 1 1 1 0 1 0 1 1 1 0 1 0 1 0 1 1 0 0 42 128 214 300 386 472 558 644 730 816 902 988 1074 1146 1164 1174 1196 1213 1219 1236 1251 1269 1290 1305 1313 1322 1331 1342 1358 1379 1397 1409 1422 1439 1455 1468 1479 1491 1502 1523 1551 1567 1595 1620 519 2400.09/2344.51 v </values> 2400.09/2344.51 v </instantiation>
OK 519
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4244826-1500693178/watcher-4244826-1500693178 -o /tmp/evaluation-result-4244826-1500693178/solver-4244826-1500693178 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node120-1500683657-8761 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 407029351 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4244826-1500693178.xml pid=10105 running on 8 cores: 0,2,4,6,8,10,12,14 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.51 1.39 1.45 6/261 10108 /proc/meminfo: memFree=31340656/32770624 swapFree=5804/266064 [pid=10108] ppid=10105 vsize=361196 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/10108/stat : 10108 (java) S 10105 10108 8730 0 -1 1077944320 1718 0 0 0 0 0 0 0 20 0 2 0 4586051 369864704 1926 33554432000 4194304 4196468 140727056538736 140727056521280 140462486462199 0 0 0 16784584 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 /proc/10108/statm: 90299 1926 1072 1 0 79210 0 [pid=10108/tid=10109] ppid=10105 vsize=361196 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10109/stat : 10109 (java) S 10105 10108 8730 0 -1 1077944384 401 0 0 0 0 0 0 0 20 0 2 0 4586052 369864704 1926 33554432000 4194304 4196468 140727056538736 140462490704288 140462486473346 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [startup+0.100064 s] /proc/loadavg: 1.51 1.39 1.45 6/261 10108 /proc/meminfo: memFree=31340656/32770624 swapFree=5804/266064 [pid=10108] ppid=10105 vsize=13261040 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/10108/stat : 10108 (java) S 10105 10108 8730 0 -1 1077944320 5924 0 0 0 9 1 0 0 20 0 20 0 4586051 13579304960 5703 33554432000 4194304 4196468 140727056538736 140727056521280 140462486462199 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 /proc/10108/statm: 3315260 5703 2601 1 0 3303698 0 [pid=10108/tid=10109] ppid=10105 vsize=13261040 CPUtime=0.08 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10109/stat : 10109 (java) R 10105 10108 8730 0 -1 4202560 3997 0 0 0 8 0 0 0 20 0 20 0 4586052 13579304960 5703 33554432000 4194304 4196468 140727056538736 140462490700208 140462486474134 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 13261040 [startup+0.200415 s] /proc/loadavg: 1.51 1.39 1.45 6/261 10108 /proc/meminfo: memFree=31340656/32770624 swapFree=5804/266064 [pid=10108] ppid=10105 vsize=13263912 CPUtime=0.27 cores=0,2,4,6,8,10,12,14 /proc/10108/stat : 10108 (java) S 10105 10108 8730 0 -1 1077944320 8928 0 0 0 25 2 0 0 20 0 20 0 4586051 13582245888 8967 33554432000 4194304 4196468 140727056538736 140727056521280 140462486462199 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 /proc/10108/statm: 3315978 8967 3515 1 0 3303698 0 [pid=10108/tid=10109] ppid=10105 vsize=13263912 CPUtime=0.18 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10109/stat : 10109 (java) R 10105 10108 8730 0 -1 4202560 6691 0 0 0 17 1 0 0 20 0 20 0 4586052 13582245888 8967 33554432000 4194304 4196468 140727056538736 140462490685712 140462486484125 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 13263912 [startup+0.300422 s] /proc/loadavg: 1.51 1.39 1.45 6/261 10108 /proc/meminfo: memFree=31340656/32770624 swapFree=5804/266064 [pid=10108] ppid=10105 vsize=13263912 CPUtime=0.43 cores=0,2,4,6,8,10,12,14 /proc/10108/stat : 10108 (java) S 10105 10108 8730 0 -1 1077944320 9672 0 0 0 40 3 0 0 20 0 20 0 4586051 13582245888 10553 33554432000 4194304 4196468 140727056538736 140727056521280 140462486462199 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 /proc/10108/statm: 3315978 10553 3625 1 0 3303698 0 [pid=10108/tid=10109] ppid=10105 vsize=13263912 CPUtime=0.28 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10109/stat : 10109 (java) R 10105 10108 8730 0 -1 4202560 7174 0 0 0 26 2 0 0 20 0 20 0 4586052 13582245888 10553 33554432000 4194304 4196468 140727056538736 140462490685008 140462470542686 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 Current children cumulated CPU time (s) 0.43 Current children cumulated vsize (KiB) 13263912 [startup+0.700199 s] /proc/loadavg: 1.51 1.39 1.45 6/261 10108 /proc/meminfo: memFree=31340656/32770624 swapFree=5804/266064 [pid=10108] ppid=10105 vsize=13265980 CPUtime=1.41 cores=0,2,4,6,8,10,12,14 /proc/10108/stat : 10108 (java) S 10105 10108 8730 0 -1 1077944320 12709 0 0 0 136 5 0 0 20 0 20 0 4586051 13584363520 18577 33554432000 4194304 4196468 140727056538736 140727056521280 140462486462199 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 /proc/10108/statm: 3316495 18577 3758 1 0 3304210 0 [pid=10108/tid=10109] ppid=10105 vsize=13265980 CPUtime=0.68 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10109/stat : 10109 (java) R 10105 10108 8730 0 -1 4202560 8485 0 0 0 64 4 0 0 20 0 20 0 4586052 13584363520 18577 33554432000 4194304 4196468 140727056538736 140462490695664 140462091490263 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 Current children cumulated CPU time (s) 1.41 Current children cumulated vsize (KiB) 13265980 [startup+1.50074 s] /proc/loadavg: 1.51 1.39 1.45 5/281 10128 /proc/meminfo: memFree=31211328/32770624 swapFree=5804/266100 [pid=10108] ppid=10105 vsize=13270076 CPUtime=4.61 cores=0,2,4,6,8,10,12,14 /proc/10108/stat : 10108 (java) S 10105 10108 8730 0 -1 1077944320 28777 0 0 0 451 10 0 0 20 0 20 0 4586051 13588557824 51391 33554432000 4194304 4196468 140727056538736 140727056521280 140462486462199 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 /proc/10108/statm: 3317519 51391 3791 1 0 3305234 0 [pid=10108/tid=10109] ppid=10105 vsize=13270076 CPUtime=1.47 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10109/stat : 10109 (java) R 10105 10108 8730 0 -1 4202560 11660 0 0 0 141 6 0 0 20 0 20 0 4586052 13588557824 51391 33554432000 4194304 4196468 140727056538736 140462490696456 140462486474134 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10111] ppid=10105 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10111/stat : 10111 (java) S 10105 10108 8730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4586053 13588557824 51391 33554432000 4194304 4196468 140727056538736 140462418598544 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10112] ppid=10105 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10112/stat : 10112 (java) S 10105 10108 8730 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4586053 13588557824 51391 33554432000 4194304 4196468 140727056538736 140462417545744 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10113] ppid=10105 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10113/stat : 10113 (java) S 10105 10108 8730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4586053 13588557824 51391 33554432000 4194304 4196468 140727056538736 140462416492944 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10114] ppid=10105 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10114/stat : 10114 (java) S 10105 10108 8730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4586053 13588557824 51391 33554432000 4194304 4196468 140727056538736 140462415440144 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10115] ppid=10105 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10115/stat : 10115 (java) S 10105 10108 8730 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4586053 13588557824 51391 33554432000 4194304 4196468 140727056538736 140462414388368 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10116] ppid=10105 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10116/stat : 10116 (java) S 10105 10108 8730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4586053 13588557824 51391 33554432000 4194304 4196468 140727056538736 140462413335568 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10117] ppid=10105 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10117/stat : 10117 (java) S 10105 10108 8730 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4586053 13588557824 51391 33554432000 4194304 4196468 140727056538736 140462412282768 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10118] ppid=10105 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10118/stat : 10118 (java) S 10105 10108 8730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4586053 13588557824 51391 33554432000 4194304 4196468 140727056538736 140462411229968 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10119] ppid=10105 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10119/stat : 10119 (java) S 10105 10108 8730 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 4586054 13588557824 51391 33554432000 4194304 4196468 140727056538736 140461680736624 140462486473346 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10120] ppid=10105 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10120/stat : 10120 (java) S 10105 10108 8730 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4586055 13588557824 51391 33554432000 4194304 4196468 140727056538736 140461679682592 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10121] ppid=10105 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10121/stat : 10121 (java) S 10105 10108 8730 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4586055 13588557824 51391 33554432000 4194304 4196468 140727056538736 140461678629744 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10122] ppid=10105 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10122/stat : 10122 (java) S 10105 10108 8730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4586059 13588557824 51391 33554432000 4194304 4196468 140727056538736 140461677578064 140462486480795 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10123] ppid=10105 vsize=13270076 CPUtime=0.92 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10123/stat : 10123 (java) R 10105 10108 8730 0 -1 4202560 3569 0 0 0 92 0 0 0 20 0 20 0 4586059 13588557824 51903 33554432000 4194304 4196468 140727056538736 140461676507256 140462469873081 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10124] ppid=10105 vsize=13270076 CPUtime=0.66 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10124/stat : 10124 (java) R 10105 10108 8730 0 -1 4202560 2705 0 0 0 66 0 0 0 20 0 20 0 4586059 13588557824 51903 33554432000 4194304 4196468 140727056538736 140461675473648 140462470856075 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10125] ppid=10105 vsize=13270076 CPUtime=0.64 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10125/stat : 10125 (java) R 10105 10108 8730 0 -1 4202560 3560 0 0 0 64 0 0 0 20 0 20 0 4586059 13588557824 51903 33554432000 4194304 4196468 140727056538736 140461674401864 140462478699326 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10126] ppid=10105 vsize=13270076 CPUtime=0.87 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10126/stat : 10126 (java) R 10105 10108 8730 0 -1 4202560 5882 0 0 0 86 1 0 0 20 0 20 0 4586059 13588557824 51903 33554432000 4194304 4196468 140727056538736 140461673368048 140462465597693 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10127] ppid=10105 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10127/stat : 10127 (java) S 10105 10108 8730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4586060 13588557824 51903 33554432000 4194304 4196468 140727056538736 140461672315488 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10128] ppid=10105 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10128/stat : 10128 (java) S 10105 10108 8730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4586060 13588557824 51903 33554432000 4194304 4196468 140727056538736 140461603809840 140462486473346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 Current children cumulated CPU time (s) 4.61 Current children cumulated vsize (KiB) 13270076 [startup+3.10109 s] /proc/loadavg: 1.51 1.39 1.45 10/281 10128 /proc/meminfo: memFree=30882768/32770624 swapFree=5804/266104 [pid=10108] ppid=10105 vsize=13270076 CPUtime=9.21 cores=0,2,4,6,8,10,12,14 /proc/10108/stat : 10108 (java) S 10105 10108 8730 0 -1 1077944320 36479 0 0 0 824 97 0 0 20 0 20 0 4586051 13588557824 127713 33554432000 4194304 4196468 140727056538736 140727056521280 140462486462199 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 /proc/10108/statm: 3317519 127713 3827 1 0 3305234 0 [pid=10108/tid=10109] ppid=10105 vsize=13270076 CPUtime=2.86 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10109/stat : 10109 (java) R 10105 10108 8730 0 -1 4202560 12895 0 0 0 277 9 0 0 20 0 20 0 4586052 13588557824 127713 33554432000 4194304 4196468 140727056538736 140462490700216 140462486474134 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10111] ppid=10105 vsize=13270076 CPUtime=0.17 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10111/stat : 10111 (java) S 10105 10108 8730 0 -1 1077944384 265 0 0 0 7 10 0 0 20 0 20 0 4586053 13588557824 127713 33554432000 4194304 4196468 140727056538736 140462418598544 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10112] ppid=10105 vsize=13270076 CPUtime=0.18 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10112/stat : 10112 (java) S 10105 10108 8730 0 -1 1077944384 1036 0 0 0 8 10 0 0 20 0 20 0 4586053 13588557824 127713 33554432000 4194304 4196468 140727056538736 140462417545744 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10113] ppid=10105 vsize=13270076 CPUtime=0.17 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10113/stat : 10113 (java) S 10105 10108 8730 0 -1 1077944384 227 0 0 0 7 10 0 0 20 0 20 0 4586053 13588557824 127713 33554432000 4194304 4196468 140727056538736 140462416492944 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10114] ppid=10105 vsize=13270076 CPUtime=0.17 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10114/stat : 10114 (java) S 10105 10108 8730 0 -1 1077944384 139 0 0 0 8 9 0 0 20 0 20 0 4586053 13588557824 127713 33554432000 4194304 4196468 140727056538736 140462415440144 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10115] ppid=10105 vsize=13270076 CPUtime=0.18 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10115/stat : 10115 (java) S 10105 10108 8730 0 -1 1077944384 126 0 0 0 8 10 0 0 20 0 20 0 4586053 13588557824 127713 33554432000 4194304 4196468 140727056538736 140462414388368 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10116] ppid=10105 vsize=13270076 CPUtime=0.16 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10116/stat : 10116 (java) S 10105 10108 8730 0 -1 1077944384 152 0 0 0 7 9 0 0 20 0 20 0 4586053 13588557824 127713 33554432000 4194304 4196468 140727056538736 140462413335568 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10117] ppid=10105 vsize=13270076 CPUtime=0.17 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10117/stat : 10117 (java) S 10105 10108 8730 0 -1 1077944384 129 0 0 0 7 10 0 0 20 0 20 0 4586053 13588557824 127713 33554432000 4194304 4196468 140727056538736 140462412282768 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10118] ppid=10105 vsize=13270076 CPUtime=0.17 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10118/stat : 10118 (java) S 10105 10108 8730 0 -1 1077944384 107 0 0 0 7 10 0 0 20 0 20 0 4586053 13588557824 127713 33554432000 4194304 4196468 140727056538736 140462411229968 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10119] ppid=10105 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10119/stat : 10119 (java) S 10105 10108 8730 0 -1 1077944384 553 0 0 0 1 0 0 0 20 0 20 0 4586054 13588557824 127713 33554432000 4194304 4196468 140727056538736 140461680736624 140462486473346 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10120] ppid=10105 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10120/stat : 10120 (java) S 10105 10108 8730 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 4586055 13588557824 127713 33554432000 4194304 4196468 140727056538736 140461679682656 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10121] ppid=10105 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10121/stat : 10121 (java) S 10105 10108 8730 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 20 0 4586055 13588557824 127713 33554432000 4194304 4196468 140727056538736 140461678629760 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10122] ppid=10105 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10122/stat : 10122 (java) S 10105 10108 8730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4586059 13588557824 127713 33554432000 4194304 4196468 140727056538736 140461677578064 140462486480795 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10123] ppid=10105 vsize=13270076 CPUtime=1.74 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10123/stat : 10123 (java) R 10105 10108 8730 0 -1 4202560 5272 0 0 0 174 0 0 0 20 0 20 0 4586059 13588557824 127713 33554432000 4194304 4196468 140727056538736 140461676518368 140462486483546 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10124] ppid=10105 vsize=13270076 CPUtime=1.02 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10124/stat : 10124 (java) S 10105 10108 8730 0 -1 1077944384 3459 0 0 0 102 0 0 0 20 0 20 0 4586059 13588557824 127713 33554432000 4194304 4196468 140727056538736 140461675473648 140462486473346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10125] ppid=10105 vsize=13270076 CPUtime=1.05 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10125/stat : 10125 (java) S 10105 10108 8730 0 -1 1077944384 4249 0 0 0 105 0 0 0 20 0 20 0 4586059 13588557824 127713 33554432000 4194304 4196468 140727056538736 140461674420848 140462486473346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10126] ppid=10105 vsize=13270076 CPUtime=1 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10126/stat : 10126 (java) S 10105 10108 8730 0 -1 1077944384 6422 0 0 0 98 2 0 0 20 0 20 0 4586059 13588557824 127713 33554432000 4194304 4196468 140727056538736 140461673368048 140462486473346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10127] ppid=10105 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10127/stat : 10127 (java) S 10105 10108 8730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4586060 13588557824 127713 33554432000 4194304 4196468 140727056538736 140461672315488 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10128] ppid=10105 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10128/stat : 10128 (java) S 10105 10108 8730 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 4586060 13588557824 127713 33554432000 4194304 4196468 140727056538736 140461603809840 140462486473346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 Current children cumulated CPU time (s) 9.21 Current children cumulated vsize (KiB) 13270076 [startup+6.30077 s] /proc/loadavg: 1.55 1.40 1.45 3/281 10128 /proc/meminfo: memFree=30467244/32770624 swapFree=5804/266104 [pid=10108] ppid=10105 vsize=13270076 CPUtime=12.65 cores=0,2,4,6,8,10,12,14 /proc/10108/stat : 10108 (java) S 10105 10108 8730 0 -1 1077944320 36742 0 0 0 1163 102 0 0 20 0 20 0 4586051 13588557824 177927 33554432000 4194304 4196468 140727056538736 140727056521280 140462486462199 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 /proc/10108/statm: 3317519 177927 3827 1 0 3305234 0 [pid=10108/tid=10109] ppid=10105 vsize=13270076 CPUtime=6.06 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10109/stat : 10109 (java) R 10105 10108 8730 0 -1 4202560 13054 0 0 0 592 14 0 0 20 0 20 0 4586052 13588557824 177927 33554432000 4194304 4196468 140727056538736 140462490697248 140462100003020 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10111] ppid=10105 vsize=13270076 CPUtime=0.17 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10111/stat : 10111 (java) S 10105 10108 8730 0 -1 1077944384 265 0 0 0 7 10 0 0 20 0 20 0 4586053 13588557824 177927 33554432000 4194304 4196468 140727056538736 140462418598544 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10112] ppid=10105 vsize=13270076 CPUtime=0.18 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10112/stat : 10112 (java) S 10105 10108 8730 0 -1 1077944384 1036 0 0 0 8 10 0 0 20 0 20 0 4586053 13588557824 177927 33554432000 4194304 4196468 140727056538736 140462417545744 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10113] ppid=10105 vsize=13270076 CPUtime=0.17 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10113/stat : 10113 (java) S 10105 10108 8730 0 -1 1077944384 227 0 0 0 7 10 0 0 20 0 20 0 4586053 13588557824 177927 33554432000 4194304 4196468 140727056538736 140462416492944 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10114] ppid=10105 vsize=13270076 CPUtime=0.17 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10114/stat : 10114 (java) S 10105 10108 8730 0 -1 1077944384 139 0 0 0 8 9 0 0 20 0 20 0 4586053 13588557824 177927 33554432000 4194304 4196468 140727056538736 140462415440144 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10115] ppid=10105 vsize=13270076 CPUtime=0.18 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10115/stat : 10115 (java) S 10105 10108 8730 0 -1 1077944384 126 0 0 0 8 10 0 0 20 0 20 0 4586053 13588557824 177927 33554432000 4194304 4196468 140727056538736 140462414388368 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10116] ppid=10105 vsize=13270076 CPUtime=0.16 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10116/stat : 10116 (java) S 10105 10108 8730 0 -1 1077944384 152 0 0 0 7 9 0 0 20 0 20 0 4586053 13588557824 177927 33554432000 4194304 4196468 140727056538736 140462413335568 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10117] ppid=10105 vsize=13270076 CPUtime=0.17 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10117/stat : 10117 (java) S 10105 10108 8730 0 -1 1077944384 129 0 0 0 7 10 0 0 20 0 20 0 4586053 13588557824 177927 33554432000 4194304 4196468 140727056538736 140462412282768 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10118] ppid=10105 vsize=13270076 CPUtime=0.17 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10118/stat : 10118 (java) S 10105 10108 8730 0 -1 1077944384 107 0 0 0 7 10 0 0 20 0 20 0 4586053 13588557824 177927 33554432000 4194304 4196468 140727056538736 140462411229968 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10119] ppid=10105 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10119/stat : 10119 (java) S 10105 10108 8730 0 -1 1077944384 554 0 0 0 1 0 0 0 20 0 20 0 4586054 13588557824 177927 33554432000 4194304 4196468 140727056538736 140461680736624 140462486473346 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10120] ppid=10105 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10120/stat : 10120 (java) S 10105 10108 8730 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 4586055 13588557824 177927 33554432000 4194304 4196468 140727056538736 140461679682656 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10121] ppid=10105 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10121/stat : 10121 (java) S 10105 10108 8730 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 20 0 4586055 13588557824 177927 33554432000 4194304 4196468 140727056538736 140461678629760 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10122] ppid=10105 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 ################ # More data... # ################ [pid=10108/tid=10124] ppid=10105 vsize=13270076 CPUtime=1.43 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10124/stat : 10124 (java) S 10105 10108 8730 0 -1 1077944384 5315 0 0 0 142 1 0 0 20 0 20 0 4586059 13588557824 772843 33554432000 4194304 4196468 140727056538736 140461675473648 140462486473346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10125] ppid=10105 vsize=13270076 CPUtime=1.41 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10125/stat : 10125 (java) S 10105 10108 8730 0 -1 1077944384 4587 0 0 0 140 1 0 0 20 0 20 0 4586059 13588557824 772843 33554432000 4194304 4196468 140727056538736 140461674420848 140462486473346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10126] ppid=10105 vsize=13270076 CPUtime=1.09 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10126/stat : 10126 (java) S 10105 10108 8730 0 -1 1077944384 6819 0 0 0 106 3 0 0 20 0 20 0 4586059 13588557824 772843 33554432000 4194304 4196468 140727056538736 140461673368048 140462486473346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10127] ppid=10105 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10127/stat : 10127 (java) S 10105 10108 8730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4586060 13588557824 772843 33554432000 4194304 4196468 140727056538736 140461672315488 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10128] ppid=10105 vsize=13270076 CPUtime=1.19 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10128/stat : 10128 (java) S 10105 10108 8730 0 -1 1077944384 1632 0 0 0 62 57 0 0 20 0 20 0 4586060 13588557824 772843 33554432000 4194304 4196468 140727056538736 140461603809840 140462486473346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 Current children cumulated CPU time (s) 2315.62 Current children cumulated vsize (KiB) 13270076 [startup+2322.3 s] /proc/loadavg: 1.36 1.32 1.38 3/282 10199 /proc/meminfo: memFree=25513544/32770624 swapFree=5804/268328 [pid=10108] ppid=10105 vsize=13270076 CPUtime=2377.18 cores=0,2,4,6,8,10,12,14 /proc/10108/stat : 10108 (java) S 10105 10108 8730 0 -1 1077944320 257636 0 0 0 237249 469 0 0 20 0 20 0 4586051 13588557824 773867 33554432000 4194304 4196468 140727056538736 140727056521280 140462486462199 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 /proc/10108/statm: 3317519 773867 3839 1 0 3305234 0 [pid=10108/tid=10109] ppid=10105 vsize=13270076 CPUtime=2309 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10109/stat : 10109 (java) R 10105 10108 8730 0 -1 4202560 86824 0 0 0 230831 69 0 0 20 0 20 0 4586052 13588557824 773867 33554432000 4194304 4196468 140727056538736 140462490700496 140462100615719 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10111] ppid=10105 vsize=13270076 CPUtime=7.21 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10111/stat : 10111 (java) S 10105 10108 8730 0 -1 1077944384 12753 0 0 0 677 44 0 0 20 0 20 0 4586053 13588557824 773867 33554432000 4194304 4196468 140727056538736 140462418598544 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10112] ppid=10105 vsize=13270076 CPUtime=7.28 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10112/stat : 10112 (java) S 10105 10108 8730 0 -1 1077944384 17290 0 0 0 681 47 0 0 20 0 20 0 4586053 13588557824 773867 33554432000 4194304 4196468 140727056538736 140462417545744 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10113] ppid=10105 vsize=13270076 CPUtime=7.18 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10113/stat : 10113 (java) S 10105 10108 8730 0 -1 1077944384 15140 0 0 0 675 43 0 0 20 0 20 0 4586053 13588557824 773867 33554432000 4194304 4196468 140727056538736 140462416492944 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10114] ppid=10105 vsize=13270076 CPUtime=7.15 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10114/stat : 10114 (java) S 10105 10108 8730 0 -1 1077944384 14885 0 0 0 674 41 0 0 20 0 20 0 4586053 13588557824 773867 33554432000 4194304 4196468 140727056538736 140462415440144 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10115] ppid=10105 vsize=13270076 CPUtime=7.26 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10115/stat : 10115 (java) S 10105 10108 8730 0 -1 1077944384 16862 0 0 0 684 42 0 0 20 0 20 0 4586053 13588557824 773867 33554432000 4194304 4196468 140727056538736 140462414388368 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10116] ppid=10105 vsize=13270076 CPUtime=7.11 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10116/stat : 10116 (java) S 10105 10108 8730 0 -1 1077944384 15472 0 0 0 670 41 0 0 20 0 20 0 4586053 13588557824 773867 33554432000 4194304 4196468 140727056538736 140462413335568 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10117] ppid=10105 vsize=13270076 CPUtime=7.26 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10117/stat : 10117 (java) S 10105 10108 8730 0 -1 1077944384 14505 0 0 0 682 44 0 0 20 0 20 0 4586053 13588557824 773867 33554432000 4194304 4196468 140727056538736 140462412282768 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10118] ppid=10105 vsize=13270076 CPUtime=7.15 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10118/stat : 10118 (java) S 10105 10108 8730 0 -1 1077944384 15238 0 0 0 668 47 0 0 20 0 20 0 4586053 13588557824 773867 33554432000 4194304 4196468 140727056538736 140462411229968 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10119] ppid=10105 vsize=13270076 CPUtime=3.23 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10119/stat : 10119 (java) S 10105 10108 8730 0 -1 1077944384 23150 0 0 0 296 27 0 0 20 0 20 0 4586054 13588557824 773867 33554432000 4194304 4196468 140727056538736 140461680736624 140462486473346 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10120] ppid=10105 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10120/stat : 10120 (java) S 10105 10108 8730 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 4586055 13588557824 773867 33554432000 4194304 4196468 140727056538736 140461679682656 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10121] ppid=10105 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10121/stat : 10121 (java) S 10105 10108 8730 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 20 0 4586055 13588557824 773867 33554432000 4194304 4196468 140727056538736 140461678629760 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10122] ppid=10105 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10122/stat : 10122 (java) S 10105 10108 8730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4586059 13588557824 773867 33554432000 4194304 4196468 140727056538736 140461677578064 140462486480795 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10123] ppid=10105 vsize=13270076 CPUtime=2.07 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10123/stat : 10123 (java) S 10105 10108 8730 0 -1 1077944384 5678 0 0 0 206 1 0 0 20 0 20 0 4586059 13588557824 773867 33554432000 4194304 4196468 140727056538736 140461676526448 140462486473346 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10124] ppid=10105 vsize=13270076 CPUtime=1.43 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10124/stat : 10124 (java) S 10105 10108 8730 0 -1 1077944384 5326 0 0 0 142 1 0 0 20 0 20 0 4586059 13588557824 773867 33554432000 4194304 4196468 140727056538736 140461675473648 140462486473346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10125] ppid=10105 vsize=13270076 CPUtime=1.41 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10125/stat : 10125 (java) S 10105 10108 8730 0 -1 1077944384 4592 0 0 0 140 1 0 0 20 0 20 0 4586059 13588557824 773867 33554432000 4194304 4196468 140727056538736 140461674420848 140462486473346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10126] ppid=10105 vsize=13270076 CPUtime=1.09 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10126/stat : 10126 (java) S 10105 10108 8730 0 -1 1077944384 6823 0 0 0 106 3 0 0 20 0 20 0 4586059 13588557824 773867 33554432000 4194304 4196468 140727056538736 140461673368048 140462486473346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10127] ppid=10105 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10127/stat : 10127 (java) S 10105 10108 8730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4586060 13588557824 773867 33554432000 4194304 4196468 140727056538736 140461672315488 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10128] ppid=10105 vsize=13270076 CPUtime=1.22 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10128/stat : 10128 (java) S 10105 10108 8730 0 -1 1077944384 1669 0 0 0 63 59 0 0 20 0 20 0 4586060 13588557824 773867 33554432000 4194304 4196468 140727056538736 140461603809840 140462486473346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 Current children cumulated CPU time (s) 2377.18 Current children cumulated vsize (KiB) 13270076 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2344.5 s] /proc/loadavg: 1.33 1.32 1.38 3/282 10200 /proc/meminfo: memFree=25510740/32770624 swapFree=5804/268352 [pid=10108] ppid=10105 vsize=13270076 CPUtime=2400.09 cores=0,2,4,6,8,10,12,14 /proc/10108/stat : 10108 (java) S 10105 10108 8730 0 -1 1077944320 260151 0 0 0 239537 472 0 0 20 0 20 0 4586051 13588557824 773867 33554432000 4194304 4196468 140727056538736 140727056521280 140462486462199 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 /proc/10108/statm: 3317519 773867 3839 1 0 3305234 0 [pid=10108/tid=10109] ppid=10105 vsize=13270076 CPUtime=2331.01 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10109/stat : 10109 (java) R 10105 10108 8730 0 -1 4202560 87472 0 0 0 233032 69 0 0 20 0 20 0 4586052 13588557824 773867 33554432000 4194304 4196468 140727056538736 140462490700560 140462099886848 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10111] ppid=10105 vsize=13270076 CPUtime=7.3 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10111/stat : 10111 (java) S 10105 10108 8730 0 -1 1077944384 12840 0 0 0 686 44 0 0 20 0 20 0 4586053 13588557824 773867 33554432000 4194304 4196468 140727056538736 140462418598544 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10112] ppid=10105 vsize=13270076 CPUtime=7.4 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10112/stat : 10112 (java) S 10105 10108 8730 0 -1 1077944384 17359 0 0 0 693 47 0 0 20 0 20 0 4586053 13588557824 773867 33554432000 4194304 4196468 140727056538736 140462417545744 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10113] ppid=10105 vsize=13270076 CPUtime=7.29 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10113/stat : 10113 (java) S 10105 10108 8730 0 -1 1077944384 15302 0 0 0 686 43 0 0 20 0 20 0 4586053 13588557824 773867 33554432000 4194304 4196468 140727056538736 140462416492944 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10114] ppid=10105 vsize=13270076 CPUtime=7.25 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10114/stat : 10114 (java) S 10105 10108 8730 0 -1 1077944384 14936 0 0 0 684 41 0 0 20 0 20 0 4586053 13588557824 773867 33554432000 4194304 4196468 140727056538736 140462415440144 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10115] ppid=10105 vsize=13270076 CPUtime=7.37 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10115/stat : 10115 (java) S 10105 10108 8730 0 -1 1077944384 17445 0 0 0 695 42 0 0 20 0 20 0 4586053 13588557824 773867 33554432000 4194304 4196468 140727056538736 140462414388368 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10116] ppid=10105 vsize=13270076 CPUtime=7.2 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10116/stat : 10116 (java) S 10105 10108 8730 0 -1 1077944384 15585 0 0 0 679 41 0 0 20 0 20 0 4586053 13588557824 773867 33554432000 4194304 4196468 140727056538736 140462413335568 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10117] ppid=10105 vsize=13270076 CPUtime=7.37 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10117/stat : 10117 (java) S 10105 10108 8730 0 -1 1077944384 14659 0 0 0 693 44 0 0 20 0 20 0 4586053 13588557824 773867 33554432000 4194304 4196468 140727056538736 140462412282768 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10118] ppid=10105 vsize=13270076 CPUtime=7.26 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10118/stat : 10118 (java) S 10105 10108 8730 0 -1 1077944384 15597 0 0 0 678 48 0 0 20 0 20 0 4586053 13588557824 773867 33554432000 4194304 4196468 140727056538736 140462411229968 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10119] ppid=10105 vsize=13270076 CPUtime=3.27 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10119/stat : 10119 (java) S 10105 10108 8730 0 -1 1077944384 23411 0 0 0 300 27 0 0 20 0 20 0 4586054 13588557824 773867 33554432000 4194304 4196468 140727056538736 140461680736624 140462486473346 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10120] ppid=10105 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10120/stat : 10120 (java) S 10105 10108 8730 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 4586055 13588557824 773867 33554432000 4194304 4196468 140727056538736 140461679682656 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10121] ppid=10105 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10121/stat : 10121 (java) S 10105 10108 8730 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 20 0 4586055 13588557824 773867 33554432000 4194304 4196468 140727056538736 140461678629760 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10122] ppid=10105 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10122/stat : 10122 (java) S 10105 10108 8730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4586059 13588557824 773867 33554432000 4194304 4196468 140727056538736 140461677578064 140462486480795 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10123] ppid=10105 vsize=13270076 CPUtime=2.07 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10123/stat : 10123 (java) S 10105 10108 8730 0 -1 1077944384 5681 0 0 0 206 1 0 0 20 0 20 0 4586059 13588557824 773867 33554432000 4194304 4196468 140727056538736 140461676526448 140462486473346 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10124] ppid=10105 vsize=13270076 CPUtime=1.43 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10124/stat : 10124 (java) S 10105 10108 8730 0 -1 1077944384 5328 0 0 0 142 1 0 0 20 0 20 0 4586059 13588557824 773867 33554432000 4194304 4196468 140727056538736 140461675473648 140462486473346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10125] ppid=10105 vsize=13270076 CPUtime=1.41 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10125/stat : 10125 (java) S 10105 10108 8730 0 -1 1077944384 4594 0 0 0 140 1 0 0 20 0 20 0 4586059 13588557824 773867 33554432000 4194304 4196468 140727056538736 140461674420848 140462486473346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10126] ppid=10105 vsize=13270076 CPUtime=1.09 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10126/stat : 10126 (java) S 10105 10108 8730 0 -1 1077944384 6825 0 0 0 106 3 0 0 20 0 20 0 4586059 13588557824 773867 33554432000 4194304 4196468 140727056538736 140461673368048 140462486473346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10127] ppid=10105 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10127/stat : 10127 (java) S 10105 10108 8730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4586060 13588557824 773867 33554432000 4194304 4196468 140727056538736 140461672315488 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10128] ppid=10105 vsize=13270076 CPUtime=1.24 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10128/stat : 10128 (java) S 10105 10108 8730 0 -1 1077944384 1688 0 0 0 64 60 0 0 20 0 20 0 4586060 13588557824 773867 33554432000 4194304 4196468 140727056538736 140461603809840 140462486473346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 Current children cumulated CPU time (s) 2400.09 Current children cumulated vsize (KiB) 13270076 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 10108 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2344.5 s] /proc/loadavg: 1.33 1.32 1.38 3/282 10200 /proc/meminfo: memFree=25510740/32770624 swapFree=5804/268352 [pid=10108] ppid=10105 vsize=13270076 CPUtime=2400.09 cores=0,2,4,6,8,10,12,14 /proc/10108/stat : 10108 (java) S 10105 10108 8730 0 -1 1077944320 260151 0 0 0 239537 472 0 0 20 0 20 0 4586051 13588557824 773867 33554432000 4194304 4196468 140727056538736 140727056521280 140462486462199 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 /proc/10108/statm: 3317519 773867 3839 1 0 3305234 0 [pid=10108/tid=10109] ppid=10105 vsize=13270076 CPUtime=2331.01 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10109/stat : 10109 (java) R 10105 10108 8730 0 -1 4202560 87472 0 0 0 233032 69 0 0 20 0 20 0 4586052 13588557824 773867 33554432000 4194304 4196468 140727056538736 140462490700560 140462099886848 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10111] ppid=10105 vsize=13270076 CPUtime=7.3 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10111/stat : 10111 (java) S 10105 10108 8730 0 -1 1077944384 12840 0 0 0 686 44 0 0 20 0 20 0 4586053 13588557824 773867 33554432000 4194304 4196468 140727056538736 140462418598544 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10112] ppid=10105 vsize=13270076 CPUtime=7.4 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10112/stat : 10112 (java) S 10105 10108 8730 0 -1 1077944384 17359 0 0 0 693 47 0 0 20 0 20 0 4586053 13588557824 773867 33554432000 4194304 4196468 140727056538736 140462417545744 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10113] ppid=10105 vsize=13270076 CPUtime=7.29 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10113/stat : 10113 (java) S 10105 10108 8730 0 -1 1077944384 15302 0 0 0 686 43 0 0 20 0 20 0 4586053 13588557824 773867 33554432000 4194304 4196468 140727056538736 140462416492944 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10114] ppid=10105 vsize=13270076 CPUtime=7.25 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10114/stat : 10114 (java) S 10105 10108 8730 0 -1 1077944384 14936 0 0 0 684 41 0 0 20 0 20 0 4586053 13588557824 773867 33554432000 4194304 4196468 140727056538736 140462415440144 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10115] ppid=10105 vsize=13270076 CPUtime=7.37 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10115/stat : 10115 (java) S 10105 10108 8730 0 -1 1077944384 17445 0 0 0 695 42 0 0 20 0 20 0 4586053 13588557824 773867 33554432000 4194304 4196468 140727056538736 140462414388368 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10116] ppid=10105 vsize=13270076 CPUtime=7.2 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10116/stat : 10116 (java) S 10105 10108 8730 0 -1 1077944384 15585 0 0 0 679 41 0 0 20 0 20 0 4586053 13588557824 773867 33554432000 4194304 4196468 140727056538736 140462413335568 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10117] ppid=10105 vsize=13270076 CPUtime=7.37 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10117/stat : 10117 (java) S 10105 10108 8730 0 -1 1077944384 14659 0 0 0 693 44 0 0 20 0 20 0 4586053 13588557824 773867 33554432000 4194304 4196468 140727056538736 140462412282768 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10118] ppid=10105 vsize=13270076 CPUtime=7.26 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10118/stat : 10118 (java) S 10105 10108 8730 0 -1 1077944384 15597 0 0 0 678 48 0 0 20 0 20 0 4586053 13588557824 773867 33554432000 4194304 4196468 140727056538736 140462411229968 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10119] ppid=10105 vsize=13270076 CPUtime=3.27 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10119/stat : 10119 (java) S 10105 10108 8730 0 -1 1077944384 23411 0 0 0 300 27 0 0 20 0 20 0 4586054 13588557824 773867 33554432000 4194304 4196468 140727056538736 140461680736624 140462486473346 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10120] ppid=10105 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10120/stat : 10120 (java) S 10105 10108 8730 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 4586055 13588557824 773867 33554432000 4194304 4196468 140727056538736 140461679682656 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10121] ppid=10105 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10121/stat : 10121 (java) S 10105 10108 8730 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 20 0 4586055 13588557824 773867 33554432000 4194304 4196468 140727056538736 140461678629760 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10122] ppid=10105 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10122/stat : 10122 (java) S 10105 10108 8730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4586059 13588557824 773867 33554432000 4194304 4196468 140727056538736 140461677578064 140462486480795 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10123] ppid=10105 vsize=13270076 CPUtime=2.07 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10123/stat : 10123 (java) S 10105 10108 8730 0 -1 1077944384 5681 0 0 0 206 1 0 0 20 0 20 0 4586059 13588557824 773867 33554432000 4194304 4196468 140727056538736 140461676526448 140462486473346 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10124] ppid=10105 vsize=13270076 CPUtime=1.43 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10124/stat : 10124 (java) S 10105 10108 8730 0 -1 1077944384 5328 0 0 0 142 1 0 0 20 0 20 0 4586059 13588557824 773867 33554432000 4194304 4196468 140727056538736 140461675473648 140462486473346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10125] ppid=10105 vsize=13270076 CPUtime=1.41 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10125/stat : 10125 (java) S 10105 10108 8730 0 -1 1077944384 4594 0 0 0 140 1 0 0 20 0 20 0 4586059 13588557824 773867 33554432000 4194304 4196468 140727056538736 140461674420848 140462486473346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10126] ppid=10105 vsize=13270076 CPUtime=1.09 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10126/stat : 10126 (java) S 10105 10108 8730 0 -1 1077944384 6825 0 0 0 106 3 0 0 20 0 20 0 4586059 13588557824 773867 33554432000 4194304 4196468 140727056538736 140461673368048 140462486473346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10127] ppid=10105 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10127/stat : 10127 (java) S 10105 10108 8730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4586060 13588557824 773867 33554432000 4194304 4196468 140727056538736 140461672315488 140462486472405 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 [pid=10108/tid=10128] ppid=10105 vsize=13270076 CPUtime=1.24 cores=0,2,4,6,8,10,12,14 /proc/10108/task/10128/stat : 10128 (java) S 10105 10108 8730 0 -1 1077944384 1688 0 0 0 64 60 0 0 20 0 20 0 4586060 13588557824 773867 33554432000 4194304 4196468 140727056538736 140461603809840 140462486473346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16826368 140727056544906 140727056545092 140727056545092 140727056547791 0 Current children cumulated CPU time (s) 2400.09 Current children cumulated vsize (KiB) 13270076 Child status: 143 Real time (s): 2344.55 CPU time (s): 2400.17 CPU user time (s): 2395.42 CPU system time (s): 4.74876 CPU usage (%): 102.372 Max. virtual memory (cumulated for all children) (KiB): 13270076 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2395.42 system time used= 4.74876 maximum resident set size= 3517976 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 262434 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2584 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 196049 involuntary context switches= 153265 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 15.9402 second user time and 20.5816 second system time The end
Begin job on node120 at 2017-07-22 05:12:58 IDJOB=4244826 IDBENCH=115914 IDSOLVER=2628 FILE ID=node120/4244826-1500693178 RUNJOBID= node120-1500683657-8761 PBS_JOBID= 20623341 Free space on /tmp= 61956 MiB SOLVER NAME= OscaR - Conflict Ordering 2017-06-30 BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-42.xml COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4244826-1500693178/watcher-4244826-1500693178 -o /tmp/evaluation-result-4244826-1500693178/solver-4244826-1500693178 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node120-1500683657-8761 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 407029351 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4244826-1500693178.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= f0ae775e0a261424aab5dff09c8fa0c4 RANDOM SEED=407029351 node120.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.45 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 : 2267.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.45 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.45 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 : 1867.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2400.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.45 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 : 8 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2533.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.45 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2000.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2000.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.45 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2133.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.45 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1867.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2400.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.45 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31337868 kB MemAvailable: 31586540 kB Buffers: 103668 kB Cached: 427388 kB SwapCached: 0 kB Active: 714320 kB Inactive: 274804 kB Active(anon): 460708 kB Inactive(anon): 8740 kB Active(file): 253612 kB Inactive(file): 266064 kB Unevictable: 5804 kB Mlocked: 5804 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42152 kB Writeback: 26136 kB AnonPages: 470984 kB Mapped: 44860 kB Shmem: 8840 kB Slab: 137580 kB SReclaimable: 89664 kB SUnreclaim: 47916 kB KernelStack: 4848 kB PageTables: 6468 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1646952 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 352256 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 61912 MiB End job on node120 at 2017-07-22 05:52:03