Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
R1: OscaR - Conflict Ordering 2017-06-30 | SAT (TO) | 4041 | 2400.11 | 2339.24 |
Name | Vrp/Vrp-zinc-s1/ Vrp-B-n78-k10.xml |
MD5SUM | 7c96a44e638c86f7d39463bcb8517eb1 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 1282 |
Best CPU time to get the best result obtained on this benchmark | 2400.05 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 6162 |
Number of constraints | 6083 |
Number of domains | 3 |
Minimum domain size | 1 |
Maximum domain size | 101 |
Distribution of domain sizes | [{"size":1,"count":78},{"size":2,"count":6006},{"size":101,"count":77}] |
Minimum variable degree | 0 |
Maximum variable degree | 153 |
Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":78},{"degree":2,"count":154},{"degree":4,"count":5852},{"degree":153,"count":77}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 77 |
Distribution of constraint arities | [{"arity":1,"count":77},{"arity":3,"count":5852},{"arity":77,"count":154}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 77 |
Distribution of constraint types | [{"type":"intension","count":77},{"type":"sum","count":5852},{"type":"count","count":154}] |
Optimization problem | YES |
Type of objective | min SUM |
0.27/0.26 c version: 2017-06-30 0.27/0.26 c seed: 1276899003 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... 5.48/1.63 c Parsing done, starting search... 6.30/1.83 o 4547 6.30/1.86 o 4540 6.72/1.90 o 4529 6.72/1.92 o 4508 6.72/1.95 o 4478 7.06/2.01 o 4471 7.06/2.09 o 4470 7.44/2.13 o 4463 7.44/2.17 o 4461 7.44/2.20 o 4422 7.80/2.22 o 4411 7.80/2.23 o 4409 7.97/2.35 o 4405 8.42/2.52 o 4397 8.74/2.77 o 4380 8.74/2.79 o 4359 9.06/3.05 o 4352 9.31/3.25 o 4344 9.31/3.27 o 4343 13.18/6.77 o 4340 13.18/6.78 o 4336 15.08/8.66 o 4312 15.08/8.67 o 4308 15.19/8.76 o 4304 15.19/8.78 o 4303 15.19/8.79 o 4301 16.49/9.86 o 4289 16.60/9.92 o 4273 16.60/9.93 o 4265 17.09/10.44 o 4259 17.09/10.45 o 4253 18.82/12.16 o 4252 18.92/12.22 o 4251 19.22/12.50 o 4249 20.72/14.05 o 4247 20.72/14.06 o 4243 21.05/14.33 o 4241 23.27/16.33 o 4237 23.27/16.34 o 4232 23.37/16.41 o 4229 43.50/36.15 o 4228 54.20/46.83 o 4217 54.20/46.84 o 4215 54.30/46.92 o 4212 55.24/47.81 o 4200 55.24/47.82 o 4197 55.24/47.83 o 4192 55.44/48.00 o 4191 55.44/48.06 o 4188 55.84/48.41 o 4187 56.54/49.17 o 4184 56.54/49.18 o 4171 71.47/64.09 o 4169 71.57/64.11 o 4166 71.57/64.12 o 4154 77.27/69.89 o 4148 77.37/69.90 o 4136 78.32/70.85 o 4131 78.81/71.35 o 4119 310.52/302.12 o 4118 629.68/614.13 o 4114 978.57/953.76 o 4112 999.00/973.54 o 4105 1264.72/1232.40 o 4092 1264.72/1232.41 o 4077 1264.72/1232.42 o 4075 1341.31/1306.94 o 4057 1442.48/1405.54 o 4051 1442.58/1405.64 o 4045 1443.11/1406.15 o 4041 2400.02/2339.20 s SATISFIABLE 2400.02/2339.21 v <instantiation> 2400.02/2339.21 v <list> 2400.02/2339.21 v x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[0][50] x[0][51] x[0][52] x[0][53] x[0][54] x[0][55] x[0][56] x[0][57] x[0][58] x[0][59] x[0][60] x[0][61] x[0][62] x[0][63] x[0][64] x[0][65] x[0][66] x[0][67] x[0][68] x[0][69] x[0][70] x[0][71] x[0][72] x[0][73] x[0][74] x[0][75] x[0][76] x[0][77] 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[1][68] x[1][69] x[1][70] x[1][71] x[1][72] x[1][73] x[1][74] x[1][75] x[1][76] x[1][77] 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[2][68] x[2][69] x[2][70] x[2][71] x[2][72] x[2][73] x[2][74] x[2][75] x[2][76] x[2][77] 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[3][68] x[3][69] x[3][70] x[3][71] x[3][72] x[3][73] x[3][74] x[3][75] x[3][76] x[3][77] 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[4][68] x[4][69] x[4][70] x[4][71] x[4][72] x[4][73] x[4][74] x[4][75] x[4][76] x[4][77] 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[5][68] x[5][69] x[5][70] x[5][71] x[5][72] x[5][73] x[5][74] x[5][75] x[5][76] x[5][77] 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[6][68] x[6][69] x[6][70] x[6][71] x[6][72] x[6][73] x[6][74] x[6][75] x[6][76] x[6][77] 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[7][68] x[7][69] x[7][70] x[7][71] x[7][72] x[7][73] x[7][74] x[7][75] x[7][76] x[7][77] 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[8][68] x[8][69] x[8][70] x[8][71] x[8][72] x[8][73] x[8][74] x[8][75] x[8][76] x[8][77] 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[9][68] x[9][69] x[9][70] x[9][71] x[9][72] x[9][73] x[9][74] x[9][75] x[9][76] x[9][77] 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[10][68] x[10][69] x[10][70] x[10][71] x[10][72] x[10][73] x[10][74] x[10][75] x[10][76] x[10][77] 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[11][68] x[11][69] x[11][70] x[11][71] x[11][72] x[11][73] x[11][74] x[11][75] x[11][76] x[11][77] 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[12][68] x[12][69] x[12][70] x[12][71] x[12][72] x[12][73] x[12][74] x[12][75] x[12][76] x[12][77] 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[13][68] x[13][69] x[13][70] x[13][71] x[13][72] x[13][73] x[13][74] x[13][75] x[13][76] x[13][77] 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[14][68] x[14][69] x[14][70] x[14][71] x[14][72] x[14][73] x[14][74] x[14][75] x[14][76] x[14][77] 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[15][68] x[15][69] x[15][70] x[15][71] x[15][72] x[15][73] x[15][74] x[15][75] x[15][76] x[15][77] 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[16][68] x[16][69] x[16][70] x[16][71] x[16][72] x[16][73] x[16][74] x[16][75] x[16][76] x[16][77] 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[17][68] x[17][69] x[17][70] x[17][71] x[17][72] x[17][73] x[17][74] x[17][75] x[17][76] x[17][77] 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[18][68] x[18][69] x[18][70] x[18][71] x[18][72] x[18][73] x[18][74] x[18][75] x[18][76] x[18][77] 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[19][68] x[19][69] x[19][70] x[19][71] x[19][72] x[19][73] x[19][74] x[19][75] x[19][76] x[19][77] 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[20][68] x[20][69] x[20][70] x[20][71] x[20][72] x[20][73] x[20][74] x[20][75] x[20][76] x[20][77] 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[21][68] x[21][69] x[21][70] x[21][71] x[21][72] x[21][73] x[21][74] x[21][75] x[21][76] x[21][77] 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[22][68] x[22][69] x[22][70] x[22][71] x[22][72] x[22][73] x[22][74] x[22][75] x[22][76] x[22][77] 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[23][68] x[23][69] x[23][70] x[23][71] x[23][72] x[23][73] x[23][74] x[23][75] x[23][76] x[23][77] 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[24][68] x[24][69] x[24][70] x[24][71] x[24][72] x[24][73] x[24][74] x[24][75] x[24][76] x[24][77] 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[25][68] x[25][69] x[25][70] x[25][71] x[25][72] x[25][73] x[25][74] x[25][75] x[25][76] x[25][77] 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[26][68] x[26][69] x[26][70] x[26][71] x[26][72] x[26][73] x[26][74] x[26][75] x[26][76] x[26][77] 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[27][68] x[27][69] x[27][70] x[27][71] x[27][72] x[27][73] x[27][74] x[27][75] x[27][76] x[27][77] 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[28][68] x[28][69] x[28][70] x[28][71] x[28][72] x[28][73] x[28][74] x[28][75] x[28][76] x[28][77] 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[29][68] x[29][69] x[29][70] x[29][71] x[29][72] x[29][73] x[29][74] x[29][75] x[29][76] x[29][77] 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[30][68] x[30][69] x[30][70] x[30][71] x[30][72] x[30][73] x[30][74] x[30][75] x[30][76] x[30][77] 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[31][68] x[31][69] x[31][70] x[31][71] x[31][72] x[31][73] x[31][74] x[31][75] x[31][76] x[31][77] 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[32][68] x[32][69] x[32][70] x[32][71] x[32][72] x[32][73] x[32][74] x[32][75] x[32][76] x[32][77] 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[33][68] x[33][69] x[33][70] x[33][71] x[33][72] x[33][73] x[33][74] x[33][75] x[33][76] x[33][77] 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[34][68] x[34][69] x[34][70] x[34][71] x[34][72] x[34][73] x[34][74] x[34][75] x[34][76] x[34][77] 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[35][68] x[35][69] x[35][70] x[35][71] x[35][72] x[35][73] x[35][74] x[35][75] x[35][76] x[35][77] 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[36][68] x[36][69] x[36][70] x[36][71] x[36][72] x[36][73] x[36][74] x[36][75] x[36][76] x[36][77] 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[37][68] x[37][69] x[37][70] x[37][71] x[37][72] x[37][73] x[37][74] x[37][75] x[37][76] x[37][77] 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[38][68] x[38][69] x[38][70] x[38][71] x[38][72] x[38][73] x[38][74] x[38][75] x[38][76] x[38][77] 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[39][68] x[39][69] x[39][70] x[39][71] x[39][72] x[39][73] x[39][74] x[39][75] x[39][76] x[39][77] 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[40][68] x[40][69] x[40][70] x[40][71] x[40][72] x[40][73] x[40][74] x[40][75] x[40][76] x[40][77] 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[41][68] x[41][69] x[41][70] x[41][71] x[41][72] x[41][73] x[41][74] x[41][75] x[41][76] x[41][77] 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[42][68] x[42][69] x[42][70] x[42][71] x[42][72] x[42][73] x[42][74] x[42][75] x[42][76] x[42][77] 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[43][68] x[43][69] x[43][70] x[43][71] x[43][72] x[43][73] x[43][74] x[43][75] x[43][76] x[43][77] 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[44][68] x[44][69] x[44][70] x[44][71] x[44][72] x[44][73] x[44][74] x[44][75] x[44][76] x[44][77] 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[45][68] x[45][69] x[45][70] x[45][71] x[45][72] x[45][73] x[45][74] x[45][75] x[45][76] x[45][77] 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[46][68] x[46][69] x[46][70] x[46][71] x[46][72] x[46][73] x[46][74] x[46][75] x[46][76] x[46][77] 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[47][68] x[47][69] x[47][70] x[47][71] x[47][72] x[47][73] x[47][74] x[47][75] x[47][76] x[47][77] 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[48][68] x[48][69] x[48][70] x[48][71] x[48][72] x[48][73] x[48][74] x[48][75] x[48][76] x[48][77] 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[49][68] x[49][69] x[49][70] x[49][71] x[49][72] x[49][73] x[49][74] x[49][75] x[49][76] x[49][77] 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[50][68] x[50][69] x[50][70] x[50][71] x[50][72] x[50][73] x[50][74] x[50][75] x[50][76] x[50][77] 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[51][68] x[51][69] x[51][70] x[51][71] x[51][72] x[51][73] x[51][74] x[51][75] x[51][76] x[51][77] 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[52][68] x[52][69] x[52][70] x[52][71] x[52][72] x[52][73] x[52][74] x[52][75] x[52][76] x[52][77] 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[53][68] x[53][69] x[53][70] x[53][71] x[53][72] x[53][73] x[53][74] x[53][75] x[53][76] x[53][77] 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[54][68] x[54][69] x[54][70] x[54][71] x[54][72] x[54][73] x[54][74] x[54][75] x[54][76] x[54][77] 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[55][68] x[55][69] x[55][70] x[55][71] x[55][72] x[55][73] x[55][74] x[55][75] x[55][76] x[55][77] 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[56][68] x[56][69] x[56][70] x[56][71] x[56][72] x[56][73] x[56][74] x[56][75] x[56][76] x[56][77] 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[57][68] x[57][69] x[57][70] x[57][71] x[57][72] x[57][73] x[57][74] x[57][75] x[57][76] x[57][77] 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[58][68] x[58][69] x[58][70] x[58][71] x[58][72] x[58][73] x[58][74] x[58][75] x[58][76] x[58][77] 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[59][68] x[59][69] x[59][70] x[59][71] x[59][72] x[59][73] x[59][74] x[59][75] x[59][76] x[59][77] 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[60][68] x[60][69] x[60][70] x[60][71] x[60][72] x[60][73] x[60][74] x[60][75] x[60][76] x[60][77] 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[61][68] x[61][69] x[61][70] x[61][71] x[61][72] x[61][73] x[61][74] x[61][75] x[61][76] x[61][77] 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[62][68] x[62][69] x[62][70] x[62][71] x[62][72] x[62][73] x[62][74] x[62][75] x[62][76] x[62][77] 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[63][68] x[63][69] x[63][70] x[63][71] x[63][72] x[63][73] x[63][74] x[63][75] x[63][76] x[63][77] 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[64][68] x[64][69] x[64][70] x[64][71] x[64][72] x[64][73] x[64][74] x[64][75] x[64][76] x[64][77] 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[65][68] x[65][69] x[65][70] x[65][71] x[65][72] x[65][73] x[65][74] x[65][75] x[65][76] x[65][77] 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[66][68] x[66][69] x[66][70] x[66][71] x[66][72] x[66][73] x[66][74] x[66][75] x[66][76] x[66][77] 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] x[67][68] x[67][69] x[67][70] x[67][71] x[67][72] x[67][73] x[67][74] x[67][75] x[67][76] x[67][77] x[68][0] x[68][1] x[68][2] x[68][3] x[68][4] x[68][5] x[68][6] x[68][7] x[68][8] x[68][9] x[68][10] x[68][11] x[68][12] x[68][13] x[68][14] x[68][15] x[68][16] x[68][17] x[68][18] x[68][19] x[68][20] x[68][21] x[68][22] x[68][23] x[68][24] x[68][25] x[68][26] x[68][27] x[68][28] x[68][29] x[68][30] x[68][31] x[68][32] x[68][33] x[68][34] x[68][35] x[68][36] x[68][37] x[68][38] x[68][39] x[68][40] x[68][41] x[68][42] x[68][43] x[68][44] x[68][45] x[68][46] x[68][47] x[68][48] x[68][49] x[68][50] x[68][51] x[68][52] x[68][53] x[68][54] x[68][55] x[68][56] x[68][57] x[68][58] x[68][59] x[68][60] x[68][61] x[68][62] x[68][63] x[68][64] x[68][65] x[68][66] x[68][67] x[68][68] x[68][69] x[68][70] x[68][71] x[68][72] x[68][73] x[68][74] x[68][75] x[68][76] x[68][77] x[69][0] x[69][1] x[69][2] x[69][3] x[69][4] x[69][5] x[69][6] x[69][7] x[69][8] x[69][9] x[69][10] x[69][11] x[69][12] x[69][13] x[69][14] x[69][15] x[69][16] x[69][17] x[69][18] x[69][19] x[69][20] x[69][21] x[69][22] x[69][23] x[69][24] x[69][25] x[69][26] x[69][27] x[69][28] x[69][29] x[69][30] x[69][31] x[69][32] x[69][33] x[69][34] x[69][35] x[69][36] x[69][37] x[69][38] x[69][39] x[69][40] x[69][41] x[69][42] x[69][43] x[69][44] x[69][45] x[69][46] x[69][47] x[69][48] x[69][49] x[69][50] x[69][51] x[69][52] x[69][53] x[69][54] x[69][55] x[69][56] x[69][57] x[69][58] x[69][59] x[69][60] x[69][61] x[69][62] x[69][63] x[69][64] x[69][65] x[69][66] x[69][67] x[69][68] x[69][69] x[69][70] x[69][71] x[69][72] x[69][73] x[69][74] x[69][75] x[69][76] x[69][77] x[70][0] x[70][1] x[70][2] x[70][3] x[70][4] x[70][5] x[70][6] x[70][7] x[70][8] x[70][9] x[70][10] x[70][11] x[70][12] x[70][13] x[70][14] x[70][15] x[70][16] x[70][17] x[70][18] x[70][19] x[70][20] x[70][21] x[70][22] x[70][23] x[70][24] x[70][25] x[70][26] x[70][27] x[70][28] x[70][29] x[70][30] x[70][31] x[70][32] x[70][33] x[70][34] x[70][35] x[70][36] x[70][37] x[70][38] x[70][39] x[70][40] x[70][41] x[70][42] x[70][43] x[70][44] x[70][45] x[70][46] x[70][47] x[70][48] x[70][49] x[70][50] x[70][51] x[70][52] x[70][53] x[70][54] x[70][55] x[70][56] x[70][57] x[70][58] x[70][59] x[70][60] x[70][61] x[70][62] x[70][63] x[70][64] x[70][65] x[70][66] x[70][67] x[70][68] x[70][69] x[70][70] x[70][71] x[70][72] x[70][73] x[70][74] x[70][75] x[70][76] x[70][77] x[71][0] x[71][1] x[71][2] x[71][3] x[71][4] x[71][5] x[71][6] x[71][7] x[71][8] x[71][9] x[71][10] x[71][11] x[71][12] x[71][13] x[71][14] x[71][15] x[71][16] x[71][17] x[71][18] x[71][19] x[71][20] x[71][21] x[71][22] x[71][23] x[71][24] x[71][25] x[71][26] x[71][27] x[71][28] x[71][29] x[71][30] x[71][31] x[71][32] x[71][33] x[71][34] x[71][35] x[71][36] x[71][37] x[71][38] x[71][39] x[71][40] x[71][41] x[71][42] x[71][43] x[71][44] x[71][45] x[71][46] x[71][47] x[71][48] x[71][49] x[71][50] x[71][51] x[71][52] x[71][53] x[71][54] x[71][55] x[71][56] x[71][57] x[71][58] x[71][59] x[71][60] x[71][61] x[71][62] x[71][63] x[71][64] x[71][65] x[71][66] x[71][67] x[71][68] x[71][69] x[71][70] x[71][71] x[71][72] x[71][73] x[71][74] x[71][75] x[71][76] x[71][77] x[72][0] x[72][1] x[72][2] x[72][3] x[72][4] x[72][5] x[72][6] x[72][7] x[72][8] x[72][9] x[72][10] x[72][11] x[72][12] x[72][13] x[72][14] x[72][15] x[72][16] x[72][17] x[72][18] x[72][19] x[72][20] x[72][21] x[72][22] x[72][23] x[72][24] x[72][25] x[72][26] x[72][27] x[72][28] x[72][29] x[72][30] x[72][31] x[72][32] x[72][33] x[72][34] x[72][35] x[72][36] x[72][37] x[72][38] x[72][39] x[72][40] x[72][41] x[72][42] x[72][43] x[72][44] x[72][45] x[72][46] x[72][47] x[72][48] x[72][49] x[72][50] x[72][51] x[72][52] x[72][53] x[72][54] x[72][55] x[72][56] x[72][57] x[72][58] x[72][59] x[72][60] x[72][61] x[72][62] x[72][63] x[72][64] x[72][65] x[72][66] x[72][67] x[72][68] x[72][69] x[72][70] x[72][71] x[72][72] x[72][73] x[72][74] x[72][75] x[72][76] x[72][77] x[73][0] x[73][1] x[73][2] x[73][3] x[73][4] x[73][5] x[73][6] x[73][7] x[73][8] x[73][9] x[73][10] x[73][11] x[73][12] x[73][13] x[73][14] x[73][15] x[73][16] x[73][17] x[73][18] x[73][19] x[73][20] x[73][21] x[73][22] x[73][23] x[73][24] x[73][25] x[73][26] x[73][27] x[73][28] x[73][29] x[73][30] x[73][31] x[73][32] x[73][33] x[73][34] x[73][35] x[73][36] x[73][37] x[73][38] x[73][39] x[73][40] x[73][41] x[73][42] x[73][43] x[73][44] x[73][45] x[73][46] x[73][47] x[73][48] x[73][49] x[73][50] x[73][51] x[73][52] x[73][53] x[73][54] x[73][55] x[73][56] x[73][57] x[73][58] x[73][59] x[73][60] x[73][61] x[73][62] x[73][63] x[73][64] x[73][65] x[73][66] x[73][67] x[73][68] x[73][69] x[73][70] x[73][71] x[73][72] x[73][73] x[73][74] x[73][75] x[73][76] x[73][77] x[74][0] x[74][1] x[74][2] x[74][3] x[74][4] x[74][5] x[74][6] x[74][7] x[74][8] x[74][9] x[74][10] x[74][11] x[74][12] x[74][13] x[74][14] x[74][15] x[74][16] x[74][17] x[74][18] x[74][19] x[74][20] x[74][21] x[74][22] x[74][23] x[74][24] x[74][25] x[74][26] x[74][27] x[74][28] x[74][29] x[74][30] x[74][31] x[74][32] x[74][33] x[74][34] x[74][35] x[74][36] x[74][37] x[74][38] x[74][39] x[74][40] x[74][41] x[74][42] x[74][43] x[74][44] x[74][45] x[74][46] x[74][47] x[74][48] x[74][49] x[74][50] x[74][51] x[74][52] x[74][53] x[74][54] x[74][55] x[74][56] x[74][57] x[74][58] x[74][59] x[74][60] x[74][61] x[74][62] x[74][63] x[74][64] x[74][65] x[74][66] x[74][67] x[74][68] x[74][69] x[74][70] x[74][71] x[74][72] x[74][73] x[74][74] x[74][75] x[74][76] x[74][77] x[75][0] x[75][1] x[75][2] x[75][3] x[75][4] x[75][5] x[75][6] x[75][7] x[75][8] x[75][9] x[75][10] x[75][11] x[75][12] x[75][13] x[75][14] x[75][15] x[75][16] x[75][17] x[75][18] x[75][19] x[75][20] x[75][21] x[75][22] x[75][23] x[75][24] x[75][25] x[75][26] x[75][27] x[75][28] x[75][29] x[75][30] x[75][31] x[75][32] x[75][33] x[75][34] x[75][35] x[75][36] x[75][37] x[75][38] x[75][39] x[75][40] x[75][41] x[75][42] x[75][43] x[75][44] x[75][45] x[75][46] x[75][47] x[75][48] x[75][49] x[75][50] x[75][51] x[75][52] x[75][53] x[75][54] x[75][55] x[75][56] x[75][57] x[75][58] x[75][59] x[75][60] x[75][61] x[75][62] x[75][63] x[75][64] x[75][65] x[75][66] x[75][67] x[75][68] x[75][69] x[75][70] x[75][71] x[75][72] x[75][73] x[75][74] x[75][75] x[75][76] x[75][77] x[76][0] x[76][1] x[76][2] x[76][3] x[76][4] x[76][5] x[76][6] x[76][7] x[76][8] x[76][9] x[76][10] x[76][11] x[76][12] x[76][13] x[76][14] x[76][15] x[76][16] x[76][17] x[76][18] x[76][19] x[76][20] x[76][21] x[76][22] x[76][23] x[76][24] x[76][25] x[76][26] x[76][27] x[76][28] x[76][29] x[76][30] x[76][31] x[76][32] x[76][33] x[76][34] x[76][35] x[76][36] x[76][37] x[76][38] x[76][39] x[76][40] x[76][41] x[76][42] x[76][43] x[76][44] x[76][45] x[76][46] x[76][47] x[76][48] x[76][49] x[76][50] x[76][51] x[76][52] x[76][53] x[76][54] x[76][55] x[76][56] x[76][57] x[76][58] x[76][59] x[76][60] x[76][61] x[76][62] x[76][63] x[76][64] x[76][65] x[76][66] x[76][67] x[76][68] x[76][69] x[76][70] x[76][71] x[76][72] x[76][73] x[76][74] x[76][75] x[76][76] x[76][77] x[77][0] x[77][1] x[77][2] x[77][3] x[77][4] x[77][5] x[77][6] x[77][7] x[77][8] x[77][9] x[77][10] x[77][11] x[77][12] x[77][13] x[77][14] x[77][15] x[77][16] x[77][17] x[77][18] x[77][19] x[77][20] x[77][21] x[77][22] x[77][23] x[77][24] x[77][25] x[77][26] x[77][27] x[77][28] x[77][29] x[77][30] x[77][31] x[77][32] x[77][33] x[77][34] x[77][35] x[77][36] x[77][37] x[77][38] x[77][39] x[77][40] x[77][41] x[77][42] x[77][43] x[77][44] x[77][45] x[77][46] x[77][47] x[77][48] x[77][49] x[77][50] x[77][51] x[77][52] x[77][53] x[77][54] x[77][55] x[77][56] x[77][57] x[77][58] x[77][59] x[77][60] x[77][61] x[77][62] x[77][63] x[77][64] x[77][65] x[77][66] x[77][67] x[77][68] x[77][69] x[77][70] x[77][71] x[77][72] x[77][73] x[77][74] x[77][75] x[77][76] x[77][77] 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] u[68] u[69] u[70] u[71] u[72] u[73] u[74] u[75] u[76] u[77] 2400.02/2339.22 v </list> 2400.02/2339.22 v <values> 2400.02/2339.22 v 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 14 100 17 82 76 99 57 98 34 100 43 96 70 50 100 20 82 44 40 24 24 60 41 8 33 100 30 51 41 28 25 68 18 82 60 7 62 100 86 100 81 57 46 86 66 35 53 31 12 75 26 45 62 48 65 98 62 31 79 95 10 89 22 67 95 51 89 78 62 37 5 43 40 52 37 83 100 2400.02/2339.22 v </values> 2400.02/2339.22 v </instantiation>
OK 4041
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-4246376-1500710789/watcher-4246376-1500710789 -o /tmp/evaluation-result-4246376-1500710789/solver-4246376-1500710789 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node117-1500682496-8517 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1276899003 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4246376-1500710789.xml pid=12919 running on 8 cores: 1,3,5,7,9,11,13,15 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.86 1.68 1.57 3/261 12922 /proc/meminfo: memFree=31079000/32770624 swapFree=5828/286332 [pid=12922] ppid=12919 vsize=361196 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/12922/stat : 12922 (java) S 12919 12922 8485 0 -1 1077944320 1718 0 0 0 0 0 0 0 20 0 2 0 6347577 369864704 1925 33554432000 4194304 4196468 140732673691888 140732673674432 140488229347063 0 0 0 16784584 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 /proc/12922/statm: 90299 1925 1072 1 0 79210 0 [pid=12922/tid=12923] ppid=12919 vsize=361196 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12923/stat : 12923 (java) S 12919 12922 8485 0 -1 1077944384 401 0 0 0 0 0 0 0 20 0 2 0 6347578 369864704 1925 33554432000 4194304 4196468 140732673691888 140488233589152 140488229358210 0 4 0 16784584 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [startup+0.100126 s] /proc/loadavg: 1.86 1.68 1.57 3/261 12922 /proc/meminfo: memFree=31079000/32770624 swapFree=5828/286332 [pid=12922] ppid=12919 vsize=13263912 CPUtime=0.1 cores=1,3,5,7,9,11,13,15 /proc/12922/stat : 12922 (java) S 12919 12922 8485 0 -1 1077944320 6821 0 0 0 10 0 0 0 20 0 20 0 6347577 13582245888 7078 33554432000 4194304 4196468 140732673691888 140732673674432 140488229347063 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 /proc/12922/statm: 3315978 7078 3395 1 0 3303698 0 [pid=12922/tid=12923] ppid=12919 vsize=13263912 CPUtime=0.08 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12923/stat : 12923 (java) R 12919 12922 8485 0 -1 4202560 4833 0 0 0 8 0 0 0 20 0 20 0 6347578 13582245888 7078 33554432000 4194304 4196468 140732673691888 140488233559232 140488213427580 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 13263912 [startup+0.20029 s] /proc/loadavg: 1.86 1.68 1.57 3/261 12922 /proc/meminfo: memFree=31079000/32770624 swapFree=5828/286332 [pid=12922] ppid=12919 vsize=13263912 CPUtime=0.27 cores=1,3,5,7,9,11,13,15 /proc/12922/stat : 12922 (java) S 12919 12922 8485 0 -1 1077944320 9206 0 0 0 25 2 0 0 20 0 20 0 6347577 13582245888 9608 33554432000 4194304 4196468 140732673691888 140732673674432 140488229347063 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 /proc/12922/statm: 3315978 9608 3563 1 0 3303698 0 [pid=12922/tid=12923] ppid=12919 vsize=13263912 CPUtime=0.17 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12923/stat : 12923 (java) R 12919 12922 8485 0 -1 4202560 6805 0 0 0 16 1 0 0 20 0 20 0 6347578 13582245888 9608 33554432000 4194304 4196468 140732673691888 140488233559792 140488229368989 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 13263912 [startup+0.30036 s] /proc/loadavg: 1.86 1.68 1.57 3/261 12922 /proc/meminfo: memFree=31079000/32770624 swapFree=5828/286332 [pid=12922] ppid=12919 vsize=13263932 CPUtime=0.47 cores=1,3,5,7,9,11,13,15 /proc/12922/stat : 12922 (java) S 12919 12922 8485 0 -1 1077944320 10500 0 0 0 45 2 0 0 20 0 20 0 6347577 13582266368 12161 33554432000 4194304 4196468 140732673691888 140732673674432 140488229347063 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 /proc/12922/statm: 3315983 12161 3714 1 0 3303698 0 [pid=12922/tid=12923] ppid=12919 vsize=13263932 CPUtime=0.28 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12923/stat : 12923 (java) R 12919 12922 8485 0 -1 4202560 7522 0 0 0 26 2 0 0 20 0 20 0 6347578 13582266368 12161 33554432000 4194304 4196468 140732673691888 140488233560096 140488229368989 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 Current children cumulated CPU time (s) 0.47 Current children cumulated vsize (KiB) 13263932 [startup+0.700258 s] /proc/loadavg: 1.86 1.68 1.57 3/261 12922 /proc/meminfo: memFree=31079000/32770624 swapFree=5828/286332 [pid=12922] ppid=12919 vsize=13265980 CPUtime=1.73 cores=1,3,5,7,9,11,13,15 /proc/12922/stat : 12922 (java) S 12919 12922 8485 0 -1 1077944320 13841 0 0 0 169 4 0 0 20 0 20 0 6347577 13584363520 24706 33554432000 4194304 4196468 140732673691888 140732673674432 140488229347063 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 /proc/12922/statm: 3316495 24706 3779 1 0 3304210 0 [pid=12922/tid=12923] ppid=12919 vsize=13265980 CPUtime=0.67 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12923/stat : 12923 (java) R 12919 12922 8485 0 -1 4202560 8449 0 0 0 64 3 0 0 20 0 20 0 6347578 13584363520 24706 33554432000 4194304 4196468 140732673691888 140488233579880 140487863602823 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 Current children cumulated CPU time (s) 1.73 Current children cumulated vsize (KiB) 13265980 [startup+1.50109 s] /proc/loadavg: 1.86 1.68 1.57 6/281 12942 /proc/meminfo: memFree=30935476/32770624 swapFree=5828/286332 [pid=12922] ppid=12919 vsize=13268028 CPUtime=5 cores=1,3,5,7,9,11,13,15 /proc/12922/stat : 12922 (java) S 12919 12922 8485 0 -1 1077944320 24300 0 0 0 486 14 0 0 20 0 20 0 6347577 13586460672 55662 33554432000 4194304 4196468 140732673691888 140732673674432 140488229347063 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 /proc/12922/statm: 3317007 55662 3813 1 0 3304722 0 [pid=12922/tid=12923] ppid=12919 vsize=13268028 CPUtime=1.44 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12923/stat : 12923 (java) R 12919 12922 8485 0 -1 4202560 10824 0 0 0 139 5 0 0 20 0 20 0 6347578 13586460672 55662 33554432000 4194304 4196468 140732673691888 140488233584840 140487866451928 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12925] ppid=12919 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12925/stat : 12925 (java) S 12919 12922 8485 0 -1 1077944384 56 0 0 0 1 0 0 0 20 0 20 0 6347578 13586460672 55662 33554432000 4194304 4196468 140732673691888 140488181967760 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12926] ppid=12919 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12926/stat : 12926 (java) S 12919 12922 8485 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 6347578 13586460672 55662 33554432000 4194304 4196468 140732673691888 140488180914960 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12927] ppid=12919 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12927/stat : 12927 (java) S 12919 12922 8485 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 6347578 13586460672 55662 33554432000 4194304 4196468 140732673691888 140487826013328 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12928] ppid=12919 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12928/stat : 12928 (java) S 12919 12922 8485 0 -1 1077944384 18 0 0 0 1 0 0 0 20 0 20 0 6347578 13586460672 55662 33554432000 4194304 4196468 140732673691888 140487824960528 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12929] ppid=12919 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12929/stat : 12929 (java) S 12919 12922 8485 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 20 0 6347578 13586460672 55662 33554432000 4194304 4196468 140732673691888 140487823907216 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12930] ppid=12919 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12930/stat : 12930 (java) S 12919 12922 8485 0 -1 1077944384 32 0 0 0 0 1 0 0 20 0 20 0 6347578 13586460672 55662 33554432000 4194304 4196468 140732673691888 140487822854416 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12931] ppid=12919 vsize=13268028 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12931/stat : 12931 (java) S 12919 12922 8485 0 -1 1077944384 152 0 0 0 1 1 0 0 20 0 20 0 6347578 13586460672 55662 33554432000 4194304 4196468 140732673691888 140487821802128 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12932] ppid=12919 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12932/stat : 12932 (java) S 12919 12922 8485 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 20 0 6347578 13586460672 55662 33554432000 4194304 4196468 140732673691888 140487820749328 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12933] ppid=12919 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12933/stat : 12933 (java) S 12919 12922 8485 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 20 0 6347580 13586460672 55662 33554432000 4194304 4196468 140732673691888 140486894377584 140488229358210 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12934] ppid=12919 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12934/stat : 12934 (java) S 12919 12922 8485 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 6347581 13586460672 55662 33554432000 4194304 4196468 140732673691888 140486893323616 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12935] ppid=12919 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12935/stat : 12935 (java) S 12919 12922 8485 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 6347581 13586460672 55662 33554432000 4194304 4196468 140732673691888 140486892271232 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12936] ppid=12919 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12936/stat : 12936 (java) S 12919 12922 8485 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6347584 13586460672 55662 33554432000 4194304 4196468 140732673691888 140486891219536 140488229365659 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12937] ppid=12919 vsize=13268028 CPUtime=0.88 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12937/stat : 12937 (java) R 12919 12922 8485 0 -1 4202560 3052 0 0 0 88 0 0 0 20 0 20 0 6347584 13586460672 55662 33554432000 4194304 4196468 140732673691888 140486890152408 140488208849903 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12938] ppid=12919 vsize=13268028 CPUtime=0.87 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12938/stat : 12938 (java) R 12919 12922 8485 0 -1 4202560 2844 0 0 0 87 0 0 0 20 0 20 0 6347584 13586460672 55662 33554432000 4194304 4196468 140732673691888 140486889095888 140488212833005 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12939] ppid=12919 vsize=13268028 CPUtime=0.95 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12939/stat : 12939 (java) R 12919 12922 8485 0 -1 4202560 3004 0 0 0 95 0 0 0 20 0 20 0 6347584 13586460672 55662 33554432000 4194304 4196468 140732673691888 140486888042928 140488212845932 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12940] ppid=12919 vsize=13268028 CPUtime=0.66 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12940/stat : 12940 (java) R 12919 12922 8485 0 -1 4202560 2699 0 0 0 66 0 0 0 20 0 20 0 6347584 13586460672 55662 33554432000 4194304 4196468 140732673691888 140486887004928 140488207713381 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12941] ppid=12919 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12941/stat : 12941 (java) S 12919 12922 8485 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6347584 13586460672 55662 33554432000 4194304 4196468 140732673691888 140486885956448 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12942] ppid=12919 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12942/stat : 12942 (java) S 12919 12922 8485 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6347584 13586460672 55662 33554432000 4194304 4196468 140732673691888 140486884903728 140488229358210 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 Current children cumulated CPU time (s) 5 Current children cumulated vsize (KiB) 13268028 [startup+3.10084 s] /proc/loadavg: 1.79 1.67 1.57 5/281 12942 /proc/meminfo: memFree=30848208/32770624 swapFree=5828/286328 [pid=12922] ppid=12919 vsize=13270076 CPUtime=9.2 cores=1,3,5,7,9,11,13,15 /proc/12922/stat : 12922 (java) S 12919 12922 8485 0 -1 1077944320 34768 0 0 0 882 38 0 0 20 0 20 0 6347577 13588557824 72101 33554432000 4194304 4196468 140732673691888 140732673674432 140488229347063 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 /proc/12922/statm: 3317519 72101 3834 1 0 3305234 0 [pid=12922/tid=12923] ppid=12919 vsize=13270076 CPUtime=2.98 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12923/stat : 12923 (java) R 12919 12922 8485 0 -1 4202560 11441 0 0 0 293 5 0 0 20 0 20 0 6347578 13588557824 72101 33554432000 4194304 4196468 140732673691888 140488233582888 140487870320335 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12925] ppid=12919 vsize=13270076 CPUtime=0.05 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12925/stat : 12925 (java) S 12919 12922 8485 0 -1 1077944384 83 0 0 0 2 3 0 0 20 0 20 0 6347578 13588557824 72101 33554432000 4194304 4196468 140732673691888 140488181967760 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12926] ppid=12919 vsize=13270076 CPUtime=0.06 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12926/stat : 12926 (java) S 12919 12922 8485 0 -1 1077944384 92 0 0 0 3 3 0 0 20 0 20 0 6347578 13588557824 72101 33554432000 4194304 4196468 140732673691888 140488180914960 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12927] ppid=12919 vsize=13270076 CPUtime=0.05 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12927/stat : 12927 (java) S 12919 12922 8485 0 -1 1077944384 47 0 0 0 2 3 0 0 20 0 20 0 6347578 13588557824 72101 33554432000 4194304 4196468 140732673691888 140487826013328 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12928] ppid=12919 vsize=13270076 CPUtime=0.06 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12928/stat : 12928 (java) S 12919 12922 8485 0 -1 1077944384 86 0 0 0 3 3 0 0 20 0 20 0 6347578 13588557824 72101 33554432000 4194304 4196468 140732673691888 140487824960528 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12929] ppid=12919 vsize=13270076 CPUtime=0.06 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12929/stat : 12929 (java) S 12919 12922 8485 0 -1 1077944384 61 0 0 0 3 3 0 0 20 0 20 0 6347578 13588557824 72101 33554432000 4194304 4196468 140732673691888 140487823907216 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12930] ppid=12919 vsize=13270076 CPUtime=0.07 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12930/stat : 12930 (java) S 12919 12922 8485 0 -1 1077944384 535 0 0 0 3 4 0 0 20 0 20 0 6347578 13588557824 72101 33554432000 4194304 4196468 140732673691888 140487822854416 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12931] ppid=12919 vsize=13270076 CPUtime=0.05 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12931/stat : 12931 (java) S 12919 12922 8485 0 -1 1077944384 171 0 0 0 2 3 0 0 20 0 20 0 6347578 13588557824 72101 33554432000 4194304 4196468 140732673691888 140487821802128 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12932] ppid=12919 vsize=13270076 CPUtime=0.06 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12932/stat : 12932 (java) S 12919 12922 8485 0 -1 1077944384 58 0 0 0 3 3 0 0 20 0 20 0 6347578 13588557824 72101 33554432000 4194304 4196468 140732673691888 140487820749328 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12933] ppid=12919 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12933/stat : 12933 (java) S 12919 12922 8485 0 -1 1077944384 325 0 0 0 0 0 0 0 20 0 20 0 6347580 13588557824 72101 33554432000 4194304 4196468 140732673691888 140486894377584 140488229358210 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12934] ppid=12919 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12934/stat : 12934 (java) S 12919 12922 8485 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 6347581 13588557824 72101 33554432000 4194304 4196468 140732673691888 140486893323616 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12935] ppid=12919 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12935/stat : 12935 (java) S 12919 12922 8485 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 6347581 13588557824 72101 33554432000 4194304 4196468 140732673691888 140486892271232 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12936] ppid=12919 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12936/stat : 12936 (java) S 12919 12922 8485 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6347584 13588557824 72101 33554432000 4194304 4196468 140732673691888 140486891219536 140488229365659 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12937] ppid=12919 vsize=13270076 CPUtime=1.54 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12937/stat : 12937 (java) S 12919 12922 8485 0 -1 1077944384 5435 0 0 0 154 0 0 0 20 0 20 0 6347584 13588557824 72101 33554432000 4194304 4196468 140732673691888 140486890166384 140488229358210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12938] ppid=12919 vsize=13270076 CPUtime=1.55 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12938/stat : 12938 (java) S 12919 12922 8485 0 -1 1077944384 4110 0 0 0 155 0 0 0 20 0 20 0 6347584 13588557824 72101 33554432000 4194304 4196468 140732673691888 140486889113584 140488229358210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 23 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12939] ppid=12919 vsize=13270076 CPUtime=1.65 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12939/stat : 12939 (java) S 12919 12922 8485 0 -1 1077944384 4645 0 0 0 164 1 0 0 20 0 20 0 6347584 13588557824 72101 33554432000 4194304 4196468 140732673691888 140486888061296 140488229358210 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 14 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12940] ppid=12919 vsize=13270076 CPUtime=0.88 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12940/stat : 12940 (java) S 12919 12922 8485 0 -1 1077944384 6237 0 0 0 87 1 0 0 20 0 20 0 6347584 13588557824 72101 33554432000 4194304 4196468 140732673691888 140486887008496 140488229358210 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 24 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12941] ppid=12919 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12941/stat : 12941 (java) S 12919 12922 8485 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6347584 13588557824 72101 33554432000 4194304 4196468 140732673691888 140486885956448 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12942] ppid=12919 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12942/stat : 12942 (java) S 12919 12922 8485 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 6347584 13588557824 72101 33554432000 4194304 4196468 140732673691888 140486884903728 140488229358210 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 23 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 Current children cumulated CPU time (s) 9.2 Current children cumulated vsize (KiB) 13270076 [startup+6.30083 s] /proc/loadavg: 1.79 1.67 1.57 3/281 12942 /proc/meminfo: memFree=30721376/32770624 swapFree=5828/286340 [pid=12922] ppid=12919 vsize=13270076 CPUtime=12.78 cores=1,3,5,7,9,11,13,15 /proc/12922/stat : 12922 (java) S 12919 12922 8485 0 -1 1077944320 35553 0 0 0 1227 51 0 0 20 0 20 0 6347577 13588557824 104502 33554432000 4194304 4196468 140732673691888 140732673674432 140488229347063 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 /proc/12922/statm: 3317519 104502 3836 1 0 3305234 0 [pid=12922/tid=12923] ppid=12919 vsize=13270076 CPUtime=6.15 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12923/stat : 12923 (java) R 12919 12922 8485 0 -1 4202560 11816 0 0 0 609 6 0 0 20 0 20 0 6347578 13588557824 104502 33554432000 4194304 4196468 140732673691888 140488233585472 140487869806621 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12925] ppid=12919 vsize=13270076 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12925/stat : 12925 (java) S 12919 12922 8485 0 -1 1077944384 136 0 0 0 4 5 0 0 20 0 20 0 6347578 13588557824 104502 33554432000 4194304 4196468 140732673691888 140488181967760 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12926] ppid=12919 vsize=13270076 CPUtime=0.08 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12926/stat : 12926 (java) S 12919 12922 8485 0 -1 1077944384 104 0 0 0 4 4 0 0 20 0 20 0 6347578 13588557824 104502 33554432000 4194304 4196468 140732673691888 140488180914960 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12927] ppid=12919 vsize=13270076 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12927/stat : 12927 (java) S 12919 12922 8485 0 -1 1077944384 101 0 0 0 4 5 0 0 20 0 20 0 6347578 13588557824 104502 33554432000 4194304 4196468 140732673691888 140487826013328 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12928] ppid=12919 vsize=13270076 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12928/stat : 12928 (java) S 12919 12922 8485 0 -1 1077944384 101 0 0 0 5 4 0 0 20 0 20 0 6347578 13588557824 104502 33554432000 4194304 4196468 140732673691888 140487824960528 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12929] ppid=12919 vsize=13270076 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12929/stat : 12929 (java) S 12919 12922 8485 0 -1 1077944384 79 0 0 0 4 5 0 0 20 0 20 0 6347578 13588557824 104502 33554432000 4194304 4196468 140732673691888 140487823907216 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12930] ppid=12919 vsize=13270076 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12930/stat : 12930 (java) S 12919 12922 8485 0 -1 1077944384 549 0 0 0 4 5 0 0 20 0 20 0 6347578 13588557824 104502 33554432000 4194304 4196468 140732673691888 140487822854416 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12931] ppid=12919 vsize=13270076 CPUtime=0.07 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12931/stat : 12931 (java) S 12919 12922 8485 0 -1 1077944384 184 0 0 0 3 4 0 0 20 0 20 0 6347578 13588557824 104502 33554432000 4194304 4196468 140732673691888 140487821802128 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12932] ppid=12919 vsize=13270076 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12932/stat : 12932 (java) S 12919 12922 8485 0 -1 1077944384 70 0 0 0 4 5 0 0 20 0 20 0 6347578 13588557824 104502 33554432000 4194304 4196468 140732673691888 140487820749328 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12933] ppid=12919 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12933/stat : 12933 (java) S 12919 12922 8485 0 -1 1077944384 453 0 0 0 1 0 0 0 20 0 20 0 6347580 13588557824 104502 33554432000 4194304 4196468 140732673691888 140486894377584 140488229358210 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12934] ppid=12919 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12934/stat : 12934 (java) S 12919 12922 8485 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 6347581 13588557824 104502 33554432000 4194304 4196468 140732673691888 140486893323616 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12935] ppid=12919 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12935/stat : 12935 (java) S 12919 12922 8485 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 6347581 13588557824 104502 33554432000 4194304 4196468 140732673691888 140486892271232 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12936] ppid=12919 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 ################ # More data... # ################ [pid=12922/tid=12938] ppid=12919 vsize=13270076 CPUtime=1.66 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12938/stat : 12938 (java) S 12919 12922 8485 0 -1 1077944384 5627 0 0 0 165 1 0 0 20 0 20 0 6347584 13588557824 333150 33554432000 4194304 4196468 140732673691888 140486889113584 140488229358210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 23 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12939] ppid=12919 vsize=13270076 CPUtime=1.76 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12939/stat : 12939 (java) S 12919 12922 8485 0 -1 1077944384 5162 0 0 0 175 1 0 0 20 0 20 0 6347584 13588557824 333150 33554432000 4194304 4196468 140732673691888 140486888061296 140488229358210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12940] ppid=12919 vsize=13270076 CPUtime=0.91 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12940/stat : 12940 (java) S 12919 12922 8485 0 -1 1077944384 7334 0 0 0 89 2 0 0 20 0 20 0 6347584 13588557824 333150 33554432000 4194304 4196468 140732673691888 140486887008496 140488229358210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 24 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12941] ppid=12919 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12941/stat : 12941 (java) S 12919 12922 8485 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6347584 13588557824 333150 33554432000 4194304 4196468 140732673691888 140486885956448 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12942] ppid=12919 vsize=13270076 CPUtime=1.1 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12942/stat : 12942 (java) S 12919 12922 8485 0 -1 1077944384 1285 0 0 0 50 60 0 0 20 0 20 0 6347584 13588557824 333150 33554432000 4194304 4196468 140732673691888 140486884903728 140488229358210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 23 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 Current children cumulated CPU time (s) 2259.9 Current children cumulated vsize (KiB) 13270076 [startup+2262.3 s] /proc/loadavg: 1.10 1.29 1.40 3/281 13011 /proc/meminfo: memFree=29630264/32770624 swapFree=5828/288264 [pid=12922] ppid=12919 vsize=13270076 CPUtime=2321.26 cores=1,3,5,7,9,11,13,15 /proc/12922/stat : 12922 (java) S 12919 12922 8485 0 -1 1077944320 183859 0 0 0 231759 367 0 0 20 0 20 0 6347577 13588557824 333662 33554432000 4194304 4196468 140732673691888 140732673674432 140488229347063 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 /proc/12922/statm: 3317519 333662 3836 1 0 3305234 0 [pid=12922/tid=12923] ppid=12919 vsize=13270076 CPUtime=2248.07 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12923/stat : 12923 (java) R 12919 12922 8485 0 -1 4202560 52495 0 0 0 224777 30 0 0 20 0 20 0 6347578 13588557824 333662 33554432000 4194304 4196468 140732673691888 140488233585488 140487869806714 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12925] ppid=12919 vsize=13270076 CPUtime=7.84 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12925/stat : 12925 (java) S 12919 12922 8485 0 -1 1077944384 10293 0 0 0 751 33 0 0 20 0 20 0 6347578 13588557824 333662 33554432000 4194304 4196468 140732673691888 140488181967760 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12926] ppid=12919 vsize=13270076 CPUtime=7.75 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12926/stat : 12926 (java) S 12919 12922 8485 0 -1 1077944384 11919 0 0 0 742 33 0 0 20 0 20 0 6347578 13588557824 333662 33554432000 4194304 4196468 140732673691888 140488180914960 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12927] ppid=12919 vsize=13270076 CPUtime=7.94 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12927/stat : 12927 (java) S 12919 12922 8485 0 -1 1077944384 12942 0 0 0 762 32 0 0 20 0 20 0 6347578 13588557824 333662 33554432000 4194304 4196468 140732673691888 140487826013328 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12928] ppid=12919 vsize=13270076 CPUtime=7.84 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12928/stat : 12928 (java) S 12919 12922 8485 0 -1 1077944384 12129 0 0 0 751 33 0 0 20 0 20 0 6347578 13588557824 333662 33554432000 4194304 4196468 140732673691888 140487824960528 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12929] ppid=12919 vsize=13270076 CPUtime=7.89 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12929/stat : 12929 (java) S 12919 12922 8485 0 -1 1077944384 8581 0 0 0 756 33 0 0 20 0 20 0 6347578 13588557824 333662 33554432000 4194304 4196468 140732673691888 140487823907216 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12930] ppid=12919 vsize=13270076 CPUtime=7.86 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12930/stat : 12930 (java) S 12919 12922 8485 0 -1 1077944384 9386 0 0 0 750 36 0 0 20 0 20 0 6347578 13588557824 333662 33554432000 4194304 4196468 140732673691888 140487822854416 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12931] ppid=12919 vsize=13270076 CPUtime=7.86 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12931/stat : 12931 (java) S 12919 12922 8485 0 -1 1077944384 11796 0 0 0 752 34 0 0 20 0 20 0 6347578 13588557824 333662 33554432000 4194304 4196468 140732673691888 140487821802128 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12932] ppid=12919 vsize=13270076 CPUtime=7.78 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12932/stat : 12932 (java) S 12919 12922 8485 0 -1 1077944384 9159 0 0 0 743 35 0 0 20 0 20 0 6347578 13588557824 333662 33554432000 4194304 4196468 140732673691888 140487820749328 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12933] ppid=12919 vsize=13270076 CPUtime=3.18 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12933/stat : 12933 (java) S 12919 12922 8485 0 -1 1077944384 16542 0 0 0 293 25 0 0 20 0 20 0 6347580 13588557824 333662 33554432000 4194304 4196468 140732673691888 140486894377584 140488229358210 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12934] ppid=12919 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12934/stat : 12934 (java) S 12919 12922 8485 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 6347581 13588557824 333662 33554432000 4194304 4196468 140732673691888 140486893323616 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12935] ppid=12919 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12935/stat : 12935 (java) S 12919 12922 8485 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 6347581 13588557824 333662 33554432000 4194304 4196468 140732673691888 140486892271232 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12936] ppid=12919 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12936/stat : 12936 (java) S 12919 12922 8485 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6347584 13588557824 333662 33554432000 4194304 4196468 140732673691888 140486891219536 140488229365659 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12937] ppid=12919 vsize=13270076 CPUtime=1.63 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12937/stat : 12937 (java) S 12919 12922 8485 0 -1 1077944384 7736 0 0 0 163 0 0 0 20 0 20 0 6347584 13588557824 333662 33554432000 4194304 4196468 140732673691888 140486890166384 140488229358210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12938] ppid=12919 vsize=13270076 CPUtime=1.66 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12938/stat : 12938 (java) S 12919 12922 8485 0 -1 1077944384 5631 0 0 0 165 1 0 0 20 0 20 0 6347584 13588557824 333662 33554432000 4194304 4196468 140732673691888 140486889113584 140488229358210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 23 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12939] ppid=12919 vsize=13270076 CPUtime=1.76 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12939/stat : 12939 (java) S 12919 12922 8485 0 -1 1077944384 5166 0 0 0 175 1 0 0 20 0 20 0 6347584 13588557824 333662 33554432000 4194304 4196468 140732673691888 140486888061296 140488229358210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12940] ppid=12919 vsize=13270076 CPUtime=0.91 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12940/stat : 12940 (java) S 12919 12922 8485 0 -1 1077944384 7338 0 0 0 89 2 0 0 20 0 20 0 6347584 13588557824 333662 33554432000 4194304 4196468 140732673691888 140486887008496 140488229358210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 24 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12941] ppid=12919 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12941/stat : 12941 (java) S 12919 12922 8485 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6347584 13588557824 333662 33554432000 4194304 4196468 140732673691888 140486885956448 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12942] ppid=12919 vsize=13270076 CPUtime=1.12 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12942/stat : 12942 (java) S 12919 12922 8485 0 -1 1077944384 1315 0 0 0 51 61 0 0 20 0 20 0 6347584 13588557824 333662 33554432000 4194304 4196468 140732673691888 140486884903728 140488229358210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 23 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 Current children cumulated CPU time (s) 2321.26 Current children cumulated vsize (KiB) 13270076 [startup+2322.3 s] /proc/loadavg: 1.37 1.34 1.41 3/281 13012 /proc/meminfo: memFree=29625976/32770624 swapFree=5828/288312 [pid=12922] ppid=12919 vsize=13270076 CPUtime=2382.67 cores=1,3,5,7,9,11,13,15 /proc/12922/stat : 12922 (java) S 12919 12922 8485 0 -1 1077944320 186134 0 0 0 237894 373 0 0 20 0 20 0 6347577 13588557824 334174 33554432000 4194304 4196468 140732673691888 140732673674432 140488229347063 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 /proc/12922/statm: 3317519 334174 3836 1 0 3305234 0 [pid=12922/tid=12923] ppid=12919 vsize=13270076 CPUtime=2307.68 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12923/stat : 12923 (java) R 12919 12922 8485 0 -1 4202560 53434 0 0 0 230738 30 0 0 20 0 20 0 6347578 13588557824 334174 33554432000 4194304 4196468 140732673691888 140488233585504 140487870660515 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12925] ppid=12919 vsize=13270076 CPUtime=8.06 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12925/stat : 12925 (java) S 12919 12922 8485 0 -1 1077944384 10509 0 0 0 772 34 0 0 20 0 20 0 6347578 13588557824 334174 33554432000 4194304 4196468 140732673691888 140488181967760 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12926] ppid=12919 vsize=13270076 CPUtime=7.95 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12926/stat : 12926 (java) S 12919 12922 8485 0 -1 1077944384 12028 0 0 0 761 34 0 0 20 0 20 0 6347578 13588557824 334174 33554432000 4194304 4196468 140732673691888 140488180914960 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12927] ppid=12919 vsize=13270076 CPUtime=8.15 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12927/stat : 12927 (java) S 12919 12922 8485 0 -1 1077944384 12984 0 0 0 782 33 0 0 20 0 20 0 6347578 13588557824 334174 33554432000 4194304 4196468 140732673691888 140487826013328 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12928] ppid=12919 vsize=13270076 CPUtime=8.05 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12928/stat : 12928 (java) S 12919 12922 8485 0 -1 1077944384 12280 0 0 0 772 33 0 0 20 0 20 0 6347578 13588557824 334174 33554432000 4194304 4196468 140732673691888 140487824960528 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12929] ppid=12919 vsize=13270076 CPUtime=8.09 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12929/stat : 12929 (java) S 12919 12922 8485 0 -1 1077944384 8623 0 0 0 776 33 0 0 20 0 20 0 6347578 13588557824 334174 33554432000 4194304 4196468 140732673691888 140487823907216 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12930] ppid=12919 vsize=13270076 CPUtime=8.08 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12930/stat : 12930 (java) S 12919 12922 8485 0 -1 1077944384 9479 0 0 0 771 37 0 0 20 0 20 0 6347578 13588557824 334174 33554432000 4194304 4196468 140732673691888 140487822854416 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12931] ppid=12919 vsize=13270076 CPUtime=8.07 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12931/stat : 12931 (java) S 12919 12922 8485 0 -1 1077944384 11973 0 0 0 772 35 0 0 20 0 20 0 6347578 13588557824 334174 33554432000 4194304 4196468 140732673691888 140487821802128 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12932] ppid=12919 vsize=13270076 CPUtime=7.99 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12932/stat : 12932 (java) S 12919 12922 8485 0 -1 1077944384 9278 0 0 0 763 36 0 0 20 0 20 0 6347578 13588557824 334174 33554432000 4194304 4196468 140732673691888 140487820749328 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12933] ppid=12919 vsize=13270076 CPUtime=3.28 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12933/stat : 12933 (java) S 12919 12922 8485 0 -1 1077944384 16879 0 0 0 302 26 0 0 20 0 20 0 6347580 13588557824 334174 33554432000 4194304 4196468 140732673691888 140486894377584 140488229358210 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12934] ppid=12919 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12934/stat : 12934 (java) S 12919 12922 8485 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 6347581 13588557824 334174 33554432000 4194304 4196468 140732673691888 140486893323616 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12935] ppid=12919 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12935/stat : 12935 (java) S 12919 12922 8485 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 6347581 13588557824 334174 33554432000 4194304 4196468 140732673691888 140486892271232 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12936] ppid=12919 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12936/stat : 12936 (java) S 12919 12922 8485 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6347584 13588557824 334174 33554432000 4194304 4196468 140732673691888 140486891219536 140488229365659 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12937] ppid=12919 vsize=13270076 CPUtime=1.63 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12937/stat : 12937 (java) S 12919 12922 8485 0 -1 1077944384 7740 0 0 0 163 0 0 0 20 0 20 0 6347584 13588557824 334174 33554432000 4194304 4196468 140732673691888 140486890166384 140488229358210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12938] ppid=12919 vsize=13270076 CPUtime=1.66 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12938/stat : 12938 (java) S 12919 12922 8485 0 -1 1077944384 5635 0 0 0 165 1 0 0 20 0 20 0 6347584 13588557824 334174 33554432000 4194304 4196468 140732673691888 140486889113584 140488229358210 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 23 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12939] ppid=12919 vsize=13270076 CPUtime=1.76 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12939/stat : 12939 (java) S 12919 12922 8485 0 -1 1077944384 5170 0 0 0 175 1 0 0 20 0 20 0 6347584 13588557824 334174 33554432000 4194304 4196468 140732673691888 140486888061296 140488229358210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12940] ppid=12919 vsize=13270076 CPUtime=0.92 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12940/stat : 12940 (java) S 12919 12922 8485 0 -1 1077944384 7342 0 0 0 90 2 0 0 20 0 20 0 6347584 13588557824 334174 33554432000 4194304 4196468 140732673691888 140486887008496 140488229358210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 24 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12941] ppid=12919 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12941/stat : 12941 (java) S 12919 12922 8485 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6347584 13588557824 334174 33554432000 4194304 4196468 140732673691888 140486885956448 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12942] ppid=12919 vsize=13270076 CPUtime=1.16 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12942/stat : 12942 (java) S 12919 12922 8485 0 -1 1077944384 1349 0 0 0 53 63 0 0 20 0 20 0 6347584 13588557824 334174 33554432000 4194304 4196468 140732673691888 140486884903728 140488229358210 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 23 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 Current children cumulated CPU time (s) 2382.67 Current children cumulated vsize (KiB) 13270076 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2339.2 s] /proc/loadavg: 1.21 1.31 1.40 3/281 13099 /proc/meminfo: memFree=30190192/32770624 swapFree=5828/288372 [pid=12922] ppid=12919 vsize=13270076 CPUtime=2400.02 cores=1,3,5,7,9,11,13,15 /proc/12922/stat : 12922 (java) S 12919 12922 8485 0 -1 1077944320 186958 0 0 0 239627 375 0 0 20 0 20 0 6347577 13588557824 334686 33554432000 4194304 4196468 140732673691888 140732673674432 140488229347063 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 /proc/12922/statm: 3317519 334686 3836 1 0 3305234 0 [pid=12922/tid=12923] ppid=12919 vsize=13270076 CPUtime=2324.46 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12923/stat : 12923 (java) R 12919 12922 8485 0 -1 4202560 53601 0 0 0 232416 30 0 0 20 0 20 0 6347578 13588557824 334686 33554432000 4194304 4196468 140732673691888 140488233585504 140487870660457 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12925] ppid=12919 vsize=13270076 CPUtime=8.12 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12925/stat : 12925 (java) S 12919 12922 8485 0 -1 1077944384 10539 0 0 0 778 34 0 0 20 0 20 0 6347578 13588557824 334686 33554432000 4194304 4196468 140732673691888 140488181967760 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12926] ppid=12919 vsize=13270076 CPUtime=8.03 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12926/stat : 12926 (java) S 12919 12922 8485 0 -1 1077944384 12098 0 0 0 769 34 0 0 20 0 20 0 6347578 13588557824 334686 33554432000 4194304 4196468 140732673691888 140488180914960 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12927] ppid=12919 vsize=13270076 CPUtime=8.22 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12927/stat : 12927 (java) S 12919 12922 8485 0 -1 1077944384 13010 0 0 0 789 33 0 0 20 0 20 0 6347578 13588557824 334686 33554432000 4194304 4196468 140732673691888 140487826013328 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12928] ppid=12919 vsize=13270076 CPUtime=8.11 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12928/stat : 12928 (java) S 12919 12922 8485 0 -1 1077944384 12292 0 0 0 778 33 0 0 20 0 20 0 6347578 13588557824 334686 33554432000 4194304 4196468 140732673691888 140487824960528 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12929] ppid=12919 vsize=13270076 CPUtime=8.15 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12929/stat : 12929 (java) S 12919 12922 8485 0 -1 1077944384 8635 0 0 0 782 33 0 0 20 0 20 0 6347578 13588557824 334686 33554432000 4194304 4196468 140732673691888 140487823907216 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12930] ppid=12919 vsize=13270076 CPUtime=8.14 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12930/stat : 12930 (java) S 12919 12922 8485 0 -1 1077944384 9588 0 0 0 777 37 0 0 20 0 20 0 6347578 13588557824 334686 33554432000 4194304 4196468 140732673691888 140487822854416 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12931] ppid=12919 vsize=13270076 CPUtime=8.14 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12931/stat : 12931 (java) S 12919 12922 8485 0 -1 1077944384 12006 0 0 0 779 35 0 0 20 0 20 0 6347578 13588557824 334686 33554432000 4194304 4196468 140732673691888 140487821802128 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12932] ppid=12919 vsize=13270076 CPUtime=8.06 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12932/stat : 12932 (java) S 12919 12922 8485 0 -1 1077944384 9446 0 0 0 770 36 0 0 20 0 20 0 6347578 13588557824 334686 33554432000 4194304 4196468 140732673691888 140487820749328 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12933] ppid=12919 vsize=13270076 CPUtime=3.3 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12933/stat : 12933 (java) S 12919 12922 8485 0 -1 1077944384 17051 0 0 0 304 26 0 0 20 0 20 0 6347580 13588557824 334686 33554432000 4194304 4196468 140732673691888 140486894377584 140488229358210 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12934] ppid=12919 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12934/stat : 12934 (java) S 12919 12922 8485 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 6347581 13588557824 334686 33554432000 4194304 4196468 140732673691888 140486893323616 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12935] ppid=12919 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12935/stat : 12935 (java) S 12919 12922 8485 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 6347581 13588557824 334686 33554432000 4194304 4196468 140732673691888 140486892271232 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12936] ppid=12919 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12936/stat : 12936 (java) S 12919 12922 8485 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6347584 13588557824 334686 33554432000 4194304 4196468 140732673691888 140486891219536 140488229365659 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12937] ppid=12919 vsize=13270076 CPUtime=1.63 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12937/stat : 12937 (java) S 12919 12922 8485 0 -1 1077944384 7742 0 0 0 163 0 0 0 20 0 20 0 6347584 13588557824 334686 33554432000 4194304 4196468 140732673691888 140486890166384 140488229358210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12938] ppid=12919 vsize=13270076 CPUtime=1.66 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12938/stat : 12938 (java) S 12919 12922 8485 0 -1 1077944384 5637 0 0 0 165 1 0 0 20 0 20 0 6347584 13588557824 334686 33554432000 4194304 4196468 140732673691888 140486889113584 140488229358210 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 23 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12939] ppid=12919 vsize=13270076 CPUtime=1.76 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12939/stat : 12939 (java) S 12919 12922 8485 0 -1 1077944384 5172 0 0 0 175 1 0 0 20 0 20 0 6347584 13588557824 334686 33554432000 4194304 4196468 140732673691888 140486888061296 140488229358210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12940] ppid=12919 vsize=13270076 CPUtime=0.92 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12940/stat : 12940 (java) S 12919 12922 8485 0 -1 1077944384 7344 0 0 0 90 2 0 0 20 0 20 0 6347584 13588557824 334686 33554432000 4194304 4196468 140732673691888 140486887008496 140488229358210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 24 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12941] ppid=12919 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12941/stat : 12941 (java) S 12919 12922 8485 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6347584 13588557824 334686 33554432000 4194304 4196468 140732673691888 140486885956448 140488229357269 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 [pid=12922/tid=12942] ppid=12919 vsize=13270076 CPUtime=1.16 cores=1,3,5,7,9,11,13,15 /proc/12922/task/12942/stat : 12942 (java) S 12919 12922 8485 0 -1 1077944384 1366 0 0 0 53 63 0 0 20 0 20 0 6347584 13588557824 334686 33554432000 4194304 4196468 140732673691888 140486884903728 140488229358210 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 23 0 0 6293624 6294260 18751488 140732673696905 140732673697092 140732673697092 140732673699791 0 Current children cumulated CPU time (s) 2400.02 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 12922 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 2339.24 CPU time (s): 2400.11 CPU user time (s): 2396.34 CPU system time (s): 3.76555 CPU usage (%): 102.602 Max. virtual memory (cumulated for all children) (KiB): 13270076 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2396.34 system time used= 3.76555 maximum resident set size= 1339348 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 187513 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2608 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 173946 involuntary context switches= 150650 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 16.1336 second user time and 21.09 second system time The end
Begin job on node117 at 2017-07-22 10:06:29 IDJOB=4246376 IDBENCH=124454 IDSOLVER=2628 FILE ID=node117/4246376-1500710789 RUNJOBID= node117-1500682496-8517 PBS_JOBID= 20623327 Free space on /tmp= 61964 MiB SOLVER NAME= OscaR - Conflict Ordering 2017-06-30 BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-B-n78-k10.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-4246376-1500710789/watcher-4246376-1500710789 -o /tmp/evaluation-result-4246376-1500710789/solver-4246376-1500710789 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node117-1500682496-8517 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1276899003 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4246376-1500710789.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 7c96a44e638c86f7d39463bcb8517eb1 RANDOM SEED=1276899003 node117.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2400.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2533.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2267.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 : 2668.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2267.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2533.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31080004 kB MemAvailable: 31351684 kB Buffers: 120280 kB Cached: 433324 kB SwapCached: 0 kB Active: 961732 kB Inactive: 295248 kB Active(anon): 706228 kB Inactive(anon): 8716 kB Active(file): 255504 kB Inactive(file): 286532 kB Unevictable: 5828 kB Mlocked: 5828 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42612 kB Writeback: 0 kB AnonPages: 709264 kB Mapped: 45160 kB Shmem: 8840 kB Slab: 124844 kB SReclaimable: 90960 kB SUnreclaim: 33884 kB KernelStack: 4304 kB PageTables: 6408 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2163292 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 587776 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 61920 MiB End job on node117 at 2017-07-22 10:45:28