Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
R1: OscaR - ALNS 2017-06-30 | SAT (TO) | 3621 | 2400.15 | 2294.65 |
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.40/0.36 c version: 2017-06-30 0.40/0.36 c seed: 160792044 0.40/0.37 c timeout: 2400 0.40/0.37 c memlimit: 15500 0.40/0.37 c nbcore: 8 0.59/0.40 c Parsing instance... 5.40/1.72 c Parsing done, starting search... 5.77/1.85 o 4274 91.19/80.36 o 3869 1646.46/1580.86 o 3806 1694.14/1625.70 o 3801 1713.63/1644.23 o 3621 2400.08/2294.61 s SATISFIABLE 2400.08/2294.62 v <instantiation> 2400.08/2294.62 v <list> 2400.08/2294.62 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] 2400.08/2294.62 v </list> 2400.08/2294.62 v <values> 2400.08/2294.62 v 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 1 0 0 1 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 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 1 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 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 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 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 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 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 59 62 100 100 2 56 100 54 30 91 69 100 37 78 13 46 80 43 70 100 89 100 51 12 86 77 19 60 78 42 79 84 100 84 98 51 60 43 23 28 57 83 46 46 100 63 24 21 90 40 28 40 34 21 100 28 82 89 93 33 49 69 46 54 100 70 60 2400.08/2294.62 v </values> 2400.08/2294.62 v </instantiation>
OK 3621
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4246354-1500708911/watcher-4246354-1500708911 -o /tmp/evaluation-result-4246354-1500708911/solver-4246354-1500708911 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1500697272-19300 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-alns.jar --randomseed 160792044 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4246354-1500708911.xml pid=20665 running on 8 cores: 0,2,4,6,8,10,12,14 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.52 1.43 1.47 4/261 20668 /proc/meminfo: memFree=29405584/32770624 swapFree=5956/289636 [pid=20668] ppid=20665 vsize=361196 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20668/stat : 20668 (java) S 20665 20668 14626 0 -1 1077944320 1742 0 0 0 0 0 0 0 20 0 2 0 6160595 369864704 1989 33554432000 4194304 4196468 140720940644272 140720940626816 140675226078967 0 0 0 16784584 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 /proc/20668/statm: 90299 1989 1125 1 0 79210 0 [pid=20668/tid=20669] ppid=20665 vsize=10621200 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20669/stat : 20669 (java) R 20665 20668 14626 0 -1 4202560 554 0 0 0 0 0 0 0 20 0 2 0 6160596 10876108800 2102 33554432000 4194304 4196468 140720940644272 140675230321056 140675211482432 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [startup+0.100066 s] /proc/loadavg: 1.52 1.43 1.47 4/261 20668 /proc/meminfo: memFree=29405584/32770624 swapFree=5956/289636 [pid=20668] ppid=20665 vsize=13264380 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/20668/stat : 20668 (java) S 20665 20668 14626 0 -1 1077944320 5231 0 0 0 7 2 0 0 20 0 20 0 6160595 13582725120 5802 33554432000 4194304 4196468 140720940644272 140720940626816 140675226078967 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 /proc/20668/statm: 3316095 5868 2780 1 0 3303815 0 [pid=20668/tid=20669] ppid=20665 vsize=13264380 CPUtime=0.08 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20669/stat : 20669 (java) R 20665 20668 14626 0 -1 4202560 3337 0 0 0 7 1 0 0 20 0 20 0 6160596 13582725120 5868 33554432000 4194304 4196468 140720940644272 140675230321248 140675182714435 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13264380 [startup+0.200381 s] /proc/loadavg: 1.52 1.43 1.47 4/261 20668 /proc/meminfo: memFree=29405584/32770624 swapFree=5956/289636 [pid=20668] ppid=20665 vsize=13263912 CPUtime=0.25 cores=0,2,4,6,8,10,12,14 /proc/20668/stat : 20668 (java) S 20665 20668 14626 0 -1 1077944320 8964 0 0 0 22 3 0 0 20 0 20 0 6160595 13582245888 8983 33554432000 4194304 4196468 140720940644272 140720940626816 140675226078967 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 /proc/20668/statm: 3315978 8983 3511 1 0 3303698 0 [pid=20668/tid=20669] ppid=20665 vsize=13263912 CPUtime=0.18 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20669/stat : 20669 (java) R 20665 20668 14626 0 -1 4202560 6717 0 0 0 16 2 0 0 20 0 20 0 6160596 13582245888 8983 33554432000 4194304 4196468 140720940644272 140675230255904 140675210159454 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 Current children cumulated CPU time (s) 0.25 Current children cumulated vsize (KiB) 13263912 [startup+0.300497 s] /proc/loadavg: 1.52 1.43 1.47 4/261 20668 /proc/meminfo: memFree=29405584/32770624 swapFree=5956/289636 [pid=20668] ppid=20665 vsize=13263912 CPUtime=0.4 cores=0,2,4,6,8,10,12,14 /proc/20668/stat : 20668 (java) S 20665 20668 14626 0 -1 1077944320 9649 0 0 0 37 3 0 0 20 0 20 0 6160595 13582245888 10488 33554432000 4194304 4196468 140720940644272 140720940626816 140675226078967 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 /proc/20668/statm: 3315978 10488 3606 1 0 3303698 0 [pid=20668/tid=20669] ppid=20665 vsize=13263912 CPUtime=0.27 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20669/stat : 20669 (java) R 20665 20668 14626 0 -1 4202560 7159 0 0 0 25 2 0 0 20 0 20 0 6160596 13582245888 10488 33554432000 4194304 4196468 140720940644272 140675230304048 140675226100893 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 Current children cumulated CPU time (s) 0.4 Current children cumulated vsize (KiB) 13263912 [startup+0.700241 s] /proc/loadavg: 1.52 1.43 1.47 4/261 20668 /proc/meminfo: memFree=29405584/32770624 swapFree=5956/289636 [pid=20668] ppid=20665 vsize=13265980 CPUtime=1.26 cores=0,2,4,6,8,10,12,14 /proc/20668/stat : 20668 (java) S 20665 20668 14626 0 -1 1077944320 11996 0 0 0 120 6 0 0 20 0 20 0 6160595 13584363520 16864 33554432000 4194304 4196468 140720940644272 140720940626816 140675226078967 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 /proc/20668/statm: 3316495 16864 3756 1 0 3304210 0 [pid=20668/tid=20669] ppid=20665 vsize=13265980 CPUtime=0.67 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20669/stat : 20669 (java) R 20665 20668 14626 0 -1 4202560 8410 0 0 0 63 4 0 0 20 0 20 0 6160596 13584363520 16864 33554432000 4194304 4196468 140720940644272 140675230314080 140675210159454 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 Current children cumulated CPU time (s) 1.26 Current children cumulated vsize (KiB) 13265980 [startup+1.501 s] /proc/loadavg: 1.52 1.43 1.47 7/281 20688 /proc/meminfo: memFree=29292160/32770624 swapFree=5956/289416 [pid=20668] ppid=20665 vsize=13268028 CPUtime=4.34 cores=0,2,4,6,8,10,12,14 /proc/20668/stat : 20668 (java) S 20665 20668 14626 0 -1 1077944320 25335 0 0 0 423 11 0 0 20 0 20 0 6160595 13586460672 47776 33554432000 4194304 4196468 140720940644272 140720940626816 140675226078967 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 /proc/20668/statm: 3317007 47776 3794 1 0 3304722 0 [pid=20668/tid=20669] ppid=20665 vsize=13268028 CPUtime=1.46 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20669/stat : 20669 (java) R 20665 20668 14626 0 -1 4202560 11381 0 0 0 140 6 0 0 20 0 20 0 6160596 13586460672 47776 33554432000 4194304 4196468 140720940644272 140675230314312 140675226090902 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20671] ppid=20665 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20671/stat : 20671 (java) S 20665 20668 14626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6160597 13586460672 47776 33554432000 4194304 4196468 140720940644272 140674825448080 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20672] ppid=20665 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20672/stat : 20672 (java) S 20665 20668 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6160597 13586460672 47776 33554432000 4194304 4196468 140720940644272 140674824395280 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20673] ppid=20665 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20673/stat : 20673 (java) S 20665 20668 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6160597 13586460672 47776 33554432000 4194304 4196468 140720940644272 140674823342480 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20674] ppid=20665 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20674/stat : 20674 (java) S 20665 20668 14626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6160597 13586460672 47776 33554432000 4194304 4196468 140720940644272 140674822289680 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20675] ppid=20665 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20675/stat : 20675 (java) S 20665 20668 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6160597 13586460672 47776 33554432000 4194304 4196468 140720940644272 140674821237904 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20676] ppid=20665 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20676/stat : 20676 (java) S 20665 20668 14626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6160597 13586460672 47776 33554432000 4194304 4196468 140720940644272 140674820185104 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20677] ppid=20665 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20677/stat : 20677 (java) S 20665 20668 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6160597 13586460672 47776 33554432000 4194304 4196468 140720940644272 140674819132304 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20678] ppid=20665 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20678/stat : 20678 (java) S 20665 20668 14626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6160597 13586460672 47776 33554432000 4194304 4196468 140720940644272 140674818079504 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20679] ppid=20665 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20679/stat : 20679 (java) S 20665 20668 14626 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 6160599 13586460672 47776 33554432000 4194304 4196468 140720940644272 140674555316592 140675226090114 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20680] ppid=20665 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20680/stat : 20680 (java) S 20665 20668 14626 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 6160600 13586460672 47776 33554432000 4194304 4196468 140720940644272 140674554262560 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20681] ppid=20665 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20681/stat : 20681 (java) S 20665 20668 14626 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 6160600 13586460672 47776 33554432000 4194304 4196468 140720940644272 140674553209712 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20682] ppid=20665 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20682/stat : 20682 (java) S 20665 20668 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6160604 13586460672 47776 33554432000 4194304 4196468 140720940644272 140674552158032 140675226097563 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20683] ppid=20665 vsize=13268028 CPUtime=0.71 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20683/stat : 20683 (java) R 20665 20668 14626 0 -1 4202560 4059 0 0 0 71 0 0 0 20 0 20 0 6160604 13586460672 47776 33554432000 4194304 4196468 140720940644272 140674551097136 140675210472528 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20684] ppid=20665 vsize=13268028 CPUtime=0.75 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20684/stat : 20684 (java) R 20665 20668 14626 0 -1 4202560 2971 0 0 0 75 0 0 0 20 0 20 0 6160604 13586460672 47776 33554432000 4194304 4196468 140720940644272 140674550046808 140675210038464 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20685] ppid=20665 vsize=13268028 CPUtime=0.74 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20685/stat : 20685 (java) R 20665 20668 14626 0 -1 4202560 2812 0 0 0 73 1 0 0 20 0 20 0 6160604 13586460672 47776 33554432000 4194304 4196468 140720940644272 140674548980880 140675205927717 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20686] ppid=20665 vsize=13268028 CPUtime=0.63 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20686/stat : 20686 (java) R 20665 20668 14626 0 -1 1077944384 2701 0 0 0 62 1 0 0 20 0 20 0 6160604 13586460672 47776 33554432000 4194304 4196468 140720940644272 140674547948016 140675226090114 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20687] ppid=20665 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20687/stat : 20687 (java) S 20665 20668 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6160605 13586460672 47776 33554432000 4194304 4196468 140720940644272 140674546895456 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20688] ppid=20665 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20688/stat : 20688 (java) S 20665 20668 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6160605 13586460672 47776 33554432000 4194304 4196468 140720940644272 140674545842736 140675226090114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 Current children cumulated CPU time (s) 4.34 Current children cumulated vsize (KiB) 13268028 [startup+3.10077 s] /proc/loadavg: 1.80 1.49 1.49 6/281 20688 /proc/meminfo: memFree=29112964/32770624 swapFree=5956/289420 [pid=20668] ppid=20665 vsize=13270076 CPUtime=9.52 cores=0,2,4,6,8,10,12,14 /proc/20668/stat : 20668 (java) S 20665 20668 14626 0 -1 1077944320 36165 0 0 0 905 47 0 0 20 0 20 0 6160595 13588557824 101998 33554432000 4194304 4196468 140720940644272 140720940626816 140675226078967 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 /proc/20668/statm: 3317519 101998 3829 1 0 3305234 0 [pid=20668/tid=20669] ppid=20665 vsize=13270076 CPUtime=2.95 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20669/stat : 20669 (java) R 20665 20668 14626 0 -1 4202560 12852 0 0 0 287 8 0 0 20 0 20 0 6160596 13588557824 101998 33554432000 4194304 4196468 140720940644272 140675230315912 140674835187237 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20671] ppid=20665 vsize=13270076 CPUtime=0.08 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20671/stat : 20671 (java) S 20665 20668 14626 0 -1 1077944384 74 0 0 0 5 3 0 0 20 0 20 0 6160597 13588557824 101998 33554432000 4194304 4196468 140720940644272 140674825448080 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20672] ppid=20665 vsize=13270076 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20672/stat : 20672 (java) S 20665 20668 14626 0 -1 1077944384 51 0 0 0 5 4 0 0 20 0 20 0 6160597 13588557824 101998 33554432000 4194304 4196468 140720940644272 140674824395280 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20673] ppid=20665 vsize=13270076 CPUtime=0.06 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20673/stat : 20673 (java) S 20665 20668 14626 0 -1 1077944384 32 0 0 0 3 3 0 0 20 0 20 0 6160597 13588557824 101998 33554432000 4194304 4196468 140720940644272 140674823342480 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20674] ppid=20665 vsize=13270076 CPUtime=0.08 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20674/stat : 20674 (java) S 20665 20668 14626 0 -1 1077944384 168 0 0 0 4 4 0 0 20 0 20 0 6160597 13588557824 101998 33554432000 4194304 4196468 140720940644272 140674822289680 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20675] ppid=20665 vsize=13270076 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20675/stat : 20675 (java) S 20665 20668 14626 0 -1 1077944384 99 0 0 0 5 4 0 0 20 0 20 0 6160597 13588557824 101998 33554432000 4194304 4196468 140720940644272 140674821237904 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20676] ppid=20665 vsize=13270076 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20676/stat : 20676 (java) S 20665 20668 14626 0 -1 1077944384 70 0 0 0 4 5 0 0 20 0 20 0 6160597 13588557824 101998 33554432000 4194304 4196468 140720940644272 140674820185104 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20677] ppid=20665 vsize=13270076 CPUtime=0.05 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20677/stat : 20677 (java) S 20665 20668 14626 0 -1 1077944384 28 0 0 0 3 2 0 0 20 0 20 0 6160597 13588557824 101998 33554432000 4194304 4196468 140720940644272 140674819132304 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20678] ppid=20665 vsize=13270076 CPUtime=0.06 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20678/stat : 20678 (java) S 20665 20668 14626 0 -1 1077944384 55 0 0 0 3 3 0 0 20 0 20 0 6160597 13588557824 101998 33554432000 4194304 4196468 140720940644272 140674818079504 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20679] ppid=20665 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20679/stat : 20679 (java) S 20665 20668 14626 0 -1 1077944384 836 0 0 0 0 0 0 0 20 0 20 0 6160599 13588557824 101998 33554432000 4194304 4196468 140720940644272 140674555316592 140675226090114 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20680] ppid=20665 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20680/stat : 20680 (java) S 20665 20668 14626 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 6160600 13588557824 101998 33554432000 4194304 4196468 140720940644272 140674554262560 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20681] ppid=20665 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20681/stat : 20681 (java) S 20665 20668 14626 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 6160600 13588557824 101998 33554432000 4194304 4196468 140720940644272 140674553209712 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20682] ppid=20665 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20682/stat : 20682 (java) S 20665 20668 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6160604 13588557824 101998 33554432000 4194304 4196468 140720940644272 140674552158032 140675226097563 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20683] ppid=20665 vsize=13270076 CPUtime=1.49 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20683/stat : 20683 (java) S 20665 20668 14626 0 -1 1077944384 5671 0 0 0 148 1 0 0 20 0 20 0 6160604 13588557824 101998 33554432000 4194304 4196468 140720940644272 140674551106416 140675226090114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20684] ppid=20665 vsize=13270076 CPUtime=1.8 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20684/stat : 20684 (java) S 20665 20668 14626 0 -1 1077944384 4547 0 0 0 179 1 0 0 20 0 20 0 6160604 13588557824 101998 33554432000 4194304 4196468 140720940644272 140674550053616 140675226090114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20685] ppid=20665 vsize=13270076 CPUtime=1.58 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20685/stat : 20685 (java) S 20665 20668 14626 0 -1 1077944384 4746 0 0 0 157 1 0 0 20 0 20 0 6160604 13588557824 101998 33554432000 4194304 4196468 140720940644272 140674549000816 140675226090114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20686] ppid=20665 vsize=13270076 CPUtime=0.95 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20686/stat : 20686 (java) S 20665 20668 14626 0 -1 1077944384 5494 0 0 0 93 2 0 0 20 0 20 0 6160604 13588557824 101998 33554432000 4194304 4196468 140720940644272 140674547948016 140675226090114 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20687] ppid=20665 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20687/stat : 20687 (java) S 20665 20668 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6160605 13588557824 101998 33554432000 4194304 4196468 140720940644272 140674546895456 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20688] ppid=20665 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20688/stat : 20688 (java) S 20665 20668 14626 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 6160605 13588557824 101998 33554432000 4194304 4196468 140720940644272 140674545842736 140675226090114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 Current children cumulated CPU time (s) 9.52 Current children cumulated vsize (KiB) 13270076 [startup+6.30079 s] /proc/loadavg: 1.80 1.49 1.49 3/281 20688 /proc/meminfo: memFree=28676864/32770624 swapFree=5956/289420 [pid=20668] ppid=20665 vsize=13270076 CPUtime=14.77 cores=0,2,4,6,8,10,12,14 /proc/20668/stat : 20668 (java) S 20665 20668 14626 0 -1 1077944320 39766 0 0 0 1369 108 0 0 20 0 20 0 6160595 13588557824 185457 33554432000 4194304 4196468 140720940644272 140720940626816 140675226078967 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 /proc/20668/statm: 3317519 185457 3834 1 0 3305234 0 [pid=20668/tid=20669] ppid=20665 vsize=13270076 CPUtime=5.93 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20669/stat : 20669 (java) R 20665 20668 14626 0 -1 4202560 13204 0 0 0 581 12 0 0 20 0 20 0 6160596 13588557824 185457 33554432000 4194304 4196468 140720940644272 140675230301216 140674828504384 0 4 0 16800975 0 0 0 -1 8 0 0 4 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20671] ppid=20665 vsize=13270076 CPUtime=0.24 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20671/stat : 20671 (java) S 20665 20668 14626 0 -1 1077944384 217 0 0 0 14 10 0 0 20 0 20 0 6160597 13588557824 185457 33554432000 4194304 4196468 140720940644272 140674825448080 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20672] ppid=20665 vsize=13270076 CPUtime=0.25 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20672/stat : 20672 (java) S 20665 20668 14626 0 -1 1077944384 111 0 0 0 14 11 0 0 20 0 20 0 6160597 13588557824 185457 33554432000 4194304 4196468 140720940644272 140674824395280 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20673] ppid=20665 vsize=13270076 CPUtime=0.23 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20673/stat : 20673 (java) S 20665 20668 14626 0 -1 1077944384 130 0 0 0 13 10 0 0 20 0 20 0 6160597 13588557824 185457 33554432000 4194304 4196468 140720940644272 140674823342480 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20674] ppid=20665 vsize=13270076 CPUtime=0.25 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20674/stat : 20674 (java) S 20665 20668 14626 0 -1 1077944384 541 0 0 0 14 11 0 0 20 0 20 0 6160597 13588557824 185457 33554432000 4194304 4196468 140720940644272 140674822289680 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20675] ppid=20665 vsize=13270076 CPUtime=0.25 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20675/stat : 20675 (java) S 20665 20668 14626 0 -1 1077944384 163 0 0 0 14 11 0 0 20 0 20 0 6160597 13588557824 185457 33554432000 4194304 4196468 140720940644272 140674821237904 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20676] ppid=20665 vsize=13270076 CPUtime=0.26 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20676/stat : 20676 (java) S 20665 20668 14626 0 -1 1077944384 134 0 0 0 14 12 0 0 20 0 20 0 6160597 13588557824 185457 33554432000 4194304 4196468 140720940644272 140674820185104 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20677] ppid=20665 vsize=13270076 CPUtime=0.2 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20677/stat : 20677 (java) S 20665 20668 14626 0 -1 1077944384 183 0 0 0 11 9 0 0 20 0 20 0 6160597 13588557824 185457 33554432000 4194304 4196468 140720940644272 140674819132304 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20678] ppid=20665 vsize=13270076 CPUtime=0.23 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20678/stat : 20678 (java) S 20665 20668 14626 0 -1 1077944384 109 0 0 0 12 11 0 0 20 0 20 0 6160597 13588557824 185457 33554432000 4194304 4196468 140720940644272 140674818079504 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20679] ppid=20665 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20679/stat : 20679 (java) S 20665 20668 14626 0 -1 1077944384 1277 0 0 0 1 0 0 0 20 0 20 0 6160599 13588557824 185457 33554432000 4194304 4196468 140720940644272 140674555316592 140675226090114 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20680] ppid=20665 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20680/stat : 20680 (java) S 20665 20668 14626 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 6160600 13588557824 185457 33554432000 4194304 4196468 140720940644272 140674554262560 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20681] ppid=20665 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20681/stat : 20681 (java) S 20665 20668 14626 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 6160600 13588557824 185457 33554432000 4194304 4196468 140720940644272 140674553209712 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20682] ppid=20665 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 ################ # More data... # ################ /proc/20668/task/20684/stat : 20684 (java) S 20665 20668 14626 0 -1 1077944384 17696 0 0 0 264 2 0 0 20 0 20 0 6160604 13588557824 439307 33554432000 4194304 4196468 140720940644272 140674550053616 140675226090114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 21 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20685] ppid=20665 vsize=13270076 CPUtime=2.57 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20685/stat : 20685 (java) S 20665 20668 14626 0 -1 1077944384 21562 0 0 0 255 2 0 0 20 0 20 0 6160604 13588557824 439307 33554432000 4194304 4196468 140720940644272 140674549000816 140675226090114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 36 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20686] ppid=20665 vsize=13270076 CPUtime=1.26 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20686/stat : 20686 (java) S 20665 20668 14626 0 -1 1077944384 32547 0 0 0 121 5 0 0 20 0 20 0 6160604 13588557824 439307 33554432000 4194304 4196468 140720940644272 140674547948016 140675226090114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 33 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20687] ppid=20665 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20687/stat : 20687 (java) S 20665 20668 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6160605 13588557824 439307 33554432000 4194304 4196468 140720940644272 140674546895456 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20688] ppid=20665 vsize=13270076 CPUtime=1.13 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20688/stat : 20688 (java) S 20665 20668 14626 0 -1 1077944384 1917 0 0 0 56 57 0 0 20 0 20 0 6160605 13588557824 439307 33554432000 4194304 4196468 140720940644272 140674545842736 140675226090114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 47 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 Current children cumulated CPU time (s) 2239.27 Current children cumulated vsize (KiB) 13270076 [startup+2202.31 s] /proc/loadavg: 1.64 1.66 1.67 3/281 20778 /proc/meminfo: memFree=28243576/32770624 swapFree=5956/291880 [pid=20668] ppid=20665 vsize=13270076 CPUtime=2302.86 cores=0,2,4,6,8,10,12,14 /proc/20668/stat : 20668 (java) S 20665 20668 14626 0 -1 1077944320 399844 0 0 0 229626 660 0 0 20 0 20 0 6160595 13588557824 420880 33554432000 4194304 4196468 140720940644272 140720940626816 140675226078967 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 /proc/20668/statm: 3317519 420880 3861 1 0 3305234 0 [pid=20668/tid=20669] ppid=20665 vsize=13270076 CPUtime=2186.04 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20669/stat : 20669 (java) R 20665 20668 14626 0 -1 4202560 122819 0 0 0 218527 77 0 0 20 0 20 0 6160596 13588557824 420880 33554432000 4194304 4196468 140720940644272 140675230316720 140674827639840 0 4 0 16800975 0 0 0 -1 12 0 0 4 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20671] ppid=20665 vsize=13270076 CPUtime=13.05 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20671/stat : 20671 (java) S 20665 20668 14626 0 -1 1077944384 12506 0 0 0 1242 63 0 0 20 0 20 0 6160597 13588557824 420880 33554432000 4194304 4196468 140720940644272 140674825448080 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20672] ppid=20665 vsize=13270076 CPUtime=13.29 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20672/stat : 20672 (java) S 20665 20668 14626 0 -1 1077944384 16137 0 0 0 1265 64 0 0 20 0 20 0 6160597 13588557824 420880 33554432000 4194304 4196468 140720940644272 140674824395280 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20673] ppid=20665 vsize=13270076 CPUtime=13.31 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20673/stat : 20673 (java) S 20665 20668 14626 0 -1 1077944384 12166 0 0 0 1268 63 0 0 20 0 20 0 6160597 13588557824 420880 33554432000 4194304 4196468 140720940644272 140674823342480 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20674] ppid=20665 vsize=13270076 CPUtime=13.19 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20674/stat : 20674 (java) S 20665 20668 14626 0 -1 1077944384 12985 0 0 0 1255 64 0 0 20 0 20 0 6160597 13588557824 420880 33554432000 4194304 4196468 140720940644272 140674822289680 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20675] ppid=20665 vsize=13270076 CPUtime=13.16 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20675/stat : 20675 (java) S 20665 20668 14626 0 -1 1077944384 13927 0 0 0 1253 63 0 0 20 0 20 0 6160597 13588557824 420880 33554432000 4194304 4196468 140720940644272 140674821237904 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20676] ppid=20665 vsize=13270076 CPUtime=13.35 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20676/stat : 20676 (java) S 20665 20668 14626 0 -1 1077944384 15496 0 0 0 1271 64 0 0 20 0 20 0 6160597 13588557824 420880 33554432000 4194304 4196468 140720940644272 140674820185104 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20677] ppid=20665 vsize=13270076 CPUtime=13.02 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20677/stat : 20677 (java) S 20665 20668 14626 0 -1 1077944384 13703 0 0 0 1241 61 0 0 20 0 20 0 6160597 13588557824 420880 33554432000 4194304 4196468 140720940644272 140674819132304 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20678] ppid=20665 vsize=13270076 CPUtime=13.21 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20678/stat : 20678 (java) S 20665 20668 14626 0 -1 1077944384 12531 0 0 0 1259 62 0 0 20 0 20 0 6160597 13588557824 420880 33554432000 4194304 4196468 140720940644272 140674818079504 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20679] ppid=20665 vsize=13270076 CPUtime=1.07 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20679/stat : 20679 (java) S 20665 20668 14626 0 -1 1077944384 73107 0 0 0 81 26 0 0 20 0 20 0 6160599 13588557824 420880 33554432000 4194304 4196468 140720940644272 140674555316592 140675226090114 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20680] ppid=20665 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20680/stat : 20680 (java) S 20665 20668 14626 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 20 0 6160600 13588557824 420880 33554432000 4194304 4196468 140720940644272 140674554262624 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20681] ppid=20665 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20681/stat : 20681 (java) S 20665 20668 14626 0 -1 1077944384 200 0 0 0 0 0 0 0 20 0 20 0 6160600 13588557824 420880 33554432000 4194304 4196468 140720940644272 140674553209728 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20682] ppid=20665 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20682/stat : 20682 (java) S 20665 20668 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6160604 13588557824 420880 33554432000 4194304 4196468 140720940644272 140674552158032 140675226097563 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20683] ppid=20665 vsize=13270076 CPUtime=2.36 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20683/stat : 20683 (java) S 20665 20668 14626 0 -1 1077944384 18804 0 0 0 233 3 0 0 20 0 20 0 6160604 13588557824 420880 33554432000 4194304 4196468 140720940644272 140674551106416 140675226090114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 15 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20684] ppid=20665 vsize=13270076 CPUtime=2.66 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20684/stat : 20684 (java) S 20665 20668 14626 0 -1 1077944384 17698 0 0 0 264 2 0 0 20 0 20 0 6160604 13588557824 420880 33554432000 4194304 4196468 140720940644272 140674550053616 140675226090114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 21 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20685] ppid=20665 vsize=13270076 CPUtime=2.58 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20685/stat : 20685 (java) S 20665 20668 14626 0 -1 1077944384 21867 0 0 0 256 2 0 0 20 0 20 0 6160604 13588557824 420880 33554432000 4194304 4196468 140720940644272 140674549000816 140675226090114 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 36 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20686] ppid=20665 vsize=13270076 CPUtime=1.26 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20686/stat : 20686 (java) S 20665 20668 14626 0 -1 1077944384 32549 0 0 0 121 5 0 0 20 0 20 0 6160604 13588557824 420880 33554432000 4194304 4196468 140720940644272 140674547948016 140675226090114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 33 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20687] ppid=20665 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20687/stat : 20687 (java) S 20665 20668 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6160605 13588557824 420880 33554432000 4194304 4196468 140720940644272 140674546895456 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20688] ppid=20665 vsize=13270076 CPUtime=1.16 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20688/stat : 20688 (java) S 20665 20668 14626 0 -1 1077944384 1942 0 0 0 57 59 0 0 20 0 20 0 6160605 13588557824 420880 33554432000 4194304 4196468 140720940644272 140674545842736 140675226090114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 47 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 Current children cumulated CPU time (s) 2302.86 Current children cumulated vsize (KiB) 13270076 [startup+2262.3 s] /proc/loadavg: 1.81 1.70 1.68 3/281 20866 /proc/meminfo: memFree=29902304/32770624 swapFree=5956/291980 [pid=20668] ppid=20665 vsize=13270076 CPUtime=2365.86 cores=0,2,4,6,8,10,12,14 /proc/20668/stat : 20668 (java) S 20665 20668 14626 0 -1 1077944320 406033 0 0 0 235923 663 0 0 20 0 20 0 6160595 13588557824 398890 33554432000 4194304 4196468 140720940644272 140720940626816 140675226078967 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 /proc/20668/statm: 3317519 398890 3861 1 0 3305234 0 [pid=20668/tid=20669] ppid=20665 vsize=13270076 CPUtime=2245.49 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20669/stat : 20669 (java) R 20665 20668 14626 0 -1 4202560 125459 0 0 0 224472 77 0 0 20 0 20 0 6160596 13588557824 398890 33554432000 4194304 4196468 140720940644272 140675230316688 140674835384158 0 4 0 16800975 0 0 0 -1 12 0 0 4 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20671] ppid=20665 vsize=13270076 CPUtime=13.5 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20671/stat : 20671 (java) S 20665 20668 14626 0 -1 1077944384 13161 0 0 0 1287 63 0 0 20 0 20 0 6160597 13588557824 398890 33554432000 4194304 4196468 140720940644272 140674825448080 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20672] ppid=20665 vsize=13270076 CPUtime=13.74 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20672/stat : 20672 (java) S 20665 20668 14626 0 -1 1077944384 16287 0 0 0 1310 64 0 0 20 0 20 0 6160597 13588557824 398890 33554432000 4194304 4196468 140720940644272 140674824395280 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20673] ppid=20665 vsize=13270076 CPUtime=13.76 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20673/stat : 20673 (java) S 20665 20668 14626 0 -1 1077944384 12524 0 0 0 1313 63 0 0 20 0 20 0 6160597 13588557824 398890 33554432000 4194304 4196468 140720940644272 140674823342480 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20674] ppid=20665 vsize=13270076 CPUtime=13.6 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20674/stat : 20674 (java) S 20665 20668 14626 0 -1 1077944384 13310 0 0 0 1296 64 0 0 20 0 20 0 6160597 13588557824 398890 33554432000 4194304 4196468 140720940644272 140674822289680 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20675] ppid=20665 vsize=13270076 CPUtime=13.59 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20675/stat : 20675 (java) S 20665 20668 14626 0 -1 1077944384 14298 0 0 0 1296 63 0 0 20 0 20 0 6160597 13588557824 398890 33554432000 4194304 4196468 140720940644272 140674821237904 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20676] ppid=20665 vsize=13270076 CPUtime=13.76 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20676/stat : 20676 (java) S 20665 20668 14626 0 -1 1077944384 16068 0 0 0 1312 64 0 0 20 0 20 0 6160597 13588557824 398890 33554432000 4194304 4196468 140720940644272 140674820185104 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20677] ppid=20665 vsize=13270076 CPUtime=13.45 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20677/stat : 20677 (java) S 20665 20668 14626 0 -1 1077944384 14005 0 0 0 1284 61 0 0 20 0 20 0 6160597 13588557824 398890 33554432000 4194304 4196468 140720940644272 140674819132304 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20678] ppid=20665 vsize=13270076 CPUtime=13.66 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20678/stat : 20678 (java) S 20665 20668 14626 0 -1 1077944384 12934 0 0 0 1304 62 0 0 20 0 20 0 6160597 13588557824 398890 33554432000 4194304 4196468 140720940644272 140674818079504 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20679] ppid=20665 vsize=13270076 CPUtime=1.1 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20679/stat : 20679 (java) S 20665 20668 14626 0 -1 1077944384 73484 0 0 0 83 27 0 0 20 0 20 0 6160599 13588557824 398890 33554432000 4194304 4196468 140720940644272 140674555316592 140675226090114 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20680] ppid=20665 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20680/stat : 20680 (java) S 20665 20668 14626 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 20 0 6160600 13588557824 398890 33554432000 4194304 4196468 140720940644272 140674554262624 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20681] ppid=20665 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20681/stat : 20681 (java) S 20665 20668 14626 0 -1 1077944384 200 0 0 0 0 0 0 0 20 0 20 0 6160600 13588557824 398890 33554432000 4194304 4196468 140720940644272 140674553209728 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20682] ppid=20665 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20682/stat : 20682 (java) S 20665 20668 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6160604 13588557824 398890 33554432000 4194304 4196468 140720940644272 140674552158032 140675226097563 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20683] ppid=20665 vsize=13270076 CPUtime=2.36 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20683/stat : 20683 (java) S 20665 20668 14626 0 -1 1077944384 18807 0 0 0 233 3 0 0 20 0 20 0 6160604 13588557824 398890 33554432000 4194304 4196468 140720940644272 140674551106416 140675226090114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20684] ppid=20665 vsize=13270076 CPUtime=2.66 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20684/stat : 20684 (java) S 20665 20668 14626 0 -1 1077944384 17701 0 0 0 264 2 0 0 20 0 20 0 6160604 13588557824 398890 33554432000 4194304 4196468 140720940644272 140674550053616 140675226090114 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 21 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20685] ppid=20665 vsize=13270076 CPUtime=2.58 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20685/stat : 20685 (java) S 20665 20668 14626 0 -1 1077944384 21869 0 0 0 256 2 0 0 20 0 20 0 6160604 13588557824 398890 33554432000 4194304 4196468 140720940644272 140674549000816 140675226090114 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 36 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20686] ppid=20665 vsize=13270076 CPUtime=1.26 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20686/stat : 20686 (java) S 20665 20668 14626 0 -1 1077944384 32551 0 0 0 121 5 0 0 20 0 20 0 6160604 13588557824 398890 33554432000 4194304 4196468 140720940644272 140674547948016 140675226090114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 33 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20687] ppid=20665 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20687/stat : 20687 (java) S 20665 20668 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6160605 13588557824 398890 33554432000 4194304 4196468 140720940644272 140674546895456 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20688] ppid=20665 vsize=13270076 CPUtime=1.21 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20688/stat : 20688 (java) S 20665 20668 14626 0 -1 1077944384 1968 0 0 0 60 61 0 0 20 0 20 0 6160605 13588557824 398890 33554432000 4194304 4196468 140720940644272 140674545842736 140675226090114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 47 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 Current children cumulated CPU time (s) 2365.86 Current children cumulated vsize (KiB) 13270076 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2294.6 s] /proc/loadavg: 1.83 1.72 1.69 3/281 20866 /proc/meminfo: memFree=29466676/32770624 swapFree=5956/292004 [pid=20668] ppid=20665 vsize=13270076 CPUtime=2400.08 cores=0,2,4,6,8,10,12,14 /proc/20668/stat : 20668 (java) S 20665 20668 14626 0 -1 1077944320 414502 0 0 0 239319 689 0 0 20 0 20 0 6160595 13588557824 509871 33554432000 4194304 4196468 140720940644272 140720940626816 140675226078967 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 /proc/20668/statm: 3317519 509871 3861 1 0 3305234 0 [pid=20668/tid=20669] ppid=20665 vsize=13270076 CPUtime=2277.46 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20669/stat : 20669 (java) R 20665 20668 14626 0 -1 4202560 127397 0 0 0 227662 84 0 0 20 0 20 0 6160596 13588557824 509871 33554432000 4194304 4196468 140720940644272 140675230316640 140674835362394 0 4 0 16800975 0 0 0 -1 10 0 0 4 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20671] ppid=20665 vsize=13270076 CPUtime=13.78 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20671/stat : 20671 (java) S 20665 20668 14626 0 -1 1077944384 13388 0 0 0 1313 65 0 0 20 0 20 0 6160597 13588557824 509871 33554432000 4194304 4196468 140720940644272 140674825448080 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20672] ppid=20665 vsize=13270076 CPUtime=14.01 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20672/stat : 20672 (java) S 20665 20668 14626 0 -1 1077944384 16538 0 0 0 1334 67 0 0 20 0 20 0 6160597 13588557824 509871 33554432000 4194304 4196468 140720940644272 140674824395280 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20673] ppid=20665 vsize=13270076 CPUtime=14.02 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20673/stat : 20673 (java) S 20665 20668 14626 0 -1 1077944384 12652 0 0 0 1337 65 0 0 20 0 20 0 6160597 13588557824 509871 33554432000 4194304 4196468 140720940644272 140674823342480 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20674] ppid=20665 vsize=13270076 CPUtime=13.89 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20674/stat : 20674 (java) S 20665 20668 14626 0 -1 1077944384 13907 0 0 0 1323 66 0 0 20 0 20 0 6160597 13588557824 509871 33554432000 4194304 4196468 140720940644272 140674822289680 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20675] ppid=20665 vsize=13270076 CPUtime=13.85 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20675/stat : 20675 (java) S 20665 20668 14626 0 -1 1077944384 14446 0 0 0 1320 65 0 0 20 0 20 0 6160597 13588557824 509871 33554432000 4194304 4196468 140720940644272 140674821237904 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20676] ppid=20665 vsize=13270076 CPUtime=14.03 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20676/stat : 20676 (java) S 20665 20668 14626 0 -1 1077944384 16171 0 0 0 1338 65 0 0 20 0 20 0 6160597 13588557824 509871 33554432000 4194304 4196468 140720940644272 140674820185104 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20677] ppid=20665 vsize=13270076 CPUtime=13.73 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20677/stat : 20677 (java) S 20665 20668 14626 0 -1 1077944384 14140 0 0 0 1309 64 0 0 20 0 20 0 6160597 13588557824 509871 33554432000 4194304 4196468 140720940644272 140674819132304 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20678] ppid=20665 vsize=13270076 CPUtime=13.94 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20678/stat : 20678 (java) S 20665 20668 14626 0 -1 1077944384 13061 0 0 0 1330 64 0 0 20 0 20 0 6160597 13588557824 509871 33554432000 4194304 4196468 140720940644272 140674818079504 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20679] ppid=20665 vsize=13270076 CPUtime=1.13 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20679/stat : 20679 (java) S 20665 20668 14626 0 -1 1077944384 78295 0 0 0 85 28 0 0 20 0 20 0 6160599 13588557824 509871 33554432000 4194304 4196468 140720940644272 140674555316592 140675226090114 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20680] ppid=20665 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20680/stat : 20680 (java) S 20665 20668 14626 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 20 0 6160600 13588557824 509871 33554432000 4194304 4196468 140720940644272 140674554262624 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20681] ppid=20665 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20681/stat : 20681 (java) S 20665 20668 14626 0 -1 1077944384 200 0 0 0 0 0 0 0 20 0 20 0 6160600 13588557824 509871 33554432000 4194304 4196468 140720940644272 140674553209728 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20682] ppid=20665 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20682/stat : 20682 (java) S 20665 20668 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6160604 13588557824 509871 33554432000 4194304 4196468 140720940644272 140674552158032 140675226097563 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20683] ppid=20665 vsize=13270076 CPUtime=2.36 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20683/stat : 20683 (java) S 20665 20668 14626 0 -1 1077944384 18807 0 0 0 233 3 0 0 20 0 20 0 6160604 13588557824 509871 33554432000 4194304 4196468 140720940644272 140674551106416 140675226090114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20684] ppid=20665 vsize=13270076 CPUtime=2.66 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20684/stat : 20684 (java) S 20665 20668 14626 0 -1 1077944384 17701 0 0 0 264 2 0 0 20 0 20 0 6160604 13588557824 509871 33554432000 4194304 4196468 140720940644272 140674550053616 140675226090114 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 21 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20685] ppid=20665 vsize=13270076 CPUtime=2.58 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20685/stat : 20685 (java) S 20665 20668 14626 0 -1 1077944384 21869 0 0 0 256 2 0 0 20 0 20 0 6160604 13588557824 509871 33554432000 4194304 4196468 140720940644272 140674549000816 140675226090114 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 36 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20686] ppid=20665 vsize=13270076 CPUtime=1.26 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20686/stat : 20686 (java) S 20665 20668 14626 0 -1 1077944384 32551 0 0 0 121 5 0 0 20 0 20 0 6160604 13588557824 509871 33554432000 4194304 4196468 140720940644272 140674547948016 140675226090114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 33 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20687] ppid=20665 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20687/stat : 20687 (java) S 20665 20668 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6160605 13588557824 509871 33554432000 4194304 4196468 140720940644272 140674546895456 140675226089173 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 [pid=20668/tid=20688] ppid=20665 vsize=13270076 CPUtime=1.22 cores=0,2,4,6,8,10,12,14 /proc/20668/task/20688/stat : 20688 (java) S 20665 20668 14626 0 -1 1077944384 1972 0 0 0 60 62 0 0 20 0 20 0 6160605 13588557824 509871 33554432000 4194304 4196468 140720940644272 140674545842736 140675226090114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 47 0 0 6293624 6294260 39763968 140720940647568 140720940647748 140720940647748 140720940650447 0 Current children cumulated CPU time (s) 2400.08 Current children cumulated vsize (KiB) 13270076 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 20668 sig 9 ??? kill -20668 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 2294.65 CPU time (s): 2400.15 CPU user time (s): 2393.24 CPU system time (s): 6.90859 CPU usage (%): 104.597 Max. virtual memory (cumulated for all children) (KiB): 13270076 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2393.24 system time used= 6.90859 maximum resident set size= 3529828 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 415299 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2896 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 86692 involuntary context switches= 129258 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 15.1434 second user time and 16.983 second system time The end
Begin job on node105 at 2017-07-22 09:35:11 IDJOB=4246354 IDBENCH=124439 IDSOLVER=2627 FILE ID=node105/4246354-1500708911 RUNJOBID= node105-1500697272-19300 PBS_JOBID= 20623326 Free space on /tmp= 61968 MiB SOLVER NAME= OscaR - ALNS 2017-06-30 BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-B-n68-k9.xml COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-alns.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4246354-1500708911/watcher-4246354-1500708911 -o /tmp/evaluation-result-4246354-1500708911/solver-4246354-1500708911 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1500697272-19300 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-alns.jar --randomseed 160792044 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4246354-1500708911.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= d46243a0c717d56f47be278be902a17a RANDOM SEED=160792044 node105.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.33 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.33 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.33 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 : 8 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2400.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.33 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2533.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.33 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2267.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.33 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2267.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.33 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2533.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.33 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 29405616 kB MemAvailable: 29714144 kB Buffers: 131960 kB Cached: 455444 kB SwapCached: 0 kB Active: 2622940 kB Inactive: 298280 kB Active(anon): 2336644 kB Inactive(anon): 8644 kB Active(file): 286296 kB Inactive(file): 289636 kB Unevictable: 5956 kB Mlocked: 5988 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42332 kB Writeback: 0 kB AnonPages: 2339788 kB Mapped: 45608 kB Shmem: 8852 kB Slab: 130948 kB SReclaimable: 96864 kB SUnreclaim: 34084 kB KernelStack: 4528 kB PageTables: 9700 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 4509936 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 2201600 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 138624 kB DirectMap2M: 33406976 kB Free space on /tmp at the end= 61928 MiB End job on node105 at 2017-07-22 10:13:26