Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
R1: OscaR - Conflict Ordering 2017-06-30 | SAT (TO) | 3814 | 2400.15 | 2344.54 |
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.27/0.26 c version: 2017-06-30 0.27/0.26 c seed: 94253983 0.27/0.26 c timeout: 2400 0.27/0.26 c memlimit: 15500 0.27/0.26 c nbcore: 8 0.27/0.28 c Parsing instance... 4.49/1.49 c Parsing done, starting search... 5.44/1.65 o 4274 5.44/1.67 o 4264 5.87/1.71 o 4221 5.87/1.75 o 4211 5.87/1.77 o 4210 6.29/1.84 o 4195 6.29/1.88 o 4128 6.29/1.89 o 4083 6.64/1.91 o 4080 6.80/2.00 o 4077 6.80/2.02 o 4073 6.80/2.04 o 4055 6.80/2.09 o 4003 6.98/2.11 o 4001 6.98/2.12 o 3990 12.12/6.62 o 3989 12.12/6.63 o 3974 12.12/6.65 o 3973 24.10/18.24 o 3951 24.30/18.42 o 3933 24.30/18.43 o 3925 102.62/96.12 o 3906 103.61/97.11 o 3905 109.44/103.00 o 3903 130.18/123.64 o 3902 134.59/128.07 o 3892 134.69/128.12 o 3883 134.79/128.20 o 3881 135.19/128.68 o 3880 135.19/128.70 o 3875 189.81/183.11 o 3867 238.89/232.08 o 3866 247.75/240.82 o 3861 293.44/286.26 o 3857 319.16/311.70 o 3852 1387.52/1355.18 o 3847 1387.64/1355.26 o 3834 1387.64/1355.27 o 3831 1399.14/1366.44 o 3814 2400.06/2344.51 s SATISFIABLE 2400.06/2344.52 v <instantiation> 2400.06/2344.52 v <list> 2400.06/2344.52 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.06/2344.52 v </list> 2400.06/2344.52 v <values> 2400.06/2344.52 v 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 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 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 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 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 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 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 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 1 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 1 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 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 10 19 18 100 2 48 100 73 79 99 100 59 69 99 23 100 18 46 56 67 5 15 31 22 65 49 78 14 40 88 23 40 33 41 62 23 59 11 70 39 17 83 89 47 64 83 69 82 88 100 21 39 77 81 44 52 46 20 53 8 100 90 43 77 68 16 100 2400.06/2344.52 v </values> 2400.06/2344.52 v </instantiation>
OK 3814
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-4246355-1500710325/watcher-4246355-1500710325 -o /tmp/evaluation-result-4246355-1500710325/solver-4246355-1500710325 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node121-1500683185-8690 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 94253983 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4246355-1500710325.xml pid=14796 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.29 1.36 1.40 3/261 14799 /proc/meminfo: memFree=31623292/32770624 swapFree=5876/117924 [pid=14799] ppid=14796 vsize=361196 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14799/stat : 14799 (java) S 14796 14799 8659 0 -1 1077944320 1718 0 0 0 0 0 0 0 20 0 2 0 6300873 369864704 1925 33554432000 4194304 4196468 140722576147168 140722576129712 140314915143415 0 0 0 16784584 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 /proc/14799/statm: 90299 1925 1072 1 0 79210 0 [pid=14799/tid=14800] ppid=14796 vsize=361196 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14800/stat : 14800 (java) S 14796 14799 8659 0 -1 1077944384 401 0 0 0 0 0 0 0 20 0 2 0 6300873 369864704 1925 33554432000 4194304 4196468 140722576147168 140314919385504 140314915154562 0 4 0 16784584 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [startup+0.100059 s] /proc/loadavg: 1.29 1.36 1.40 3/261 14799 /proc/meminfo: memFree=31623292/32770624 swapFree=5876/117924 [pid=14799] ppid=14796 vsize=13263912 CPUtime=0.11 cores=0,2,4,6,8,10,12,14 /proc/14799/stat : 14799 (java) S 14796 14799 8659 0 -1 1077944320 7207 0 0 0 10 1 0 0 20 0 20 0 6300873 13582245888 7439 33554432000 4194304 4196468 140722576147168 140722576129712 140314915143415 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 /proc/14799/statm: 3315978 7439 3403 1 0 3303698 0 [pid=14799/tid=14800] ppid=14796 vsize=13263912 CPUtime=0.08 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14800/stat : 14800 (java) R 14796 14799 8659 0 -1 4202560 5154 0 0 0 8 0 0 0 20 0 20 0 6300873 13582245888 7439 33554432000 4194304 4196468 140722576147168 140314919363880 140314899223902 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 13263912 [startup+0.200347 s] /proc/loadavg: 1.29 1.36 1.40 3/261 14799 /proc/meminfo: memFree=31623292/32770624 swapFree=5876/117924 [pid=14799] ppid=14796 vsize=13263912 CPUtime=0.27 cores=0,2,4,6,8,10,12,14 /proc/14799/stat : 14799 (java) S 14796 14799 8659 0 -1 1077944320 9568 0 0 0 26 1 0 0 20 0 20 0 6300873 13582245888 9898 33554432000 4194304 4196468 140722576147168 140722576129712 140314915143415 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 /proc/14799/statm: 3315978 9898 3614 1 0 3303698 0 [pid=14799/tid=14800] ppid=14796 vsize=13263912 CPUtime=0.17 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14800/stat : 14800 (java) R 14796 14799 8659 0 -1 4202560 7080 0 0 0 16 1 0 0 20 0 20 0 6300873 13582245888 9898 33554432000 4194304 4196468 140722576147168 140314919329488 140314899223902 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 13263912 [startup+0.300286 s] /proc/loadavg: 1.29 1.36 1.40 3/261 14799 /proc/meminfo: memFree=31623292/32770624 swapFree=5876/117924 [pid=14799] ppid=14796 vsize=13263932 CPUtime=0.47 cores=0,2,4,6,8,10,12,14 /proc/14799/stat : 14799 (java) S 14796 14799 8659 0 -1 1077944320 10599 0 0 0 45 2 0 0 20 0 20 0 6300873 13582266368 12329 33554432000 4194304 4196468 140722576147168 140722576129712 140314915143415 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 /proc/14799/statm: 3315983 12329 3704 1 0 3303698 0 [pid=14799/tid=14800] ppid=14796 vsize=13263932 CPUtime=0.28 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14800/stat : 14800 (java) R 14796 14799 8659 0 -1 4202560 7670 0 0 0 26 2 0 0 20 0 20 0 6300873 13582266368 12329 33554432000 4194304 4196468 140722576147168 140314919380816 140314899223902 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 Current children cumulated CPU time (s) 0.47 Current children cumulated vsize (KiB) 13263932 [startup+0.700235 s] /proc/loadavg: 1.29 1.36 1.40 3/261 14799 /proc/meminfo: memFree=31623292/32770624 swapFree=5876/117924 [pid=14799] ppid=14796 vsize=13265980 CPUtime=1.67 cores=0,2,4,6,8,10,12,14 /proc/14799/stat : 14799 (java) S 14796 14799 8659 0 -1 1077944320 14460 0 0 0 163 4 0 0 20 0 20 0 6300873 13584363520 26476 33554432000 4194304 4196468 140722576147168 140722576129712 140314915143415 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 /proc/14799/statm: 3316495 26476 3776 1 0 3304210 0 [pid=14799/tid=14800] ppid=14796 vsize=13265980 CPUtime=0.67 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14800/stat : 14800 (java) R 14796 14799 8659 0 -1 4202560 8484 0 0 0 64 3 0 0 20 0 20 0 6300873 13584363520 26476 33554432000 4194304 4196468 140722576147168 140314919375960 140314521438687 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 Current children cumulated CPU time (s) 1.67 Current children cumulated vsize (KiB) 13265980 [startup+1.50105 s] /proc/loadavg: 1.29 1.36 1.40 4/281 14819 /proc/meminfo: memFree=31490448/32770624 swapFree=5876/117904 [pid=14799] ppid=14796 vsize=13270076 CPUtime=5.05 cores=0,2,4,6,8,10,12,14 /proc/14799/stat : 14799 (java) S 14796 14799 8659 0 -1 1077944320 29727 0 0 0 485 20 0 0 20 0 20 0 6300873 13588557824 61990 33554432000 4194304 4196468 140722576147168 140722576129712 140314915143415 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 /proc/14799/statm: 3317519 61990 3823 1 0 3305234 0 [pid=14799/tid=14800] ppid=14796 vsize=13270076 CPUtime=1.43 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14800/stat : 14800 (java) R 14796 14799 8659 0 -1 4202560 11481 0 0 0 138 5 0 0 20 0 20 0 6300873 13588557824 61990 33554432000 4194304 4196468 140722576147168 140314919374824 140314915165341 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14802] ppid=14796 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14802/stat : 14802 (java) S 14796 14799 8659 0 -1 1077944384 54 0 0 0 1 1 0 0 20 0 20 0 6300874 13588557824 61990 33554432000 4194304 4196468 140722576147168 140314847279376 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14803] ppid=14796 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14803/stat : 14803 (java) S 14796 14799 8659 0 -1 1077944384 41 0 0 0 1 1 0 0 20 0 20 0 6300874 13588557824 61990 33554432000 4194304 4196468 140722576147168 140314846226832 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14804] ppid=14796 vsize=13270076 CPUtime=0.03 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14804/stat : 14804 (java) S 14796 14799 8659 0 -1 1077944384 211 0 0 0 2 1 0 0 20 0 20 0 6300874 13588557824 61990 33554432000 4194304 4196468 140722576147168 140314845174288 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14805] ppid=14796 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14805/stat : 14805 (java) S 14796 14799 8659 0 -1 1077944384 19 0 0 0 1 1 0 0 20 0 20 0 6300874 13588557824 61990 33554432000 4194304 4196468 140722576147168 140314844121744 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14806] ppid=14796 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14806/stat : 14806 (java) S 14796 14799 8659 0 -1 1077944384 28 0 0 0 1 1 0 0 20 0 20 0 6300874 13588557824 61990 33554432000 4194304 4196468 140722576147168 140314843069200 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14807] ppid=14796 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14807/stat : 14807 (java) S 14796 14799 8659 0 -1 1077944384 34 0 0 0 1 1 0 0 20 0 20 0 6300874 13588557824 61990 33554432000 4194304 4196468 140722576147168 140314842016656 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14808] ppid=14796 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14808/stat : 14808 (java) S 14796 14799 8659 0 -1 1077944384 45 0 0 0 1 1 0 0 20 0 20 0 6300874 13588557824 61990 33554432000 4194304 4196468 140722576147168 140314840964112 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14809] ppid=14796 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14809/stat : 14809 (java) S 14796 14799 8659 0 -1 1077944384 37 0 0 0 1 1 0 0 20 0 20 0 6300874 13588557824 61990 33554432000 4194304 4196468 140722576147168 140314839911568 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14810] ppid=14796 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14810/stat : 14810 (java) S 14796 14799 8659 0 -1 1077944384 130 0 0 0 0 0 0 0 20 0 20 0 6300876 13588557824 61990 33554432000 4194304 4196468 140722576147168 140314243614704 140314915154562 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14811] ppid=14796 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14811/stat : 14811 (java) S 14796 14799 8659 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 20 0 6300876 13588557824 61990 33554432000 4194304 4196468 140722576147168 140314242560928 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14812] ppid=14796 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14812/stat : 14812 (java) S 14796 14799 8659 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 20 0 6300876 13588557824 61990 33554432000 4194304 4196468 140722576147168 140314241508336 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14813] ppid=14796 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14813/stat : 14813 (java) S 14796 14799 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6300879 13588557824 61990 33554432000 4194304 4196468 140722576147168 140314240456912 140314915162011 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14814] ppid=14796 vsize=13270076 CPUtime=0.84 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14814/stat : 14814 (java) R 14796 14799 8659 0 -1 4202560 3811 0 0 0 83 1 0 0 20 0 20 0 6300879 13588557824 61990 33554432000 4194304 4196468 140722576147168 140314239390624 140314893160427 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14815] ppid=14796 vsize=13270076 CPUtime=0.86 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14815/stat : 14815 (java) R 14796 14799 8659 0 -1 4202560 3271 0 0 0 85 1 0 0 20 0 20 0 6300879 13588557824 61990 33554432000 4194304 4196468 140722576147168 140314238333000 140314895778854 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14816] ppid=14796 vsize=13270076 CPUtime=0.9 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14816/stat : 14816 (java) R 14796 14799 8659 0 -1 4202560 3752 0 0 0 90 0 0 0 20 0 20 0 6300879 13588557824 61990 33554432000 4194304 4196468 140722576147168 140314237292464 140314908249334 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14817] ppid=14796 vsize=13270076 CPUtime=0.74 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14817/stat : 14817 (java) S 14796 14799 8659 0 -1 1077944384 5379 0 0 0 73 1 0 0 20 0 20 0 6300879 13588557824 61990 33554432000 4194304 4196468 140722576147168 140314236246896 140314915154562 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14818] ppid=14796 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14818/stat : 14818 (java) S 14796 14799 8659 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6300879 13588557824 61990 33554432000 4194304 4196468 140722576147168 140314235193568 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14819] ppid=14796 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14819/stat : 14819 (java) S 14796 14799 8659 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6300879 13588557824 61990 33554432000 4194304 4196468 140722576147168 140314234141104 140314915154562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 Current children cumulated CPU time (s) 5.05 Current children cumulated vsize (KiB) 13270076 [startup+3.10069 s] /proc/loadavg: 1.29 1.36 1.40 4/281 14819 /proc/meminfo: memFree=31386220/32770624 swapFree=5876/117904 [pid=14799] ppid=14796 vsize=13270076 CPUtime=8.4 cores=0,2,4,6,8,10,12,14 /proc/14799/stat : 14799 (java) S 14796 14799 8659 0 -1 1077944320 33940 0 0 0 804 36 0 0 20 0 20 0 6300873 13588557824 71435 33554432000 4194304 4196468 140722576147168 140722576129712 140314915143415 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 /proc/14799/statm: 3317519 71435 3834 1 0 3305234 0 [pid=14799/tid=14800] ppid=14796 vsize=13270076 CPUtime=2.99 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14800/stat : 14800 (java) R 14796 14799 8659 0 -1 4202560 11964 0 0 0 294 5 0 0 20 0 20 0 6300873 13588557824 71435 33554432000 4194304 4196468 140722576147168 140314919379736 140314527558329 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14802] ppid=14796 vsize=13270076 CPUtime=0.06 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14802/stat : 14802 (java) S 14796 14799 8659 0 -1 1077944384 71 0 0 0 3 3 0 0 20 0 20 0 6300874 13588557824 71435 33554432000 4194304 4196468 140722576147168 140314847279376 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14803] ppid=14796 vsize=13270076 CPUtime=0.06 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14803/stat : 14803 (java) S 14796 14799 8659 0 -1 1077944384 123 0 0 0 3 3 0 0 20 0 20 0 6300874 13588557824 71435 33554432000 4194304 4196468 140722576147168 140314846226832 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14804] ppid=14796 vsize=13270076 CPUtime=0.06 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14804/stat : 14804 (java) S 14796 14799 8659 0 -1 1077944384 236 0 0 0 3 3 0 0 20 0 20 0 6300874 13588557824 71435 33554432000 4194304 4196468 140722576147168 140314845174288 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14805] ppid=14796 vsize=13270076 CPUtime=0.05 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14805/stat : 14805 (java) S 14796 14799 8659 0 -1 1077944384 51 0 0 0 3 2 0 0 20 0 20 0 6300874 13588557824 71435 33554432000 4194304 4196468 140722576147168 140314844121744 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14806] ppid=14796 vsize=13270076 CPUtime=0.05 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14806/stat : 14806 (java) S 14796 14799 8659 0 -1 1077944384 47 0 0 0 2 3 0 0 20 0 20 0 6300874 13588557824 71435 33554432000 4194304 4196468 140722576147168 140314843069200 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14807] ppid=14796 vsize=13270076 CPUtime=0.06 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14807/stat : 14807 (java) S 14796 14799 8659 0 -1 1077944384 51 0 0 0 3 3 0 0 20 0 20 0 6300874 13588557824 71435 33554432000 4194304 4196468 140722576147168 140314842016656 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14808] ppid=14796 vsize=13270076 CPUtime=0.04 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14808/stat : 14808 (java) S 14796 14799 8659 0 -1 1077944384 73 0 0 0 2 2 0 0 20 0 20 0 6300874 13588557824 71435 33554432000 4194304 4196468 140722576147168 140314840964112 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14809] ppid=14796 vsize=13270076 CPUtime=0.05 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14809/stat : 14809 (java) S 14796 14799 8659 0 -1 1077944384 1031 0 0 0 2 3 0 0 20 0 20 0 6300874 13588557824 71435 33554432000 4194304 4196468 140722576147168 140314839911568 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14810] ppid=14796 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14810/stat : 14810 (java) S 14796 14799 8659 0 -1 1077944384 335 0 0 0 0 0 0 0 20 0 20 0 6300876 13588557824 71435 33554432000 4194304 4196468 140722576147168 140314243614704 140314915154562 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14811] ppid=14796 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14811/stat : 14811 (java) S 14796 14799 8659 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 20 0 6300876 13588557824 71435 33554432000 4194304 4196468 140722576147168 140314242560928 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14812] ppid=14796 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14812/stat : 14812 (java) S 14796 14799 8659 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 20 0 6300876 13588557824 71435 33554432000 4194304 4196468 140722576147168 140314241508336 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14813] ppid=14796 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14813/stat : 14813 (java) S 14796 14799 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6300879 13588557824 71435 33554432000 4194304 4196468 140722576147168 140314240456912 140314915162011 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14814] ppid=14796 vsize=13270076 CPUtime=1.36 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14814/stat : 14814 (java) S 14796 14799 8659 0 -1 1077944384 4217 0 0 0 135 1 0 0 20 0 20 0 6300879 13588557824 71435 33554432000 4194304 4196468 140722576147168 140314239404528 140314915154562 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14815] ppid=14796 vsize=13270076 CPUtime=1.28 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14815/stat : 14815 (java) S 14796 14799 8659 0 -1 1077944384 3836 0 0 0 127 1 0 0 20 0 20 0 6300879 13588557824 71435 33554432000 4194304 4196468 140722576147168 140314238351984 140314915154562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14816] ppid=14796 vsize=13270076 CPUtime=1.37 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14816/stat : 14816 (java) S 14796 14799 8659 0 -1 1077944384 4843 0 0 0 137 0 0 0 20 0 20 0 6300879 13588557824 71435 33554432000 4194304 4196468 140722576147168 140314237299440 140314915154562 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14817] ppid=14796 vsize=13270076 CPUtime=0.84 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14817/stat : 14817 (java) S 14796 14799 8659 0 -1 1077944384 5618 0 0 0 83 1 0 0 20 0 20 0 6300879 13588557824 71435 33554432000 4194304 4196468 140722576147168 140314236246896 140314915154562 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14818] ppid=14796 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14818/stat : 14818 (java) S 14796 14799 8659 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6300879 13588557824 71435 33554432000 4194304 4196468 140722576147168 140314235193568 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14819] ppid=14796 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14819/stat : 14819 (java) S 14796 14799 8659 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 6300879 13588557824 71435 33554432000 4194304 4196468 140722576147168 140314234141104 140314915154562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 Current children cumulated CPU time (s) 8.4 Current children cumulated vsize (KiB) 13270076 [startup+6.30118 s] /proc/loadavg: 1.34 1.37 1.40 3/281 14819 /proc/meminfo: memFree=31272836/32770624 swapFree=5876/117932 [pid=14799] ppid=14796 vsize=13270076 CPUtime=11.81 cores=0,2,4,6,8,10,12,14 /proc/14799/stat : 14799 (java) S 14796 14799 8659 0 -1 1077944320 34627 0 0 0 1133 48 0 0 20 0 20 0 6300873 13588557824 101550 33554432000 4194304 4196468 140722576147168 140722576129712 140314915143415 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 /proc/14799/statm: 3317519 101550 3834 1 0 3305234 0 [pid=14799/tid=14800] ppid=14796 vsize=13270076 CPUtime=6.16 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14800/stat : 14800 (java) R 14796 14799 8659 0 -1 4202560 12372 0 0 0 609 7 0 0 20 0 20 0 6300873 13588557824 101550 33554432000 4194304 4196468 140722576147168 140314919379416 140314527851411 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14802] ppid=14796 vsize=13270076 CPUtime=0.08 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14802/stat : 14802 (java) S 14796 14799 8659 0 -1 1077944384 82 0 0 0 4 4 0 0 20 0 20 0 6300874 13588557824 101550 33554432000 4194304 4196468 140722576147168 140314847279376 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14803] ppid=14796 vsize=13270076 CPUtime=0.08 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14803/stat : 14803 (java) S 14796 14799 8659 0 -1 1077944384 132 0 0 0 4 4 0 0 20 0 20 0 6300874 13588557824 101550 33554432000 4194304 4196468 140722576147168 140314846226832 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14804] ppid=14796 vsize=13270076 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14804/stat : 14804 (java) S 14796 14799 8659 0 -1 1077944384 254 0 0 0 5 4 0 0 20 0 20 0 6300874 13588557824 101550 33554432000 4194304 4196468 140722576147168 140314845174288 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14805] ppid=14796 vsize=13270076 CPUtime=0.08 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14805/stat : 14805 (java) S 14796 14799 8659 0 -1 1077944384 63 0 0 0 4 4 0 0 20 0 20 0 6300874 13588557824 101550 33554432000 4194304 4196468 140722576147168 140314844121744 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14806] ppid=14796 vsize=13270076 CPUtime=0.07 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14806/stat : 14806 (java) S 14796 14799 8659 0 -1 1077944384 60 0 0 0 3 4 0 0 20 0 20 0 6300874 13588557824 101550 33554432000 4194304 4196468 140722576147168 140314843069200 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14807] ppid=14796 vsize=13270076 CPUtime=0.08 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14807/stat : 14807 (java) S 14796 14799 8659 0 -1 1077944384 61 0 0 0 4 4 0 0 20 0 20 0 6300874 13588557824 101550 33554432000 4194304 4196468 140722576147168 140314842016656 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14808] ppid=14796 vsize=13270076 CPUtime=0.07 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14808/stat : 14808 (java) S 14796 14799 8659 0 -1 1077944384 89 0 0 0 3 4 0 0 20 0 20 0 6300874 13588557824 101550 33554432000 4194304 4196468 140722576147168 140314840964112 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14809] ppid=14796 vsize=13270076 CPUtime=0.07 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14809/stat : 14809 (java) S 14796 14799 8659 0 -1 1077944384 1041 0 0 0 3 4 0 0 20 0 20 0 6300874 13588557824 101550 33554432000 4194304 4196468 140722576147168 140314839911568 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14810] ppid=14796 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14810/stat : 14810 (java) S 14796 14799 8659 0 -1 1077944384 465 0 0 0 1 0 0 0 20 0 20 0 6300876 13588557824 101550 33554432000 4194304 4196468 140722576147168 140314243614704 140314915154562 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14811] ppid=14796 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14811/stat : 14811 (java) S 14796 14799 8659 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 20 0 6300876 13588557824 101550 33554432000 4194304 4196468 140722576147168 140314242560928 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14812] ppid=14796 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14812/stat : 14812 (java) S 14796 14799 8659 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 20 0 6300876 13588557824 101550 33554432000 4194304 4196468 140722576147168 140314241508336 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14813] ppid=14796 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 ################ # More data... # ################ [pid=14799/tid=14815] ppid=14796 vsize=13270076 CPUtime=1.39 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14815/stat : 14815 (java) S 14796 14799 8659 0 -1 1077944384 5861 0 0 0 137 2 0 0 20 0 20 0 6300879 13588557824 216534 33554432000 4194304 4196468 140722576147168 140314238351984 140314915154562 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14816] ppid=14796 vsize=13270076 CPUtime=1.48 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14816/stat : 14816 (java) S 14796 14799 8659 0 -1 1077944384 7654 0 0 0 147 1 0 0 20 0 20 0 6300879 13588557824 216534 33554432000 4194304 4196468 140722576147168 140314237299440 140314915154562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14817] ppid=14796 vsize=13270076 CPUtime=0.88 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14817/stat : 14817 (java) S 14796 14799 8659 0 -1 1077944384 7987 0 0 0 87 1 0 0 20 0 20 0 6300879 13588557824 216534 33554432000 4194304 4196468 140722576147168 140314236246896 140314915154562 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14818] ppid=14796 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14818/stat : 14818 (java) S 14796 14799 8659 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6300879 13588557824 216534 33554432000 4194304 4196468 140722576147168 140314235193568 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14819] ppid=14796 vsize=13270076 CPUtime=1.18 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14819/stat : 14819 (java) S 14796 14799 8659 0 -1 1077944384 1044 0 0 0 59 59 0 0 20 0 20 0 6300879 13588557824 216534 33554432000 4194304 4196468 140722576147168 140314234141104 140314915154562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 49 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 Current children cumulated CPU time (s) 2315.97 Current children cumulated vsize (KiB) 13270076 [startup+2322.3 s] /proc/loadavg: 1.57 1.62 1.56 3/281 15697 /proc/meminfo: memFree=27492312/32770624 swapFree=5876/122608 [pid=14799] ppid=14796 vsize=13270076 CPUtime=2377.32 cores=0,2,4,6,8,10,12,14 /proc/14799/stat : 14799 (java) S 14796 14799 8659 0 -1 1077944320 113522 0 0 0 237388 344 0 0 20 0 20 0 6300873 13588557824 217046 33554432000 4194304 4196468 140722576147168 140722576129712 140314915143415 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 /proc/14799/statm: 3317519 217046 3835 1 0 3305234 0 [pid=14799/tid=14800] ppid=14796 vsize=13270076 CPUtime=2308.63 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14800/stat : 14800 (java) R 14796 14799 8659 0 -1 4202560 44293 0 0 0 230825 38 0 0 20 0 20 0 6300873 13588557824 217046 33554432000 4194304 4196468 140722576147168 140314919381840 140314527771711 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14802] ppid=14796 vsize=13270076 CPUtime=7.45 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14802/stat : 14802 (java) S 14796 14799 8659 0 -1 1077944384 3955 0 0 0 711 34 0 0 20 0 20 0 6300874 13588557824 217046 33554432000 4194304 4196468 140722576147168 140314847279376 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14803] ppid=14796 vsize=13270076 CPUtime=7.37 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14803/stat : 14803 (java) S 14796 14799 8659 0 -1 1077944384 3427 0 0 0 706 31 0 0 20 0 20 0 6300874 13588557824 217046 33554432000 4194304 4196468 140722576147168 140314846226832 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14804] ppid=14796 vsize=13270076 CPUtime=7.31 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14804/stat : 14804 (java) S 14796 14799 8659 0 -1 1077944384 3261 0 0 0 702 29 0 0 20 0 20 0 6300874 13588557824 217046 33554432000 4194304 4196468 140722576147168 140314845174288 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14805] ppid=14796 vsize=13270076 CPUtime=7.47 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14805/stat : 14805 (java) S 14796 14799 8659 0 -1 1077944384 4155 0 0 0 717 30 0 0 20 0 20 0 6300874 13588557824 217046 33554432000 4194304 4196468 140722576147168 140314844121744 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14806] ppid=14796 vsize=13270076 CPUtime=7.5 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14806/stat : 14806 (java) S 14796 14799 8659 0 -1 1077944384 3528 0 0 0 720 30 0 0 20 0 20 0 6300874 13588557824 217046 33554432000 4194304 4196468 140722576147168 140314843069200 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14807] ppid=14796 vsize=13270076 CPUtime=7.29 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14807/stat : 14807 (java) S 14796 14799 8659 0 -1 1077944384 3806 0 0 0 698 31 0 0 20 0 20 0 6300874 13588557824 217046 33554432000 4194304 4196468 140722576147168 140314842016656 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14808] ppid=14796 vsize=13270076 CPUtime=7.28 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14808/stat : 14808 (java) S 14796 14799 8659 0 -1 1077944384 3062 0 0 0 699 29 0 0 20 0 20 0 6300874 13588557824 217046 33554432000 4194304 4196468 140722576147168 140314840964112 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14809] ppid=14796 vsize=13270076 CPUtime=7.37 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14809/stat : 14809 (java) S 14796 14799 8659 0 -1 1077944384 4386 0 0 0 708 29 0 0 20 0 20 0 6300874 13588557824 217046 33554432000 4194304 4196468 140722576147168 140314839911568 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14810] ppid=14796 vsize=13270076 CPUtime=3.09 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14810/stat : 14810 (java) S 14796 14799 8659 0 -1 1077944384 9745 0 0 0 284 25 0 0 20 0 20 0 6300876 13588557824 217046 33554432000 4194304 4196468 140722576147168 140314243614704 140314915154562 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14811] ppid=14796 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14811/stat : 14811 (java) S 14796 14799 8659 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 20 0 6300876 13588557824 217046 33554432000 4194304 4196468 140722576147168 140314242560928 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14812] ppid=14796 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14812/stat : 14812 (java) S 14796 14799 8659 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 20 0 6300876 13588557824 217046 33554432000 4194304 4196468 140722576147168 140314241508336 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14813] ppid=14796 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14813/stat : 14813 (java) S 14796 14799 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6300879 13588557824 217046 33554432000 4194304 4196468 140722576147168 140314240456912 140314915162011 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14814] ppid=14796 vsize=13270076 CPUtime=1.43 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14814/stat : 14814 (java) S 14796 14799 8659 0 -1 1077944384 5906 0 0 0 142 1 0 0 20 0 20 0 6300879 13588557824 217046 33554432000 4194304 4196468 140722576147168 140314239404528 140314915154562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14815] ppid=14796 vsize=13270076 CPUtime=1.39 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14815/stat : 14815 (java) S 14796 14799 8659 0 -1 1077944384 5863 0 0 0 137 2 0 0 20 0 20 0 6300879 13588557824 217046 33554432000 4194304 4196468 140722576147168 140314238351984 140314915154562 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14816] ppid=14796 vsize=13270076 CPUtime=1.48 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14816/stat : 14816 (java) S 14796 14799 8659 0 -1 1077944384 7656 0 0 0 147 1 0 0 20 0 20 0 6300879 13588557824 217046 33554432000 4194304 4196468 140722576147168 140314237299440 140314915154562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14817] ppid=14796 vsize=13270076 CPUtime=0.88 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14817/stat : 14817 (java) S 14796 14799 8659 0 -1 1077944384 7989 0 0 0 87 1 0 0 20 0 20 0 6300879 13588557824 217046 33554432000 4194304 4196468 140722576147168 140314236246896 140314915154562 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14818] ppid=14796 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14818/stat : 14818 (java) S 14796 14799 8659 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6300879 13588557824 217046 33554432000 4194304 4196468 140722576147168 140314235193568 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14819] ppid=14796 vsize=13270076 CPUtime=1.22 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14819/stat : 14819 (java) S 14796 14799 8659 0 -1 1077944384 1059 0 0 0 61 61 0 0 20 0 20 0 6300879 13588557824 217046 33554432000 4194304 4196468 140722576147168 140314234141104 140314915154562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 49 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 Current children cumulated CPU time (s) 2377.32 Current children cumulated vsize (KiB) 13270076 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2344.5 s] /proc/loadavg: 1.48 1.60 1.56 3/281 15697 /proc/meminfo: memFree=27489644/32770624 swapFree=5876/122620 [pid=14799] ppid=14796 vsize=13270076 CPUtime=2400.06 cores=0,2,4,6,8,10,12,14 /proc/14799/stat : 14799 (java) S 14796 14799 8659 0 -1 1077944320 114241 0 0 0 239659 347 0 0 20 0 20 0 6300873 13588557824 217558 33554432000 4194304 4196468 140722576147168 140722576129712 140314915143415 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 /proc/14799/statm: 3317519 217558 3835 1 0 3305234 0 [pid=14799/tid=14800] ppid=14796 vsize=13270076 CPUtime=2330.69 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14800/stat : 14800 (java) R 14796 14799 8659 0 -1 4202560 44512 0 0 0 233031 38 0 0 20 0 20 0 6300873 13588557824 217558 33554432000 4194304 4196468 140722576147168 140314919381840 140314527258308 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14802] ppid=14796 vsize=13270076 CPUtime=7.53 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14802/stat : 14802 (java) S 14796 14799 8659 0 -1 1077944384 3958 0 0 0 719 34 0 0 20 0 20 0 6300874 13588557824 217558 33554432000 4194304 4196468 140722576147168 140314847279376 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14803] ppid=14796 vsize=13270076 CPUtime=7.46 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14803/stat : 14803 (java) S 14796 14799 8659 0 -1 1077944384 3479 0 0 0 714 32 0 0 20 0 20 0 6300874 13588557824 217558 33554432000 4194304 4196468 140722576147168 140314846226832 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14804] ppid=14796 vsize=13270076 CPUtime=7.38 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14804/stat : 14804 (java) S 14796 14799 8659 0 -1 1077944384 3265 0 0 0 709 29 0 0 20 0 20 0 6300874 13588557824 217558 33554432000 4194304 4196468 140722576147168 140314845174288 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14805] ppid=14796 vsize=13270076 CPUtime=7.55 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14805/stat : 14805 (java) S 14796 14799 8659 0 -1 1077944384 4166 0 0 0 725 30 0 0 20 0 20 0 6300874 13588557824 217558 33554432000 4194304 4196468 140722576147168 140314844121744 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14806] ppid=14796 vsize=13270076 CPUtime=7.58 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14806/stat : 14806 (java) S 14796 14799 8659 0 -1 1077944384 3654 0 0 0 727 31 0 0 20 0 20 0 6300874 13588557824 217558 33554432000 4194304 4196468 140722576147168 140314843069200 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14807] ppid=14796 vsize=13270076 CPUtime=7.38 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14807/stat : 14807 (java) S 14796 14799 8659 0 -1 1077944384 3809 0 0 0 706 32 0 0 20 0 20 0 6300874 13588557824 217558 33554432000 4194304 4196468 140722576147168 140314842016656 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14808] ppid=14796 vsize=13270076 CPUtime=7.37 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14808/stat : 14808 (java) S 14796 14799 8659 0 -1 1077944384 3106 0 0 0 708 29 0 0 20 0 20 0 6300874 13588557824 217558 33554432000 4194304 4196468 140722576147168 140314840964112 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14809] ppid=14796 vsize=13270076 CPUtime=7.44 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14809/stat : 14809 (java) S 14796 14799 8659 0 -1 1077944384 4454 0 0 0 715 29 0 0 20 0 20 0 6300874 13588557824 217558 33554432000 4194304 4196468 140722576147168 140314839911568 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14810] ppid=14796 vsize=13270076 CPUtime=3.12 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14810/stat : 14810 (java) S 14796 14799 8659 0 -1 1077944384 9913 0 0 0 287 25 0 0 20 0 20 0 6300876 13588557824 217558 33554432000 4194304 4196468 140722576147168 140314243614704 140314915154562 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14811] ppid=14796 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14811/stat : 14811 (java) S 14796 14799 8659 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 20 0 6300876 13588557824 217558 33554432000 4194304 4196468 140722576147168 140314242560928 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14812] ppid=14796 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14812/stat : 14812 (java) S 14796 14799 8659 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 20 0 6300876 13588557824 217558 33554432000 4194304 4196468 140722576147168 140314241508336 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14813] ppid=14796 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14813/stat : 14813 (java) S 14796 14799 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6300879 13588557824 217558 33554432000 4194304 4196468 140722576147168 140314240456912 140314915162011 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14814] ppid=14796 vsize=13270076 CPUtime=1.43 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14814/stat : 14814 (java) S 14796 14799 8659 0 -1 1077944384 5908 0 0 0 142 1 0 0 20 0 20 0 6300879 13588557824 217558 33554432000 4194304 4196468 140722576147168 140314239404528 140314915154562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14815] ppid=14796 vsize=13270076 CPUtime=1.39 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14815/stat : 14815 (java) S 14796 14799 8659 0 -1 1077944384 5865 0 0 0 137 2 0 0 20 0 20 0 6300879 13588557824 217558 33554432000 4194304 4196468 140722576147168 140314238351984 140314915154562 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14816] ppid=14796 vsize=13270076 CPUtime=1.48 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14816/stat : 14816 (java) S 14796 14799 8659 0 -1 1077944384 7658 0 0 0 147 1 0 0 20 0 20 0 6300879 13588557824 217558 33554432000 4194304 4196468 140722576147168 140314237299440 140314915154562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14817] ppid=14796 vsize=13270076 CPUtime=0.88 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14817/stat : 14817 (java) S 14796 14799 8659 0 -1 1077944384 7991 0 0 0 87 1 0 0 20 0 20 0 6300879 13588557824 217558 33554432000 4194304 4196468 140722576147168 140314236246896 140314915154562 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14818] ppid=14796 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14818/stat : 14818 (java) S 14796 14799 8659 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6300879 13588557824 217558 33554432000 4194304 4196468 140722576147168 140314235193568 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14819] ppid=14796 vsize=13270076 CPUtime=1.23 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14819/stat : 14819 (java) S 14796 14799 8659 0 -1 1077944384 1072 0 0 0 61 62 0 0 20 0 20 0 6300879 13588557824 217558 33554432000 4194304 4196468 140722576147168 140314234141104 140314915154562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 49 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 Current children cumulated CPU time (s) 2400.06 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 14799 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2344.5 s] /proc/loadavg: 1.48 1.60 1.56 3/281 15697 /proc/meminfo: memFree=27489644/32770624 swapFree=5876/122620 [pid=14799] ppid=14796 vsize=13270076 CPUtime=2400.06 cores=0,2,4,6,8,10,12,14 /proc/14799/stat : 14799 (java) S 14796 14799 8659 0 -1 1077944320 114241 0 0 0 239659 347 0 0 20 0 20 0 6300873 13588557824 217558 33554432000 4194304 4196468 140722576147168 140722576129712 140314915143415 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 /proc/14799/statm: 3317519 217558 3835 1 0 3305234 0 [pid=14799/tid=14800] ppid=14796 vsize=13270076 CPUtime=2330.69 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14800/stat : 14800 (java) R 14796 14799 8659 0 -1 4202560 44512 0 0 0 233031 38 0 0 20 0 20 0 6300873 13588557824 217558 33554432000 4194304 4196468 140722576147168 140314919381840 140314527258308 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14802] ppid=14796 vsize=13270076 CPUtime=7.53 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14802/stat : 14802 (java) S 14796 14799 8659 0 -1 1077944384 3958 0 0 0 719 34 0 0 20 0 20 0 6300874 13588557824 217558 33554432000 4194304 4196468 140722576147168 140314847279376 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14803] ppid=14796 vsize=13270076 CPUtime=7.46 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14803/stat : 14803 (java) S 14796 14799 8659 0 -1 1077944384 3479 0 0 0 714 32 0 0 20 0 20 0 6300874 13588557824 217558 33554432000 4194304 4196468 140722576147168 140314846226832 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14804] ppid=14796 vsize=13270076 CPUtime=7.38 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14804/stat : 14804 (java) S 14796 14799 8659 0 -1 1077944384 3265 0 0 0 709 29 0 0 20 0 20 0 6300874 13588557824 217558 33554432000 4194304 4196468 140722576147168 140314845174288 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14805] ppid=14796 vsize=13270076 CPUtime=7.55 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14805/stat : 14805 (java) S 14796 14799 8659 0 -1 1077944384 4166 0 0 0 725 30 0 0 20 0 20 0 6300874 13588557824 217558 33554432000 4194304 4196468 140722576147168 140314844121744 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14806] ppid=14796 vsize=13270076 CPUtime=7.58 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14806/stat : 14806 (java) S 14796 14799 8659 0 -1 1077944384 3654 0 0 0 727 31 0 0 20 0 20 0 6300874 13588557824 217558 33554432000 4194304 4196468 140722576147168 140314843069200 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14807] ppid=14796 vsize=13270076 CPUtime=7.38 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14807/stat : 14807 (java) S 14796 14799 8659 0 -1 1077944384 3809 0 0 0 706 32 0 0 20 0 20 0 6300874 13588557824 217558 33554432000 4194304 4196468 140722576147168 140314842016656 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14808] ppid=14796 vsize=13270076 CPUtime=7.37 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14808/stat : 14808 (java) S 14796 14799 8659 0 -1 1077944384 3106 0 0 0 708 29 0 0 20 0 20 0 6300874 13588557824 217558 33554432000 4194304 4196468 140722576147168 140314840964112 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14809] ppid=14796 vsize=13270076 CPUtime=7.44 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14809/stat : 14809 (java) S 14796 14799 8659 0 -1 1077944384 4454 0 0 0 715 29 0 0 20 0 20 0 6300874 13588557824 217558 33554432000 4194304 4196468 140722576147168 140314839911568 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14810] ppid=14796 vsize=13270076 CPUtime=3.12 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14810/stat : 14810 (java) S 14796 14799 8659 0 -1 1077944384 9913 0 0 0 287 25 0 0 20 0 20 0 6300876 13588557824 217558 33554432000 4194304 4196468 140722576147168 140314243614704 140314915154562 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14811] ppid=14796 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14811/stat : 14811 (java) S 14796 14799 8659 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 20 0 6300876 13588557824 217558 33554432000 4194304 4196468 140722576147168 140314242560928 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14812] ppid=14796 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14812/stat : 14812 (java) S 14796 14799 8659 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 20 0 6300876 13588557824 217558 33554432000 4194304 4196468 140722576147168 140314241508336 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14813] ppid=14796 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14813/stat : 14813 (java) S 14796 14799 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6300879 13588557824 217558 33554432000 4194304 4196468 140722576147168 140314240456912 140314915162011 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14814] ppid=14796 vsize=13270076 CPUtime=1.43 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14814/stat : 14814 (java) S 14796 14799 8659 0 -1 1077944384 5908 0 0 0 142 1 0 0 20 0 20 0 6300879 13588557824 217558 33554432000 4194304 4196468 140722576147168 140314239404528 140314915154562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14815] ppid=14796 vsize=13270076 CPUtime=1.39 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14815/stat : 14815 (java) S 14796 14799 8659 0 -1 1077944384 5865 0 0 0 137 2 0 0 20 0 20 0 6300879 13588557824 217558 33554432000 4194304 4196468 140722576147168 140314238351984 140314915154562 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14816] ppid=14796 vsize=13270076 CPUtime=1.48 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14816/stat : 14816 (java) S 14796 14799 8659 0 -1 1077944384 7658 0 0 0 147 1 0 0 20 0 20 0 6300879 13588557824 217558 33554432000 4194304 4196468 140722576147168 140314237299440 140314915154562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14817] ppid=14796 vsize=13270076 CPUtime=0.88 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14817/stat : 14817 (java) S 14796 14799 8659 0 -1 1077944384 7991 0 0 0 87 1 0 0 20 0 20 0 6300879 13588557824 217558 33554432000 4194304 4196468 140722576147168 140314236246896 140314915154562 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14818] ppid=14796 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14818/stat : 14818 (java) S 14796 14799 8659 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6300879 13588557824 217558 33554432000 4194304 4196468 140722576147168 140314235193568 140314915153621 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 [pid=14799/tid=14819] ppid=14796 vsize=13270076 CPUtime=1.23 cores=0,2,4,6,8,10,12,14 /proc/14799/task/14819/stat : 14819 (java) S 14796 14799 8659 0 -1 1077944384 1072 0 0 0 61 62 0 0 20 0 20 0 6300879 13588557824 217558 33554432000 4194304 4196468 140722576147168 140314234141104 140314915154562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 49 0 0 6293624 6294260 17543168 140722576155787 140722576155972 140722576155972 140722576158671 0 Current children cumulated CPU time (s) 2400.06 Current children cumulated vsize (KiB) 13270076 Child status: 143 Real time (s): 2344.54 CPU time (s): 2400.15 CPU user time (s): 2396.67 CPU system time (s): 3.48576 CPU usage (%): 102.372 Max. virtual memory (cumulated for all children) (KiB): 13270076 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2396.67 system time used= 3.48576 maximum resident set size= 1188380 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 114712 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2616 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 191368 involuntary context switches= 158287 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 16.5148 second user time and 19.7149 second system time The end
Begin job on node121 at 2017-07-22 09:58:45 IDJOB=4246355 IDBENCH=124439 IDSOLVER=2628 FILE ID=node121/4246355-1500710325 RUNJOBID= node121-1500683185-8690 PBS_JOBID= 20623335 Free space on /tmp= 61944 MiB SOLVER NAME= OscaR - Conflict Ordering 2017-06-30 BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-B-n68-k9.xml COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4246355-1500710325/watcher-4246355-1500710325 -o /tmp/evaluation-result-4246355-1500710325/solver-4246355-1500710325 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node121-1500683185-8690 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 94253983 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4246355-1500710325.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= d46243a0c717d56f47be278be902a17a RANDOM SEED=94253983 node121.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 : 2667.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 : 5334.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 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 : 5334.00 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 : 2133.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 : 5334.00 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 : 2667.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 : 1600.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 : 5334.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2533.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 : 5334.00 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2267.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 : 5334.00 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: 31623480 kB MemAvailable: 31769372 kB Buffers: 137848 kB Cached: 282592 kB SwapCached: 0 kB Active: 519024 kB Inactive: 178272 kB Active(anon): 227868 kB Inactive(anon): 60516 kB Active(file): 291156 kB Inactive(file): 117756 kB Unevictable: 5876 kB Mlocked: 5876 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 41848 kB Writeback: 0 kB AnonPages: 282104 kB Mapped: 45052 kB Shmem: 8840 kB Slab: 138928 kB SReclaimable: 105628 kB SUnreclaim: 33300 kB KernelStack: 4400 kB PageTables: 5996 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1178276 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 194560 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 61872 MiB End job on node121 at 2017-07-22 10:37:50