Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
R1: OscaR - Conflict Ordering 2017-06-30 | SAT (TO) | 548 | 2400.13 | 2343.15 |
Name | StillLife/StillLife-wst-s1/ StillLife-wastage-44.xml |
MD5SUM | 4997da7be544d89c7d7e917a89d7c5a2 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 941 |
Best CPU time to get the best result obtained on this benchmark | 2519.6799 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 4279 |
Number of constraints | 2384 |
Number of domains | 4 |
Minimum domain size | 2 |
Maximum domain size | 4233 |
Distribution of domain sizes | [{"size":2,"count":2116},{"size":3,"count":2116},{"size":1937,"count":1},{"size":4233,"count":46}] |
Minimum variable degree | 1 |
Maximum variable degree | 47 |
Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":2113},{"degree":3,"count":49},{"degree":4,"count":176},{"degree":8,"count":172},{"degree":9,"count":1764},{"degree":47,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 48 |
Distribution of constraint arities | [{"arity":2,"count":222},{"arity":3,"count":176},{"arity":10,"count":1936},{"arity":46,"count":4},{"arity":47,"count":1},{"arity":48,"count":45}] |
Number of extensional constraints | 2112 |
Number of intensional constraints | 221 |
Distribution of constraint types | [{"type":"extension","count":2112},{"type":"intension","count":221},{"type":"sum","count":47},{"type":"instantiation","count":4}] |
Optimization problem | YES |
Type of objective | max VAR |
0.40/0.31 c version: 2017-06-30 0.40/0.31 c seed: 347891184 0.40/0.31 c timeout: 2400 0.40/0.31 c memlimit: 15500 0.40/0.31 c nbcore: 8 0.40/0.33 c Parsing instance... 8.34/2.82 c Parsing done, starting search... 11.33/4.54 o 447 11.33/4.54 o 448 11.33/4.55 o 449 11.33/4.55 o 450 11.33/4.55 o 451 11.33/4.56 o 452 11.33/4.56 o 453 11.33/4.57 o 454 11.33/4.57 o 455 11.33/4.57 o 456 11.33/4.57 o 457 11.33/4.58 o 458 11.33/4.58 o 459 11.33/4.58 o 460 11.33/4.58 o 461 11.33/4.59 o 462 11.33/4.59 o 463 11.33/4.59 o 464 11.33/4.59 o 465 11.33/4.60 o 466 11.62/4.60 o 467 11.62/4.60 o 468 11.62/4.60 o 469 11.62/4.61 o 470 11.62/4.61 o 471 11.62/4.61 o 472 11.62/4.61 o 473 11.62/4.61 o 474 11.62/4.62 o 475 11.62/4.62 o 476 11.62/4.62 o 477 11.62/4.62 o 478 11.62/4.63 o 479 11.62/4.63 o 480 11.62/4.63 o 481 11.62/4.63 o 482 11.62/4.64 o 483 11.62/4.64 o 484 11.62/4.64 o 485 11.62/4.65 o 486 11.62/4.65 o 487 11.62/4.65 o 488 11.62/4.65 o 489 11.62/4.66 o 490 11.62/4.66 o 491 11.62/4.66 o 492 11.62/4.66 o 493 11.62/4.67 o 494 11.62/4.67 o 495 11.62/4.67 o 496 11.62/4.67 o 497 11.62/4.68 o 498 11.62/4.68 o 499 11.62/4.68 o 500 11.62/4.69 o 501 11.62/4.69 o 502 11.62/4.70 o 503 11.94/4.70 o 504 11.94/4.70 o 505 11.94/4.70 o 506 11.94/4.71 o 507 11.94/4.71 o 508 11.94/4.71 o 509 11.94/4.72 o 510 11.94/4.72 o 511 11.94/4.73 o 512 11.94/4.73 o 513 11.94/4.73 o 514 11.94/4.74 o 515 11.94/4.74 o 516 11.94/4.74 o 517 11.94/4.75 o 518 11.94/4.75 o 519 11.94/4.75 o 520 11.94/4.76 o 521 11.94/4.76 o 522 11.94/4.76 o 523 11.94/4.77 o 524 11.94/4.78 o 525 11.94/4.79 o 526 11.94/4.80 o 527 12.19/4.80 o 528 12.19/4.81 o 529 12.19/4.81 o 530 12.19/4.82 o 531 12.19/4.83 o 532 12.19/4.83 o 533 12.19/4.84 o 534 12.19/4.84 o 535 12.19/4.87 o 536 12.19/4.88 o 537 12.19/4.88 o 538 12.19/4.89 o 539 12.19/4.89 o 540 12.33/4.93 o 541 12.44/5.03 o 542 19.74/11.53 o 543 19.95/11.76 o 544 28.78/20.39 o 545 29.18/20.74 o 546 71.08/62.43 o 547 280.83/272.10 o 548 2400.05/2343.12 s SATISFIABLE 2400.05/2343.13 v <instantiation> 2400.05/2343.13 v <list> 2400.05/2343.13 v x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[12][45] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[13][45] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[14][45] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[15][45] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[16][45] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[17][45] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[18][45] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[19][45] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[20][45] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[21][45] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[22][45] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[23][45] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[24][45] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[25][45] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[26][45] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[27][45] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[28][45] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[29][45] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[30][45] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[31][45] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[32][45] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[33][45] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[34][45] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[35][45] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[36][45] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[41][45] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[42][45] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[43][45] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] x[44][45] x[45][0] x[45][1] x[45][2] x[45][3] x[45][4] x[45][5] x[45][6] x[45][7] x[45][8] x[45][9] x[45][10] x[45][11] x[45][12] x[45][13] x[45][14] x[45][15] x[45][16] x[45][17] x[45][18] x[45][19] x[45][20] x[45][21] x[45][22] x[45][23] x[45][24] x[45][25] x[45][26] x[45][27] x[45][28] x[45][29] x[45][30] x[45][31] x[45][32] x[45][33] x[45][34] x[45][35] x[45][36] x[45][37] x[45][38] x[45][39] x[45][40] x[45][41] x[45][42] x[45][43] x[45][44] x[45][45] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][28] w[0][29] w[0][30] w[0][31] w[0][32] w[0][33] w[0][34] w[0][35] w[0][36] w[0][37] w[0][38] w[0][39] w[0][40] w[0][41] w[0][42] w[0][43] w[0][44] w[0][45] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][28] w[1][29] w[1][30] w[1][31] w[1][32] w[1][33] w[1][34] w[1][35] w[1][36] w[1][37] w[1][38] w[1][39] w[1][40] w[1][41] w[1][42] w[1][43] w[1][44] w[1][45] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][28] w[2][29] w[2][30] w[2][31] w[2][32] w[2][33] w[2][34] w[2][35] w[2][36] w[2][37] w[2][38] w[2][39] w[2][40] w[2][41] w[2][42] w[2][43] w[2][44] w[2][45] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][28] w[3][29] w[3][30] w[3][31] w[3][32] w[3][33] w[3][34] w[3][35] w[3][36] w[3][37] w[3][38] w[3][39] w[3][40] w[3][41] w[3][42] w[3][43] w[3][44] w[3][45] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][28] w[4][29] w[4][30] w[4][31] w[4][32] w[4][33] w[4][34] w[4][35] w[4][36] w[4][37] w[4][38] w[4][39] w[4][40] w[4][41] w[4][42] w[4][43] w[4][44] w[4][45] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][28] w[5][29] w[5][30] w[5][31] w[5][32] w[5][33] w[5][34] w[5][35] w[5][36] w[5][37] w[5][38] w[5][39] w[5][40] w[5][41] w[5][42] w[5][43] w[5][44] w[5][45] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][28] w[6][29] w[6][30] w[6][31] w[6][32] w[6][33] w[6][34] w[6][35] w[6][36] w[6][37] w[6][38] w[6][39] w[6][40] w[6][41] w[6][42] w[6][43] w[6][44] w[6][45] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][28] w[7][29] w[7][30] w[7][31] w[7][32] w[7][33] w[7][34] w[7][35] w[7][36] w[7][37] w[7][38] w[7][39] w[7][40] w[7][41] w[7][42] w[7][43] w[7][44] w[7][45] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][28] w[8][29] w[8][30] w[8][31] w[8][32] w[8][33] w[8][34] w[8][35] w[8][36] w[8][37] w[8][38] w[8][39] w[8][40] w[8][41] w[8][42] w[8][43] w[8][44] w[8][45] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][28] w[9][29] w[9][30] w[9][31] w[9][32] w[9][33] w[9][34] w[9][35] w[9][36] w[9][37] w[9][38] w[9][39] w[9][40] w[9][41] w[9][42] w[9][43] w[9][44] w[9][45] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][28] w[10][29] w[10][30] w[10][31] w[10][32] w[10][33] w[10][34] w[10][35] w[10][36] w[10][37] w[10][38] w[10][39] w[10][40] w[10][41] w[10][42] w[10][43] w[10][44] w[10][45] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][28] w[11][29] w[11][30] w[11][31] w[11][32] w[11][33] w[11][34] w[11][35] w[11][36] w[11][37] w[11][38] w[11][39] w[11][40] w[11][41] w[11][42] w[11][43] w[11][44] w[11][45] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][28] w[12][29] w[12][30] w[12][31] w[12][32] w[12][33] w[12][34] w[12][35] w[12][36] w[12][37] w[12][38] w[12][39] w[12][40] w[12][41] w[12][42] w[12][43] w[12][44] w[12][45] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][28] w[13][29] w[13][30] w[13][31] w[13][32] w[13][33] w[13][34] w[13][35] w[13][36] w[13][37] w[13][38] w[13][39] w[13][40] w[13][41] w[13][42] w[13][43] w[13][44] w[13][45] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][28] w[14][29] w[14][30] w[14][31] w[14][32] w[14][33] w[14][34] w[14][35] w[14][36] w[14][37] w[14][38] w[14][39] w[14][40] w[14][41] w[14][42] w[14][43] w[14][44] w[14][45] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][28] w[15][29] w[15][30] w[15][31] w[15][32] w[15][33] w[15][34] w[15][35] w[15][36] w[15][37] w[15][38] w[15][39] w[15][40] w[15][41] w[15][42] w[15][43] w[15][44] w[15][45] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][28] w[16][29] w[16][30] w[16][31] w[16][32] w[16][33] w[16][34] w[16][35] w[16][36] w[16][37] w[16][38] w[16][39] w[16][40] w[16][41] w[16][42] w[16][43] w[16][44] w[16][45] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][28] w[17][29] w[17][30] w[17][31] w[17][32] w[17][33] w[17][34] w[17][35] w[17][36] w[17][37] w[17][38] w[17][39] w[17][40] w[17][41] w[17][42] w[17][43] w[17][44] w[17][45] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][28] w[18][29] w[18][30] w[18][31] w[18][32] w[18][33] w[18][34] w[18][35] w[18][36] w[18][37] w[18][38] w[18][39] w[18][40] w[18][41] w[18][42] w[18][43] w[18][44] w[18][45] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][28] w[19][29] w[19][30] w[19][31] w[19][32] w[19][33] w[19][34] w[19][35] w[19][36] w[19][37] w[19][38] w[19][39] w[19][40] w[19][41] w[19][42] w[19][43] w[19][44] w[19][45] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][28] w[20][29] w[20][30] w[20][31] w[20][32] w[20][33] w[20][34] w[20][35] w[20][36] w[20][37] w[20][38] w[20][39] w[20][40] w[20][41] w[20][42] w[20][43] w[20][44] w[20][45] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][28] w[21][29] w[21][30] w[21][31] w[21][32] w[21][33] w[21][34] w[21][35] w[21][36] w[21][37] w[21][38] w[21][39] w[21][40] w[21][41] w[21][42] w[21][43] w[21][44] w[21][45] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][28] w[22][29] w[22][30] w[22][31] w[22][32] w[22][33] w[22][34] w[22][35] w[22][36] w[22][37] w[22][38] w[22][39] w[22][40] w[22][41] w[22][42] w[22][43] w[22][44] w[22][45] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][28] w[23][29] w[23][30] w[23][31] w[23][32] w[23][33] w[23][34] w[23][35] w[23][36] w[23][37] w[23][38] w[23][39] w[23][40] w[23][41] w[23][42] w[23][43] w[23][44] w[23][45] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][28] w[24][29] w[24][30] w[24][31] w[24][32] w[24][33] w[24][34] w[24][35] w[24][36] w[24][37] w[24][38] w[24][39] w[24][40] w[24][41] w[24][42] w[24][43] w[24][44] w[24][45] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][28] w[25][29] w[25][30] w[25][31] w[25][32] w[25][33] w[25][34] w[25][35] w[25][36] w[25][37] w[25][38] w[25][39] w[25][40] w[25][41] w[25][42] w[25][43] w[25][44] w[25][45] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[26][29] w[26][30] w[26][31] w[26][32] w[26][33] w[26][34] w[26][35] w[26][36] w[26][37] w[26][38] w[26][39] w[26][40] w[26][41] w[26][42] w[26][43] w[26][44] w[26][45] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[27][29] w[27][30] w[27][31] w[27][32] w[27][33] w[27][34] w[27][35] w[27][36] w[27][37] w[27][38] w[27][39] w[27][40] w[27][41] w[27][42] w[27][43] w[27][44] w[27][45] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] w[28][29] w[28][30] w[28][31] w[28][32] w[28][33] w[28][34] w[28][35] w[28][36] w[28][37] w[28][38] w[28][39] w[28][40] w[28][41] w[28][42] w[28][43] w[28][44] w[28][45] w[29][0] w[29][1] w[29][2] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] w[29][30] w[29][31] w[29][32] w[29][33] w[29][34] w[29][35] w[29][36] w[29][37] w[29][38] w[29][39] w[29][40] w[29][41] w[29][42] w[29][43] w[29][44] w[29][45] w[30][0] w[30][1] w[30][2] w[30][3] w[30][4] w[30][5] w[30][6] w[30][7] w[30][8] w[30][9] w[30][10] w[30][11] w[30][12] w[30][13] w[30][14] w[30][15] w[30][16] w[30][17] w[30][18] w[30][19] w[30][20] w[30][21] w[30][22] w[30][23] w[30][24] w[30][25] w[30][26] w[30][27] w[30][28] w[30][29] w[30][30] w[30][31] w[30][32] w[30][33] w[30][34] w[30][35] w[30][36] w[30][37] w[30][38] w[30][39] w[30][40] w[30][41] w[30][42] w[30][43] w[30][44] w[30][45] w[31][0] w[31][1] w[31][2] w[31][3] w[31][4] w[31][5] w[31][6] w[31][7] w[31][8] w[31][9] w[31][10] w[31][11] w[31][12] w[31][13] w[31][14] w[31][15] w[31][16] w[31][17] w[31][18] w[31][19] w[31][20] w[31][21] w[31][22] w[31][23] w[31][24] w[31][25] w[31][26] w[31][27] w[31][28] w[31][29] w[31][30] w[31][31] w[31][32] w[31][33] w[31][34] w[31][35] w[31][36] w[31][37] w[31][38] w[31][39] w[31][40] w[31][41] w[31][42] w[31][43] w[31][44] w[31][45] w[32][0] w[32][1] w[32][2] w[32][3] w[32][4] w[32][5] w[32][6] w[32][7] w[32][8] w[32][9] w[32][10] w[32][11] w[32][12] w[32][13] w[32][14] w[32][15] w[32][16] w[32][17] w[32][18] w[32][19] w[32][20] w[32][21] w[32][22] w[32][23] w[32][24] w[32][25] w[32][26] w[32][27] w[32][28] w[32][29] w[32][30] w[32][31] w[32][32] w[32][33] w[32][34] w[32][35] w[32][36] w[32][37] w[32][38] w[32][39] w[32][40] w[32][41] w[32][42] w[32][43] w[32][44] w[32][45] w[33][0] w[33][1] w[33][2] w[33][3] w[33][4] w[33][5] w[33][6] w[33][7] w[33][8] w[33][9] w[33][10] w[33][11] w[33][12] w[33][13] w[33][14] w[33][15] w[33][16] w[33][17] w[33][18] w[33][19] w[33][20] w[33][21] w[33][22] w[33][23] w[33][24] w[33][25] w[33][26] w[33][27] w[33][28] w[33][29] w[33][30] w[33][31] w[33][32] w[33][33] w[33][34] w[33][35] w[33][36] w[33][37] w[33][38] w[33][39] w[33][40] w[33][41] w[33][42] w[33][43] w[33][44] w[33][45] w[34][0] w[34][1] w[34][2] w[34][3] w[34][4] w[34][5] w[34][6] w[34][7] w[34][8] w[34][9] w[34][10] w[34][11] w[34][12] w[34][13] w[34][14] w[34][15] w[34][16] w[34][17] w[34][18] w[34][19] w[34][20] w[34][21] w[34][22] w[34][23] w[34][24] w[34][25] w[34][26] w[34][27] w[34][28] w[34][29] w[34][30] w[34][31] w[34][32] w[34][33] w[34][34] w[34][35] w[34][36] w[34][37] w[34][38] w[34][39] w[34][40] w[34][41] w[34][42] w[34][43] w[34][44] w[34][45] w[35][0] w[35][1] w[35][2] w[35][3] w[35][4] w[35][5] w[35][6] w[35][7] w[35][8] w[35][9] w[35][10] w[35][11] w[35][12] w[35][13] w[35][14] w[35][15] w[35][16] w[35][17] w[35][18] w[35][19] w[35][20] w[35][21] w[35][22] w[35][23] w[35][24] w[35][25] w[35][26] w[35][27] w[35][28] w[35][29] w[35][30] w[35][31] w[35][32] w[35][33] w[35][34] w[35][35] w[35][36] w[35][37] w[35][38] w[35][39] w[35][40] w[35][41] w[35][42] w[35][43] w[35][44] w[35][45] w[36][0] w[36][1] w[36][2] w[36][3] w[36][4] w[36][5] w[36][6] w[36][7] w[36][8] w[36][9] w[36][10] w[36][11] w[36][12] w[36][13] w[36][14] w[36][15] w[36][16] w[36][17] w[36][18] w[36][19] w[36][20] w[36][21] w[36][22] w[36][23] w[36][24] w[36][25] w[36][26] w[36][27] w[36][28] w[36][29] w[36][30] w[36][31] w[36][32] w[36][33] w[36][34] w[36][35] w[36][36] w[36][37] w[36][38] w[36][39] w[36][40] w[36][41] w[36][42] w[36][43] w[36][44] w[36][45] w[37][0] w[37][1] w[37][2] w[37][3] w[37][4] w[37][5] w[37][6] w[37][7] w[37][8] w[37][9] w[37][10] w[37][11] w[37][12] w[37][13] w[37][14] w[37][15] w[37][16] w[37][17] w[37][18] w[37][19] w[37][20] w[37][21] w[37][22] w[37][23] w[37][24] w[37][25] w[37][26] w[37][27] w[37][28] w[37][29] w[37][30] w[37][31] w[37][32] w[37][33] w[37][34] w[37][35] w[37][36] w[37][37] w[37][38] w[37][39] w[37][40] w[37][41] w[37][42] w[37][43] w[37][44] w[37][45] w[38][0] w[38][1] w[38][2] w[38][3] w[38][4] w[38][5] w[38][6] w[38][7] w[38][8] w[38][9] w[38][10] w[38][11] w[38][12] w[38][13] w[38][14] w[38][15] w[38][16] w[38][17] w[38][18] w[38][19] w[38][20] w[38][21] w[38][22] w[38][23] w[38][24] w[38][25] w[38][26] w[38][27] w[38][28] w[38][29] w[38][30] w[38][31] w[38][32] w[38][33] w[38][34] w[38][35] w[38][36] w[38][37] w[38][38] w[38][39] w[38][40] w[38][41] w[38][42] w[38][43] w[38][44] w[38][45] w[39][0] w[39][1] w[39][2] w[39][3] w[39][4] w[39][5] w[39][6] w[39][7] w[39][8] w[39][9] w[39][10] w[39][11] w[39][12] w[39][13] w[39][14] w[39][15] w[39][16] w[39][17] w[39][18] w[39][19] w[39][20] w[39][21] w[39][22] w[39][23] w[39][24] w[39][25] w[39][26] w[39][27] w[39][28] w[39][29] w[39][30] w[39][31] w[39][32] w[39][33] w[39][34] w[39][35] w[39][36] w[39][37] w[39][38] w[39][39] w[39][40] w[39][41] w[39][42] w[39][43] w[39][44] w[39][45] w[40][0] w[40][1] w[40][2] w[40][3] w[40][4] w[40][5] w[40][6] w[40][7] w[40][8] w[40][9] w[40][10] w[40][11] w[40][12] w[40][13] w[40][14] w[40][15] w[40][16] w[40][17] w[40][18] w[40][19] w[40][20] w[40][21] w[40][22] w[40][23] w[40][24] w[40][25] w[40][26] w[40][27] w[40][28] w[40][29] w[40][30] w[40][31] w[40][32] w[40][33] w[40][34] w[40][35] w[40][36] w[40][37] w[40][38] w[40][39] w[40][40] w[40][41] w[40][42] w[40][43] w[40][44] w[40][45] w[41][0] w[41][1] w[41][2] w[41][3] w[41][4] w[41][5] w[41][6] w[41][7] w[41][8] w[41][9] w[41][10] w[41][11] w[41][12] w[41][13] w[41][14] w[41][15] w[41][16] w[41][17] w[41][18] w[41][19] w[41][20] w[41][21] w[41][22] w[41][23] w[41][24] w[41][25] w[41][26] w[41][27] w[41][28] w[41][29] w[41][30] w[41][31] w[41][32] w[41][33] w[41][34] w[41][35] w[41][36] w[41][37] w[41][38] w[41][39] w[41][40] w[41][41] w[41][42] w[41][43] w[41][44] w[41][45] w[42][0] w[42][1] w[42][2] w[42][3] w[42][4] w[42][5] w[42][6] w[42][7] w[42][8] w[42][9] w[42][10] w[42][11] w[42][12] w[42][13] w[42][14] w[42][15] w[42][16] w[42][17] w[42][18] w[42][19] w[42][20] w[42][21] w[42][22] w[42][23] w[42][24] w[42][25] w[42][26] w[42][27] w[42][28] w[42][29] w[42][30] w[42][31] w[42][32] w[42][33] w[42][34] w[42][35] w[42][36] w[42][37] w[42][38] w[42][39] w[42][40] w[42][41] w[42][42] w[42][43] w[42][44] w[42][45] w[43][0] w[43][1] w[43][2] w[43][3] w[43][4] w[43][5] w[43][6] w[43][7] w[43][8] w[43][9] w[43][10] w[43][11] w[43][12] w[43][13] w[43][14] w[43][15] w[43][16] w[43][17] w[43][18] w[43][19] w[43][20] w[43][21] w[43][22] w[43][23] w[43][24] w[43][25] w[43][26] w[43][27] w[43][28] w[43][29] w[43][30] w[43][31] w[43][32] w[43][33] w[43][34] w[43][35] w[43][36] w[43][37] w[43][38] w[43][39] w[43][40] w[43][41] w[43][42] w[43][43] w[43][44] w[43][45] w[44][0] w[44][1] w[44][2] w[44][3] w[44][4] w[44][5] w[44][6] w[44][7] w[44][8] w[44][9] w[44][10] w[44][11] w[44][12] w[44][13] w[44][14] w[44][15] w[44][16] w[44][17] w[44][18] w[44][19] w[44][20] w[44][21] w[44][22] w[44][23] w[44][24] w[44][25] w[44][26] w[44][27] w[44][28] w[44][29] w[44][30] w[44][31] w[44][32] w[44][33] w[44][34] w[44][35] w[44][36] w[44][37] w[44][38] w[44][39] w[44][40] w[44][41] w[44][42] w[44][43] w[44][44] w[44][45] w[45][0] w[45][1] w[45][2] w[45][3] w[45][4] w[45][5] w[45][6] w[45][7] w[45][8] w[45][9] w[45][10] w[45][11] w[45][12] w[45][13] w[45][14] w[45][15] w[45][16] w[45][17] w[45][18] w[45][19] w[45][20] w[45][21] w[45][22] w[45][23] w[45][24] w[45][25] w[45][26] w[45][27] w[45][28] w[45][29] w[45][30] w[45][31] w[45][32] w[45][33] w[45][34] w[45][35] w[45][36] w[45][37] w[45][38] w[45][39] w[45][40] w[45][41] w[45][42] w[45][43] w[45][44] w[45][45] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] ws[28] ws[29] ws[30] ws[31] ws[32] ws[33] ws[34] ws[35] ws[36] ws[37] ws[38] ws[39] ws[40] ws[41] ws[42] ws[43] ws[44] ws[45] z 2400.05/2343.13 v </list> 2400.05/2343.13 v <values> 2400.05/2343.13 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 1 1 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 0 1 1 1 0 0 0 1 1 0 1 0 1 0 0 0 1 1 0 1 1 0 1 1 1 1 0 1 0 0 0 1 1 0 1 0 0 1 1 0 1 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 1 1 1 1 1 0 0 1 1 1 0 1 1 0 1 0 1 1 0 1 0 0 0 1 1 1 1 1 1 0 1 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 1 1 0 0 1 1 1 0 1 1 0 1 0 0 1 0 0 1 1 0 1 1 1 0 1 1 0 0 0 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 1 1 0 0 0 1 1 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 1 1 1 1 0 0 1 1 1 1 1 0 0 1 1 1 0 1 0 0 1 1 0 0 1 1 1 0 0 0 1 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 1 1 1 1 1 0 1 0 0 1 0 1 0 0 1 0 1 1 1 1 0 1 0 0 1 1 1 1 1 1 0 0 1 1 0 0 0 0 1 0 1 1 0 1 1 1 0 0 0 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 0 1 0 1 1 1 0 0 0 0 0 1 0 1 0 0 1 1 1 1 0 1 0 1 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 1 0 1 0 1 1 0 1 0 0 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 0 0 1 1 0 1 1 0 1 0 1 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 1 1 1 1 1 0 1 0 0 0 1 0 0 0 1 0 1 0 0 1 1 0 0 1 1 1 0 0 1 1 1 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 1 0 1 1 1 1 1 0 1 1 0 0 1 0 1 1 0 0 1 0 0 1 1 1 1 1 0 1 1 1 1 0 1 0 1 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 1 0 0 1 1 1 0 1 0 1 0 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 0 0 0 1 1 0 0 0 1 0 1 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 1 0 1 1 0 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 1 1 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 0 0 1 0 1 1 0 0 0 0 1 1 0 1 0 0 1 0 1 1 1 0 1 0 0 0 0 1 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 1 1 1 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 1 1 0 0 1 0 0 0 0 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 1 1 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 1 1 1 1 1 0 1 0 1 1 1 0 0 0 0 1 1 0 1 1 1 0 0 0 1 1 0 0 0 1 1 0 1 1 1 0 1 1 1 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 1 0 1 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 1 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 0 0 1 1 1 0 0 1 1 0 1 1 0 1 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 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 1 2 2 2 1 2 1 2 2 1 1 1 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 2 2 2 1 2 1 2 1 0 1 1 2 1 1 0 0 0 0 0 2 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 2 1 1 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 1 0 0 1 2 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 1 1 0 1 0 1 0 0 0 1 0 0 1 1 0 1 1 0 1 0 1 0 0 0 1 0 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 1 1 0 0 0 0 1 0 0 1 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 2 1 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 0 1 0 0 1 1 0 1 1 1 1 0 1 0 0 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 2 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 1 1 0 1 1 1 0 0 1 0 0 1 0 1 1 1 1 0 1 1 1 0 0 0 1 0 0 0 0 0 0 1 1 0 2 0 0 0 0 1 0 0 0 1 0 1 1 1 1 0 1 1 0 1 1 0 0 0 0 0 1 0 0 1 1 1 0 1 0 0 0 1 0 1 0 0 1 0 1 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 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 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 2 0 2 0 1 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 2 0 1 0 2 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 2 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 2 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 1 2 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 1 1 2 2 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 2 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 0 0 0 1 0 0 0 2 2 2 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 2 2 2 2 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 2 2 0 0 2 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 1 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 1 1 0 0 1 1 0 1 0 0 2 1 1 0 0 1 0 0 0 0 1 0 0 0 1 2 1 0 1 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 1 1 1 1 0 0 0 1 0 2 1 2 1 0 1 1 0 0 2 0 0 0 0 1 1 2 2 1 0 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 1 0 2 2 2 1 1 2 2 0 1 0 0 0 1 0 2 2 2 1 0 0 1 0 1 0 2 0 1 1 0 0 1 0 1 0 1 0 0 2 2 1 2 0 0 1 0 1 2 2 2 2 1 1 2 2 1 0 1 0 0 1 1 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 2 2 0 0 0 0 0 0 1 0 2 1 0 0 0 2 1 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 2 0 0 2 0 0 0 0 0 1 1 1 0 2 0 0 2 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 0 1 0 1 0 2 0 2 1 1 2 0 0 2 0 2 0 1 1 2 0 0 2 1 1 2 1 1 0 2 0 2 0 1 0 0 0 0 0 1 0 1 0 0 1 0 1 0 2 0 1 0 2 2 2 0 1 0 2 2 2 0 1 0 2 2 2 0 1 0 2 2 2 0 1 0 2 2 2 1 0 1 0 0 0 0 1 0 0 1 0 1 0 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 0 0 44 134 224 314 404 494 584 674 764 854 944 1034 1124 1209 1271 1290 1302 1323 1338 1354 1376 1387 1407 1428 1439 1448 1454 1463 1476 1488 1499 1513 1526 1545 1561 1579 1600 1620 1646 1678 1717 1732 1748 1781 1824 1856 548 2400.05/2343.13 v </values> 2400.05/2343.13 v </instantiation>
OK 548
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-4244756-1500692007/watcher-4244756-1500692007 -o /tmp/evaluation-result-4244756-1500692007/solver-4244756-1500692007 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node117-1500682496-8517 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 347891184 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4244756-1500692007.xml pid=10273 running on 8 cores: 1,3,5,7,9,11,13,15 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.33 1.50 1.54 4/262 10276 /proc/meminfo: memFree=31719016/32770624 swapFree=5856/267116 [pid=10276] ppid=10273 vsize=10648 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10276/stat : 10276 (java) D 10273 10276 8485 0 -1 1077944320 334 0 0 0 0 0 0 0 20 0 1 0 4469357 10903552 150 33554432000 4194304 4196468 140734158870272 140734158848472 139955631790608 0 0 4096 0 18446744072101539364 0 0 17 9 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 /proc/10276/statm: 2662 150 119 1 0 84 0 [startup+0.100104 s] /proc/loadavg: 1.33 1.50 1.54 4/262 10276 /proc/meminfo: memFree=31719016/32770624 swapFree=5856/267116 [pid=10276] ppid=10273 vsize=13194476 CPUtime=0.08 cores=1,3,5,7,9,11,13,15 /proc/10276/stat : 10276 (java) S 10273 10276 8485 0 -1 1077944320 4958 0 0 0 7 1 0 0 20 0 19 0 4469357 13511143424 5584 33554432000 4194304 4196468 140734158870272 140734158852816 139955639111415 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 /proc/10276/statm: 3298619 5584 2611 1 0 3287057 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 13194476 [startup+0.200309 s] /proc/loadavg: 1.33 1.50 1.54 4/262 10276 /proc/meminfo: memFree=31719016/32770624 swapFree=5856/267116 [pid=10276] ppid=10273 vsize=13263912 CPUtime=0.24 cores=1,3,5,7,9,11,13,15 /proc/10276/stat : 10276 (java) S 10273 10276 8485 0 -1 1077944320 8926 0 0 0 22 2 0 0 20 0 20 0 4469357 13582245888 8990 33554432000 4194304 4196468 140734158870272 140734158852816 139955639111415 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 /proc/10276/statm: 3315978 8990 3560 1 0 3303698 0 Current children cumulated CPU time (s) 0.24 Current children cumulated vsize (KiB) 13263912 [startup+0.300335 s] /proc/loadavg: 1.33 1.50 1.54 4/262 10276 /proc/meminfo: memFree=31719016/32770624 swapFree=5856/267116 [pid=10276] ppid=10273 vsize=13263912 CPUtime=0.4 cores=1,3,5,7,9,11,13,15 /proc/10276/stat : 10276 (java) S 10273 10276 8485 0 -1 1077944320 9924 0 0 0 37 3 0 0 20 0 20 0 4469357 13582245888 10595 33554432000 4194304 4196468 140734158870272 140734158852816 139955639111415 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 /proc/10276/statm: 3315978 10595 3619 1 0 3303698 0 Current children cumulated CPU time (s) 0.4 Current children cumulated vsize (KiB) 13263912 [startup+0.70022 s] /proc/loadavg: 1.33 1.50 1.54 4/262 10276 /proc/meminfo: memFree=31719016/32770624 swapFree=5856/267116 [pid=10276] ppid=10273 vsize=13265980 CPUtime=1.46 cores=1,3,5,7,9,11,13,15 /proc/10276/stat : 10276 (java) S 10273 10276 8485 0 -1 1077944320 12859 0 0 0 140 6 0 0 20 0 20 0 4469357 13584363520 19755 33554432000 4194304 4196468 140734158870272 140734158852816 139955639111415 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 /proc/10276/statm: 3316495 19755 3765 1 0 3304210 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 13265980 [startup+1.5011 s] /proc/loadavg: 1.46 1.52 1.54 9/282 10296 /proc/meminfo: memFree=31417400/32770624 swapFree=5856/267552 [pid=10276] ppid=10273 vsize=13270076 CPUtime=4.6 cores=1,3,5,7,9,11,13,15 /proc/10276/stat : 10276 (java) S 10273 10276 8485 0 -1 1077944320 25582 0 0 0 449 11 0 0 20 0 20 0 4469357 13588557824 49035 33554432000 4194304 4196468 140734158870272 140734158852816 139955639111415 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 /proc/10276/statm: 3317519 49035 3794 1 0 3305234 0 [pid=10276/tid=10278] ppid=10273 vsize=13270076 CPUtime=1.46 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10278/stat : 10278 (java) R 10273 10276 8485 0 -1 4202560 11753 0 0 0 140 6 0 0 20 0 20 0 4469358 13588557824 49035 33554432000 4194304 4196468 140734158870272 139955643347208 139955279924782 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10279] ppid=10273 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10279/stat : 10279 (java) S 10273 10276 8485 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4469359 13588557824 49035 33554432000 4194304 4196468 140734158870272 139955604392592 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10280] ppid=10273 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10280/stat : 10280 (java) S 10273 10276 8485 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4469359 13588557824 49035 33554432000 4194304 4196468 140734158870272 139955237407248 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10281] ppid=10273 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10281/stat : 10281 (java) S 10273 10276 8485 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4469359 13588557824 49035 33554432000 4194304 4196468 140734158870272 139955236354448 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10282] ppid=10273 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10282/stat : 10282 (java) S 10273 10276 8485 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4469359 13588557824 49035 33554432000 4194304 4196468 140734158870272 139955235301648 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10283] ppid=10273 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10283/stat : 10283 (java) S 10273 10276 8485 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4469359 13588557824 49035 33554432000 4194304 4196468 140734158870272 139955234249872 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10284] ppid=10273 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10284/stat : 10284 (java) S 10273 10276 8485 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4469359 13588557824 49035 33554432000 4194304 4196468 140734158870272 139955233197072 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10285] ppid=10273 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10285/stat : 10285 (java) S 10273 10276 8485 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4469359 13588557824 49035 33554432000 4194304 4196468 140734158870272 139955232144272 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10286] ppid=10273 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10286/stat : 10286 (java) S 10273 10276 8485 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4469359 13588557824 49035 33554432000 4194304 4196468 140734158870272 139955231091472 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10287] ppid=10273 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10287/stat : 10287 (java) S 10273 10276 8485 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 4469361 13588557824 49035 33554432000 4194304 4196468 140734158870272 139955102370160 139955639122562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10288] ppid=10273 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10288/stat : 10288 (java) S 10273 10276 8485 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4469362 13588557824 49547 33554432000 4194304 4196468 140734158870272 139955101316128 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10289] ppid=10273 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10289/stat : 10289 (java) S 10273 10276 8485 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4469362 13588557824 49547 33554432000 4194304 4196468 140734158870272 139955100263280 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10290] ppid=10273 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10290/stat : 10290 (java) S 10273 10276 8485 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4469366 13588557824 49547 33554432000 4194304 4196468 140734158870272 139955099211600 139955639130011 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10291] ppid=10273 vsize=13270076 CPUtime=0.67 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10291/stat : 10291 (java) R 10273 10276 8485 0 -1 4202560 2955 0 0 0 67 0 0 0 20 0 20 0 4469366 13588557824 49547 33554432000 4194304 4196468 140734158870272 139955098160280 139955623499952 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10292] ppid=10273 vsize=13270076 CPUtime=0.91 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10292/stat : 10292 (java) R 10273 10276 8485 0 -1 4202560 3495 0 0 0 91 0 0 0 20 0 20 0 4469366 13588557824 49547 33554432000 4194304 4196468 140734158870272 139955097088200 139955622608199 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10293] ppid=10273 vsize=13270076 CPUtime=0.7 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10293/stat : 10293 (java) S 10273 10276 8485 0 -1 1077944384 2396 0 0 0 69 1 0 0 20 0 20 0 4469366 13588557824 49547 33554432000 4194304 4196468 140734158870272 139955096054384 139955639122562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10294] ppid=10273 vsize=13270076 CPUtime=0.82 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10294/stat : 10294 (java) S 10273 10276 8485 0 -1 1077944384 3571 0 0 0 80 2 0 0 20 0 20 0 4469366 13588557824 49547 33554432000 4194304 4196468 140734158870272 139955095001584 139955639122562 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10295] ppid=10273 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10295/stat : 10295 (java) S 10273 10276 8485 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4469367 13588557824 49547 33554432000 4194304 4196468 140734158870272 139955093949024 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10296] ppid=10273 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10296/stat : 10296 (java) S 10273 10276 8485 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4469367 13588557824 49547 33554432000 4194304 4196468 140734158870272 139955092896304 139955639122562 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 Current children cumulated CPU time (s) 4.6 Current children cumulated vsize (KiB) 13270076 [startup+3.10079 s] /proc/loadavg: 1.46 1.52 1.54 11/282 10296 /proc/meminfo: memFree=31047744/32770624 swapFree=5856/267552 [pid=10276] ppid=10273 vsize=13270076 CPUtime=9.41 cores=1,3,5,7,9,11,13,15 /proc/10276/stat : 10276 (java) S 10273 10276 8485 0 -1 1077944320 36082 0 0 0 847 94 0 0 20 0 20 0 4469357 13588557824 127085 33554432000 4194304 4196468 140734158870272 140734158852816 139955639111415 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 /proc/10276/statm: 3317519 127085 3829 1 0 3305234 0 [pid=10276/tid=10278] ppid=10273 vsize=13270076 CPUtime=2.85 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10278/stat : 10278 (java) R 10273 10276 8485 0 -1 4202560 12882 0 0 0 277 8 0 0 20 0 20 0 4469358 13588557824 127085 33554432000 4194304 4196468 140734158870272 139955643346968 140734159228113 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10279] ppid=10273 vsize=13270076 CPUtime=0.15 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10279/stat : 10279 (java) S 10273 10276 8485 0 -1 1077944384 96 0 0 0 6 9 0 0 20 0 20 0 4469359 13588557824 127085 33554432000 4194304 4196468 140734158870272 139955604392592 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10280] ppid=10273 vsize=13270076 CPUtime=0.17 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10280/stat : 10280 (java) S 10273 10276 8485 0 -1 1077944384 121 0 0 0 7 10 0 0 20 0 20 0 4469359 13588557824 127085 33554432000 4194304 4196468 140734158870272 139955237407248 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10281] ppid=10273 vsize=13270076 CPUtime=0.14 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10281/stat : 10281 (java) S 10273 10276 8485 0 -1 1077944384 120 0 0 0 7 7 0 0 20 0 20 0 4469359 13588557824 127085 33554432000 4194304 4196468 140734158870272 139955236354448 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10282] ppid=10273 vsize=13270076 CPUtime=0.19 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10282/stat : 10282 (java) S 10273 10276 8485 0 -1 1077944384 196 0 0 0 11 8 0 0 20 0 20 0 4469359 13588557824 127085 33554432000 4194304 4196468 140734158870272 139955235301648 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10283] ppid=10273 vsize=13270076 CPUtime=0.17 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10283/stat : 10283 (java) S 10273 10276 8485 0 -1 1077944384 241 0 0 0 7 10 0 0 20 0 20 0 4469359 13588557824 127085 33554432000 4194304 4196468 140734158870272 139955234249872 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10284] ppid=10273 vsize=13270076 CPUtime=0.19 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10284/stat : 10284 (java) S 10273 10276 8485 0 -1 1077944384 202 0 0 0 8 11 0 0 20 0 20 0 4469359 13588557824 127085 33554432000 4194304 4196468 140734158870272 139955233197072 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10285] ppid=10273 vsize=13270076 CPUtime=0.19 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10285/stat : 10285 (java) S 10273 10276 8485 0 -1 1077944384 143 0 0 0 8 11 0 0 20 0 20 0 4469359 13588557824 127085 33554432000 4194304 4196468 140734158870272 139955232144272 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10286] ppid=10273 vsize=13270076 CPUtime=0.16 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10286/stat : 10286 (java) S 10273 10276 8485 0 -1 1077944384 958 0 0 0 7 9 0 0 20 0 20 0 4469359 13588557824 127085 33554432000 4194304 4196468 140734158870272 139955231091472 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10287] ppid=10273 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10287/stat : 10287 (java) S 10273 10276 8485 0 -1 1077944384 488 0 0 0 1 0 0 0 20 0 20 0 4469361 13588557824 127085 33554432000 4194304 4196468 140734158870272 139955102370160 139955639122562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10288] ppid=10273 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10288/stat : 10288 (java) S 10273 10276 8485 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 4469362 13588557824 127085 33554432000 4194304 4196468 140734158870272 139955101316192 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10289] ppid=10273 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10289/stat : 10289 (java) S 10273 10276 8485 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 4469362 13588557824 127085 33554432000 4194304 4196468 140734158870272 139955100263296 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10290] ppid=10273 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10290/stat : 10290 (java) S 10273 10276 8485 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4469366 13588557824 127085 33554432000 4194304 4196468 140734158870272 139955099211600 139955639130011 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10291] ppid=10273 vsize=13270076 CPUtime=1.11 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10291/stat : 10291 (java) R 10273 10276 8485 0 -1 4202560 4154 0 0 0 110 1 0 0 20 0 20 0 4469366 13588557824 127085 33554432000 4194304 4196468 140734158870272 139955098146112 139955631400864 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10292] ppid=10273 vsize=13270076 CPUtime=1.92 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10292/stat : 10292 (java) R 10273 10276 8485 0 -1 4202560 5461 0 0 0 192 0 0 0 20 0 20 0 4469366 13588557824 127085 33554432000 4194304 4196468 140734158870272 139955097094000 139955624219122 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10293] ppid=10273 vsize=13270076 CPUtime=1.05 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10293/stat : 10293 (java) R 10273 10276 8485 0 -1 4202560 3298 0 0 0 104 1 0 0 20 0 20 0 4469366 13588557824 127085 33554432000 4194304 4196468 140734158870272 139955096042704 139955622522309 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10294] ppid=10273 vsize=13270076 CPUtime=0.98 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10294/stat : 10294 (java) S 10273 10276 8485 0 -1 1077944384 6287 0 0 0 96 2 0 0 20 0 20 0 4469366 13588557824 127085 33554432000 4194304 4196468 140734158870272 139955095001584 139955639122562 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10295] ppid=10273 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10295/stat : 10295 (java) S 10273 10276 8485 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4469367 13588557824 127085 33554432000 4194304 4196468 140734158870272 139955093949024 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10296] ppid=10273 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10296/stat : 10296 (java) S 10273 10276 8485 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 20 0 4469367 13588557824 127085 33554432000 4194304 4196468 140734158870272 139955092896304 139955639122562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 Current children cumulated CPU time (s) 9.41 Current children cumulated vsize (KiB) 13270076 [startup+6.30086 s] /proc/loadavg: 1.42 1.51 1.54 3/282 10296 /proc/meminfo: memFree=30615160/32770624 swapFree=5856/267564 [pid=10276] ppid=10273 vsize=13270076 CPUtime=14.25 cores=1,3,5,7,9,11,13,15 /proc/10276/stat : 10276 (java) S 10273 10276 8485 0 -1 1077944320 37665 0 0 0 1305 120 0 0 20 0 20 0 4469357 13588557824 194144 33554432000 4194304 4196468 140734158870272 140734158852816 139955639111415 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 /proc/10276/statm: 3317519 194144 3841 1 0 3305234 0 [pid=10276/tid=10278] ppid=10273 vsize=13270076 CPUtime=5.98 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10278/stat : 10278 (java) R 10273 10276 8485 0 -1 4202560 13140 0 0 0 586 12 0 0 20 0 20 0 4469358 13588557824 194144 33554432000 4194304 4196468 140734158870272 139955643346736 139955285457040 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10279] ppid=10273 vsize=13270076 CPUtime=0.2 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10279/stat : 10279 (java) S 10273 10276 8485 0 -1 1077944384 120 0 0 0 9 11 0 0 20 0 20 0 4469359 13588557824 194144 33554432000 4194304 4196468 140734158870272 139955604392592 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10280] ppid=10273 vsize=13270076 CPUtime=0.23 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10280/stat : 10280 (java) S 10273 10276 8485 0 -1 1077944384 153 0 0 0 10 13 0 0 20 0 20 0 4469359 13588557824 194144 33554432000 4194304 4196468 140734158870272 139955237407248 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10281] ppid=10273 vsize=13270076 CPUtime=0.2 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10281/stat : 10281 (java) S 10273 10276 8485 0 -1 1077944384 151 0 0 0 10 10 0 0 20 0 20 0 4469359 13588557824 194144 33554432000 4194304 4196468 140734158870272 139955236354448 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10282] ppid=10273 vsize=13270076 CPUtime=0.23 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10282/stat : 10282 (java) S 10273 10276 8485 0 -1 1077944384 216 0 0 0 13 10 0 0 20 0 20 0 4469359 13588557824 194144 33554432000 4194304 4196468 140734158870272 139955235301648 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10283] ppid=10273 vsize=13270076 CPUtime=0.24 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10283/stat : 10283 (java) S 10273 10276 8485 0 -1 1077944384 272 0 0 0 10 14 0 0 20 0 20 0 4469359 13588557824 194144 33554432000 4194304 4196468 140734158870272 139955234249872 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10284] ppid=10273 vsize=13270076 CPUtime=0.25 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10284/stat : 10284 (java) S 10273 10276 8485 0 -1 1077944384 236 0 0 0 11 14 0 0 20 0 20 0 4469359 13588557824 194144 33554432000 4194304 4196468 140734158870272 139955233197072 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10285] ppid=10273 vsize=13270076 CPUtime=0.25 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10285/stat : 10285 (java) S 10273 10276 8485 0 -1 1077944384 173 0 0 0 11 14 0 0 20 0 20 0 4469359 13588557824 194144 33554432000 4194304 4196468 140734158870272 139955232144272 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10286] ppid=10273 vsize=13270076 CPUtime=0.21 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10286/stat : 10286 (java) S 10273 10276 8485 0 -1 1077944384 979 0 0 0 10 11 0 0 20 0 20 0 4469359 13588557824 194144 33554432000 4194304 4196468 140734158870272 139955231091472 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10287] ppid=10273 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10287/stat : 10287 (java) S 10273 10276 8485 0 -1 1077944384 795 0 0 0 1 0 0 0 20 0 20 0 4469361 13588557824 194144 33554432000 4194304 4196468 140734158870272 139955102370160 139955639122562 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10288] ppid=10273 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10288/stat : 10288 (java) S 10273 10276 8485 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 4469362 13588557824 194144 33554432000 4194304 4196468 140734158870272 139955101316192 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10289] ppid=10273 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10289/stat : 10289 (java) S 10273 10276 8485 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 4469362 13588557824 194144 33554432000 4194304 4196468 140734158870272 139955100263296 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10290] ppid=10273 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10290/stat : 10290 (java) S 10273 10276 8485 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4469366 13588557824 194144 33554432000 4194304 4196468 140734158870272 139955099211600 139955639130011 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10291] ppid=10273 vsize=13270076 CPUtime=1.52 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10291/stat : 10291 (java) S 10273 10276 8485 0 -1 1077944384 4474 0 0 0 151 1 0 0 20 0 20 0 4469366 13588557824 194144 33554432000 4194304 4196468 140734158870272 139955098159984 139955639122562 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10292] ppid=10273 vsize=13270076 CPUtime=2.24 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10292/stat : 10292 (java) S 10273 10276 8485 0 -1 1077944384 5583 0 0 0 224 0 0 0 20 0 20 0 4469366 13588557824 194144 33554432000 4194304 4196468 140734158870272 139955097107184 139955639122562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10293] ppid=10273 vsize=13270076 CPUtime=1.5 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10293/stat : 10293 (java) S 10273 10276 8485 0 -1 1077944384 3518 0 0 0 149 1 0 0 20 0 20 0 4469366 13588557824 194144 33554432000 4194304 4196468 140734158870272 139955096054384 139955639122562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10294] ppid=10273 vsize=13270076 CPUtime=1.05 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10294/stat : 10294 (java) S 10273 10276 8485 0 -1 1077944384 6396 0 0 0 103 2 0 0 20 0 20 0 4469366 13588557824 194144 33554432000 4194304 4196468 140734158870272 139955095001584 139955639122562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10295] ppid=10273 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 ################ # More data... # ################ [pid=10276/tid=10292] ppid=10273 vsize=13270076 CPUtime=2.34 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10292/stat : 10292 (java) S 10273 10276 8485 0 -1 1077944384 7946 0 0 0 233 1 0 0 20 0 20 0 4469366 13588557824 771506 33554432000 4194304 4196468 140734158870272 139955097107184 139955639122562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10293] ppid=10273 vsize=13270076 CPUtime=1.54 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10293/stat : 10293 (java) S 10273 10276 8485 0 -1 1077944384 4179 0 0 0 153 1 0 0 20 0 20 0 4469366 13588557824 771506 33554432000 4194304 4196468 140734158870272 139955096054384 139955639122562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10294] ppid=10273 vsize=13270076 CPUtime=1.08 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10294/stat : 10294 (java) S 10273 10276 8485 0 -1 1077944384 7341 0 0 0 106 2 0 0 20 0 20 0 4469366 13588557824 771506 33554432000 4194304 4196468 140734158870272 139955095001584 139955639122562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10295] ppid=10273 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10295/stat : 10295 (java) S 10273 10276 8485 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4469367 13588557824 771506 33554432000 4194304 4196468 140734158870272 139955093949024 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10296] ppid=10273 vsize=13270076 CPUtime=1.07 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10296/stat : 10296 (java) S 10273 10276 8485 0 -1 1077944384 1590 0 0 0 49 58 0 0 20 0 20 0 4469367 13588557824 771506 33554432000 4194304 4196468 140734158870272 139955092896304 139955639122562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 Current children cumulated CPU time (s) 2316.84 Current children cumulated vsize (KiB) 13270076 [startup+2322.3 s] /proc/loadavg: 1.62 1.43 1.43 3/282 10390 /proc/meminfo: memFree=27647708/32770624 swapFree=5856/269200 [pid=10276] ppid=10273 vsize=13270076 CPUtime=2378.63 cores=1,3,5,7,9,11,13,15 /proc/10276/stat : 10276 (java) S 10273 10276 8485 0 -1 1077944320 257707 0 0 0 237418 445 0 0 20 0 20 0 4469357 13588557824 772530 33554432000 4194304 4196468 140734158870272 140734158852816 139955639111415 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 /proc/10276/statm: 3317519 772530 3841 1 0 3305234 0 [pid=10276/tid=10278] ppid=10273 vsize=13270076 CPUtime=2308.36 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10278/stat : 10278 (java) R 10273 10276 8485 0 -1 4202560 88177 0 0 0 230769 67 0 0 20 0 20 0 4469358 13588557824 772530 33554432000 4194304 4196468 140734158870272 139955643349632 139955286346284 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10279] ppid=10273 vsize=13270076 CPUtime=7.38 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10279/stat : 10279 (java) S 10273 10276 8485 0 -1 1077944384 14468 0 0 0 700 38 0 0 20 0 20 0 4469359 13588557824 772530 33554432000 4194304 4196468 140734158870272 139955604392592 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10280] ppid=10273 vsize=13270076 CPUtime=7.41 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10280/stat : 10280 (java) S 10273 10276 8485 0 -1 1077944384 17218 0 0 0 699 42 0 0 20 0 20 0 4469359 13588557824 772530 33554432000 4194304 4196468 140734158870272 139955237407248 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10281] ppid=10273 vsize=13270076 CPUtime=7.48 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10281/stat : 10281 (java) S 10273 10276 8485 0 -1 1077944384 15065 0 0 0 712 36 0 0 20 0 20 0 4469359 13588557824 772530 33554432000 4194304 4196468 140734158870272 139955236354448 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10282] ppid=10273 vsize=13270076 CPUtime=7.46 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10282/stat : 10282 (java) S 10273 10276 8485 0 -1 1077944384 14994 0 0 0 706 40 0 0 20 0 20 0 4469359 13588557824 772530 33554432000 4194304 4196468 140734158870272 139955235301648 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10283] ppid=10273 vsize=13270076 CPUtime=7.42 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10283/stat : 10283 (java) S 10273 10276 8485 0 -1 1077944384 14473 0 0 0 701 41 0 0 20 0 20 0 4469359 13588557824 772530 33554432000 4194304 4196468 140734158870272 139955234249872 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10284] ppid=10273 vsize=13270076 CPUtime=7.44 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10284/stat : 10284 (java) S 10273 10276 8485 0 -1 1077944384 16454 0 0 0 702 42 0 0 20 0 20 0 4469359 13588557824 772530 33554432000 4194304 4196468 140734158870272 139955233197072 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10285] ppid=10273 vsize=13270076 CPUtime=7.4 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10285/stat : 10285 (java) S 10273 10276 8485 0 -1 1077944384 11766 0 0 0 698 42 0 0 20 0 20 0 4469359 13588557824 772530 33554432000 4194304 4196468 140734158870272 139955232144272 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10286] ppid=10273 vsize=13270076 CPUtime=7.35 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10286/stat : 10286 (java) S 10273 10276 8485 0 -1 1077944384 14932 0 0 0 696 39 0 0 20 0 20 0 4469359 13588557824 772530 33554432000 4194304 4196468 140734158870272 139955231091472 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10287] ppid=10273 vsize=13270076 CPUtime=3.12 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10287/stat : 10287 (java) S 10273 10276 8485 0 -1 1077944384 22878 0 0 0 287 25 0 0 20 0 20 0 4469361 13588557824 772530 33554432000 4194304 4196468 140734158870272 139955102370160 139955639122562 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10288] ppid=10273 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10288/stat : 10288 (java) S 10273 10276 8485 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 4469362 13588557824 772530 33554432000 4194304 4196468 140734158870272 139955101316192 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10289] ppid=10273 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10289/stat : 10289 (java) S 10273 10276 8485 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 4469362 13588557824 772530 33554432000 4194304 4196468 140734158870272 139955100263296 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10290] ppid=10273 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10290/stat : 10290 (java) S 10273 10276 8485 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4469366 13588557824 772530 33554432000 4194304 4196468 140734158870272 139955099211600 139955639130011 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10291] ppid=10273 vsize=13270076 CPUtime=1.61 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10291/stat : 10291 (java) S 10273 10276 8485 0 -1 1077944384 4745 0 0 0 159 2 0 0 20 0 20 0 4469366 13588557824 772530 33554432000 4194304 4196468 140734158870272 139955098159984 139955639122562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10292] ppid=10273 vsize=13270076 CPUtime=2.34 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10292/stat : 10292 (java) S 10273 10276 8485 0 -1 1077944384 7950 0 0 0 233 1 0 0 20 0 20 0 4469366 13588557824 772530 33554432000 4194304 4196468 140734158870272 139955097107184 139955639122562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10293] ppid=10273 vsize=13270076 CPUtime=1.54 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10293/stat : 10293 (java) S 10273 10276 8485 0 -1 1077944384 4184 0 0 0 153 1 0 0 20 0 20 0 4469366 13588557824 772530 33554432000 4194304 4196468 140734158870272 139955096054384 139955639122562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10294] ppid=10273 vsize=13270076 CPUtime=1.08 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10294/stat : 10294 (java) S 10273 10276 8485 0 -1 1077944384 7345 0 0 0 106 2 0 0 20 0 20 0 4469366 13588557824 772530 33554432000 4194304 4196468 140734158870272 139955095001584 139955639122562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10295] ppid=10273 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10295/stat : 10295 (java) S 10273 10276 8485 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4469367 13588557824 772530 33554432000 4194304 4196468 140734158870272 139955093949024 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10296] ppid=10273 vsize=13270076 CPUtime=1.1 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10296/stat : 10296 (java) S 10273 10276 8485 0 -1 1077944384 1636 0 0 0 51 59 0 0 20 0 20 0 4469367 13588557824 772530 33554432000 4194304 4196468 140734158870272 139955092896304 139955639122562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 Current children cumulated CPU time (s) 2378.63 Current children cumulated vsize (KiB) 13270076 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2343.11 s] /proc/loadavg: 1.44 1.41 1.42 3/282 10391 /proc/meminfo: memFree=27644544/32770624 swapFree=5856/269232 [pid=10276] ppid=10273 vsize=13270076 CPUtime=2400.05 cores=1,3,5,7,9,11,13,15 /proc/10276/stat : 10276 (java) S 10273 10276 8485 0 -1 1077944320 258790 0 0 0 239556 449 0 0 20 0 20 0 4469357 13588557824 772530 33554432000 4194304 4196468 140734158870272 140734158852816 139955639111415 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 /proc/10276/statm: 3317519 772530 3841 1 0 3305234 0 [pid=10276/tid=10278] ppid=10273 vsize=13270076 CPUtime=2329.02 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10278/stat : 10278 (java) R 10273 10276 8485 0 -1 4202560 88640 0 0 0 232834 68 0 0 20 0 20 0 4469358 13588557824 772530 33554432000 4194304 4196468 140734158870272 139955643349936 139955286032020 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10279] ppid=10273 vsize=13270076 CPUtime=7.48 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10279/stat : 10279 (java) S 10273 10276 8485 0 -1 1077944384 14604 0 0 0 709 39 0 0 20 0 20 0 4469359 13588557824 772530 33554432000 4194304 4196468 140734158870272 139955604392592 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10280] ppid=10273 vsize=13270076 CPUtime=7.52 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10280/stat : 10280 (java) S 10273 10276 8485 0 -1 1077944384 17278 0 0 0 709 43 0 0 20 0 20 0 4469359 13588557824 772530 33554432000 4194304 4196468 140734158870272 139955237407248 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10281] ppid=10273 vsize=13270076 CPUtime=7.56 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10281/stat : 10281 (java) S 10273 10276 8485 0 -1 1077944384 15112 0 0 0 720 36 0 0 20 0 20 0 4469359 13588557824 772530 33554432000 4194304 4196468 140734158870272 139955236354448 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10282] ppid=10273 vsize=13270076 CPUtime=7.54 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10282/stat : 10282 (java) S 10273 10276 8485 0 -1 1077944384 15086 0 0 0 714 40 0 0 20 0 20 0 4469359 13588557824 772530 33554432000 4194304 4196468 140734158870272 139955235301648 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10283] ppid=10273 vsize=13270076 CPUtime=7.5 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10283/stat : 10283 (java) S 10273 10276 8485 0 -1 1077944384 14516 0 0 0 709 41 0 0 20 0 20 0 4469359 13588557824 772530 33554432000 4194304 4196468 140734158870272 139955234249872 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10284] ppid=10273 vsize=13270076 CPUtime=7.52 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10284/stat : 10284 (java) S 10273 10276 8485 0 -1 1077944384 16550 0 0 0 710 42 0 0 20 0 20 0 4469359 13588557824 772530 33554432000 4194304 4196468 140734158870272 139955233197072 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10285] ppid=10273 vsize=13270076 CPUtime=7.48 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10285/stat : 10285 (java) S 10273 10276 8485 0 -1 1077944384 11814 0 0 0 706 42 0 0 20 0 20 0 4469359 13588557824 772530 33554432000 4194304 4196468 140734158870272 139955232144272 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10286] ppid=10273 vsize=13270076 CPUtime=7.44 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10286/stat : 10286 (java) S 10273 10276 8485 0 -1 1077944384 14961 0 0 0 705 39 0 0 20 0 20 0 4469359 13588557824 772530 33554432000 4194304 4196468 140734158870272 139955231091472 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10287] ppid=10273 vsize=13270076 CPUtime=3.15 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10287/stat : 10287 (java) S 10273 10276 8485 0 -1 1077944384 22929 0 0 0 290 25 0 0 20 0 20 0 4469361 13588557824 772530 33554432000 4194304 4196468 140734158870272 139955102370160 139955639122562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10288] ppid=10273 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10288/stat : 10288 (java) S 10273 10276 8485 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 4469362 13588557824 772530 33554432000 4194304 4196468 140734158870272 139955101316192 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10289] ppid=10273 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10289/stat : 10289 (java) S 10273 10276 8485 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 4469362 13588557824 772530 33554432000 4194304 4196468 140734158870272 139955100263296 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10290] ppid=10273 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10290/stat : 10290 (java) S 10273 10276 8485 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4469366 13588557824 772530 33554432000 4194304 4196468 140734158870272 139955099211600 139955639130011 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10291] ppid=10273 vsize=13270076 CPUtime=1.61 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10291/stat : 10291 (java) S 10273 10276 8485 0 -1 1077944384 4748 0 0 0 159 2 0 0 20 0 20 0 4469366 13588557824 772530 33554432000 4194304 4196468 140734158870272 139955098159984 139955639122562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10292] ppid=10273 vsize=13270076 CPUtime=2.34 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10292/stat : 10292 (java) S 10273 10276 8485 0 -1 1077944384 7952 0 0 0 233 1 0 0 20 0 20 0 4469366 13588557824 772530 33554432000 4194304 4196468 140734158870272 139955097107184 139955639122562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10293] ppid=10273 vsize=13270076 CPUtime=1.54 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10293/stat : 10293 (java) S 10273 10276 8485 0 -1 1077944384 4186 0 0 0 153 1 0 0 20 0 20 0 4469366 13588557824 772530 33554432000 4194304 4196468 140734158870272 139955096054384 139955639122562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10294] ppid=10273 vsize=13270076 CPUtime=1.08 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10294/stat : 10294 (java) S 10273 10276 8485 0 -1 1077944384 7347 0 0 0 106 2 0 0 20 0 20 0 4469366 13588557824 772530 33554432000 4194304 4196468 140734158870272 139955095001584 139955639122562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10295] ppid=10273 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10295/stat : 10295 (java) S 10273 10276 8485 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4469367 13588557824 772530 33554432000 4194304 4196468 140734158870272 139955093949024 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10296] ppid=10273 vsize=13270076 CPUtime=1.11 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10296/stat : 10296 (java) S 10273 10276 8485 0 -1 1077944384 1645 0 0 0 52 59 0 0 20 0 20 0 4469367 13588557824 772530 33554432000 4194304 4196468 140734158870272 139955092896304 139955639122562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 Current children cumulated CPU time (s) 2400.05 Current children cumulated vsize (KiB) 13270076 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 10276 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2343.11 s] /proc/loadavg: 1.44 1.41 1.42 3/282 10391 /proc/meminfo: memFree=27644544/32770624 swapFree=5856/269232 [pid=10276] ppid=10273 vsize=13270076 CPUtime=2400.05 cores=1,3,5,7,9,11,13,15 /proc/10276/stat : 10276 (java) S 10273 10276 8485 0 -1 1077944320 258790 0 0 0 239556 449 0 0 20 0 20 0 4469357 13588557824 772530 33554432000 4194304 4196468 140734158870272 140734158852816 139955639111415 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 /proc/10276/statm: 3317519 772530 3841 1 0 3305234 0 [pid=10276/tid=10278] ppid=10273 vsize=13270076 CPUtime=2329.02 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10278/stat : 10278 (java) R 10273 10276 8485 0 -1 4202560 88640 0 0 0 232834 68 0 0 20 0 20 0 4469358 13588557824 772530 33554432000 4194304 4196468 140734158870272 139955643349936 139955286032020 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10279] ppid=10273 vsize=13270076 CPUtime=7.48 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10279/stat : 10279 (java) S 10273 10276 8485 0 -1 1077944384 14604 0 0 0 709 39 0 0 20 0 20 0 4469359 13588557824 772530 33554432000 4194304 4196468 140734158870272 139955604392592 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10280] ppid=10273 vsize=13270076 CPUtime=7.52 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10280/stat : 10280 (java) S 10273 10276 8485 0 -1 1077944384 17278 0 0 0 709 43 0 0 20 0 20 0 4469359 13588557824 772530 33554432000 4194304 4196468 140734158870272 139955237407248 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10281] ppid=10273 vsize=13270076 CPUtime=7.56 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10281/stat : 10281 (java) S 10273 10276 8485 0 -1 1077944384 15112 0 0 0 720 36 0 0 20 0 20 0 4469359 13588557824 772530 33554432000 4194304 4196468 140734158870272 139955236354448 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10282] ppid=10273 vsize=13270076 CPUtime=7.54 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10282/stat : 10282 (java) S 10273 10276 8485 0 -1 1077944384 15086 0 0 0 714 40 0 0 20 0 20 0 4469359 13588557824 772530 33554432000 4194304 4196468 140734158870272 139955235301648 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10283] ppid=10273 vsize=13270076 CPUtime=7.5 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10283/stat : 10283 (java) S 10273 10276 8485 0 -1 1077944384 14516 0 0 0 709 41 0 0 20 0 20 0 4469359 13588557824 772530 33554432000 4194304 4196468 140734158870272 139955234249872 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10284] ppid=10273 vsize=13270076 CPUtime=7.52 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10284/stat : 10284 (java) S 10273 10276 8485 0 -1 1077944384 16550 0 0 0 710 42 0 0 20 0 20 0 4469359 13588557824 772530 33554432000 4194304 4196468 140734158870272 139955233197072 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10285] ppid=10273 vsize=13270076 CPUtime=7.48 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10285/stat : 10285 (java) S 10273 10276 8485 0 -1 1077944384 11814 0 0 0 706 42 0 0 20 0 20 0 4469359 13588557824 772530 33554432000 4194304 4196468 140734158870272 139955232144272 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10286] ppid=10273 vsize=13270076 CPUtime=7.44 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10286/stat : 10286 (java) S 10273 10276 8485 0 -1 1077944384 14961 0 0 0 705 39 0 0 20 0 20 0 4469359 13588557824 772530 33554432000 4194304 4196468 140734158870272 139955231091472 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10287] ppid=10273 vsize=13270076 CPUtime=3.15 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10287/stat : 10287 (java) S 10273 10276 8485 0 -1 1077944384 22929 0 0 0 290 25 0 0 20 0 20 0 4469361 13588557824 772530 33554432000 4194304 4196468 140734158870272 139955102370160 139955639122562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10288] ppid=10273 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10288/stat : 10288 (java) S 10273 10276 8485 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 4469362 13588557824 772530 33554432000 4194304 4196468 140734158870272 139955101316192 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10289] ppid=10273 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10289/stat : 10289 (java) S 10273 10276 8485 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 4469362 13588557824 772530 33554432000 4194304 4196468 140734158870272 139955100263296 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10290] ppid=10273 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10290/stat : 10290 (java) S 10273 10276 8485 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4469366 13588557824 772530 33554432000 4194304 4196468 140734158870272 139955099211600 139955639130011 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10291] ppid=10273 vsize=13270076 CPUtime=1.61 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10291/stat : 10291 (java) S 10273 10276 8485 0 -1 1077944384 4748 0 0 0 159 2 0 0 20 0 20 0 4469366 13588557824 772530 33554432000 4194304 4196468 140734158870272 139955098159984 139955639122562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10292] ppid=10273 vsize=13270076 CPUtime=2.34 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10292/stat : 10292 (java) S 10273 10276 8485 0 -1 1077944384 7952 0 0 0 233 1 0 0 20 0 20 0 4469366 13588557824 772530 33554432000 4194304 4196468 140734158870272 139955097107184 139955639122562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10293] ppid=10273 vsize=13270076 CPUtime=1.54 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10293/stat : 10293 (java) S 10273 10276 8485 0 -1 1077944384 4186 0 0 0 153 1 0 0 20 0 20 0 4469366 13588557824 772530 33554432000 4194304 4196468 140734158870272 139955096054384 139955639122562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10294] ppid=10273 vsize=13270076 CPUtime=1.08 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10294/stat : 10294 (java) S 10273 10276 8485 0 -1 1077944384 7347 0 0 0 106 2 0 0 20 0 20 0 4469366 13588557824 772530 33554432000 4194304 4196468 140734158870272 139955095001584 139955639122562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10295] ppid=10273 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10295/stat : 10295 (java) S 10273 10276 8485 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4469367 13588557824 772530 33554432000 4194304 4196468 140734158870272 139955093949024 139955639121621 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 [pid=10276/tid=10296] ppid=10273 vsize=13270076 CPUtime=1.11 cores=1,3,5,7,9,11,13,15 /proc/10276/task/10296/stat : 10296 (java) S 10273 10276 8485 0 -1 1077944384 1645 0 0 0 52 59 0 0 20 0 20 0 4469367 13588557824 772530 33554432000 4194304 4196468 140734158870272 139955092896304 139955639122562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11796480 140734158877834 140734158878020 140734158878020 140734158880719 0 Current children cumulated CPU time (s) 2400.05 Current children cumulated vsize (KiB) 13270076 Child status: 143 Real time (s): 2343.15 CPU time (s): 2400.13 CPU user time (s): 2395.61 CPU system time (s): 4.51911 CPU usage (%): 102.432 Max. virtual memory (cumulated for all children) (KiB): 13270076 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2395.61 system time used= 4.51911 maximum resident set size= 3505416 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 261012 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2600 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 190462 involuntary context switches= 153160 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 16.6871 second user time and 21.0989 second system time The end
Begin job on node117 at 2017-07-22 04:53:27 IDJOB=4244756 IDBENCH=115895 IDSOLVER=2628 FILE ID=node117/4244756-1500692007 RUNJOBID= node117-1500682496-8517 PBS_JOBID= 20623327 Free space on /tmp= 61964 MiB SOLVER NAME= OscaR - Conflict Ordering 2017-06-30 BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-44.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-4244756-1500692007/watcher-4244756-1500692007 -o /tmp/evaluation-result-4244756-1500692007/solver-4244756-1500692007 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node117-1500682496-8517 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 347891184 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4244756-1500692007.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 4997da7be544d89c7d7e917a89d7c5a2 RANDOM SEED=347891184 node117.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.92 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 : 1600.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.92 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 : 1733.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.92 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 : 2400.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 : 2668.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.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.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.92 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 : 2000.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.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.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.92 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 : 2533.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: 31720200 kB MemAvailable: 31969288 kB Buffers: 107132 kB Cached: 424904 kB SwapCached: 0 kB Active: 345184 kB Inactive: 275804 kB Active(anon): 92120 kB Inactive(anon): 8688 kB Active(file): 253064 kB Inactive(file): 267116 kB Unevictable: 5856 kB Mlocked: 5856 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 83748 kB Writeback: 0 kB AnonPages: 79548 kB Mapped: 42460 kB Shmem: 8840 kB Slab: 122772 kB SReclaimable: 89488 kB SUnreclaim: 33284 kB KernelStack: 4208 kB PageTables: 4864 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1244532 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 61920 MiB End job on node117 at 2017-07-22 05:32:30