Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco-mini 1.1 (2017-06-27) | No Cert. | 2400.1 | 2400 |
Name | QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-sko81.xml |
MD5SUM | 7967f0a5d6026ea184db99fec624e08d |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 53487 |
Best CPU time to get the best result obtained on this benchmark | 2400.01 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 6642 |
Number of constraints | 3241 |
Number of domains | 2 |
Minimum domain size | 8 |
Maximum domain size | 81 |
Distribution of domain sizes | [{"size":8,"count":3240},{"size":81,"count":81}] |
Minimum variable degree | 0 |
Maximum variable degree | 81 |
Distribution of variable degrees | [{"degree":0,"count":3321},{"degree":2,"count":3240},{"degree":81,"count":81}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 81 |
Distribution of constraint arities | [{"arity":3,"count":3240},{"arity":81,"count":1}] |
Number of extensional constraints | 3240 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":3240},{"type":"allDifferent","count":1}] |
Optimization problem | YES |
Type of objective | min SUM |
0.39/0.43 c best=?? lower=0 upper=194400 12.59/12.62 c 12.59/12.62 c This is cosoco 1.0 -- 12.59/12.62 c 12.59/12.62 c enable optimization 12.59/12.62 c ========================================[ Problem Statistics ]=========================================== 12.59/12.62 c | 12.59/12.62 c | Parse time : 0.35 s 12.59/12.62 c | 12.59/12.62 c | Variables: 6642 12.59/12.62 c | Domain Sizes: 8..81 12.59/12.62 c | 12.59/12.62 c | Constraints: 3242 12.59/12.62 c | Arity: 3..3240 -- Ternary: 3240 12.59/12.62 c | 12.59/12.62 c | Types: 12.59/12.62 c | All Different: 1 12.59/12.62 c | Extension: 3240 (nb tuples: 6480..6480) -- (shared: 3239) 12.59/12.62 c | Sum: 1 12.59/12.62 c | 12.59/12.62 c ========================================================================================================= 12.59/12.62 o 53776 12.59/12.62 c 1 calls to solver: best=53776 lower=0 upper=53775 47.49/47.55 o 53549 129.98/130.08 o 53545 129.98/130.08 c 3 calls to solver: best=53545 lower=0 upper=53544 958.61/958.67 o 53487 2400.09/2400.00 2400.09/2400.00 c *** INTERRUPTED *** 2400.09/2400.00 s SATISFIABLE 2400.09/2400.00 c Best value found: 53487 2400.09/2400.00 2400.09/2400.00 2400.09/2400.00 v <instantiation type='solution' cost='53487'> 2400.09/2400.00 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] d[0][0] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[0][26] d[0][27] d[0][28] d[0][29] d[0][30] d[0][31] d[0][32] d[0][33] d[0][34] d[0][35] d[0][36] d[0][37] d[0][38] d[0][39] d[0][40] d[0][41] d[0][42] d[0][43] d[0][44] d[0][45] d[0][46] d[0][47] d[0][48] d[0][49] d[0][50] d[0][51] d[0][52] d[0][53] d[0][54] d[0][55] d[0][56] d[0][57] d[0][58] d[0][59] d[0][60] d[0][61] d[0][62] d[0][63] d[0][64] d[0][65] d[0][66] d[0][67] d[0][68] d[0][69] d[0][70] d[0][71] d[0][72] d[0][73] d[0][74] d[0][75] d[0][76] d[0][77] d[0][78] d[0][79] d[0][80] d[1][0] d[1][1] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][26] d[1][27] d[1][28] d[1][29] d[1][30] d[1][31] d[1][32] d[1][33] d[1][34] d[1][35] d[1][36] d[1][37] d[1][38] d[1][39] d[1][40] d[1][41] d[1][42] d[1][43] d[1][44] d[1][45] d[1][46] d[1][47] d[1][48] d[1][49] d[1][50] d[1][51] d[1][52] d[1][53] d[1][54] d[1][55] d[1][56] d[1][57] d[1][58] d[1][59] d[1][60] d[1][61] d[1][62] d[1][63] d[1][64] d[1][65] d[1][66] d[1][67] d[1][68] d[1][69] d[1][70] d[1][71] d[1][72] d[1][73] d[1][74] d[1][75] d[1][76] d[1][77] d[1][78] d[1][79] d[1][80] d[2][0] d[2][1] d[2][2] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][26] d[2][27] d[2][28] d[2][29] d[2][30] d[2][31] d[2][32] d[2][33] d[2][34] d[2][35] d[2][36] d[2][37] d[2][38] d[2][39] d[2][40] d[2][41] d[2][42] d[2][43] d[2][44] d[2][45] d[2][46] d[2][47] d[2][48] d[2][49] d[2][50] d[2][51] d[2][52] d[2][53] d[2][54] d[2][55] d[2][56] d[2][57] d[2][58] d[2][59] d[2][60] d[2][61] d[2][62] d[2][63] d[2][64] d[2][65] d[2][66] d[2][67] d[2][68] d[2][69] d[2][70] d[2][71] d[2][72] d[2][73] d[2][74] d[2][75] d[2][76] d[2][77] d[2][78] d[2][79] d[2][80] d[3][0] d[3][1] d[3][2] d[3][3] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[3][26] d[3][27] d[3][28] d[3][29] d[3][30] d[3][31] d[3][32] d[3][33] d[3][34] d[3][35] d[3][36] d[3][37] d[3][38] d[3][39] d[3][40] d[3][41] d[3][42] d[3][43] d[3][44] d[3][45] d[3][46] d[3][47] d[3][48] d[3][49] d[3][50] d[3][51] d[3][52] d[3][53] d[3][54] d[3][55] d[3][56] d[3][57] d[3][58] d[3][59] d[3][60] d[3][61] d[3][62] d[3][63] d[3][64] d[3][65] d[3][66] d[3][67] d[3][68] d[3][69] d[3][70] d[3][71] d[3][72] d[3][73] d[3][74] d[3][75] d[3][76] d[3][77] d[3][78] d[3][79] d[3][80] d[4][0] d[4][1] d[4][2] d[4][3] d[4][4] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][25] d[4][26] d[4][27] d[4][28] d[4][29] d[4][30] d[4][31] d[4][32] d[4][33] d[4][34] d[4][35] d[4][36] d[4][37] d[4][38] d[4][39] d[4][40] d[4][41] d[4][42] d[4][43] d[4][44] d[4][45] d[4][46] d[4][47] d[4][48] d[4][49] d[4][50] d[4][51] d[4][52] d[4][53] d[4][54] d[4][55] d[4][56] d[4][57] d[4][58] d[4][59] d[4][60] d[4][61] d[4][62] d[4][63] d[4][64] d[4][65] d[4][66] d[4][67] d[4][68] d[4][69] d[4][70] d[4][71] d[4][72] d[4][73] d[4][74] d[4][75] d[4][76] d[4][77] d[4][78] d[4][79] d[4][80] d[5][0] d[5][1] d[5][2] d[5][3] d[5][4] d[5][5] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][26] d[5][27] d[5][28] d[5][29] d[5][30] d[5][31] d[5][32] d[5][33] d[5][34] d[5][35] d[5][36] d[5][37] d[5][38] d[5][39] d[5][40] d[5][41] d[5][42] d[5][43] d[5][44] d[5][45] d[5][46] d[5][47] d[5][48] d[5][49] d[5][50] d[5][51] d[5][52] d[5][53] d[5][54] d[5][55] d[5][56] d[5][57] d[5][58] d[5][59] d[5][60] d[5][61] d[5][62] d[5][63] d[5][64] d[5][65] d[5][66] d[5][67] d[5][68] d[5][69] d[5][70] d[5][71] d[5][72] d[5][73] d[5][74] d[5][75] d[5][76] d[5][77] d[5][78] d[5][79] d[5][80] d[6][0] d[6][1] d[6][2] d[6][3] d[6][4] d[6][5] d[6][6] d[6][7] d[6][8] d[6][9] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][20] d[6][21] d[6][22] d[6][23] d[6][24] d[6][25] d[6][26] d[6][27] d[6][28] d[6][29] d[6][30] d[6][31] d[6][32] d[6][33] d[6][34] d[6][35] d[6][36] d[6][37] d[6][38] d[6][39] d[6][40] d[6][41] d[6][42] d[6][43] d[6][44] d[6][45] d[6][46] d[6][47] d[6][48] d[6][49] d[6][50] d[6][51] d[6][52] d[6][53] d[6][54] d[6][55] d[6][56] d[6][57] d[6][58] d[6][59] d[6][60] d[6][61] d[6][62] d[6][63] d[6][64] d[6][65] d[6][66] d[6][67] d[6][68] d[6][69] d[6][70] d[6][71] d[6][72] d[6][73] d[6][74] d[6][75] d[6][76] d[6][77] d[6][78] d[6][79] d[6][80] d[7][0] d[7][1] d[7][2] d[7][3] d[7][4] d[7][5] d[7][6] d[7][7] d[7][8] d[7][9] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][25] d[7][26] d[7][27] d[7][28] d[7][29] d[7][30] d[7][31] d[7][32] d[7][33] d[7][34] d[7][35] d[7][36] d[7][37] d[7][38] d[7][39] d[7][40] d[7][41] d[7][42] d[7][43] d[7][44] d[7][45] d[7][46] d[7][47] d[7][48] d[7][49] d[7][50] d[7][51] d[7][52] d[7][53] d[7][54] d[7][55] d[7][56] d[7][57] d[7][58] d[7][59] d[7][60] d[7][61] d[7][62] d[7][63] d[7][64] d[7][65] d[7][66] d[7][67] d[7][68] d[7][69] d[7][70] d[7][71] d[7][72] d[7][73] d[7][74] d[7][75] d[7][76] d[7][77] d[7][78] d[7][79] d[7][80] d[8][0] d[8][1] d[8][2] d[8][3] d[8][4] d[8][5] d[8][6] d[8][7] d[8][8] d[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[8][26] d[8][27] d[8][28] d[8][29] d[8][30] d[8][31] d[8][32] d[8][33] d[8][34] d[8][35] d[8][36] d[8][37] d[8][38] d[8][39] d[8][40] d[8][41] d[8][42] d[8][43] d[8][44] d[8][45] d[8][46] d[8][47] d[8][48] d[8][49] d[8][50] d[8][51] d[8][52] d[8][53] d[8][54] d[8][55] d[8][56] d[8][57] d[8][58] d[8][59] d[8][60] d[8][61] d[8][62] d[8][63] d[8][64] d[8][65] d[8][66] d[8][67] d[8][68] d[8][69] d[8][70] d[8][71] d[8][72] d[8][73] d[8][74] d[8][75] d[8][76] d[8][77] d[8][78] d[8][79] d[8][80] d[9][0] d[9][1] d[9][2] d[9][3] d[9][4] d[9][5] d[9][6] d[9][7] d[9][8] d[9][9] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[9][26] d[9][27] d[9][28] d[9][29] d[9][30] d[9][31] d[9][32] d[9][33] d[9][34] d[9][35] d[9][36] d[9][37] d[9][38] d[9][39] d[9][40] d[9][41] d[9][42] d[9][43] d[9][44] d[9][45] d[9][46] d[9][47] d[9][48] d[9][49] d[9][50] d[9][51] d[9][52] d[9][53] d[9][54] d[9][55] d[9][56] d[9][57] d[9][58] d[9][59] d[9][60] d[9][61] d[9][62] d[9][63] d[9][64] d[9][65] d[9][66] d[9][67] d[9][68] d[9][69] d[9][70] d[9][71] d[9][72] d[9][73] d[9][74] d[9][75] d[9][76] d[9][77] d[9][78] d[9][79] d[9][80] d[10][0] d[10][1] d[10][2] d[10][3] d[10][4] d[10][5] d[10][6] d[10][7] d[10][8] d[10][9] d[10][10] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][26] d[10][27] d[10][28] d[10][29] d[10][30] d[10][31] d[10][32] d[10][33] d[10][34] d[10][35] d[10][36] d[10][37] d[10][38] d[10][39] d[10][40] d[10][41] d[10][42] d[10][43] d[10][44] d[10][45] d[10][46] d[10][47] d[10][48] d[10][49] d[10][50] d[10][51] d[10][52] d[10][53] d[10][54] d[10][55] d[10][56] d[10][57] d[10][58] d[10][59] d[10][60] d[10][61] d[10][62] d[10][63] d[10][64] d[10][65] d[10][66] d[10][67] d[10][68] d[10][69] d[10][70] d[10][71] d[10][72] d[10][73] d[10][74] d[10][75] d[10][76] d[10][77] d[10][78] d[10][79] d[10][80] d[11][0] d[11][1] d[11][2] d[11][3] d[11][4] d[11][5] d[11][6] d[11][7] d[11][8] d[11][9] d[11][10] d[11][11] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[11][26] d[11][27] d[11][28] d[11][29] d[11][30] d[11][31] d[11][32] d[11][33] d[11][34] d[11][35] d[11][36] d[11][37] d[11][38] d[11][39] d[11][40] d[11][41] d[11][42] d[11][43] d[11][44] d[11][45] d[11][46] d[11][47] d[11][48] d[11][49] d[11][50] d[11][51] d[11][52] d[11][53] d[11][54] d[11][55] d[11][56] d[11][57] d[11][58] d[11][59] d[11][60] d[11][61] d[11][62] d[11][63] d[11][64] d[11][65] d[11][66] d[11][67] d[11][68] d[11][69] d[11][70] d[11][71] d[11][72] d[11][73] d[11][74] d[11][75] d[11][76] d[11][77] d[11][78] d[11][79] d[11][80] d[12][0] d[12][1] d[12][2] d[12][3] d[12][4] d[12][5] d[12][6] d[12][7] d[12][8] d[12][9] d[12][10] d[12][11] d[12][12] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][26] d[12][27] d[12][28] d[12][29] d[12][30] d[12][31] d[12][32] d[12][33] d[12][34] d[12][35] d[12][36] d[12][37] d[12][38] d[12][39] d[12][40] d[12][41] d[12][42] d[12][43] d[12][44] d[12][45] d[12][46] d[12][47] d[12][48] d[12][49] d[12][50] d[12][51] d[12][52] d[12][53] d[12][54] d[12][55] d[12][56] d[12][57] d[12][58] d[12][59] d[12][60] d[12][61] d[12][62] d[12][63] d[12][64] d[12][65] d[12][66] d[12][67] d[12][68] d[12][69] d[12][70] d[12][71] d[12][72] d[12][73] d[12][74] d[12][75] d[12][76] d[12][77] d[12][78] d[12][79] d[12][80] d[13][0] d[13][1] d[13][2] d[13][3] d[13][4] d[13][5] d[13][6] d[13][7] d[13][8] d[13][9] d[13][10] d[13][11] d[13][12] d[13][13] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[13][26] d[13][27] d[13][28] d[13][29] d[13][30] d[13][31] d[13][32] d[13][33] d[13][34] d[13][35] d[13][36] d[13][37] d[13][38] d[13][39] d[13][40] d[13][41] d[13][42] d[13][43] d[13][44] d[13][45] d[13][46] d[13][47] d[13][48] d[13][49] d[13][50] d[13][51] d[13][52] d[13][53] d[13][54] d[13][55] d[13][56] d[13][57] d[13][58] d[13][59] d[13][60] d[13][61] d[13][62] d[13][63] d[13][64] d[13][65] d[13][66] d[13][67] d[13][68] d[13][69] d[13][70] d[13][71] d[13][72] d[13][73] d[13][74] d[13][75] d[13][76] d[13][77] d[13][78] d[13][79] d[13][80] d[14][0] d[14][1] d[14][2] d[14][3] d[14][4] d[14][5] d[14][6] d[14][7] d[14][8] d[14][9] d[14][10] d[14][11] d[14][12] d[14][13] d[14][14] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[14][26] d[14][27] d[14][28] d[14][29] d[14][30] d[14][31] d[14][32] d[14][33] d[14][34] d[14][35] d[14][36] d[14][37] d[14][38] d[14][39] d[14][40] d[14][41] d[14][42] d[14][43] d[14][44] d[14][45] d[14][46] d[14][47] d[14][48] d[14][49] d[14][50] d[14][51] d[14][52] d[14][53] d[14][54] d[14][55] d[14][56] d[14][57] d[14][58] d[14][59] d[14][60] d[14][61] d[14][62] d[14][63] d[14][64] d[14][65] d[14][66] d[14][67] d[14][68] d[14][69] d[14][70] d[14][71] d[14][72] d[14][73] d[14][74] d[14][75] d[14][76] d[14][77] d[14][78] d[14][79] d[14][80] d[15][0] d[15][1] d[15][2] d[15][3] d[15][4] d[15][5] d[15][6] d[15][7] d[15][8] d[15][9] d[15][10] d[15][11] d[15][12] d[15][13] d[15][14] d[15][15] d[15][16] d[15][17] d[15][18] d[15][19] d[15][20] d[15][21] d[15][22] d[15][23] d[15][24] d[15][25] d[15][26] d[15][27] d[15][28] d[15][29] d[15][30] d[15][31] d[15][32] d[15][33] d[15][34] d[15][35] d[15][36] d[15][37] d[15][38] d[15][39] d[15][40] d[15][41] d[15][42] d[15][43] d[15][44] d[15][45] d[15][46] d[15][47] d[15][48] d[15][49] d[15][50] d[15][51] d[15][52] d[15][53] d[15][54] d[15][55] d[15][56] d[15][57] d[15][58] d[15][59] d[15][60] d[15][61] d[15][62] d[15][63] d[15][64] d[15][65] d[15][66] d[15][67] d[15][68] d[15][69] d[15][70] d[15][71] d[15][72] d[15][73] d[15][74] d[15][75] d[15][76] d[15][77] d[15][78] d[15][79] d[15][80] d[16][0] d[16][1] d[16][2] d[16][3] d[16][4] d[16][5] d[16][6] d[16][7] d[16][8] d[16][9] d[16][10] d[16][11] d[16][12] d[16][13] d[16][14] d[16][15] d[16][16] d[16][17] d[16][18] d[16][19] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[16][26] d[16][27] d[16][28] d[16][29] d[16][30] d[16][31] d[16][32] d[16][33] d[16][34] d[16][35] d[16][36] d[16][37] d[16][38] d[16][39] d[16][40] d[16][41] d[16][42] d[16][43] d[16][44] d[16][45] d[16][46] d[16][47] d[16][48] d[16][49] d[16][50] d[16][51] d[16][52] d[16][53] d[16][54] d[16][55] d[16][56] d[16][57] d[16][58] d[16][59] d[16][60] d[16][61] d[16][62] d[16][63] d[16][64] d[16][65] d[16][66] d[16][67] d[16][68] d[16][69] d[16][70] d[16][71] d[16][72] d[16][73] d[16][74] d[16][75] d[16][76] d[16][77] d[16][78] d[16][79] d[16][80] d[17][0] d[17][1] d[17][2] d[17][3] d[17][4] d[17][5] d[17][6] d[17][7] d[17][8] d[17][9] d[17][10] d[17][11] d[17][12] d[17][13] d[17][14] d[17][15] d[17][16] d[17][17] d[17][18] d[17][19] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[17][26] d[17][27] d[17][28] d[17][29] d[17][30] d[17][31] d[17][32] d[17][33] d[17][34] d[17][35] d[17][36] d[17][37] d[17][38] d[17][39] d[17][40] d[17][41] d[17][42] d[17][43] d[17][44] d[17][45] d[17][46] d[17][47] d[17][48] d[17][49] d[17][50] d[17][51] d[17][52] d[17][53] d[17][54] d[17][55] d[17][56] d[17][57] d[17][58] d[17][59] d[17][60] d[17][61] d[17][62] d[17][63] d[17][64] d[17][65] d[17][66] d[17][67] d[17][68] d[17][69] d[17][70] d[17][71] d[17][72] d[17][73] d[17][74] d[17][75] d[17][76] d[17][77] d[17][78] d[17][79] d[17][80] d[18][0] d[18][1] d[18][2] d[18][3] d[18][4] d[18][5] d[18][6] d[18][7] d[18][8] d[18][9] d[18][10] d[18][11] d[18][12] d[18][13] d[18][14] d[18][15] d[18][16] d[18][17] d[18][18] d[18][19] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][26] d[18][27] d[18][28] d[18][29] d[18][30] d[18][31] d[18][32] d[18][33] d[18][34] d[18][35] d[18][36] d[18][37] d[18][38] d[18][39] d[18][40] d[18][41] d[18][42] d[18][43] d[18][44] d[18][45] d[18][46] d[18][47] d[18][48] d[18][49] d[18][50] d[18][51] d[18][52] d[18][53] d[18][54] d[18][55] d[18][56] d[18][57] d[18][58] d[18][59] d[18][60] d[18][61] d[18][62] d[18][63] d[18][64] d[18][65] d[18][66] d[18][67] d[18][68] d[18][69] d[18][70] d[18][71] d[18][72] d[18][73] d[18][74] d[18][75] d[18][76] d[18][77] d[18][78] d[18][79] d[18][80] d[19][0] d[19][1] d[19][2] d[19][3] d[19][4] d[19][5] d[19][6] d[19][7] d[19][8] d[19][9] d[19][10] d[19][11] d[19][12] d[19][13] d[19][14] d[19][15] d[19][16] d[19][17] d[19][18] d[19][19] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][26] d[19][27] d[19][28] d[19][29] d[19][30] d[19][31] d[19][32] d[19][33] d[19][34] d[19][35] d[19][36] d[19][37] d[19][38] d[19][39] d[19][40] d[19][41] d[19][42] d[19][43] d[19][44] d[19][45] d[19][46] d[19][47] d[19][48] d[19][49] d[19][50] d[19][51] d[19][52] d[19][53] d[19][54] d[19][55] d[19][56] d[19][57] d[19][58] d[19][59] d[19][60] d[19][61] d[19][62] d[19][63] d[19][64] d[19][65] d[19][66] d[19][67] d[19][68] d[19][69] d[19][70] d[19][71] d[19][72] d[19][73] d[19][74] d[19][75] d[19][76] d[19][77] d[19][78] d[19][79] d[19][80] d[20][0] d[20][1] d[20][2] d[20][3] d[20][4] d[20][5] d[20][6] d[20][7] d[20][8] d[20][9] d[20][10] d[20][11] d[20][12] d[20][13] d[20][14] d[20][15] d[20][16] d[20][17] d[20][18] d[20][19] d[20][20] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][26] d[20][27] d[20][28] d[20][29] d[20][30] d[20][31] d[20][32] d[20][33] d[20][34] d[20][35] d[20][36] d[20][37] d[20][38] d[20][39] d[20][40] d[20][41] d[20][42] d[20][43] d[20][44] d[20][45] d[20][46] d[20][47] d[20][48] d[20][49] d[20][50] d[20][51] d[20][52] d[20][53] d[20][54] d[20][55] d[20][56] d[20][57] d[20][58] d[20][59] d[20][60] d[20][61] d[20][62] d[20][63] d[20][64] d[20][65] d[20][66] d[20][67] d[20][68] d[20][69] d[20][70] d[20][71] d[20][72] d[20][73] d[20][74] d[20][75] d[20][76] d[20][77] d[20][78] d[20][79] d[20][80] d[21][0] d[21][1] d[21][2] d[21][3] d[21][4] d[21][5] d[21][6] d[21][7] d[21][8] d[21][9] d[21][10] d[21][11] d[21][12] d[21][13] d[21][14] d[21][15] d[21][16] d[21][17] d[21][18] d[21][19] d[21][20] d[21][21] d[21][22] d[21][23] d[21][24] d[21][25] d[21][26] d[21][27] d[21][28] d[21][29] d[21][30] d[21][31] d[21][32] d[21][33] d[21][34] d[21][35] d[21][36] d[21][37] d[21][38] d[21][39] d[21][40] d[21][41] d[21][42] d[21][43] d[21][44] d[21][45] d[21][46] d[21][47] d[21][48] d[21][49] d[21][50] d[21][51] d[21][52] d[21][53] d[21][54] d[21][55] d[21][56] d[21][57] d[21][58] d[21][59] d[21][60] d[21][61] d[21][62] d[21][63] d[21][64] d[21][65] d[21][66] d[21][67] d[21][68] d[21][69] d[21][70] d[21][71] d[21][72] d[21][73] d[21][74] d[21][75] d[21][76] d[21][77] d[21][78] d[21][79] d[21][80] d[22][0] d[22][1] d[22][2] d[22][3] d[22][4] d[22][5] d[22][6] d[22][7] d[22][8] d[22][9] d[22][10] d[22][11] d[22][12] d[22][13] d[22][14] d[22][15] d[22][16] d[22][17] d[22][18] d[22][19] d[22][20] d[22][21] d[22][22] d[22][23] d[22][24] d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] d[22][30] d[22][31] d[22][32] d[22][33] d[22][34] d[22][35] d[22][36] d[22][37] d[22][38] d[22][39] d[22][40] d[22][41] d[22][42] d[22][43] d[22][44] d[22][45] d[22][46] d[22][47] d[22][48] d[22][49] d[22][50] d[22][51] d[22][52] d[22][53] d[22][54] d[22][55] d[22][56] d[22][57] d[22][58] d[22][59] d[22][60] d[22][61] d[22][62] d[22][63] d[22][64] d[22][65] d[22][66] d[22][67] d[22][68] d[22][69] d[22][70] d[22][71] d[22][72] d[22][73] d[22][74] d[22][75] d[22][76] d[22][77] d[22][78] d[22][79] d[22][80] d[23][0] d[23][1] d[23][2] d[23][3] d[23][4] d[23][5] d[23][6] d[23][7] d[23][8] d[23][9] d[23][10] d[23][11] d[23][12] d[23][13] d[23][14] d[23][15] d[23][16] d[23][17] d[23][18] d[23][19] d[23][20] d[23][21] d[23][22] d[23][23] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] d[23][30] d[23][31] d[23][32] d[23][33] d[23][34] d[23][35] d[23][36] d[23][37] d[23][38] d[23][39] d[23][40] d[23][41] d[23][42] d[23][43] d[23][44] d[23][45] d[23][46] d[23][47] d[23][48] d[23][49] d[23][50] d[23][51] d[23][52] d[23][53] d[23][54] d[23][55] d[23][56] d[23][57] d[23][58] d[23][59] d[23][60] d[23][61] d[23][62] d[23][63] d[23][64] d[23][65] d[23][66] d[23][67] d[23][68] d[23][69] d[23][70] d[23][71] d[23][72] d[23][73] d[23][74] d[23][75] d[23][76] d[23][77] d[23][78] d[23][79] d[23][80] d[24][0] d[24][1] d[24][2] d[24][3] d[24][4] d[24][5] d[24][6] d[24][7] d[24][8] d[24][9] d[24][10] d[24][11] d[24][12] d[24][13] d[24][14] d[24][15] d[24][16] d[24][17] d[24][18] d[24][19] d[24][20] d[24][21] d[24][22] d[24][23] d[24][24] d[24][25] d[24][26] d[24][27] d[24][28] d[24][29] d[24][30] d[24][31] d[24][32] d[24][33] d[24][34] d[24][35] d[24][36] d[24][37] d[24][38] d[24][39] d[24][40] d[24][41] d[24][42] d[24][43] d[24][44] d[24][45] d[24][46] d[24][47] d[24][48] d[24][49] d[24][50] d[24][51] d[24][52] d[24][53] d[24][54] d[24][55] d[24][56] d[24][57] d[24][58] d[24][59] d[24][60] d[24][61] d[24][62] d[24][63] d[24][64] d[24][65] d[24][66] d[24][67] d[24][68] d[24][69] d[24][70] d[24][71] d[24][72] d[24][73] d[24][74] d[24][75] d[24][76] d[24][77] d[24][78] d[24][79] d[24][80] d[25][0] d[25][1] d[25][2] d[25][3] d[25][4] d[25][5] d[25][6] d[25][7] d[25][8] d[25][9] d[25][10] d[25][11] d[25][12] d[25][13] d[25][14] d[25][15] d[25][16] d[25][17] d[25][18] d[25][19] d[25][20] d[25][21] d[25][22] d[25][23] d[25][24] d[25][25] d[25][26] d[25][27] d[25][28] d[25][29] d[25][30] d[25][31] d[25][32] d[25][33] d[25][34] d[25][35] d[25][36] d[25][37] d[25][38] d[25][39] d[25][40] d[25][41] d[25][42] d[25][43] d[25][44] d[25][45] d[25][46] d[25][47] d[25][48] d[25][49] d[25][50] d[25][51] d[25][52] d[25][53] d[25][54] d[25][55] d[25][56] d[25][57] d[25][58] d[25][59] d[25][60] d[25][61] d[25][62] d[25][63] d[25][64] d[25][65] d[25][66] d[25][67] d[25][68] d[25][69] d[25][70] d[25][71] d[25][72] d[25][73] d[25][74] d[25][75] d[25][76] d[25][77] d[25][78] d[25][79] d[25][80] d[26][0] d[26][1] d[26][2] d[26][3] d[26][4] d[26][5] d[26][6] d[26][7] d[26][8] d[26][9] d[26][10] d[26][11] d[26][12] d[26][13] d[26][14] d[26][15] d[26][16] d[26][17] d[26][18] d[26][19] d[26][20] d[26][21] d[26][22] d[26][23] d[26][24] d[26][25] d[26][26] d[26][27] d[26][28] d[26][29] d[26][30] d[26][31] d[26][32] d[26][33] d[26][34] d[26][35] d[26][36] d[26][37] d[26][38] d[26][39] d[26][40] d[26][41] d[26][42] d[26][43] d[26][44] d[26][45] d[26][46] d[26][47] d[26][48] d[26][49] d[26][50] d[26][51] d[26][52] d[26][53] d[26][54] d[26][55] d[26][56] d[26][57] d[26][58] d[26][59] d[26][60] d[26][61] d[26][62] d[26][63] d[26][64] d[26][65] d[26][66] d[26][67] d[26][68] d[26][69] d[26][70] d[26][71] d[26][72] d[26][73] d[26][74] d[26][75] d[26][76] d[26][77] d[26][78] d[26][79] d[26][80] d[27][0] d[27][1] d[27][2] d[27][3] d[27][4] d[27][5] d[27][6] d[27][7] d[27][8] d[27][9] d[27][10] d[27][11] d[27][12] d[27][13] d[27][14] d[27][15] d[27][16] d[27][17] d[27][18] d[27][19] d[27][20] d[27][21] d[27][22] d[27][23] d[27][24] d[27][25] d[27][26] d[27][27] d[27][28] d[27][29] d[27][30] d[27][31] d[27][32] d[27][33] d[27][34] d[27][35] d[27][36] d[27][37] d[27][38] d[27][39] d[27][40] d[27][41] d[27][42] d[27][43] d[27][44] d[27][45] d[27][46] d[27][47] d[27][48] d[27][49] d[27][50] d[27][51] d[27][52] d[27][53] d[27][54] d[27][55] d[27][56] d[27][57] d[27][58] d[27][59] d[27][60] d[27][61] d[27][62] d[27][63] d[27][64] d[27][65] d[27][66] d[27][67] d[27][68] d[27][69] d[27][70] d[27][71] d[27][72] d[27][73] d[27][74] d[27][75] d[27][76] d[27][77] d[27][78] d[27][79] d[27][80] d[28][0] d[28][1] d[28][2] d[28][3] d[28][4] d[28][5] d[28][6] d[28][7] d[28][8] d[28][9] d[28][10] d[28][11] d[28][12] d[28][13] d[28][14] d[28][15] d[28][16] d[28][17] d[28][18] d[28][19] d[28][20] d[28][21] d[28][22] d[28][23] d[28][24] d[28][25] d[28][26] d[28][27] d[28][28] d[28][29] d[28][30] d[28][31] d[28][32] d[28][33] d[28][34] d[28][35] d[28][36] d[28][37] d[28][38] d[28][39] d[28][40] d[28][41] d[28][42] d[28][43] d[28][44] d[28][45] d[28][46] d[28][47] d[28][48] d[28][49] d[28][50] d[28][51] d[28][52] d[28][53] d[28][54] d[28][55] d[28][56] d[28][57] d[28][58] d[28][59] d[28][60] d[28][61] d[28][62] d[28][63] d[28][64] d[28][65] d[28][66] d[28][67] d[28][68] d[28][69] d[28][70] d[28][71] d[28][72] d[28][73] d[28][74] d[28][75] d[28][76] d[28][77] d[28][78] d[28][79] d[28][80] d[29][0] d[29][1] d[29][2] d[29][3] d[29][4] d[29][5] d[29][6] d[29][7] d[29][8] d[29][9] d[29][10] d[29][11] d[29][12] d[29][13] d[29][14] d[29][15] d[29][16] d[29][17] d[29][18] d[29][19] d[29][20] d[29][21] d[29][22] d[29][23] d[29][24] d[29][25] d[29][26] d[29][27] d[29][28] d[29][29] d[29][30] d[29][31] d[29][32] d[29][33] d[29][34] d[29][35] d[29][36] d[29][37] d[29][38] d[29][39] d[29][40] d[29][41] d[29][42] d[29][43] d[29][44] d[29][45] d[29][46] d[29][47] d[29][48] d[29][49] d[29][50] d[29][51] d[29][52] d[29][53] d[29][54] d[29][55] d[29][56] d[29][57] d[29][58] d[29][59] d[29][60] d[29][61] d[29][62] d[29][63] d[29][64] d[29][65] d[29][66] d[29][67] d[29][68] d[29][69] d[29][70] d[29][71] d[29][72] d[29][73] d[29][74] d[29][75] d[29][76] d[29][77] d[29][78] d[29][79] d[29][80] d[30][0] d[30][1] d[30][2] d[30][3] d[30][4] d[30][5] d[30][6] d[30][7] d[30][8] d[30][9] d[30][10] d[30][11] d[30][12] d[30][13] d[30][14] d[30][15] d[30][16] d[30][17] d[30][18] d[30][19] d[30][20] d[30][21] d[30][22] d[30][23] d[30][24] d[30][25] d[30][26] d[30][27] d[30][28] d[30][29] d[30][30] d[30][31] d[30][32] d[30][33] d[30][34] d[30][35] d[30][36] d[30][37] d[30][38] d[30][39] d[30][40] d[30][41] d[30][42] d[30][43] d[30][44] d[30][45] d[30][46] d[30][47] d[30][48] d[30][49] d[30][50] d[30][51] d[30][52] d[30][53] d[30][54] d[30][55] d[30][56] d[30][57] d[30][58] d[30][59] d[30][60] d[30][61] d[30][62] d[30][63] d[30][64] d[30][65] d[30][66] d[30][67] d[30][68] d[30][69] d[30][70] d[30][71] d[30][72] d[30][73] d[30][74] d[30][75] d[30][76] d[30][77] d[30][78] d[30][79] d[30][80] d[31][0] d[31][1] d[31][2] d[31][3] d[31][4] d[31][5] d[31][6] d[31][7] d[31][8] d[31][9] d[31][10] d[31][11] d[31][12] d[31][13] d[31][14] d[31][15] d[31][16] d[31][17] d[31][18] d[31][19] d[31][20] d[31][21] d[31][22] d[31][23] d[31][24] d[31][25] d[31][26] d[31][27] d[31][28] d[31][29] d[31][30] d[31][31] d[31][32] d[31][33] d[31][34] d[31][35] d[31][36] d[31][37] d[31][38] d[31][39] d[31][40] d[31][41] d[31][42] d[31][43] d[31][44] d[31][45] d[31][46] d[31][47] d[31][48] d[31][49] d[31][50] d[31][51] d[31][52] d[31][53] d[31][54] d[31][55] d[31][56] d[31][57] d[31][58] d[31][59] d[31][60] d[31][61] d[31][62] d[31][63] d[31][64] d[31][65] d[31][66] d[31][67] d[31][68] d[31][69] d[31][70] d[31][71] d[31][72] d[31][73] d[31][74] d[31][75] d[31][76] d[31][77] d[31][78] d[31][79] d[31][80] d[32][0] d[32][1] d[32][2] d[32][3] d[32][4] d[32][5] d[32][6] d[32][7] d[32][8] d[32][9] d[32][10] d[32][11] d[32][12] d[32][13] d[32][14] d[32][15] d[32][16] d[32][17] d[32][18] d[32][19] d[32][20] d[32][21] d[32][22] d[32][23] d[32][24] d[32][25] d[32][26] d[32][27] d[32][28] d[32][29] d[32][30] d[32][31] d[32][32] d[32][33] d[32][34] d[32][35] d[32][36] d[32][37] d[32][38] d[32][39] d[32][40] d[32][41] d[32][42] d[32][43] d[32][44] d[32][45] d[32][46] d[32][47] d[32][48] d[32][49] d[32][50] d[32][51] d[32][52] d[32][53] d[32][54] d[32][55] d[32][56] d[32][57] d[32][58] d[32][59] d[32][60] d[32][61] d[32][62] d[32][63] d[32][64] d[32][65] d[32][66] d[32][67] d[32][68] d[32][69] d[32][70] d[32][71] d[32][72] d[32][73] d[32][74] d[32][75] d[32][76] d[32][77] d[32][78] d[32][79] d[32][80] d[33][0] d[33][1] d[33][2] d[33][3] d[33][4] d[33][5] d[33][6] d[33][7] d[33][8] d[33][9] d[33][10] d[33][11] d[33][12] d[33][13] d[33][14] d[33][15] d[33][16] d[33][17] d[33][18] d[33][19] d[33][20] d[33][21] d[33][22] d[33][23] d[33][24] d[33][25] d[33][26] d[33][27] d[33][28] d[33][29] d[33][30] d[33][31] d[33][32] d[33][33] d[33][34] d[33][35] d[33][36] d[33][37] d[33][38] d[33][39] d[33][40] d[33][41] d[33][42] d[33][43] d[33][44] d[33][45] d[33][46] d[33][47] d[33][48] d[33][49] d[33][50] d[33][51] d[33][52] d[33][53] d[33][54] d[33][55] d[33][56] d[33][57] d[33][58] d[33][59] d[33][60] d[33][61] d[33][62] d[33][63] d[33][64] d[33][65] d[33][66] d[33][67] d[33][68] d[33][69] d[33][70] d[33][71] d[33][72] d[33][73] d[33][74] d[33][75] d[33][76] d[33][77] d[33][78] d[33][79] d[33][80] d[34][0] d[34][1] d[34][2] d[34][3] d[34][4] d[34][5] d[34][6] d[34][7] d[34][8] d[34][9] d[34][10] d[34][11] d[34][12] d[34][13] d[34][14] d[34][15] d[34][16] d[34][17] d[34][18] d[34][19] d[34][20] d[34][21] d[34][22] d[34][23] d[34][24] d[34][25] d[34][26] d[34][27] d[34][28] d[34][29] d[34][30] d[34][31] d[34][32] d[34][33] d[34][34] d[34][35] d[34][36] d[34][37] d[34][38] d[34][39] d[34][40] d[34][41] d[34][42] d[34][43] d[34][44] d[34][45] d[34][46] d[34][47] d[34][48] d[34][49] d[34][50] d[34][51] d[34][52] d[34][53] d[34][54] d[34][55] d[34][56] d[34][57] d[34][58] d[34][59] d[34][60] d[34][61] d[34][62] d[34][63] d[34][64] d[34][65] d[34][66] d[34][67] d[34][68] d[34][69] d[34][70] d[34][71] d[34][72] d[34][73] d[34][74] d[34][75] d[34][76] d[34][77] d[34][78] d[34][79] d[34][80] d[35][0] d[35][1] d[35][2] d[35][3] d[35][4] d[35][5] d[35][6] d[35][7] d[35][8] d[35][9] d[35][10] d[35][11] d[35][12] d[35][13] d[35][14] d[35][15] d[35][16] d[35][17] d[35][18] d[35][19] d[35][20] d[35][21] d[35][22] d[35][23] d[35][24] d[35][25] d[35][26] d[35][27] d[35][28] d[35][29] d[35][30] d[35][31] d[35][32] d[35][33] d[35][34] d[35][35] d[35][36] d[35][37] d[35][38] d[35][39] d[35][40] d[35][41] d[35][42] d[35][43] d[35][44] d[35][45] d[35][46] d[35][47] d[35][48] d[35][49] d[35][50] d[35][51] d[35][52] d[35][53] d[35][54] d[35][55] d[35][56] d[35][57] d[35][58] d[35][59] d[35][60] d[35][61] d[35][62] d[35][63] d[35][64] d[35][65] d[35][66] d[35][67] d[35][68] d[35][69] d[35][70] d[35][71] d[35][72] d[35][73] d[35][74] d[35][75] d[35][76] d[35][77] d[35][78] d[35][79] d[35][80] d[36][0] d[36][1] d[36][2] d[36][3] d[36][4] d[36][5] d[36][6] d[36][7] d[36][8] d[36][9] d[36][10] d[36][11] d[36][12] d[36][13] d[36][14] d[36][15] d[36][16] d[36][17] d[36][18] d[36][19] d[36][20] d[36][21] d[36][22] d[36][23] d[36][24] d[36][25] d[36][26] d[36][27] d[36][28] d[36][29] d[36][30] d[36][31] d[36][32] d[36][33] d[36][34] d[36][35] d[36][36] d[36][37] d[36][38] d[36][39] d[36][40] d[36][41] d[36][42] d[36][43] d[36][44] d[36][45] d[36][46] d[36][47] d[36][48] d[36][49] d[36][50] d[36][51] d[36][52] d[36][53] d[36][54] d[36][55] d[36][56] d[36][57] d[36][58] d[36][59] d[36][60] d[36][61] d[36][62] d[36][63] d[36][64] d[36][65] d[36][66] d[36][67] d[36][68] d[36][69] d[36][70] d[36][71] d[36][72] d[36][73] d[36][74] d[36][75] d[36][76] d[36][77] d[36][78] d[36][79] d[36][80] d[37][0] d[37][1] d[37][2] d[37][3] d[37][4] d[37][5] d[37][6] d[37][7] d[37][8] d[37][9] d[37][10] d[37][11] d[37][12] d[37][13] d[37][14] d[37][15] d[37][16] d[37][17] d[37][18] d[37][19] d[37][20] d[37][21] d[37][22] d[37][23] d[37][24] d[37][25] d[37][26] d[37][27] d[37][28] d[37][29] d[37][30] d[37][31] d[37][32] d[37][33] d[37][34] d[37][35] d[37][36] d[37][37] d[37][38] d[37][39] d[37][40] d[37][41] d[37][42] d[37][43] d[37][44] d[37][45] d[37][46] d[37][47] d[37][48] d[37][49] d[37][50] d[37][51] d[37][52] d[37][53] d[37][54] d[37][55] d[37][56] d[37][57] d[37][58] d[37][59] d[37][60] d[37][61] d[37][62] d[37][63] d[37][64] d[37][65] d[37][66] d[37][67] d[37][68] d[37][69] d[37][70] d[37][71] d[37][72] d[37][73] d[37][74] d[37][75] d[37][76] d[37][77] d[37][78] d[37][79] d[37][80] d[38][0] d[38][1] d[38][2] d[38][3] d[38][4] d[38][5] d[38][6] d[38][7] d[38][8] d[38][9] d[38][10] d[38][11] d[38][12] d[38][13] d[38][14] d[38][15] d[38][16] d[38][17] d[38][18] d[38][19] d[38][20] d[38][21] d[38][22] d[38][23] d[38][24] d[38][25] d[38][26] d[38][27] d[38][28] d[38][29] d[38][30] d[38][31] d[38][32] d[38][33] d[38][34] d[38][35] d[38][36] d[38][37] d[38][38] d[38][39] d[38][40] d[38][41] d[38][42] d[38][43] d[38][44] d[38][45] d[38][46] d[38][47] d[38][48] d[38][49] d[38][50] d[38][51] d[38][52] d[38][53] d[38][54] d[38][55] d[38][56] d[38][57] d[38][58] d[38][59] d[38][60] d[38][61] d[38][62] d[38][63] d[38][64] d[38][65] d[38][66] d[38][67] d[38][68] d[38][69] d[38][70] d[38][71] d[38][72] d[38][73] d[38][74] d[38][75] d[38][76] d[38][77] d[38][78] d[38][79] d[38][80] d[39][0] d[39][1] d[39][2] d[39][3] d[39][4] d[39][5] d[39][6] d[39][7] d[39][8] d[39][9] d[39][10] d[39][11] d[39][12] d[39][13] d[39][14] d[39][15] d[39][16] d[39][17] d[39][18] d[39][19] d[39][20] d[39][21] d[39][22] d[39][23] d[39][24] d[39][25] d[39][26] d[39][27] d[39][28] d[39][29] d[39][30] d[39][31] d[39][32] d[39][33] d[39][34] d[39][35] d[39][36] d[39][37] d[39][38] d[39][39] d[39][40] d[39][41] d[39][42] d[39][43] d[39][44] d[39][45] d[39][46] d[39][47] d[39][48] d[39][49] d[39][50] d[39][51] d[39][52] d[39][53] d[39][54] d[39][55] d[39][56] d[39][57] d[39][58] d[39][59] d[39][60] d[39][61] d[39][62] d[39][63] d[39][64] d[39][65] d[39][66] d[39][67] d[39][68] d[39][69] d[39][70] d[39][71] d[39][72] d[39][73] d[39][74] d[39][75] d[39][76] d[39][77] d[39][78] d[39][79] d[39][80] d[40][0] d[40][1] d[40][2] d[40][3] d[40][4] d[40][5] d[40][6] d[40][7] d[40][8] d[40][9] d[40][10] d[40][11] d[40][12] d[40][13] d[40][14] d[40][15] d[40][16] d[40][17] d[40][18] d[40][19] d[40][20] d[40][21] d[40][22] d[40][23] d[40][24] d[40][25] d[40][26] d[40][27] d[40][28] d[40][29] d[40][30] d[40][31] d[40][32] d[40][33] d[40][34] d[40][35] d[40][36] d[40][37] d[40][38] d[40][39] d[40][40] d[40][41] d[40][42] d[40][43] d[40][44] d[40][45] d[40][46] d[40][47] d[40][48] d[40][49] d[40][50] d[40][51] d[40][52] d[40][53] d[40][54] d[40][55] d[40][56] d[40][57] d[40][58] d[40][59] d[40][60] d[40][61] d[40][62] d[40][63] d[40][64] d[40][65] d[40][66] d[40][67] d[40][68] d[40][69] d[40][70] d[40][71] d[40][72] d[40][73] d[40][74] d[40][75] d[40][76] d[40][77] d[40][78] d[40][79] d[40][80] d[41][0] d[41][1] d[41][2] d[41][3] d[41][4] d[41][5] d[41][6] d[41][7] d[41][8] d[41][9] d[41][10] d[41][11] d[41][12] d[41][13] d[41][14] d[41][15] d[41][16] d[41][17] d[41][18] d[41][19] d[41][20] d[41][21] d[41][22] d[41][23] d[41][24] d[41][25] d[41][26] d[41][27] d[41][28] d[41][29] d[41][30] d[41][31] d[41][32] d[41][33] d[41][34] d[41][35] d[41][36] d[41][37] d[41][38] d[41][39] d[41][40] d[41][41] d[41][42] d[41][43] d[41][44] d[41][45] d[41][46] d[41][47] d[41][48] d[41][49] d[41][50] d[41][51] d[41][52] d[41][53] d[41][54] d[41][55] d[41][56] d[41][57] d[41][58] d[41][59] d[41][60] d[41][61] d[41][62] d[41][63] d[41][64] d[41][65] d[41][66] d[41][67] d[41][68] d[41][69] d[41][70] d[41][71] d[41][72] d[41][73] d[41][74] d[41][75] d[41][76] d[41][77] d[41][78] d[41][79] d[41][80] d[42][0] d[42][1] d[42][2] d[42][3] d[42][4] d[42][5] d[42][6] d[42][7] d[42][8] d[42][9] d[42][10] d[42][11] d[42][12] d[42][13] d[42][14] d[42][15] d[42][16] d[42][17] d[42][18] d[42][19] d[42][20] d[42][21] d[42][22] d[42][23] d[42][24] d[42][25] d[42][26] d[42][27] d[42][28] d[42][29] d[42][30] d[42][31] d[42][32] d[42][33] d[42][34] d[42][35] d[42][36] d[42][37] d[42][38] d[42][39] d[42][40] d[42][41] d[42][42] d[42][43] d[42][44] d[42][45] d[42][46] d[42][47] d[42][48] d[42][49] d[42][50] d[42][51] d[42][52] d[42][53] d[42][54] d[42][55] d[42][56] d[42][57] d[42][58] d[42][59] d[42][60] d[42][61] d[42][62] d[42][63] d[42][64] d[42][65] d[42][66] d[42][67] d[42][68] d[42][69] d[42][70] d[42][71] d[42][72] d[42][73] d[42][74] d[42][75] d[42][76] d[42][77] d[42][78] d[42][79] d[42][80] d[43][0] d[43][1] d[43][2] d[43][3] d[43][4] d[43][5] d[43][6] d[43][7] d[43][8] d[43][9] d[43][10] d[43][11] d[43][12] d[43][13] d[43][14] d[43][15] d[43][16] d[43][17] d[43][18] d[43][19] d[43][20] d[43][21] d[43][22] d[43][23] d[43][24] d[43][25] d[43][26] d[43][27] d[43][28] d[43][29] d[43][30] d[43][31] d[43][32] d[43][33] d[43][34] d[43][35] d[43][36] d[43][37] d[43][38] d[43][39] d[43][40] d[43][41] d[43][42] d[43][43] d[43][44] d[43][45] d[43][46] d[43][47] d[43][48] d[43][49] d[43][50] d[43][51] d[43][52] d[43][53] d[43][54] d[43][55] d[43][56] d[43][57] d[43][58] d[43][59] d[43][60] d[43][61] d[43][62] d[43][63] d[43][64] d[43][65] d[43][66] d[43][67] d[43][68] d[43][69] d[43][70] d[43][71] d[43][72] d[43][73] d[43][74] d[43][75] d[43][76] d[43][77] d[43][78] d[43][79] d[43][80] d[44][0] d[44][1] d[44][2] d[44][3] d[44][4] d[44][5] d[44][6] d[44][7] d[44][8] d[44][9] d[44][10] d[44][11] d[44][12] d[44][13] d[44][14] d[44][15] d[44][16] d[44][17] d[44][18] d[44][19] d[44][20] d[44][21] d[44][22] d[44][23] d[44][24] d[44][25] d[44][26] d[44][27] d[44][28] d[44][29] d[44][30] d[44][31] d[44][32] d[44][33] d[44][34] d[44][35] d[44][36] d[44][37] d[44][38] d[44][39] d[44][40] d[44][41] d[44][42] d[44][43] d[44][44] d[44][45] d[44][46] d[44][47] d[44][48] d[44][49] d[44][50] d[44][51] d[44][52] d[44][53] d[44][54] d[44][55] d[44][56] d[44][57] d[44][58] d[44][59] d[44][60] d[44][61] d[44][62] d[44][63] d[44][64] d[44][65] d[44][66] d[44][67] d[44][68] d[44][69] d[44][70] d[44][71] d[44][72] d[44][73] d[44][74] d[44][75] d[44][76] d[44][77] d[44][78] d[44][79] d[44][80] d[45][0] d[45][1] d[45][2] d[45][3] d[45][4] d[45][5] d[45][6] d[45][7] d[45][8] d[45][9] d[45][10] d[45][11] d[45][12] d[45][13] d[45][14] d[45][15] d[45][16] d[45][17] d[45][18] d[45][19] d[45][20] d[45][21] d[45][22] d[45][23] d[45][24] d[45][25] d[45][26] d[45][27] d[45][28] d[45][29] d[45][30] d[45][31] d[45][32] d[45][33] d[45][34] d[45][35] d[45][36] d[45][37] d[45][38] d[45][39] d[45][40] d[45][41] d[45][42] d[45][43] d[45][44] d[45][45] d[45][46] d[45][47] d[45][48] d[45][49] d[45][50] d[45][51] d[45][52] d[45][53] d[45][54] d[45][55] d[45][56] d[45][57] d[45][58] d[45][59] d[45][60] d[45][61] d[45][62] d[45][63] d[45][64] d[45][65] d[45][66] d[45][67] d[45][68] d[45][69] d[45][70] d[45][71] d[45][72] d[45][73] d[45][74] d[45][75] d[45][76] d[45][77] d[45][78] d[45][79] d[45][80] d[46][0] d[46][1] d[46][2] d[46][3] d[46][4] d[46][5] d[46][6] d[46][7] d[46][8] d[46][9] d[46][10] d[46][11] d[46][12] d[46][13] d[46][14] d[46][15] d[46][16] d[46][17] d[46][18] d[46][19] d[46][20] d[46][21] d[46][22] d[46][23] d[46][24] d[46][25] d[46][26] d[46][27] d[46][28] d[46][29] d[46][30] d[46][31] d[46][32] d[46][33] d[46][34] d[46][35] d[46][36] d[46][37] d[46][38] d[46][39] d[46][40] d[46][41] d[46][42] d[46][43] d[46][44] d[46][45] d[46][46] d[46][47] d[46][48] d[46][49] d[46][50] d[46][51] d[46][52] d[46][53] d[46][54] d[46][55] d[46][56] d[46][57] d[46][58] d[46][59] d[46][60] d[46][61] d[46][62] d[46][63] d[46][64] d[46][65] d[46][66] d[46][67] d[46][68] d[46][69] d[46][70] d[46][71] d[46][72] d[46][73] d[46][74] d[46][75] d[46][76] d[46][77] d[46][78] d[46][79] d[46][80] d[47][0] d[47][1] d[47][2] d[47][3] d[47][4] d[47][5] d[47][6] d[47][7] d[47][8] d[47][9] d[47][10] d[47][11] d[47][12] d[47][13] d[47][14] d[47][15] d[47][16] d[47][17] d[47][18] d[47][19] d[47][20] d[47][21] d[47][22] d[47][23] d[47][24] d[47][25] d[47][26] d[47][27] d[47][28] d[47][29] d[47][30] d[47][31] d[47][32] d[47][33] d[47][34] d[47][35] d[47][36] d[47][37] d[47][38] d[47][39] d[47][40] d[47][41] d[47][42] d[47][43] d[47][44] d[47][45] d[47][46] d[47][47] d[47][48] d[47][49] d[47][50] d[47][51] d[47][52] d[47][53] d[47][54] d[47][55] d[47][56] d[47][57] d[47][58] d[47][59] d[47][60] d[47][61] d[47][62] d[47][63] d[47][64] d[47][65] d[47][66] d[47][67] d[47][68] d[47][69] d[47][70] d[47][71] d[47][72] d[47][73] d[47][74] d[47][75] d[47][76] d[47][77] d[47][78] d[47][79] d[47][80] d[48][0] d[48][1] d[48][2] d[48][3] d[48][4] d[48][5] d[48][6] d[48][7] d[48][8] d[48][9] d[48][10] d[48][11] d[48][12] d[48][13] d[48][14] d[48][15] d[48][16] d[48][17] d[48][18] d[48][19] d[48][20] d[48][21] d[48][22] d[48][23] d[48][24] d[48][25] d[48][26] d[48][27] d[48][28] d[48][29] d[48][30] d[48][31] d[48][32] d[48][33] d[48][34] d[48][35] d[48][36] d[48][37] d[48][38] d[48][39] d[48][40] d[48][41] d[48][42] d[48][43] d[48][44] d[48][45] d[48][46] d[48][47] d[48][48] d[48][49] d[48][50] d[48][51] d[48][52] d[48][53] d[48][54] d[48][55] d[48][56] d[48][57] d[48][58] d[48][59] d[48][60] d[48][61] d[48][62] d[48][63] d[48][64] d[48][65] d[48][66] d[48][67] d[48][68] d[48][69] d[48][70] d[48][71] d[48][72] d[48][73] d[48][74] d[48][75] d[48][76] d[48][77] d[48][78] d[48][79] d[48][80] d[49][0] d[49][1] d[49][2] d[49][3] d[49][4] d[49][5] d[49][6] d[49][7] d[49][8] d[49][9] d[49][10] d[49][11] d[49][12] d[49][13] d[49][14] d[49][15] d[49][16] d[49][17] d[49][18] d[49][19] d[49][20] d[49][21] d[49][22] d[49][23] d[49][24] d[49][25] d[49][26] d[49][27] d[49][28] d[49][29] d[49][30] d[49][31] d[49][32] d[49][33] d[49][34] d[49][35] d[49][36] d[49][37] d[49][38] d[49][39] d[49][40] d[49][41] d[49][42] d[49][43] d[49][44] d[49][45] d[49][46] d[49][47] d[49][48] d[49][49] d[49][50] d[49][51] d[49][52] d[49][53] d[49][54] d[49][55] d[49][56] d[49][57] d[49][58] d[49][59] d[49][60] d[49][61] d[49][62] d[49][63] d[49][64] d[49][65] d[49][66] d[49][67] d[49][68] d[49][69] d[49][70] d[49][71] d[49][72] d[49][73] d[49][74] d[49][75] d[49][76] d[49][77] d[49][78] d[49][79] d[49][80] d[50][0] d[50][1] d[50][2] d[50][3] d[50][4] d[50][5] d[50][6] d[50][7] d[50][8] d[50][9] d[50][10] d[50][11] d[50][12] d[50][13] d[50][14] d[50][15] d[50][16] d[50][17] d[50][18] d[50][19] d[50][20] d[50][21] d[50][22] d[50][23] d[50][24] d[50][25] d[50][26] d[50][27] d[50][28] d[50][29] d[50][30] d[50][31] d[50][32] d[50][33] d[50][34] d[50][35] d[50][36] d[50][37] d[50][38] d[50][39] d[50][40] d[50][41] d[50][42] d[50][43] d[50][44] d[50][45] d[50][46] d[50][47] d[50][48] d[50][49] d[50][50] d[50][51] d[50][52] d[50][53] d[50][54] d[50][55] d[50][56] d[50][57] d[50][58] d[50][59] d[50][60] d[50][61] d[50][62] d[50][63] d[50][64] d[50][65] d[50][66] d[50][67] d[50][68] d[50][69] d[50][70] d[50][71] d[50][72] d[50][73] d[50][74] d[50][75] d[50][76] d[50][77] d[50][78] d[50][79] d[50][80] d[51][0] d[51][1] d[51][2] d[51][3] d[51][4] d[51][5] d[51][6] d[51][7] d[51][8] d[51][9] d[51][10] d[51][11] d[51][12] d[51][13] d[51][14] d[51][15] d[51][16] d[51][17] d[51][18] d[51][19] d[51][20] d[51][21] d[51][22] d[51][23] d[51][24] d[51][25] d[51][26] d[51][27] d[51][28] d[51][29] d[51][30] d[51][31] d[51][32] d[51][33] d[51][34] d[51][35] d[51][36] d[51][37] d[51][38] d[51][39] d[51][40] d[51][41] d[51][42] d[51][43] d[51][44] d[51][45] d[51][46] d[51][47] d[51][48] d[51][49] d[51][50] d[51][51] d[51][52] d[51][53] d[51][54] d[51][55] d[51][56] d[51][57] d[51][58] d[51][59] d[51][60] d[51][61] d[51][62] d[51][63] d[51][64] d[51][65] d[51][66] d[51][67] d[51][68] d[51][69] d[51][70] d[51][71] d[51][72] d[51][73] d[51][74] d[51][75] d[51][76] d[51][77] d[51][78] d[51][79] d[51][80] d[52][0] d[52][1] d[52][2] d[52][3] d[52][4] d[52][5] d[52][6] d[52][7] d[52][8] d[52][9] d[52][10] d[52][11] d[52][12] d[52][13] d[52][14] d[52][15] d[52][16] d[52][17] d[52][18] d[52][19] d[52][20] d[52][21] d[52][22] d[52][23] d[52][24] d[52][25] d[52][26] d[52][27] d[52][28] d[52][29] d[52][30] d[52][31] d[52][32] d[52][33] d[52][34] d[52][35] d[52][36] d[52][37] d[52][38] d[52][39] d[52][40] d[52][41] d[52][42] d[52][43] d[52][44] d[52][45] d[52][46] d[52][47] d[52][48] d[52][49] d[52][50] d[52][51] d[52][52] d[52][53] d[52][54] d[52][55] d[52][56] d[52][57] d[52][58] d[52][59] d[52][60] d[52][61] d[52][62] d[52][63] d[52][64] d[52][65] d[52][66] d[52][67] d[52][68] d[52][69] d[52][70] d[52][71] d[52][72] d[52][73] d[52][74] d[52][75] d[52][76] d[52][77] d[52][78] d[52][79] d[52][80] d[53][0] d[53][1] d[53][2] d[53][3] d[53][4] d[53][5] d[53][6] d[53][7] d[53][8] d[53][9] d[53][10] d[53][11] d[53][12] d[53][13] d[53][14] d[53][15] d[53][16] d[53][17] d[53][18] d[53][19] d[53][20] d[53][21] d[53][22] d[53][23] d[53][24] d[53][25] d[53][26] d[53][27] d[53][28] d[53][29] d[53][30] d[53][31] d[53][32] d[53][33] d[53][34] d[53][35] d[53][36] d[53][37] d[53][38] d[53][39] d[53][40] d[53][41] d[53][42] d[53][43] d[53][44] d[53][45] d[53][46] d[53][47] d[53][48] d[53][49] d[53][50] d[53][51] d[53][52] d[53][53] d[53][54] d[53][55] d[53][56] d[53][57] d[53][58] d[53][59] d[53][60] d[53][61] d[53][62] d[53][63] d[53][64] d[53][65] d[53][66] d[53][67] d[53][68] d[53][69] d[53][70] d[53][71] d[53][72] d[53][73] d[53][74] d[53][75] d[53][76] d[53][77] d[53][78] d[53][79] d[53][80] d[54][0] d[54][1] d[54][2] d[54][3] d[54][4] d[54][5] d[54][6] d[54][7] d[54][8] d[54][9] d[54][10] d[54][11] d[54][12] d[54][13] d[54][14] d[54][15] d[54][16] d[54][17] d[54][18] d[54][19] d[54][20] d[54][21] d[54][22] d[54][23] d[54][24] d[54][25] d[54][26] d[54][27] d[54][28] d[54][29] d[54][30] d[54][31] d[54][32] d[54][33] d[54][34] d[54][35] d[54][36] d[54][37] d[54][38] d[54][39] d[54][40] d[54][41] d[54][42] d[54][43] d[54][44] d[54][45] d[54][46] d[54][47] d[54][48] d[54][49] d[54][50] d[54][51] d[54][52] d[54][53] d[54][54] d[54][55] d[54][56] d[54][57] d[54][58] d[54][59] d[54][60] d[54][61] d[54][62] d[54][63] d[54][64] d[54][65] d[54][66] d[54][67] d[54][68] d[54][69] d[54][70] d[54][71] d[54][72] d[54][73] d[54][74] d[54][75] d[54][76] d[54][77] d[54][78] d[54][79] d[54][80] d[55][0] d[55][1] d[55][2] d[55][3] d[55][4] d[55][5] d[55][6] d[55][7] d[55][8] d[55][9] d[55][10] d[55][11] d[55][12] d[55][13] d[55][14] d[55][15] d[55][16] d[55][17] d[55][18] d[55][19] d[55][20] d[55][21] d[55][22] d[55][23] d[55][24] d[55][25] d[55][26] d[55][27] d[55][28] d[55][29] d[55][30] d[55][31] d[55][32] d[55][33] d[55][34] d[55][35] d[55][36] d[55][37] d[55][38] d[55][39] d[55][40] d[55][41] d[55][42] d[55][43] d[55][44] d[55][45] d[55][46] d[55][47] d[55][48] d[55][49] d[55][50] d[55][51] d[55][52] d[55][53] d[55][54] d[55][55] d[55][56] d[55][57] d[55][58] d[55][59] d[55][60] d[55][61] d[55][62] d[55][63] d[55][64] d[55][65] d[55][66] d[55][67] d[55][68] d[55][69] d[55][70] d[55][71] d[55][72] d[55][73] d[55][74] d[55][75] d[55][76] d[55][77] d[55][78] d[55][79] d[55][80] d[56][0] d[56][1] d[56][2] d[56][3] d[56][4] d[56][5] d[56][6] d[56][7] d[56][8] d[56][9] d[56][10] d[56][11] d[56][12] d[56][13] d[56][14] d[56][15] d[56][16] d[56][17] d[56][18] d[56][19] d[56][20] d[56][21] d[56][22] d[56][23] d[56][24] d[56][25] d[56][26] d[56][27] d[56][28] d[56][29] d[56][30] d[56][31] d[56][32] d[56][33] d[56][34] d[56][35] d[56][36] d[56][37] d[56][38] d[56][39] d[56][40] d[56][41] d[56][42] d[56][43] d[56][44] d[56][45] d[56][46] d[56][47] d[56][48] d[56][49] d[56][50] d[56][51] d[56][52] d[56][53] d[56][54] d[56][55] d[56][56] d[56][57] d[56][58] d[56][59] d[56][60] d[56][61] d[56][62] d[56][63] d[56][64] d[56][65] d[56][66] d[56][67] d[56][68] d[56][69] d[56][70] d[56][71] d[56][72] d[56][73] d[56][74] d[56][75] d[56][76] d[56][77] d[56][78] d[56][79] d[56][80] d[57][0] d[57][1] d[57][2] d[57][3] d[57][4] d[57][5] d[57][6] d[57][7] d[57][8] d[57][9] d[57][10] d[57][11] d[57][12] d[57][13] d[57][14] d[57][15] d[57][16] d[57][17] d[57][18] d[57][19] d[57][20] d[57][21] d[57][22] d[57][23] d[57][24] d[57][25] d[57][26] d[57][27] d[57][28] d[57][29] d[57][30] d[57][31] d[57][32] d[57][33] d[57][34] d[57][35] d[57][36] d[57][37] d[57][38] d[57][39] d[57][40] d[57][41] d[57][42] d[57][43] d[57][44] d[57][45] d[57][46] d[57][47] d[57][48] d[57][49] d[57][50] d[57][51] d[57][52] d[57][53] d[57][54] d[57][55] d[57][56] d[57][57] d[57][58] d[57][59] d[57][60] d[57][61] d[57][62] d[57][63] d[57][64] d[57][65] d[57][66] d[57][67] d[57][68] d[57][69] d[57][70] d[57][71] d[57][72] d[57][73] d[57][74] d[57][75] d[57][76] d[57][77] d[57][78] d[57][79] d[57][80] d[58][0] d[58][1] d[58][2] d[58][3] d[58][4] d[58][5] d[58][6] d[58][7] d[58][8] d[58][9] d[58][10] d[58][11] d[58][12] d[58][13] d[58][14] d[58][15] d[58][16] d[58][17] d[58][18] d[58][19] d[58][20] d[58][21] d[58][22] d[58][23] d[58][24] d[58][25] d[58][26] d[58][27] d[58][28] d[58][29] d[58][30] d[58][31] d[58][32] d[58][33] d[58][34] d[58][35] d[58][36] d[58][37] d[58][38] d[58][39] d[58][40] d[58][41] d[58][42] d[58][43] d[58][44] d[58][45] d[58][46] d[58][47] d[58][48] d[58][49] d[58][50] d[58][51] d[58][52] d[58][53] d[58][54] d[58][55] d[58][56] d[58][57] d[58][58] d[58][59] d[58][60] d[58][61] d[58][62] d[58][63] d[58][64] d[58][65] d[58][66] d[58][67] d[58][68] d[58][69] d[58][70] d[58][71] d[58][72] d[58][73] d[58][74] d[58][75] d[58][76] d[58][77] d[58][78] d[58][79] d[58][80] d[59][0] d[59][1] d[59][2] d[59][3] d[59][4] d[59][5] d[59][6] d[59][7] d[59][8] d[59][9] d[59][10] d[59][11] d[59][12] d[59][13] d[59][14] d[59][15] d[59][16] d[59][17] d[59][18] d[59][19] d[59][20] d[59][21] d[59][22] d[59][23] d[59][24] d[59][25] d[59][26] d[59][27] d[59][28] d[59][29] d[59][30] d[59][31] d[59][32] d[59][33] d[59][34] d[59][35] d[59][36] d[59][37] d[59][38] d[59][39] d[59][40] d[59][41] d[59][42] d[59][43] d[59][44] d[59][45] d[59][46] d[59][47] d[59][48] d[59][49] d[59][50] d[59][51] d[59][52] d[59][53] d[59][54] d[59][55] d[59][56] d[59][57] d[59][58] d[59][59] d[59][60] d[59][61] d[59][62] d[59][63] d[59][64] d[59][65] d[59][66] d[59][67] d[59][68] d[59][69] d[59][70] d[59][71] d[59][72] d[59][73] d[59][74] d[59][75] d[59][76] d[59][77] d[59][78] d[59][79] d[59][80] d[60][0] d[60][1] d[60][2] d[60][3] d[60][4] d[60][5] d[60][6] d[60][7] d[60][8] d[60][9] d[60][10] d[60][11] d[60][12] d[60][13] d[60][14] d[60][15] d[60][16] d[60][17] d[60][18] d[60][19] d[60][20] d[60][21] d[60][22] d[60][23] d[60][24] d[60][25] d[60][26] d[60][27] d[60][28] d[60][29] d[60][30] d[60][31] d[60][32] d[60][33] d[60][34] d[60][35] d[60][36] d[60][37] d[60][38] d[60][39] d[60][40] d[60][41] d[60][42] d[60][43] d[60][44] d[60][45] d[60][46] d[60][47] d[60][48] d[60][49] d[60][50] d[60][51] d[60][52] d[60][53] d[60][54] d[60][55] d[60][56] d[60][57] d[60][58] d[60][59] d[60][60] d[60][61] d[60][62] d[60][63] d[60][64] d[60][65] d[60][66] d[60][67] d[60][68] d[60][69] d[60][70] d[60][71] d[60][72] d[60][73] d[60][74] d[60][75] d[60][76] d[60][77] d[60][78] d[60][79] d[60][80] d[61][0] d[61][1] d[61][2] d[61][3] d[61][4] d[61][5] d[61][6] d[61][7] d[61][8] d[61][9] d[61][10] d[61][11] d[61][12] d[61][13] d[61][14] d[61][15] d[61][16] d[61][17] d[61][18] d[61][19] d[61][20] d[61][21] d[61][22] d[61][23] d[61][24] d[61][25] d[61][26] d[61][27] d[61][28] d[61][29] d[61][30] d[61][31] d[61][32] d[61][33] d[61][34] d[61][35] d[61][36] d[61][37] d[61][38] d[61][39] d[61][40] d[61][41] d[61][42] d[61][43] d[61][44] d[61][45] d[61][46] d[61][47] d[61][48] d[61][49] d[61][50] d[61][51] d[61][52] d[61][53] d[61][54] d[61][55] d[61][56] d[61][57] d[61][58] d[61][59] d[61][60] d[61][61] d[61][62] d[61][63] d[61][64] d[61][65] d[61][66] d[61][67] d[61][68] d[61][69] d[61][70] d[61][71] d[61][72] d[61][73] d[61][74] d[61][75] d[61][76] d[61][77] d[61][78] d[61][79] d[61][80] d[62][0] d[62][1] d[62][2] d[62][3] d[62][4] d[62][5] d[62][6] d[62][7] d[62][8] d[62][9] d[62][10] d[62][11] d[62][12] d[62][13] d[62][14] d[62][15] d[62][16] d[62][17] d[62][18] d[62][19] d[62][20] d[62][21] d[62][22] d[62][23] d[62][24] d[62][25] d[62][26] d[62][27] d[62][28] d[62][29] d[62][30] d[62][31] d[62][32] d[62][33] d[62][34] d[62][35] d[62][36] d[62][37] d[62][38] d[62][39] d[62][40] d[62][41] d[62][42] d[62][43] d[62][44] d[62][45] d[62][46] d[62][47] d[62][48] d[62][49] d[62][50] d[62][51] d[62][52] d[62][53] d[62][54] d[62][55] d[62][56] d[62][57] d[62][58] d[62][59] d[62][60] d[62][61] d[62][62] d[62][63] d[62][64] d[62][65] d[62][66] d[62][67] d[62][68] d[62][69] d[62][70] d[62][71] d[62][72] d[62][73] d[62][74] d[62][75] d[62][76] d[62][77] d[62][78] d[62][79] d[62][80] d[63][0] d[63][1] d[63][2] d[63][3] d[63][4] d[63][5] d[63][6] d[63][7] d[63][8] d[63][9] d[63][10] d[63][11] d[63][12] d[63][13] d[63][14] d[63][15] d[63][16] d[63][17] d[63][18] d[63][19] d[63][20] d[63][21] d[63][22] d[63][23] d[63][24] d[63][25] d[63][26] d[63][27] d[63][28] d[63][29] d[63][30] d[63][31] d[63][32] d[63][33] d[63][34] d[63][35] d[63][36] d[63][37] d[63][38] d[63][39] d[63][40] d[63][41] d[63][42] d[63][43] d[63][44] d[63][45] d[63][46] d[63][47] d[63][48] d[63][49] d[63][50] d[63][51] d[63][52] d[63][53] d[63][54] d[63][55] d[63][56] d[63][57] d[63][58] d[63][59] d[63][60] d[63][61] d[63][62] d[63][63] d[63][64] d[63][65] d[63][66] d[63][67] d[63][68] d[63][69] d[63][70] d[63][71] d[63][72] d[63][73] d[63][74] d[63][75] d[63][76] d[63][77] d[63][78] d[63][79] d[63][80] d[64][0] d[64][1] d[64][2] d[64][3] d[64][4] d[64][5] d[64][6] d[64][7] d[64][8] d[64][9] d[64][10] d[64][11] d[64][12] d[64][13] d[64][14] d[64][15] d[64][16] d[64][17] d[64][18] d[64][19] d[64][20] d[64][21] d[64][22] d[64][23] d[64][24] d[64][25] d[64][26] d[64][27] d[64][28] d[64][29] d[64][30] d[64][31] d[64][32] d[64][33] d[64][34] d[64][35] d[64][36] d[64][37] d[64][38] d[64][39] d[64][40] d[64][41] d[64][42] d[64][43] d[64][44] d[64][45] d[64][46] d[64][47] d[64][48] d[64][49] d[64][50] d[64][51] d[64][52] d[64][53] d[64][54] d[64][55] d[64][56] d[64][57] d[64][58] d[64][59] d[64][60] d[64][61] d[64][62] d[64][63] d[64][64] d[64][65] d[64][66] d[64][67] d[64][68] d[64][69] d[64][70] d[64][71] d[64][72] d[64][73] d[64][74] d[64][75] d[64][76] d[64][77] d[64][78] d[64][79] d[64][80] d[65][0] d[65][1] d[65][2] d[65][3] d[65][4] d[65][5] d[65][6] d[65][7] d[65][8] d[65][9] d[65][10] d[65][11] d[65][12] d[65][13] d[65][14] d[65][15] d[65][16] d[65][17] d[65][18] d[65][19] d[65][20] d[65][21] d[65][22] d[65][23] d[65][24] d[65][25] d[65][26] d[65][27] d[65][28] d[65][29] d[65][30] d[65][31] d[65][32] d[65][33] d[65][34] d[65][35] d[65][36] d[65][37] d[65][38] d[65][39] d[65][40] d[65][41] d[65][42] d[65][43] d[65][44] d[65][45] d[65][46] d[65][47] d[65][48] d[65][49] d[65][50] d[65][51] d[65][52] d[65][53] d[65][54] d[65][55] d[65][56] d[65][57] d[65][58] d[65][59] d[65][60] d[65][61] d[65][62] d[65][63] d[65][64] d[65][65] d[65][66] d[65][67] d[65][68] d[65][69] d[65][70] d[65][71] d[65][72] d[65][73] d[65][74] d[65][75] d[65][76] d[65][77] d[65][78] d[65][79] d[65][80] d[66][0] d[66][1] d[66][2] d[66][3] d[66][4] d[66][5] d[66][6] d[66][7] d[66][8] d[66][9] d[66][10] d[66][11] d[66][12] d[66][13] d[66][14] d[66][15] d[66][16] d[66][17] d[66][18] d[66][19] d[66][20] d[66][21] d[66][22] d[66][23] d[66][24] d[66][25] d[66][26] d[66][27] d[66][28] d[66][29] d[66][30] d[66][31] d[66][32] d[66][33] d[66][34] d[66][35] d[66][36] d[66][37] d[66][38] d[66][39] d[66][40] d[66][41] d[66][42] d[66][43] d[66][44] d[66][45] d[66][46] d[66][47] d[66][48] d[66][49] d[66][50] d[66][51] d[66][52] d[66][53] d[66][54] d[66][55] d[66][56] d[66][57] d[66][58] d[66][59] d[66][60] d[66][61] d[66][62] d[66][63] d[66][64] d[66][65] d[66][66] d[66][67] d[66][68] d[66][69] d[66][70] d[66][71] d[66][72] d[66][73] d[66][74] d[66][75] d[66][76] d[66][77] d[66][78] d[66][79] d[66][80] d[67][0] d[67][1] d[67][2] d[67][3] d[67][4] d[67][5] d[67][6] d[67][7] d[67][8] d[67][9] d[67][10] d[67][11] d[67][12] d[67][13] d[67][14] d[67][15] d[67][16] d[67][17] d[67][18] d[67][19] d[67][20] d[67][21] d[67][22] d[67][23] d[67][24] d[67][25] d[67][26] d[67][27] d[67][28] d[67][29] d[67][30] d[67][31] d[67][32] d[67][33] d[67][34] d[67][35] d[67][36] d[67][37] d[67][38] d[67][39] d[67][40] d[67][41] d[67][42] d[67][43] d[67][44] d[67][45] d[67][46] d[67][47] d[67][48] d[67][49] d[67][50] d[67][51] d[67][52] d[67][53] d[67][54] d[67][55] d[67][56] d[67][57] d[67][58] d[67][59] d[67][60] d[67][61] d[67][62] d[67][63] d[67][64] d[67][65] d[67][66] d[67][67] d[67][68] d[67][69] d[67][70] d[67][71] d[67][72] d[67][73] d[67][74] d[67][75] d[67][76] d[67][77] d[67][78] d[67][79] d[67][80] d[68][0] d[68][1] d[68][2] d[68][3] d[68][4] d[68][5] d[68][6] d[68][7] d[68][8] d[68][9] d[68][10] d[68][11] d[68][12] d[68][13] d[68][14] d[68][15] d[68][16] d[68][17] d[68][18] d[68][19] d[68][20] d[68][21] d[68][22] d[68][23] d[68][24] d[68][25] d[68][26] d[68][27] d[68][28] d[68][29] d[68][30] d[68][31] d[68][32] d[68][33] d[68][34] d[68][35] d[68][36] d[68][37] d[68][38] d[68][39] d[68][40] d[68][41] d[68][42] d[68][43] d[68][44] d[68][45] d[68][46] d[68][47] d[68][48] d[68][49] d[68][50] d[68][51] d[68][52] d[68][53] d[68][54] d[68][55] d[68][56] d[68][57] d[68][58] d[68][59] d[68][60] d[68][61] d[68][62] d[68][63] d[68][64] d[68][65] d[68][66] d[68][67] d[68][68] d[68][69] d[68][70] d[68][71] d[68][72] d[68][73] d[68][74] d[68][75] d[68][76] d[68][77] d[68][78] d[68][79] d[68][80] d[69][0] d[69][1] d[69][2] d[69][3] d[69][4] d[69][5] d[69][6] d[69][7] d[69][8] d[69][9] d[69][10] d[69][11] d[69][12] d[69][13] d[69][14] d[69][15] d[69][16] d[69][17] d[69][18] d[69][19] d[69][20] d[69][21] d[69][22] d[69][23] d[69][24] d[69][25] d[69][26] d[69][27] d[69][28] d[69][29] d[69][30] d[69][31] d[69][32] d[69][33] d[69][34] d[69][35] d[69][36] d[69][37] d[69][38] d[69][39] d[69][40] d[69][41] d[69][42] d[69][43] d[69][44] d[69][45] d[69][46] d[69][47] d[69][48] d[69][49] d[69][50] d[69][51] d[69][52] d[69][53] d[69][54] d[69][55] d[69][56] d[69][57] d[69][58] d[69][59] d[69][60] d[69][61] d[69][62] d[69][63] d[69][64] d[69][65] d[69][66] d[69][67] d[69][68] d[69][69] d[69][70] d[69][71] d[69][72] d[69][73] d[69][74] d[69][75] d[69][76] d[69][77] d[69][78] d[69][79] d[69][80] d[70][0] d[70][1] d[70][2] d[70][3] d[70][4] d[70][5] d[70][6] d[70][7] d[70][8] d[70][9] d[70][10] d[70][11] d[70][12] d[70][13] d[70][14] d[70][15] d[70][16] d[70][17] d[70][18] d[70][19] d[70][20] d[70][21] d[70][22] d[70][23] d[70][24] d[70][25] d[70][26] d[70][27] d[70][28] d[70][29] d[70][30] d[70][31] d[70][32] d[70][33] d[70][34] d[70][35] d[70][36] d[70][37] d[70][38] d[70][39] d[70][40] d[70][41] d[70][42] d[70][43] d[70][44] d[70][45] d[70][46] d[70][47] d[70][48] d[70][49] d[70][50] d[70][51] d[70][52] d[70][53] d[70][54] d[70][55] d[70][56] d[70][57] d[70][58] d[70][59] d[70][60] d[70][61] d[70][62] d[70][63] d[70][64] d[70][65] d[70][66] d[70][67] d[70][68] d[70][69] d[70][70] d[70][71] d[70][72] d[70][73] d[70][74] d[70][75] d[70][76] d[70][77] d[70][78] d[70][79] d[70][80] d[71][0] d[71][1] d[71][2] d[71][3] d[71][4] d[71][5] d[71][6] d[71][7] d[71][8] d[71][9] d[71][10] d[71][11] d[71][12] d[71][13] d[71][14] d[71][15] d[71][16] d[71][17] d[71][18] d[71][19] d[71][20] d[71][21] d[71][22] d[71][23] d[71][24] d[71][25] d[71][26] d[71][27] d[71][28] d[71][29] d[71][30] d[71][31] d[71][32] d[71][33] d[71][34] d[71][35] d[71][36] d[71][37] d[71][38] d[71][39] d[71][40] d[71][41] d[71][42] d[71][43] d[71][44] d[71][45] d[71][46] d[71][47] d[71][48] d[71][49] d[71][50] d[71][51] d[71][52] d[71][53] d[71][54] d[71][55] d[71][56] d[71][57] d[71][58] d[71][59] d[71][60] d[71][61] d[71][62] d[71][63] d[71][64] d[71][65] d[71][66] d[71][67] d[71][68] d[71][69] d[71][70] d[71][71] d[71][72] d[71][73] d[71][74] d[71][75] d[71][76] d[71][77] d[71][78] d[71][79] d[71][80] d[72][0] d[72][1] d[72][2] d[72][3] d[72][4] d[72][5] d[72][6] d[72][7] d[72][8] d[72][9] d[72][10] d[72][11] d[72][12] d[72][13] d[72][14] d[72][15] d[72][16] d[72][17] d[72][18] d[72][19] d[72][20] d[72][21] d[72][22] d[72][23] d[72][24] d[72][25] d[72][26] d[72][27] d[72][28] d[72][29] d[72][30] d[72][31] d[72][32] d[72][33] d[72][34] d[72][35] d[72][36] d[72][37] d[72][38] d[72][39] d[72][40] d[72][41] d[72][42] d[72][43] d[72][44] d[72][45] d[72][46] d[72][47] d[72][48] d[72][49] d[72][50] d[72][51] d[72][52] d[72][53] d[72][54] d[72][55] d[72][56] d[72][57] d[72][58] d[72][59] d[72][60] d[72][61] d[72][62] d[72][63] d[72][64] d[72][65] d[72][66] d[72][67] d[72][68] d[72][69] d[72][70] d[72][71] d[72][72] d[72][73] d[72][74] d[72][75] d[72][76] d[72][77] d[72][78] d[72][79] d[72][80] d[73][0] d[73][1] d[73][2] d[73][3] d[73][4] d[73][5] d[73][6] d[73][7] d[73][8] d[73][9] d[73][10] d[73][11] d[73][12] d[73][13] d[73][14] d[73][15] d[73][16] d[73][17] d[73][18] d[73][19] d[73][20] d[73][21] d[73][22] d[73][23] d[73][24] d[73][25] d[73][26] d[73][27] d[73][28] d[73][29] d[73][30] d[73][31] d[73][32] d[73][33] d[73][34] d[73][35] d[73][36] d[73][37] d[73][38] d[73][39] d[73][40] d[73][41] d[73][42] d[73][43] d[73][44] d[73][45] d[73][46] d[73][47] d[73][48] d[73][49] d[73][50] d[73][51] d[73][52] d[73][53] d[73][54] d[73][55] d[73][56] d[73][57] d[73][58] d[73][59] d[73][60] d[73][61] d[73][62] d[73][63] d[73][64] d[73][65] d[73][66] d[73][67] d[73][68] d[73][69] d[73][70] d[73][71] d[73][72] d[73][73] d[73][74] d[73][75] d[73][76] d[73][77] d[73][78] d[73][79] d[73][80] d[74][0] d[74][1] d[74][2] d[74][3] d[74][4] d[74][5] d[74][6] d[74][7] d[74][8] d[74][9] d[74][10] d[74][11] d[74][12] d[74][13] d[74][14] d[74][15] d[74][16] d[74][17] d[74][18] d[74][19] d[74][20] d[74][21] d[74][22] d[74][23] d[74][24] d[74][25] d[74][26] d[74][27] d[74][28] d[74][29] d[74][30] d[74][31] d[74][32] d[74][33] d[74][34] d[74][35] d[74][36] d[74][37] d[74][38] d[74][39] d[74][40] d[74][41] d[74][42] d[74][43] d[74][44] d[74][45] d[74][46] d[74][47] d[74][48] d[74][49] d[74][50] d[74][51] d[74][52] d[74][53] d[74][54] d[74][55] d[74][56] d[74][57] d[74][58] d[74][59] d[74][60] d[74][61] d[74][62] d[74][63] d[74][64] d[74][65] d[74][66] d[74][67] d[74][68] d[74][69] d[74][70] d[74][71] d[74][72] d[74][73] d[74][74] d[74][75] d[74][76] d[74][77] d[74][78] d[74][79] d[74][80] d[75][0] d[75][1] d[75][2] d[75][3] d[75][4] d[75][5] d[75][6] d[75][7] d[75][8] d[75][9] d[75][10] d[75][11] d[75][12] d[75][13] d[75][14] d[75][15] d[75][16] d[75][17] d[75][18] d[75][19] d[75][20] d[75][21] d[75][22] d[75][23] d[75][24] d[75][25] d[75][26] d[75][27] d[75][28] d[75][29] d[75][30] d[75][31] d[75][32] d[75][33] d[75][34] d[75][35] d[75][36] d[75][37] d[75][38] d[75][39] d[75][40] d[75][41] d[75][42] d[75][43] d[75][44] d[75][45] d[75][46] d[75][47] d[75][48] d[75][49] d[75][50] d[75][51] d[75][52] d[75][53] d[75][54] d[75][55] d[75][56] d[75][57] d[75][58] d[75][59] d[75][60] d[75][61] d[75][62] d[75][63] d[75][64] d[75][65] d[75][66] d[75][67] d[75][68] d[75][69] d[75][70] d[75][71] d[75][72] d[75][73] d[75][74] d[75][75] d[75][76] d[75][77] d[75][78] d[75][79] d[75][80] d[76][0] d[76][1] d[76][2] d[76][3] d[76][4] d[76][5] d[76][6] d[76][7] d[76][8] d[76][9] d[76][10] d[76][11] d[76][12] d[76][13] d[76][14] d[76][15] d[76][16] d[76][17] d[76][18] d[76][19] d[76][20] d[76][21] d[76][22] d[76][23] d[76][24] d[76][25] d[76][26] d[76][27] d[76][28] d[76][29] d[76][30] d[76][31] d[76][32] d[76][33] d[76][34] d[76][35] d[76][36] d[76][37] d[76][38] d[76][39] d[76][40] d[76][41] d[76][42] d[76][43] d[76][44] d[76][45] d[76][46] d[76][47] d[76][48] d[76][49] d[76][50] d[76][51] d[76][52] d[76][53] d[76][54] d[76][55] d[76][56] d[76][57] d[76][58] d[76][59] d[76][60] d[76][61] d[76][62] d[76][63] d[76][64] d[76][65] d[76][66] d[76][67] d[76][68] d[76][69] d[76][70] d[76][71] d[76][72] d[76][73] d[76][74] d[76][75] d[76][76] d[76][77] d[76][78] d[76][79] d[76][80] d[77][0] d[77][1] d[77][2] d[77][3] d[77][4] d[77][5] d[77][6] d[77][7] d[77][8] d[77][9] d[77][10] d[77][11] d[77][12] d[77][13] d[77][14] d[77][15] d[77][16] d[77][17] d[77][18] d[77][19] d[77][20] d[77][21] d[77][22] d[77][23] d[77][24] d[77][25] d[77][26] d[77][27] d[77][28] d[77][29] d[77][30] d[77][31] d[77][32] d[77][33] d[77][34] d[77][35] d[77][36] d[77][37] d[77][38] d[77][39] d[77][40] d[77][41] d[77][42] d[77][43] d[77][44] d[77][45] d[77][46] d[77][47] d[77][48] d[77][49] d[77][50] d[77][51] d[77][52] d[77][53] d[77][54] d[77][55] d[77][56] d[77][57] d[77][58] d[77][59] d[77][60] d[77][61] d[77][62] d[77][63] d[77][64] d[77][65] d[77][66] d[77][67] d[77][68] d[77][69] d[77][70] d[77][71] d[77][72] d[77][73] d[77][74] d[77][75] d[77][76] d[77][77] d[77][78] d[77][79] d[77][80] d[78][0] d[78][1] d[78][2] d[78][3] d[78][4] d[78][5] d[78][6] d[78][7] d[78][8] d[78][9] d[78][10] d[78][11] d[78][12] d[78][13] d[78][14] d[78][15] d[78][16] d[78][17] d[78][18] d[78][19] d[78][20] d[78][21] d[78][22] d[78][23] d[78][24] d[78][25] d[78][26] d[78][27] d[78][28] d[78][29] d[78][30] d[78][31] d[78][32] d[78][33] d[78][34] d[78][35] d[78][36] d[78][37] d[78][38] d[78][39] d[78][40] d[78][41] d[78][42] d[78][43] d[78][44] d[78][45] d[78][46] d[78][47] d[78][48] d[78][49] d[78][50] d[78][51] d[78][52] d[78][53] d[78][54] d[78][55] d[78][56] d[78][57] d[78][58] d[78][59] d[78][60] d[78][61] d[78][62] d[78][63] d[78][64] d[78][65] d[78][66] d[78][67] d[78][68] d[78][69] d[78][70] d[78][71] d[78][72] d[78][73] d[78][74] d[78][75] d[78][76] d[78][77] d[78][78] d[78][79] d[78][80] d[79][0] d[79][1] d[79][2] d[79][3] d[79][4] d[79][5] d[79][6] d[79][7] d[79][8] d[79][9] d[79][10] d[79][11] d[79][12] d[79][13] d[79][14] d[79][15] d[79][16] d[79][17] d[79][18] d[79][19] d[79][20] d[79][21] d[79][22] d[79][23] d[79][24] d[79][25] d[79][26] d[79][27] d[79][28] d[79][29] d[79][30] d[79][31] d[79][32] d[79][33] d[79][34] d[79][35] d[79][36] d[79][37] d[79][38] d[79][39] d[79][40] d[79][41] d[79][42] d[79][43] d[79][44] d[79][45] d[79][46] d[79][47] d[79][48] d[79][49] d[79][50] d[79][51] d[79][52] d[79][53] d[79][54] d[79][55] d[79][56] d[79][57] d[79][58] d[79][59] d[79][60] d[79][61] d[79][62] d[79][63] d[79][64] d[79][65] d[79][66] d[79][67] d[79][68] d[79][69] d[79][70] d[79][71] d[79][72] d[79][73] d[79][74] d[79][75] d[79][76] d[79][77] d[79][78] d[79][79] d[79][80] d[80][0] d[80][1] d[80][2] d[80][3] d[80][4] d[80][5] d[80][6] d[80][7] d[80][8] d[80][9] d[80][10] d[80][11] d[80][12] d[80][13] d[80][14] d[80][15] d[80][16] d[80][17] d[80][18] d[80][19] d[80][20] d[80][21] d[80][22] d[80][23] d[80][24] d[80][25] d[80][26] d[80][27] d[80][28] d[80][29] d[80][30] d[80][31] d[80][32] d[80][33] d[80][34] d[80][35] d[80][36] d[80][37] d[80][38] d[80][39] d[80][40] d[80][41] d[80][42] d[80][43] d[80][44] d[80][45] d[80][46] d[80][47] d[80][48] d[80][49] d[80][50] d[80][51] d[80][52] d[80][53] d[80][54] d[80][55] d[80][56] d[80][57] d[80][58] d[80][59] d[80][60] d[80][61] d[80][62] d[80][63] d[80][64] d[80][65] d[80][66] d[80][67] d[80][68] d[80][69] d[80][70] d[80][71] d[80][72] d[80][73] d[80][74] d[80][75] d[80][76] d[80][77] d[80][78] d[80][79] d[80][80] </list> 2400.09/2400.00 v <values>46 15 47 24 26 21 37 5 2 56 79 43 4 58 66 50 44 51 28 27 41 33 71 38 77 25 80 8 59 34 52 17 11 54 69 49 16 12 10 57 48 67 32 39 72 36 6 20 70 22 0 23 74 14 76 13 55 63 9 7 31 65 61 35 45 3 40 30 78 62 73 19 68 64 53 29 75 60 42 18 1 * 5 1 1 0 1 5 1 5 2 0 0 2 5 0 1 1 3 1 1 1 0 0 2 2 2 0 2 5 0 0 1 2 1 1 0 1 2 0 2 0 0 0 6 1 2 10 5 1 3 0 10 10 1 10 0 0 0 10 0 0 0 0 6 0 0 0 2 0 5 1 2 3 0 2 5 2 0 0 2 4 * * 0 0 0 0 3 5 3 1 1 10 5 4 2 0 2 0 0 1 1 5 0 0 2 2 0 0 2 2 3 5 0 2 5 1 0 2 2 1 5 3 0 0 2 5 2 1 0 1 10 3 1 5 1 3 5 5 0 5 0 0 0 10 10 0 0 1 10 2 0 10 2 1 5 0 10 5 1 0 4 * * * 5 2 0 2 6 5 10 0 0 5 5 0 0 2 1 2 3 5 0 3 2 0 2 2 10 0 2 3 0 2 5 10 10 10 0 1 0 2 0 10 0 4 5 2 0 0 0 4 0 0 5 1 5 10 2 0 0 0 5 5 10 0 5 2 2 2 1 0 0 0 2 0 0 10 2 0 1 0 * * * * 1 5 4 0 5 0 4 0 0 5 2 0 0 0 5 6 0 6 4 2 0 10 1 5 0 0 0 1 1 0 0 5 5 3 0 2 2 5 5 1 4 3 0 2 2 5 4 5 2 0 1 5 0 0 5 2 4 1 1 2 5 0 3 0 0 10 5 5 2 0 0 5 1 5 0 0 5 * * * * * 0 1 1 5 4 5 0 1 5 1 10 10 0 10 0 0 0 3 1 5 1 0 10 5 2 1 10 1 5 2 1 2 5 0 10 1 10 4 0 2 1 5 4 2 4 2 2 1 0 0 0 2 0 5 1 0 2 10 1 5 3 2 1 0 5 6 5 2 0 5 2 1 0 1 5 5 * * * * * * 4 1 1 5 0 0 0 5 0 0 10 0 10 0 6 1 5 0 5 5 1 0 0 5 1 0 0 10 0 0 0 1 0 4 10 0 1 0 5 3 0 5 5 5 5 2 10 3 3 0 6 5 0 0 1 5 2 2 0 5 10 0 5 2 0 5 0 0 0 0 0 4 10 2 0 * * * * * * * 1 1 0 6 5 1 2 0 2 2 4 0 1 0 0 2 5 5 0 5 3 5 5 1 0 3 5 5 0 5 2 2 10 10 0 10 1 3 1 5 0 0 0 1 1 5 0 6 2 2 0 0 2 3 0 0 2 2 10 10 10 2 2 0 0 0 1 5 10 2 5 5 5 1 * * * * * * * * 5 0 0 5 10 2 5 2 3 5 5 10 0 2 0 5 6 2 10 5 5 5 2 5 2 2 5 5 10 0 5 5 3 0 0 2 5 2 5 10 2 2 0 1 0 1 1 5 5 2 2 0 0 1 0 10 0 10 10 5 2 2 1 0 2 2 0 0 0 3 0 0 0 * * * * * * * * * 0 2 0 6 0 0 4 0 0 2 2 0 1 4 1 2 6 1 2 2 0 1 0 0 1 5 2 0 6 2 0 5 0 5 5 2 0 2 10 0 2 5 0 5 1 1 1 10 0 0 0 5 10 2 1 1 5 6 5 3 0 6 1 5 3 0 1 0 5 1 5 5 * * * * * * * * * * 0 4 1 1 0 0 0 2 2 1 2 0 5 2 5 5 0 1 2 2 0 2 5 0 10 0 5 0 5 4 1 10 0 0 2 5 5 2 1 2 2 2 0 5 5 0 2 5 2 0 0 5 10 2 2 0 10 2 0 2 2 4 1 1 0 0 10 1 1 0 0 * * * * * * * * * * * 2 5 10 5 2 0 0 5 3 0 3 1 2 2 1 5 0 2 5 2 0 6 1 5 0 1 0 5 1 3 1 0 5 10 3 0 0 5 5 1 0 5 0 5 0 3 1 4 0 1 0 0 0 0 2 1 2 5 6 5 0 0 1 0 10 0 1 2 5 5 * * * * * * * * * * * * 0 5 0 5 5 6 2 0 0 3 3 3 10 2 1 2 2 1 1 0 10 2 0 1 4 2 10 10 10 5 2 0 0 5 0 10 0 0 5 5 0 3 5 2 2 2 5 6 2 5 2 0 1 0 10 4 0 0 5 5 0 5 4 1 2 0 0 5 10 * * * * * * * * * * * * * 2 0 2 5 2 0 1 5 2 5 2 2 3 5 5 0 1 2 4 2 5 4 5 5 5 5 10 1 0 0 0 3 0 0 1 10 0 10 5 1 0 4 3 0 2 0 2 4 1 10 2 1 0 5 5 10 2 2 0 2 0 0 1 2 1 10 0 10 * * * * * * * * * * * * * * 0 10 0 0 0 3 2 0 0 0 10 5 0 5 1 0 4 2 0 4 0 0 2 5 5 1 5 4 1 10 6 5 10 2 5 0 5 10 10 0 2 5 2 3 1 0 5 6 5 5 0 0 2 5 0 2 0 2 0 2 5 0 5 1 10 5 5 * * * * * * * * * * * * * * * 2 1 0 0 0 0 5 0 2 2 1 10 5 0 4 5 2 0 5 2 2 0 5 0 10 0 2 5 3 2 2 0 5 0 10 0 4 5 0 1 2 6 1 1 0 3 1 2 5 0 3 2 2 2 4 0 3 5 5 5 2 0 1 0 0 5 * * * * * * * * * * * * * * * * 5 0 2 2 0 5 0 3 2 10 5 0 1 2 0 10 10 1 0 5 0 0 5 5 10 5 5 0 4 10 0 5 1 1 5 10 2 0 2 2 5 5 0 5 0 2 1 1 10 0 0 1 10 2 5 4 10 4 4 0 5 5 0 0 0 * * * * * * * * * * * * * * * * * 10 2 3 4 0 10 0 10 1 0 1 0 5 2 2 5 4 5 5 10 5 0 2 1 10 0 0 1 1 5 0 1 5 10 1 5 1 0 1 0 0 5 2 0 5 10 3 0 0 0 4 1 0 10 5 5 3 2 2 0 0 2 5 5 * * * * * * * * * * * * * * * * * * 2 0 10 1 0 0 1 0 0 0 0 3 5 0 0 2 4 2 5 10 6 10 2 4 0 1 0 5 1 4 0 2 0 3 5 4 2 10 10 1 5 2 5 0 10 1 10 0 0 2 1 5 0 0 2 0 0 0 5 5 3 1 0 * * * * * * * * * * * * * * * * * * * 5 0 10 5 0 3 0 6 0 1 2 1 0 5 10 5 3 4 0 3 5 0 0 0 6 2 5 0 0 5 0 4 5 5 2 1 0 0 2 0 1 0 0 3 4 10 0 5 4 6 5 2 1 0 0 1 10 2 0 1 0 0 * * * * * * * * * * * * * * * * * * * * 5 0 10 2 5 0 10 0 1 3 6 0 5 0 1 0 2 0 2 2 2 0 2 2 2 4 10 0 2 0 0 0 2 5 2 2 0 5 10 2 0 0 0 10 10 2 5 5 4 2 0 5 0 5 3 0 6 4 0 0 5 * * * * * * * * * * * * * * * * * * * * * 5 2 5 5 5 0 0 1 5 2 10 2 1 5 2 10 5 4 2 2 3 3 2 4 0 1 1 2 10 5 4 5 5 0 2 10 2 1 1 5 0 2 2 1 5 2 4 10 0 0 1 0 5 5 1 1 5 2 0 0 * * * * * * * * * * * * * * * * * * * * * * 2 0 0 10 1 5 4 0 2 10 0 1 10 0 0 2 5 1 2 5 5 5 2 10 0 5 0 0 2 0 5 5 1 2 1 0 0 1 2 0 0 0 0 2 0 2 2 5 2 0 5 10 5 2 10 2 0 0 0 * * * * * * * * * * * * * * * * * * * * * * * 5 2 0 0 5 1 2 2 5 5 3 2 0 1 1 2 5 0 3 0 3 5 2 0 5 5 5 1 2 10 0 2 2 5 0 3 10 2 5 4 0 10 1 2 2 2 3 1 2 0 2 0 1 3 5 0 5 2 * * * * * * * * * * * * * * * * * * * * * * * * 10 5 5 0 2 2 0 5 0 2 10 0 1 5 5 0 1 0 0 2 0 4 10 1 0 5 2 2 5 10 1 5 0 3 10 1 5 0 1 0 4 5 0 1 3 2 5 2 0 0 1 5 4 5 3 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * 2 5 10 0 2 5 5 2 2 5 2 0 0 1 5 1 5 5 1 5 2 2 1 1 0 2 2 1 0 1 2 0 0 0 2 0 0 5 2 1 1 1 2 0 2 5 10 2 5 1 2 0 0 2 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * 10 5 1 1 0 5 5 1 5 2 2 0 4 1 1 0 2 0 5 0 0 4 1 0 0 1 2 0 2 2 2 5 0 1 6 2 0 5 0 5 2 5 5 2 5 10 0 5 10 0 0 0 0 5 10 * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 5 5 2 0 2 2 5 5 6 4 1 6 2 0 0 2 1 0 1 4 0 2 5 2 1 3 0 10 0 1 5 2 10 4 1 0 3 2 4 5 0 0 2 2 0 2 2 0 0 0 0 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 1 1 1 0 2 2 10 6 0 10 0 10 2 0 1 1 1 5 2 2 2 2 0 0 0 0 10 0 3 0 10 2 4 5 0 2 0 1 10 1 0 0 0 0 3 1 1 2 5 0 5 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 3 1 5 2 2 1 10 3 0 0 2 10 5 3 0 10 0 0 2 10 2 0 0 0 0 0 0 5 3 5 0 0 5 0 5 5 0 0 3 2 0 5 0 0 5 0 10 0 0 10 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 5 5 0 10 0 2 1 0 5 5 3 2 1 2 0 0 3 0 5 5 6 10 5 0 10 0 5 5 0 2 0 0 5 0 0 4 5 5 5 0 0 2 0 0 2 3 2 1 1 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 0 2 0 1 2 10 0 0 6 0 0 0 5 0 1 5 6 0 5 4 5 0 6 5 3 1 10 0 0 0 0 2 5 2 1 0 2 0 0 1 0 1 10 0 2 3 5 5 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 5 1 5 0 5 1 5 0 1 5 1 2 10 10 0 2 0 1 0 10 5 2 2 5 5 5 2 1 1 3 2 0 3 5 5 5 10 0 10 0 2 0 0 2 2 5 10 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 5 0 0 2 1 1 1 0 10 5 0 3 0 5 6 3 1 1 0 1 2 5 2 5 0 1 5 5 2 0 10 5 1 3 10 10 10 2 4 0 5 1 0 4 4 4 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 0 2 2 10 0 5 0 0 2 2 1 0 0 10 2 2 0 1 5 5 5 4 0 1 0 0 5 10 10 3 0 0 5 0 5 2 0 1 5 0 0 2 2 2 0 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 5 0 5 2 6 2 0 2 0 5 2 5 6 5 5 2 0 5 2 0 0 0 0 5 0 5 5 3 2 4 3 5 2 5 0 4 0 5 1 0 0 1 10 6 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 1 1 5 2 6 6 0 0 1 4 5 0 1 10 3 4 2 4 0 2 3 0 0 0 2 4 1 0 1 5 0 2 2 1 4 0 2 5 5 0 2 1 4 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 4 0 3 5 5 1 0 4 2 4 5 2 10 2 0 10 1 2 3 1 2 2 3 10 5 3 5 0 0 0 0 0 2 0 10 3 0 0 5 1 0 5 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 10 1 10 10 0 5 1 1 10 5 0 2 1 5 1 5 0 1 10 0 0 10 0 10 2 10 4 10 4 3 5 0 2 3 2 3 0 5 10 2 0 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 2 0 6 2 1 0 1 2 10 2 6 4 0 1 2 2 1 5 5 2 6 4 1 6 10 5 0 0 0 0 0 2 5 10 1 1 0 2 1 5 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 2 0 0 5 10 0 5 5 0 5 5 10 0 10 3 2 0 2 2 5 0 1 2 1 1 0 0 10 10 0 5 5 5 5 5 1 2 2 1 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 5 5 0 5 4 5 0 5 2 5 1 5 10 2 3 0 10 0 6 2 5 5 2 10 5 2 1 0 2 5 4 0 0 2 0 2 0 5 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 5 0 5 2 3 0 0 3 5 1 2 1 3 6 0 2 10 5 5 5 5 0 2 10 1 1 0 0 2 2 0 2 0 2 10 0 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 10 5 1 5 2 2 1 0 1 5 0 0 1 1 0 0 4 5 2 1 2 5 10 1 5 2 2 2 1 10 2 5 2 0 3 5 10 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 0 0 5 10 2 2 5 0 1 5 10 2 3 5 0 0 5 3 0 5 2 2 0 1 5 0 10 2 3 0 2 2 0 1 5 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 5 0 3 0 10 5 10 6 2 2 1 2 10 4 5 0 10 5 3 0 0 5 4 2 0 1 5 3 5 5 0 5 5 5 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 1 2 10 0 0 5 2 1 1 10 0 10 5 10 2 10 5 4 5 6 1 1 10 0 5 5 1 2 6 10 1 5 0 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 3 0 10 5 5 2 0 0 5 3 0 0 2 2 5 2 2 5 10 10 5 4 0 0 6 2 2 0 2 1 5 5 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 0 0 0 0 10 5 2 1 0 0 2 3 2 4 10 2 1 5 0 0 2 2 0 10 4 4 3 2 5 5 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 6 2 10 2 4 0 2 2 10 0 1 0 0 5 0 5 0 2 5 1 2 0 0 2 1 0 2 0 1 0 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 2 2 10 5 1 0 0 0 2 2 4 5 0 2 5 5 0 2 0 5 5 10 4 0 0 2 0 0 10 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 10 2 4 1 2 1 0 10 10 0 10 10 1 0 1 0 1 0 2 5 0 1 2 0 3 2 10 2 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 5 10 0 5 10 5 2 10 0 10 5 0 5 1 0 1 10 1 5 5 0 5 0 0 5 10 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 5 1 4 5 5 5 10 0 5 0 1 1 0 0 10 1 2 0 1 2 10 3 5 0 6 5 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 5 4 5 0 2 10 2 3 6 0 0 4 0 0 0 5 1 4 0 5 0 2 5 5 10 10 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 4 5 0 0 2 0 0 0 0 1 2 4 5 2 3 5 10 2 0 0 10 5 1 1 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 5 5 4 2 0 0 5 0 2 3 5 5 1 5 10 10 6 0 2 2 0 5 10 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 4 2 0 0 10 0 0 10 5 5 10 0 5 5 1 5 0 0 1 0 5 1 1 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 2 0 1 2 0 10 5 0 6 0 5 1 5 0 3 0 1 10 0 1 4 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 2 2 1 1 2 5 5 2 0 5 0 5 0 1 5 1 0 0 5 10 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 0 0 1 5 0 0 0 0 2 5 2 0 2 2 0 1 2 2 3 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 0 0 5 3 2 0 4 4 10 1 0 0 0 5 1 5 0 2 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 4 4 1 5 0 0 6 10 1 2 2 4 2 0 2 0 2 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 4 1 4 2 5 0 10 5 5 4 0 6 0 5 2 2 1 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 5 6 0 0 1 0 2 1 5 5 6 0 0 4 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 0 0 0 1 1 1 0 2 5 0 0 3 5 10 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 0 5 3 0 2 6 2 5 2 5 2 0 2 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 5 0 2 1 0 2 0 5 5 1 5 5 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 0 2 5 0 1 1 5 1 4 1 5 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 5 1 0 5 2 1 2 2 5 2 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 6 2 2 5 0 0 5 3 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 2 2 0 4 0 3 0 10 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 10 2 1 4 5 5 2 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 0 10 2 5 2 1 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 10 0 4 0 5 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 0 0 5 2 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 4 10 0 2 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 2 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
ERROR: no instantiation found
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-4251940-1500919835/watcher-4251940-1500919835 -o /tmp/evaluation-result-4251940-1500919835/solver-4251940-1500919835 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1500914927-3626 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4251940-1500919835.xml pid=5758 running on 4 cores: 0,2,4,6 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: 2.01 2.01 2.05 3/181 5761 /proc/meminfo: memFree=32115324/32770624 swapFree=5864/113172 [pid=5761] ppid=5758 vsize=27032 CPUtime=0 cores=0,2,4,6 /proc/5761/stat : 5761 (cosoco) R 5758 5761 3595 0 -1 4202496 993 0 0 0 0 0 0 0 20 0 1 0 1522714 27680768 822 33554432000 4194304 5744392 140729089870208 140729089866856 139952944085989 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7841632 7846472 18542592 140729089877185 140729089877315 140729089877315 140729089880014 0 /proc/5761/statm: 6758 822 686 379 0 177 0 [startup+0.100204 s] /proc/loadavg: 2.01 2.01 2.05 3/181 5761 /proc/meminfo: memFree=32115324/32770624 swapFree=5864/113172 [pid=5761] ppid=5758 vsize=34436 CPUtime=0.09 cores=0,2,4,6 /proc/5761/stat : 5761 (cosoco) R 5758 5761 3595 0 -1 4202496 2825 0 0 0 9 0 0 0 20 0 1 0 1522714 35262464 2599 33554432000 4194304 5744392 140729089870208 140729089866856 139952944524288 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7841632 7846472 18542592 140729089877185 140729089877315 140729089877315 140729089880014 0 /proc/5761/statm: 8609 2599 699 379 0 2028 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 34436 [startup+0.200391 s] /proc/loadavg: 2.01 2.01 2.05 3/181 5761 /proc/meminfo: memFree=32115324/32770624 swapFree=5864/113172 [pid=5761] ppid=5758 vsize=120972 CPUtime=0.19 cores=0,2,4,6 /proc/5761/stat : 5761 (cosoco) R 5758 5761 3595 0 -1 4202496 24546 0 0 0 17 2 0 0 20 0 1 0 1522714 123875328 24327 33554432000 4194304 5744392 140729089870208 140729089866856 5202432 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7841632 7846472 18542592 140729089877185 140729089877315 140729089877315 140729089880014 0 /proc/5761/statm: 30243 24327 709 379 0 23662 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 120972 [startup+0.300377 s] /proc/loadavg: 2.01 2.01 2.05 3/181 5761 /proc/meminfo: memFree=32115324/32770624 swapFree=5864/113172 [pid=5761] ppid=5758 vsize=120972 CPUtime=0.29 cores=0,2,4,6 /proc/5761/stat : 5761 (cosoco) R 5758 5761 3595 0 -1 4202496 24546 0 0 0 27 2 0 0 20 0 1 0 1522714 123875328 24327 33554432000 4194304 5744392 140729089870208 140729089866856 139952945006480 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7841632 7846472 18542592 140729089877185 140729089877315 140729089877315 140729089880014 0 /proc/5761/statm: 30243 24327 709 379 0 23662 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 120972 [startup+0.700374 s] /proc/loadavg: 2.01 2.01 2.05 3/181 5761 /proc/meminfo: memFree=32115324/32770624 swapFree=5864/113172 [pid=5761] ppid=5758 vsize=290548 CPUtime=0.69 cores=0,2,4,6 /proc/5761/stat : 5761 (cosoco) R 5758 5761 3595 0 -1 4202496 66974 0 0 0 61 8 0 0 20 0 1 0 1522714 297521152 66764 33554432000 4194304 5744392 140729089870208 140729089857576 4892818 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 18542592 140729089877185 140729089877315 140729089877315 140729089880014 0 /proc/5761/statm: 72637 66764 748 379 0 66056 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 290548 [startup+1.50035 s] /proc/loadavg: 2.01 2.01 2.05 3/182 5762 /proc/meminfo: memFree=31850312/32770624 swapFree=5864/113044 [pid=5761] ppid=5758 vsize=296900 CPUtime=1.49 cores=0,2,4,6 /proc/5761/stat : 5761 (cosoco) R 5758 5761 3595 0 -1 4202496 68582 0 0 0 141 8 0 0 20 0 1 0 1522714 304025600 68348 33554432000 4194304 5744392 140729089870208 140729089857576 139952944085989 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 18542592 140729089877185 140729089877315 140729089877315 140729089880014 0 /proc/5761/statm: 74225 68348 762 379 0 67644 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 296900 [startup+3.10037 s] /proc/loadavg: 2.01 2.01 2.05 3/182 5762 /proc/meminfo: memFree=31819932/32770624 swapFree=5864/113044 [pid=5761] ppid=5758 vsize=378256 CPUtime=3.09 cores=0,2,4,6 /proc/5761/stat : 5761 (cosoco) R 5758 5761 3595 0 -1 4202496 133931 0 0 0 296 13 0 0 20 0 1 0 1522714 387334144 88520 33554432000 4194304 5744392 140729089870208 140729089857576 4891676 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 18542592 140729089877185 140729089877315 140729089877315 140729089880014 0 /proc/5761/statm: 94564 88520 762 379 0 87983 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 378256 [startup+6.30036 s] /proc/loadavg: 2.01 2.01 2.05 3/182 5762 /proc/meminfo: memFree=31750516/32770624 swapFree=5864/113044 [pid=5761] ppid=5758 vsize=393032 CPUtime=6.29 cores=0,2,4,6 /proc/5761/stat : 5761 (cosoco) R 5758 5761 3595 0 -1 4202496 235845 0 0 0 610 19 0 0 20 0 1 0 1522714 402464768 91785 33554432000 4194304 5744392 140729089870208 140729089867112 4892784 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 18542592 140729089877185 140729089877315 140729089877315 140729089880014 0 /proc/5761/statm: 98258 91785 762 379 0 91677 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 393032 [startup+12.7003 s] /proc/loadavg: 2.01 2.01 2.05 3/182 5762 /proc/meminfo: memFree=31748864/32770624 swapFree=5864/113044 [pid=5761] ppid=5758 vsize=393368 CPUtime=12.69 cores=0,2,4,6 /proc/5761/stat : 5761 (cosoco) R 5758 5761 3595 0 -1 4202496 293075 0 0 0 1248 21 0 0 20 0 1 0 1522714 402808832 91877 33554432000 4194304 5744392 140729089870208 140729089867112 5118784 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 18542592 140729089877185 140729089877315 140729089877315 140729089880014 0 /proc/5761/statm: 98342 91877 763 379 0 91761 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 393368 [startup+25.5003 s] /proc/loadavg: 2.09 2.03 2.05 3/182 5762 /proc/meminfo: memFree=31745032/32770624 swapFree=5864/113044 [pid=5761] ppid=5758 vsize=396828 CPUtime=25.49 cores=0,2,4,6 /proc/5761/stat : 5761 (cosoco) R 5758 5761 3595 0 -1 4202496 372801 0 0 0 2523 26 0 0 20 0 1 0 1522714 406351872 92655 33554432000 4194304 5744392 140729089870208 140729089867000 5024415 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 18542592 140729089877185 140729089877315 140729089877315 140729089880014 0 /proc/5761/statm: 99207 92655 763 379 0 92626 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 396828 [startup+51.1004 s] /proc/loadavg: 2.06 2.03 2.05 3/182 5762 /proc/meminfo: memFree=31741140/32770624 swapFree=5864/113056 [pid=5761] ppid=5758 vsize=400836 CPUtime=51.09 cores=0,2,4,6 /proc/5761/stat : 5761 (cosoco) R 5758 5761 3595 0 -1 4202496 488437 0 0 0 5076 33 0 0 20 0 1 0 1522714 410456064 93627 33554432000 4194304 5744392 140729089870208 140729089867816 4892791 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 18542592 140729089877185 140729089877315 140729089877315 140729089880014 0 /proc/5761/statm: 100209 93627 763 379 0 93628 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 400836 [startup+102.3 s] /proc/loadavg: 2.02 2.02 2.05 3/182 5763 /proc/meminfo: memFree=31735716/32770624 swapFree=5864/113092 [pid=5761] ppid=5758 vsize=406984 CPUtime=102.28 cores=0,2,4,6 /proc/5761/stat : 5761 (cosoco) R 5758 5761 3595 0 -1 4202496 555261 0 0 0 10191 37 0 0 20 0 1 0 1522714 416751616 95094 33554432000 4194304 5744392 140729089870208 140729089867000 4892756 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 18542592 140729089877185 140729089877315 140729089877315 140729089880014 0 /proc/5761/statm: 101746 95094 763 379 0 95165 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 406984 [startup+162.3 s] /proc/loadavg: 2.01 2.02 2.05 3/182 5764 /proc/meminfo: memFree=31733408/32770624 swapFree=5864/113120 [pid=5761] ppid=5758 vsize=408800 CPUtime=162.27 cores=0,2,4,6 /proc/5761/stat : 5761 (cosoco) R 5758 5761 3595 0 -1 4202496 595954 0 0 0 16188 39 0 0 20 0 1 0 1522714 418611200 95545 33554432000 4194304 5744392 140729089870208 140729089867000 5024241 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 18542592 140729089877185 140729089877315 140729089877315 140729089880014 0 /proc/5761/statm: 102200 95545 763 379 0 95619 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 408800 [startup+222.306 s] /proc/loadavg: 2.00 2.01 2.05 3/182 5765 /proc/meminfo: memFree=31732416/32770624 swapFree=5864/113164 [pid=5761] ppid=5758 vsize=409496 CPUtime=222.28 cores=0,2,4,6 /proc/5761/stat : 5761 (cosoco) R 5758 5761 3595 0 -1 4202496 613877 0 0 0 22187 41 0 0 20 0 1 0 1522714 419323904 95798 33554432000 4194304 5744392 140729089870208 140729089867000 4872444 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 18542592 140729089877185 140729089877315 140729089877315 140729089880014 0 /proc/5761/statm: 102374 95798 763 379 0 95793 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 409496 [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 5766 /proc/meminfo: memFree=31730168/32770624 swapFree=5864/113184 [pid=5761] ppid=5758 vsize=410040 CPUtime=282.27 cores=0,2,4,6 /proc/5761/stat : 5761 (cosoco) R 5758 5761 3595 0 -1 4202496 618988 0 0 0 28186 41 0 0 20 0 1 0 1522714 419880960 96599 33554432000 4194304 5744392 140729089870208 140729089867144 4892782 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 18542592 140729089877185 140729089877315 140729089877315 140729089880014 0 /proc/5761/statm: 102510 96599 763 379 0 95929 0 Current children cumulated CPU time (s) 282.27 Current children cumulated vsize (KiB) 410040 [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 5767 /proc/meminfo: memFree=31729548/32770624 swapFree=5864/113212 [pid=5761] ppid=5758 vsize=410448 CPUtime=342.27 cores=0,2,4,6 /proc/5761/stat : 5761 (cosoco) R 5758 5761 3595 0 -1 4202496 619751 0 0 0 34186 41 0 0 20 0 1 0 1522714 420298752 96709 33554432000 4194304 5744392 140729089870208 140729089867000 4892814 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 18542592 140729089877185 140729089877315 140729089877315 140729089880014 0 /proc/5761/statm: 102612 96709 763 379 0 96031 0 Current children cumulated CPU time (s) 342.27 Current children cumulated vsize (KiB) 410448 [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 5768 /proc/meminfo: memFree=31729444/32770624 swapFree=5864/113248 [pid=5761] ppid=5758 vsize=410448 CPUtime=402.28 cores=0,2,4,6 /proc/5761/stat : 5761 (cosoco) R 5758 5761 3595 0 -1 4202496 620180 0 0 0 40187 41 0 0 20 0 1 0 1522714 420298752 96709 33554432000 4194304 5744392 140729089870208 140729089867000 4946152 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 18542592 140729089877185 140729089877315 140729089877315 140729089880014 0 /proc/5761/statm: 102612 96709 763 379 0 96031 0 Current children cumulated CPU time (s) 402.28 Current children cumulated vsize (KiB) 410448 [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 5769 /proc/meminfo: memFree=31729520/32770624 swapFree=5864/113280 [pid=5761] ppid=5758 vsize=410448 CPUtime=462.28 cores=0,2,4,6 /proc/5761/stat : 5761 (cosoco) R 5758 5761 3595 0 -1 4202496 620585 0 0 0 46187 41 0 0 20 0 1 0 1522714 420298752 96709 33554432000 4194304 5744392 140729089870208 140729089867000 5123281 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 18542592 140729089877185 140729089877315 140729089877315 140729089880014 0 /proc/5761/statm: 102612 96709 763 379 0 96031 0 Current children cumulated CPU time (s) 462.28 Current children cumulated vsize (KiB) 410448 [startup+522.3 s] /proc/loadavg: 2.07 2.03 2.05 3/182 5770 /proc/meminfo: memFree=31728168/32770624 swapFree=5864/113320 [pid=5761] ppid=5758 vsize=410724 CPUtime=522.28 cores=0,2,4,6 /proc/5761/stat : 5761 (cosoco) R 5758 5761 3595 0 -1 4202496 621274 0 0 0 52187 41 0 0 20 0 1 0 1522714 420581376 96823 33554432000 4194304 5744392 140729089870208 140729089867000 5140573 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 18542592 140729089877185 140729089877315 140729089877315 140729089880014 0 /proc/5761/statm: 102681 96823 763 379 0 96100 0 Current children cumulated CPU time (s) 522.28 Current children cumulated vsize (KiB) 410724 [startup+582.3 s] /proc/loadavg: 2.03 2.02 2.05 3/182 5778 /proc/meminfo: memFree=31727820/32770624 swapFree=5864/113352 [pid=5761] ppid=5758 vsize=410724 CPUtime=582.29 cores=0,2,4,6 /proc/5761/stat : 5761 (cosoco) R 5758 5761 3595 0 -1 4202496 621546 0 0 0 58188 41 0 0 20 0 1 0 1522714 420581376 96823 33554432000 4194304 5744392 140729089870208 140729089867000 5024250 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 18542592 140729089877185 140729089877315 140729089877315 140729089880014 0 /proc/5761/statm: 102681 96823 763 379 0 96100 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 410724 ################ # More data... # ################ [startup+1482.3 s] /proc/loadavg: 2.01 2.02 2.05 3/182 5802 /proc/meminfo: memFree=31727432/32770624 swapFree=5864/113860 [pid=5761] ppid=5758 vsize=411132 CPUtime=1482.33 cores=0,2,4,6 /proc/5761/stat : 5761 (cosoco) R 5758 5761 3595 0 -1 4202496 625435 0 0 0 148192 41 0 0 20 0 1 0 1522714 420999168 96933 33554432000 4194304 5744392 140729089870208 140729089867816 4892814 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 18542592 140729089877185 140729089877315 140729089877315 140729089880014 0 /proc/5761/statm: 102783 96933 763 379 0 96202 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 411132 [startup+1542.31 s] /proc/loadavg: 2.12 2.05 2.05 3/182 5803 /proc/meminfo: memFree=31727596/32770624 swapFree=5864/113884 [pid=5761] ppid=5758 vsize=411132 CPUtime=1542.34 cores=0,2,4,6 /proc/5761/stat : 5761 (cosoco) R 5758 5761 3595 0 -1 4202496 625663 0 0 0 154193 41 0 0 20 0 1 0 1522714 420999168 96933 33554432000 4194304 5744392 140729089870208 140729089867816 4891615 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 18542592 140729089877185 140729089877315 140729089877315 140729089880014 0 /proc/5761/statm: 102783 96933 763 379 0 96202 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 411132 [startup+1602.3 s] /proc/loadavg: 2.04 2.04 2.05 3/182 5804 /proc/meminfo: memFree=31727756/32770624 swapFree=5864/113916 [pid=5761] ppid=5758 vsize=411132 CPUtime=1602.34 cores=0,2,4,6 /proc/5761/stat : 5761 (cosoco) R 5758 5761 3595 0 -1 4202496 625881 0 0 0 160193 41 0 0 20 0 1 0 1522714 420999168 96933 33554432000 4194304 5744392 140729089870208 140729089867816 4892985 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 18542592 140729089877185 140729089877315 140729089877315 140729089880014 0 /proc/5761/statm: 102783 96933 763 379 0 96202 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 411132 [startup+1662.3 s] /proc/loadavg: 2.02 2.03 2.05 3/182 5805 /proc/meminfo: memFree=31727500/32770624 swapFree=5864/113940 [pid=5761] ppid=5758 vsize=411132 CPUtime=1662.34 cores=0,2,4,6 /proc/5761/stat : 5761 (cosoco) R 5758 5761 3595 0 -1 4202496 626108 0 0 0 166193 41 0 0 20 0 1 0 1522714 420999168 96933 33554432000 4194304 5744392 140729089870208 140729089867816 4891593 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 18542592 140729089877185 140729089877315 140729089877315 140729089880014 0 /proc/5761/statm: 102783 96933 763 379 0 96202 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 411132 [startup+1722.3 s] /proc/loadavg: 2.01 2.03 2.05 3/182 5806 /proc/meminfo: memFree=31727432/32770624 swapFree=5864/113980 [pid=5761] ppid=5758 vsize=411132 CPUtime=1722.35 cores=0,2,4,6 /proc/5761/stat : 5761 (cosoco) R 5758 5761 3595 0 -1 4202496 626322 0 0 0 172194 41 0 0 20 0 1 0 1522714 420999168 96933 33554432000 4194304 5744392 140729089870208 140729089867816 4892830 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 18542592 140729089877185 140729089877315 140729089877315 140729089880014 0 /proc/5761/statm: 102783 96933 763 379 0 96202 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 411132 [startup+1782.3 s] /proc/loadavg: 2.00 2.02 2.05 3/183 5815 /proc/meminfo: memFree=31726200/32770624 swapFree=5864/114016 [pid=5761] ppid=5758 vsize=411132 CPUtime=1782.36 cores=0,2,4,6 /proc/5761/stat : 5761 (cosoco) R 5758 5761 3595 0 -1 4202496 626547 0 0 0 178194 42 0 0 20 0 1 0 1522714 420999168 96933 33554432000 4194304 5744392 140729089870208 140729089867816 4891639 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 18542592 140729089877185 140729089877315 140729089877315 140729089880014 0 /proc/5761/statm: 102783 96933 763 379 0 96202 0 Current children cumulated CPU time (s) 1782.36 Current children cumulated vsize (KiB) 411132 [startup+1842.3 s] /proc/loadavg: 2.00 2.02 2.05 3/183 5816 /proc/meminfo: memFree=31726200/32770624 swapFree=5864/114036 [pid=5761] ppid=5758 vsize=411132 CPUtime=1842.36 cores=0,2,4,6 /proc/5761/stat : 5761 (cosoco) R 5758 5761 3595 0 -1 4202496 626761 0 0 0 184194 42 0 0 20 0 1 0 1522714 420999168 96933 33554432000 4194304 5744392 140729089870208 140729089867816 4946156 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 18542592 140729089877185 140729089877315 140729089877315 140729089880014 0 /proc/5761/statm: 102783 96933 763 379 0 96202 0 Current children cumulated CPU time (s) 1842.36 Current children cumulated vsize (KiB) 411132 [startup+1902.3 s] /proc/loadavg: 2.00 2.01 2.05 3/183 5817 /proc/meminfo: memFree=31726920/32770624 swapFree=5864/114080 [pid=5761] ppid=5758 vsize=411132 CPUtime=1902.37 cores=0,2,4,6 /proc/5761/stat : 5761 (cosoco) R 5758 5761 3595 0 -1 4202496 626983 0 0 0 190195 42 0 0 20 0 1 0 1522714 420999168 96933 33554432000 4194304 5744392 140729089870208 140729089867816 4892787 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 18542592 140729089877185 140729089877315 140729089877315 140729089880014 0 /proc/5761/statm: 102783 96933 763 379 0 96202 0 Current children cumulated CPU time (s) 1902.37 Current children cumulated vsize (KiB) 411132 [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.05 3/183 5818 /proc/meminfo: memFree=31727044/32770624 swapFree=5864/114104 [pid=5761] ppid=5758 vsize=411132 CPUtime=1962.37 cores=0,2,4,6 /proc/5761/stat : 5761 (cosoco) R 5758 5761 3595 0 -1 4202496 627201 0 0 0 196195 42 0 0 20 0 1 0 1522714 420999168 96933 33554432000 4194304 5744392 140729089870208 140729089867816 4893009 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 18542592 140729089877185 140729089877315 140729089877315 140729089880014 0 /proc/5761/statm: 102783 96933 763 379 0 96202 0 Current children cumulated CPU time (s) 1962.37 Current children cumulated vsize (KiB) 411132 [startup+2022.3 s] /proc/loadavg: 2.14 2.05 2.06 3/183 5819 /proc/meminfo: memFree=31727312/32770624 swapFree=5864/114140 [pid=5761] ppid=5758 vsize=411132 CPUtime=2022.37 cores=0,2,4,6 /proc/5761/stat : 5761 (cosoco) R 5758 5761 3595 0 -1 4202496 627421 0 0 0 202195 42 0 0 20 0 1 0 1522714 420999168 96933 33554432000 4194304 5744392 140729089870208 140729089867816 4892791 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 18542592 140729089877185 140729089877315 140729089877315 140729089880014 0 /proc/5761/statm: 102783 96933 763 379 0 96202 0 Current children cumulated CPU time (s) 2022.37 Current children cumulated vsize (KiB) 411132 [startup+2082.3 s] /proc/loadavg: 2.05 2.04 2.05 3/182 5820 /proc/meminfo: memFree=31727444/32770624 swapFree=5864/114168 [pid=5761] ppid=5758 vsize=411132 CPUtime=2082.38 cores=0,2,4,6 /proc/5761/stat : 5761 (cosoco) R 5758 5761 3595 0 -1 4202496 627646 0 0 0 208196 42 0 0 20 0 1 0 1522714 420999168 96933 33554432000 4194304 5744392 140729089870208 140729089867816 4892821 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 18542592 140729089877185 140729089877315 140729089877315 140729089880014 0 /proc/5761/statm: 102783 96933 763 379 0 96202 0 Current children cumulated CPU time (s) 2082.38 Current children cumulated vsize (KiB) 411132 [startup+2142.3 s] /proc/loadavg: 2.02 2.03 2.05 3/182 5821 /proc/meminfo: memFree=31727356/32770624 swapFree=5864/114204 [pid=5761] ppid=5758 vsize=411132 CPUtime=2142.38 cores=0,2,4,6 /proc/5761/stat : 5761 (cosoco) R 5758 5761 3595 0 -1 4202496 627864 0 0 0 214196 42 0 0 20 0 1 0 1522714 420999168 96933 33554432000 4194304 5744392 140729089870208 140729089867816 4892853 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 18542592 140729089877185 140729089877315 140729089877315 140729089880014 0 /proc/5761/statm: 102783 96933 763 379 0 96202 0 Current children cumulated CPU time (s) 2142.38 Current children cumulated vsize (KiB) 411132 [startup+2202.31 s] /proc/loadavg: 2.01 2.03 2.05 3/182 5822 /proc/meminfo: memFree=31727240/32770624 swapFree=5864/114232 [pid=5761] ppid=5758 vsize=411132 CPUtime=2202.39 cores=0,2,4,6 /proc/5761/stat : 5761 (cosoco) R 5758 5761 3595 0 -1 4202496 628229 0 0 0 220197 42 0 0 20 0 1 0 1522714 420999168 96933 33554432000 4194304 5744392 140729089870208 140729089867816 5024224 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 18542592 140729089877185 140729089877315 140729089877315 140729089880014 0 /proc/5761/statm: 102783 96933 763 379 0 96202 0 Current children cumulated CPU time (s) 2202.39 Current children cumulated vsize (KiB) 411132 [startup+2262.3 s] /proc/loadavg: 2.00 2.02 2.05 3/182 5823 /proc/meminfo: memFree=31727164/32770624 swapFree=5864/114260 [pid=5761] ppid=5758 vsize=411132 CPUtime=2262.38 cores=0,2,4,6 /proc/5761/stat : 5761 (cosoco) R 5758 5761 3595 0 -1 4202496 628532 0 0 0 226196 42 0 0 20 0 1 0 1522714 420999168 96933 33554432000 4194304 5744392 140729089870208 140729089867816 4948100 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 18542592 140729089877185 140729089877315 140729089877315 140729089880014 0 /proc/5761/statm: 102783 96933 763 379 0 96202 0 Current children cumulated CPU time (s) 2262.38 Current children cumulated vsize (KiB) 411132 [startup+2322.3 s] /proc/loadavg: 2.00 2.02 2.05 3/182 5824 /proc/meminfo: memFree=31726828/32770624 swapFree=5864/114300 [pid=5761] ppid=5758 vsize=411132 CPUtime=2322.39 cores=0,2,4,6 /proc/5761/stat : 5761 (cosoco) R 5758 5761 3595 0 -1 4202496 628757 0 0 0 232197 42 0 0 20 0 1 0 1522714 420999168 96933 33554432000 4194304 5744392 140729089870208 140729089867816 4892830 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 18542592 140729089877185 140729089877315 140729089877315 140729089880014 0 /proc/5761/statm: 102783 96933 763 379 0 96202 0 Current children cumulated CPU time (s) 2322.39 Current children cumulated vsize (KiB) 411132 [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 5832 /proc/meminfo: memFree=31726348/32770624 swapFree=5864/114332 [pid=5761] ppid=5758 vsize=411132 CPUtime=2382.39 cores=0,2,4,6 /proc/5761/stat : 5761 (cosoco) R 5758 5761 3595 0 -1 4202496 629000 0 0 0 238197 42 0 0 20 0 1 0 1522714 420999168 96933 33554432000 4194304 5744392 140729089870208 140729089867816 4892791 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 18542592 140729089877185 140729089877315 140729089877315 140729089880014 0 /proc/5761/statm: 102783 96933 763 379 0 96202 0 Current children cumulated CPU time (s) 2382.39 Current children cumulated vsize (KiB) 411132 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400 s] /proc/loadavg: 2.00 2.01 2.05 3/182 5893 /proc/meminfo: memFree=31619396/32770624 swapFree=5864/114408 [pid=5761] ppid=5758 vsize=411132 CPUtime=2400.09 cores=0,2,4,6 /proc/5761/stat : 5761 (cosoco) R 5758 5761 3595 0 -1 4202496 629004 0 0 0 239967 42 0 0 20 0 1 0 1522714 420999168 96933 33554432000 4194304 5744392 140729089870208 140729089867816 4892896 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 18542592 140729089877185 140729089877315 140729089877315 140729089880014 0 /proc/5761/statm: 102783 96933 763 379 0 96202 0 Current children cumulated CPU time (s) 2400.09 Current children cumulated vsize (KiB) 411132 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 5761 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2400 CPU time (s): 2400.1 CPU user time (s): 2399.68 CPU system time (s): 0.423024 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 411132 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.68 system time used= 0.423024 maximum resident set size= 387780 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 629037 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 78 involuntary context switches= 634 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.72826 second user time and 11.7825 second system time The end
Begin job on node105 at 2017-07-24 20:10:35 IDJOB=4251940 IDBENCH=123121 IDSOLVER=2633 FILE ID=node105/4251940-1500919835 RUNJOBID= node105-1500914927-3626 PBS_JOBID= 20625417 Free space on /tmp= 61776 MiB SOLVER NAME= cosoco-mini 1.1 BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-sko81.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4251940-1500919835/watcher-4251940-1500919835 -o /tmp/evaluation-result-4251940-1500919835/solver-4251940-1500919835 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1500914927-3626 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4251940-1500919835.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7967f0a5d6026ea184db99fec624e08d RANDOM SEED=219516191 node105.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.44 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.44 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.44 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.44 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 32115696 kB MemAvailable: 32048316 kB Buffers: 32828 kB Cached: 214224 kB SwapCached: 0 kB Active: 183940 kB Inactive: 121992 kB Active(anon): 61500 kB Inactive(anon): 8560 kB Active(file): 122440 kB Inactive(file): 113432 kB Unevictable: 5864 kB Mlocked: 5864 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2448 kB Writeback: 0 kB AnonPages: 64000 kB Mapped: 28148 kB Shmem: 8848 kB Slab: 50484 kB SReclaimable: 25168 kB SUnreclaim: 25316 kB KernelStack: 3264 kB PageTables: 4440 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 300540 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 4096 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 95616 kB DirectMap2M: 33449984 kB Free space on /tmp at the end= 61672 MiB End job on node105 at 2017-07-24 20:50:35