Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
OscaR - Hybrid 2017-07-26 | SAT (TO) | 3621 | 2520.1499 | 2458.23 |
Name | Vrp/Vrp-zinc-s1/ Vrp-B-n68-k9.xml |
MD5SUM | d46243a0c717d56f47be278be902a17a |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 1300 |
Best CPU time to get the best result obtained on this benchmark | 2400.1 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 4692 |
Number of constraints | 4623 |
Number of domains | 3 |
Minimum domain size | 1 |
Maximum domain size | 101 |
Distribution of domain sizes | [{"size":1,"count":68},{"size":2,"count":4556},{"size":101,"count":67}] |
Minimum variable degree | 0 |
Maximum variable degree | 133 |
Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":68},{"degree":2,"count":134},{"degree":4,"count":4422},{"degree":133,"count":67}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 67 |
Distribution of constraint arities | [{"arity":1,"count":67},{"arity":3,"count":4422},{"arity":67,"count":134}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 67 |
Distribution of constraint types | [{"type":"intension","count":67},{"type":"sum","count":4422},{"type":"count","count":134}] |
Optimization problem | YES |
Type of objective | min SUM |
0.24/0.40 c version: 2017-07-26 0.24/0.40 c seed: 1659244507 0.24/0.40 c timeout: 2520 0.24/0.40 c memlimit: 11000 0.24/0.40 c nbcore: 4 0.43/0.42 c Parsing instance... 3.96/1.62 c Parsing done, starting first complete search... 4.27/1.76 o 4274 4.27/1.78 o 4264 4.60/1.83 o 4221 4.60/1.88 o 4211 4.91/1.91 o 4210 5.24/2.01 o 4195 5.24/2.07 o 4128 5.24/2.10 o 4083 5.55/2.13 o 4080 6.13/2.34 o 4077 6.13/2.39 o 4073 6.43/2.45 o 4055 6.73/2.51 o 4003 6.73/2.53 o 4001 6.73/2.55 o 3990 9.43/4.70 c First complete search done, starting ALNS search... 85.09/77.63 o 3966 176.96/168.93 o 3935 195.69/187.48 o 3910 311.26/302.25 o 3733 1168.53/1142.07 o 3695 1169.53/1143.03 o 3679 1338.02/1307.03 o 3621 1807.25/1764.31 c ALNS done, starting second complete search 1807.25/1764.31 c Best operator: PropGuided(2593.534888161414)_ConfOrder(Max) with improvement of: 315 2520.11/2458.20 s SATISFIABLE 2520.11/2458.21 v <instantiation> 2520.11/2458.21 v <list> 2520.11/2458.21 v x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[0][50] x[0][51] x[0][52] x[0][53] x[0][54] x[0][55] x[0][56] x[0][57] x[0][58] x[0][59] x[0][60] x[0][61] x[0][62] x[0][63] x[0][64] x[0][65] x[0][66] x[0][67] 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[1][46] x[1][47] x[1][48] x[1][49] x[1][50] x[1][51] x[1][52] x[1][53] x[1][54] x[1][55] x[1][56] x[1][57] x[1][58] x[1][59] x[1][60] x[1][61] x[1][62] x[1][63] x[1][64] x[1][65] x[1][66] x[1][67] 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[2][46] x[2][47] x[2][48] x[2][49] x[2][50] x[2][51] x[2][52] x[2][53] x[2][54] x[2][55] x[2][56] x[2][57] x[2][58] x[2][59] x[2][60] x[2][61] x[2][62] x[2][63] x[2][64] x[2][65] x[2][66] x[2][67] 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[3][46] x[3][47] x[3][48] x[3][49] x[3][50] x[3][51] x[3][52] x[3][53] x[3][54] x[3][55] x[3][56] x[3][57] x[3][58] x[3][59] x[3][60] x[3][61] x[3][62] x[3][63] x[3][64] x[3][65] x[3][66] x[3][67] 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[4][46] x[4][47] x[4][48] x[4][49] x[4][50] x[4][51] x[4][52] x[4][53] x[4][54] x[4][55] x[4][56] x[4][57] x[4][58] x[4][59] x[4][60] x[4][61] x[4][62] x[4][63] x[4][64] x[4][65] x[4][66] x[4][67] 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[5][46] x[5][47] x[5][48] x[5][49] x[5][50] x[5][51] x[5][52] x[5][53] x[5][54] x[5][55] x[5][56] x[5][57] x[5][58] x[5][59] x[5][60] x[5][61] x[5][62] x[5][63] x[5][64] x[5][65] x[5][66] x[5][67] 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[6][46] x[6][47] x[6][48] x[6][49] x[6][50] x[6][51] x[6][52] x[6][53] x[6][54] x[6][55] x[6][56] x[6][57] x[6][58] x[6][59] x[6][60] x[6][61] x[6][62] x[6][63] x[6][64] x[6][65] x[6][66] x[6][67] 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[7][46] x[7][47] x[7][48] x[7][49] x[7][50] x[7][51] x[7][52] x[7][53] x[7][54] x[7][55] x[7][56] x[7][57] x[7][58] x[7][59] x[7][60] x[7][61] x[7][62] x[7][63] x[7][64] x[7][65] x[7][66] x[7][67] 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[8][46] x[8][47] x[8][48] x[8][49] x[8][50] x[8][51] x[8][52] x[8][53] x[8][54] x[8][55] x[8][56] x[8][57] x[8][58] x[8][59] x[8][60] x[8][61] x[8][62] x[8][63] x[8][64] x[8][65] x[8][66] x[8][67] 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[9][46] x[9][47] x[9][48] x[9][49] x[9][50] x[9][51] x[9][52] x[9][53] x[9][54] x[9][55] x[9][56] x[9][57] x[9][58] x[9][59] x[9][60] x[9][61] x[9][62] x[9][63] x[9][64] x[9][65] x[9][66] x[9][67] 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[10][46] x[10][47] x[10][48] x[10][49] x[10][50] x[10][51] x[10][52] x[10][53] x[10][54] x[10][55] x[10][56] x[10][57] x[10][58] x[10][59] x[10][60] x[10][61] x[10][62] x[10][63] x[10][64] x[10][65] x[10][66] x[10][67] 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[11][46] x[11][47] x[11][48] x[11][49] x[11][50] x[11][51] x[11][52] x[11][53] x[11][54] x[11][55] x[11][56] x[11][57] x[11][58] x[11][59] x[11][60] x[11][61] x[11][62] x[11][63] x[11][64] x[11][65] x[11][66] x[11][67] 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[12][46] x[12][47] x[12][48] x[12][49] x[12][50] x[12][51] x[12][52] x[12][53] x[12][54] x[12][55] x[12][56] x[12][57] x[12][58] x[12][59] x[12][60] x[12][61] x[12][62] x[12][63] x[12][64] x[12][65] x[12][66] x[12][67] 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[13][46] x[13][47] x[13][48] x[13][49] x[13][50] x[13][51] x[13][52] x[13][53] x[13][54] x[13][55] x[13][56] x[13][57] x[13][58] x[13][59] x[13][60] x[13][61] x[13][62] x[13][63] x[13][64] x[13][65] x[13][66] x[13][67] 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[14][46] x[14][47] x[14][48] x[14][49] x[14][50] x[14][51] x[14][52] x[14][53] x[14][54] x[14][55] x[14][56] x[14][57] x[14][58] x[14][59] x[14][60] x[14][61] x[14][62] x[14][63] x[14][64] x[14][65] x[14][66] x[14][67] 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[15][46] x[15][47] x[15][48] x[15][49] x[15][50] x[15][51] x[15][52] x[15][53] x[15][54] x[15][55] x[15][56] x[15][57] x[15][58] x[15][59] x[15][60] x[15][61] x[15][62] x[15][63] x[15][64] x[15][65] x[15][66] x[15][67] 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[16][46] x[16][47] x[16][48] x[16][49] x[16][50] x[16][51] x[16][52] x[16][53] x[16][54] x[16][55] x[16][56] x[16][57] x[16][58] x[16][59] x[16][60] x[16][61] x[16][62] x[16][63] x[16][64] x[16][65] x[16][66] x[16][67] 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[17][46] x[17][47] x[17][48] x[17][49] x[17][50] x[17][51] x[17][52] x[17][53] x[17][54] x[17][55] x[17][56] x[17][57] x[17][58] x[17][59] x[17][60] x[17][61] x[17][62] x[17][63] x[17][64] x[17][65] x[17][66] x[17][67] 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[18][46] x[18][47] x[18][48] x[18][49] x[18][50] x[18][51] x[18][52] x[18][53] x[18][54] x[18][55] x[18][56] x[18][57] x[18][58] x[18][59] x[18][60] x[18][61] x[18][62] x[18][63] x[18][64] x[18][65] x[18][66] x[18][67] 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[19][46] x[19][47] x[19][48] x[19][49] x[19][50] x[19][51] x[19][52] x[19][53] x[19][54] x[19][55] x[19][56] x[19][57] x[19][58] x[19][59] x[19][60] x[19][61] x[19][62] x[19][63] x[19][64] x[19][65] x[19][66] x[19][67] 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[20][46] x[20][47] x[20][48] x[20][49] x[20][50] x[20][51] x[20][52] x[20][53] x[20][54] x[20][55] x[20][56] x[20][57] x[20][58] x[20][59] x[20][60] x[20][61] x[20][62] x[20][63] x[20][64] x[20][65] x[20][66] x[20][67] 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[21][46] x[21][47] x[21][48] x[21][49] x[21][50] x[21][51] x[21][52] x[21][53] x[21][54] x[21][55] x[21][56] x[21][57] x[21][58] x[21][59] x[21][60] x[21][61] x[21][62] x[21][63] x[21][64] x[21][65] x[21][66] x[21][67] 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[22][46] x[22][47] x[22][48] x[22][49] x[22][50] x[22][51] x[22][52] x[22][53] x[22][54] x[22][55] x[22][56] x[22][57] x[22][58] x[22][59] x[22][60] x[22][61] x[22][62] x[22][63] x[22][64] x[22][65] x[22][66] x[22][67] 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[23][46] x[23][47] x[23][48] x[23][49] x[23][50] x[23][51] x[23][52] x[23][53] x[23][54] x[23][55] x[23][56] x[23][57] x[23][58] x[23][59] x[23][60] x[23][61] x[23][62] x[23][63] x[23][64] x[23][65] x[23][66] x[23][67] 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[24][46] x[24][47] x[24][48] x[24][49] x[24][50] x[24][51] x[24][52] x[24][53] x[24][54] x[24][55] x[24][56] x[24][57] x[24][58] x[24][59] x[24][60] x[24][61] x[24][62] x[24][63] x[24][64] x[24][65] x[24][66] x[24][67] 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[25][46] x[25][47] x[25][48] x[25][49] x[25][50] x[25][51] x[25][52] x[25][53] x[25][54] x[25][55] x[25][56] x[25][57] x[25][58] x[25][59] x[25][60] x[25][61] x[25][62] x[25][63] x[25][64] x[25][65] x[25][66] x[25][67] 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[26][46] x[26][47] x[26][48] x[26][49] x[26][50] x[26][51] x[26][52] x[26][53] x[26][54] x[26][55] x[26][56] x[26][57] x[26][58] x[26][59] x[26][60] x[26][61] x[26][62] x[26][63] x[26][64] x[26][65] x[26][66] x[26][67] 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[27][46] x[27][47] x[27][48] x[27][49] x[27][50] x[27][51] x[27][52] x[27][53] x[27][54] x[27][55] x[27][56] x[27][57] x[27][58] x[27][59] x[27][60] x[27][61] x[27][62] x[27][63] x[27][64] x[27][65] x[27][66] x[27][67] 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[28][46] x[28][47] x[28][48] x[28][49] x[28][50] x[28][51] x[28][52] x[28][53] x[28][54] x[28][55] x[28][56] x[28][57] x[28][58] x[28][59] x[28][60] x[28][61] x[28][62] x[28][63] x[28][64] x[28][65] x[28][66] x[28][67] 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[29][46] x[29][47] x[29][48] x[29][49] x[29][50] x[29][51] x[29][52] x[29][53] x[29][54] x[29][55] x[29][56] x[29][57] x[29][58] x[29][59] x[29][60] x[29][61] x[29][62] x[29][63] x[29][64] x[29][65] x[29][66] x[29][67] 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[30][46] x[30][47] x[30][48] x[30][49] x[30][50] x[30][51] x[30][52] x[30][53] x[30][54] x[30][55] x[30][56] x[30][57] x[30][58] x[30][59] x[30][60] x[30][61] x[30][62] x[30][63] x[30][64] x[30][65] x[30][66] x[30][67] 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[31][46] x[31][47] x[31][48] x[31][49] x[31][50] x[31][51] x[31][52] x[31][53] x[31][54] x[31][55] x[31][56] x[31][57] x[31][58] x[31][59] x[31][60] x[31][61] x[31][62] x[31][63] x[31][64] x[31][65] x[31][66] x[31][67] 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[32][46] x[32][47] x[32][48] x[32][49] x[32][50] x[32][51] x[32][52] x[32][53] x[32][54] x[32][55] x[32][56] x[32][57] x[32][58] x[32][59] x[32][60] x[32][61] x[32][62] x[32][63] x[32][64] x[32][65] x[32][66] x[32][67] 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[33][46] x[33][47] x[33][48] x[33][49] x[33][50] x[33][51] x[33][52] x[33][53] x[33][54] x[33][55] x[33][56] x[33][57] x[33][58] x[33][59] x[33][60] x[33][61] x[33][62] x[33][63] x[33][64] x[33][65] x[33][66] x[33][67] 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[34][46] x[34][47] x[34][48] x[34][49] x[34][50] x[34][51] x[34][52] x[34][53] x[34][54] x[34][55] x[34][56] x[34][57] x[34][58] x[34][59] x[34][60] x[34][61] x[34][62] x[34][63] x[34][64] x[34][65] x[34][66] x[34][67] 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[35][46] x[35][47] x[35][48] x[35][49] x[35][50] x[35][51] x[35][52] x[35][53] x[35][54] x[35][55] x[35][56] x[35][57] x[35][58] x[35][59] x[35][60] x[35][61] x[35][62] x[35][63] x[35][64] x[35][65] x[35][66] x[35][67] 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[36][46] x[36][47] x[36][48] x[36][49] x[36][50] x[36][51] x[36][52] x[36][53] x[36][54] x[36][55] x[36][56] x[36][57] x[36][58] x[36][59] x[36][60] x[36][61] x[36][62] x[36][63] x[36][64] x[36][65] x[36][66] x[36][67] 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[37][46] x[37][47] x[37][48] x[37][49] x[37][50] x[37][51] x[37][52] x[37][53] x[37][54] x[37][55] x[37][56] x[37][57] x[37][58] x[37][59] x[37][60] x[37][61] x[37][62] x[37][63] x[37][64] x[37][65] x[37][66] x[37][67] 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[38][46] x[38][47] x[38][48] x[38][49] x[38][50] x[38][51] x[38][52] x[38][53] x[38][54] x[38][55] x[38][56] x[38][57] x[38][58] x[38][59] x[38][60] x[38][61] x[38][62] x[38][63] x[38][64] x[38][65] x[38][66] x[38][67] 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[39][46] x[39][47] x[39][48] x[39][49] x[39][50] x[39][51] x[39][52] x[39][53] x[39][54] x[39][55] x[39][56] x[39][57] x[39][58] x[39][59] x[39][60] x[39][61] x[39][62] x[39][63] x[39][64] x[39][65] x[39][66] x[39][67] 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[40][46] x[40][47] x[40][48] x[40][49] x[40][50] x[40][51] x[40][52] x[40][53] x[40][54] x[40][55] x[40][56] x[40][57] x[40][58] x[40][59] x[40][60] x[40][61] x[40][62] x[40][63] x[40][64] x[40][65] x[40][66] x[40][67] 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[41][46] x[41][47] x[41][48] x[41][49] x[41][50] x[41][51] x[41][52] x[41][53] x[41][54] x[41][55] x[41][56] x[41][57] x[41][58] x[41][59] x[41][60] x[41][61] x[41][62] x[41][63] x[41][64] x[41][65] x[41][66] x[41][67] 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[42][46] x[42][47] x[42][48] x[42][49] x[42][50] x[42][51] x[42][52] x[42][53] x[42][54] x[42][55] x[42][56] x[42][57] x[42][58] x[42][59] x[42][60] x[42][61] x[42][62] x[42][63] x[42][64] x[42][65] x[42][66] x[42][67] 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[43][46] x[43][47] x[43][48] x[43][49] x[43][50] x[43][51] x[43][52] x[43][53] x[43][54] x[43][55] x[43][56] x[43][57] x[43][58] x[43][59] x[43][60] x[43][61] x[43][62] x[43][63] x[43][64] x[43][65] x[43][66] x[43][67] 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[44][46] x[44][47] x[44][48] x[44][49] x[44][50] x[44][51] x[44][52] x[44][53] x[44][54] x[44][55] x[44][56] x[44][57] x[44][58] x[44][59] x[44][60] x[44][61] x[44][62] x[44][63] x[44][64] x[44][65] x[44][66] x[44][67] 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] x[45][46] x[45][47] x[45][48] x[45][49] x[45][50] x[45][51] x[45][52] x[45][53] x[45][54] x[45][55] x[45][56] x[45][57] x[45][58] x[45][59] x[45][60] x[45][61] x[45][62] x[45][63] x[45][64] x[45][65] x[45][66] x[45][67] x[46][0] x[46][1] x[46][2] x[46][3] x[46][4] x[46][5] x[46][6] x[46][7] x[46][8] x[46][9] x[46][10] x[46][11] x[46][12] x[46][13] x[46][14] x[46][15] x[46][16] x[46][17] x[46][18] x[46][19] x[46][20] x[46][21] x[46][22] x[46][23] x[46][24] x[46][25] x[46][26] x[46][27] x[46][28] x[46][29] x[46][30] x[46][31] x[46][32] x[46][33] x[46][34] x[46][35] x[46][36] x[46][37] x[46][38] x[46][39] x[46][40] x[46][41] x[46][42] x[46][43] x[46][44] x[46][45] x[46][46] x[46][47] x[46][48] x[46][49] x[46][50] x[46][51] x[46][52] x[46][53] x[46][54] x[46][55] x[46][56] x[46][57] x[46][58] x[46][59] x[46][60] x[46][61] x[46][62] x[46][63] x[46][64] x[46][65] x[46][66] x[46][67] x[47][0] x[47][1] x[47][2] x[47][3] x[47][4] x[47][5] x[47][6] x[47][7] x[47][8] x[47][9] x[47][10] x[47][11] x[47][12] x[47][13] x[47][14] x[47][15] x[47][16] x[47][17] x[47][18] x[47][19] x[47][20] x[47][21] x[47][22] x[47][23] x[47][24] x[47][25] x[47][26] x[47][27] x[47][28] x[47][29] x[47][30] x[47][31] x[47][32] x[47][33] x[47][34] x[47][35] x[47][36] x[47][37] x[47][38] x[47][39] x[47][40] x[47][41] x[47][42] x[47][43] x[47][44] x[47][45] x[47][46] x[47][47] x[47][48] x[47][49] x[47][50] x[47][51] x[47][52] x[47][53] x[47][54] x[47][55] x[47][56] x[47][57] x[47][58] x[47][59] x[47][60] x[47][61] x[47][62] x[47][63] x[47][64] x[47][65] x[47][66] x[47][67] x[48][0] x[48][1] x[48][2] x[48][3] x[48][4] x[48][5] x[48][6] x[48][7] x[48][8] x[48][9] x[48][10] x[48][11] x[48][12] x[48][13] x[48][14] x[48][15] x[48][16] x[48][17] x[48][18] x[48][19] x[48][20] x[48][21] x[48][22] x[48][23] x[48][24] x[48][25] x[48][26] x[48][27] x[48][28] x[48][29] x[48][30] x[48][31] x[48][32] x[48][33] x[48][34] x[48][35] x[48][36] x[48][37] x[48][38] x[48][39] x[48][40] x[48][41] x[48][42] x[48][43] x[48][44] x[48][45] x[48][46] x[48][47] x[48][48] x[48][49] x[48][50] x[48][51] x[48][52] x[48][53] x[48][54] x[48][55] x[48][56] x[48][57] x[48][58] x[48][59] x[48][60] x[48][61] x[48][62] x[48][63] x[48][64] x[48][65] x[48][66] x[48][67] x[49][0] x[49][1] x[49][2] x[49][3] x[49][4] x[49][5] x[49][6] x[49][7] x[49][8] x[49][9] x[49][10] x[49][11] x[49][12] x[49][13] x[49][14] x[49][15] x[49][16] x[49][17] x[49][18] x[49][19] x[49][20] x[49][21] x[49][22] x[49][23] x[49][24] x[49][25] x[49][26] x[49][27] x[49][28] x[49][29] x[49][30] x[49][31] x[49][32] x[49][33] x[49][34] x[49][35] x[49][36] x[49][37] x[49][38] x[49][39] x[49][40] x[49][41] x[49][42] x[49][43] x[49][44] x[49][45] x[49][46] x[49][47] x[49][48] x[49][49] x[49][50] x[49][51] x[49][52] x[49][53] x[49][54] x[49][55] x[49][56] x[49][57] x[49][58] x[49][59] x[49][60] x[49][61] x[49][62] x[49][63] x[49][64] x[49][65] x[49][66] x[49][67] x[50][0] x[50][1] x[50][2] x[50][3] x[50][4] x[50][5] x[50][6] x[50][7] x[50][8] x[50][9] x[50][10] x[50][11] x[50][12] x[50][13] x[50][14] x[50][15] x[50][16] x[50][17] x[50][18] x[50][19] x[50][20] x[50][21] x[50][22] x[50][23] x[50][24] x[50][25] x[50][26] x[50][27] x[50][28] x[50][29] x[50][30] x[50][31] x[50][32] x[50][33] x[50][34] x[50][35] x[50][36] x[50][37] x[50][38] x[50][39] x[50][40] x[50][41] x[50][42] x[50][43] x[50][44] x[50][45] x[50][46] x[50][47] x[50][48] x[50][49] x[50][50] x[50][51] x[50][52] x[50][53] x[50][54] x[50][55] x[50][56] x[50][57] x[50][58] x[50][59] x[50][60] x[50][61] x[50][62] x[50][63] x[50][64] x[50][65] x[50][66] x[50][67] x[51][0] x[51][1] x[51][2] x[51][3] x[51][4] x[51][5] x[51][6] x[51][7] x[51][8] x[51][9] x[51][10] x[51][11] x[51][12] x[51][13] x[51][14] x[51][15] x[51][16] x[51][17] x[51][18] x[51][19] x[51][20] x[51][21] x[51][22] x[51][23] x[51][24] x[51][25] x[51][26] x[51][27] x[51][28] x[51][29] x[51][30] x[51][31] x[51][32] x[51][33] x[51][34] x[51][35] x[51][36] x[51][37] x[51][38] x[51][39] x[51][40] x[51][41] x[51][42] x[51][43] x[51][44] x[51][45] x[51][46] x[51][47] x[51][48] x[51][49] x[51][50] x[51][51] x[51][52] x[51][53] x[51][54] x[51][55] x[51][56] x[51][57] x[51][58] x[51][59] x[51][60] x[51][61] x[51][62] x[51][63] x[51][64] x[51][65] x[51][66] x[51][67] x[52][0] x[52][1] x[52][2] x[52][3] x[52][4] x[52][5] x[52][6] x[52][7] x[52][8] x[52][9] x[52][10] x[52][11] x[52][12] x[52][13] x[52][14] x[52][15] x[52][16] x[52][17] x[52][18] x[52][19] x[52][20] x[52][21] x[52][22] x[52][23] x[52][24] x[52][25] x[52][26] x[52][27] x[52][28] x[52][29] x[52][30] x[52][31] x[52][32] x[52][33] x[52][34] x[52][35] x[52][36] x[52][37] x[52][38] x[52][39] x[52][40] x[52][41] x[52][42] x[52][43] x[52][44] x[52][45] x[52][46] x[52][47] x[52][48] x[52][49] x[52][50] x[52][51] x[52][52] x[52][53] x[52][54] x[52][55] x[52][56] x[52][57] x[52][58] x[52][59] x[52][60] x[52][61] x[52][62] x[52][63] x[52][64] x[52][65] x[52][66] x[52][67] x[53][0] x[53][1] x[53][2] x[53][3] x[53][4] x[53][5] x[53][6] x[53][7] x[53][8] x[53][9] x[53][10] x[53][11] x[53][12] x[53][13] x[53][14] x[53][15] x[53][16] x[53][17] x[53][18] x[53][19] x[53][20] x[53][21] x[53][22] x[53][23] x[53][24] x[53][25] x[53][26] x[53][27] x[53][28] x[53][29] x[53][30] x[53][31] x[53][32] x[53][33] x[53][34] x[53][35] x[53][36] x[53][37] x[53][38] x[53][39] x[53][40] x[53][41] x[53][42] x[53][43] x[53][44] x[53][45] x[53][46] x[53][47] x[53][48] x[53][49] x[53][50] x[53][51] x[53][52] x[53][53] x[53][54] x[53][55] x[53][56] x[53][57] x[53][58] x[53][59] x[53][60] x[53][61] x[53][62] x[53][63] x[53][64] x[53][65] x[53][66] x[53][67] x[54][0] x[54][1] x[54][2] x[54][3] x[54][4] x[54][5] x[54][6] x[54][7] x[54][8] x[54][9] x[54][10] x[54][11] x[54][12] x[54][13] x[54][14] x[54][15] x[54][16] x[54][17] x[54][18] x[54][19] x[54][20] x[54][21] x[54][22] x[54][23] x[54][24] x[54][25] x[54][26] x[54][27] x[54][28] x[54][29] x[54][30] x[54][31] x[54][32] x[54][33] x[54][34] x[54][35] x[54][36] x[54][37] x[54][38] x[54][39] x[54][40] x[54][41] x[54][42] x[54][43] x[54][44] x[54][45] x[54][46] x[54][47] x[54][48] x[54][49] x[54][50] x[54][51] x[54][52] x[54][53] x[54][54] x[54][55] x[54][56] x[54][57] x[54][58] x[54][59] x[54][60] x[54][61] x[54][62] x[54][63] x[54][64] x[54][65] x[54][66] x[54][67] x[55][0] x[55][1] x[55][2] x[55][3] x[55][4] x[55][5] x[55][6] x[55][7] x[55][8] x[55][9] x[55][10] x[55][11] x[55][12] x[55][13] x[55][14] x[55][15] x[55][16] x[55][17] x[55][18] x[55][19] x[55][20] x[55][21] x[55][22] x[55][23] x[55][24] x[55][25] x[55][26] x[55][27] x[55][28] x[55][29] x[55][30] x[55][31] x[55][32] x[55][33] x[55][34] x[55][35] x[55][36] x[55][37] x[55][38] x[55][39] x[55][40] x[55][41] x[55][42] x[55][43] x[55][44] x[55][45] x[55][46] x[55][47] x[55][48] x[55][49] x[55][50] x[55][51] x[55][52] x[55][53] x[55][54] x[55][55] x[55][56] x[55][57] x[55][58] x[55][59] x[55][60] x[55][61] x[55][62] x[55][63] x[55][64] x[55][65] x[55][66] x[55][67] x[56][0] x[56][1] x[56][2] x[56][3] x[56][4] x[56][5] x[56][6] x[56][7] x[56][8] x[56][9] x[56][10] x[56][11] x[56][12] x[56][13] x[56][14] x[56][15] x[56][16] x[56][17] x[56][18] x[56][19] x[56][20] x[56][21] x[56][22] x[56][23] x[56][24] x[56][25] x[56][26] x[56][27] x[56][28] x[56][29] x[56][30] x[56][31] x[56][32] x[56][33] x[56][34] x[56][35] x[56][36] x[56][37] x[56][38] x[56][39] x[56][40] x[56][41] x[56][42] x[56][43] x[56][44] x[56][45] x[56][46] x[56][47] x[56][48] x[56][49] x[56][50] x[56][51] x[56][52] x[56][53] x[56][54] x[56][55] x[56][56] x[56][57] x[56][58] x[56][59] x[56][60] x[56][61] x[56][62] x[56][63] x[56][64] x[56][65] x[56][66] x[56][67] x[57][0] x[57][1] x[57][2] x[57][3] x[57][4] x[57][5] x[57][6] x[57][7] x[57][8] x[57][9] x[57][10] x[57][11] x[57][12] x[57][13] x[57][14] x[57][15] x[57][16] x[57][17] x[57][18] x[57][19] x[57][20] x[57][21] x[57][22] x[57][23] x[57][24] x[57][25] x[57][26] x[57][27] x[57][28] x[57][29] x[57][30] x[57][31] x[57][32] x[57][33] x[57][34] x[57][35] x[57][36] x[57][37] x[57][38] x[57][39] x[57][40] x[57][41] x[57][42] x[57][43] x[57][44] x[57][45] x[57][46] x[57][47] x[57][48] x[57][49] x[57][50] x[57][51] x[57][52] x[57][53] x[57][54] x[57][55] x[57][56] x[57][57] x[57][58] x[57][59] x[57][60] x[57][61] x[57][62] x[57][63] x[57][64] x[57][65] x[57][66] x[57][67] x[58][0] x[58][1] x[58][2] x[58][3] x[58][4] x[58][5] x[58][6] x[58][7] x[58][8] x[58][9] x[58][10] x[58][11] x[58][12] x[58][13] x[58][14] x[58][15] x[58][16] x[58][17] x[58][18] x[58][19] x[58][20] x[58][21] x[58][22] x[58][23] x[58][24] x[58][25] x[58][26] x[58][27] x[58][28] x[58][29] x[58][30] x[58][31] x[58][32] x[58][33] x[58][34] x[58][35] x[58][36] x[58][37] x[58][38] x[58][39] x[58][40] x[58][41] x[58][42] x[58][43] x[58][44] x[58][45] x[58][46] x[58][47] x[58][48] x[58][49] x[58][50] x[58][51] x[58][52] x[58][53] x[58][54] x[58][55] x[58][56] x[58][57] x[58][58] x[58][59] x[58][60] x[58][61] x[58][62] x[58][63] x[58][64] x[58][65] x[58][66] x[58][67] x[59][0] x[59][1] x[59][2] x[59][3] x[59][4] x[59][5] x[59][6] x[59][7] x[59][8] x[59][9] x[59][10] x[59][11] x[59][12] x[59][13] x[59][14] x[59][15] x[59][16] x[59][17] x[59][18] x[59][19] x[59][20] x[59][21] x[59][22] x[59][23] x[59][24] x[59][25] x[59][26] x[59][27] x[59][28] x[59][29] x[59][30] x[59][31] x[59][32] x[59][33] x[59][34] x[59][35] x[59][36] x[59][37] x[59][38] x[59][39] x[59][40] x[59][41] x[59][42] x[59][43] x[59][44] x[59][45] x[59][46] x[59][47] x[59][48] x[59][49] x[59][50] x[59][51] x[59][52] x[59][53] x[59][54] x[59][55] x[59][56] x[59][57] x[59][58] x[59][59] x[59][60] x[59][61] x[59][62] x[59][63] x[59][64] x[59][65] x[59][66] x[59][67] x[60][0] x[60][1] x[60][2] x[60][3] x[60][4] x[60][5] x[60][6] x[60][7] x[60][8] x[60][9] x[60][10] x[60][11] x[60][12] x[60][13] x[60][14] x[60][15] x[60][16] x[60][17] x[60][18] x[60][19] x[60][20] x[60][21] x[60][22] x[60][23] x[60][24] x[60][25] x[60][26] x[60][27] x[60][28] x[60][29] x[60][30] x[60][31] x[60][32] x[60][33] x[60][34] x[60][35] x[60][36] x[60][37] x[60][38] x[60][39] x[60][40] x[60][41] x[60][42] x[60][43] x[60][44] x[60][45] x[60][46] x[60][47] x[60][48] x[60][49] x[60][50] x[60][51] x[60][52] x[60][53] x[60][54] x[60][55] x[60][56] x[60][57] x[60][58] x[60][59] x[60][60] x[60][61] x[60][62] x[60][63] x[60][64] x[60][65] x[60][66] x[60][67] x[61][0] x[61][1] x[61][2] x[61][3] x[61][4] x[61][5] x[61][6] x[61][7] x[61][8] x[61][9] x[61][10] x[61][11] x[61][12] x[61][13] x[61][14] x[61][15] x[61][16] x[61][17] x[61][18] x[61][19] x[61][20] x[61][21] x[61][22] x[61][23] x[61][24] x[61][25] x[61][26] x[61][27] x[61][28] x[61][29] x[61][30] x[61][31] x[61][32] x[61][33] x[61][34] x[61][35] x[61][36] x[61][37] x[61][38] x[61][39] x[61][40] x[61][41] x[61][42] x[61][43] x[61][44] x[61][45] x[61][46] x[61][47] x[61][48] x[61][49] x[61][50] x[61][51] x[61][52] x[61][53] x[61][54] x[61][55] x[61][56] x[61][57] x[61][58] x[61][59] x[61][60] x[61][61] x[61][62] x[61][63] x[61][64] x[61][65] x[61][66] x[61][67] x[62][0] x[62][1] x[62][2] x[62][3] x[62][4] x[62][5] x[62][6] x[62][7] x[62][8] x[62][9] x[62][10] x[62][11] x[62][12] x[62][13] x[62][14] x[62][15] x[62][16] x[62][17] x[62][18] x[62][19] x[62][20] x[62][21] x[62][22] x[62][23] x[62][24] x[62][25] x[62][26] x[62][27] x[62][28] x[62][29] x[62][30] x[62][31] x[62][32] x[62][33] x[62][34] x[62][35] x[62][36] x[62][37] x[62][38] x[62][39] x[62][40] x[62][41] x[62][42] x[62][43] x[62][44] x[62][45] x[62][46] x[62][47] x[62][48] x[62][49] x[62][50] x[62][51] x[62][52] x[62][53] x[62][54] x[62][55] x[62][56] x[62][57] x[62][58] x[62][59] x[62][60] x[62][61] x[62][62] x[62][63] x[62][64] x[62][65] x[62][66] x[62][67] x[63][0] x[63][1] x[63][2] x[63][3] x[63][4] x[63][5] x[63][6] x[63][7] x[63][8] x[63][9] x[63][10] x[63][11] x[63][12] x[63][13] x[63][14] x[63][15] x[63][16] x[63][17] x[63][18] x[63][19] x[63][20] x[63][21] x[63][22] x[63][23] x[63][24] x[63][25] x[63][26] x[63][27] x[63][28] x[63][29] x[63][30] x[63][31] x[63][32] x[63][33] x[63][34] x[63][35] x[63][36] x[63][37] x[63][38] x[63][39] x[63][40] x[63][41] x[63][42] x[63][43] x[63][44] x[63][45] x[63][46] x[63][47] x[63][48] x[63][49] x[63][50] x[63][51] x[63][52] x[63][53] x[63][54] x[63][55] x[63][56] x[63][57] x[63][58] x[63][59] x[63][60] x[63][61] x[63][62] x[63][63] x[63][64] x[63][65] x[63][66] x[63][67] x[64][0] x[64][1] x[64][2] x[64][3] x[64][4] x[64][5] x[64][6] x[64][7] x[64][8] x[64][9] x[64][10] x[64][11] x[64][12] x[64][13] x[64][14] x[64][15] x[64][16] x[64][17] x[64][18] x[64][19] x[64][20] x[64][21] x[64][22] x[64][23] x[64][24] x[64][25] x[64][26] x[64][27] x[64][28] x[64][29] x[64][30] x[64][31] x[64][32] x[64][33] x[64][34] x[64][35] x[64][36] x[64][37] x[64][38] x[64][39] x[64][40] x[64][41] x[64][42] x[64][43] x[64][44] x[64][45] x[64][46] x[64][47] x[64][48] x[64][49] x[64][50] x[64][51] x[64][52] x[64][53] x[64][54] x[64][55] x[64][56] x[64][57] x[64][58] x[64][59] x[64][60] x[64][61] x[64][62] x[64][63] x[64][64] x[64][65] x[64][66] x[64][67] x[65][0] x[65][1] x[65][2] x[65][3] x[65][4] x[65][5] x[65][6] x[65][7] x[65][8] x[65][9] x[65][10] x[65][11] x[65][12] x[65][13] x[65][14] x[65][15] x[65][16] x[65][17] x[65][18] x[65][19] x[65][20] x[65][21] x[65][22] x[65][23] x[65][24] x[65][25] x[65][26] x[65][27] x[65][28] x[65][29] x[65][30] x[65][31] x[65][32] x[65][33] x[65][34] x[65][35] x[65][36] x[65][37] x[65][38] x[65][39] x[65][40] x[65][41] x[65][42] x[65][43] x[65][44] x[65][45] x[65][46] x[65][47] x[65][48] x[65][49] x[65][50] x[65][51] x[65][52] x[65][53] x[65][54] x[65][55] x[65][56] x[65][57] x[65][58] x[65][59] x[65][60] x[65][61] x[65][62] x[65][63] x[65][64] x[65][65] x[65][66] x[65][67] x[66][0] x[66][1] x[66][2] x[66][3] x[66][4] x[66][5] x[66][6] x[66][7] x[66][8] x[66][9] x[66][10] x[66][11] x[66][12] x[66][13] x[66][14] x[66][15] x[66][16] x[66][17] x[66][18] x[66][19] x[66][20] x[66][21] x[66][22] x[66][23] x[66][24] x[66][25] x[66][26] x[66][27] x[66][28] x[66][29] x[66][30] x[66][31] x[66][32] x[66][33] x[66][34] x[66][35] x[66][36] x[66][37] x[66][38] x[66][39] x[66][40] x[66][41] x[66][42] x[66][43] x[66][44] x[66][45] x[66][46] x[66][47] x[66][48] x[66][49] x[66][50] x[66][51] x[66][52] x[66][53] x[66][54] x[66][55] x[66][56] x[66][57] x[66][58] x[66][59] x[66][60] x[66][61] x[66][62] x[66][63] x[66][64] x[66][65] x[66][66] x[66][67] x[67][0] x[67][1] x[67][2] x[67][3] x[67][4] x[67][5] x[67][6] x[67][7] x[67][8] x[67][9] x[67][10] x[67][11] x[67][12] x[67][13] x[67][14] x[67][15] x[67][16] x[67][17] x[67][18] x[67][19] x[67][20] x[67][21] x[67][22] x[67][23] x[67][24] x[67][25] x[67][26] x[67][27] x[67][28] x[67][29] x[67][30] x[67][31] x[67][32] x[67][33] x[67][34] x[67][35] x[67][36] x[67][37] x[67][38] x[67][39] x[67][40] x[67][41] x[67][42] x[67][43] x[67][44] x[67][45] x[67][46] x[67][47] x[67][48] x[67][49] x[67][50] x[67][51] x[67][52] x[67][53] x[67][54] x[67][55] x[67][56] x[67][57] x[67][58] x[67][59] x[67][60] x[67][61] x[67][62] x[67][63] x[67][64] x[67][65] x[67][66] x[67][67] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33] u[34] u[35] u[36] u[37] u[38] u[39] u[40] u[41] u[42] u[43] u[44] u[45] u[46] u[47] u[48] u[49] u[50] u[51] u[52] u[53] u[54] u[55] u[56] u[57] u[58] u[59] u[60] u[61] u[62] u[63] u[64] u[65] u[66] u[67] 2520.11/2458.21 v </list> 2520.11/2458.21 v <values> 2520.11/2458.21 v 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 36 47 55 41 47 75 98 44 45 100 100 54 75 77 89 100 23 100 19 95 60 88 95 68 78 32 33 57 73 5 70 78 86 92 34 100 48 26 100 48 62 83 57 36 30 100 45 100 90 16 84 84 100 34 69 100 71 77 42 78 44 14 72 42 28 41 64 2520.11/2458.21 v </values> 2520.11/2458.21 v </instantiation>
OK 3621
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (14998 MiB free) memory of node 1: 16384 MiB (13673 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274771-1502824960/watcher-4274771-1502824960 -o /tmp/evaluation-result-4274771-1502824960/solver-4274771-1502824960 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502658244-13744 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1659244507 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274771-1502824960.xml running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=5953, runsolver pid=5950 [startup+0.10012 s]* /proc/loadavg: 1.71 1.58 1.54 3/200 5955 /proc/meminfo: memFree=29360624/32770624 swapFree=67108860/67108860 [pid=5953] ppid=5950 vsize=13356344 memory=10960 CPUtime=0 cores=0,2,4,6 /proc/5953/stat : 5953 (java) S 5950 5953 12395 0 -1 1077944320 2547 0 0 0 0 0 0 0 20 0 6 0 124407525 13676896256 2740 18446744073709551615 4194304 4196468 140732256891744 140732256874288 140602042494711 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 /proc/5953/statm: 3339086 2740 1271 1 0 3329056 0 [pid=5953/tid=5955] ppid=5950 vsize=13358552 memory=7078086954469309281 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5955/stat : 5955 (java) R 5950 5953 12395 0 -1 4202560 1470 0 0 0 0 0 0 0 20 0 6 0 124407535 13679157248 2941 18446744073709551615 4194304 4196468 140732256891744 140602046730832 140602003475429 0 4 1 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5956] ppid=5950 vsize=13358552 memory=3461361991549258287 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5956/stat : 5956 (java) S 5950 5953 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 124407535 13679157248 2941 18446744073709551615 4194304 4196468 140732256891744 140601999461392 140602042504917 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5957] ppid=5950 vsize=13358552 memory=139738552686208 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5957/stat : 5957 (java) S 5950 5953 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 124407535 13679157248 2941 18446744073709551615 4194304 4196468 140732256891744 140601998408848 140602042504917 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5958] ppid=5950 vsize=13358552 memory=0 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5958/stat : 5958 (java) S 5950 5953 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 124407535 13679157248 2941 18446744073709551615 4194304 4196468 140732256891744 140601997355792 140602042504917 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5959] ppid=5950 vsize=13358552 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5959/stat : 5959 (java) S 5950 5953 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 124407535 13679157248 2941 18446744073709551615 4194304 4196468 140732256891744 140601639234448 140602042504917 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 13356344 KiB Current children cumulated memory: 10960 KiB [startup+0.21008 s]* /proc/loadavg: 1.71 1.58 1.54 3/213 5968 /proc/meminfo: memFree=29349008/32770624 swapFree=67108860/67108860 [pid=5953] ppid=5950 vsize=13975920 memory=29284 CPUtime=0.08 cores=0,2,4,6 /proc/5953/stat : 5953 (java) S 5950 5953 12395 0 -1 1077944320 6633 0 0 0 7 1 0 0 20 0 15 0 124407525 14311342080 7321 18446744073709551615 4194304 4196468 140732256891744 140732256874288 140602042494711 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 /proc/5953/statm: 3493980 7321 3348 1 0 3482759 0 [pid=5953/tid=5955] ppid=5950 vsize=13975920 memory=8390339637985935414 CPUtime=0.07 cores=0,2,4,6 /proc/5953/task/5955/stat : 5955 (java) R 5950 5953 12395 0 -1 4202560 4672 0 0 0 6 1 0 0 20 0 15 0 124407535 14311342080 7321 18446744073709551615 4194304 4196468 140732256891744 140602046724088 140602042516637 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5956] ppid=5950 vsize=13975920 memory=4294967627 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5956/stat : 5956 (java) S 5950 5953 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124407535 14311342080 7321 18446744073709551615 4194304 4196468 140732256891744 140601999461392 140602042504917 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5957] ppid=5950 vsize=13975920 memory=139738552692418 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5957/stat : 5957 (java) S 5950 5953 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124407535 14311342080 7321 18446744073709551615 4194304 4196468 140732256891744 140601998408848 140602042504917 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5958] ppid=5950 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5958/stat : 5958 (java) S 5950 5953 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 124407535 14311342080 7321 18446744073709551615 4194304 4196468 140732256891744 140601997355792 140602042504917 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5959] ppid=5950 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5959/stat : 5959 (java) S 5950 5953 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124407535 14311342080 7321 18446744073709551615 4194304 4196468 140732256891744 140601639234448 140602042504917 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5960] ppid=5950 vsize=13975920 memory=139738552686208 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5960/stat : 5960 (java) S 5950 5953 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 124407537 14311342080 7321 18446744073709551615 4194304 4196468 140732256891744 140601387362544 140602042505858 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5961] ppid=5950 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5961/stat : 5961 (java) S 5950 5953 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 124407537 14311342080 7321 18446744073709551615 4194304 4196468 140732256891744 140601386308768 140602042504917 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5962] ppid=5950 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5962/stat : 5962 (java) S 5950 5953 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 124407537 14311342080 7321 18446744073709551615 4194304 4196468 140732256891744 140601385255664 140602042504917 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5963] ppid=5950 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5963/stat : 5963 (java) S 5950 5953 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124407540 14311342080 7321 18446744073709551615 4194304 4196468 140732256891744 140601384204240 140602042513307 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5964] ppid=5950 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5964/stat : 5964 (java) S 5950 5953 12395 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 124407540 14311342080 7321 18446744073709551615 4194304 4196468 140732256891744 140601383152368 140602042505858 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5965] ppid=5950 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5965/stat : 5965 (java) S 5950 5953 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124407540 14311342080 7321 18446744073709551615 4194304 4196468 140732256891744 140601382099824 140602042505858 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5966] ppid=5950 vsize=13975920 memory=139738552686208 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5966/stat : 5966 (java) S 5950 5953 12395 0 -1 1077944384 289 0 0 0 0 0 0 0 20 0 15 0 124407540 14311342080 7321 18446744073709551615 4194304 4196468 140732256891744 140601381046768 140602042505858 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5967] ppid=5950 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5967/stat : 5967 (java) S 5950 5953 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124407540 14311342080 7321 18446744073709551615 4194304 4196468 140732256891744 140601379994464 140602042504917 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5968] ppid=5950 vsize=13975920 memory=139738552686208 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5968/stat : 5968 (java) S 5950 5953 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124407544 14311342080 7321 18446744073709551615 4194304 4196468 140732256891744 140601378941488 140602042505858 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 Current children cumulated CPU time: 0.08 s Current children cumulated vsize: 13975920 KiB Current children cumulated memory: 29284 KiB [startup+0.314209 s]* /proc/loadavg: 1.71 1.58 1.54 3/213 5968 /proc/meminfo: memFree=29344160/32770624 swapFree=67108860/67108860 [pid=5953] ppid=5950 vsize=13975920 memory=38936 CPUtime=0.24 cores=0,2,4,6 /proc/5953/stat : 5953 (java) S 5950 5953 12395 0 -1 1077944320 10473 0 0 0 20 4 0 0 20 0 15 0 124407525 14311342080 9734 18446744073709551615 4194304 4196468 140732256891744 140732256874288 140602042494711 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 /proc/5953/statm: 3493980 9734 3518 1 0 3482759 0 [pid=5953/tid=5955] ppid=5950 vsize=13975920 memory=6933928925625698159 CPUtime=0.17 cores=0,2,4,6 /proc/5953/task/5955/stat : 5955 (java) R 5950 5953 12395 0 -1 4202560 8182 0 0 0 14 3 0 0 20 0 15 0 124407535 14311342080 9734 18446744073709551615 4194304 4196468 140732256891744 140602046706928 140602026575198 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5956] ppid=5950 vsize=13975920 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5956/stat : 5956 (java) S 5950 5953 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124407535 14311342080 9734 18446744073709551615 4194304 4196468 140732256891744 140601999461392 140602042504917 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5957] ppid=5950 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5957/stat : 5957 (java) S 5950 5953 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124407535 14311342080 9734 18446744073709551615 4194304 4196468 140732256891744 140601998408848 140602042504917 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5958] ppid=5950 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5958/stat : 5958 (java) S 5950 5953 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 124407535 14311342080 9734 18446744073709551615 4194304 4196468 140732256891744 140601997355792 140602042504917 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5959] ppid=5950 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5959/stat : 5959 (java) S 5950 5953 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124407535 14311342080 9734 18446744073709551615 4194304 4196468 140732256891744 140601639234448 140602042504917 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5960] ppid=5950 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5960/stat : 5960 (java) S 5950 5953 12395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 124407537 14311342080 9734 18446744073709551615 4194304 4196468 140732256891744 140601387362544 140602042505858 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5961] ppid=5950 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5961/stat : 5961 (java) S 5950 5953 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 124407537 14311342080 9734 18446744073709551615 4194304 4196468 140732256891744 140601386308768 140602042504917 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5962] ppid=5950 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5962/stat : 5962 (java) S 5950 5953 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 124407537 14311342080 9734 18446744073709551615 4194304 4196468 140732256891744 140601385255664 140602042504917 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5963] ppid=5950 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5963/stat : 5963 (java) S 5950 5953 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124407540 14311342080 9734 18446744073709551615 4194304 4196468 140732256891744 140601384204240 140602042513307 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5964] ppid=5950 vsize=13975920 memory=0 CPUtime=0.01 cores=0,2,4,6 /proc/5953/task/5964/stat : 5964 (java) S 5950 5953 12395 0 -1 1077944384 328 0 0 0 1 0 0 0 20 0 15 0 124407540 14311342080 9734 18446744073709551615 4194304 4196468 140732256891744 140601383152368 140602042505858 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5965] ppid=5950 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5965/stat : 5965 (java) S 5950 5953 12395 0 -1 1077944384 185 0 0 0 0 0 0 0 20 0 15 0 124407540 14311342080 9734 18446744073709551615 4194304 4196468 140732256891744 140601382099824 140602042505858 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5966] ppid=5950 vsize=13975920 memory=-1 CPUtime=0.04 cores=0,2,4,6 /proc/5953/task/5966/stat : 5966 (java) S 5950 5953 12395 0 -1 1077944384 409 0 0 0 4 0 0 0 20 0 15 0 124407540 14311342080 9734 18446744073709551615 4194304 4196468 140732256891744 140601381046768 140602042505858 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5967] ppid=5950 vsize=13975920 memory=139738552686208 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5967/stat : 5967 (java) S 5950 5953 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124407540 14311342080 9734 18446744073709551615 4194304 4196468 140732256891744 140601379994464 140602042504917 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5968] ppid=5950 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5968/stat : 5968 (java) S 5950 5953 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124407544 14311342080 9734 18446744073709551615 4194304 4196468 140732256891744 140601378941488 140602042505858 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 13975920 KiB Current children cumulated memory: 38936 KiB [startup+0.701705 s] /proc/loadavg: 1.71 1.58 1.54 4/213 5968 /proc/meminfo: memFree=29331424/32770624 swapFree=67108860/67108860 [pid=5953] ppid=5950 vsize=13977988 memory=70920 CPUtime=1.07 cores=0,2,4,6 /proc/5953/stat : 5953 (java) S 5950 5953 12395 0 -1 1077944320 13940 0 0 0 101 6 0 0 20 0 15 0 124407525 14313459712 17730 18446744073709551615 4194304 4196468 140732256891744 140732256874288 140602042494711 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 /proc/5953/statm: 3494497 17730 3722 1 0 3483271 0 [pid=5953/tid=5955] ppid=5950 vsize=13977988 memory=0 CPUtime=0.54 cores=0,2,4,6 /proc/5953/task/5955/stat : 5955 (java) R 5950 5953 12395 0 -1 4202560 10283 0 0 0 50 4 0 0 20 0 15 0 124407535 14313459712 17730 18446744073709551615 4194304 4196468 140732256891744 140602046722352 140602026538341 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5956] ppid=5950 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5956/stat : 5956 (java) S 5950 5953 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124407535 14313459712 17730 18446744073709551615 4194304 4196468 140732256891744 140601999461392 140602042504917 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5957] ppid=5950 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5957/stat : 5957 (java) S 5950 5953 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124407535 14313459712 17730 18446744073709551615 4194304 4196468 140732256891744 140601998408848 140602042504917 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5958] ppid=5950 vsize=13977988 memory=4294 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5958/stat : 5958 (java) S 5950 5953 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 124407535 14313459712 17730 18446744073709551615 4194304 4196468 140732256891744 140601997355792 140602042504917 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5959] ppid=5950 vsize=13977988 memory=1576 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5959/stat : 5959 (java) S 5950 5953 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124407535 14313459712 17730 18446744073709551615 4194304 4196468 140732256891744 140601639234448 140602042504917 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5960] ppid=5950 vsize=13977988 memory=573 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5960/stat : 5960 (java) S 5950 5953 12395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 124407537 14313459712 17730 18446744073709551615 4194304 4196468 140732256891744 140601387362544 140602042505858 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5961] ppid=5950 vsize=13977988 memory=139738552686207 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5961/stat : 5961 (java) S 5950 5953 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 124407537 14313459712 17730 18446744073709551615 4194304 4196468 140732256891744 140601386308768 140602042504917 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5962] ppid=5950 vsize=13977988 memory=279476877799376 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5962/stat : 5962 (java) S 5950 5953 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 124407537 14313459712 17730 18446744073709551615 4194304 4196468 140732256891744 140601385255664 140602042504917 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5963] ppid=5950 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5963/stat : 5963 (java) S 5950 5953 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124407540 14313459712 17730 18446744073709551615 4194304 4196468 140732256891744 140601384204240 140602042513307 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5964] ppid=5950 vsize=13977988 memory=10465 CPUtime=0.17 cores=0,2,4,6 /proc/5953/task/5964/stat : 5964 (java) R 5950 5953 12395 0 -1 4202560 804 0 0 0 17 0 0 0 20 0 15 0 124407540 14313459712 17730 18446744073709551615 4194304 4196468 140732256891744 140601383143696 140602027390638 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5965] ppid=5950 vsize=13977988 memory=0 CPUtime=0.12 cores=0,2,4,6 /proc/5953/task/5965/stat : 5965 (java) S 5950 5953 12395 0 -1 1077944384 573 0 0 0 12 0 0 0 20 0 15 0 124407540 14313459712 17730 18446744073709551615 4194304 4196468 140732256891744 140601382099824 140602042505858 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5966] ppid=5950 vsize=13977988 memory=8330969454845486047 CPUtime=0.21 cores=0,2,4,6 /proc/5953/task/5966/stat : 5966 (java) R 5950 5953 12395 0 -1 1077944384 899 0 0 0 21 0 0 0 20 0 15 0 124407540 14313459712 17730 18446744073709551615 4194304 4196468 140732256891744 140601381046768 140602042505858 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5967] ppid=5950 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5967/stat : 5967 (java) S 5950 5953 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124407540 14313459712 17730 18446744073709551615 4194304 4196468 140732256891744 140601379994464 140602042504917 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5968] ppid=5950 vsize=13977988 memory=4132 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5968/stat : 5968 (java) S 5950 5953 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124407544 14313459712 17730 18446744073709551615 4194304 4196468 140732256891744 140601378941488 140602042505858 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 Current children cumulated CPU time: 1.07 s Current children cumulated vsize: 13977988 KiB Current children cumulated memory: 70920 KiB [startup+1.50122 s] /proc/loadavg: 1.71 1.58 1.54 6/213 5968 /proc/meminfo: memFree=29268196/32770624 swapFree=67108860/67108860 [pid=5953] ppid=5950 vsize=13980036 memory=186204 CPUtime=3.59 cores=0,2,4,6 /proc/5953/stat : 5953 (java) S 5950 5953 12395 0 -1 1077944320 26218 0 0 0 348 11 0 0 20 0 15 0 124407525 14315556864 46551 18446744073709551615 4194304 4196468 140732256891744 140732256874288 140602042494711 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 /proc/5953/statm: 3495009 46551 3765 1 0 3483783 0 [pid=5953/tid=5955] ppid=5950 vsize=13980036 memory=0 CPUtime=1.34 cores=0,2,4,6 /proc/5953/task/5955/stat : 5955 (java) R 5950 5953 12395 0 -1 4202560 15783 0 0 0 126 8 0 0 20 0 15 0 124407535 14315556864 46551 18446744073709551615 4194304 4196468 140732256891744 140602046726608 140602023900929 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5956] ppid=5950 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5956/stat : 5956 (java) S 5950 5953 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124407535 14315556864 46551 18446744073709551615 4194304 4196468 140732256891744 140601999461392 140602042504917 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5957] ppid=5950 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5957/stat : 5957 (java) S 5950 5953 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124407535 14315556864 46551 18446744073709551615 4194304 4196468 140732256891744 140601998408848 140602042504917 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5958] ppid=5950 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5958/stat : 5958 (java) S 5950 5953 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 124407535 14315556864 46551 18446744073709551615 4194304 4196468 140732256891744 140601997355792 140602042504917 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5959] ppid=5950 vsize=13980036 memory=164 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5959/stat : 5959 (java) S 5950 5953 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124407535 14315556864 46551 18446744073709551615 4194304 4196468 140732256891744 140601639234448 140602042504917 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5960] ppid=5950 vsize=13980036 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5960/stat : 5960 (java) S 5950 5953 12395 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 15 0 124407537 14315556864 46551 18446744073709551615 4194304 4196468 140732256891744 140601387362544 140602042505858 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5961] ppid=5950 vsize=13980036 memory=279476877469952 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5961/stat : 5961 (java) S 5950 5953 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 124407537 14315556864 46551 18446744073709551615 4194304 4196468 140732256891744 140601386308768 140602042504917 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5962] ppid=5950 vsize=13980036 memory=279476877479232 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5962/stat : 5962 (java) S 5950 5953 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 124407537 14315556864 46551 18446744073709551615 4194304 4196468 140732256891744 140601385255664 140602042504917 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5963] ppid=5950 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5963/stat : 5963 (java) S 5950 5953 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124407540 14315556864 46551 18446744073709551615 4194304 4196468 140732256891744 140601384204240 140602042513307 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5964] ppid=5950 vsize=13980036 memory=0 CPUtime=0.85 cores=0,2,4,6 /proc/5953/task/5964/stat : 5964 (java) R 5950 5953 12395 0 -1 4202560 3292 0 0 0 85 0 0 0 20 0 15 0 124407540 14315556864 46551 18446744073709551615 4194304 4196468 140732256891744 140601383152368 140602021671911 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5965] ppid=5950 vsize=13980036 memory=0 CPUtime=0.79 cores=0,2,4,6 /proc/5953/task/5965/stat : 5965 (java) R 5950 5953 12395 0 -1 4202560 3230 0 0 0 78 1 0 0 20 0 15 0 124407540 14315556864 46551 18446744073709551615 4194304 4196468 140732256891744 140601382088496 140602025905583 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5966] ppid=5950 vsize=13980036 memory=0 CPUtime=0.59 cores=0,2,4,6 /proc/5953/task/5966/stat : 5966 (java) R 5950 5953 12395 0 -1 4202560 2495 0 0 0 58 1 0 0 20 0 15 0 124407540 14315556864 46551 18446744073709551615 4194304 4196468 140732256891744 140601381043088 140602021341031 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5967] ppid=5950 vsize=13980036 memory=6944656592455360569 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5967/stat : 5967 (java) S 5950 5953 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124407540 14315556864 46551 18446744073709551615 4194304 4196468 140732256891744 140601379994464 140602042504917 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5968] ppid=5950 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5968/stat : 5968 (java) S 5950 5953 12395 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 124407544 14315556864 46551 18446744073709551615 4194304 4196468 140732256891744 140601378941488 140602042505858 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 Current children cumulated CPU time: 3.59 s Current children cumulated vsize: 13980036 KiB ################ # More data... # ################ /proc/5953/task/5955/stat : 5955 (java) R 5950 5953 12395 0 -1 4202560 120831 0 0 0 230293 62 0 0 20 0 15 0 124407535 14317654016 338137 18446744073709551615 4194304 4196468 140732256891744 140602046732736 140601681002048 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5956] ppid=5950 vsize=13982084 memory=1352548 CPUtime=16.69 cores=0,2,4,6 /proc/5953/task/5956/stat : 5956 (java) S 5950 5953 12395 0 -1 1077944384 14025 0 0 0 1599 70 0 0 20 0 15 0 124407535 14317654016 338137 18446744073709551615 4194304 4196468 140732256891744 140601999461392 140602042504917 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5957] ppid=5950 vsize=13982084 memory=1352548 CPUtime=16.73 cores=0,2,4,6 /proc/5953/task/5957/stat : 5957 (java) S 5950 5953 12395 0 -1 1077944384 18602 0 0 0 1602 71 0 0 20 0 15 0 124407535 14317654016 338137 18446744073709551615 4194304 4196468 140732256891744 140601998408848 140602042504917 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5958] ppid=5950 vsize=13982084 memory=1352548 CPUtime=16.76 cores=0,2,4,6 /proc/5953/task/5958/stat : 5958 (java) S 5950 5953 12395 0 -1 1077944384 16565 0 0 0 1604 72 0 0 20 0 15 0 124407535 14317654016 338137 18446744073709551615 4194304 4196468 140732256891744 140601997355792 140602042504917 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5959] ppid=5950 vsize=13982084 memory=1352548 CPUtime=16.78 cores=0,2,4,6 /proc/5953/task/5959/stat : 5959 (java) S 5950 5953 12395 0 -1 1077944384 15501 0 0 0 1606 72 0 0 20 0 15 0 124407535 14317654016 338137 18446744073709551615 4194304 4196468 140732256891744 140601639234448 140602042504917 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5960] ppid=5950 vsize=13982084 memory=7378147877979186280 CPUtime=1.2 cores=0,2,4,6 /proc/5953/task/5960/stat : 5960 (java) S 5950 5953 12395 0 -1 1077944384 69907 0 0 0 88 32 0 0 20 0 15 0 124407537 14317654016 338137 18446744073709551615 4194304 4196468 140732256891744 140601387362544 140602042505858 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5961] ppid=5950 vsize=13982084 memory=1363320 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5961/stat : 5961 (java) S 5950 5953 12395 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 124407537 14317654016 338137 18446744073709551615 4194304 4196468 140732256891744 140601386308832 140602042504917 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5962] ppid=5950 vsize=13982084 memory=1363320 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5962/stat : 5962 (java) S 5950 5953 12395 0 -1 1077944384 173 0 0 0 0 0 0 0 20 0 15 0 124407537 14317654016 338137 18446744073709551615 4194304 4196468 140732256891744 140601385255680 140602042504917 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5963] ppid=5950 vsize=13982084 memory=1363320 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5963/stat : 5963 (java) S 5950 5953 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124407540 14317654016 338137 18446744073709551615 4194304 4196468 140732256891744 140601384204240 140602042513307 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5964] ppid=5950 vsize=13982084 memory=1363320 CPUtime=3.09 cores=0,2,4,6 /proc/5953/task/5964/stat : 5964 (java) S 5950 5953 12395 0 -1 1077944384 18322 0 0 0 306 3 0 0 20 0 15 0 124407540 14317654016 338137 18446744073709551615 4194304 4196468 140732256891744 140601383152368 140602042505858 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5965] ppid=5950 vsize=13982084 memory=1352548 CPUtime=3.18 cores=0,2,4,6 /proc/5953/task/5965/stat : 5965 (java) S 5950 5953 12395 0 -1 1077944384 20220 0 0 0 315 3 0 0 20 0 15 0 124407540 14317654016 338137 18446744073709551615 4194304 4196468 140732256891744 140601382099824 140602042505858 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5966] ppid=5950 vsize=13982084 memory=4612 CPUtime=1.14 cores=0,2,4,6 /proc/5953/task/5966/stat : 5966 (java) S 5950 5953 12395 0 -1 1077944384 28780 0 0 0 110 4 0 0 20 0 15 0 124407540 14317654016 338137 18446744073709551615 4194304 4196468 140732256891744 140601381046768 140602042505858 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5967] ppid=5950 vsize=13982084 memory=1352548 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5967/stat : 5967 (java) S 5950 5953 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124407540 14317654016 338137 18446744073709551615 4194304 4196468 140732256891744 140601379994464 140602042504917 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5968] ppid=5950 vsize=13982084 memory=1352548 CPUtime=1.29 cores=0,2,4,6 /proc/5953/task/5968/stat : 5968 (java) S 5950 5953 12395 0 -1 1077944384 1394 0 0 0 62 67 0 0 20 0 15 0 124407544 14317654016 338137 18446744073709551615 4194304 4196468 140732256891744 140601378941488 140602042505858 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 Current children cumulated CPU time: 2380.53 s Current children cumulated vsize: 13982084 KiB Current children cumulated memory: 1352548 KiB [startup+2382.3 s] /proc/loadavg: 1.49 1.60 1.55 3/213 6193 /proc/meminfo: memFree=28955068/32770624 swapFree=67108860/67108860 [pid=5953] ppid=5950 vsize=13982084 memory=1404840 CPUtime=2442.08 cores=0,2,4,6 /proc/5953/stat : 5953 (java) S 5950 5953 12395 0 -1 1077944320 329178 0 0 0 243761 447 0 0 20 0 15 0 124407525 14317654016 351210 18446744073709551615 4194304 4196468 140732256891744 140732256874288 140602042494711 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 /proc/5953/statm: 3495521 351210 3833 1 0 3484295 0 [pid=5953/tid=5955] ppid=5950 vsize=13982084 memory=1392552 CPUtime=2362.96 cores=0,2,4,6 /proc/5953/task/5955/stat : 5955 (java) R 5950 5953 12395 0 -1 4202560 123090 0 0 0 236233 63 0 0 20 0 15 0 124407535 14317654016 351210 18446744073709551615 4194304 4196468 140732256891744 140602046732688 140601686865936 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5956] ppid=5950 vsize=13982084 memory=1404840 CPUtime=17.21 cores=0,2,4,6 /proc/5953/task/5956/stat : 5956 (java) S 5950 5953 12395 0 -1 1077944384 14164 0 0 0 1648 73 0 0 20 0 15 0 124407535 14317654016 351210 18446744073709551615 4194304 4196468 140732256891744 140601999461392 140602042504917 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5957] ppid=5950 vsize=13982084 memory=4132 CPUtime=17.25 cores=0,2,4,6 /proc/5953/task/5957/stat : 5957 (java) S 5950 5953 12395 0 -1 1077944384 18866 0 0 0 1651 74 0 0 20 0 15 0 124407535 14317654016 351210 18446744073709551615 4194304 4196468 140732256891744 140601998408848 140602042504917 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5958] ppid=5950 vsize=13982084 memory=1404840 CPUtime=17.28 cores=0,2,4,6 /proc/5953/task/5958/stat : 5958 (java) S 5950 5953 12395 0 -1 1077944384 16710 0 0 0 1654 74 0 0 20 0 15 0 124407535 14317654016 351210 18446744073709551615 4194304 4196468 140732256891744 140601997355792 140602042504917 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5959] ppid=5950 vsize=13982084 memory=1403716 CPUtime=17.3 cores=0,2,4,6 /proc/5953/task/5959/stat : 5959 (java) S 5950 5953 12395 0 -1 1077944384 15845 0 0 0 1656 74 0 0 20 0 15 0 124407535 14317654016 351210 18446744073709551615 4194304 4196468 140732256891744 140601639234448 140602042504917 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5960] ppid=5950 vsize=13982084 memory=4132 CPUtime=1.23 cores=0,2,4,6 /proc/5953/task/5960/stat : 5960 (java) S 5950 5953 12395 0 -1 1077944384 70163 0 0 0 91 32 0 0 20 0 15 0 124407537 14317654016 351210 18446744073709551615 4194304 4196468 140732256891744 140601387362544 140602042505858 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5961] ppid=5950 vsize=13982084 memory=233771 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5961/stat : 5961 (java) S 5950 5953 12395 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 124407537 14317654016 351210 18446744073709551615 4194304 4196468 140732256891744 140601386308832 140602042504917 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5962] ppid=5950 vsize=13982084 memory=1700 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5962/stat : 5962 (java) S 5950 5953 12395 0 -1 1077944384 173 0 0 0 0 0 0 0 20 0 15 0 124407537 14317654016 351210 18446744073709551615 4194304 4196468 140732256891744 140601385255680 140602042504917 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5963] ppid=5950 vsize=13982084 memory=1392940 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5963/stat : 5963 (java) S 5950 5953 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124407540 14317654016 351210 18446744073709551615 4194304 4196468 140732256891744 140601384204240 140602042513307 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5964] ppid=5950 vsize=13982084 memory=1392940 CPUtime=3.09 cores=0,2,4,6 /proc/5953/task/5964/stat : 5964 (java) S 5950 5953 12395 0 -1 1077944384 18344 0 0 0 306 3 0 0 20 0 15 0 124407540 14317654016 351210 18446744073709551615 4194304 4196468 140732256891744 140601383152368 140602042505858 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5965] ppid=5950 vsize=13982084 memory=1287908 CPUtime=3.18 cores=0,2,4,6 /proc/5953/task/5965/stat : 5965 (java) S 5950 5953 12395 0 -1 1077944384 20222 0 0 0 315 3 0 0 20 0 15 0 124407540 14317654016 351210 18446744073709551615 4194304 4196468 140732256891744 140601382099824 140602042505858 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5966] ppid=5950 vsize=13982084 memory=4048 CPUtime=1.14 cores=0,2,4,6 /proc/5953/task/5966/stat : 5966 (java) S 5950 5953 12395 0 -1 1077944384 28783 0 0 0 110 4 0 0 20 0 15 0 124407540 14317654016 351210 18446744073709551615 4194304 4196468 140732256891744 140601381046768 140602042505858 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5967] ppid=5950 vsize=13982084 memory=4132 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5967/stat : 5967 (java) S 5950 5953 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124407540 14317654016 351210 18446744073709551615 4194304 4196468 140732256891744 140601379994464 140602042504917 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5968] ppid=5950 vsize=13982084 memory=61548 CPUtime=1.33 cores=0,2,4,6 /proc/5953/task/5968/stat : 5968 (java) S 5950 5953 12395 0 -1 1077944384 1408 0 0 0 64 69 0 0 20 0 15 0 124407544 14317654016 351210 18446744073709551615 4194304 4196468 140732256891744 140601378941488 140602042505858 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 Current children cumulated CPU time: 2442.08 s Current children cumulated vsize: 13982084 KiB Current children cumulated memory: 1404840 KiB [startup+2442.3 s] /proc/loadavg: 1.49 1.58 1.55 3/213 6195 /proc/meminfo: memFree=29013652/32770624 swapFree=67108860/67108860 [pid=5953] ppid=5950 vsize=13982084 memory=1292524 CPUtime=2503.8 cores=0,2,4,6 /proc/5953/stat : 5953 (java) S 5950 5953 12395 0 -1 1077944320 332712 0 0 0 249929 451 0 0 20 0 15 0 124407525 14317654016 323131 18446744073709551615 4194304 4196468 140732256891744 140732256874288 140602042494711 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 /proc/5953/statm: 3495521 323131 3833 1 0 3484295 0 [pid=5953/tid=5955] ppid=5950 vsize=13982084 memory=1303300 CPUtime=2422.34 cores=0,2,4,6 /proc/5953/task/5955/stat : 5955 (java) R 5950 5953 12395 0 -1 4202560 123556 0 0 0 242170 64 0 0 20 0 15 0 124407535 14317654016 323131 18446744073709551615 4194304 4196468 140732256891744 140602046732800 140601686858945 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5956] ppid=5950 vsize=13982084 memory=1303300 CPUtime=17.77 cores=0,2,4,6 /proc/5953/task/5956/stat : 5956 (java) S 5950 5953 12395 0 -1 1077944384 14492 0 0 0 1704 73 0 0 20 0 15 0 124407535 14317654016 323131 18446744073709551615 4194304 4196468 140732256891744 140601999461392 140602042504917 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5957] ppid=5950 vsize=13982084 memory=1303300 CPUtime=17.82 cores=0,2,4,6 /proc/5953/task/5957/stat : 5957 (java) S 5950 5953 12395 0 -1 1077944384 19259 0 0 0 1708 74 0 0 20 0 15 0 124407535 14317654016 323131 18446744073709551615 4194304 4196468 140732256891744 140601998408848 140602042504917 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5958] ppid=5950 vsize=13982084 memory=1335616 CPUtime=17.86 cores=0,2,4,6 /proc/5953/task/5958/stat : 5958 (java) S 5950 5953 12395 0 -1 1077944384 16973 0 0 0 1711 75 0 0 20 0 15 0 124407535 14317654016 323131 18446744073709551615 4194304 4196468 140732256891744 140601997355792 140602042504917 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5959] ppid=5950 vsize=13982084 memory=1335616 CPUtime=17.87 cores=0,2,4,6 /proc/5953/task/5959/stat : 5959 (java) S 5950 5953 12395 0 -1 1077944384 16136 0 0 0 1713 74 0 0 20 0 15 0 124407535 14317654016 323131 18446744073709551615 4194304 4196468 140732256891744 140601639234448 140602042504917 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5960] ppid=5950 vsize=13982084 memory=1324844 CPUtime=1.27 cores=0,2,4,6 /proc/5953/task/5960/stat : 5960 (java) S 5950 5953 12395 0 -1 1077944384 71944 0 0 0 94 33 0 0 20 0 15 0 124407537 14317654016 323131 18446744073709551615 4194304 4196468 140732256891744 140601387362544 140602042505858 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5961] ppid=5950 vsize=13982084 memory=1314072 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5961/stat : 5961 (java) S 5950 5953 12395 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 124407537 14317654016 323131 18446744073709551615 4194304 4196468 140732256891744 140601386308832 140602042504917 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5962] ppid=5950 vsize=13982084 memory=1303300 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5962/stat : 5962 (java) S 5950 5953 12395 0 -1 1077944384 173 0 0 0 0 0 0 0 20 0 15 0 124407537 14317654016 323131 18446744073709551615 4194304 4196468 140732256891744 140601385255680 140602042504917 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5963] ppid=5950 vsize=13982084 memory=1303300 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5963/stat : 5963 (java) S 5950 5953 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124407540 14317654016 323131 18446744073709551615 4194304 4196468 140732256891744 140601384204240 140602042513307 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5964] ppid=5950 vsize=13982084 memory=1303300 CPUtime=3.09 cores=0,2,4,6 /proc/5953/task/5964/stat : 5964 (java) S 5950 5953 12395 0 -1 1077944384 18346 0 0 0 306 3 0 0 20 0 15 0 124407540 14317654016 323131 18446744073709551615 4194304 4196468 140732256891744 140601383152368 140602042505858 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5965] ppid=5950 vsize=13982084 memory=1303300 CPUtime=3.18 cores=0,2,4,6 /proc/5953/task/5965/stat : 5965 (java) S 5950 5953 12395 0 -1 1077944384 20224 0 0 0 315 3 0 0 20 0 15 0 124407540 14317654016 323131 18446744073709551615 4194304 4196468 140732256891744 140601382099824 140602042505858 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5966] ppid=5950 vsize=13982084 memory=1303300 CPUtime=1.14 cores=0,2,4,6 /proc/5953/task/5966/stat : 5966 (java) S 5950 5953 12395 0 -1 1077944384 28785 0 0 0 110 4 0 0 20 0 15 0 124407540 14317654016 323131 18446744073709551615 4194304 4196468 140732256891744 140601381046768 140602042505858 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5967] ppid=5950 vsize=13982084 memory=1303300 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5967/stat : 5967 (java) S 5950 5953 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124407540 14317654016 323131 18446744073709551615 4194304 4196468 140732256891744 140601379994464 140602042504917 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5968] ppid=5950 vsize=13982084 memory=1236 CPUtime=1.37 cores=0,2,4,6 /proc/5953/task/5968/stat : 5968 (java) S 5950 5953 12395 0 -1 1077944384 1414 0 0 0 66 71 0 0 20 0 15 0 124407544 14317654016 323131 18446744073709551615 4194304 4196468 140732256891744 140601378941488 140602042505858 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 Current children cumulated CPU time: 2503.8 s Current children cumulated vsize: 13982084 KiB Current children cumulated memory: 1292524 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2458.2 s] /proc/loadavg: 1.60 1.60 1.55 3/213 6196 /proc/meminfo: memFree=29059784/32770624 swapFree=67108860/67108860 [pid=5953] ppid=5950 vsize=13982084 memory=1270980 CPUtime=2520.11 cores=0,2,4,6 /proc/5953/stat : 5953 (java) S 5950 5953 12395 0 -1 1077944320 334627 0 0 0 251558 453 0 0 20 0 15 0 124407525 14317654016 317745 18446744073709551615 4194304 4196468 140732256891744 140732256874288 140602042494711 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 /proc/5953/statm: 3495521 317745 3833 1 0 3484295 0 [pid=5953/tid=5955] ppid=5950 vsize=13982084 memory=1196 CPUtime=2438.08 cores=0,2,4,6 /proc/5953/task/5955/stat : 5955 (java) R 5950 5953 12395 0 -1 4202560 125106 0 0 0 243744 64 0 0 20 0 15 0 124407535 14317654016 317745 18446744073709551615 4194304 4196468 140732256891744 140602046732848 140601686858945 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5956] ppid=5950 vsize=13982084 memory=15884 CPUtime=17.91 cores=0,2,4,6 /proc/5953/task/5956/stat : 5956 (java) S 5950 5953 12395 0 -1 1077944384 14499 0 0 0 1718 73 0 0 20 0 15 0 124407535 14317654016 317745 18446744073709551615 4194304 4196468 140732256891744 140601999461392 140602042504917 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5957] ppid=5950 vsize=13982084 memory=1288168 CPUtime=17.95 cores=0,2,4,6 /proc/5953/task/5957/stat : 5957 (java) S 5950 5953 12395 0 -1 1077944384 19266 0 0 0 1721 74 0 0 20 0 15 0 124407535 14317654016 317745 18446744073709551615 4194304 4196468 140732256891744 140601998408848 140602042504917 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5958] ppid=5950 vsize=13982084 memory=1287908 CPUtime=17.99 cores=0,2,4,6 /proc/5953/task/5958/stat : 5958 (java) S 5950 5953 12395 0 -1 1077944384 16983 0 0 0 1724 75 0 0 20 0 15 0 124407535 14317654016 317745 18446744073709551615 4194304 4196468 140732256891744 140601997355792 140602042504917 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5959] ppid=5950 vsize=13982084 memory=1287908 CPUtime=18.01 cores=0,2,4,6 /proc/5953/task/5959/stat : 5959 (java) S 5950 5953 12395 0 -1 1077944384 16292 0 0 0 1726 75 0 0 20 0 15 0 124407535 14317654016 317745 18446744073709551615 4194304 4196468 140732256891744 140601639234448 140602042504917 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5960] ppid=5950 vsize=13982084 memory=4132 CPUtime=1.28 cores=0,2,4,6 /proc/5953/task/5960/stat : 5960 (java) S 5950 5953 12395 0 -1 1077944384 72115 0 0 0 95 33 0 0 20 0 15 0 124407537 14317654016 317745 18446744073709551615 4194304 4196468 140732256891744 140601387362544 140602042505858 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5961] ppid=5950 vsize=13982084 memory=61548 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5961/stat : 5961 (java) S 5950 5953 12395 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 124407537 14317654016 317745 18446744073709551615 4194304 4196468 140732256891744 140601386308832 140602042504917 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5962] ppid=5950 vsize=13982084 memory=1296 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5962/stat : 5962 (java) S 5950 5953 12395 0 -1 1077944384 173 0 0 0 0 0 0 0 20 0 15 0 124407537 14317654016 317745 18446744073709551615 4194304 4196468 140732256891744 140601385255680 140602042504917 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5963] ppid=5950 vsize=13982084 memory=1292524 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5963/stat : 5963 (java) S 5950 5953 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124407540 14317654016 317745 18446744073709551615 4194304 4196468 140732256891744 140601384204240 140602042513307 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5964] ppid=5950 vsize=13982084 memory=4096 CPUtime=3.09 cores=0,2,4,6 /proc/5953/task/5964/stat : 5964 (java) S 5950 5953 12395 0 -1 1077944384 18346 0 0 0 306 3 0 0 20 0 15 0 124407540 14317654016 317745 18446744073709551615 4194304 4196468 140732256891744 140601383152368 140602042505858 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5965] ppid=5950 vsize=13982084 memory=4132 CPUtime=3.18 cores=0,2,4,6 /proc/5953/task/5965/stat : 5965 (java) S 5950 5953 12395 0 -1 1077944384 20224 0 0 0 315 3 0 0 20 0 15 0 124407540 14317654016 317745 18446744073709551615 4194304 4196468 140732256891744 140601382099824 140602042505858 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5966] ppid=5950 vsize=13982084 memory=7680170660397595203 CPUtime=1.14 cores=0,2,4,6 /proc/5953/task/5966/stat : 5966 (java) S 5950 5953 12395 0 -1 1077944384 28786 0 0 0 110 4 0 0 20 0 15 0 124407540 14317654016 317745 18446744073709551615 4194304 4196468 140732256891744 140601381046768 140602042505858 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5967] ppid=5950 vsize=13982084 memory=4096 CPUtime=0 cores=0,2,4,6 /proc/5953/task/5967/stat : 5967 (java) S 5950 5953 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124407540 14317654016 317745 18446744073709551615 4194304 4196468 140732256891744 140601379994464 140602042504917 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 [pid=5953/tid=5968] ppid=5950 vsize=13982084 memory=3608 CPUtime=1.37 cores=0,2,4,6 /proc/5953/task/5968/stat : 5968 (java) S 5950 5953 12395 0 -1 1077944384 1427 0 0 0 66 71 0 0 20 0 15 0 124407544 14317654016 317745 18446744073709551615 4194304 4196468 140732256891744 140601378941488 140602042505858 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140732256899442 140732256899625 140732256899625 140732256903119 0 Current children cumulated CPU time: 2520.11 s Current children cumulated vsize: 13982084 KiB Current children cumulated memory: 1270980 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2458.23 s] # the end of solver process 5953 was just reported to runsolver # cumulated CPU time of all completed processes: user=2515.61 s, system=4.53789 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 2458.23 CPU time (s): 2520.15 CPU user time (s): 2515.61 CPU system time (s): 4.53789 CPU usage (%): 102.519 Max. virtual memory (cumulated for all children) (KiB): 13982084 Max. memory (cumulated for all children) (KiB): 2558956 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2515.61 system time used= 4.53789 maximum resident set size= 2559568 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 335179 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2976 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 77094 involuntary context switches= 4667 # summary of solver processes directly reported to runsolver: # pid: 5953 # total CPU time (s): 2520.15 # total CPU user time (s): 2515.61 # total CPU system time (s): 4.53789 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 14.7962 second user time and 23.3706 second system time The end
Begin job on node135 at 2017-08-15 21:08:48 IDJOB=4274771 IDBENCH=124439 IDSOLVER=2667 FILE ID=node135/4274771-1502824960 RUNJOBID= node135-1502658244-13744 PBS_JOBID= Free space on /tmp= 61988 MiB SOLVER NAME= OscaR - Hybrid 2017-07-26 BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-B-n68-k9.xml COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4274771-1502824960/watcher-4274771-1502824960 -o /tmp/evaluation-result-4274771-1502824960/solver-4274771-1502824960 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502658244-13744 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1659244507 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274771-1502824960.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d46243a0c717d56f47be278be902a17a RANDOM SEED=1659244507 node135.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.21 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.21 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.21 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.21 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 29361772 kB MemAvailable: 30421860 kB Buffers: 327052 kB Cached: 1035720 kB SwapCached: 0 kB Active: 2352620 kB Inactive: 601380 kB Active(anon): 1591492 kB Inactive(anon): 49516 kB Active(file): 761128 kB Inactive(file): 551864 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42220 kB Writeback: 4 kB AnonPages: 1590952 kB Mapped: 74972 kB Shmem: 49848 kB Slab: 154028 kB SReclaimable: 125860 kB SUnreclaim: 28168 kB KernelStack: 3488 kB PageTables: 9672 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2187504 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1462272 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 61948 MiB End job on node135 at 2017-08-15 21:49:47