Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Concrete 3.9.2-SuperNG | SAT | 1348.88 | 1300.03 |
Name | Bibd/ Bibd-sc-10-03-08_c18.xml |
MD5SUM | 21283a47fd6fd3b1d87e6d18823d33f4 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 14.0438 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 13200 |
Number of constraints | 5576 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":6600}] |
Minimum variable degree | 0 |
Maximum variable degree | 12 |
Distribution of variable degrees | [{"degree":0,"count":6600},{"degree":2,"count":5400},{"degree":12,"count":1200}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 1200 |
Distribution of constraint arities | [{"arity":3,"count":5400},{"arity":10,"count":120},{"arity":120,"count":55},{"arity":1200,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 5400 |
Distribution of constraint types | [{"type":"intension","count":5400},{"type":"lex","count":1},{"type":"sum","count":175}] |
Optimization problem | NO |
Type of objective |
1.00/0.74 c Concrete v3.9.2.1532736233296 running 1348.84/1300.01 v <instantiation> 1348.84/1300.01 v <list> 1348.84/1300.01 v x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[0][50] x[0][51] x[0][52] x[0][53] x[0][54] x[0][55] x[0][56] x[0][57] x[0][58] x[0][59] x[0][60] x[0][61] x[0][62] x[0][63] x[0][64] x[0][65] x[0][66] x[0][67] x[0][68] x[0][69] x[0][70] x[0][71] x[0][72] x[0][73] x[0][74] x[0][75] x[0][76] x[0][77] x[0][78] x[0][79] x[0][80] x[0][81] x[0][82] x[0][83] x[0][84] x[0][85] x[0][86] x[0][87] x[0][88] x[0][89] x[0][90] x[0][91] x[0][92] x[0][93] x[0][94] x[0][95] x[0][96] x[0][97] x[0][98] x[0][99] x[0][100] x[0][101] x[0][102] x[0][103] x[0][104] x[0][105] x[0][106] x[0][107] x[0][108] x[0][109] x[0][110] x[0][111] x[0][112] x[0][113] x[0][114] x[0][115] x[0][116] x[0][117] x[0][118] x[0][119] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[1][48] x[1][49] x[1][50] x[1][51] x[1][52] x[1][53] x[1][54] x[1][55] x[1][56] x[1][57] x[1][58] x[1][59] x[1][60] x[1][61] x[1][62] x[1][63] x[1][64] x[1][65] x[1][66] x[1][67] x[1][68] x[1][69] x[1][70] x[1][71] x[1][72] x[1][73] x[1][74] x[1][75] x[1][76] x[1][77] x[1][78] x[1][79] x[1][80] x[1][81] x[1][82] x[1][83] x[1][84] x[1][85] x[1][86] x[1][87] x[1][88] x[1][89] x[1][90] x[1][91] x[1][92] x[1][93] x[1][94] x[1][95] x[1][96] x[1][97] x[1][98] x[1][99] x[1][100] x[1][101] x[1][102] x[1][103] x[1][104] x[1][105] x[1][106] x[1][107] x[1][108] x[1][109] x[1][110] x[1][111] x[1][112] x[1][113] x[1][114] x[1][115] x[1][116] x[1][117] x[1][118] x[1][119] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] x[2][48] x[2][49] x[2][50] x[2][51] x[2][52] x[2][53] x[2][54] x[2][55] x[2][56] x[2][57] x[2][58] x[2][59] x[2][60] x[2][61] x[2][62] x[2][63] x[2][64] x[2][65] x[2][66] x[2][67] x[2][68] x[2][69] x[2][70] x[2][71] x[2][72] x[2][73] x[2][74] x[2][75] x[2][76] x[2][77] x[2][78] x[2][79] x[2][80] x[2][81] x[2][82] x[2][83] x[2][84] x[2][85] x[2][86] x[2][87] x[2][88] x[2][89] x[2][90] x[2][91] x[2][92] x[2][93] x[2][94] x[2][95] x[2][96] x[2][97] x[2][98] x[2][99] x[2][100] x[2][101] x[2][102] x[2][103] x[2][104] x[2][105] x[2][106] x[2][107] x[2][108] x[2][109] x[2][110] x[2][111] x[2][112] x[2][113] x[2][114] x[2][115] x[2][116] x[2][117] x[2][118] x[2][119] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] x[3][48] x[3][49] x[3][50] x[3][51] x[3][52] x[3][53] x[3][54] x[3][55] x[3][56] x[3][57] x[3][58] x[3][59] x[3][60] x[3][61] x[3][62] x[3][63] x[3][64] x[3][65] x[3][66] x[3][67] x[3][68] x[3][69] x[3][70] x[3][71] x[3][72] x[3][73] x[3][74] x[3][75] x[3][76] x[3][77] x[3][78] x[3][79] x[3][80] x[3][81] x[3][82] x[3][83] x[3][84] x[3][85] x[3][86] x[3][87] x[3][88] x[3][89] x[3][90] x[3][91] x[3][92] x[3][93] x[3][94] x[3][95] x[3][96] x[3][97] x[3][98] x[3][99] x[3][100] x[3][101] x[3][102] x[3][103] x[3][104] x[3][105] x[3][106] x[3][107] x[3][108] x[3][109] x[3][110] x[3][111] x[3][112] x[3][113] x[3][114] x[3][115] x[3][116] x[3][117] x[3][118] x[3][119] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[4][47] x[4][48] x[4][49] x[4][50] x[4][51] x[4][52] x[4][53] x[4][54] x[4][55] x[4][56] x[4][57] x[4][58] x[4][59] x[4][60] x[4][61] x[4][62] x[4][63] x[4][64] x[4][65] x[4][66] x[4][67] x[4][68] x[4][69] x[4][70] x[4][71] x[4][72] x[4][73] x[4][74] x[4][75] x[4][76] x[4][77] x[4][78] x[4][79] x[4][80] x[4][81] x[4][82] x[4][83] x[4][84] x[4][85] x[4][86] x[4][87] x[4][88] x[4][89] x[4][90] x[4][91] x[4][92] x[4][93] x[4][94] x[4][95] x[4][96] x[4][97] x[4][98] x[4][99] x[4][100] x[4][101] x[4][102] x[4][103] x[4][104] x[4][105] x[4][106] x[4][107] x[4][108] x[4][109] x[4][110] x[4][111] x[4][112] x[4][113] x[4][114] x[4][115] x[4][116] x[4][117] x[4][118] x[4][119] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[5][47] x[5][48] x[5][49] x[5][50] x[5][51] x[5][52] x[5][53] x[5][54] x[5][55] x[5][56] x[5][57] x[5][58] x[5][59] x[5][60] x[5][61] x[5][62] x[5][63] x[5][64] x[5][65] x[5][66] x[5][67] x[5][68] x[5][69] x[5][70] x[5][71] x[5][72] x[5][73] x[5][74] x[5][75] x[5][76] x[5][77] x[5][78] x[5][79] x[5][80] x[5][81] x[5][82] x[5][83] x[5][84] x[5][85] x[5][86] x[5][87] x[5][88] x[5][89] x[5][90] x[5][91] x[5][92] x[5][93] x[5][94] x[5][95] x[5][96] x[5][97] x[5][98] x[5][99] x[5][100] x[5][101] x[5][102] x[5][103] x[5][104] x[5][105] x[5][106] x[5][107] x[5][108] x[5][109] x[5][110] x[5][111] x[5][112] x[5][113] x[5][114] x[5][115] x[5][116] x[5][117] x[5][118] x[5][119] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[6][47] x[6][48] x[6][49] x[6][50] x[6][51] x[6][52] x[6][53] x[6][54] x[6][55] x[6][56] x[6][57] x[6][58] x[6][59] x[6][60] x[6][61] x[6][62] x[6][63] x[6][64] x[6][65] x[6][66] x[6][67] x[6][68] x[6][69] x[6][70] x[6][71] x[6][72] x[6][73] x[6][74] x[6][75] x[6][76] x[6][77] x[6][78] x[6][79] x[6][80] x[6][81] x[6][82] x[6][83] x[6][84] x[6][85] x[6][86] x[6][87] x[6][88] x[6][89] x[6][90] x[6][91] x[6][92] x[6][93] x[6][94] x[6][95] x[6][96] x[6][97] x[6][98] x[6][99] x[6][100] x[6][101] x[6][102] x[6][103] x[6][104] x[6][105] x[6][106] x[6][107] x[6][108] x[6][109] x[6][110] x[6][111] x[6][112] x[6][113] x[6][114] x[6][115] x[6][116] x[6][117] x[6][118] x[6][119] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[7][47] x[7][48] x[7][49] x[7][50] x[7][51] x[7][52] x[7][53] x[7][54] x[7][55] x[7][56] x[7][57] x[7][58] x[7][59] x[7][60] x[7][61] x[7][62] x[7][63] x[7][64] x[7][65] x[7][66] x[7][67] x[7][68] x[7][69] x[7][70] x[7][71] x[7][72] x[7][73] x[7][74] x[7][75] x[7][76] x[7][77] x[7][78] x[7][79] x[7][80] x[7][81] x[7][82] x[7][83] x[7][84] x[7][85] x[7][86] x[7][87] x[7][88] x[7][89] x[7][90] x[7][91] x[7][92] x[7][93] x[7][94] x[7][95] x[7][96] x[7][97] x[7][98] x[7][99] x[7][100] x[7][101] x[7][102] x[7][103] x[7][104] x[7][105] x[7][106] x[7][107] x[7][108] x[7][109] x[7][110] x[7][111] x[7][112] x[7][113] x[7][114] x[7][115] x[7][116] x[7][117] x[7][118] x[7][119] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[8][47] x[8][48] x[8][49] x[8][50] x[8][51] x[8][52] x[8][53] x[8][54] x[8][55] x[8][56] x[8][57] x[8][58] x[8][59] x[8][60] x[8][61] x[8][62] x[8][63] x[8][64] x[8][65] x[8][66] x[8][67] x[8][68] x[8][69] x[8][70] x[8][71] x[8][72] x[8][73] x[8][74] x[8][75] x[8][76] x[8][77] x[8][78] x[8][79] x[8][80] x[8][81] x[8][82] x[8][83] x[8][84] x[8][85] x[8][86] x[8][87] x[8][88] x[8][89] x[8][90] x[8][91] x[8][92] x[8][93] x[8][94] x[8][95] x[8][96] x[8][97] x[8][98] x[8][99] x[8][100] x[8][101] x[8][102] x[8][103] x[8][104] x[8][105] x[8][106] x[8][107] x[8][108] x[8][109] x[8][110] x[8][111] x[8][112] x[8][113] x[8][114] x[8][115] x[8][116] x[8][117] x[8][118] x[8][119] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[9][46] x[9][47] x[9][48] x[9][49] x[9][50] x[9][51] x[9][52] x[9][53] x[9][54] x[9][55] x[9][56] x[9][57] x[9][58] x[9][59] x[9][60] x[9][61] x[9][62] x[9][63] x[9][64] x[9][65] x[9][66] x[9][67] x[9][68] x[9][69] x[9][70] x[9][71] x[9][72] x[9][73] x[9][74] x[9][75] x[9][76] x[9][77] x[9][78] x[9][79] x[9][80] x[9][81] x[9][82] x[9][83] x[9][84] x[9][85] x[9][86] x[9][87] x[9][88] x[9][89] x[9][90] x[9][91] x[9][92] x[9][93] x[9][94] x[9][95] x[9][96] x[9][97] x[9][98] x[9][99] x[9][100] x[9][101] x[9][102] x[9][103] x[9][104] x[9][105] x[9][106] x[9][107] x[9][108] x[9][109] x[9][110] x[9][111] x[9][112] x[9][113] x[9][114] x[9][115] x[9][116] x[9][117] x[9][118] x[9][119] s[0][1][0] s[0][1][1] s[0][1][2] s[0][1][3] s[0][1][4] s[0][1][5] s[0][1][6] s[0][1][7] s[0][1][8] s[0][1][9] s[0][1][10] s[0][1][11] s[0][1][12] s[0][1][13] s[0][1][14] s[0][1][15] s[0][1][16] s[0][1][17] s[0][1][18] s[0][1][19] s[0][1][20] s[0][1][21] s[0][1][22] s[0][1][23] s[0][1][24] s[0][1][25] s[0][1][26] s[0][1][27] s[0][1][28] s[0][1][29] s[0][1][30] s[0][1][31] s[0][1][32] s[0][1][33] s[0][1][34] s[0][1][35] s[0][1][36] s[0][1][37] s[0][1][38] s[0][1][39] s[0][1][40] s[0][1][41] s[0][1][42] s[0][1][43] s[0][1][44] s[0][1][45] s[0][1][46] s[0][1][47] s[0][1][48] s[0][1][49] s[0][1][50] s[0][1][51] s[0][1][52] s[0][1][53] s[0][1][54] s[0][1][55] s[0][1][56] s[0][1][57] s[0][1][58] s[0][1][59] s[0][1][60] s[0][1][61] s[0][1][62] s[0][1][63] s[0][1][64] s[0][1][65] s[0][1][66] s[0][1][67] s[0][1][68] s[0][1][69] s[0][1][70] s[0][1][71] s[0][1][72] s[0][1][73] s[0][1][74] s[0][1][75] s[0][1][76] s[0][1][77] s[0][1][78] s[0][1][79] s[0][1][80] s[0][1][81] s[0][1][82] s[0][1][83] s[0][1][84] s[0][1][85] s[0][1][86] s[0][1][87] s[0][1][88] s[0][1][89] s[0][1][90] s[0][1][91] s[0][1][92] s[0][1][93] s[0][1][94] s[0][1][95] s[0][1][96] s[0][1][97] s[0][1][98] s[0][1][99] s[0][1][100] s[0][1][101] s[0][1][102] s[0][1][103] s[0][1][104] s[0][1][105] s[0][1][106] s[0][1][107] s[0][1][108] s[0][1][109] s[0][1][110] s[0][1][111] s[0][1][112] s[0][1][113] s[0][1][114] s[0][1][115] s[0][1][116] s[0][1][117] s[0][1][118] s[0][1][119] s[0][2][0] s[0][2][1] s[0][2][2] s[0][2][3] s[0][2][4] s[0][2][5] s[0][2][6] s[0][2][7] s[0][2][8] s[0][2][9] s[0][2][10] s[0][2][11] s[0][2][12] s[0][2][13] s[0][2][14] s[0][2][15] s[0][2][16] s[0][2][17] s[0][2][18] s[0][2][19] s[0][2][20] s[0][2][21] s[0][2][22] s[0][2][23] s[0][2][24] s[0][2][25] s[0][2][26] s[0][2][27] s[0][2][28] s[0][2][29] s[0][2][30] s[0][2][31] s[0][2][32] s[0][2][33] s[0][2][34] s[0][2][35] s[0][2][36] s[0][2][37] s[0][2][38] s[0][2][39] s[0][2][40] s[0][2][41] s[0][2][42] s[0][2][43] s[0][2][44] s[0][2][45] s[0][2][46] s[0][2][47] s[0][2][48] s[0][2][49] s[0][2][50] s[0][2][51] s[0][2][52] s[0][2][53] s[0][2][54] s[0][2][55] s[0][2][56] s[0][2][57] s[0][2][58] s[0][2][59] s[0][2][60] s[0][2][61] s[0][2][62] s[0][2][63] s[0][2][64] s[0][2][65] s[0][2][66] s[0][2][67] s[0][2][68] s[0][2][69] s[0][2][70] s[0][2][71] s[0][2][72] s[0][2][73] s[0][2][74] s[0][2][75] s[0][2][76] s[0][2][77] s[0][2][78] s[0][2][79] s[0][2][80] s[0][2][81] s[0][2][82] s[0][2][83] s[0][2][84] s[0][2][85] s[0][2][86] s[0][2][87] s[0][2][88] s[0][2][89] s[0][2][90] s[0][2][91] s[0][2][92] s[0][2][93] s[0][2][94] s[0][2][95] s[0][2][96] s[0][2][97] s[0][2][98] s[0][2][99] s[0][2][100] s[0][2][101] s[0][2][102] s[0][2][103] s[0][2][104] s[0][2][105] s[0][2][106] s[0][2][107] s[0][2][108] s[0][2][109] s[0][2][110] s[0][2][111] s[0][2][112] s[0][2][113] s[0][2][114] s[0][2][115] s[0][2][116] s[0][2][117] s[0][2][118] s[0][2][119] s[0][3][0] s[0][3][1] s[0][3][2] s[0][3][3] s[0][3][4] s[0][3][5] s[0][3][6] s[0][3][7] s[0][3][8] s[0][3][9] s[0][3][10] s[0][3][11] s[0][3][12] s[0][3][13] s[0][3][14] s[0][3][15] s[0][3][16] s[0][3][17] s[0][3][18] s[0][3][19] s[0][3][20] s[0][3][21] s[0][3][22] s[0][3][23] s[0][3][24] s[0][3][25] s[0][3][26] s[0][3][27] s[0][3][28] s[0][3][29] s[0][3][30] s[0][3][31] s[0][3][32] s[0][3][33] s[0][3][34] s[0][3][35] s[0][3][36] s[0][3][37] s[0][3][38] s[0][3][39] s[0][3][40] s[0][3][41] s[0][3][42] s[0][3][43] s[0][3][44] s[0][3][45] s[0][3][46] s[0][3][47] s[0][3][48] s[0][3][49] s[0][3][50] s[0][3][51] s[0][3][52] s[0][3][53] s[0][3][54] s[0][3][55] s[0][3][56] s[0][3][57] s[0][3][58] s[0][3][59] s[0][3][60] s[0][3][61] s[0][3][62] s[0][3][63] s[0][3][64] s[0][3][65] s[0][3][66] s[0][3][67] s[0][3][68] s[0][3][69] s[0][3][70] s[0][3][71] s[0][3][72] s[0][3][73] s[0][3][74] s[0][3][75] s[0][3][76] s[0][3][77] s[0][3][78] s[0][3][79] s[0][3][80] s[0][3][81] s[0][3][82] s[0][3][83] s[0][3][84] s[0][3][85] s[0][3][86] s[0][3][87] s[0][3][88] s[0][3][89] s[0][3][90] s[0][3][91] s[0][3][92] s[0][3][93] s[0][3][94] s[0][3][95] s[0][3][96] s[0][3][97] s[0][3][98] s[0][3][99] s[0][3][100] s[0][3][101] s[0][3][102] s[0][3][103] s[0][3][104] s[0][3][105] s[0][3][106] s[0][3][107] s[0][3][108] s[0][3][109] s[0][3][110] s[0][3][111] s[0][3][112] s[0][3][113] s[0][3][114] s[0][3][115] s[0][3][116] s[0][3][117] s[0][3][118] s[0][3][119] s[0][4][0] s[0][4][1] s[0][4][2] s[0][4][3] s[0][4][4] s[0][4][5] s[0][4][6] s[0][4][7] s[0][4][8] s[0][4][9] s[0][4][10] s[0][4][11] s[0][4][12] s[0][4][13] s[0][4][14] s[0][4][15] s[0][4][16] s[0][4][17] s[0][4][18] s[0][4][19] s[0][4][20] s[0][4][21] s[0][4][22] s[0][4][23] s[0][4][24] s[0][4][25] s[0][4][26] s[0][4][27] s[0][4][28] s[0][4][29] s[0][4][30] s[0][4][31] s[0][4][32] s[0][4][33] s[0][4][34] s[0][4][35] s[0][4][36] s[0][4][37] s[0][4][38] s[0][4][39] s[0][4][40] s[0][4][41] s[0][4][42] s[0][4][43] s[0][4][44] s[0][4][45] s[0][4][46] s[0][4][47] s[0][4][48] s[0][4][49] s[0][4][50] s[0][4][51] s[0][4][52] s[0][4][53] s[0][4][54] s[0][4][55] s[0][4][56] s[0][4][57] s[0][4][58] s[0][4][59] s[0][4][60] s[0][4][61] s[0][4][62] s[0][4][63] s[0][4][64] s[0][4][65] s[0][4][66] s[0][4][67] s[0][4][68] s[0][4][69] s[0][4][70] s[0][4][71] s[0][4][72] s[0][4][73] s[0][4][74] s[0][4][75] s[0][4][76] s[0][4][77] s[0][4][78] s[0][4][79] s[0][4][80] s[0][4][81] s[0][4][82] s[0][4][83] s[0][4][84] s[0][4][85] s[0][4][86] s[0][4][87] s[0][4][88] s[0][4][89] s[0][4][90] s[0][4][91] s[0][4][92] s[0][4][93] s[0][4][94] s[0][4][95] s[0][4][96] s[0][4][97] s[0][4][98] s[0][4][99] s[0][4][100] s[0][4][101] s[0][4][102] s[0][4][103] s[0][4][104] s[0][4][105] s[0][4][106] s[0][4][107] s[0][4][108] s[0][4][109] s[0][4][110] s[0][4][111] s[0][4][112] s[0][4][113] s[0][4][114] s[0][4][115] s[0][4][116] s[0][4][117] s[0][4][118] s[0][4][119] s[0][5][0] s[0][5][1] s[0][5][2] s[0][5][3] s[0][5][4] s[0][5][5] s[0][5][6] s[0][5][7] s[0][5][8] s[0][5][9] s[0][5][10] s[0][5][11] s[0][5][12] s[0][5][13] s[0][5][14] s[0][5][15] s[0][5][16] s[0][5][17] s[0][5][18] s[0][5][19] s[0][5][20] s[0][5][21] s[0][5][22] s[0][5][23] s[0][5][24] s[0][5][25] s[0][5][26] s[0][5][27] s[0][5][28] s[0][5][29] s[0][5][30] s[0][5][31] s[0][5][32] s[0][5][33] s[0][5][34] s[0][5][35] s[0][5][36] s[0][5][37] s[0][5][38] s[0][5][39] s[0][5][40] s[0][5][41] s[0][5][42] s[0][5][43] s[0][5][44] s[0][5][45] s[0][5][46] s[0][5][47] s[0][5][48] s[0][5][49] s[0][5][50] s[0][5][51] s[0][5][52] s[0][5][53] s[0][5][54] s[0][5][55] s[0][5][56] s[0][5][57] s[0][5][58] s[0][5][59] s[0][5][60] s[0][5][61] s[0][5][62] s[0][5][63] s[0][5][64] s[0][5][65] s[0][5][66] s[0][5][67] s[0][5][68] s[0][5][69] s[0][5][70] s[0][5][71] s[0][5][72] s[0][5][73] s[0][5][74] s[0][5][75] s[0][5][76] s[0][5][77] s[0][5][78] s[0][5][79] s[0][5][80] s[0][5][81] s[0][5][82] s[0][5][83] s[0][5][84] s[0][5][85] s[0][5][86] s[0][5][87] s[0][5][88] s[0][5][89] s[0][5][90] s[0][5][91] s[0][5][92] s[0][5][93] s[0][5][94] s[0][5][95] s[0][5][96] s[0][5][97] s[0][5][98] s[0][5][99] s[0][5][100] s[0][5][101] s[0][5][102] s[0][5][103] s[0][5][104] s[0][5][105] s[0][5][106] s[0][5][107] s[0][5][108] s[0][5][109] s[0][5][110] s[0][5][111] s[0][5][112] s[0][5][113] s[0][5][114] s[0][5][115] s[0][5][116] s[0][5][117] s[0][5][118] s[0][5][119] s[0][6][0] s[0][6][1] s[0][6][2] s[0][6][3] s[0][6][4] s[0][6][5] s[0][6][6] s[0][6][7] s[0][6][8] s[0][6][9] s[0][6][10] s[0][6][11] s[0][6][12] s[0][6][13] s[0][6][14] s[0][6][15] s[0][6][16] s[0][6][17] s[0][6][18] s[0][6][19] s[0][6][20] s[0][6][21] s[0][6][22] s[0][6][23] s[0][6][24] s[0][6][25] s[0][6][26] s[0][6][27] s[0][6][28] s[0][6][29] s[0][6][30] s[0][6][31] s[0][6][32] s[0][6][33] s[0][6][34] s[0][6][35] s[0][6][36] s[0][6][37] s[0][6][38] s[0][6][39] s[0][6][40] s[0][6][41] s[0][6][42] s[0][6][43] s[0][6][44] s[0][6][45] s[0][6][46] s[0][6][47] s[0][6][48] s[0][6][49] s[0][6][50] s[0][6][51] s[0][6][52] s[0][6][53] s[0][6][54] s[0][6][55] s[0][6][56] s[0][6][57] s[0][6][58] s[0][6][59] s[0][6][60] s[0][6][61] s[0][6][62] s[0][6][63] s[0][6][64] s[0][6][65] s[0][6][66] s[0][6][67] s[0][6][68] s[0][6][69] s[0][6][70] s[0][6][71] s[0][6][72] s[0][6][73] s[0][6][74] s[0][6][75] s[0][6][76] s[0][6][77] s[0][6][78] s[0][6][79] s[0][6][80] s[0][6][81] s[0][6][82] s[0][6][83] s[0][6][84] s[0][6][85] s[0][6][86] s[0][6][87] s[0][6][88] s[0][6][89] s[0][6][90] s[0][6][91] s[0][6][92] s[0][6][93] s[0][6][94] s[0][6][95] s[0][6][96] s[0][6][97] s[0][6][98] s[0][6][99] s[0][6][100] s[0][6][101] s[0][6][102] s[0][6][103] s[0][6][104] s[0][6][105] s[0][6][106] s[0][6][107] s[0][6][108] s[0][6][109] s[0][6][110] s[0][6][111] s[0][6][112] s[0][6][113] s[0][6][114] s[0][6][115] s[0][6][116] s[0][6][117] s[0][6][118] s[0][6][119] s[0][7][0] s[0][7][1] s[0][7][2] s[0][7][3] s[0][7][4] s[0][7][5] s[0][7][6] s[0][7][7] s[0][7][8] s[0][7][9] s[0][7][10] s[0][7][11] s[0][7][12] s[0][7][13] s[0][7][14] s[0][7][15] s[0][7][16] s[0][7][17] s[0][7][18] s[0][7][19] s[0][7][20] s[0][7][21] s[0][7][22] s[0][7][23] s[0][7][24] s[0][7][25] s[0][7][26] s[0][7][27] s[0][7][28] s[0][7][29] s[0][7][30] s[0][7][31] s[0][7][32] s[0][7][33] s[0][7][34] s[0][7][35] s[0][7][36] s[0][7][37] s[0][7][38] s[0][7][39] s[0][7][40] s[0][7][41] s[0][7][42] s[0][7][43] s[0][7][44] s[0][7][45] s[0][7][46] s[0][7][47] s[0][7][48] s[0][7][49] s[0][7][50] s[0][7][51] s[0][7][52] s[0][7][53] s[0][7][54] s[0][7][55] s[0][7][56] s[0][7][57] s[0][7][58] s[0][7][59] s[0][7][60] s[0][7][61] s[0][7][62] s[0][7][63] s[0][7][64] s[0][7][65] s[0][7][66] s[0][7][67] s[0][7][68] s[0][7][69] s[0][7][70] s[0][7][71] s[0][7][72] s[0][7][73] s[0][7][74] s[0][7][75] s[0][7][76] s[0][7][77] s[0][7][78] s[0][7][79] s[0][7][80] s[0][7][81] s[0][7][82] s[0][7][83] s[0][7][84] s[0][7][85] s[0][7][86] s[0][7][87] s[0][7][88] s[0][7][89] s[0][7][90] s[0][7][91] s[0][7][92] s[0][7][93] s[0][7][94] s[0][7][95] s[0][7][96] s[0][7][97] s[0][7][98] s[0][7][99] s[0][7][100] s[0][7][101] s[0][7][102] s[0][7][103] s[0][7][104] s[0][7][105] s[0][7][106] s[0][7][107] s[0][7][108] s[0][7][109] s[0][7][110] s[0][7][111] s[0][7][112] s[0][7][113] s[0][7][114] s[0][7][115] s[0][7][116] s[0][7][117] s[0][7][118] s[0][7][119] s[0][8][0] s[0][8][1] s[0][8][2] s[0][8][3] s[0][8][4] s[0][8][5] s[0][8][6] s[0][8][7] s[0][8][8] s[0][8][9] s[0][8][10] s[0][8][11] s[0][8][12] s[0][8][13] s[0][8][14] s[0][8][15] s[0][8][16] s[0][8][17] s[0][8][18] s[0][8][19] s[0][8][20] s[0][8][21] s[0][8][22] s[0][8][23] s[0][8][24] s[0][8][25] s[0][8][26] s[0][8][27] s[0][8][28] s[0][8][29] s[0][8][30] s[0][8][31] s[0][8][32] s[0][8][33] s[0][8][34] s[0][8][35] s[0][8][36] s[0][8][37] s[0][8][38] s[0][8][39] s[0][8][40] s[0][8][41] s[0][8][42] s[0][8][43] s[0][8][44] s[0][8][45] s[0][8][46] s[0][8][47] s[0][8][48] s[0][8][49] s[0][8][50] s[0][8][51] s[0][8][52] s[0][8][53] s[0][8][54] s[0][8][55] s[0][8][56] s[0][8][57] s[0][8][58] s[0][8][59] s[0][8][60] s[0][8][61] s[0][8][62] s[0][8][63] s[0][8][64] s[0][8][65] s[0][8][66] s[0][8][67] s[0][8][68] s[0][8][69] s[0][8][70] s[0][8][71] s[0][8][72] s[0][8][73] s[0][8][74] s[0][8][75] s[0][8][76] s[0][8][77] s[0][8][78] s[0][8][79] s[0][8][80] s[0][8][81] s[0][8][82] s[0][8][83] s[0][8][84] s[0][8][85] s[0][8][86] s[0][8][87] s[0][8][88] s[0][8][89] s[0][8][90] s[0][8][91] s[0][8][92] s[0][8][93] s[0][8][94] s[0][8][95] s[0][8][96] s[0][8][97] s[0][8][98] s[0][8][99] s[0][8][100] s[0][8][101] s[0][8][102] s[0][8][103] s[0][8][104] s[0][8][105] s[0][8][106] s[0][8][107] s[0][8][108] s[0][8][109] s[0][8][110] s[0][8][111] s[0][8][112] s[0][8][113] s[0][8][114] s[0][8][115] s[0][8][116] s[0][8][117] s[0][8][118] s[0][8][119] s[0][9][0] s[0][9][1] s[0][9][2] s[0][9][3] s[0][9][4] s[0][9][5] s[0][9][6] s[0][9][7] s[0][9][8] s[0][9][9] s[0][9][10] s[0][9][11] s[0][9][12] s[0][9][13] s[0][9][14] s[0][9][15] s[0][9][16] s[0][9][17] s[0][9][18] s[0][9][19] s[0][9][20] s[0][9][21] s[0][9][22] s[0][9][23] s[0][9][24] s[0][9][25] s[0][9][26] s[0][9][27] s[0][9][28] s[0][9][29] s[0][9][30] s[0][9][31] s[0][9][32] s[0][9][33] s[0][9][34] s[0][9][35] s[0][9][36] s[0][9][37] s[0][9][38] s[0][9][39] s[0][9][40] s[0][9][41] s[0][9][42] s[0][9][43] s[0][9][44] s[0][9][45] s[0][9][46] s[0][9][47] s[0][9][48] s[0][9][49] s[0][9][50] s[0][9][51] s[0][9][52] s[0][9][53] s[0][9][54] s[0][9][55] s[0][9][56] s[0][9][57] s[0][9][58] s[0][9][59] s[0][9][60] s[0][9][61] s[0][9][62] s[0][9][63] s[0][9][64] s[0][9][65] s[0][9][66] s[0][9][67] s[0][9][68] s[0][9][69] s[0][9][70] s[0][9][71] s[0][9][72] s[0][9][73] s[0][9][74] s[0][9][75] s[0][9][76] s[0][9][77] s[0][9][78] s[0][9][79] s[0][9][80] s[0][9][81] s[0][9][82] s[0][9][83] s[0][9][84] s[0][9][85] s[0][9][86] s[0][9][87] s[0][9][88] s[0][9][89] s[0][9][90] s[0][9][91] s[0][9][92] s[0][9][93] s[0][9][94] s[0][9][95] s[0][9][96] s[0][9][97] s[0][9][98] s[0][9][99] s[0][9][100] s[0][9][101] s[0][9][102] s[0][9][103] s[0][9][104] s[0][9][105] s[0][9][106] s[0][9][107] s[0][9][108] s[0][9][109] s[0][9][110] s[0][9][111] s[0][9][112] s[0][9][113] s[0][9][114] s[0][9][115] s[0][9][116] s[0][9][117] s[0][9][118] s[0][9][119] s[1][2][0] s[1][2][1] s[1][2][2] s[1][2][3] s[1][2][4] s[1][2][5] s[1][2][6] s[1][2][7] s[1][2][8] s[1][2][9] s[1][2][10] s[1][2][11] s[1][2][12] s[1][2][13] s[1][2][14] s[1][2][15] s[1][2][16] s[1][2][17] s[1][2][18] s[1][2][19] s[1][2][20] s[1][2][21] s[1][2][22] s[1][2][23] s[1][2][24] s[1][2][25] s[1][2][26] s[1][2][27] s[1][2][28] s[1][2][29] s[1][2][30] s[1][2][31] s[1][2][32] s[1][2][33] s[1][2][34] s[1][2][35] s[1][2][36] s[1][2][37] s[1][2][38] s[1][2][39] s[1][2][40] s[1][2][41] s[1][2][42] s[1][2][43] s[1][2][44] s[1][2][45] s[1][2][46] s[1][2][47] s[1][2][48] s[1][2][49] s[1][2][50] s[1][2][51] s[1][2][52] s[1][2][53] s[1][2][54] s[1][2][55] s[1][2][56] s[1][2][57] s[1][2][58] s[1][2][59] s[1][2][60] s[1][2][61] s[1][2][62] s[1][2][63] s[1][2][64] s[1][2][65] s[1][2][66] s[1][2][67] s[1][2][68] s[1][2][69] s[1][2][70] s[1][2][71] s[1][2][72] s[1][2][73] s[1][2][74] s[1][2][75] s[1][2][76] s[1][2][77] s[1][2][78] s[1][2][79] s[1][2][80] s[1][2][81] s[1][2][82] s[1][2][83] s[1][2][84] s[1][2][85] s[1][2][86] s[1][2][87] s[1][2][88] s[1][2][89] s[1][2][90] s[1][2][91] s[1][2][92] s[1][2][93] s[1][2][94] s[1][2][95] s[1][2][96] s[1][2][97] s[1][2][98] s[1][2][99] s[1][2][100] s[1][2][101] s[1][2][102] s[1][2][103] s[1][2][104] s[1][2][105] s[1][2][106] s[1][2][107] s[1][2][108] s[1][2][109] s[1][2][110] s[1][2][111] s[1][2][112] s[1][2][113] s[1][2][114] s[1][2][115] s[1][2][116] s[1][2][117] s[1][2][118] s[1][2][119] s[1][3][0] s[1][3][1] s[1][3][2] s[1][3][3] s[1][3][4] s[1][3][5] s[1][3][6] s[1][3][7] s[1][3][8] s[1][3][9] s[1][3][10] s[1][3][11] s[1][3][12] s[1][3][13] s[1][3][14] s[1][3][15] s[1][3][16] s[1][3][17] s[1][3][18] s[1][3][19] s[1][3][20] s[1][3][21] s[1][3][22] s[1][3][23] s[1][3][24] s[1][3][25] s[1][3][26] s[1][3][27] s[1][3][28] s[1][3][29] s[1][3][30] s[1][3][31] s[1][3][32] s[1][3][33] s[1][3][34] s[1][3][35] s[1][3][36] s[1][3][37] s[1][3][38] s[1][3][39] s[1][3][40] s[1][3][41] s[1][3][42] s[1][3][43] s[1][3][44] s[1][3][45] s[1][3][46] s[1][3][47] s[1][3][48] s[1][3][49] s[1][3][50] s[1][3][51] s[1][3][52] s[1][3][53] s[1][3][54] s[1][3][55] s[1][3][56] s[1][3][57] s[1][3][58] s[1][3][59] s[1][3][60] s[1][3][61] s[1][3][62] s[1][3][63] s[1][3][64] s[1][3][65] s[1][3][66] s[1][3][67] s[1][3][68] s[1][3][69] s[1][3][70] s[1][3][71] s[1][3][72] s[1][3][73] s[1][3][74] s[1][3][75] s[1][3][76] s[1][3][77] s[1][3][78] s[1][3][79] s[1][3][80] s[1][3][81] s[1][3][82] s[1][3][83] s[1][3][84] s[1][3][85] s[1][3][86] s[1][3][87] s[1][3][88] s[1][3][89] s[1][3][90] s[1][3][91] s[1][3][92] s[1][3][93] s[1][3][94] s[1][3][95] s[1][3][96] s[1][3][97] s[1][3][98] s[1][3][99] s[1][3][100] s[1][3][101] s[1][3][102] s[1][3][103] s[1][3][104] s[1][3][105] s[1][3][106] s[1][3][107] s[1][3][108] s[1][3][109] s[1][3][110] s[1][3][111] s[1][3][112] s[1][3][113] s[1][3][114] s[1][3][115] s[1][3][116] s[1][3][117] s[1][3][118] s[1][3][119] s[1][4][0] s[1][4][1] s[1][4][2] s[1][4][3] s[1][4][4] s[1][4][5] s[1][4][6] s[1][4][7] s[1][4][8] s[1][4][9] s[1][4][10] s[1][4][11] s[1][4][12] s[1][4][13] s[1][4][14] s[1][4][15] s[1][4][16] s[1][4][17] s[1][4][18] s[1][4][19] s[1][4][20] s[1][4][21] s[1][4][22] s[1][4][23] s[1][4][24] s[1][4][25] s[1][4][26] s[1][4][27] s[1][4][28] s[1][4][29] s[1][4][30] s[1][4][31] s[1][4][32] s[1][4][33] s[1][4][34] s[1][4][35] s[1][4][36] s[1][4][37] s[1][4][38] s[1][4][39] s[1][4][40] s[1][4][41] s[1][4][42] s[1][4][43] s[1][4][44] s[1][4][45] s[1][4][46] s[1][4][47] s[1][4][48] s[1][4][49] s[1][4][50] s[1][4][51] s[1][4][52] s[1][4][53] s[1][4][54] s[1][4][55] s[1][4][56] s[1][4][57] s[1][4][58] s[1][4][59] s[1][4][60] s[1][4][61] s[1][4][62] s[1][4][63] s[1][4][64] s[1][4][65] s[1][4][66] s[1][4][67] s[1][4][68] s[1][4][69] s[1][4][70] s[1][4][71] s[1][4][72] s[1][4][73] s[1][4][74] s[1][4][75] s[1][4][76] s[1][4][77] s[1][4][78] s[1][4][79] s[1][4][80] s[1][4][81] s[1][4][82] s[1][4][83] s[1][4][84] s[1][4][85] s[1][4][86] s[1][4][87] s[1][4][88] s[1][4][89] s[1][4][90] s[1][4][91] s[1][4][92] s[1][4][93] s[1][4][94] s[1][4][95] s[1][4][96] s[1][4][97] s[1][4][98] s[1][4][99] s[1][4][100] s[1][4][101] s[1][4][102] s[1][4][103] s[1][4][104] s[1][4][105] s[1][4][106] s[1][4][107] s[1][4][108] s[1][4][109] s[1][4][110] s[1][4][111] s[1][4][112] s[1][4][113] s[1][4][114] s[1][4][115] s[1][4][116] s[1][4][117] s[1][4][118] s[1][4][119] s[1][5][0] s[1][5][1] s[1][5][2] s[1][5][3] s[1][5][4] s[1][5][5] s[1][5][6] s[1][5][7] s[1][5][8] s[1][5][9] s[1][5][10] s[1][5][11] s[1][5][12] s[1][5][13] s[1][5][14] s[1][5][15] s[1][5][16] s[1][5][17] s[1][5][18] s[1][5][19] s[1][5][20] s[1][5][21] s[1][5][22] s[1][5][23] s[1][5][24] s[1][5][25] s[1][5][26] s[1][5][27] s[1][5][28] s[1][5][29] s[1][5][30] s[1][5][31] s[1][5][32] s[1][5][33] s[1][5][34] s[1][5][35] s[1][5][36] s[1][5][37] s[1][5][38] s[1][5][39] s[1][5][40] s[1][5][41] s[1][5][42] s[1][5][43] s[1][5][44] s[1][5][45] s[1][5][46] s[1][5][47] s[1][5][48] s[1][5][49] s[1][5][50] s[1][5][51] s[1][5][52] s[1][5][53] s[1][5][54] s[1][5][55] s[1][5][56] s[1][5][57] s[1][5][58] s[1][5][59] s[1][5][60] s[1][5][61] s[1][5][62] s[1][5][63] s[1][5][64] s[1][5][65] s[1][5][66] s[1][5][67] s[1][5][68] s[1][5][69] s[1][5][70] s[1][5][71] s[1][5][72] s[1][5][73] s[1][5][74] s[1][5][75] s[1][5][76] s[1][5][77] s[1][5][78] s[1][5][79] s[1][5][80] s[1][5][81] s[1][5][82] s[1][5][83] s[1][5][84] s[1][5][85] s[1][5][86] s[1][5][87] s[1][5][88] s[1][5][89] s[1][5][90] s[1][5][91] s[1][5][92] s[1][5][93] s[1][5][94] s[1][5][95] s[1][5][96] s[1][5][97] s[1][5][98] s[1][5][99] s[1][5][100] s[1][5][101] s[1][5][102] s[1][5][103] s[1][5][104] s[1][5][105] s[1][5][106] s[1][5][107] s[1][5][108] s[1][5][109] s[1][5][110] s[1][5][111] s[1][5][112] s[1][5][113] s[1][5][114] s[1][5][115] s[1][5][116] s[1][5][117] s[1][5][118] s[1][5][119] s[1][6][0] s[1][6][1] s[1][6][2] s[1][6][3] s[1][6][4] s[1][6][5] s[1][6][6] s[1][6][7] s[1][6][8] s[1][6][9] s[1][6][10] s[1][6][11] s[1][6][12] s[1][6][13] s[1][6][14] s[1][6][15] s[1][6][16] s[1][6][17] s[1][6][18] s[1][6][19] s[1][6][20] s[1][6][21] s[1][6][22] s[1][6][23] s[1][6][24] s[1][6][25] s[1][6][26] s[1][6][27] s[1][6][28] s[1][6][29] s[1][6][30] s[1][6][31] s[1][6][32] s[1][6][33] s[1][6][34] s[1][6][35] s[1][6][36] s[1][6][37] s[1][6][38] s[1][6][39] s[1][6][40] s[1][6][41] s[1][6][42] s[1][6][43] s[1][6][44] s[1][6][45] s[1][6][46] s[1][6][47] s[1][6][48] s[1][6][49] s[1][6][50] s[1][6][51] s[1][6][52] s[1][6][53] s[1][6][54] s[1][6][55] s[1][6][56] s[1][6][57] s[1][6][58] s[1][6][59] s[1][6][60] s[1][6][61] s[1][6][62] s[1][6][63] s[1][6][64] s[1][6][65] s[1][6][66] s[1][6][67] s[1][6][68] s[1][6][69] s[1][6][70] s[1][6][71] s[1][6][72] s[1][6][73] s[1][6][74] s[1][6][75] s[1][6][76] s[1][6][77] s[1][6][78] s[1][6][79] s[1][6][80] s[1][6][81] s[1][6][82] s[1][6][83] s[1][6][84] s[1][6][85] s[1][6][86] s[1][6][87] s[1][6][88] s[1][6][89] s[1][6][90] s[1][6][91] s[1][6][92] s[1][6][93] s[1][6][94] s[1][6][95] s[1][6][96] s[1][6][97] s[1][6][98] s[1][6][99] s[1][6][100] s[1][6][101] s[1][6][102] s[1][6][103] s[1][6][104] s[1][6][105] s[1][6][106] s[1][6][107] s[1][6][108] s[1][6][109] s[1][6][110] s[1][6][111] s[1][6][112] s[1][6][113] s[1][6][114] s[1][6][115] s[1][6][116] s[1][6][117] s[1][6][118] s[1][6][119] s[1][7][0] s[1][7][1] s[1][7][2] s[1][7][3] s[1][7][4] s[1][7][5] s[1][7][6] s[1][7][7] s[1][7][8] s[1][7][9] s[1][7][10] s[1][7][11] s[1][7][12] s[1][7][13] s[1][7][14] s[1][7][15] s[1][7][16] s[1][7][17] s[1][7][18] s[1][7][19] s[1][7][20] s[1][7][21] s[1][7][22] s[1][7][23] s[1][7][24] s[1][7][25] s[1][7][26] s[1][7][27] s[1][7][28] s[1][7][29] s[1][7][30] s[1][7][31] s[1][7][32] s[1][7][33] s[1][7][34] s[1][7][35] s[1][7][36] s[1][7][37] s[1][7][38] s[1][7][39] s[1][7][40] s[1][7][41] s[1][7][42] s[1][7][43] s[1][7][44] s[1][7][45] s[1][7][46] s[1][7][47] s[1][7][48] s[1][7][49] s[1][7][50] s[1][7][51] s[1][7][52] s[1][7][53] s[1][7][54] s[1][7][55] s[1][7][56] s[1][7][57] s[1][7][58] s[1][7][59] s[1][7][60] s[1][7][61] s[1][7][62] s[1][7][63] s[1][7][64] s[1][7][65] s[1][7][66] s[1][7][67] s[1][7][68] s[1][7][69] s[1][7][70] s[1][7][71] s[1][7][72] s[1][7][73] s[1][7][74] s[1][7][75] s[1][7][76] s[1][7][77] s[1][7][78] s[1][7][79] s[1][7][80] s[1][7][81] s[1][7][82] s[1][7][83] s[1][7][84] s[1][7][85] s[1][7][86] s[1][7][87] s[1][7][88] s[1][7][89] s[1][7][90] s[1][7][91] s[1][7][92] s[1][7][93] s[1][7][94] s[1][7][95] s[1][7][96] s[1][7][97] s[1][7][98] s[1][7][99] s[1][7][100] s[1][7][101] s[1][7][102] s[1][7][103] s[1][7][104] s[1][7][105] s[1][7][106] s[1][7][107] s[1][7][108] s[1][7][109] s[1][7][110] s[1][7][111] s[1][7][112] s[1][7][113] s[1][7][114] s[1][7][115] s[1][7][116] s[1][7][117] s[1][7][118] s[1][7][119] s[1][8][0] s[1][8][1] s[1][8][2] s[1][8][3] s[1][8][4] s[1][8][5] s[1][8][6] s[1][8][7] s[1][8][8] s[1][8][9] s[1][8][10] s[1][8][11] s[1][8][12] s[1][8][13] s[1][8][14] s[1][8][15] s[1][8][16] s[1][8][17] s[1][8][18] s[1][8][19] s[1][8][20] s[1][8][21] s[1][8][22] s[1][8][23] s[1][8][24] s[1][8][25] s[1][8][26] s[1][8][27] s[1][8][28] s[1][8][29] s[1][8][30] s[1][8][31] s[1][8][32] s[1][8][33] s[1][8][34] s[1][8][35] s[1][8][36] s[1][8][37] s[1][8][38] s[1][8][39] s[1][8][40] s[1][8][41] s[1][8][42] s[1][8][43] s[1][8][44] s[1][8][45] s[1][8][46] s[1][8][47] s[1][8][48] s[1][8][49] s[1][8][50] s[1][8][51] s[1][8][52] s[1][8][53] s[1][8][54] s[1][8][55] s[1][8][56] s[1][8][57] s[1][8][58] s[1][8][59] s[1][8][60] s[1][8][61] s[1][8][62] s[1][8][63] s[1][8][64] s[1][8][65] s[1][8][66] s[1][8][67] s[1][8][68] s[1][8][69] s[1][8][70] s[1][8][71] s[1][8][72] s[1][8][73] s[1][8][74] s[1][8][75] s[1][8][76] s[1][8][77] s[1][8][78] s[1][8][79] s[1][8][80] s[1][8][81] s[1][8][82] s[1][8][83] s[1][8][84] s[1][8][85] s[1][8][86] s[1][8][87] s[1][8][88] s[1][8][89] s[1][8][90] s[1][8][91] s[1][8][92] s[1][8][93] s[1][8][94] s[1][8][95] s[1][8][96] s[1][8][97] s[1][8][98] s[1][8][99] s[1][8][100] s[1][8][101] s[1][8][102] s[1][8][103] s[1][8][104] s[1][8][105] s[1][8][106] s[1][8][107] s[1][8][108] s[1][8][109] s[1][8][110] s[1][8][111] s[1][8][112] s[1][8][113] s[1][8][114] s[1][8][115] s[1][8][116] s[1][8][117] s[1][8][118] s[1][8][119] s[1][9][0] s[1][9][1] s[1][9][2] s[1][9][3] s[1][9][4] s[1][9][5] s[1][9][6] s[1][9][7] s[1][9][8] s[1][9][9] s[1][9][10] s[1][9][11] s[1][9][12] s[1][9][13] s[1][9][14] s[1][9][15] s[1][9][16] s[1][9][17] s[1][9][18] s[1][9][19] s[1][9][20] s[1][9][21] s[1][9][22] s[1][9][23] s[1][9][24] s[1][9][25] s[1][9][26] s[1][9][27] s[1][9][28] s[1][9][29] s[1][9][30] s[1][9][31] s[1][9][32] s[1][9][33] s[1][9][34] s[1][9][35] s[1][9][36] s[1][9][37] s[1][9][38] s[1][9][39] s[1][9][40] s[1][9][41] s[1][9][42] s[1][9][43] s[1][9][44] s[1][9][45] s[1][9][46] s[1][9][47] s[1][9][48] s[1][9][49] s[1][9][50] s[1][9][51] s[1][9][52] s[1][9][53] s[1][9][54] s[1][9][55] s[1][9][56] s[1][9][57] s[1][9][58] s[1][9][59] s[1][9][60] s[1][9][61] s[1][9][62] s[1][9][63] s[1][9][64] s[1][9][65] s[1][9][66] s[1][9][67] s[1][9][68] s[1][9][69] s[1][9][70] s[1][9][71] s[1][9][72] s[1][9][73] s[1][9][74] s[1][9][75] s[1][9][76] s[1][9][77] s[1][9][78] s[1][9][79] s[1][9][80] s[1][9][81] s[1][9][82] s[1][9][83] s[1][9][84] s[1][9][85] s[1][9][86] s[1][9][87] s[1][9][88] s[1][9][89] s[1][9][90] s[1][9][91] s[1][9][92] s[1][9][93] s[1][9][94] s[1][9][95] s[1][9][96] s[1][9][97] s[1][9][98] s[1][9][99] s[1][9][100] s[1][9][101] s[1][9][102] s[1][9][103] s[1][9][104] s[1][9][105] s[1][9][106] s[1][9][107] s[1][9][108] s[1][9][109] s[1][9][110] s[1][9][111] s[1][9][112] s[1][9][113] s[1][9][114] s[1][9][115] s[1][9][116] s[1][9][117] s[1][9][118] s[1][9][119] s[2][3][0] s[2][3][1] s[2][3][2] s[2][3][3] s[2][3][4] s[2][3][5] s[2][3][6] s[2][3][7] s[2][3][8] s[2][3][9] s[2][3][10] s[2][3][11] s[2][3][12] s[2][3][13] s[2][3][14] s[2][3][15] s[2][3][16] s[2][3][17] s[2][3][18] s[2][3][19] s[2][3][20] s[2][3][21] s[2][3][22] s[2][3][23] s[2][3][24] s[2][3][25] s[2][3][26] s[2][3][27] s[2][3][28] s[2][3][29] s[2][3][30] s[2][3][31] s[2][3][32] s[2][3][33] s[2][3][34] s[2][3][35] s[2][3][36] s[2][3][37] s[2][3][38] s[2][3][39] s[2][3][40] s[2][3][41] s[2][3][42] s[2][3][43] s[2][3][44] s[2][3][45] s[2][3][46] s[2][3][47] s[2][3][48] s[2][3][49] s[2][3][50] s[2][3][51] s[2][3][52] s[2][3][53] s[2][3][54] s[2][3][55] s[2][3][56] s[2][3][57] s[2][3][58] s[2][3][59] s[2][3][60] s[2][3][61] s[2][3][62] s[2][3][63] s[2][3][64] s[2][3][65] s[2][3][66] s[2][3][67] s[2][3][68] s[2][3][69] s[2][3][70] s[2][3][71] s[2][3][72] s[2][3][73] s[2][3][74] s[2][3][75] s[2][3][76] s[2][3][77] s[2][3][78] s[2][3][79] s[2][3][80] s[2][3][81] s[2][3][82] s[2][3][83] s[2][3][84] s[2][3][85] s[2][3][86] s[2][3][87] s[2][3][88] s[2][3][89] s[2][3][90] s[2][3][91] s[2][3][92] s[2][3][93] s[2][3][94] s[2][3][95] s[2][3][96] s[2][3][97] s[2][3][98] s[2][3][99] s[2][3][100] s[2][3][101] s[2][3][102] s[2][3][103] s[2][3][104] s[2][3][105] s[2][3][106] s[2][3][107] s[2][3][108] s[2][3][109] s[2][3][110] s[2][3][111] s[2][3][112] s[2][3][113] s[2][3][114] s[2][3][115] s[2][3][116] s[2][3][117] s[2][3][118] s[2][3][119] s[2][4][0] s[2][4][1] s[2][4][2] s[2][4][3] s[2][4][4] s[2][4][5] s[2][4][6] s[2][4][7] s[2][4][8] s[2][4][9] s[2][4][10] s[2][4][11] s[2][4][12] s[2][4][13] s[2][4][14] s[2][4][15] s[2][4][16] s[2][4][17] s[2][4][18] s[2][4][19] s[2][4][20] s[2][4][21] s[2][4][22] s[2][4][23] s[2][4][24] s[2][4][25] s[2][4][26] s[2][4][27] s[2][4][28] s[2][4][29] s[2][4][30] s[2][4][31] s[2][4][32] s[2][4][33] s[2][4][34] s[2][4][35] s[2][4][36] s[2][4][37] s[2][4][38] s[2][4][39] s[2][4][40] s[2][4][41] s[2][4][42] s[2][4][43] s[2][4][44] s[2][4][45] s[2][4][46] s[2][4][47] s[2][4][48] s[2][4][49] s[2][4][50] s[2][4][51] s[2][4][52] s[2][4][53] s[2][4][54] s[2][4][55] s[2][4][56] s[2][4][57] s[2][4][58] s[2][4][59] s[2][4][60] s[2][4][61] s[2][4][62] s[2][4][63] s[2][4][64] s[2][4][65] s[2][4][66] s[2][4][67] s[2][4][68] s[2][4][69] s[2][4][70] s[2][4][71] s[2][4][72] s[2][4][73] s[2][4][74] s[2][4][75] s[2][4][76] s[2][4][77] s[2][4][78] s[2][4][79] s[2][4][80] s[2][4][81] s[2][4][82] s[2][4][83] s[2][4][84] s[2][4][85] s[2][4][86] s[2][4][87] s[2][4][88] s[2][4][89] s[2][4][90] s[2][4][91] s[2][4][92] s[2][4][93] s[2][4][94] s[2][4][95] s[2][4][96] s[2][4][97] s[2][4][98] s[2][4][99] s[2][4][100] s[2][4][101] s[2][4][102] s[2][4][103] s[2][4][104] s[2][4][105] s[2][4][106] s[2][4][107] s[2][4][108] s[2][4][109] s[2][4][110] s[2][4][111] s[2][4][112] s[2][4][113] s[2][4][114] s[2][4][115] s[2][4][116] s[2][4][117] s[2][4][118] s[2][4][119] s[2][5][0] s[2][5][1] s[2][5][2] s[2][5][3] s[2][5][4] s[2][5][5] s[2][5][6] s[2][5][7] s[2][5][8] s[2][5][9] s[2][5][10] s[2][5][11] s[2][5][12] s[2][5][13] s[2][5][14] s[2][5][15] s[2][5][16] s[2][5][17] s[2][5][18] s[2][5][19] s[2][5][20] s[2][5][21] s[2][5][22] s[2][5][23] s[2][5][24] s[2][5][25] s[2][5][26] s[2][5][27] s[2][5][28] s[2][5][29] s[2][5][30] s[2][5][31] s[2][5][32] s[2][5][33] s[2][5][34] s[2][5][35] s[2][5][36] s[2][5][37] s[2][5][38] s[2][5][39] s[2][5][40] s[2][5][41] s[2][5][42] s[2][5][43] s[2][5][44] s[2][5][45] s[2][5][46] s[2][5][47] s[2][5][48] s[2][5][49] s[2][5][50] s[2][5][51] s[2][5][52] s[2][5][53] s[2][5][54] s[2][5][55] s[2][5][56] s[2][5][57] s[2][5][58] s[2][5][59] s[2][5][60] s[2][5][61] s[2][5][62] s[2][5][63] s[2][5][64] s[2][5][65] s[2][5][66] s[2][5][67] s[2][5][68] s[2][5][69] s[2][5][70] s[2][5][71] s[2][5][72] s[2][5][73] s[2][5][74] s[2][5][75] s[2][5][76] s[2][5][77] s[2][5][78] s[2][5][79] s[2][5][80] s[2][5][81] s[2][5][82] s[2][5][83] s[2][5][84] s[2][5][85] s[2][5][86] s[2][5][87] s[2][5][88] s[2][5][89] s[2][5][90] s[2][5][91] s[2][5][92] s[2][5][93] s[2][5][94] s[2][5][95] s[2][5][96] s[2][5][97] s[2][5][98] s[2][5][99] s[2][5][100] s[2][5][101] s[2][5][102] s[2][5][103] s[2][5][104] s[2][5][105] s[2][5][106] s[2][5][107] s[2][5][108] s[2][5][109] s[2][5][110] s[2][5][111] s[2][5][112] s[2][5][113] s[2][5][114] s[2][5][115] s[2][5][116] s[2][5][117] s[2][5][118] s[2][5][119] s[2][6][0] s[2][6][1] s[2][6][2] s[2][6][3] s[2][6][4] s[2][6][5] s[2][6][6] s[2][6][7] s[2][6][8] s[2][6][9] s[2][6][10] s[2][6][11] s[2][6][12] s[2][6][13] s[2][6][14] s[2][6][15] s[2][6][16] s[2][6][17] s[2][6][18] s[2][6][19] s[2][6][20] s[2][6][21] s[2][6][22] s[2][6][23] s[2][6][24] s[2][6][25] s[2][6][26] s[2][6][27] s[2][6][28] s[2][6][29] s[2][6][30] s[2][6][31] s[2][6][32] s[2][6][33] s[2][6][34] s[2][6][35] s[2][6][36] s[2][6][37] s[2][6][38] s[2][6][39] s[2][6][40] s[2][6][41] s[2][6][42] s[2][6][43] s[2][6][44] s[2][6][45] s[2][6][46] s[2][6][47] s[2][6][48] s[2][6][49] s[2][6][50] s[2][6][51] s[2][6][52] s[2][6][53] s[2][6][54] s[2][6][55] s[2][6][56] s[2][6][57] s[2][6][58] s[2][6][59] s[2][6][60] s[2][6][61] s[2][6][62] s[2][6][63] s[2][6][64] s[2][6][65] s[2][6][66] s[2][6][67] s[2][6][68] s[2][6][69] s[2][6][70] s[2][6][71] s[2][6][72] s[2][6][73] s[2][6][74] s[2][6][75] s[2][6][76] s[2][6][77] s[2][6][78] s[2][6][79] s[2][6][80] s[2][6][81] s[2][6][82] s[2][6][83] s[2][6][84] s[2][6][85] s[2][6][86] s[2][6][87] s[2][6][88] s[2][6][89] s[2][6][90] s[2][6][91] s[2][6][92] s[2][6][93] s[2][6][94] s[2][6][95] s[2][6][96] s[2][6][97] s[2][6][98] s[2][6][99] s[2][6][100] s[2][6][101] s[2][6][102] s[2][6][103] s[2][6][104] s[2][6][105] s[2][6][106] s[2][6][107] s[2][6][108] s[2][6][109] s[2][6][110] s[2][6][111] s[2][6][112] s[2][6][113] s[2][6][114] s[2][6][115] s[2][6][116] s[2][6][117] s[2][6][118] s[2][6][119] s[2][7][0] s[2][7][1] s[2][7][2] s[2][7][3] s[2][7][4] s[2][7][5] s[2][7][6] s[2][7][7] s[2][7][8] s[2][7][9] s[2][7][10] s[2][7][11] s[2][7][12] s[2][7][13] s[2][7][14] s[2][7][15] s[2][7][16] s[2][7][17] s[2][7][18] s[2][7][19] s[2][7][20] s[2][7][21] s[2][7][22] s[2][7][23] s[2][7][24] s[2][7][25] s[2][7][26] s[2][7][27] s[2][7][28] s[2][7][29] s[2][7][30] s[2][7][31] s[2][7][32] s[2][7][33] s[2][7][34] s[2][7][35] s[2][7][36] s[2][7][37] s[2][7][38] s[2][7][39] s[2][7][40] s[2][7][41] s[2][7][42] s[2][7][43] s[2][7][44] s[2][7][45] s[2][7][46] s[2][7][47] s[2][7][48] s[2][7][49] s[2][7][50] s[2][7][51] s[2][7][52] s[2][7][53] s[2][7][54] s[2][7][55] s[2][7][56] s[2][7][57] s[2][7][58] s[2][7][59] s[2][7][60] s[2][7][61] s[2][7][62] s[2][7][63] s[2][7][64] s[2][7][65] s[2][7][66] s[2][7][67] s[2][7][68] s[2][7][69] s[2][7][70] s[2][7][71] s[2][7][72] s[2][7][73] s[2][7][74] s[2][7][75] s[2][7][76] s[2][7][77] s[2][7][78] s[2][7][79] s[2][7][80] s[2][7][81] s[2][7][82] s[2][7][83] s[2][7][84] s[2][7][85] s[2][7][86] s[2][7][87] s[2][7][88] s[2][7][89] s[2][7][90] s[2][7][91] s[2][7][92] s[2][7][93] s[2][7][94] s[2][7][95] s[2][7][96] s[2][7][97] s[2][7][98] s[2][7][99] s[2][7][100] s[2][7][101] s[2][7][102] s[2][7][103] s[2][7][104] s[2][7][105] s[2][7][106] s[2][7][107] s[2][7][108] s[2][7][109] s[2][7][110] s[2][7][111] s[2][7][112] s[2][7][113] s[2][7][114] s[2][7][115] s[2][7][116] s[2][7][117] s[2][7][118] s[2][7][119] s[2][8][0] s[2][8][1] s[2][8][2] s[2][8][3] s[2][8][4] s[2][8][5] s[2][8][6] s[2][8][7] s[2][8][8] s[2][8][9] s[2][8][10] s[2][8][11] s[2][8][12] s[2][8][13] s[2][8][14] s[2][8][15] s[2][8][16] s[2][8][17] s[2][8][18] s[2][8][19] s[2][8][20] s[2][8][21] s[2][8][22] s[2][8][23] s[2][8][24] s[2][8][25] s[2][8][26] s[2][8][27] s[2][8][28] s[2][8][29] s[2][8][30] s[2][8][31] s[2][8][32] s[2][8][33] s[2][8][34] s[2][8][35] s[2][8][36] s[2][8][37] s[2][8][38] s[2][8][39] s[2][8][40] s[2][8][41] s[2][8][42] s[2][8][43] s[2][8][44] s[2][8][45] s[2][8][46] s[2][8][47] s[2][8][48] s[2][8][49] s[2][8][50] s[2][8][51] s[2][8][52] s[2][8][53] s[2][8][54] s[2][8][55] s[2][8][56] s[2][8][57] s[2][8][58] s[2][8][59] s[2][8][60] s[2][8][61] s[2][8][62] s[2][8][63] s[2][8][64] s[2][8][65] s[2][8][66] s[2][8][67] s[2][8][68] s[2][8][69] s[2][8][70] s[2][8][71] s[2][8][72] s[2][8][73] s[2][8][74] s[2][8][75] s[2][8][76] s[2][8][77] s[2][8][78] s[2][8][79] s[2][8][80] s[2][8][81] s[2][8][82] s[2][8][83] s[2][8][84] s[2][8][85] s[2][8][86] s[2][8][87] s[2][8][88] s[2][8][89] s[2][8][90] s[2][8][91] s[2][8][92] s[2][8][93] s[2][8][94] s[2][8][95] s[2][8][96] s[2][8][97] s[2][8][98] s[2][8][99] s[2][8][100] s[2][8][101] s[2][8][102] s[2][8][103] s[2][8][104] s[2][8][105] s[2][8][106] s[2][8][107] s[2][8][108] s[2][8][109] s[2][8][110] s[2][8][111] s[2][8][112] s[2][8][113] s[2][8][114] s[2][8][115] s[2][8][116] s[2][8][117] s[2][8][118] s[2][8][119] s[2][9][0] s[2][9][1] s[2][9][2] s[2][9][3] s[2][9][4] s[2][9][5] s[2][9][6] s[2][9][7] s[2][9][8] s[2][9][9] s[2][9][10] s[2][9][11] s[2][9][12] s[2][9][13] s[2][9][14] s[2][9][15] s[2][9][16] s[2][9][17] s[2][9][18] s[2][9][19] s[2][9][20] s[2][9][21] s[2][9][22] s[2][9][23] s[2][9][24] s[2][9][25] s[2][9][26] s[2][9][27] s[2][9][28] s[2][9][29] s[2][9][30] s[2][9][31] s[2][9][32] s[2][9][33] s[2][9][34] s[2][9][35] s[2][9][36] s[2][9][37] s[2][9][38] s[2][9][39] s[2][9][40] s[2][9][41] s[2][9][42] s[2][9][43] s[2][9][44] s[2][9][45] s[2][9][46] s[2][9][47] s[2][9][48] s[2][9][49] s[2][9][50] s[2][9][51] s[2][9][52] s[2][9][53] s[2][9][54] s[2][9][55] s[2][9][56] s[2][9][57] s[2][9][58] s[2][9][59] s[2][9][60] s[2][9][61] s[2][9][62] s[2][9][63] s[2][9][64] s[2][9][65] s[2][9][66] s[2][9][67] s[2][9][68] s[2][9][69] s[2][9][70] s[2][9][71] s[2][9][72] s[2][9][73] s[2][9][74] s[2][9][75] s[2][9][76] s[2][9][77] s[2][9][78] s[2][9][79] s[2][9][80] s[2][9][81] s[2][9][82] s[2][9][83] s[2][9][84] s[2][9][85] s[2][9][86] s[2][9][87] s[2][9][88] s[2][9][89] s[2][9][90] s[2][9][91] s[2][9][92] s[2][9][93] s[2][9][94] s[2][9][95] s[2][9][96] s[2][9][97] s[2][9][98] s[2][9][99] s[2][9][100] s[2][9][101] s[2][9][102] s[2][9][103] s[2][9][104] s[2][9][105] s[2][9][106] s[2][9][107] s[2][9][108] s[2][9][109] s[2][9][110] s[2][9][111] s[2][9][112] s[2][9][113] s[2][9][114] s[2][9][115] s[2][9][116] s[2][9][117] s[2][9][118] s[2][9][119] s[3][4][0] s[3][4][1] s[3][4][2] s[3][4][3] s[3][4][4] s[3][4][5] s[3][4][6] s[3][4][7] s[3][4][8] s[3][4][9] s[3][4][10] s[3][4][11] s[3][4][12] s[3][4][13] s[3][4][14] s[3][4][15] s[3][4][16] s[3][4][17] s[3][4][18] s[3][4][19] s[3][4][20] s[3][4][21] s[3][4][22] s[3][4][23] s[3][4][24] s[3][4][25] s[3][4][26] s[3][4][27] s[3][4][28] s[3][4][29] s[3][4][30] s[3][4][31] s[3][4][32] s[3][4][33] s[3][4][34] s[3][4][35] s[3][4][36] s[3][4][37] s[3][4][38] s[3][4][39] s[3][4][40] s[3][4][41] s[3][4][42] s[3][4][43] s[3][4][44] s[3][4][45] s[3][4][46] s[3][4][47] s[3][4][48] s[3][4][49] s[3][4][50] s[3][4][51] s[3][4][52] s[3][4][53] s[3][4][54] s[3][4][55] s[3][4][56] s[3][4][57] s[3][4][58] s[3][4][59] s[3][4][60] s[3][4][61] s[3][4][62] s[3][4][63] s[3][4][64] s[3][4][65] s[3][4][66] s[3][4][67] s[3][4][68] s[3][4][69] s[3][4][70] s[3][4][71] s[3][4][72] s[3][4][73] s[3][4][74] s[3][4][75] s[3][4][76] s[3][4][77] s[3][4][78] s[3][4][79] s[3][4][80] s[3][4][81] s[3][4][82] s[3][4][83] s[3][4][84] s[3][4][85] s[3][4][86] s[3][4][87] s[3][4][88] s[3][4][89] s[3][4][90] s[3][4][91] s[3][4][92] s[3][4][93] s[3][4][94] s[3][4][95] s[3][4][96] s[3][4][97] s[3][4][98] s[3][4][99] s[3][4][100] s[3][4][101] s[3][4][102] s[3][4][103] s[3][4][104] s[3][4][105] s[3][4][106] s[3][4][107] s[3][4][108] s[3][4][109] s[3][4][110] s[3][4][111] s[3][4][112] s[3][4][113] s[3][4][114] s[3][4][115] s[3][4][116] s[3][4][117] s[3][4][118] s[3][4][119] s[3][5][0] s[3][5][1] s[3][5][2] s[3][5][3] s[3][5][4] s[3][5][5] s[3][5][6] s[3][5][7] s[3][5][8] s[3][5][9] s[3][5][10] s[3][5][11] s[3][5][12] s[3][5][13] s[3][5][14] s[3][5][15] s[3][5][16] s[3][5][17] s[3][5][18] s[3][5][19] s[3][5][20] s[3][5][21] s[3][5][22] s[3][5][23] s[3][5][24] s[3][5][25] s[3][5][26] s[3][5][27] s[3][5][28] s[3][5][29] s[3][5][30] s[3][5][31] s[3][5][32] s[3][5][33] s[3][5][34] s[3][5][35] s[3][5][36] s[3][5][37] s[3][5][38] s[3][5][39] s[3][5][40] s[3][5][41] s[3][5][42] s[3][5][43] s[3][5][44] s[3][5][45] s[3][5][46] s[3][5][47] s[3][5][48] s[3][5][49] s[3][5][50] s[3][5][51] s[3][5][52] s[3][5][53] s[3][5][54] s[3][5][55] s[3][5][56] s[3][5][57] s[3][5][58] s[3][5][59] s[3][5][60] s[3][5][61] s[3][5][62] s[3][5][63] s[3][5][64] s[3][5][65] s[3][5][66] s[3][5][67] s[3][5][68] s[3][5][69] s[3][5][70] s[3][5][71] s[3][5][72] s[3][5][73] s[3][5][74] s[3][5][75] s[3][5][76] s[3][5][77] s[3][5][78] s[3][5][79] s[3][5][80] s[3][5][81] s[3][5][82] s[3][5][83] s[3][5][84] s[3][5][85] s[3][5][86] s[3][5][87] s[3][5][88] s[3][5][89] s[3][5][90] s[3][5][91] s[3][5][92] s[3][5][93] s[3][5][94] s[3][5][95] s[3][5][96] s[3][5][97] s[3][5][98] s[3][5][99] s[3][5][100] s[3][5][101] s[3][5][102] s[3][5][103] s[3][5][104] s[3][5][105] s[3][5][106] s[3][5][107] s[3][5][108] s[3][5][109] s[3][5][110] s[3][5][111] s[3][5][112] s[3][5][113] s[3][5][114] s[3][5][115] s[3][5][116] s[3][5][117] s[3][5][118] s[3][5][119] s[3][6][0] s[3][6][1] s[3][6][2] s[3][6][3] s[3][6][4] s[3][6][5] s[3][6][6] s[3][6][7] s[3][6][8] s[3][6][9] s[3][6][10] s[3][6][11] s[3][6][12] s[3][6][13] s[3][6][14] s[3][6][15] s[3][6][16] s[3][6][17] s[3][6][18] s[3][6][19] s[3][6][20] s[3][6][21] s[3][6][22] s[3][6][23] s[3][6][24] s[3][6][25] s[3][6][26] s[3][6][27] s[3][6][28] s[3][6][29] s[3][6][30] s[3][6][31] s[3][6][32] s[3][6][33] s[3][6][34] s[3][6][35] s[3][6][36] s[3][6][37] s[3][6][38] s[3][6][39] s[3][6][40] s[3][6][41] s[3][6][42] s[3][6][43] s[3][6][44] s[3][6][45] s[3][6][46] s[3][6][47] s[3][6][48] s[3][6][49] s[3][6][50] s[3][6][51] s[3][6][52] s[3][6][53] s[3][6][54] s[3][6][55] s[3][6][56] s[3][6][57] s[3][6][58] s[3][6][59] s[3][6][60] s[3][6][61] s[3][6][62] s[3][6][63] s[3][6][64] s[3][6][65] s[3][6][66] s[3][6][67] s[3][6][68] s[3][6][69] s[3][6][70] s[3][6][71] s[3][6][72] s[3][6][73] s[3][6][74] s[3][6][75] s[3][6][76] s[3][6][77] s[3][6][78] s[3][6][79] s[3][6][80] s[3][6][81] s[3][6][82] s[3][6][83] s[3][6][84] s[3][6][85] s[3][6][86] s[3][6][87] s[3][6][88] s[3][6][89] s[3][6][90] s[3][6][91] s[3][6][92] s[3][6][93] s[3][6][94] s[3][6][95] s[3][6][96] s[3][6][97] s[3][6][98] s[3][6][99] s[3][6][100] s[3][6][101] s[3][6][102] s[3][6][103] s[3][6][104] s[3][6][105] s[3][6][106] s[3][6][107] s[3][6][108] s[3][6][109] s[3][6][110] s[3][6][111] s[3][6][112] s[3][6][113] s[3][6][114] s[3][6][115] s[3][6][116] s[3][6][117] s[3][6][118] s[3][6][119] s[3][7][0] s[3][7][1] s[3][7][2] s[3][7][3] s[3][7][4] s[3][7][5] s[3][7][6] s[3][7][7] s[3][7][8] s[3][7][9] s[3][7][10] s[3][7][11] s[3][7][12] s[3][7][13] s[3][7][14] s[3][7][15] s[3][7][16] s[3][7][17] s[3][7][18] s[3][7][19] s[3][7][20] s[3][7][21] s[3][7][22] s[3][7][23] s[3][7][24] s[3][7][25] s[3][7][26] s[3][7][27] s[3][7][28] s[3][7][29] s[3][7][30] s[3][7][31] s[3][7][32] s[3][7][33] s[3][7][34] s[3][7][35] s[3][7][36] s[3][7][37] s[3][7][38] s[3][7][39] s[3][7][40] s[3][7][41] s[3][7][42] s[3][7][43] s[3][7][44] s[3][7][45] s[3][7][46] s[3][7][47] s[3][7][48] s[3][7][49] s[3][7][50] s[3][7][51] s[3][7][52] s[3][7][53] s[3][7][54] s[3][7][55] s[3][7][56] s[3][7][57] s[3][7][58] s[3][7][59] s[3][7][60] s[3][7][61] s[3][7][62] s[3][7][63] s[3][7][64] s[3][7][65] s[3][7][66] s[3][7][67] s[3][7][68] s[3][7][69] s[3][7][70] s[3][7][71] s[3][7][72] s[3][7][73] s[3][7][74] s[3][7][75] s[3][7][76] s[3][7][77] s[3][7][78] s[3][7][79] s[3][7][80] s[3][7][81] s[3][7][82] s[3][7][83] s[3][7][84] s[3][7][85] s[3][7][86] s[3][7][87] s[3][7][88] s[3][7][89] s[3][7][90] s[3][7][91] s[3][7][92] s[3][7][93] s[3][7][94] s[3][7][95] s[3][7][96] s[3][7][97] s[3][7][98] s[3][7][99] s[3][7][100] s[3][7][101] s[3][7][102] s[3][7][103] s[3][7][104] s[3][7][105] s[3][7][106] s[3][7][107] s[3][7][108] s[3][7][109] s[3][7][110] s[3][7][111] s[3][7][112] s[3][7][113] s[3][7][114] s[3][7][115] s[3][7][116] s[3][7][117] s[3][7][118] s[3][7][119] s[3][8][0] s[3][8][1] s[3][8][2] s[3][8][3] s[3][8][4] s[3][8][5] s[3][8][6] s[3][8][7] s[3][8][8] s[3][8][9] s[3][8][10] s[3][8][11] s[3][8][12] s[3][8][13] s[3][8][14] s[3][8][15] s[3][8][16] s[3][8][17] s[3][8][18] s[3][8][19] s[3][8][20] s[3][8][21] s[3][8][22] s[3][8][23] s[3][8][24] s[3][8][25] s[3][8][26] s[3][8][27] s[3][8][28] s[3][8][29] s[3][8][30] s[3][8][31] s[3][8][32] s[3][8][33] s[3][8][34] s[3][8][35] s[3][8][36] s[3][8][37] s[3][8][38] s[3][8][39] s[3][8][40] s[3][8][41] s[3][8][42] s[3][8][43] s[3][8][44] s[3][8][45] s[3][8][46] s[3][8][47] s[3][8][48] s[3][8][49] s[3][8][50] s[3][8][51] s[3][8][52] s[3][8][53] s[3][8][54] s[3][8][55] s[3][8][56] s[3][8][57] s[3][8][58] s[3][8][59] s[3][8][60] s[3][8][61] s[3][8][62] s[3][8][63] s[3][8][64] s[3][8][65] s[3][8][66] s[3][8][67] s[3][8][68] s[3][8][69] s[3][8][70] s[3][8][71] s[3][8][72] s[3][8][73] s[3][8][74] s[3][8][75] s[3][8][76] s[3][8][77] s[3][8][78] s[3][8][79] s[3][8][80] s[3][8][81] s[3][8][82] s[3][8][83] s[3][8][84] s[3][8][85] s[3][8][86] s[3][8][87] s[3][8][88] s[3][8][89] s[3][8][90] s[3][8][91] s[3][8][92] s[3][8][93] s[3][8][94] s[3][8][95] s[3][8][96] s[3][8][97] s[3][8][98] s[3][8][99] s[3][8][100] s[3][8][101] s[3][8][102] s[3][8][103] s[3][8][104] s[3][8][105] s[3][8][106] s[3][8][107] s[3][8][108] s[3][8][109] s[3][8][110] s[3][8][111] s[3][8][112] s[3][8][113] s[3][8][114] s[3][8][115] s[3][8][116] s[3][8][117] s[3][8][118] s[3][8][119] s[3][9][0] s[3][9][1] s[3][9][2] s[3][9][3] s[3][9][4] s[3][9][5] s[3][9][6] s[3][9][7] s[3][9][8] s[3][9][9] s[3][9][10] s[3][9][11] s[3][9][12] s[3][9][13] s[3][9][14] s[3][9][15] s[3][9][16] s[3][9][17] s[3][9][18] s[3][9][19] s[3][9][20] s[3][9][21] s[3][9][22] s[3][9][23] s[3][9][24] s[3][9][25] s[3][9][26] s[3][9][27] s[3][9][28] s[3][9][29] s[3][9][30] s[3][9][31] s[3][9][32] s[3][9][33] s[3][9][34] s[3][9][35] s[3][9][36] s[3][9][37] s[3][9][38] s[3][9][39] s[3][9][40] s[3][9][41] s[3][9][42] s[3][9][43] s[3][9][44] s[3][9][45] s[3][9][46] s[3][9][47] s[3][9][48] s[3][9][49] s[3][9][50] s[3][9][51] s[3][9][52] s[3][9][53] s[3][9][54] s[3][9][55] s[3][9][56] s[3][9][57] s[3][9][58] s[3][9][59] s[3][9][60] s[3][9][61] s[3][9][62] s[3][9][63] s[3][9][64] s[3][9][65] s[3][9][66] s[3][9][67] s[3][9][68] s[3][9][69] s[3][9][70] s[3][9][71] s[3][9][72] s[3][9][73] s[3][9][74] s[3][9][75] s[3][9][76] s[3][9][77] s[3][9][78] s[3][9][79] s[3][9][80] s[3][9][81] s[3][9][82] s[3][9][83] s[3][9][84] s[3][9][85] s[3][9][86] s[3][9][87] s[3][9][88] s[3][9][89] s[3][9][90] s[3][9][91] s[3][9][92] s[3][9][93] s[3][9][94] s[3][9][95] s[3][9][96] s[3][9][97] s[3][9][98] s[3][9][99] s[3][9][100] s[3][9][101] s[3][9][102] s[3][9][103] s[3][9][104] s[3][9][105] s[3][9][106] s[3][9][107] s[3][9][108] s[3][9][109] s[3][9][110] s[3][9][111] s[3][9][112] s[3][9][113] s[3][9][114] s[3][9][115] s[3][9][116] s[3][9][117] s[3][9][118] s[3][9][119] s[4][5][0] s[4][5][1] s[4][5][2] s[4][5][3] s[4][5][4] s[4][5][5] s[4][5][6] s[4][5][7] s[4][5][8] s[4][5][9] s[4][5][10] s[4][5][11] s[4][5][12] s[4][5][13] s[4][5][14] s[4][5][15] s[4][5][16] s[4][5][17] s[4][5][18] s[4][5][19] s[4][5][20] s[4][5][21] s[4][5][22] s[4][5][23] s[4][5][24] s[4][5][25] s[4][5][26] s[4][5][27] s[4][5][28] s[4][5][29] s[4][5][30] s[4][5][31] s[4][5][32] s[4][5][33] s[4][5][34] s[4][5][35] s[4][5][36] s[4][5][37] s[4][5][38] s[4][5][39] s[4][5][40] s[4][5][41] s[4][5][42] s[4][5][43] s[4][5][44] s[4][5][45] s[4][5][46] s[4][5][47] s[4][5][48] s[4][5][49] s[4][5][50] s[4][5][51] s[4][5][52] s[4][5][53] s[4][5][54] s[4][5][55] s[4][5][56] s[4][5][57] s[4][5][58] s[4][5][59] s[4][5][60] s[4][5][61] s[4][5][62] s[4][5][63] s[4][5][64] s[4][5][65] s[4][5][66] s[4][5][67] s[4][5][68] s[4][5][69] s[4][5][70] s[4][5][71] s[4][5][72] s[4][5][73] s[4][5][74] s[4][5][75] s[4][5][76] s[4][5][77] s[4][5][78] s[4][5][79] s[4][5][80] s[4][5][81] s[4][5][82] s[4][5][83] s[4][5][84] s[4][5][85] s[4][5][86] s[4][5][87] s[4][5][88] s[4][5][89] s[4][5][90] s[4][5][91] s[4][5][92] s[4][5][93] s[4][5][94] s[4][5][95] s[4][5][96] s[4][5][97] s[4][5][98] s[4][5][99] s[4][5][100] s[4][5][101] s[4][5][102] s[4][5][103] s[4][5][104] s[4][5][105] s[4][5][106] s[4][5][107] s[4][5][108] s[4][5][109] s[4][5][110] s[4][5][111] s[4][5][112] s[4][5][113] s[4][5][114] s[4][5][115] s[4][5][116] s[4][5][117] s[4][5][118] s[4][5][119] s[4][6][0] s[4][6][1] s[4][6][2] s[4][6][3] s[4][6][4] s[4][6][5] s[4][6][6] s[4][6][7] s[4][6][8] s[4][6][9] s[4][6][10] s[4][6][11] s[4][6][12] s[4][6][13] s[4][6][14] s[4][6][15] s[4][6][16] s[4][6][17] s[4][6][18] s[4][6][19] s[4][6][20] s[4][6][21] s[4][6][22] s[4][6][23] s[4][6][24] s[4][6][25] s[4][6][26] s[4][6][27] s[4][6][28] s[4][6][29] s[4][6][30] s[4][6][31] s[4][6][32] s[4][6][33] s[4][6][34] s[4][6][35] s[4][6][36] s[4][6][37] s[4][6][38] s[4][6][39] s[4][6][40] s[4][6][41] s[4][6][42] s[4][6][43] s[4][6][44] s[4][6][45] s[4][6][46] s[4][6][47] s[4][6][48] s[4][6][49] s[4][6][50] s[4][6][51] s[4][6][52] s[4][6][53] s[4][6][54] s[4][6][55] s[4][6][56] s[4][6][57] s[4][6][58] s[4][6][59] s[4][6][60] s[4][6][61] s[4][6][62] s[4][6][63] s[4][6][64] s[4][6][65] s[4][6][66] s[4][6][67] s[4][6][68] s[4][6][69] s[4][6][70] s[4][6][71] s[4][6][72] s[4][6][73] s[4][6][74] s[4][6][75] s[4][6][76] s[4][6][77] s[4][6][78] s[4][6][79] s[4][6][80] s[4][6][81] s[4][6][82] s[4][6][83] s[4][6][84] s[4][6][85] s[4][6][86] s[4][6][87] s[4][6][88] s[4][6][89] s[4][6][90] s[4][6][91] s[4][6][92] s[4][6][93] s[4][6][94] s[4][6][95] s[4][6][96] s[4][6][97] s[4][6][98] s[4][6][99] s[4][6][100] s[4][6][101] s[4][6][102] s[4][6][103] s[4][6][104] s[4][6][105] s[4][6][106] s[4][6][107] s[4][6][108] s[4][6][109] s[4][6][110] s[4][6][111] s[4][6][112] s[4][6][113] s[4][6][114] s[4][6][115] s[4][6][116] s[4][6][117] s[4][6][118] s[4][6][119] s[4][7][0] s[4][7][1] s[4][7][2] s[4][7][3] s[4][7][4] s[4][7][5] s[4][7][6] s[4][7][7] s[4][7][8] s[4][7][9] s[4][7][10] s[4][7][11] s[4][7][12] s[4][7][13] s[4][7][14] s[4][7][15] s[4][7][16] s[4][7][17] s[4][7][18] s[4][7][19] s[4][7][20] s[4][7][21] s[4][7][22] s[4][7][23] s[4][7][24] s[4][7][25] s[4][7][26] s[4][7][27] s[4][7][28] s[4][7][29] s[4][7][30] s[4][7][31] s[4][7][32] s[4][7][33] s[4][7][34] s[4][7][35] s[4][7][36] s[4][7][37] s[4][7][38] s[4][7][39] s[4][7][40] s[4][7][41] s[4][7][42] s[4][7][43] s[4][7][44] s[4][7][45] s[4][7][46] s[4][7][47] s[4][7][48] s[4][7][49] s[4][7][50] s[4][7][51] s[4][7][52] s[4][7][53] s[4][7][54] s[4][7][55] s[4][7][56] s[4][7][57] s[4][7][58] s[4][7][59] s[4][7][60] s[4][7][61] s[4][7][62] s[4][7][63] s[4][7][64] s[4][7][65] s[4][7][66] s[4][7][67] s[4][7][68] s[4][7][69] s[4][7][70] s[4][7][71] s[4][7][72] s[4][7][73] s[4][7][74] s[4][7][75] s[4][7][76] s[4][7][77] s[4][7][78] s[4][7][79] s[4][7][80] s[4][7][81] s[4][7][82] s[4][7][83] s[4][7][84] s[4][7][85] s[4][7][86] s[4][7][87] s[4][7][88] s[4][7][89] s[4][7][90] s[4][7][91] s[4][7][92] s[4][7][93] s[4][7][94] s[4][7][95] s[4][7][96] s[4][7][97] s[4][7][98] s[4][7][99] s[4][7][100] s[4][7][101] s[4][7][102] s[4][7][103] s[4][7][104] s[4][7][105] s[4][7][106] s[4][7][107] s[4][7][108] s[4][7][109] s[4][7][110] s[4][7][111] s[4][7][112] s[4][7][113] s[4][7][114] s[4][7][115] s[4][7][116] s[4][7][117] s[4][7][118] s[4][7][119] s[4][8][0] s[4][8][1] s[4][8][2] s[4][8][3] s[4][8][4] s[4][8][5] s[4][8][6] s[4][8][7] s[4][8][8] s[4][8][9] s[4][8][10] s[4][8][11] s[4][8][12] s[4][8][13] s[4][8][14] s[4][8][15] s[4][8][16] s[4][8][17] s[4][8][18] s[4][8][19] s[4][8][20] s[4][8][21] s[4][8][22] s[4][8][23] s[4][8][24] s[4][8][25] s[4][8][26] s[4][8][27] s[4][8][28] s[4][8][29] s[4][8][30] s[4][8][31] s[4][8][32] s[4][8][33] s[4][8][34] s[4][8][35] s[4][8][36] s[4][8][37] s[4][8][38] s[4][8][39] s[4][8][40] s[4][8][41] s[4][8][42] s[4][8][43] s[4][8][44] s[4][8][45] s[4][8][46] s[4][8][47] s[4][8][48] s[4][8][49] s[4][8][50] s[4][8][51] s[4][8][52] s[4][8][53] s[4][8][54] s[4][8][55] s[4][8][56] s[4][8][57] s[4][8][58] s[4][8][59] s[4][8][60] s[4][8][61] s[4][8][62] s[4][8][63] s[4][8][64] s[4][8][65] s[4][8][66] s[4][8][67] s[4][8][68] s[4][8][69] s[4][8][70] s[4][8][71] s[4][8][72] s[4][8][73] s[4][8][74] s[4][8][75] s[4][8][76] s[4][8][77] s[4][8][78] s[4][8][79] s[4][8][80] s[4][8][81] s[4][8][82] s[4][8][83] s[4][8][84] s[4][8][85] s[4][8][86] s[4][8][87] s[4][8][88] s[4][8][89] s[4][8][90] s[4][8][91] s[4][8][92] s[4][8][93] s[4][8][94] s[4][8][95] s[4][8][96] s[4][8][97] s[4][8][98] s[4][8][99] s[4][8][100] s[4][8][101] s[4][8][102] s[4][8][103] s[4][8][104] s[4][8][105] s[4][8][106] s[4][8][107] s[4][8][108] s[4][8][109] s[4][8][110] s[4][8][111] s[4][8][112] s[4][8][113] s[4][8][114] s[4][8][115] s[4][8][116] s[4][8][117] s[4][8][118] s[4][8][119] s[4][9][0] s[4][9][1] s[4][9][2] s[4][9][3] s[4][9][4] s[4][9][5] s[4][9][6] s[4][9][7] s[4][9][8] s[4][9][9] s[4][9][10] s[4][9][11] s[4][9][12] s[4][9][13] s[4][9][14] s[4][9][15] s[4][9][16] s[4][9][17] s[4][9][18] s[4][9][19] s[4][9][20] s[4][9][21] s[4][9][22] s[4][9][23] s[4][9][24] s[4][9][25] s[4][9][26] s[4][9][27] s[4][9][28] s[4][9][29] s[4][9][30] s[4][9][31] s[4][9][32] s[4][9][33] s[4][9][34] s[4][9][35] s[4][9][36] s[4][9][37] s[4][9][38] s[4][9][39] s[4][9][40] s[4][9][41] s[4][9][42] s[4][9][43] s[4][9][44] s[4][9][45] s[4][9][46] s[4][9][47] s[4][9][48] s[4][9][49] s[4][9][50] s[4][9][51] s[4][9][52] s[4][9][53] s[4][9][54] s[4][9][55] s[4][9][56] s[4][9][57] s[4][9][58] s[4][9][59] s[4][9][60] s[4][9][61] s[4][9][62] s[4][9][63] s[4][9][64] s[4][9][65] s[4][9][66] s[4][9][67] s[4][9][68] s[4][9][69] s[4][9][70] s[4][9][71] s[4][9][72] s[4][9][73] s[4][9][74] s[4][9][75] s[4][9][76] s[4][9][77] s[4][9][78] s[4][9][79] s[4][9][80] s[4][9][81] s[4][9][82] s[4][9][83] s[4][9][84] s[4][9][85] s[4][9][86] s[4][9][87] s[4][9][88] s[4][9][89] s[4][9][90] s[4][9][91] s[4][9][92] s[4][9][93] s[4][9][94] s[4][9][95] s[4][9][96] s[4][9][97] s[4][9][98] s[4][9][99] s[4][9][100] s[4][9][101] s[4][9][102] s[4][9][103] s[4][9][104] s[4][9][105] s[4][9][106] s[4][9][107] s[4][9][108] s[4][9][109] s[4][9][110] s[4][9][111] s[4][9][112] s[4][9][113] s[4][9][114] s[4][9][115] s[4][9][116] s[4][9][117] s[4][9][118] s[4][9][119] s[5][6][0] s[5][6][1] s[5][6][2] s[5][6][3] s[5][6][4] s[5][6][5] s[5][6][6] s[5][6][7] s[5][6][8] s[5][6][9] s[5][6][10] s[5][6][11] s[5][6][12] s[5][6][13] s[5][6][14] s[5][6][15] s[5][6][16] s[5][6][17] s[5][6][18] s[5][6][19] s[5][6][20] s[5][6][21] s[5][6][22] s[5][6][23] s[5][6][24] s[5][6][25] s[5][6][26] s[5][6][27] s[5][6][28] s[5][6][29] s[5][6][30] s[5][6][31] s[5][6][32] s[5][6][33] s[5][6][34] s[5][6][35] s[5][6][36] s[5][6][37] s[5][6][38] s[5][6][39] s[5][6][40] s[5][6][41] s[5][6][42] s[5][6][43] s[5][6][44] s[5][6][45] s[5][6][46] s[5][6][47] s[5][6][48] s[5][6][49] s[5][6][50] s[5][6][51] s[5][6][52] s[5][6][53] s[5][6][54] s[5][6][55] s[5][6][56] s[5][6][57] s[5][6][58] s[5][6][59] s[5][6][60] s[5][6][61] s[5][6][62] s[5][6][63] s[5][6][64] s[5][6][65] s[5][6][66] s[5][6][67] s[5][6][68] s[5][6][69] s[5][6][70] s[5][6][71] s[5][6][72] s[5][6][73] s[5][6][74] s[5][6][75] s[5][6][76] s[5][6][77] s[5][6][78] s[5][6][79] s[5][6][80] s[5][6][81] s[5][6][82] s[5][6][83] s[5][6][84] s[5][6][85] s[5][6][86] s[5][6][87] s[5][6][88] s[5][6][89] s[5][6][90] s[5][6][91] s[5][6][92] s[5][6][93] s[5][6][94] s[5][6][95] s[5][6][96] s[5][6][97] s[5][6][98] s[5][6][99] s[5][6][100] s[5][6][101] s[5][6][102] s[5][6][103] s[5][6][104] s[5][6][105] s[5][6][106] s[5][6][107] s[5][6][108] s[5][6][109] s[5][6][110] s[5][6][111] s[5][6][112] s[5][6][113] s[5][6][114] s[5][6][115] s[5][6][116] s[5][6][117] s[5][6][118] s[5][6][119] s[5][7][0] s[5][7][1] s[5][7][2] s[5][7][3] s[5][7][4] s[5][7][5] s[5][7][6] s[5][7][7] s[5][7][8] s[5][7][9] s[5][7][10] s[5][7][11] s[5][7][12] s[5][7][13] s[5][7][14] s[5][7][15] s[5][7][16] s[5][7][17] s[5][7][18] s[5][7][19] s[5][7][20] s[5][7][21] s[5][7][22] s[5][7][23] s[5][7][24] s[5][7][25] s[5][7][26] s[5][7][27] s[5][7][28] s[5][7][29] s[5][7][30] s[5][7][31] s[5][7][32] s[5][7][33] s[5][7][34] s[5][7][35] s[5][7][36] s[5][7][37] s[5][7][38] s[5][7][39] s[5][7][40] s[5][7][41] s[5][7][42] s[5][7][43] s[5][7][44] s[5][7][45] s[5][7][46] s[5][7][47] s[5][7][48] s[5][7][49] s[5][7][50] s[5][7][51] s[5][7][52] s[5][7][53] s[5][7][54] s[5][7][55] s[5][7][56] s[5][7][57] s[5][7][58] s[5][7][59] s[5][7][60] s[5][7][61] s[5][7][62] s[5][7][63] s[5][7][64] s[5][7][65] s[5][7][66] s[5][7][67] s[5][7][68] s[5][7][69] s[5][7][70] s[5][7][71] s[5][7][72] s[5][7][73] s[5][7][74] s[5][7][75] s[5][7][76] s[5][7][77] s[5][7][78] s[5][7][79] s[5][7][80] s[5][7][81] s[5][7][82] s[5][7][83] s[5][7][84] s[5][7][85] s[5][7][86] s[5][7][87] s[5][7][88] s[5][7][89] s[5][7][90] s[5][7][91] s[5][7][92] s[5][7][93] s[5][7][94] s[5][7][95] s[5][7][96] s[5][7][97] s[5][7][98] s[5][7][99] s[5][7][100] s[5][7][101] s[5][7][102] s[5][7][103] s[5][7][104] s[5][7][105] s[5][7][106] s[5][7][107] s[5][7][108] s[5][7][109] s[5][7][110] s[5][7][111] s[5][7][112] s[5][7][113] s[5][7][114] s[5][7][115] s[5][7][116] s[5][7][117] s[5][7][118] s[5][7][119] s[5][8][0] s[5][8][1] s[5][8][2] s[5][8][3] s[5][8][4] s[5][8][5] s[5][8][6] s[5][8][7] s[5][8][8] s[5][8][9] s[5][8][10] s[5][8][11] s[5][8][12] s[5][8][13] s[5][8][14] s[5][8][15] s[5][8][16] s[5][8][17] s[5][8][18] s[5][8][19] s[5][8][20] s[5][8][21] s[5][8][22] s[5][8][23] s[5][8][24] s[5][8][25] s[5][8][26] s[5][8][27] s[5][8][28] s[5][8][29] s[5][8][30] s[5][8][31] s[5][8][32] s[5][8][33] s[5][8][34] s[5][8][35] s[5][8][36] s[5][8][37] s[5][8][38] s[5][8][39] s[5][8][40] s[5][8][41] s[5][8][42] s[5][8][43] s[5][8][44] s[5][8][45] s[5][8][46] s[5][8][47] s[5][8][48] s[5][8][49] s[5][8][50] s[5][8][51] s[5][8][52] s[5][8][53] s[5][8][54] s[5][8][55] s[5][8][56] s[5][8][57] s[5][8][58] s[5][8][59] s[5][8][60] s[5][8][61] s[5][8][62] s[5][8][63] s[5][8][64] s[5][8][65] s[5][8][66] s[5][8][67] s[5][8][68] s[5][8][69] s[5][8][70] s[5][8][71] s[5][8][72] s[5][8][73] s[5][8][74] s[5][8][75] s[5][8][76] s[5][8][77] s[5][8][78] s[5][8][79] s[5][8][80] s[5][8][81] s[5][8][82] s[5][8][83] s[5][8][84] s[5][8][85] s[5][8][86] s[5][8][87] s[5][8][88] s[5][8][89] s[5][8][90] s[5][8][91] s[5][8][92] s[5][8][93] s[5][8][94] s[5][8][95] s[5][8][96] s[5][8][97] s[5][8][98] s[5][8][99] s[5][8][100] s[5][8][101] s[5][8][102] s[5][8][103] s[5][8][104] s[5][8][105] s[5][8][106] s[5][8][107] s[5][8][108] s[5][8][109] s[5][8][110] s[5][8][111] s[5][8][112] s[5][8][113] s[5][8][114] s[5][8][115] s[5][8][116] s[5][8][117] s[5][8][118] s[5][8][119] s[5][9][0] s[5][9][1] s[5][9][2] s[5][9][3] s[5][9][4] s[5][9][5] s[5][9][6] s[5][9][7] s[5][9][8] s[5][9][9] s[5][9][10] s[5][9][11] s[5][9][12] s[5][9][13] s[5][9][14] s[5][9][15] s[5][9][16] s[5][9][17] s[5][9][18] s[5][9][19] s[5][9][20] s[5][9][21] s[5][9][22] s[5][9][23] s[5][9][24] s[5][9][25] s[5][9][26] s[5][9][27] s[5][9][28] s[5][9][29] s[5][9][30] s[5][9][31] s[5][9][32] s[5][9][33] s[5][9][34] s[5][9][35] s[5][9][36] s[5][9][37] s[5][9][38] s[5][9][39] s[5][9][40] s[5][9][41] s[5][9][42] s[5][9][43] s[5][9][44] s[5][9][45] s[5][9][46] s[5][9][47] s[5][9][48] s[5][9][49] s[5][9][50] s[5][9][51] s[5][9][52] s[5][9][53] s[5][9][54] s[5][9][55] s[5][9][56] s[5][9][57] s[5][9][58] s[5][9][59] s[5][9][60] s[5][9][61] s[5][9][62] s[5][9][63] s[5][9][64] s[5][9][65] s[5][9][66] s[5][9][67] s[5][9][68] s[5][9][69] s[5][9][70] s[5][9][71] s[5][9][72] s[5][9][73] s[5][9][74] s[5][9][75] s[5][9][76] s[5][9][77] s[5][9][78] s[5][9][79] s[5][9][80] s[5][9][81] s[5][9][82] s[5][9][83] s[5][9][84] s[5][9][85] s[5][9][86] s[5][9][87] s[5][9][88] s[5][9][89] s[5][9][90] s[5][9][91] s[5][9][92] s[5][9][93] s[5][9][94] s[5][9][95] s[5][9][96] s[5][9][97] s[5][9][98] s[5][9][99] s[5][9][100] s[5][9][101] s[5][9][102] s[5][9][103] s[5][9][104] s[5][9][105] s[5][9][106] s[5][9][107] s[5][9][108] s[5][9][109] s[5][9][110] s[5][9][111] s[5][9][112] s[5][9][113] s[5][9][114] s[5][9][115] s[5][9][116] s[5][9][117] s[5][9][118] s[5][9][119] s[6][7][0] s[6][7][1] s[6][7][2] s[6][7][3] s[6][7][4] s[6][7][5] s[6][7][6] s[6][7][7] s[6][7][8] s[6][7][9] s[6][7][10] s[6][7][11] s[6][7][12] s[6][7][13] s[6][7][14] s[6][7][15] s[6][7][16] s[6][7][17] s[6][7][18] s[6][7][19] s[6][7][20] s[6][7][21] s[6][7][22] s[6][7][23] s[6][7][24] s[6][7][25] s[6][7][26] s[6][7][27] s[6][7][28] s[6][7][29] s[6][7][30] s[6][7][31] s[6][7][32] s[6][7][33] s[6][7][34] s[6][7][35] s[6][7][36] s[6][7][37] s[6][7][38] s[6][7][39] s[6][7][40] s[6][7][41] s[6][7][42] s[6][7][43] s[6][7][44] s[6][7][45] s[6][7][46] s[6][7][47] s[6][7][48] s[6][7][49] s[6][7][50] s[6][7][51] s[6][7][52] s[6][7][53] s[6][7][54] s[6][7][55] s[6][7][56] s[6][7][57] s[6][7][58] s[6][7][59] s[6][7][60] s[6][7][61] s[6][7][62] s[6][7][63] s[6][7][64] s[6][7][65] s[6][7][66] s[6][7][67] s[6][7][68] s[6][7][69] s[6][7][70] s[6][7][71] s[6][7][72] s[6][7][73] s[6][7][74] s[6][7][75] s[6][7][76] s[6][7][77] s[6][7][78] s[6][7][79] s[6][7][80] s[6][7][81] s[6][7][82] s[6][7][83] s[6][7][84] s[6][7][85] s[6][7][86] s[6][7][87] s[6][7][88] s[6][7][89] s[6][7][90] s[6][7][91] s[6][7][92] s[6][7][93] s[6][7][94] s[6][7][95] s[6][7][96] s[6][7][97] s[6][7][98] s[6][7][99] s[6][7][100] s[6][7][101] s[6][7][102] s[6][7][103] s[6][7][104] s[6][7][105] s[6][7][106] s[6][7][107] s[6][7][108] s[6][7][109] s[6][7][110] s[6][7][111] s[6][7][112] s[6][7][113] s[6][7][114] s[6][7][115] s[6][7][116] s[6][7][117] s[6][7][118] s[6][7][119] s[6][8][0] s[6][8][1] s[6][8][2] s[6][8][3] s[6][8][4] s[6][8][5] s[6][8][6] s[6][8][7] s[6][8][8] s[6][8][9] s[6][8][10] s[6][8][11] s[6][8][12] s[6][8][13] s[6][8][14] s[6][8][15] s[6][8][16] s[6][8][17] s[6][8][18] s[6][8][19] s[6][8][20] s[6][8][21] s[6][8][22] s[6][8][23] s[6][8][24] s[6][8][25] s[6][8][26] s[6][8][27] s[6][8][28] s[6][8][29] s[6][8][30] s[6][8][31] s[6][8][32] s[6][8][33] s[6][8][34] s[6][8][35] s[6][8][36] s[6][8][37] s[6][8][38] s[6][8][39] s[6][8][40] s[6][8][41] s[6][8][42] s[6][8][43] s[6][8][44] s[6][8][45] s[6][8][46] s[6][8][47] s[6][8][48] s[6][8][49] s[6][8][50] s[6][8][51] s[6][8][52] s[6][8][53] s[6][8][54] s[6][8][55] s[6][8][56] s[6][8][57] s[6][8][58] s[6][8][59] s[6][8][60] s[6][8][61] s[6][8][62] s[6][8][63] s[6][8][64] s[6][8][65] s[6][8][66] s[6][8][67] s[6][8][68] s[6][8][69] s[6][8][70] s[6][8][71] s[6][8][72] s[6][8][73] s[6][8][74] s[6][8][75] s[6][8][76] s[6][8][77] s[6][8][78] s[6][8][79] s[6][8][80] s[6][8][81] s[6][8][82] s[6][8][83] s[6][8][84] s[6][8][85] s[6][8][86] s[6][8][87] s[6][8][88] s[6][8][89] s[6][8][90] s[6][8][91] s[6][8][92] s[6][8][93] s[6][8][94] s[6][8][95] s[6][8][96] s[6][8][97] s[6][8][98] s[6][8][99] s[6][8][100] s[6][8][101] s[6][8][102] s[6][8][103] s[6][8][104] s[6][8][105] s[6][8][106] s[6][8][107] s[6][8][108] s[6][8][109] s[6][8][110] s[6][8][111] s[6][8][112] s[6][8][113] s[6][8][114] s[6][8][115] s[6][8][116] s[6][8][117] s[6][8][118] s[6][8][119] s[6][9][0] s[6][9][1] s[6][9][2] s[6][9][3] s[6][9][4] s[6][9][5] s[6][9][6] s[6][9][7] s[6][9][8] s[6][9][9] s[6][9][10] s[6][9][11] s[6][9][12] s[6][9][13] s[6][9][14] s[6][9][15] s[6][9][16] s[6][9][17] s[6][9][18] s[6][9][19] s[6][9][20] s[6][9][21] s[6][9][22] s[6][9][23] s[6][9][24] s[6][9][25] s[6][9][26] s[6][9][27] s[6][9][28] s[6][9][29] s[6][9][30] s[6][9][31] s[6][9][32] s[6][9][33] s[6][9][34] s[6][9][35] s[6][9][36] s[6][9][37] s[6][9][38] s[6][9][39] s[6][9][40] s[6][9][41] s[6][9][42] s[6][9][43] s[6][9][44] s[6][9][45] s[6][9][46] s[6][9][47] s[6][9][48] s[6][9][49] s[6][9][50] s[6][9][51] s[6][9][52] s[6][9][53] s[6][9][54] s[6][9][55] s[6][9][56] s[6][9][57] s[6][9][58] s[6][9][59] s[6][9][60] s[6][9][61] s[6][9][62] s[6][9][63] s[6][9][64] s[6][9][65] s[6][9][66] s[6][9][67] s[6][9][68] s[6][9][69] s[6][9][70] s[6][9][71] s[6][9][72] s[6][9][73] s[6][9][74] s[6][9][75] s[6][9][76] s[6][9][77] s[6][9][78] s[6][9][79] s[6][9][80] s[6][9][81] s[6][9][82] s[6][9][83] s[6][9][84] s[6][9][85] s[6][9][86] s[6][9][87] s[6][9][88] s[6][9][89] s[6][9][90] s[6][9][91] s[6][9][92] s[6][9][93] s[6][9][94] s[6][9][95] s[6][9][96] s[6][9][97] s[6][9][98] s[6][9][99] s[6][9][100] s[6][9][101] s[6][9][102] s[6][9][103] s[6][9][104] s[6][9][105] s[6][9][106] s[6][9][107] s[6][9][108] s[6][9][109] s[6][9][110] s[6][9][111] s[6][9][112] s[6][9][113] s[6][9][114] s[6][9][115] s[6][9][116] s[6][9][117] s[6][9][118] s[6][9][119] s[7][8][0] s[7][8][1] s[7][8][2] s[7][8][3] s[7][8][4] s[7][8][5] s[7][8][6] s[7][8][7] s[7][8][8] s[7][8][9] s[7][8][10] s[7][8][11] s[7][8][12] s[7][8][13] s[7][8][14] s[7][8][15] s[7][8][16] s[7][8][17] s[7][8][18] s[7][8][19] s[7][8][20] s[7][8][21] s[7][8][22] s[7][8][23] s[7][8][24] s[7][8][25] s[7][8][26] s[7][8][27] s[7][8][28] s[7][8][29] s[7][8][30] s[7][8][31] s[7][8][32] s[7][8][33] s[7][8][34] s[7][8][35] s[7][8][36] s[7][8][37] s[7][8][38] s[7][8][39] s[7][8][40] s[7][8][41] s[7][8][42] s[7][8][43] s[7][8][44] s[7][8][45] s[7][8][46] s[7][8][47] s[7][8][48] s[7][8][49] s[7][8][50] s[7][8][51] s[7][8][52] s[7][8][53] s[7][8][54] s[7][8][55] s[7][8][56] s[7][8][57] s[7][8][58] s[7][8][59] s[7][8][60] s[7][8][61] s[7][8][62] s[7][8][63] s[7][8][64] s[7][8][65] s[7][8][66] s[7][8][67] s[7][8][68] s[7][8][69] s[7][8][70] s[7][8][71] s[7][8][72] s[7][8][73] s[7][8][74] s[7][8][75] s[7][8][76] s[7][8][77] s[7][8][78] s[7][8][79] s[7][8][80] s[7][8][81] s[7][8][82] s[7][8][83] s[7][8][84] s[7][8][85] s[7][8][86] s[7][8][87] s[7][8][88] s[7][8][89] s[7][8][90] s[7][8][91] s[7][8][92] s[7][8][93] s[7][8][94] s[7][8][95] s[7][8][96] s[7][8][97] s[7][8][98] s[7][8][99] s[7][8][100] s[7][8][101] s[7][8][102] s[7][8][103] s[7][8][104] s[7][8][105] s[7][8][106] s[7][8][107] s[7][8][108] s[7][8][109] s[7][8][110] s[7][8][111] s[7][8][112] s[7][8][113] s[7][8][114] s[7][8][115] s[7][8][116] s[7][8][117] s[7][8][118] s[7][8][119] s[7][9][0] s[7][9][1] s[7][9][2] s[7][9][3] s[7][9][4] s[7][9][5] s[7][9][6] s[7][9][7] s[7][9][8] s[7][9][9] s[7][9][10] s[7][9][11] s[7][9][12] s[7][9][13] s[7][9][14] s[7][9][15] s[7][9][16] s[7][9][17] s[7][9][18] s[7][9][19] s[7][9][20] s[7][9][21] s[7][9][22] s[7][9][23] s[7][9][24] s[7][9][25] s[7][9][26] s[7][9][27] s[7][9][28] s[7][9][29] s[7][9][30] s[7][9][31] s[7][9][32] s[7][9][33] s[7][9][34] s[7][9][35] s[7][9][36] s[7][9][37] s[7][9][38] s[7][9][39] s[7][9][40] s[7][9][41] s[7][9][42] s[7][9][43] s[7][9][44] s[7][9][45] s[7][9][46] s[7][9][47] s[7][9][48] s[7][9][49] s[7][9][50] s[7][9][51] s[7][9][52] s[7][9][53] s[7][9][54] s[7][9][55] s[7][9][56] s[7][9][57] s[7][9][58] s[7][9][59] s[7][9][60] s[7][9][61] s[7][9][62] s[7][9][63] s[7][9][64] s[7][9][65] s[7][9][66] s[7][9][67] s[7][9][68] s[7][9][69] s[7][9][70] s[7][9][71] s[7][9][72] s[7][9][73] s[7][9][74] s[7][9][75] s[7][9][76] s[7][9][77] s[7][9][78] s[7][9][79] s[7][9][80] s[7][9][81] s[7][9][82] s[7][9][83] s[7][9][84] s[7][9][85] s[7][9][86] s[7][9][87] s[7][9][88] s[7][9][89] s[7][9][90] s[7][9][91] s[7][9][92] s[7][9][93] s[7][9][94] s[7][9][95] s[7][9][96] s[7][9][97] s[7][9][98] s[7][9][99] s[7][9][100] s[7][9][101] s[7][9][102] s[7][9][103] s[7][9][104] s[7][9][105] s[7][9][106] s[7][9][107] s[7][9][108] s[7][9][109] s[7][9][110] s[7][9][111] s[7][9][112] s[7][9][113] s[7][9][114] s[7][9][115] s[7][9][116] s[7][9][117] s[7][9][118] s[7][9][119] s[8][9][0] s[8][9][1] s[8][9][2] s[8][9][3] s[8][9][4] s[8][9][5] s[8][9][6] s[8][9][7] s[8][9][8] s[8][9][9] s[8][9][10] s[8][9][11] s[8][9][12] s[8][9][13] s[8][9][14] s[8][9][15] s[8][9][16] s[8][9][17] s[8][9][18] s[8][9][19] s[8][9][20] s[8][9][21] s[8][9][22] s[8][9][23] s[8][9][24] s[8][9][25] s[8][9][26] s[8][9][27] s[8][9][28] s[8][9][29] s[8][9][30] s[8][9][31] s[8][9][32] s[8][9][33] s[8][9][34] s[8][9][35] s[8][9][36] s[8][9][37] s[8][9][38] s[8][9][39] s[8][9][40] s[8][9][41] s[8][9][42] s[8][9][43] s[8][9][44] s[8][9][45] s[8][9][46] s[8][9][47] s[8][9][48] s[8][9][49] s[8][9][50] s[8][9][51] s[8][9][52] s[8][9][53] s[8][9][54] s[8][9][55] s[8][9][56] s[8][9][57] s[8][9][58] s[8][9][59] s[8][9][60] s[8][9][61] s[8][9][62] s[8][9][63] s[8][9][64] s[8][9][65] s[8][9][66] s[8][9][67] s[8][9][68] s[8][9][69] s[8][9][70] s[8][9][71] s[8][9][72] s[8][9][73] s[8][9][74] s[8][9][75] s[8][9][76] s[8][9][77] s[8][9][78] s[8][9][79] s[8][9][80] s[8][9][81] s[8][9][82] s[8][9][83] s[8][9][84] s[8][9][85] s[8][9][86] s[8][9][87] s[8][9][88] s[8][9][89] s[8][9][90] s[8][9][91] s[8][9][92] s[8][9][93] s[8][9][94] s[8][9][95] s[8][9][96] s[8][9][97] s[8][9][98] s[8][9][99] s[8][9][100] s[8][9][101] s[8][9][102] s[8][9][103] s[8][9][104] s[8][9][105] s[8][9][106] s[8][9][107] s[8][9][108] s[8][9][109] s[8][9][110] s[8][9][111] s[8][9][112] s[8][9][113] s[8][9][114] s[8][9][115] s[8][9][116] s[8][9][117] s[8][9][118] s[8][9][119] 1348.84/1300.01 v </list> 1348.84/1300.01 v <values> 1348.84/1300.01 v 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 1 1 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 1 1 1 1 0 0 0 0 1 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 0 0 0 1 1 0 1 1 1 1 1 0 0 0 0 1 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1348.84/1300.01 v </values> 1348.84/1300.01 v </instantiation> 1348.84/1300.01 s SATISFIABLE
OK
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL 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. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (5082 MiB free) memory of node 1: 16384 MiB (3248 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304968-1534097471/watcher-4304968-1534097471 -o /tmp/evaluation-result-4304968-1534097471/solver-4304968-1534097471 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1534097471-21026 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=305293548 -superng HOME/instance-4304968-1534097471.xml running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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 Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=21054, runsolver pid=21047 [startup+0.100062 s]* /proc/loadavg: 1.00 1.16 1.57 4/195 21162 /proc/meminfo: memFree=8524784/32770624 swapFree=67108856/67108860 [pid=21054] ppid=21047 vsize=10005480 memory=16816 CPUtime=0.1 cores=1,3,5,7 /proc/21054/stat : 21054 (java) S 21047 21054 20994 0 -1 1077944320 4335 12914 0 0 1 1 5 3 20 0 6 0 227310265 10245611520 4204 33554432000 4194304 4196468 140722505665712 140722505648256 140142761459447 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 /proc/21054/statm: 2501370 4204 1934 1 0 2489808 0 [pid=21054/tid=21159] ppid=21047 vsize=10005480 memory=-6517102902069810590 CPUtime=0.08 cores=1,3,5,7 /proc/21054/task/21159/stat : 21159 (java) R 21047 21054 20994 0 -1 4202560 2149 12914 0 0 0 0 5 3 20 0 6 0 227310274 10245611520 4204 33554432000 4194304 4196468 140722505665712 140142733296208 140142761481373 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21161] ppid=21047 vsize=10005480 memory=8257237230052613020 CPUtime=0.08 cores=1,3,5,7 /proc/21054/task/21161/stat : 21161 (java) S 21047 21054 20994 0 -1 1077944384 1 12914 0 0 0 0 5 3 20 0 6 0 227310275 10245611520 4204 33554432000 4194304 4196468 140722505665712 140142765701520 140142761469653 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21162] ppid=21047 vsize=10005480 memory=139997982701184 CPUtime=0.08 cores=1,3,5,7 /proc/21054/task/21162/stat : 21162 (java) S 21047 21054 20994 0 -1 1077944384 1 12914 0 0 0 0 5 3 20 0 6 0 227310275 10245611520 4204 33554432000 4194304 4196468 140722505665712 140142300682512 140142761469653 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21163] ppid=21047 vsize=10005480 memory=0 CPUtime=0.08 cores=1,3,5,7 /proc/21054/task/21163/stat : 21163 (java) S 21047 21054 20994 0 -1 1077944384 2 12914 0 0 0 0 5 3 20 0 6 0 227310275 10245611520 4204 33554432000 4194304 4196468 140722505665712 140142299630224 140142761469653 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21164] ppid=21047 vsize=10005480 memory=-1 CPUtime=0.08 cores=1,3,5,7 /proc/21054/task/21164/stat : 21164 (java) S 21047 21054 20994 0 -1 1077944384 2 12914 0 0 0 0 5 3 20 0 6 0 227310275 10245611520 4204 33554432000 4194304 4196468 140722505665712 140142298577424 140142761469653 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 10005480 KiB Current children cumulated memory: 16816 KiB [startup+0.210443 s]* /proc/loadavg: 1.00 1.16 1.57 4/219 21186 /proc/meminfo: memFree=8474908/32770624 swapFree=67108856/67108860 [pid=21054] ppid=21047 vsize=10982744 memory=44872 CPUtime=0.26 cores=1,3,5,7 /proc/21054/stat : 21054 (java) S 21047 21054 20994 0 -1 1077944320 7905 12914 0 0 16 2 5 3 20 0 15 0 227310265 11246329856 11218 33554432000 4194304 4196468 140722505665712 140722505648256 140142761459447 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 /proc/21054/statm: 2745686 11218 2957 1 0 2708109 0 [pid=21054/tid=21159] ppid=21047 vsize=10982744 memory=-6007365819731575600 CPUtime=0.19 cores=1,3,5,7 /proc/21054/task/21159/stat : 21159 (java) R 21047 21054 20994 0 -1 4202560 4523 12914 0 0 10 1 5 3 20 0 15 0 227310274 11246329856 11218 33554432000 4194304 4196468 140722505665712 140142733237408 140142741735196 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21161] ppid=21047 vsize=10982744 memory=-7025452035940392864 CPUtime=0.08 cores=1,3,5,7 /proc/21054/task/21161/stat : 21161 (java) S 21047 21054 20994 0 -1 1077944384 1 12914 0 0 0 0 5 3 20 0 15 0 227310275 11246329856 11284 33554432000 4194304 4196468 140722505665712 140142765701520 140142761469653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21162] ppid=21047 vsize=10982744 memory=139997982701184 CPUtime=0.08 cores=1,3,5,7 /proc/21054/task/21162/stat : 21162 (java) S 21047 21054 20994 0 -1 1077944384 1 12914 0 0 0 0 5 3 20 0 15 0 227310275 11246329856 11284 33554432000 4194304 4196468 140722505665712 140142300682512 140142761469653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21163] ppid=21047 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7 /proc/21054/task/21163/stat : 21163 (java) S 21047 21054 20994 0 -1 1077944384 2 12914 0 0 0 0 5 3 20 0 15 0 227310275 11246329856 11284 33554432000 4194304 4196468 140722505665712 140142299630224 140142761469653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21164] ppid=21047 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7 /proc/21054/task/21164/stat : 21164 (java) S 21047 21054 20994 0 -1 1077944384 2 12914 0 0 0 0 5 3 20 0 15 0 227310275 11246329856 11284 33554432000 4194304 4196468 140722505665712 140142298577424 140142761469653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21169] ppid=21047 vsize=10982744 memory=139997982701184 CPUtime=0.08 cores=1,3,5,7 /proc/21054/task/21169/stat : 21169 (java) S 21047 21054 20994 0 -1 1077944384 2 12914 0 0 0 0 5 3 20 0 15 0 227310276 11246329856 11284 33554432000 4194304 4196468 140722505665712 140142254484080 140142761470594 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21171] ppid=21047 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7 /proc/21054/task/21171/stat : 21171 (java) S 21047 21054 20994 0 -1 1077944384 13 12914 0 0 0 0 5 3 20 0 15 0 227310277 11246329856 11284 33554432000 4194304 4196468 140722505665712 140141561636128 140142761469653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21173] ppid=21047 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7 /proc/21054/task/21173/stat : 21173 (java) S 21047 21054 20994 0 -1 1077944384 1 12914 0 0 0 0 5 3 20 0 15 0 227310277 11246329856 11284 33554432000 4194304 4196468 140722505665712 140141360309872 140142761469653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21175] ppid=21047 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7 /proc/21054/task/21175/stat : 21175 (java) S 21047 21054 20994 0 -1 1077944384 3 12914 0 0 0 0 5 3 20 0 15 0 227310280 11246329856 11284 33554432000 4194304 4196468 140722505665712 140141052910160 140142761478043 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21176] ppid=21047 vsize=10982744 memory=0 CPUtime=0.09 cores=1,3,5,7 /proc/21054/task/21176/stat : 21176 (java) S 21047 21054 20994 0 -1 1077944384 420 12914 0 0 1 0 5 3 20 0 15 0 227310280 11246329856 11284 33554432000 4194304 4196468 140722505665712 140142253430896 140142761470594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21177] ppid=21047 vsize=10982744 memory=-1 CPUtime=0.09 cores=1,3,5,7 /proc/21054/task/21177/stat : 21177 (java) S 21047 21054 20994 0 -1 1077944384 189 12914 0 0 1 0 5 3 20 0 15 0 227310280 11246329856 11284 33554432000 4194304 4196468 140722505665712 140142252378096 140142761470594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21178] ppid=21047 vsize=10982744 memory=139997982701184 CPUtime=0.11 cores=1,3,5,7 /proc/21054/task/21178/stat : 21178 (java) S 21047 21054 20994 0 -1 1077944384 607 12914 0 0 3 0 5 3 20 0 15 0 227310280 11246329856 11284 33554432000 4194304 4196468 140722505665712 140142251325808 140142761470594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21183] ppid=21047 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7 /proc/21054/task/21183/stat : 21183 (java) S 21047 21054 20994 0 -1 1077944384 3 12914 0 0 0 0 5 3 20 0 15 0 227310280 11246329856 11350 33554432000 4194304 4196468 140722505665712 140140622113248 140142761469653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21185] ppid=21047 vsize=10982744 memory=139997982701184 CPUtime=0.08 cores=1,3,5,7 /proc/21054/task/21185/stat : 21185 (java) S 21047 21054 20994 0 -1 1077944384 1 12914 0 0 0 0 5 3 20 0 15 0 227310280 11246329856 11350 33554432000 4194304 4196468 140722505665712 140142250273712 140142761470594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 Current children cumulated CPU time: 0.26 s Current children cumulated vsize: 10982744 KiB Current children cumulated memory: 44872 KiB [startup+0.310619 s]* /proc/loadavg: 1.00 1.16 1.57 4/219 21186 /proc/meminfo: memFree=8451464/32770624 swapFree=67108856/67108860 [pid=21054] ppid=21047 vsize=10983192 memory=56380 CPUtime=0.39 cores=1,3,5,7 /proc/21054/stat : 21054 (java) S 21047 21054 20994 0 -1 1077944320 10647 12914 0 0 28 3 5 3 20 0 15 0 227310265 11246788608 14095 33554432000 4194304 4196468 140722505665712 140722505648256 140142761459447 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 /proc/21054/statm: 2745798 14095 3076 1 0 2708109 0 [pid=21054/tid=21159] ppid=21047 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7 /proc/21054/task/21159/stat : 21159 (java) R 21047 21054 20994 0 -1 4202560 7198 12914 0 0 19 2 5 3 20 0 15 0 227310274 11246788608 14095 33554432000 4194304 4196468 140722505665712 140142733271456 140142743023016 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21161] ppid=21047 vsize=10983192 memory=7812710104828301667 CPUtime=0.08 cores=1,3,5,7 /proc/21054/task/21161/stat : 21161 (java) S 21047 21054 20994 0 -1 1077944384 1 12914 0 0 0 0 5 3 20 0 15 0 227310275 11246788608 14095 33554432000 4194304 4196468 140722505665712 140142765701520 140142761469653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21162] ppid=21047 vsize=10983192 memory=7649399371396559154 CPUtime=0.08 cores=1,3,5,7 /proc/21054/task/21162/stat : 21162 (java) S 21047 21054 20994 0 -1 1077944384 1 12914 0 0 0 0 5 3 20 0 15 0 227310275 11246788608 14095 33554432000 4194304 4196468 140722505665712 140142300682512 140142761469653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21163] ppid=21047 vsize=10983192 memory=4294969504 CPUtime=0.08 cores=1,3,5,7 /proc/21054/task/21163/stat : 21163 (java) S 21047 21054 20994 0 -1 1077944384 2 12914 0 0 0 0 5 3 20 0 15 0 227310275 11246788608 14095 33554432000 4194304 4196468 140722505665712 140142299630224 140142761469653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21164] ppid=21047 vsize=10983192 memory=4126316290023845779 CPUtime=0.08 cores=1,3,5,7 /proc/21054/task/21164/stat : 21164 (java) S 21047 21054 20994 0 -1 1077944384 2 12914 0 0 0 0 5 3 20 0 15 0 227310275 11246788608 14095 33554432000 4194304 4196468 140722505665712 140142298577424 140142761469653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21169] ppid=21047 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7 /proc/21054/task/21169/stat : 21169 (java) S 21047 21054 20994 0 -1 1077944384 2 12914 0 0 0 0 5 3 20 0 15 0 227310276 11246788608 14095 33554432000 4194304 4196468 140722505665712 140142254484080 140142761470594 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21171] ppid=21047 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7 /proc/21054/task/21171/stat : 21171 (java) S 21047 21054 20994 0 -1 1077944384 13 12914 0 0 0 0 5 3 20 0 15 0 227310277 11246788608 14095 33554432000 4194304 4196468 140722505665712 140141561636128 140142761469653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21173] ppid=21047 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7 /proc/21054/task/21173/stat : 21173 (java) S 21047 21054 20994 0 -1 1077944384 1 12914 0 0 0 0 5 3 20 0 15 0 227310277 11246788608 14095 33554432000 4194304 4196468 140722505665712 140141360309872 140142761469653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21175] ppid=21047 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7 /proc/21054/task/21175/stat : 21175 (java) S 21047 21054 20994 0 -1 1077944384 3 12914 0 0 0 0 5 3 20 0 15 0 227310280 11246788608 14095 33554432000 4194304 4196468 140722505665712 140141052910160 140142761478043 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21176] ppid=21047 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7 /proc/21054/task/21176/stat : 21176 (java) S 21047 21054 20994 0 -1 1077944384 423 12914 0 0 1 0 5 3 20 0 15 0 227310280 11246788608 14095 33554432000 4194304 4196468 140722505665712 140142253430896 140142761470594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21177] ppid=21047 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7 /proc/21054/task/21177/stat : 21177 (java) S 21047 21054 20994 0 -1 1077944384 191 12914 0 0 1 0 5 3 20 0 15 0 227310280 11246788608 14095 33554432000 4194304 4196468 140722505665712 140142252378096 140142761470594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21178] ppid=21047 vsize=10983192 memory=0 CPUtime=0.12 cores=1,3,5,7 /proc/21054/task/21178/stat : 21178 (java) S 21047 21054 20994 0 -1 1077944384 613 12914 0 0 4 0 5 3 20 0 15 0 227310280 11246788608 14095 33554432000 4194304 4196468 140722505665712 140142251325808 140142761470594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21183] ppid=21047 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7 /proc/21054/task/21183/stat : 21183 (java) S 21047 21054 20994 0 -1 1077944384 3 12914 0 0 0 0 5 3 20 0 15 0 227310280 11246788608 14095 33554432000 4194304 4196468 140722505665712 140140622113248 140142761469653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21185] ppid=21047 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7 /proc/21054/task/21185/stat : 21185 (java) S 21047 21054 20994 0 -1 1077944384 1 12914 0 0 0 0 5 3 20 0 15 0 227310280 11246788608 14095 33554432000 4194304 4196468 140722505665712 140142250273712 140142761470594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 Current children cumulated CPU time: 0.39 s Current children cumulated vsize: 10983192 KiB Current children cumulated memory: 56380 KiB [startup+0.700831 s] /proc/loadavg: 1.00 1.16 1.57 5/219 21186 /proc/meminfo: memFree=8429508/32770624 swapFree=67108856/67108860 [pid=21054] ppid=21047 vsize=10983192 memory=88872 CPUtime=1 cores=1,3,5,7 /proc/21054/stat : 21054 (java) S 21047 21054 20994 0 -1 1077944320 16766 12914 0 0 87 5 5 3 20 0 15 0 227310265 11246788608 22218 33554432000 4194304 4196468 140722505665712 140722505648256 140142761459447 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 /proc/21054/statm: 2745798 22218 3238 1 0 2708109 0 [pid=21054/tid=21159] ppid=21047 vsize=10983192 memory=0 CPUtime=0.67 cores=1,3,5,7 /proc/21054/task/21159/stat : 21159 (java) R 21047 21054 20994 0 -1 4202560 12247 12914 0 0 55 4 5 3 20 0 15 0 227310274 11246788608 22218 33554432000 4194304 4196468 140722505665712 140142733280272 140142745539934 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21161] ppid=21047 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7 /proc/21054/task/21161/stat : 21161 (java) S 21047 21054 20994 0 -1 1077944384 1 12914 0 0 0 0 5 3 20 0 15 0 227310275 11246788608 22218 33554432000 4194304 4196468 140722505665712 140142765701520 140142761469653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21162] ppid=21047 vsize=10983192 memory=3768 CPUtime=0.08 cores=1,3,5,7 /proc/21054/task/21162/stat : 21162 (java) S 21047 21054 20994 0 -1 1077944384 1 12914 0 0 0 0 5 3 20 0 15 0 227310275 11246788608 22218 33554432000 4194304 4196468 140722505665712 140142300682512 140142761469653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21163] ppid=21047 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7 /proc/21054/task/21163/stat : 21163 (java) S 21047 21054 20994 0 -1 1077944384 2 12914 0 0 0 0 5 3 20 0 15 0 227310275 11246788608 22218 33554432000 4194304 4196468 140722505665712 140142299630224 140142761469653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21164] ppid=21047 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7 /proc/21054/task/21164/stat : 21164 (java) S 21047 21054 20994 0 -1 1077944384 2 12914 0 0 0 0 5 3 20 0 15 0 227310275 11246788608 22218 33554432000 4194304 4196468 140722505665712 140142298577424 140142761469653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21169] ppid=21047 vsize=10983192 memory=4420 CPUtime=0.08 cores=1,3,5,7 /proc/21054/task/21169/stat : 21169 (java) S 21047 21054 20994 0 -1 1077944384 5 12914 0 0 0 0 5 3 20 0 15 0 227310276 11246788608 22218 33554432000 4194304 4196468 140722505665712 140142254484080 140142761470594 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21171] ppid=21047 vsize=10983192 memory=6628 CPUtime=0.08 cores=1,3,5,7 /proc/21054/task/21171/stat : 21171 (java) S 21047 21054 20994 0 -1 1077944384 13 12914 0 0 0 0 5 3 20 0 15 0 227310277 11246788608 22218 33554432000 4194304 4196468 140722505665712 140141561636128 140142761469653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21173] ppid=21047 vsize=10983192 memory=8836 CPUtime=0.08 cores=1,3,5,7 /proc/21054/task/21173/stat : 21173 (java) S 21047 21054 20994 0 -1 1077944384 1 12914 0 0 0 0 5 3 20 0 15 0 227310277 11246788608 22218 33554432000 4194304 4196468 140722505665712 140141360309872 140142761469653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21175] ppid=21047 vsize=10983192 memory=11044 CPUtime=0.08 cores=1,3,5,7 /proc/21054/task/21175/stat : 21175 (java) S 21047 21054 20994 0 -1 1077944384 3 12914 0 0 0 0 5 3 20 0 15 0 227310280 11246788608 22218 33554432000 4194304 4196468 140722505665712 140141052910160 140142761478043 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21176] ppid=21047 vsize=10983192 memory=13252 CPUtime=0.18 cores=1,3,5,7 /proc/21054/task/21176/stat : 21176 (java) S 21047 21054 20994 0 -1 1077944384 1070 12914 0 0 10 0 5 3 20 0 15 0 227310280 11246788608 22218 33554432000 4194304 4196468 140722505665712 140142253430896 140142761470594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21177] ppid=21047 vsize=10983192 memory=15460 CPUtime=0.15 cores=1,3,5,7 /proc/21054/task/21177/stat : 21177 (java) S 21047 21054 20994 0 -1 1077944384 552 12914 0 0 7 0 5 3 20 0 15 0 227310280 11246788608 22218 33554432000 4194304 4196468 140722505665712 140142252378096 140142761470594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21178] ppid=21047 vsize=10983192 memory=17668 CPUtime=0.21 cores=1,3,5,7 /proc/21054/task/21178/stat : 21178 (java) S 21047 21054 20994 0 -1 1077944384 675 12914 0 0 13 0 5 3 20 0 15 0 227310280 11246788608 22218 33554432000 4194304 4196468 140722505665712 140142251325808 140142761470594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21183] ppid=21047 vsize=10983192 memory=19876 CPUtime=0.08 cores=1,3,5,7 /proc/21054/task/21183/stat : 21183 (java) S 21047 21054 20994 0 -1 1077944384 3 12914 0 0 0 0 5 3 20 0 15 0 227310280 11246788608 22218 33554432000 4194304 4196468 140722505665712 140140622113248 140142761469653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21185] ppid=21047 vsize=10983192 memory=22084 CPUtime=0.08 cores=1,3,5,7 /proc/21054/task/21185/stat : 21185 (java) S 21047 21054 20994 0 -1 1077944384 1 12914 0 0 0 0 5 3 20 0 15 0 227310280 11246788608 22218 33554432000 4194304 4196468 140722505665712 140142250273712 140142761470594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 Current children cumulated CPU time: 1 s Current children cumulated vsize: 10983192 KiB Current children cumulated memory: 88872 KiB [startup+1.5015 s] /proc/loadavg: 1.00 1.16 1.57 5/219 21186 /proc/meminfo: memFree=8337028/32770624 swapFree=67108856/67108860 [pid=21054] ppid=21047 vsize=10991948 memory=224380 CPUtime=3.15 cores=1,3,5,7 /proc/21054/stat : 21054 (java) S 21047 21054 20994 0 -1 1077944320 24052 12914 0 0 297 10 5 3 20 0 15 0 227310265 11255754752 56095 33554432000 4194304 4196468 140722505665712 140722505648256 140142761459447 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 /proc/21054/statm: 2747987 56095 3459 1 0 2709645 0 [pid=21054/tid=21159] ppid=21047 vsize=10991948 memory=0 CPUtime=1.45 cores=1,3,5,7 /proc/21054/task/21159/stat : 21159 (java) S 21047 21054 20994 0 -1 1077944384 15225 12914 0 0 131 6 5 3 20 0 15 0 227310274 11255754752 56095 33554432000 4194304 4196468 140722505665712 140142733292736 140142761469653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21161] ppid=21047 vsize=10991948 memory=0 CPUtime=0.08 cores=1,3,5,7 /proc/21054/task/21161/stat : 21161 (java) R 21047 21054 20994 0 -1 1077944384 1 12914 0 0 0 0 5 3 20 0 15 0 227310275 11255754752 56095 33554432000 4194304 4196468 140722505665712 140142765701520 140142761469653 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21162] ppid=21047 vsize=10991948 memory=0 CPUtime=0.08 cores=1,3,5,7 /proc/21054/task/21162/stat : 21162 (java) S 21047 21054 20994 0 -1 1077944384 1 12914 0 0 0 0 5 3 20 0 15 0 227310275 11255754752 56095 33554432000 4194304 4196468 140722505665712 140142300682512 140142761469653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21163] ppid=21047 vsize=10991948 memory=-7965959130280075168 CPUtime=0.08 cores=1,3,5,7 /proc/21054/task/21163/stat : 21163 (java) R 21047 21054 20994 0 -1 4202560 207 12914 0 0 0 0 5 3 20 0 15 0 227310275 11255754752 56095 33554432000 4194304 4196468 140722505665712 140142299630224 140142743085392 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21164] ppid=21047 vsize=10991948 memory=279995763206400 CPUtime=0.08 cores=1,3,5,7 /proc/21054/task/21164/stat : 21164 (java) R 21047 21054 20994 0 -1 4202560 109 12914 0 0 0 0 5 3 20 0 15 0 227310275 11255754752 56095 33554432000 4194304 4196468 140722505665712 140142298575056 140142746487303 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21169] ppid=21047 vsize=10991948 memory=0 CPUtime=0.08 cores=1,3,5,7 /proc/21054/task/21169/stat : 21169 (java) S 21047 21054 20994 0 -1 1077944384 21 12914 0 0 0 0 5 3 20 0 15 0 227310276 11255754752 56095 33554432000 4194304 4196468 140722505665712 140142254482592 140142761469653 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21171] ppid=21047 vsize=10991948 memory=11796 CPUtime=0.08 cores=1,3,5,7 /proc/21054/task/21171/stat : 21171 (java) S 21047 21054 20994 0 -1 1077944384 13 12914 0 0 0 0 5 3 20 0 15 0 227310277 11255754752 56095 33554432000 4194304 4196468 140722505665712 140141561636128 140142761469653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21173] ppid=21047 vsize=10991948 memory=5772 CPUtime=0.08 cores=1,3,5,7 /proc/21054/task/21173/stat : 21173 (java) S 21047 21054 20994 0 -1 1077944384 1 12914 0 0 0 0 5 3 20 0 15 0 227310277 11255754752 56095 33554432000 4194304 4196468 140722505665712 140141360309872 140142761469653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21175] ppid=21047 vsize=10991948 memory=4616 CPUtime=0.08 cores=1,3,5,7 /proc/21054/task/21175/stat : 21175 (java) S 21047 21054 20994 0 -1 1077944384 3 12914 0 0 0 0 5 3 20 0 15 0 227310280 11255754752 56095 33554432000 4194304 4196468 140722505665712 140141052910160 140142761478043 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21176] ppid=21047 vsize=10991948 memory=1388 CPUtime=0.69 cores=1,3,5,7 /proc/21054/task/21176/stat : 21176 (java) S 21047 21054 20994 0 -1 1077944384 2605 12914 0 0 61 0 5 3 20 0 15 0 227310280 11255754752 56095 33554432000 4194304 4196468 140722505665712 140142253409680 140142761469653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21177] ppid=21047 vsize=10991948 memory=1228 CPUtime=0.67 cores=1,3,5,7 /proc/21054/task/21177/stat : 21177 (java) R 21047 21054 20994 0 -1 4202560 2100 12914 0 0 59 0 5 3 20 0 15 0 227310280 11255754752 56095 33554432000 4194304 4196468 140722505665712 140142252363056 140142742979538 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21178] ppid=21047 vsize=10991948 memory=880 CPUtime=0.51 cores=1,3,5,7 /proc/21054/task/21178/stat : 21178 (java) S 21047 21054 20994 0 -1 1077944384 1569 12914 0 0 43 0 5 3 20 0 15 0 227310280 11255754752 56095 33554432000 4194304 4196468 140722505665712 140142251325808 140142761470594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21183] ppid=21047 vsize=10991948 memory=1940 CPUtime=0.08 cores=1,3,5,7 /proc/21054/task/21183/stat : 21183 (java) S 21047 21054 20994 0 -1 1077944384 3 12914 0 0 0 0 5 3 20 0 15 0 227310280 11255754752 56095 33554432000 4194304 4196468 140722505665712 140140622113248 140142761469653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21185] ppid=21047 vsize=10991948 memory=1172 CPUtime=0.08 cores=1,3,5,7 /proc/21054/task/21185/stat : 21185 (java) S 21047 21054 20994 0 -1 1077944384 1 12914 0 0 0 0 5 3 20 0 15 0 227310280 11255754752 56095 33554432000 4194304 4196468 140722505665712 140142250273712 140142761470594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 Current children cumulated CPU time: 3.15 s Current children cumulated vsize: 10991948 KiB ################ # More data... # ################ [pid=21054/tid=21183] ppid=21047 vsize=11080032 memory=1228 CPUtime=0.08 cores=1,3,5,7 /proc/21054/task/21183/stat : 21183 (java) S 21047 21054 20994 0 -1 1077944384 3 12914 0 0 0 0 5 3 20 0 15 0 227310280 11345952768 440347 33554432000 4194304 4196468 140722505665712 140140622113248 140142761469653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21185] ppid=21047 vsize=11080032 memory=1761388 CPUtime=0.8 cores=1,3,5,7 /proc/21054/task/21185/stat : 21185 (java) S 21047 21054 20994 0 -1 1077944384 2149 12914 0 0 33 39 5 3 20 0 15 0 227310280 11345952768 440347 33554432000 4194304 4196468 140722505665712 140142250273712 140142761470594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 Current children cumulated CPU time: 1344.62 s Current children cumulated vsize: 11080032 KiB Current children cumulated memory: 1761388 KiB [startup+1297.6 s] /proc/loadavg: 1.63 1.79 1.78 4/220 21227 /proc/meminfo: memFree=3513852/32770624 swapFree=67108856/67108860 [pid=21054] ppid=21047 vsize=11080032 memory=1761388 CPUtime=1346.23 cores=1,3,5,7 /proc/21054/stat : 21054 (java) S 21047 21054 20994 0 -1 1077944320 272083 12914 0 0 134346 269 5 3 20 0 15 0 227310265 11345952768 440347 33554432000 4194304 4196468 140722505665712 140722505648256 140142761459447 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 /proc/21054/statm: 2770008 440347 3531 1 0 2731661 0 [pid=21054/tid=21159] ppid=21047 vsize=11080032 memory=4616 CPUtime=1286.46 cores=1,3,5,7 /proc/21054/task/21159/stat : 21159 (java) R 21047 21054 20994 0 -1 4202560 99868 12914 0 0 128576 62 5 3 20 0 15 0 227310274 11345952768 440347 33554432000 4194304 4196468 140722505665712 140142733293856 140142328373200 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21161] ppid=21047 vsize=11080032 memory=1388 CPUtime=7.37 cores=1,3,5,7 /proc/21054/task/21161/stat : 21161 (java) S 21047 21054 20994 0 -1 1077944384 17632 12914 0 0 697 32 5 3 20 0 15 0 227310275 11345952768 440347 33554432000 4194304 4196468 140722505665712 140142765701520 140142761469653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21162] ppid=21047 vsize=11080032 memory=1228 CPUtime=7.4 cores=1,3,5,7 /proc/21054/task/21162/stat : 21162 (java) S 21047 21054 20994 0 -1 1077944384 19265 12914 0 0 695 37 5 3 20 0 15 0 227310275 11345952768 440347 33554432000 4194304 4196468 140722505665712 140142300682512 140142761469653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21163] ppid=21047 vsize=11080032 memory=6791534058613427641 CPUtime=7.37 cores=1,3,5,7 /proc/21054/task/21163/stat : 21163 (java) S 21047 21054 20994 0 -1 1077944384 19647 12914 0 0 694 35 5 3 20 0 15 0 227310275 11345952768 440347 33554432000 4194304 4196468 140722505665712 140142299630224 140142761469653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21164] ppid=21047 vsize=11080032 memory=1176 CPUtime=7.39 cores=1,3,5,7 /proc/21054/task/21164/stat : 21164 (java) S 21047 21054 20994 0 -1 1077944384 18233 12914 0 0 696 35 5 3 20 0 15 0 227310275 11345952768 440347 33554432000 4194304 4196468 140722505665712 140142298577424 140142761469653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21169] ppid=21047 vsize=11080032 memory=34396 CPUtime=3.36 cores=1,3,5,7 /proc/21054/task/21169/stat : 21169 (java) S 21047 21054 20994 0 -1 1077944384 15962 12914 0 0 304 24 5 3 20 0 15 0 227310276 11345952768 440347 33554432000 4194304 4196468 140722505665712 140142254484080 140142761470594 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21171] ppid=21047 vsize=11080032 memory=1720 CPUtime=0.08 cores=1,3,5,7 /proc/21054/task/21171/stat : 21171 (java) S 21047 21054 20994 0 -1 1077944384 24 12914 0 0 0 0 5 3 20 0 15 0 227310277 11345952768 440347 33554432000 4194304 4196468 140722505665712 140141561636192 140142761469653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21173] ppid=21047 vsize=11080032 memory=1761388 CPUtime=0.08 cores=1,3,5,7 /proc/21054/task/21173/stat : 21173 (java) S 21047 21054 20994 0 -1 1077944384 1 12914 0 0 0 0 5 3 20 0 15 0 227310277 11345952768 440347 33554432000 4194304 4196468 140722505665712 140141360309888 140142761469653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21175] ppid=21047 vsize=11080032 memory=1620 CPUtime=0.08 cores=1,3,5,7 /proc/21054/task/21175/stat : 21175 (java) S 21047 21054 20994 0 -1 1077944384 3 12914 0 0 0 0 5 3 20 0 15 0 227310280 11345952768 440347 33554432000 4194304 4196468 140722505665712 140141052910160 140142761478043 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21176] ppid=21047 vsize=11080032 memory=11796 CPUtime=11.37 cores=1,3,5,7 /proc/21054/task/21176/stat : 21176 (java) S 21047 21054 20994 0 -1 1077944384 22558 12914 0 0 1123 6 5 3 20 0 15 0 227310280 11345952768 440347 33554432000 4194304 4196468 140722505665712 140142253430896 140142761470594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21177] ppid=21047 vsize=11080032 memory=5772 CPUtime=11.5 cores=1,3,5,7 /proc/21054/task/21177/stat : 21177 (java) S 21047 21054 20994 0 -1 1077944384 21379 12914 0 0 1135 7 5 3 20 0 15 0 227310280 11345952768 440347 33554432000 4194304 4196468 140722505665712 140142252378096 140142761470594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21178] ppid=21047 vsize=11080032 memory=1761388 CPUtime=3.84 cores=1,3,5,7 /proc/21054/task/21178/stat : 21178 (java) S 21047 21054 20994 0 -1 1077944384 33166 12914 0 0 367 9 5 3 20 0 15 0 227310280 11345952768 440347 33554432000 4194304 4196468 140722505665712 140142251325808 140142761470594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21183] ppid=21047 vsize=11080032 memory=756 CPUtime=0.08 cores=1,3,5,7 /proc/21054/task/21183/stat : 21183 (java) S 21047 21054 20994 0 -1 1077944384 3 12914 0 0 0 0 5 3 20 0 15 0 227310280 11345952768 440347 33554432000 4194304 4196468 140722505665712 140140622113248 140142761469653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21185] ppid=21047 vsize=11080032 memory=1620 CPUtime=0.8 cores=1,3,5,7 /proc/21054/task/21185/stat : 21185 (java) S 21047 21054 20994 0 -1 1077944384 2149 12914 0 0 33 39 5 3 20 0 15 0 227310280 11345952768 440347 33554432000 4194304 4196468 140722505665712 140142250273712 140142761470594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 Current children cumulated CPU time: 1346.23 s Current children cumulated vsize: 11080032 KiB Current children cumulated memory: 1761388 KiB [startup+1299.2 s] /proc/loadavg: 1.58 1.78 1.77 4/220 21227 /proc/meminfo: memFree=3513828/32770624 swapFree=67108856/67108860 [pid=21054] ppid=21047 vsize=11080032 memory=1761396 CPUtime=1347.86 cores=1,3,5,7 /proc/21054/stat : 21054 (java) S 21047 21054 20994 0 -1 1077944320 272128 12914 0 0 134509 269 5 3 20 0 15 0 227310265 11345952768 440349 33554432000 4194304 4196468 140722505665712 140722505648256 140142761459447 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 /proc/21054/statm: 2770008 440349 3531 1 0 2731661 0 [pid=21054/tid=21159] ppid=21047 vsize=11080032 memory=1761388 CPUtime=1288.04 cores=1,3,5,7 /proc/21054/task/21159/stat : 21159 (java) R 21047 21054 20994 0 -1 4202560 99877 12914 0 0 128734 62 5 3 20 0 15 0 227310274 11345952768 440349 33554432000 4194304 4196468 140722505665712 140142733293968 140142330902616 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21161] ppid=21047 vsize=11080032 memory=756 CPUtime=7.38 cores=1,3,5,7 /proc/21054/task/21161/stat : 21161 (java) S 21047 21054 20994 0 -1 1077944384 17632 12914 0 0 698 32 5 3 20 0 15 0 227310275 11345952768 440349 33554432000 4194304 4196468 140722505665712 140142765701520 140142761469653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21162] ppid=21047 vsize=11080032 memory=1761380 CPUtime=7.41 cores=1,3,5,7 /proc/21054/task/21162/stat : 21162 (java) S 21047 21054 20994 0 -1 1077944384 19277 12914 0 0 696 37 5 3 20 0 15 0 227310275 11345952768 440349 33554432000 4194304 4196468 140722505665712 140142300682512 140142761469653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21163] ppid=21047 vsize=11080032 memory=1761388 CPUtime=7.38 cores=1,3,5,7 /proc/21054/task/21163/stat : 21163 (java) S 21047 21054 20994 0 -1 1077944384 19659 12914 0 0 695 35 5 3 20 0 15 0 227310275 11345952768 440349 33554432000 4194304 4196468 140722505665712 140142299630224 140142761469653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21164] ppid=21047 vsize=11080032 memory=1761388 CPUtime=7.4 cores=1,3,5,7 /proc/21054/task/21164/stat : 21164 (java) S 21047 21054 20994 0 -1 1077944384 18245 12914 0 0 697 35 5 3 20 0 15 0 227310275 11345952768 440349 33554432000 4194304 4196468 140722505665712 140142298577424 140142761469653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21169] ppid=21047 vsize=11080032 memory=1761388 CPUtime=3.37 cores=1,3,5,7 /proc/21054/task/21169/stat : 21169 (java) S 21047 21054 20994 0 -1 1077944384 15962 12914 0 0 305 24 5 3 20 0 15 0 227310276 11345952768 440349 33554432000 4194304 4196468 140722505665712 140142254484080 140142761470594 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21171] ppid=21047 vsize=11080032 memory=1388 CPUtime=0.08 cores=1,3,5,7 /proc/21054/task/21171/stat : 21171 (java) S 21047 21054 20994 0 -1 1077944384 24 12914 0 0 0 0 5 3 20 0 15 0 227310277 11345952768 440349 33554432000 4194304 4196468 140722505665712 140141561636192 140142761469653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21173] ppid=21047 vsize=11080032 memory=1228 CPUtime=0.08 cores=1,3,5,7 /proc/21054/task/21173/stat : 21173 (java) S 21047 21054 20994 0 -1 1077944384 1 12914 0 0 0 0 5 3 20 0 15 0 227310277 11345952768 440349 33554432000 4194304 4196468 140722505665712 140141360309888 140142761469653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21175] ppid=21047 vsize=11080032 memory=1761388 CPUtime=0.08 cores=1,3,5,7 /proc/21054/task/21175/stat : 21175 (java) S 21047 21054 20994 0 -1 1077944384 3 12914 0 0 0 0 5 3 20 0 15 0 227310280 11345952768 440349 33554432000 4194304 4196468 140722505665712 140141052910160 140142761478043 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21176] ppid=21047 vsize=11080032 memory=1761388 CPUtime=11.37 cores=1,3,5,7 /proc/21054/task/21176/stat : 21176 (java) S 21047 21054 20994 0 -1 1077944384 22558 12914 0 0 1123 6 5 3 20 0 15 0 227310280 11345952768 440349 33554432000 4194304 4196468 140722505665712 140142253430896 140142761470594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21177] ppid=21047 vsize=11080032 memory=3768 CPUtime=11.5 cores=1,3,5,7 /proc/21054/task/21177/stat : 21177 (java) S 21047 21054 20994 0 -1 1077944384 21379 12914 0 0 1135 7 5 3 20 0 15 0 227310280 11345952768 440349 33554432000 4194304 4196468 140722505665712 140142252378096 140142761470594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21178] ppid=21047 vsize=11080032 memory=61980 CPUtime=3.84 cores=1,3,5,7 /proc/21054/task/21178/stat : 21178 (java) S 21047 21054 20994 0 -1 1077944384 33166 12914 0 0 367 9 5 3 20 0 15 0 227310280 11345952768 440349 33554432000 4194304 4196468 140722505665712 140142251325808 140142761470594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21183] ppid=21047 vsize=11080032 memory=1761388 CPUtime=0.08 cores=1,3,5,7 /proc/21054/task/21183/stat : 21183 (java) S 21047 21054 20994 0 -1 1077944384 3 12914 0 0 0 0 5 3 20 0 15 0 227310280 11345952768 440349 33554432000 4194304 4196468 140722505665712 140140622113248 140142761469653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21185] ppid=21047 vsize=11080032 memory=1761388 CPUtime=0.81 cores=1,3,5,7 /proc/21054/task/21185/stat : 21185 (java) S 21047 21054 20994 0 -1 1077944384 2149 12914 0 0 33 40 5 3 20 0 15 0 227310280 11345952768 440349 33554432000 4194304 4196468 140722505665712 140142250273712 140142761470594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 Current children cumulated CPU time: 1347.86 s Current children cumulated vsize: 11080032 KiB Current children cumulated memory: 1761396 KiB [startup+1299.6 s] /proc/loadavg: 1.58 1.78 1.77 4/220 21227 /proc/meminfo: memFree=3513828/32770624 swapFree=67108856/67108860 [pid=21054] ppid=21047 vsize=11080032 memory=1761396 CPUtime=1348.28 cores=1,3,5,7 /proc/21054/stat : 21054 (java) S 21047 21054 20994 0 -1 1077944320 272130 12914 0 0 134551 269 5 3 20 0 15 0 227310265 11345952768 440349 33554432000 4194304 4196468 140722505665712 140722505648256 140142761459447 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 /proc/21054/statm: 2770008 440349 3531 1 0 2731661 0 [pid=21054/tid=21159] ppid=21047 vsize=11080032 memory=4126316290023845779 CPUtime=1288.43 cores=1,3,5,7 /proc/21054/task/21159/stat : 21159 (java) R 21047 21054 20994 0 -1 4202560 99879 12914 0 0 128773 62 5 3 20 0 15 0 227310274 11345952768 440349 33554432000 4194304 4196468 140722505665712 140142733293616 140142332202056 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21161] ppid=21047 vsize=11080032 memory=2304 CPUtime=7.38 cores=1,3,5,7 /proc/21054/task/21161/stat : 21161 (java) S 21047 21054 20994 0 -1 1077944384 17632 12914 0 0 698 32 5 3 20 0 15 0 227310275 11345952768 440349 33554432000 4194304 4196468 140722505665712 140142765701520 140142761469653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21162] ppid=21047 vsize=11080032 memory=2304 CPUtime=7.41 cores=1,3,5,7 /proc/21054/task/21162/stat : 21162 (java) S 21047 21054 20994 0 -1 1077944384 19277 12914 0 0 696 37 5 3 20 0 15 0 227310275 11345952768 440349 33554432000 4194304 4196468 140722505665712 140142300682512 140142761469653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21163] ppid=21047 vsize=11080032 memory=1761388 CPUtime=7.38 cores=1,3,5,7 /proc/21054/task/21163/stat : 21163 (java) S 21047 21054 20994 0 -1 1077944384 19659 12914 0 0 695 35 5 3 20 0 15 0 227310275 11345952768 440349 33554432000 4194304 4196468 140722505665712 140142299630224 140142761469653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21164] ppid=21047 vsize=11080032 memory=1761388 CPUtime=7.4 cores=1,3,5,7 /proc/21054/task/21164/stat : 21164 (java) S 21047 21054 20994 0 -1 1077944384 18245 12914 0 0 697 35 5 3 20 0 15 0 227310275 11345952768 440349 33554432000 4194304 4196468 140722505665712 140142298577424 140142761469653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21169] ppid=21047 vsize=11080032 memory=6791534058613427641 CPUtime=3.37 cores=1,3,5,7 /proc/21054/task/21169/stat : 21169 (java) S 21047 21054 20994 0 -1 1077944384 15962 12914 0 0 305 24 5 3 20 0 15 0 227310276 11345952768 440349 33554432000 4194304 4196468 140722505665712 140142254484080 140142761470594 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21171] ppid=21047 vsize=11080032 memory=2252 CPUtime=0.08 cores=1,3,5,7 /proc/21054/task/21171/stat : 21171 (java) S 21047 21054 20994 0 -1 1077944384 24 12914 0 0 0 0 5 3 20 0 15 0 227310277 11345952768 440349 33554432000 4194304 4196468 140722505665712 140141561636192 140142761469653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21173] ppid=21047 vsize=11080032 memory=1796 CPUtime=0.08 cores=1,3,5,7 /proc/21054/task/21173/stat : 21173 (java) S 21047 21054 20994 0 -1 1077944384 1 12914 0 0 0 0 5 3 20 0 15 0 227310277 11345952768 440349 33554432000 4194304 4196468 140722505665712 140141360309888 140142761469653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21175] ppid=21047 vsize=11080032 memory=756 CPUtime=0.08 cores=1,3,5,7 /proc/21054/task/21175/stat : 21175 (java) S 21047 21054 20994 0 -1 1077944384 3 12914 0 0 0 0 5 3 20 0 15 0 227310280 11345952768 440349 33554432000 4194304 4196468 140722505665712 140141052910160 140142761478043 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21176] ppid=21047 vsize=11080032 memory=1620 CPUtime=11.37 cores=1,3,5,7 /proc/21054/task/21176/stat : 21176 (java) S 21047 21054 20994 0 -1 1077944384 22558 12914 0 0 1123 6 5 3 20 0 15 0 227310280 11345952768 440349 33554432000 4194304 4196468 140722505665712 140142253430896 140142761470594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21177] ppid=21047 vsize=11080032 memory=11796 CPUtime=11.5 cores=1,3,5,7 /proc/21054/task/21177/stat : 21177 (java) S 21047 21054 20994 0 -1 1077944384 21379 12914 0 0 1135 7 5 3 20 0 15 0 227310280 11345952768 440349 33554432000 4194304 4196468 140722505665712 140142252378096 140142761470594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21178] ppid=21047 vsize=11080032 memory=5772 CPUtime=3.84 cores=1,3,5,7 /proc/21054/task/21178/stat : 21178 (java) S 21047 21054 20994 0 -1 1077944384 33166 12914 0 0 367 9 5 3 20 0 15 0 227310280 11345952768 440349 33554432000 4194304 4196468 140722505665712 140142251325808 140142761470594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21183] ppid=21047 vsize=11080032 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7 /proc/21054/task/21183/stat : 21183 (java) S 21047 21054 20994 0 -1 1077944384 3 12914 0 0 0 0 5 3 20 0 15 0 227310280 11345952768 440349 33554432000 4194304 4196468 140722505665712 140140622113248 140142761469653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21185] ppid=21047 vsize=11080032 memory=34396 CPUtime=0.81 cores=1,3,5,7 /proc/21054/task/21185/stat : 21185 (java) S 21047 21054 20994 0 -1 1077944384 2149 12914 0 0 33 40 5 3 20 0 15 0 227310280 11345952768 440349 33554432000 4194304 4196468 140722505665712 140142250273712 140142761470594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 Current children cumulated CPU time: 1348.28 s Current children cumulated vsize: 11080032 KiB Current children cumulated memory: 1761396 KiB [startup+1300 s]* /proc/loadavg: 1.58 1.78 1.77 5/220 21227 /proc/meminfo: memFree=3514120/32770624 swapFree=67108856/67108860 [pid=21054] ppid=21047 vsize=11080032 memory=1761260 CPUtime=1348.84 cores=1,3,5,7 /proc/21054/stat : 21054 (java) S 21047 21054 20994 0 -1 1077944320 280543 12914 0 0 134606 270 5 3 20 0 15 0 227310265 11345952768 440315 33554432000 4194304 4196468 140722505665712 140722505648256 140142761459447 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 /proc/21054/statm: 2770008 440315 3531 1 0 2731661 0 [pid=21054/tid=21159] ppid=21047 vsize=11080032 memory=6791534058613427641 CPUtime=1288.83 cores=1,3,5,7 /proc/21054/task/21159/stat : 21159 (java) R 21047 21054 20994 0 -1 4202560 103804 12914 0 0 128813 62 5 3 20 0 15 0 227310274 11345952768 440322 33554432000 4194304 4196468 140722505665712 140142733287392 140142743022999 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21161] ppid=21047 vsize=11080032 memory=4126316290023845779 CPUtime=7.39 cores=1,3,5,7 /proc/21054/task/21161/stat : 21161 (java) S 21047 21054 20994 0 -1 1077944384 17632 12914 0 0 699 32 5 3 20 0 15 0 227310275 11345952768 440322 33554432000 4194304 4196468 140722505665712 140142765701520 140142761469653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21162] ppid=21047 vsize=11080032 memory=1172 CPUtime=7.42 cores=1,3,5,7 /proc/21054/task/21162/stat : 21162 (java) S 21047 21054 20994 0 -1 1077944384 19277 12914 0 0 697 37 5 3 20 0 15 0 227310275 11345952768 440322 33554432000 4194304 4196468 140722505665712 140142300682512 140142761469653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21163] ppid=21047 vsize=11080032 memory=6880 CPUtime=7.38 cores=1,3,5,7 /proc/21054/task/21163/stat : 21163 (java) S 21047 21054 20994 0 -1 1077944384 19659 12914 0 0 695 35 5 3 20 0 15 0 227310275 11345952768 440322 33554432000 4194304 4196468 140722505665712 140142299630224 140142761469653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21164] ppid=21047 vsize=11080032 memory=15252 CPUtime=7.4 cores=1,3,5,7 /proc/21054/task/21164/stat : 21164 (java) S 21047 21054 20994 0 -1 1077944384 18246 12914 0 0 697 35 5 3 20 0 15 0 227310275 11345952768 440322 33554432000 4194304 4196468 140722505665712 140142298577424 140142761469653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21169] ppid=21047 vsize=11080032 memory=15448 CPUtime=3.37 cores=1,3,5,7 /proc/21054/task/21169/stat : 21169 (java) S 21047 21054 20994 0 -1 1077944384 16945 12914 0 0 305 24 5 3 20 0 15 0 227310276 11345952768 440322 33554432000 4194304 4196468 140722505665712 140142254484080 140142761470594 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21171] ppid=21047 vsize=11080032 memory=1761388 CPUtime=0.08 cores=1,3,5,7 /proc/21054/task/21171/stat : 21171 (java) S 21047 21054 20994 0 -1 1077944384 24 12914 0 0 0 0 5 3 20 0 15 0 227310277 11345952768 440322 33554432000 4194304 4196468 140722505665712 140141561636192 140142761469653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21173] ppid=21047 vsize=11080032 memory=1761388 CPUtime=0.08 cores=1,3,5,7 /proc/21054/task/21173/stat : 21173 (java) S 21047 21054 20994 0 -1 1077944384 1 12914 0 0 0 0 5 3 20 0 15 0 227310277 11345952768 440322 33554432000 4194304 4196468 140722505665712 140141360309888 140142761469653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21175] ppid=21047 vsize=11080032 memory=61980 CPUtime=0.08 cores=1,3,5,7 /proc/21054/task/21175/stat : 21175 (java) S 21047 21054 20994 0 -1 1077944384 3 12914 0 0 0 0 5 3 20 0 15 0 227310280 11345952768 440322 33554432000 4194304 4196468 140722505665712 140141052910160 140142761478043 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21176] ppid=21047 vsize=11080032 memory=1761388 CPUtime=11.43 cores=1,3,5,7 /proc/21054/task/21176/stat : 21176 (java) S 21047 21054 20994 0 -1 1077944384 22784 12914 0 0 1129 6 5 3 20 0 15 0 227310280 11345952768 440322 33554432000 4194304 4196468 140722505665712 140142253430896 140142761470594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21177] ppid=21047 vsize=11080032 memory=288230583166042426 CPUtime=11.56 cores=1,3,5,7 /proc/21054/task/21177/stat : 21177 (java) S 21047 21054 20994 0 -1 1077944384 21583 12914 0 0 1141 7 5 3 20 0 15 0 227310280 11345952768 440322 33554432000 4194304 4196468 140722505665712 140142252378096 140142761470594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21178] ppid=21047 vsize=11080032 memory=13847456437766433 CPUtime=3.86 cores=1,3,5,7 /proc/21054/task/21178/stat : 21178 (java) S 21047 21054 20994 0 -1 1077944384 36263 12914 0 0 369 9 5 3 20 0 15 0 227310280 11345952768 440322 33554432000 4194304 4196468 140722505665712 140142251325808 140142761470594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21183] ppid=21047 vsize=11080032 memory=3816 CPUtime=0.08 cores=1,3,5,7 /proc/21054/task/21183/stat : 21183 (java) S 21047 21054 20994 0 -1 1077944384 3 12914 0 0 0 0 5 3 20 0 15 0 227310280 11345952768 440322 33554432000 4194304 4196468 140722505665712 140140622113248 140142761469653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 [pid=21054/tid=21185] ppid=21047 vsize=11080032 memory=2304 CPUtime=0.81 cores=1,3,5,7 /proc/21054/task/21185/stat : 21185 (java) S 21047 21054 20994 0 -1 1077944384 2149 12914 0 0 33 40 5 3 20 0 15 0 227310280 11345952768 440322 33554432000 4194304 4196468 140722505665712 140142250273712 140142761470594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16216064 140722505673316 140722505676124 140722505676124 140722505678799 0 Current children cumulated CPU time: 1348.84 s Current children cumulated vsize: 11080032 KiB Current children cumulated memory: 1761260 KiB Child status: 0 Real time (s): 1300.03 CPU time (s): 1348.88 CPU user time (s): 1346.12 CPU system time (s): 2.75498 CPU usage (%): 103.757 Max. virtual memory (cumulated for all children) (KiB): 11080032 Max. memory (cumulated for all children) (KiB): 2926200 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1346.12 system time used= 2.75498 maximum resident set size= 2926200 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 293688 page faults= 0 swaps= 0 block input operations= 0 block output operations= 1680 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 98540 involuntary context switches= 2091 # summary of solver processes directly reported to runsolver: # pid: 21054 # total CPU time (s): 1348.88 # total CPU user time (s): 1346.12 # total CPU system time (s): 2.75498 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 7.38629 second user time and 12.4569 second system time The end
Begin job on node133 at 2018-08-12 20:11:11 IDJOB=4304968 IDBENCH=141335 IDSOLVER=2781 FILE ID=node133/4304968-1534097471 RUNJOBID= node133-1534097471-21026 PBS_JOBID= 21037000 Free space on /tmp= 39024 MiB SOLVER NAME= Concrete 3.9.2-SuperNG BENCH NAME= XCSP18/Bibd/Bibd-sc-10-03-08_c18.xml COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED -superng BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4304968-1534097471/watcher-4304968-1534097471 -o /tmp/evaluation-result-4304968-1534097471/solver-4304968-1534097471 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1534097471-21026 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=305293548 -superng HOME/instance-4304968-1534097471.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 21283a47fd6fd3b1d87e6d18823d33f4 RANDOM SEED=305293548 node133.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.24 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.24 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.24 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.24 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: 8531012 kB MemAvailable: 31902848 kB Buffers: 225852 kB Cached: 23091804 kB SwapCached: 0 kB Active: 9955160 kB Inactive: 13415740 kB Active(anon): 4452 kB Inactive(anon): 101696 kB Active(file): 9950708 kB Inactive(file): 13314044 kB Unevictable: 7092 kB Mlocked: 7092 kB SwapTotal: 67108860 kB SwapFree: 67108856 kB Dirty: 53780 kB Writeback: 0 kB AnonPages: 60468 kB Mapped: 56156 kB Shmem: 49820 kB Slab: 563836 kB SReclaimable: 535544 kB SUnreclaim: 28292 kB KernelStack: 3216 kB PageTables: 5736 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 352904 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 38972 MiB End job on node133 at 2018-08-12 20:32:51