Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco-mini 1.1 (2017-07-29) | SAT (TO) | 7687952 | 2400.02 | 2400.21 |
Name | QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai80a.xml |
MD5SUM | c9a66f606132a3c8760ec6756f0c4250 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 7687952 |
Best CPU time to get the best result obtained on this benchmark | 2400.02 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 6480 |
Number of constraints | 3128 |
Number of domains | 2 |
Minimum domain size | 80 |
Maximum domain size | 100 |
Distribution of domain sizes | [{"size":80,"count":80},{"size":100,"count":3127}] |
Minimum variable degree | 0 |
Maximum variable degree | 80 |
Distribution of variable degrees | [{"degree":0,"count":3273},{"degree":2,"count":3127},{"degree":77,"count":3},{"degree":78,"count":14},{"degree":79,"count":29},{"degree":80,"count":34}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 80 |
Distribution of constraint arities | [{"arity":3,"count":3127},{"arity":80,"count":1}] |
Number of extensional constraints | 3127 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":3127},{"type":"allDifferent","count":1}] |
Optimization problem | YES |
Type of objective | min SUM |
0.33/0.46 c best=?? lower=-15723972 upper=0 8.13/8.25 c 8.13/8.25 c This is cosoco 1.1 -- 8.13/8.25 c 8.13/8.25 c command line: cosoco -lc -model -restarts HOME/instance-4259997-1502020305.xml 8.13/8.25 c enable optimization 8.13/8.25 c ========================================[ Problem Statistics ]=========================================== 8.13/8.25 c | 8.13/8.25 c | Parse time : 0.34 s 8.13/8.25 c | 8.13/8.25 c | Variables: 6480 8.13/8.25 c | Domain Sizes: 80..100 8.13/8.25 c | 8.13/8.25 c | Constraints: 3129 8.13/8.25 c | Arity: 3..3127 -- Ternary: 3127 8.13/8.25 c | 8.13/8.25 c | Types: 8.13/8.25 c | All Different: 1 8.13/8.25 c | Extension: 3127 (nb tuples: 6320..6320) -- (shared: 3126) 8.13/8.25 c | Sum: 1 8.13/8.25 c | 8.13/8.25 c ========================================================================================================= 8.13/8.25 o -7692307 8.13/8.25 c 1 calls to solver: best=-7692307 lower=-7692306 upper=0 1349.44/1349.62 o -7689733 2078.41/2078.61 o -7687952 2078.41/2078.61 c 3 calls to solver: best=-7687952 lower=-7687951 upper=0 2400.00/2400.20 2400.00/2400.20 c *** INTERRUPTED *** 2400.00/2400.20 c restarts : 49 2400.00/2400.20 c conflicts : 109731 (46 /sec) 2400.00/2400.20 c decisions : 5085512 (2119 /sec) 2400.00/2400.20 c propagations : 309551371 (128994 /sec) 2400.00/2400.20 c root propagations : 316825 2400.00/2400.20 c filter calls : 66283978 (27621 /sec) 2400.00/2400.20 c useless filter calls : 55987740 (84 %) 2400.00/2400.20 c Memory used : 366.32 MB 2400.00/2400.20 c CPU time : 2399.73 s 2400.00/2400.20 2400.00/2400.20 c nb Solutions = 3 2400.00/2400.20 s SATISFIABLE 2400.00/2400.20 c Best value found: -7687952 2400.00/2400.20 2400.00/2400.20 2400.00/2400.20 v <instantiation type='solution' cost='-7687952'> 2400.00/2400.20 v <list>d[0][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[0][8] d[0][9] d[10][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[10][8] d[10][9] d[11][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[11][8] d[11][9] d[12][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[12][8] d[12][9] d[13][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[13][8] d[13][9] d[14][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[14][8] d[14][9] d[15][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[15][8] d[15][9] d[16][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[16][8] d[16][9] d[17][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[17][8] d[17][9] d[18][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[18][8] d[18][9] d[19][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[19][8] d[19][9] d[1][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[1][8] d[1][9] d[20][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[20][8] d[20][9] d[21][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[21][8] d[21][9] d[22][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[22][8] d[22][9] d[23][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[23][8] d[23][9] d[24][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[24][8] d[24][9] d[25][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[25][8] d[25][9] d[26][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[26][8] d[26][9] d[27][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[27][8] d[27][9] d[28][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[28][8] d[28][9] d[29][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[29][8] d[29][9] d[2][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[2][8] d[2][9] d[30][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[30][8] d[30][9] d[31][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[31][8] d[31][9] d[32][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[32][8] d[32][9] d[33][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[33][8] d[33][9] d[34][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[34][8] d[34][9] d[35][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[35][8] d[35][9] d[36][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[36][8] d[36][9] d[37][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[37][8] d[37][9] d[38][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[38][8] d[38][9] d[39][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[39][8] d[39][9] d[3][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[3][8] d[3][9] d[40][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[40][8] d[40][9] d[41][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[41][8] d[41][9] d[42][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[42][8] d[42][9] d[43][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[43][8] d[43][9] d[44][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[44][8] d[44][9] d[45][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[45][8] d[45][9] d[46][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[46][8] d[46][9] d[47][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[47][8] d[47][9] d[48][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[48][8] d[48][9] d[49][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[49][8] d[49][9] d[4][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[4][8] d[4][9] d[50][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[50][8] d[50][9] d[51][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[51][8] d[51][9] d[52][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[52][8] d[52][9] d[53][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[53][8] d[53][9] d[54][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[54][8] d[54][9] d[55][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[55][8] d[55][9] d[56][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[56][8] d[56][9] d[57][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[57][8] d[57][9] d[58][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[58][8] d[58][9] d[59][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[59][8] d[59][9] d[5][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[5][8] d[5][9] d[60][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[60][8] d[60][9] d[61][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[61][8] d[61][9] d[62][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[62][8] d[62][9] d[63][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[63][8] d[63][9] d[64][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[64][8] d[64][9] d[65][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[65][8] d[65][9] d[66][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[66][8] d[66][9] d[67][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[67][8] d[67][9] d[68][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[68][8] d[68][9] d[69][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[69][8] d[69][9] d[6][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[6][8] d[6][9] d[70][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[70][8] d[70][9] d[71][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[71][8] d[71][9] d[72][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[72][8] d[72][9] d[73][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[73][8] d[73][9] d[74][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[74][8] d[74][9] d[75][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[75][8] d[75][9] d[76][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[76][8] d[76][9] d[77][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[77][8] d[77][9] d[78][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[78][8] d[78][9] d[79][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[79][8] d[79][9] d[7][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[7][8] d[7][9] d[8][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[8][8] d[8][9] d[9][0] 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][1] 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][2] 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][3] 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][4] 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][5] 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][6] 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][7] d[9][8] d[9][9] x[0] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[1] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[2] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[3] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[4] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[5] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[6] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[7] x[8] x[9] </list> 2400.00/2400.20 v <values>* 49 75 26 55 54 42 84 47 63 2 67 83 48 49 1 35 8 46 55 85 84 5 31 53 34 35 31 58 1 37 59 37 73 97 27 21 91 86 35 16 91 51 26 58 26 17 17 20 17 * 80 42 25 24 99 35 4 43 15 32 78 74 42 71 82 89 74 84 6 13 77 67 3 41 85 47 50 78 8 * * 79 83 13 98 * 55 68 32 86 * 66 44 25 17 33 96 0 33 28 29 * 74 14 53 16 47 53 18 71 24 30 * 56 55 35 58 68 65 13 9 55 84 * 33 80 38 14 6 92 99 73 30 19 * 98 48 53 84 98 76 23 37 17 24 * 88 5 97 78 71 87 87 92 91 93 * * * * * * 21 37 66 58 16 89 80 74 * 81 9 35 79 36 94 53 82 99 55 * 40 94 29 19 67 89 42 75 33 42 * 46 1 42 34 27 87 56 30 54 8 * 71 97 32 79 15 6 2 63 12 84 * 21 9 3 10 50 80 13 72 94 29 * 75 62 21 54 30 73 41 93 37 49 * * * * * * * 42 96 67 77 99 56 14 * 28 10 20 82 54 77 96 81 34 60 * 97 27 31 42 87 13 66 61 2 39 * 40 57 72 37 18 45 26 22 7 32 * 88 96 26 97 56 97 46 73 34 32 * 48 54 75 94 39 49 60 89 56 36 * 18 39 77 92 68 57 68 54 62 61 * * * * * * * * 42 59 3 88 60 94 * 48 27 49 14 28 42 81 22 56 37 * 69 58 17 74 82 37 3 56 30 96 * 20 42 16 43 40 48 99 25 10 50 * 68 60 81 4 23 97 17 2 35 82 * 40 26 7 4 33 17 29 83 26 55 * 57 90 15 76 13 37 58 35 23 70 * * * * * * * * * 45 27 21 31 77 * 5 3 3 1 6 97 39 13 83 94 * 79 44 6 70 81 22 6 87 90 95 * 72 24 26 10 26 17 71 68 58 57 * 20 44 25 46 87 73 86 11 33 45 * 12 74 77 56 84 30 47 42 75 17 * 95 27 21 62 91 29 7 69 58 92 * * * * * * * * * * 67 56 13 44 * 22 32 3 71 97 86 46 71 72 49 * 75 12 1 27 56 10 62 91 22 28 * 94 18 79 49 39 35 91 24 70 34 * 92 71 72 69 45 83 67 64 63 44 * 69 46 36 69 96 62 41 1 18 66 * 22 63 72 58 43 26 40 93 82 70 * * * * * * * * * * * 83 79 0 * 53 28 27 34 62 75 89 71 52 61 * 32 85 67 54 90 55 * 62 22 66 * 33 96 98 35 95 62 49 1 81 99 * 88 26 39 36 47 1 50 99 40 28 * 55 99 97 25 54 98 97 78 80 26 * 99 37 65 37 87 15 30 36 99 59 * * * * * * * * * * * * 53 25 * 43 55 15 87 85 71 30 92 66 58 * 24 12 27 28 50 43 22 89 51 54 * 43 30 79 11 17 19 63 12 60 29 * 60 76 20 56 39 67 16 61 74 94 * 69 82 93 9 44 70 13 22 92 28 * 52 84 24 3 19 23 61 45 55 34 * * * * * * * * * * * * * 14 * 19 32 33 70 58 9 54 89 47 45 * 2 95 57 76 52 40 79 45 59 40 * 57 43 29 9 67 25 3 86 69 76 * 43 92 98 6 18 26 98 44 44 29 * 69 18 66 10 * 99 75 64 89 33 * 44 34 25 45 84 29 30 35 49 8 * * * * * * * * * * * * * * * 77 76 91 72 90 6 51 4 85 83 * 79 48 41 74 46 62 45 60 60 13 * 40 37 94 65 70 89 29 41 53 11 * 54 22 57 77 71 2 62 20 83 87 * 36 46 76 4 87 3 48 26 32 99 * 15 90 13 56 10 63 21 15 67 66 * * * * 0 63 85 30 57 1 33 81 4 59 * 60 81 17 40 84 3 83 70 67 5 89 76 84 23 64 6 57 89 52 50 52 73 55 64 2 6 78 8 53 27 27 32 57 1 60 22 4 71 86 26 51 7 1 91 77 20 7 78 51 88 91 30 70 61 54 82 9 56 81 89 45 21 2 2 17 64 * 2 * * * * * * * * * * * * * 81 80 37 43 87 78 27 71 7 * 91 81 28 94 44 40 54 30 21 97 * 6 28 46 75 58 99 18 76 80 26 * 27 34 76 36 12 49 98 94 42 62 * 56 70 23 5 3 49 83 78 62 3 * 76 75 13 57 27 64 55 21 26 18 * * * * * * * * * * * * * * * * * 35 2 53 38 80 58 15 94 * * 67 1 3 92 22 53 15 11 92 * 22 91 31 80 84 16 97 86 16 65 * 6 92 45 98 94 30 94 71 61 83 * 49 0 82 4 29 29 78 79 70 65 * 57 80 7 44 26 61 40 93 13 9 * * * * * * * * * * * * * * * * * * 52 8 77 72 10 99 53 * 93 54 54 13 46 77 17 77 91 80 * 19 83 90 34 46 93 52 15 40 91 * 41 75 24 3 1 12 23 45 67 46 * 72 36 98 67 38 60 54 8 60 98 * 79 84 91 46 65 15 69 14 24 3 * * * * * * * * * * * * * * * * * * * 20 92 74 84 35 42 * 19 50 51 21 12 26 98 55 66 65 * 35 93 94 60 12 2 37 31 67 26 * 9 93 27 84 21 54 39 7 96 39 * 37 1 42 51 93 49 27 93 68 11 * 70 79 26 80 37 93 76 87 7 19 * * * * * * * * * * * * * * * * * * * * 92 95 60 69 43 * 91 53 86 54 87 48 53 47 19 12 * 59 64 81 34 49 4 62 74 22 92 * 43 8 29 12 62 37 62 39 50 68 * 9 22 84 54 95 55 88 46 13 46 * 43 22 30 93 78 10 30 10 76 44 * * * * * * * * * * * * * * * * * * * * * 55 19 64 88 * 18 18 91 45 79 5 34 37 12 51 * 44 47 35 85 31 23 35 3 48 41 * 1 21 19 57 96 13 8 5 38 28 * 85 41 32 70 22 75 40 20 63 6 * 77 66 73 32 21 80 25 91 64 54 * * * * * * * * * * * * * * * * * * * * * * 13 53 61 * 32 3 69 8 92 84 98 97 61 33 * 33 50 19 94 21 44 30 99 78 57 * 77 28 22 73 71 87 11 73 31 56 * 8 56 6 16 55 23 55 76 68 20 * 29 12 26 5 41 78 68 74 71 98 * * * * * * * * * * * * * * * * * * * * * * * 99 74 * 44 63 59 79 77 46 21 39 67 64 * 63 3 21 91 18 84 83 49 64 42 * 22 88 52 * 2 0 69 57 27 25 * 6 11 2 90 75 63 70 10 89 71 * 45 14 6 57 57 27 44 66 85 31 * * * * * * * * * * * * * * * * * * * * * * * * 38 * 46 74 64 90 24 68 51 65 75 79 * 76 99 8 87 52 4 43 49 81 84 * 71 24 94 87 9 52 92 70 47 56 * 20 65 43 19 25 48 21 45 61 28 * 97 94 64 6 * 10 66 80 41 29 * * * * * * * * * * * * * * * * * * * * * * * * * * 64 85 24 64 68 54 29 4 32 38 * 7 47 25 74 54 85 79 23 98 20 * 30 55 9 39 13 12 * 35 64 60 * 96 81 82 11 4 * 79 0 42 44 * 20 28 6 5 44 49 8 69 30 62 * * * * 19 40 31 3 18 33 62 50 92 44 * 26 88 5 71 82 32 94 * 20 12 * 85 88 74 54 53 18 67 73 46 52 44 3 84 21 57 45 43 43 21 72 41 94 26 52 28 63 79 66 74 85 18 44 24 78 10 95 94 49 86 * 70 24 47 22 55 13 8 93 1 85 3 49 69 35 96 46 85 * * * * * * * * * * * * * * * * * * * * * * * * 84 73 13 69 75 45 50 97 80 * 17 18 80 13 75 85 36 81 58 35 * 10 25 23 * 21 51 32 * 9 88 * 45 23 60 72 26 3 11 2 73 81 * 49 25 54 21 53 77 17 18 62 64 * * * * * * * * * * * * * * * * * * * * * * * * * * * * 59 17 66 64 79 20 23 60 * 85 38 55 4 89 5 44 24 56 53 * 31 63 1 27 * 76 59 86 54 37 * 11 81 0 52 58 90 37 95 68 5 * 48 8 88 19 19 26 91 * 98 52 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 69 3 5 7 92 18 24 * 71 68 86 26 12 98 64 63 24 44 * 36 56 15 98 16 15 10 94 * 81 * 1 20 29 66 30 66 30 56 46 65 * 79 55 22 93 81 63 85 6 0 99 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 38 28 23 50 75 * 61 24 87 45 62 80 52 27 18 99 * 62 15 16 8 31 2 25 14 28 11 * 88 0 49 31 46 0 74 79 89 65 * 10 0 66 54 59 42 51 16 48 98 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 59 47 87 53 48 * 32 14 72 31 41 54 48 79 53 63 * 69 92 1 58 39 69 0 23 72 58 * 25 88 61 84 25 66 17 12 31 96 * 81 16 69 44 92 32 1 11 1 44 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 31 36 66 36 * 3 84 54 91 47 11 55 20 43 8 * 30 90 85 73 23 75 41 18 81 41 * 11 66 50 17 21 10 22 9 10 48 * 31 1 38 98 50 32 33 3 4 99 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 24 76 80 * 90 19 29 0 39 13 63 52 49 12 * 9 64 80 97 37 9 18 22 2 29 * 71 52 3 89 18 28 99 9 9 * * 56 63 79 69 81 50 56 52 80 93 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 62 90 * 6 3 21 56 77 54 91 10 36 2 * 2 88 49 22 49 18 74 31 59 95 * 48 42 65 80 30 17 75 93 60 88 * 87 56 73 32 5 37 62 33 31 96 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 84 * 14 75 5 77 73 43 60 92 53 8 * 3 25 36 64 48 * 92 41 * 29 * 85 51 36 32 80 55 46 12 7 40 * 15 24 12 15 12 22 82 8 84 6 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 9 91 25 45 26 25 12 * * 83 * 28 3 0 70 61 18 1 13 91 17 * 58 13 5 90 89 62 76 23 46 68 * 54 67 97 77 13 28 91 4 30 86 * * * * 48 34 77 80 21 81 57 71 64 56 * 21 38 33 20 64 56 21 88 68 96 * 27 89 36 19 22 58 97 81 97 0 * 17 61 60 61 60 46 97 87 53 87 14 70 51 24 63 68 12 63 44 1 93 0 6 66 91 8 90 87 51 61 91 99 53 39 30 60 29 59 56 6 38 99 78 72 93 11 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 72 24 28 85 93 78 48 19 2 * 22 81 58 48 73 85 30 39 84 70 * 1 80 67 76 95 99 47 79 38 78 * 93 56 5 11 89 29 53 9 93 53 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 84 47 57 76 69 14 81 17 * 86 74 13 62 15 5 86 48 0 36 * 79 7 28 9 95 33 99 10 27 4 * 62 68 66 37 90 17 52 70 51 95 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 85 37 69 31 96 39 1 * 60 91 43 91 41 59 4 15 27 19 * 98 67 86 56 5 41 54 67 48 17 * 90 92 89 31 47 24 58 15 22 8 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 42 24 2 72 35 11 * 21 50 87 86 49 41 20 25 91 61 * 37 86 51 7 1 68 6 47 49 33 * 89 11 75 12 22 63 39 58 47 47 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 15 26 70 97 21 * 30 84 93 52 68 39 71 94 22 76 * 36 27 57 79 1 34 84 74 81 10 * 48 0 18 92 29 25 67 96 19 8 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 17 11 2 45 * 73 26 30 19 21 23 14 82 57 75 * 25 67 28 31 81 73 93 25 12 29 * 65 81 3 77 75 63 7 7 17 94 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 87 50 28 * 3 26 37 7 2 99 33 17 32 20 * 89 48 48 35 53 87 59 66 71 31 * 18 72 81 43 98 93 13 96 87 32 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 96 53 * 68 67 17 57 32 69 8 69 91 19 * 66 85 39 3 93 52 23 99 29 26 * 70 0 25 72 21 * 97 54 64 25 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 67 * 4 21 50 74 71 31 93 40 90 83 * 41 12 62 78 4 23 8 99 30 56 * 6 33 23 77 92 1 85 23 4 4 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 41 70 32 12 31 29 6 70 78 66 * 55 73 17 83 58 44 19 25 75 30 * 82 32 46 91 88 48 72 84 10 36 * * * * 52 12 48 35 85 26 37 64 34 99 * 73 98 25 0 90 17 94 5 33 74 * 36 46 68 96 62 57 2 90 9 71 * 99 69 25 65 31 90 38 96 11 9 * 62 3 20 29 82 63 69 12 33 57 44 87 76 83 30 22 61 69 71 13 80 10 75 9 46 90 62 87 21 69 50 68 24 17 71 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 22 41 55 17 38 78 61 88 76 * 56 9 39 21 75 54 89 32 61 49 * 60 0 55 17 99 66 77 27 46 34 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 55 16 7 3 17 3 17 62 * 90 85 92 72 26 13 29 89 46 89 * 20 89 28 * 0 63 90 10 80 45 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 18 70 86 36 84 85 62 * 23 22 69 58 96 71 34 29 65 63 * 33 96 79 94 78 20 45 89 40 51 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 45 53 82 9 30 44 * 46 35 82 11 50 91 87 * 84 26 * 62 73 72 56 72 78 45 64 40 16 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 51 30 73 24 79 * 48 35 42 19 57 1 32 87 97 12 * 41 1 97 66 38 35 58 13 26 86 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 30 91 26 49 * 59 87 62 63 19 4 79 98 17 61 * 82 2 96 16 51 99 68 52 95 73 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 29 29 94 * 54 30 5 94 83 53 25 45 81 32 * 5 * 85 31 38 55 43 74 47 57 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 32 45 * 76 73 34 42 22 30 27 72 60 54 * 80 2 32 84 72 48 39 54 40 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 71 * 35 85 15 55 21 69 9 13 92 2 * 37 10 68 38 79 28 50 3 34 39 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 14 80 66 52 13 40 95 95 3 49 * 51 53 86 36 84 82 53 92 3 80 * * * * 33 29 33 2 51 24 45 3 72 96 * 31 74 74 26 40 44 34 33 12 47 * 73 29 41 61 46 88 27 80 80 15 * 10 68 5 * 39 84 23 78 37 82 * 78 45 83 6 49 48 51 4 55 5 * 63 31 29 66 28 79 82 36 27 53 12 15 79 57 43 23 85 38 77 85 58 98 65 35 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 57 62 28 31 63 18 88 7 26 * 25 62 89 33 22 9 19 79 31 52 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 82 49 79 84 13 16 58 17 * 33 8 76 80 28 20 35 33 91 87 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 96 26 0 31 76 44 62 * 94 62 35 2 62 62 75 48 76 59 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 78 0 90 81 15 15 * 13 98 63 78 28 3 72 92 44 53 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 66 17 70 30 67 * 94 61 27 20 69 28 46 90 20 94 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 38 99 88 28 * 59 80 95 10 63 46 78 62 9 20 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 67 23 * 72 88 86 72 41 40 87 27 48 23 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 66 87 * 60 51 91 40 3 68 34 87 91 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 66 * * 32 81 55 45 28 49 98 66 8 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 84 97 97 10 65 2 26 * 82 40 * * * * 37 48 47 56 14 12 42 96 78 89 * 2 15 19 71 46 45 67 23 12 83 * 74 53 41 92 2 50 27 72 10 89 * 55 83 69 69 81 17 30 81 88 74 * 42 64 51 16 26 5 87 9 94 9 * 95 10 1 58 58 85 91 67 23 92 * 81 46 94 99 96 44 33 86 95 80 63 85 27 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 12 34 93 56 20 84 11 12 7 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 40 10 15 30 59 47 27 81 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 43 62 54 12 27 70 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 76 44 35 49 76 85 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 21 27 4 39 47 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 47 11 20 26 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 96 87 49 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 14 87 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 75 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 15 54 65 91 28 56 64 73 75 72 * 60 48 4 9 69 23 61 16 47 44 * 91 47 82 88 48 49 * 82 96 4 * 94 80 3 35 23 8 96 23 52 74 * 29 76 85 5 90 1 96 47 44 48 * 59 74 37 35 21 90 60 69 33 87 * 39 83 14 51 55 30 8 37 44 5 * 1 74 * 50 64 9 34 4 99 89 81 70 29 * 85 41 67 90 * 44 20 97 57 97 * 38 93 67 87 16 0 33 93 57 17 * 94 3 27 98 57 20 42 2 10 38 * 32 17 35 25 40 30 5 9 65 17 * 52 42 15 7 28 28 14 76 91 85 * 41 3 31 9 45 1 85 13 21 26 * * 59 * 40 9 36 25 76 41 11 58 26 21 * 11 86 45 56 10 35 4 6 6 89 * 61 6 79 30 89 61 1 77 82 76 * 84 26 36 85 29 50 44 21 82 18 * 12 1 15 56 91 36 20 * 0 56 * 35 80 82 93 18 63 4 69 39 82 * 0 40 91 71 21 11 95 1 57 75 * * * 53 60 19 66 7 38 5 74 79 25 1 69 27 33 34 4 8 73 9 51 6 17 68 43 11 15 56 57 77 20 54 50 58 47 22 30 42 21 48 64 12 76 29 37 46 23 70 71 62 26 44 75 59 24 32 18 28 78 3 61 40 10 65 31 39 49 67 16 13 35 52 45 72 2 63 41 14 55 36 0 </values> 2400.00/2400.20 v </instantiation> 2400.00/2400.20
OK 7687952
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-4259997-1502020305/watcher-4259997-1502020305 -o /tmp/evaluation-result-4259997-1502020305/solver-4259997-1502020305 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502014511-21395 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4259997-1502020305.xml pid=22947 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: 1.85 1.97 2.03 2/180 22950 /proc/meminfo: memFree=31718132/32770624 swapFree=0/313660 [pid=22950] ppid=22947 vsize=23672 CPUtime=0 cores=0,2,4,6 /proc/22950/stat : 22950 (runsolver) D 22947 22950 20633 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 4224217 24240128 107 18446744073709551615 4194304 4338465 140720587414752 140720587412392 140188235350743 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 32030720 140720587415746 140720587416138 140720587416138 140720587419594 0 /proc/22950/statm: 5918 107 54 36 0 2156 0 [startup+0.100115 s] /proc/loadavg: 1.85 1.97 2.03 2/180 22950 /proc/meminfo: memFree=31718132/32770624 swapFree=0/313660 [pid=22950] ppid=22947 vsize=35468 CPUtime=0.03 cores=0,2,4,6 /proc/22950/stat : 22950 (cosoco) R 22947 22950 20633 0 -1 4202496 3106 0 0 0 3 0 0 0 20 0 1 0 4224217 36319232 2942 18446744073709551615 4194304 5747388 140724058703024 140724058699672 5186960 0 0 1 0 0 0 0 17 0 0 0 6 0 0 7845728 7850568 27836416 140724058706415 140724058706510 140724058706510 140724058709966 0 /proc/22950/statm: 8867 2942 711 380 0 2285 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 35468 [startup+0.200283 s] /proc/loadavg: 1.85 1.97 2.03 2/180 22950 /proc/meminfo: memFree=31718132/32770624 swapFree=0/313660 [pid=22950] ppid=22947 vsize=101744 CPUtime=0.13 cores=0,2,4,6 /proc/22950/stat : 22950 (cosoco) R 22947 22950 20633 0 -1 4202496 19689 0 0 0 12 1 0 0 20 0 1 0 4224217 104185856 19508 18446744073709551615 4194304 5747388 140724058703024 140724058699672 140134075041696 0 0 1 0 0 0 0 17 0 0 0 6 0 0 7845728 7850568 27836416 140724058706415 140724058706510 140724058706510 140724058709966 0 /proc/22950/statm: 25469 19508 716 380 0 18887 0 Current children cumulated CPU time (s) 0.13 Current children cumulated vsize (KiB) 101744 [startup+0.300278 s] /proc/loadavg: 1.85 1.97 2.03 2/180 22950 /proc/meminfo: memFree=31718132/32770624 swapFree=0/313660 [pid=22950] ppid=22947 vsize=117460 CPUtime=0.23 cores=0,2,4,6 /proc/22950/stat : 22950 (cosoco) R 22947 22950 20633 0 -1 4202496 23662 0 0 0 21 2 0 0 20 0 1 0 4224217 120279040 23445 18446744073709551615 4194304 5747388 140724058703024 140724058699672 5320810 0 0 1 0 0 0 0 17 0 0 0 6 0 0 7845728 7850568 27836416 140724058706415 140724058706510 140724058706510 140724058709966 0 /proc/22950/statm: 29365 23445 716 380 0 22783 0 Current children cumulated CPU time (s) 0.23 Current children cumulated vsize (KiB) 117460 [startup+0.700237 s] /proc/loadavg: 1.85 1.97 2.03 2/180 22950 /proc/meminfo: memFree=31718132/32770624 swapFree=0/313660 [pid=22950] ppid=22947 vsize=279304 CPUtime=0.63 cores=0,2,4,6 /proc/22950/stat : 22950 (cosoco) R 22947 22950 20633 0 -1 4202496 64187 0 0 0 57 6 0 0 20 0 1 0 4224217 286007296 63968 18446744073709551615 4194304 5747388 140724058703024 140724058690312 4894209 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 7845728 7850568 27836416 140724058706415 140724058706510 140724058706510 140724058709966 0 /proc/22950/statm: 69826 63968 741 380 0 63244 0 Current children cumulated CPU time (s) 0.63 Current children cumulated vsize (KiB) 279304 [startup+1.50024 s] /proc/loadavg: 1.85 1.97 2.03 3/181 22951 /proc/meminfo: memFree=31463112/32770624 swapFree=0/313576 [pid=22950] ppid=22947 vsize=279304 CPUtime=1.43 cores=0,2,4,6 /proc/22950/stat : 22950 (cosoco) R 22947 22950 20633 0 -1 4202496 64187 0 0 0 137 6 0 0 20 0 1 0 4224217 286007296 63968 18446744073709551615 4194304 5747388 140724058703024 140724058690312 4894014 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 7845728 7850568 27836416 140724058706415 140724058706510 140724058706510 140724058709966 0 /proc/22950/statm: 69826 63968 741 380 0 63244 0 Current children cumulated CPU time (s) 1.43 Current children cumulated vsize (KiB) 279304 [startup+3.10024 s] /proc/loadavg: 1.86 1.97 2.03 3/181 22951 /proc/meminfo: memFree=31462820/32770624 swapFree=0/313692 [pid=22950] ppid=22947 vsize=279444 CPUtime=3.03 cores=0,2,4,6 /proc/22950/stat : 22950 (cosoco) R 22947 22950 20633 0 -1 4202496 106117 0 0 0 295 8 0 0 20 0 1 0 4224217 286150656 63994 18446744073709551615 4194304 5747388 140724058703024 140724058690312 4893991 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 7845728 7850568 27836416 140724058706415 140724058706510 140724058706510 140724058709966 0 /proc/22950/statm: 69861 63994 762 380 0 63279 0 Current children cumulated CPU time (s) 3.03 Current children cumulated vsize (KiB) 279444 [startup+6.30024 s] /proc/loadavg: 1.86 1.97 2.03 3/181 22951 /proc/meminfo: memFree=31458976/32770624 swapFree=0/313696 [pid=22950] ppid=22947 vsize=285648 CPUtime=6.23 cores=0,2,4,6 /proc/22950/stat : 22950 (cosoco) R 22947 22950 20633 0 -1 4202496 142712 0 0 0 613 10 0 0 20 0 1 0 4224217 292503552 65570 18446744073709551615 4194304 5747388 140724058703024 140724058699848 4893987 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 7845728 7850568 27836416 140724058706415 140724058706510 140724058706510 140724058709966 0 /proc/22950/statm: 71412 65570 762 380 0 64830 0 Current children cumulated CPU time (s) 6.23 Current children cumulated vsize (KiB) 285648 [startup+12.7003 s] /proc/loadavg: 1.88 1.97 2.03 3/181 22951 /proc/meminfo: memFree=31404400/32770624 swapFree=0/313704 [pid=22950] ppid=22947 vsize=337288 CPUtime=12.62 cores=0,2,4,6 /proc/22950/stat : 22950 (cosoco) R 22947 22950 20633 0 -1 4202496 206405 0 0 0 1249 13 0 0 20 0 1 0 4224217 345382912 78320 18446744073709551615 4194304 5747388 140724058703024 140724058690296 4892793 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 27836416 140724058706415 140724058706510 140724058706510 140724058709966 0 /proc/22950/statm: 84322 78320 763 380 0 77740 0 Current children cumulated CPU time (s) 12.62 Current children cumulated vsize (KiB) 337288 [startup+25.5004 s] /proc/loadavg: 1.90 1.97 2.03 3/181 22952 /proc/meminfo: memFree=31392820/32770624 swapFree=0/313716 [pid=22950] ppid=22947 vsize=350244 CPUtime=25.42 cores=0,2,4,6 /proc/22950/stat : 22950 (cosoco) R 22947 22950 20633 0 -1 4202496 273318 0 0 0 2525 17 0 0 20 0 1 0 4224217 358649856 81588 18446744073709551615 4194304 5747388 140724058703024 140724058699736 4893991 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 27836416 140724058706415 140724058706510 140724058706510 140724058709966 0 /proc/22950/statm: 87561 81588 763 380 0 80979 0 Current children cumulated CPU time (s) 25.42 Current children cumulated vsize (KiB) 350244 [startup+51.1004 s] /proc/loadavg: 1.94 1.97 2.03 3/181 22952 /proc/meminfo: memFree=31384236/32770624 swapFree=0/313724 [pid=22950] ppid=22947 vsize=358292 CPUtime=51 cores=0,2,4,6 /proc/22950/stat : 22950 (cosoco) R 22947 22950 20633 0 -1 4202496 333525 0 0 0 5080 20 0 0 20 0 1 0 4224217 366891008 83563 18446744073709551615 4194304 5747388 140724058703024 140724058699736 4894018 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 27836416 140724058706415 140724058706510 140724058706510 140724058709966 0 /proc/22950/statm: 89573 83563 763 380 0 82991 0 Current children cumulated CPU time (s) 51 Current children cumulated vsize (KiB) 358292 [startup+102.3 s] /proc/loadavg: 1.97 1.98 2.03 3/181 22954 /proc/meminfo: memFree=31372572/32770624 swapFree=0/313796 [pid=22950] ppid=22947 vsize=369040 CPUtime=102.2 cores=0,2,4,6 /proc/22950/stat : 22950 (cosoco) R 22947 22950 20633 0 -1 4202496 398736 0 0 0 10197 23 0 0 20 0 1 0 4224217 377896960 86183 18446744073709551615 4194304 5747388 140724058703024 140724058699736 4894030 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 27836416 140724058706415 140724058706510 140724058706510 140724058709966 0 /proc/22950/statm: 92260 86183 763 380 0 85678 0 Current children cumulated CPU time (s) 102.2 Current children cumulated vsize (KiB) 369040 [startup+162.3 s] /proc/loadavg: 2.05 2.00 2.03 3/186 22972 /proc/meminfo: memFree=31364068/32770624 swapFree=0/313872 [pid=22950] ppid=22947 vsize=373596 CPUtime=162.19 cores=0,2,4,6 /proc/22950/stat : 22950 (cosoco) R 22947 22950 20633 0 -1 4202496 442828 0 0 0 16193 26 0 0 20 0 1 0 4224217 382562304 87337 18446744073709551615 4194304 5747388 140724058703024 140724058699880 4995152 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 27836416 140724058706415 140724058706510 140724058706510 140724058709966 0 /proc/22950/statm: 93399 87337 763 380 0 86817 0 Current children cumulated CPU time (s) 162.19 Current children cumulated vsize (KiB) 373596 [startup+222.306 s] /proc/loadavg: 2.02 2.00 2.03 3/186 22974 /proc/meminfo: memFree=31361028/32770624 swapFree=0/313920 [pid=22950] ppid=22947 vsize=374420 CPUtime=222.18 cores=0,2,4,6 /proc/22950/stat : 22950 (cosoco) R 22947 22950 20633 0 -1 4202496 449771 0 0 0 22192 26 0 0 20 0 1 0 4224217 383406080 87701 18446744073709551615 4194304 5747388 140724058703024 140724058699736 4893991 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 27836416 140724058706415 140724058706510 140724058706510 140724058709966 0 /proc/22950/statm: 93605 87701 763 380 0 87023 0 Current children cumulated CPU time (s) 222.18 Current children cumulated vsize (KiB) 374420 [startup+282.3 s] /proc/loadavg: 2.01 2.00 2.03 3/183 22976 /proc/meminfo: memFree=31365604/32770624 swapFree=0/313960 [pid=22950] ppid=22947 vsize=374564 CPUtime=282.17 cores=0,2,4,6 /proc/22950/stat : 22950 (cosoco) R 22947 22950 20633 0 -1 4202496 450573 0 0 0 28191 26 0 0 20 0 1 0 4224217 383553536 87776 18446744073709551615 4194304 5747388 140724058703024 140724058699736 4947292 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 27836416 140724058706415 140724058706510 140724058706510 140724058709966 0 /proc/22950/statm: 93641 87776 763 380 0 87059 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 374564 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.03 3/183 22978 /proc/meminfo: memFree=31366224/32770624 swapFree=0/314004 [pid=22950] ppid=22947 vsize=374696 CPUtime=342.17 cores=0,2,4,6 /proc/22950/stat : 22950 (cosoco) R 22947 22950 20633 0 -1 4202496 451427 0 0 0 34191 26 0 0 20 0 1 0 4224217 383688704 87794 18446744073709551615 4194304 5747388 140724058703024 140724058699848 4894006 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 27836416 140724058706415 140724058706510 140724058706510 140724058709966 0 /proc/22950/statm: 93674 87794 763 380 0 87092 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 374696 [startup+402.3 s] /proc/loadavg: 2.08 2.03 2.04 3/183 22980 /proc/meminfo: memFree=31365980/32770624 swapFree=0/314048 [pid=22950] ppid=22947 vsize=374832 CPUtime=402.17 cores=0,2,4,6 /proc/22950/stat : 22950 (cosoco) R 22947 22950 20633 0 -1 4202496 452268 0 0 0 40191 26 0 0 20 0 1 0 4224217 383827968 87832 18446744073709551615 4194304 5747388 140724058703024 140724058699880 4890224 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 27836416 140724058706415 140724058706510 140724058706510 140724058709966 0 /proc/22950/statm: 93708 87832 763 380 0 87126 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 374832 [startup+462.3 s] /proc/loadavg: 2.03 2.02 2.04 3/182 22982 /proc/meminfo: memFree=31365864/32770624 swapFree=0/314088 [pid=22950] ppid=22947 vsize=374832 CPUtime=462.17 cores=0,2,4,6 /proc/22950/stat : 22950 (cosoco) R 22947 22950 20633 0 -1 4202496 452673 0 0 0 46190 27 0 0 20 0 1 0 4224217 383827968 87832 18446744073709551615 4194304 5747388 140724058703024 140724058699880 4949028 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 27836416 140724058706415 140724058706510 140724058706510 140724058709966 0 /proc/22950/statm: 93708 87832 763 380 0 87126 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 374832 [startup+522.3 s] /proc/loadavg: 2.01 2.02 2.04 3/181 22984 /proc/meminfo: memFree=31364700/32770624 swapFree=0/314136 [pid=22950] ppid=22947 vsize=374832 CPUtime=522.17 cores=0,2,4,6 /proc/22950/stat : 22950 (cosoco) R 22947 22950 20633 0 -1 4202496 452974 0 0 0 52190 27 0 0 20 0 1 0 4224217 383827968 87847 18446744073709551615 4194304 5747388 140724058703024 140724058699880 4949488 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 27836416 140724058706415 140724058706510 140724058706510 140724058709966 0 /proc/22950/statm: 93708 87847 763 380 0 87126 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 374832 [startup+582.3 s] /proc/loadavg: 2.00 2.01 2.04 3/181 22986 /proc/meminfo: memFree=31365944/32770624 swapFree=0/314164 [pid=22950] ppid=22947 vsize=374832 CPUtime=582.17 cores=0,2,4,6 /proc/22950/stat : 22950 (cosoco) R 22947 22950 20633 0 -1 4202496 453226 0 0 0 58190 27 0 0 20 0 1 0 4224217 383827968 87847 18446744073709551615 4194304 5747388 140724058703024 140724058699880 4949464 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 27836416 140724058706415 140724058706510 140724058706510 140724058709966 0 /proc/22950/statm: 93708 87847 763 380 0 87126 0 Current children cumulated CPU time (s) 582.17 Current children cumulated vsize (KiB) 374832 ################ # More data... # ################ [startup+1482.3 s] /proc/loadavg: 2.03 2.03 2.05 3/184 23071 /proc/meminfo: memFree=31359864/32770624 swapFree=0/314788 [pid=22950] ppid=22947 vsize=375108 CPUtime=1482.13 cores=0,2,4,6 /proc/22950/stat : 22950 (cosoco) R 22947 22950 20633 0 -1 4202496 458596 0 0 0 148186 27 0 0 20 0 1 0 4224217 384110592 87916 18446744073709551615 4194304 5747388 140724058703024 140724058700552 5133975 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 27836416 140724058706415 140724058706510 140724058706510 140724058709966 0 /proc/22950/statm: 93777 87916 763 380 0 87195 0 Current children cumulated CPU time (s) 1482.13 Current children cumulated vsize (KiB) 375108 [startup+1542.31 s] /proc/loadavg: 2.01 2.03 2.05 3/181 23073 /proc/meminfo: memFree=31363656/32770624 swapFree=0/314816 [pid=22950] ppid=22947 vsize=375108 CPUtime=1542.14 cores=0,2,4,6 /proc/22950/stat : 22950 (cosoco) R 22947 22950 20633 0 -1 4202496 458854 0 0 0 154187 27 0 0 20 0 1 0 4224217 384110592 87916 18446744073709551615 4194304 5747388 140724058703024 140724058700552 5000064 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 27836416 140724058706415 140724058706510 140724058706510 140724058709966 0 /proc/22950/statm: 93777 87916 763 380 0 87195 0 Current children cumulated CPU time (s) 1542.14 Current children cumulated vsize (KiB) 375108 [startup+1602.3 s] /proc/loadavg: 2.00 2.02 2.05 3/181 23075 /proc/meminfo: memFree=31364232/32770624 swapFree=0/314840 [pid=22950] ppid=22947 vsize=375108 CPUtime=1602.13 cores=0,2,4,6 /proc/22950/stat : 22950 (cosoco) R 22947 22950 20633 0 -1 4202496 459313 0 0 0 160186 27 0 0 20 0 1 0 4224217 384110592 87916 18446744073709551615 4194304 5747388 140724058703024 140724058700552 4947272 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 27836416 140724058706415 140724058706510 140724058706510 140724058709966 0 /proc/22950/statm: 93777 87916 763 380 0 87195 0 Current children cumulated CPU time (s) 1602.13 Current children cumulated vsize (KiB) 375108 [startup+1662.3 s] /proc/loadavg: 2.00 2.02 2.05 3/181 23077 /proc/meminfo: memFree=31364488/32770624 swapFree=0/314880 [pid=22950] ppid=22947 vsize=375108 CPUtime=1662.12 cores=0,2,4,6 /proc/22950/stat : 22950 (cosoco) R 22947 22950 20633 0 -1 4202496 459682 0 0 0 166185 27 0 0 20 0 1 0 4224217 384110592 87916 18446744073709551615 4194304 5747388 140724058703024 140724058700552 4893999 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 27836416 140724058706415 140724058706510 140724058706510 140724058709966 0 /proc/22950/statm: 93777 87916 763 380 0 87195 0 Current children cumulated CPU time (s) 1662.12 Current children cumulated vsize (KiB) 375108 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 23079 /proc/meminfo: memFree=31364496/32770624 swapFree=0/314916 [pid=22950] ppid=22947 vsize=375108 CPUtime=1722.12 cores=0,2,4,6 /proc/22950/stat : 22950 (cosoco) R 22947 22950 20633 0 -1 4202496 459936 0 0 0 172185 27 0 0 20 0 1 0 4224217 384110592 87916 18446744073709551615 4194304 5747388 140724058703024 140724058700552 4894030 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 27836416 140724058706415 140724058706510 140724058706510 140724058709966 0 /proc/22950/statm: 93777 87916 763 380 0 87195 0 Current children cumulated CPU time (s) 1722.12 Current children cumulated vsize (KiB) 375108 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 23081 /proc/meminfo: memFree=31364124/32770624 swapFree=0/314944 [pid=22950] ppid=22947 vsize=375108 CPUtime=1782.12 cores=0,2,4,6 /proc/22950/stat : 22950 (cosoco) R 22947 22950 20633 0 -1 4202496 460190 0 0 0 178185 27 0 0 20 0 1 0 4224217 384110592 87916 18446744073709551615 4194304 5747388 140724058703024 140724058700552 4892817 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 27836416 140724058706415 140724058706510 140724058706510 140724058709966 0 /proc/22950/statm: 93777 87916 763 380 0 87195 0 Current children cumulated CPU time (s) 1782.12 Current children cumulated vsize (KiB) 375108 [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 23083 /proc/meminfo: memFree=31364496/32770624 swapFree=0/314980 [pid=22950] ppid=22947 vsize=375108 CPUtime=1842.12 cores=0,2,4,6 /proc/22950/stat : 22950 (cosoco) R 22947 22950 20633 0 -1 4202496 460444 0 0 0 184185 27 0 0 20 0 1 0 4224217 384110592 87916 18446744073709551615 4194304 5747388 140724058703024 140724058700552 4893936 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 27836416 140724058706415 140724058706510 140724058706510 140724058709966 0 /proc/22950/statm: 93777 87916 763 380 0 87195 0 Current children cumulated CPU time (s) 1842.12 Current children cumulated vsize (KiB) 375108 [startup+1902.3 s] /proc/loadavg: 2.05 2.03 2.05 3/181 23085 /proc/meminfo: memFree=31364496/32770624 swapFree=0/315012 [pid=22950] ppid=22947 vsize=375108 CPUtime=1902.12 cores=0,2,4,6 /proc/22950/stat : 22950 (cosoco) R 22947 22950 20633 0 -1 4202496 460698 0 0 0 190185 27 0 0 20 0 1 0 4224217 384110592 87916 18446744073709551615 4194304 5747388 140724058703024 140724058700552 4892817 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 27836416 140724058706415 140724058706510 140724058706510 140724058709966 0 /proc/22950/statm: 93777 87916 763 380 0 87195 0 Current children cumulated CPU time (s) 1902.12 Current children cumulated vsize (KiB) 375108 [startup+1962.3 s] /proc/loadavg: 2.02 2.02 2.05 3/185 23102 /proc/meminfo: memFree=31360008/32770624 swapFree=0/315072 [pid=22950] ppid=22947 vsize=375108 CPUtime=1962.11 cores=0,2,4,6 /proc/22950/stat : 22950 (cosoco) R 22947 22950 20633 0 -1 4202496 461078 0 0 0 196184 27 0 0 20 0 1 0 4224217 384110592 87916 18446744073709551615 4194304 5747388 140724058703024 140724058700552 4947292 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 27836416 140724058706415 140724058706510 140724058706510 140724058709966 0 /proc/22950/statm: 93777 87916 763 380 0 87195 0 Current children cumulated CPU time (s) 1962.11 Current children cumulated vsize (KiB) 375108 [startup+2022.3 s] /proc/loadavg: 2.01 2.02 2.05 3/185 23104 /proc/meminfo: memFree=31360444/32770624 swapFree=0/315108 [pid=22950] ppid=22947 vsize=375108 CPUtime=2022.11 cores=0,2,4,6 /proc/22950/stat : 22950 (cosoco) R 22947 22950 20633 0 -1 4202496 461343 0 0 0 202184 27 0 0 20 0 1 0 4224217 384110592 87916 18446744073709551615 4194304 5747388 140724058703024 140724058700552 4893678 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 27836416 140724058706415 140724058706510 140724058706510 140724058709966 0 /proc/22950/statm: 93777 87916 763 380 0 87195 0 Current children cumulated CPU time (s) 2022.11 Current children cumulated vsize (KiB) 375108 [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 23106 /proc/meminfo: memFree=31364080/32770624 swapFree=0/315136 [pid=22950] ppid=22947 vsize=375108 CPUtime=2082.11 cores=0,2,4,6 /proc/22950/stat : 22950 (cosoco) R 22947 22950 20633 0 -1 4202496 461813 0 0 0 208184 27 0 0 20 0 1 0 4224217 384110592 87916 18446744073709551615 4194304 5747388 140724058703024 140724058690296 4893991 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 27836416 140724058706415 140724058706510 140724058706510 140724058709966 0 /proc/22950/statm: 93777 87916 763 380 0 87195 0 Current children cumulated CPU time (s) 2082.11 Current children cumulated vsize (KiB) 375108 [startup+2142.3 s] /proc/loadavg: 2.05 2.03 2.05 3/182 23108 /proc/meminfo: memFree=31364220/32770624 swapFree=0/315176 [pid=22950] ppid=22947 vsize=375108 CPUtime=2142.11 cores=0,2,4,6 /proc/22950/stat : 22950 (cosoco) R 22947 22950 20633 0 -1 4202496 462108 0 0 0 214184 27 0 0 20 0 1 0 4224217 384110592 87916 18446744073709551615 4194304 5747388 140724058703024 140724058690296 4947295 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 27836416 140724058706415 140724058706510 140724058706510 140724058709966 0 /proc/22950/statm: 93777 87916 763 380 0 87195 0 Current children cumulated CPU time (s) 2142.11 Current children cumulated vsize (KiB) 375108 [startup+2202.31 s] /proc/loadavg: 2.05 2.04 2.05 3/182 23110 /proc/meminfo: memFree=31364144/32770624 swapFree=0/315200 [pid=22950] ppid=22947 vsize=375108 CPUtime=2202.11 cores=0,2,4,6 /proc/22950/stat : 22950 (cosoco) R 22947 22950 20633 0 -1 4202496 462526 0 0 0 220184 27 0 0 20 0 1 0 4224217 384110592 87916 18446744073709551615 4194304 5747388 140724058703024 140724058690296 4947720 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 27836416 140724058706415 140724058706510 140724058706510 140724058709966 0 /proc/22950/statm: 93777 87916 763 380 0 87195 0 Current children cumulated CPU time (s) 2202.11 Current children cumulated vsize (KiB) 375108 [startup+2262.3 s] /proc/loadavg: 2.02 2.03 2.05 3/181 23112 /proc/meminfo: memFree=31364516/32770624 swapFree=0/315240 [pid=22950] ppid=22947 vsize=375108 CPUtime=2262.1 cores=0,2,4,6 /proc/22950/stat : 22950 (cosoco) R 22947 22950 20633 0 -1 4202496 462790 0 0 0 226183 27 0 0 20 0 1 0 4224217 384110592 87916 18446744073709551615 4194304 5747388 140724058703024 140724058690296 4947720 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 27836416 140724058706415 140724058706510 140724058706510 140724058709966 0 /proc/22950/statm: 93777 87916 763 380 0 87195 0 Current children cumulated CPU time (s) 2262.1 Current children cumulated vsize (KiB) 375108 [startup+2322.3 s] /proc/loadavg: 2.01 2.03 2.05 3/181 23114 /proc/meminfo: memFree=31364540/32770624 swapFree=0/315264 [pid=22950] ppid=22947 vsize=375108 CPUtime=2322.1 cores=0,2,4,6 /proc/22950/stat : 22950 (cosoco) R 22947 22950 20633 0 -1 4202496 463261 0 0 0 232183 27 0 0 20 0 1 0 4224217 384110592 87916 18446744073709551615 4194304 5747388 140724058703024 140724058690296 4947295 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 27836416 140724058706415 140724058706510 140724058706510 140724058709966 0 /proc/22950/statm: 93777 87916 763 380 0 87195 0 Current children cumulated CPU time (s) 2322.1 Current children cumulated vsize (KiB) 375108 [startup+2382.3 s] /proc/loadavg: 2.21 2.07 2.06 2/177 23696 /proc/meminfo: memFree=31417720/32770624 swapFree=0/315932 [pid=22950] ppid=22947 vsize=375108 CPUtime=2382.1 cores=0,2,4,6 /proc/22950/stat : 22950 (cosoco) R 22947 22950 20633 0 -1 4202496 463531 0 0 0 238183 27 0 0 20 0 1 0 4224217 384110592 87916 18446744073709551615 4194304 5747388 140724058703024 140724058690296 4947720 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 27836416 140724058706415 140724058706510 140724058706510 140724058709966 0 /proc/22950/statm: 93777 87916 763 380 0 87195 0 Current children cumulated CPU time (s) 2382.1 Current children cumulated vsize (KiB) 375108 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.2 s] /proc/loadavg: 2.16 2.07 2.06 3/181 24299 /proc/meminfo: memFree=31414988/32770624 swapFree=0/316016 [pid=22950] ppid=22947 vsize=375108 CPUtime=2400 cores=0,2,4,6 /proc/22950/stat : 22950 (cosoco) R 22947 22950 20633 0 -1 4202496 463740 0 0 0 239973 27 0 0 20 0 1 0 4224217 384110592 87916 18446744073709551615 4194304 5747388 140724058703024 140724058690296 4947292 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 27836416 140724058706415 140724058706510 140724058706510 140724058709966 0 /proc/22950/statm: 93777 87916 763 380 0 87195 0 Current children cumulated CPU time (s) 2400 Current children cumulated vsize (KiB) 375108 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 22950 sig 9 ??? kill -22950 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2400.21 CPU time (s): 2400.02 CPU user time (s): 2399.74 CPU system time (s): 0.281989 CPU usage (%): 99.992 Max. virtual memory (cumulated for all children) (KiB): 375108 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.74 system time used= 0.281989 maximum resident set size= 351740 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 463818 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= 61 involuntary context switches= 683 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.41664 second user time and 10.0973 second system time The end
Begin job on node127 at 2017-08-06 13:37:40 IDJOB=4259997 IDBENCH=123023 IDSOLVER=2647 FILE ID=node127/4259997-1502020305 RUNJOBID= node127-1502014511-21395 PBS_JOBID= Free space on /tmp= 62024 MiB SOLVER NAME= cosoco-mini 1.1 BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-tai80a.xml COMMAND LINE= cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4259997-1502020305/watcher-4259997-1502020305 -o /tmp/evaluation-result-4259997-1502020305/solver-4259997-1502020305 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502014511-21395 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4259997-1502020305.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c9a66f606132a3c8760ec6756f0c4250 RANDOM SEED=1016320816 node127.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.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 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.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 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.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 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.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 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: 31718532 kB MemAvailable: 31983184 kB Buffers: 109464 kB Cached: 435860 kB SwapCached: 0 kB Active: 324332 kB Inactive: 322192 kB Active(anon): 101140 kB Inactive(anon): 8532 kB Active(file): 223192 kB Inactive(file): 313660 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2012 kB Writeback: 4 kB AnonPages: 100908 kB Mapped: 30680 kB Shmem: 8868 kB Slab: 111580 kB SReclaimable: 87268 kB SUnreclaim: 24312 kB KernelStack: 3200 kB PageTables: 4796 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 346156 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 36864 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 62028 MiB End job on node127 at 2017-08-06 14:17:41