Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Concrete 3.9.2 | SAT | 113.656 | 85.45 |
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 |
0.99/0.75 c Concrete v3.9.2.1532736233296 running 113.57/85.41 v <instantiation> 113.57/85.41 v <list> 113.57/85.41 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] 113.57/85.41 v </list> 113.57/85.41 v <values> 113.57/85.41 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 0 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 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 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 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 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 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 1 1 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 1 1 0 1 1 1 1 1 0 0 0 0 0 0 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 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 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 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 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 1 1 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 1 1 1 1 1 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 1 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 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 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 1 1 1 1 1 1 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 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 1 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 1 1 1 1 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 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 1 0 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 0 0 0 1 0 1 1 1 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 1 1 0 1 1 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 1 0 0 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 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 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 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 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 1 0 1 1 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 1 1 1 1 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 0 0 0 0 0 0 0 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 1 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 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 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 1 1 1 1 0 0 0 0 0 0 0 1 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 1 1 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 1 1 1 1 1 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 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 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 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 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 113.57/85.41 v </values> 113.57/85.41 v </instantiation> 113.57/85.41 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 (6669 MiB free) memory of node 1: 16384 MiB (8341 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304967-1534106377/watcher-4304967-1534106377 -o /tmp/evaluation-result-4304967-1534106377/solver-4304967-1534106377 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534097917-15760 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1902862762 HOME/instance-4304967-1534106377.xml running on 4 cores: 0,2,4,6 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=17308, runsolver pid=17305 [startup+0.102363 s]* /proc/loadavg: 1.26 1.23 1.29 2/206 17365 /proc/meminfo: memFree=15365156/32770624 swapFree=67108504/67108860 [pid=17308] ppid=17305 vsize=10005480 memory=15176 CPUtime=0.09 cores=0,2,4,6 /proc/17308/stat : 17308 (java) S 17305 17308 15729 0 -1 1077944320 4444 13145 0 0 1 1 5 2 20 0 6 0 228200888 10245611520 3794 33554432000 4194304 4196468 140728617230384 140728617212928 140249371868919 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 /proc/17308/statm: 2501370 3794 1934 1 0 2489808 0 [pid=17308/tid=17361] ppid=17305 vsize=10005480 memory=4279135704013962892 CPUtime=0.07 cores=0,2,4,6 /proc/17308/task/17361/stat : 17361 (java) R 17305 17308 15729 0 -1 4202560 2286 13145 0 0 0 0 5 2 20 0 6 0 228200897 10245611520 3794 33554432000 4194304 4196468 140728617230384 140249343705680 140249356991856 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17362] ppid=17305 vsize=10005480 memory=-7522837583129502606 CPUtime=0.07 cores=0,2,4,6 /proc/17308/task/17362/stat : 17362 (java) S 17305 17308 15729 0 -1 1077944384 1 13145 0 0 0 0 5 2 20 0 6 0 228200898 10245611520 3794 33554432000 4194304 4196468 140728617230384 140249376111248 140249371879125 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17363] ppid=17305 vsize=10005480 memory=140567898539648 CPUtime=0.07 cores=0,2,4,6 /proc/17308/task/17363/stat : 17363 (java) S 17305 17308 15729 0 -1 1077944384 1 13145 0 0 0 0 5 2 20 0 6 0 228200898 10245611520 3794 33554432000 4194304 4196468 140728617230384 140248911112720 140249371879125 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17364] ppid=17305 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6 /proc/17308/task/17364/stat : 17364 (java) S 17305 17308 15729 0 -1 1077944384 1 13145 0 0 0 0 5 2 20 0 6 0 228200898 10245611520 3794 33554432000 4194304 4196468 140728617230384 140248910059920 140249371879125 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17365] ppid=17305 vsize=10005480 memory=-1 CPUtime=0.07 cores=0,2,4,6 /proc/17308/task/17365/stat : 17365 (java) S 17305 17308 15729 0 -1 1077944384 2 13145 0 0 0 0 5 2 20 0 6 0 228200898 10245611520 3794 33554432000 4194304 4196468 140728617230384 140248909007120 140249371879125 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 Current children cumulated CPU time: 0.09 s Current children cumulated vsize: 10005480 KiB Current children cumulated memory: 15176 KiB [startup+0.211643 s]* /proc/loadavg: 1.26 1.23 1.29 3/215 17374 /proc/meminfo: memFree=15343900/32770624 swapFree=67108504/67108860 [pid=17308] ppid=17305 vsize=10982744 memory=41328 CPUtime=0.25 cores=0,2,4,6 /proc/17308/stat : 17308 (java) S 17305 17308 15729 0 -1 1077944320 7594 13145 0 0 16 2 5 2 20 0 15 0 228200888 11246329856 10332 33554432000 4194304 4196468 140728617230384 140728617212928 140249371868919 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 /proc/17308/statm: 2745686 10332 2958 1 0 2708109 0 [pid=17308/tid=17361] ppid=17305 vsize=10982744 memory=-6517102902069810590 CPUtime=0.18 cores=0,2,4,6 /proc/17308/task/17361/stat : 17361 (java) R 17305 17308 15729 0 -1 4202560 4208 13145 0 0 10 1 5 2 20 0 15 0 228200897 11246329856 10464 33554432000 4194304 4196468 140728617230384 140249343690824 140249352144679 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17362] ppid=17305 vsize=10982744 memory=-9181546050914066336 CPUtime=0.07 cores=0,2,4,6 /proc/17308/task/17362/stat : 17362 (java) S 17305 17308 15729 0 -1 1077944384 1 13145 0 0 0 0 5 2 20 0 15 0 228200898 11246329856 10464 33554432000 4194304 4196468 140728617230384 140249376111248 140249371879125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17363] ppid=17305 vsize=10982744 memory=140567898539648 CPUtime=0.07 cores=0,2,4,6 /proc/17308/task/17363/stat : 17363 (java) S 17305 17308 15729 0 -1 1077944384 1 13145 0 0 0 0 5 2 20 0 15 0 228200898 11246329856 10530 33554432000 4194304 4196468 140728617230384 140248911112720 140249371879125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17364] ppid=17305 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6 /proc/17308/task/17364/stat : 17364 (java) S 17305 17308 15729 0 -1 1077944384 1 13145 0 0 0 0 5 2 20 0 15 0 228200898 11246329856 10530 33554432000 4194304 4196468 140728617230384 140248910059920 140249371879125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17365] ppid=17305 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6 /proc/17308/task/17365/stat : 17365 (java) S 17305 17308 15729 0 -1 1077944384 2 13145 0 0 0 0 5 2 20 0 15 0 228200898 11246329856 10530 33554432000 4194304 4196468 140728617230384 140248909007120 140249371879125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17366] ppid=17305 vsize=10982744 memory=140567898539648 CPUtime=0.07 cores=0,2,4,6 /proc/17308/task/17366/stat : 17366 (java) S 17305 17308 15729 0 -1 1077944384 2 13145 0 0 0 0 5 2 20 0 15 0 228200899 11246329856 10530 33554432000 4194304 4196468 140728617230384 140248797391728 140249371880066 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17367] ppid=17305 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6 /proc/17308/task/17367/stat : 17367 (java) S 17305 17308 15729 0 -1 1077944384 13 13145 0 0 0 0 5 2 20 0 15 0 228200899 11246329856 10530 33554432000 4194304 4196468 140728617230384 140248197621280 140249371879125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17368] ppid=17305 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6 /proc/17308/task/17368/stat : 17368 (java) S 17305 17308 15729 0 -1 1077944384 1 13145 0 0 0 0 5 2 20 0 15 0 228200900 11246329856 10530 33554432000 4194304 4196468 140728617230384 140247996294512 140249371879125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17369] ppid=17305 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6 /proc/17308/task/17369/stat : 17369 (java) S 17305 17308 15729 0 -1 1077944384 3 13145 0 0 0 0 5 2 20 0 15 0 228200902 11246329856 10530 33554432000 4194304 4196468 140728617230384 140247688894800 140249371887515 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17370] ppid=17305 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6 /proc/17308/task/17370/stat : 17370 (java) S 17305 17308 15729 0 -1 1077944384 373 13145 0 0 1 0 5 2 20 0 15 0 228200902 11246329856 10530 33554432000 4194304 4196468 140728617230384 140248796338544 140249371880066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17371] ppid=17305 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6 /proc/17308/task/17371/stat : 17371 (java) S 17305 17308 15729 0 -1 1077944384 264 13145 0 0 0 0 5 2 20 0 15 0 228200903 11246329856 10530 33554432000 4194304 4196468 140728617230384 140248795285744 140249371880066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17372] ppid=17305 vsize=10982744 memory=140567898539648 CPUtime=0.1 cores=0,2,4,6 /proc/17308/task/17372/stat : 17372 (java) S 17305 17308 15729 0 -1 1077944384 667 13145 0 0 3 0 5 2 20 0 15 0 228200903 11246329856 10530 33554432000 4194304 4196468 140728617230384 140248794232944 140249371880066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17373] ppid=17305 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6 /proc/17308/task/17373/stat : 17373 (java) S 17305 17308 15729 0 -1 1077944384 3 13145 0 0 0 0 5 2 20 0 15 0 228200903 11246329856 10530 33554432000 4194304 4196468 140728617230384 140247258097888 140249371879125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17374] ppid=17305 vsize=10982744 memory=140567898539648 CPUtime=0.07 cores=0,2,4,6 /proc/17308/task/17374/stat : 17374 (java) S 17305 17308 15729 0 -1 1077944384 1 13145 0 0 0 0 5 2 20 0 15 0 228200903 11246329856 10596 33554432000 4194304 4196468 140728617230384 140248793181360 140249371880066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 Current children cumulated CPU time: 0.25 s Current children cumulated vsize: 10982744 KiB Current children cumulated memory: 41328 KiB [startup+0.310132 s]* /proc/loadavg: 1.26 1.23 1.29 3/215 17374 /proc/meminfo: memFree=15331420/32770624 swapFree=67108504/67108860 [pid=17308] ppid=17305 vsize=10983192 memory=54744 CPUtime=0.38 cores=0,2,4,6 /proc/17308/stat : 17308 (java) S 17305 17308 15729 0 -1 1077944320 10760 13145 0 0 27 4 5 2 20 0 15 0 228200888 11246788608 13686 33554432000 4194304 4196468 140728617230384 140728617212928 140249371868919 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 /proc/17308/statm: 2745798 13686 3103 1 0 2708109 0 [pid=17308/tid=17361] ppid=17305 vsize=10983192 memory=6791534058613427641 CPUtime=0.27 cores=0,2,4,6 /proc/17308/task/17361/stat : 17361 (java) R 17305 17308 15729 0 -1 4202560 7312 13145 0 0 18 2 5 2 20 0 15 0 228200897 11246788608 13818 33554432000 4194304 4196468 140728617230384 140249343680928 140249355949406 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17362] ppid=17305 vsize=10983192 memory=7084813469699035216 CPUtime=0.07 cores=0,2,4,6 /proc/17308/task/17362/stat : 17362 (java) S 17305 17308 15729 0 -1 1077944384 1 13145 0 0 0 0 5 2 20 0 15 0 228200898 11246788608 13818 33554432000 4194304 4196468 140728617230384 140249376111248 140249371879125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17363] ppid=17305 vsize=10983192 memory=2076 CPUtime=0.07 cores=0,2,4,6 /proc/17308/task/17363/stat : 17363 (java) S 17305 17308 15729 0 -1 1077944384 1 13145 0 0 0 0 5 2 20 0 15 0 228200898 11246788608 13818 33554432000 4194304 4196468 140728617230384 140248911112720 140249371879125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17364] ppid=17305 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6 /proc/17308/task/17364/stat : 17364 (java) S 17305 17308 15729 0 -1 1077944384 1 13145 0 0 0 0 5 2 20 0 15 0 228200898 11246788608 13818 33554432000 4194304 4196468 140728617230384 140248910059920 140249371879125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17365] ppid=17305 vsize=10983192 memory=4872558044660077418 CPUtime=0.07 cores=0,2,4,6 /proc/17308/task/17365/stat : 17365 (java) S 17305 17308 15729 0 -1 1077944384 2 13145 0 0 0 0 5 2 20 0 15 0 228200898 11246788608 13818 33554432000 4194304 4196468 140728617230384 140248909007120 140249371879125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17366] ppid=17305 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6 /proc/17308/task/17366/stat : 17366 (java) S 17305 17308 15729 0 -1 1077944384 2 13145 0 0 0 0 5 2 20 0 15 0 228200899 11246788608 13818 33554432000 4194304 4196468 140728617230384 140248797391728 140249371880066 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17367] ppid=17305 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6 /proc/17308/task/17367/stat : 17367 (java) S 17305 17308 15729 0 -1 1077944384 13 13145 0 0 0 0 5 2 20 0 15 0 228200899 11246788608 13818 33554432000 4194304 4196468 140728617230384 140248197621280 140249371879125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17368] ppid=17305 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6 /proc/17308/task/17368/stat : 17368 (java) S 17305 17308 15729 0 -1 1077944384 1 13145 0 0 0 0 5 2 20 0 15 0 228200900 11246788608 13818 33554432000 4194304 4196468 140728617230384 140247996294512 140249371879125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17369] ppid=17305 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6 /proc/17308/task/17369/stat : 17369 (java) S 17305 17308 15729 0 -1 1077944384 3 13145 0 0 0 0 5 2 20 0 15 0 228200902 11246788608 13818 33554432000 4194304 4196468 140728617230384 140247688894800 140249371887515 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17370] ppid=17305 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6 /proc/17308/task/17370/stat : 17370 (java) S 17305 17308 15729 0 -1 1077944384 379 13145 0 0 1 0 5 2 20 0 15 0 228200902 11246788608 13818 33554432000 4194304 4196468 140728617230384 140248796338544 140249371880066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17371] ppid=17305 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6 /proc/17308/task/17371/stat : 17371 (java) R 17305 17308 15729 0 -1 1077944384 271 13145 0 0 1 0 5 2 20 0 15 0 228200903 11246788608 13818 33554432000 4194304 4196468 140728617230384 140248795285744 140249371880066 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17372] ppid=17305 vsize=10983192 memory=0 CPUtime=0.12 cores=0,2,4,6 /proc/17308/task/17372/stat : 17372 (java) S 17305 17308 15729 0 -1 1077944384 698 13145 0 0 5 0 5 2 20 0 15 0 228200903 11246788608 13818 33554432000 4194304 4196468 140728617230384 140248794232944 140249371880066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17373] ppid=17305 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6 /proc/17308/task/17373/stat : 17373 (java) S 17305 17308 15729 0 -1 1077944384 3 13145 0 0 0 0 5 2 20 0 15 0 228200903 11246788608 13818 33554432000 4194304 4196468 140728617230384 140247258097888 140249371879125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17374] ppid=17305 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6 /proc/17308/task/17374/stat : 17374 (java) S 17305 17308 15729 0 -1 1077944384 1 13145 0 0 0 0 5 2 20 0 15 0 228200903 11246788608 13818 33554432000 4194304 4196468 140728617230384 140248793181360 140249371880066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 Current children cumulated CPU time: 0.38 s Current children cumulated vsize: 10983192 KiB Current children cumulated memory: 54744 KiB [startup+0.700822 s] /proc/loadavg: 1.26 1.23 1.29 3/215 17374 /proc/meminfo: memFree=15320008/32770624 swapFree=67108504/67108860 [pid=17308] ppid=17305 vsize=10983192 memory=88288 CPUtime=0.99 cores=0,2,4,6 /proc/17308/stat : 17308 (java) S 17305 17308 15729 0 -1 1077944320 17138 13145 0 0 86 6 5 2 20 0 15 0 228200888 11246788608 22072 33554432000 4194304 4196468 140728617230384 140728617212928 140249371868919 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 /proc/17308/statm: 2745798 22072 3247 1 0 2708109 0 [pid=17308/tid=17361] ppid=17305 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6 /proc/17308/task/17361/stat : 17361 (java) R 17305 17308 15729 0 -1 4202560 12372 13145 0 0 55 4 5 2 20 0 15 0 228200897 11246788608 22072 33554432000 4194304 4196468 140728617230384 140249343690960 140249352144590 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17362] ppid=17305 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6 /proc/17308/task/17362/stat : 17362 (java) S 17305 17308 15729 0 -1 1077944384 1 13145 0 0 0 0 5 2 20 0 15 0 228200898 11246788608 22072 33554432000 4194304 4196468 140728617230384 140249376111248 140249371879125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17363] ppid=17305 vsize=10983192 memory=3816 CPUtime=0.07 cores=0,2,4,6 /proc/17308/task/17363/stat : 17363 (java) S 17305 17308 15729 0 -1 1077944384 1 13145 0 0 0 0 5 2 20 0 15 0 228200898 11246788608 22072 33554432000 4194304 4196468 140728617230384 140248911112720 140249371879125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17364] ppid=17305 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6 /proc/17308/task/17364/stat : 17364 (java) S 17305 17308 15729 0 -1 1077944384 1 13145 0 0 0 0 5 2 20 0 15 0 228200898 11246788608 22072 33554432000 4194304 4196468 140728617230384 140248910059920 140249371879125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17365] ppid=17305 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6 /proc/17308/task/17365/stat : 17365 (java) S 17305 17308 15729 0 -1 1077944384 2 13145 0 0 0 0 5 2 20 0 15 0 228200898 11246788608 22072 33554432000 4194304 4196468 140728617230384 140248909007120 140249371879125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17366] ppid=17305 vsize=10983192 memory=4420 CPUtime=0.07 cores=0,2,4,6 /proc/17308/task/17366/stat : 17366 (java) S 17305 17308 15729 0 -1 1077944384 5 13145 0 0 0 0 5 2 20 0 15 0 228200899 11246788608 22072 33554432000 4194304 4196468 140728617230384 140248797391728 140249371880066 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17367] ppid=17305 vsize=10983192 memory=6628 CPUtime=0.07 cores=0,2,4,6 /proc/17308/task/17367/stat : 17367 (java) S 17305 17308 15729 0 -1 1077944384 13 13145 0 0 0 0 5 2 20 0 15 0 228200899 11246788608 22072 33554432000 4194304 4196468 140728617230384 140248197621280 140249371879125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17368] ppid=17305 vsize=10983192 memory=8836 CPUtime=0.07 cores=0,2,4,6 /proc/17308/task/17368/stat : 17368 (java) S 17305 17308 15729 0 -1 1077944384 1 13145 0 0 0 0 5 2 20 0 15 0 228200900 11246788608 22072 33554432000 4194304 4196468 140728617230384 140247996294512 140249371879125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17369] ppid=17305 vsize=10983192 memory=11044 CPUtime=0.07 cores=0,2,4,6 /proc/17308/task/17369/stat : 17369 (java) S 17305 17308 15729 0 -1 1077944384 3 13145 0 0 0 0 5 2 20 0 15 0 228200902 11246788608 22072 33554432000 4194304 4196468 140728617230384 140247688894800 140249371887515 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17370] ppid=17305 vsize=10983192 memory=13252 CPUtime=0.16 cores=0,2,4,6 /proc/17308/task/17370/stat : 17370 (java) S 17305 17308 15729 0 -1 1077944384 1005 13145 0 0 9 0 5 2 20 0 15 0 228200902 11246788608 22072 33554432000 4194304 4196468 140728617230384 140248796338544 140249371880066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17371] ppid=17305 vsize=10983192 memory=15460 CPUtime=0.14 cores=0,2,4,6 /proc/17308/task/17371/stat : 17371 (java) S 17305 17308 15729 0 -1 1077944384 665 13145 0 0 7 0 5 2 20 0 15 0 228200903 11246788608 22072 33554432000 4194304 4196468 140728617230384 140248795285744 140249371880066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17372] ppid=17305 vsize=10983192 memory=17668 CPUtime=0.2 cores=0,2,4,6 /proc/17308/task/17372/stat : 17372 (java) S 17305 17308 15729 0 -1 1077944384 871 13145 0 0 13 0 5 2 20 0 15 0 228200903 11246788608 22072 33554432000 4194304 4196468 140728617230384 140248794232944 140249371880066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17373] ppid=17305 vsize=10983192 memory=19876 CPUtime=0.07 cores=0,2,4,6 /proc/17308/task/17373/stat : 17373 (java) S 17305 17308 15729 0 -1 1077944384 3 13145 0 0 0 0 5 2 20 0 15 0 228200903 11246788608 22072 33554432000 4194304 4196468 140728617230384 140247258097888 140249371879125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17374] ppid=17305 vsize=10983192 memory=22084 CPUtime=0.07 cores=0,2,4,6 /proc/17308/task/17374/stat : 17374 (java) S 17305 17308 15729 0 -1 1077944384 1 13145 0 0 0 0 5 2 20 0 15 0 228200903 11246788608 22072 33554432000 4194304 4196468 140728617230384 140248793181360 140249371880066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 Current children cumulated CPU time: 0.99 s Current children cumulated vsize: 10983192 KiB Current children cumulated memory: 88288 KiB [startup+1.50168 s] /proc/loadavg: 1.26 1.23 1.29 3/215 17374 /proc/meminfo: memFree=15275408/32770624 swapFree=67108504/67108860 [pid=17308] ppid=17305 vsize=10991948 memory=214468 CPUtime=3.1 cores=0,2,4,6 /proc/17308/stat : 17308 (java) S 17305 17308 15729 0 -1 1077944320 24421 13145 0 0 292 11 5 2 20 0 15 0 228200888 11255754752 53617 33554432000 4194304 4196468 140728617230384 140728617212928 140249371868919 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 /proc/17308/statm: 2747987 53617 3452 1 0 2709645 0 [pid=17308/tid=17361] ppid=17305 vsize=10991948 memory=0 CPUtime=1.45 cores=0,2,4,6 /proc/17308/task/17361/stat : 17361 (java) R 17305 17308 15729 0 -1 4202560 15236 13145 0 0 130 8 5 2 20 0 15 0 228200897 11255754752 53617 33554432000 4194304 4196468 140728617230384 140249343703760 140248945993447 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17362] ppid=17305 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6 /proc/17308/task/17362/stat : 17362 (java) S 17305 17308 15729 0 -1 1077944384 1 13145 0 0 0 0 5 2 20 0 15 0 228200898 11255754752 53617 33554432000 4194304 4196468 140728617230384 140249376111248 140249371879125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17363] ppid=17305 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6 /proc/17308/task/17363/stat : 17363 (java) S 17305 17308 15729 0 -1 1077944384 1 13145 0 0 0 0 5 2 20 0 15 0 228200898 11255754752 53617 33554432000 4194304 4196468 140728617230384 140248911112720 140249371879125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17364] ppid=17305 vsize=10991948 memory=3539892194917298225 CPUtime=0.07 cores=0,2,4,6 /proc/17308/task/17364/stat : 17364 (java) S 17305 17308 15729 0 -1 1077944384 1 13145 0 0 0 0 5 2 20 0 15 0 228200898 11255754752 53617 33554432000 4194304 4196468 140728617230384 140248910059920 140249371879125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17365] ppid=17305 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6 /proc/17308/task/17365/stat : 17365 (java) S 17305 17308 15729 0 -1 1077944384 2 13145 0 0 0 0 5 2 20 0 15 0 228200898 11255754752 53617 33554432000 4194304 4196468 140728617230384 140248909007120 140249371879125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17366] ppid=17305 vsize=10991948 memory=-7965959130280075168 CPUtime=0.07 cores=0,2,4,6 /proc/17308/task/17366/stat : 17366 (java) S 17305 17308 15729 0 -1 1077944384 13 13145 0 0 0 0 5 2 20 0 15 0 228200899 11255754752 53617 33554432000 4194304 4196468 140728617230384 140248797391728 140249371880066 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17367] ppid=17305 vsize=10991948 memory=281135540152576 CPUtime=0.07 cores=0,2,4,6 /proc/17308/task/17367/stat : 17367 (java) S 17305 17308 15729 0 -1 1077944384 13 13145 0 0 0 0 5 2 20 0 15 0 228200899 11255754752 53617 33554432000 4194304 4196468 140728617230384 140248197621280 140249371879125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17368] ppid=17305 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6 /proc/17308/task/17368/stat : 17368 (java) S 17305 17308 15729 0 -1 1077944384 1 13145 0 0 0 0 5 2 20 0 15 0 228200900 11255754752 53617 33554432000 4194304 4196468 140728617230384 140247996294512 140249371879125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17369] ppid=17305 vsize=10991948 memory=4552 CPUtime=0.07 cores=0,2,4,6 /proc/17308/task/17369/stat : 17369 (java) S 17305 17308 15729 0 -1 1077944384 3 13145 0 0 0 0 5 2 20 0 15 0 228200902 11255754752 53617 33554432000 4194304 4196468 140728617230384 140247688894800 140249371887515 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17370] ppid=17305 vsize=10991948 memory=3732 CPUtime=0.66 cores=0,2,4,6 /proc/17308/task/17370/stat : 17370 (java) R 17305 17308 15729 0 -1 4202560 2908 13145 0 0 59 0 5 2 20 0 15 0 228200902 11255754752 53617 33554432000 4194304 4196468 140728617230384 140248796324304 140249356790722 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17371] ppid=17305 vsize=10991948 memory=1228 CPUtime=0.64 cores=0,2,4,6 /proc/17308/task/17371/stat : 17371 (java) R 17305 17308 15729 0 -1 4202560 2357 13145 0 0 57 0 5 2 20 0 15 0 228200903 11255754752 53617 33554432000 4194304 4196468 140728617230384 140248795270688 140249351058384 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17372] ppid=17305 vsize=10991948 memory=10624 CPUtime=0.5 cores=0,2,4,6 /proc/17308/task/17372/stat : 17372 (java) S 17305 17308 15729 0 -1 1077944384 1687 13145 0 0 43 0 5 2 20 0 15 0 228200903 11255754752 53617 33554432000 4194304 4196468 140728617230384 140248794232944 140249371880066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17373] ppid=17305 vsize=10991948 memory=1624 CPUtime=0.07 cores=0,2,4,6 /proc/17308/task/17373/stat : 17373 (java) S 17305 17308 15729 0 -1 1077944384 3 13145 0 0 0 0 5 2 20 0 15 0 228200903 11255754752 53617 33554432000 4194304 4196468 140728617230384 140247258097888 140249371879125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17374] ppid=17305 vsize=10991948 memory=6768 CPUtime=0.07 cores=0,2,4,6 /proc/17308/task/17374/stat : 17374 (java) S 17305 17308 15729 0 -1 1077944384 1 13145 0 0 0 0 5 2 20 0 15 0 228200903 11255754752 53617 33554432000 4194304 4196468 140728617230384 140248793181360 140249371880066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 10991948 KiB ################ # More data... # ################ [pid=17308/tid=17373] ppid=17305 vsize=11014496 memory=1928 CPUtime=0.07 cores=0,2,4,6 /proc/17308/task/17373/stat : 17373 (java) S 17305 17308 15729 0 -1 1077944384 3 13145 0 0 0 0 5 2 20 0 15 0 228200903 11278843904 715491 33554432000 4194304 4196468 140728617230384 140247258097888 140249371879125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17374] ppid=17305 vsize=11014496 memory=7532 CPUtime=0.11 cores=0,2,4,6 /proc/17308/task/17374/stat : 17374 (java) S 17305 17308 15729 0 -1 1077944384 1741 13145 0 0 2 2 5 2 20 0 15 0 228200903 11278843904 715491 33554432000 4194304 4196468 140728617230384 140248793181360 140249371880066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 Current children cumulated CPU time: 107.98 s Current children cumulated vsize: 11014496 KiB Current children cumulated memory: 2861964 KiB [startup+83.2008 s] /proc/loadavg: 1.68 1.37 1.33 3/215 17382 /proc/meminfo: memFree=12518196/32770624 swapFree=67108504/67108860 [pid=17308] ppid=17305 vsize=11014496 memory=2861964 CPUtime=111.18 cores=0,2,4,6 /proc/17308/stat : 17308 (java) S 17305 17308 15729 0 -1 1077944320 110518 13145 0 0 10997 114 5 2 20 0 15 0 228200888 11278843904 715491 33554432000 4194304 4196468 140728617230384 140728617212928 140249371868919 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 /proc/17308/statm: 2753624 715491 3534 1 0 2715277 0 [pid=17308/tid=17361] ppid=17305 vsize=11014496 memory=2812812 CPUtime=82.58 cores=0,2,4,6 /proc/17308/task/17361/stat : 17361 (java) R 17305 17308 15729 0 -1 4202560 50651 13145 0 0 8201 50 5 2 20 0 15 0 228200897 11278843904 715491 33554432000 4194304 4196468 140728617230384 140249343703184 140248952188560 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17362] ppid=17305 vsize=11014496 memory=2812812 CPUtime=0.47 cores=0,2,4,6 /proc/17308/task/17362/stat : 17362 (java) S 17305 17308 15729 0 -1 1077944384 1804 13145 0 0 30 10 5 2 20 0 15 0 228200898 11278843904 715491 33554432000 4194304 4196468 140728617230384 140249376111248 140249371879125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17363] ppid=17305 vsize=11014496 memory=1116 CPUtime=0.46 cores=0,2,4,6 /proc/17308/task/17363/stat : 17363 (java) S 17305 17308 15729 0 -1 1077944384 411 13145 0 0 29 10 5 2 20 0 15 0 228200898 11278843904 715491 33554432000 4194304 4196468 140728617230384 140248911112720 140249371879125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17364] ppid=17305 vsize=11014496 memory=6791534058613427641 CPUtime=0.47 cores=0,2,4,6 /proc/17308/task/17364/stat : 17364 (java) S 17305 17308 15729 0 -1 1077944384 1367 13145 0 0 30 10 5 2 20 0 15 0 228200898 11278843904 715491 33554432000 4194304 4196468 140728617230384 140248910059920 140249371879125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17365] ppid=17305 vsize=11014496 memory=3732 CPUtime=0.49 cores=0,2,4,6 /proc/17308/task/17365/stat : 17365 (java) S 17305 17308 15729 0 -1 1077944384 902 13145 0 0 32 10 5 2 20 0 15 0 228200898 11278843904 715491 33554432000 4194304 4196468 140728617230384 140248909007120 140249371879125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17366] ppid=17305 vsize=11014496 memory=1228 CPUtime=0.18 cores=0,2,4,6 /proc/17308/task/17366/stat : 17366 (java) S 17305 17308 15729 0 -1 1077944384 3465 13145 0 0 10 1 5 2 20 0 15 0 228200899 11278843904 715491 33554432000 4194304 4196468 140728617230384 140248797391728 140249371880066 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17367] ppid=17305 vsize=11014496 memory=10624 CPUtime=0.07 cores=0,2,4,6 /proc/17308/task/17367/stat : 17367 (java) S 17305 17308 15729 0 -1 1077944384 19 13145 0 0 0 0 5 2 20 0 15 0 228200899 11278843904 715491 33554432000 4194304 4196468 140728617230384 140248197621344 140249371879125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17368] ppid=17305 vsize=11014496 memory=2810764 CPUtime=0.07 cores=0,2,4,6 /proc/17308/task/17368/stat : 17368 (java) S 17305 17308 15729 0 -1 1077944384 3 13145 0 0 0 0 5 2 20 0 15 0 228200900 11278843904 715491 33554432000 4194304 4196468 140728617230384 140247996294528 140249371879125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17369] ppid=17305 vsize=11014496 memory=2810764 CPUtime=0.07 cores=0,2,4,6 /proc/17308/task/17369/stat : 17369 (java) S 17305 17308 15729 0 -1 1077944384 3 13145 0 0 0 0 5 2 20 0 15 0 228200902 11278843904 715491 33554432000 4194304 4196468 140728617230384 140247688894800 140249371887515 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17370] ppid=17305 vsize=11014496 memory=2671500 CPUtime=11.53 cores=0,2,4,6 /proc/17308/task/17370/stat : 17370 (java) S 17305 17308 15729 0 -1 1077944384 17139 13145 0 0 1140 6 5 2 20 0 15 0 228200902 11278843904 715491 33554432000 4194304 4196468 140728617230384 140248796338544 140249371880066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17371] ppid=17305 vsize=11014496 memory=932 CPUtime=11.32 cores=0,2,4,6 /proc/17308/task/17371/stat : 17371 (java) S 17305 17308 15729 0 -1 1077944384 13728 13145 0 0 1119 6 5 2 20 0 15 0 228200903 11278843904 715491 33554432000 4194304 4196468 140728617230384 140248795285744 140249371880066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17372] ppid=17305 vsize=11014496 memory=6791534058613427641 CPUtime=4.1 cores=0,2,4,6 /proc/17308/task/17372/stat : 17372 (java) S 17305 17308 15729 0 -1 1077944384 17088 13145 0 0 397 6 5 2 20 0 15 0 228200903 11278843904 715491 33554432000 4194304 4196468 140728617230384 140248794232944 140249371880066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17373] ppid=17305 vsize=11014496 memory=932 CPUtime=0.07 cores=0,2,4,6 /proc/17308/task/17373/stat : 17373 (java) S 17305 17308 15729 0 -1 1077944384 3 13145 0 0 0 0 5 2 20 0 15 0 228200903 11278843904 715491 33554432000 4194304 4196468 140728617230384 140247258097888 140249371879125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17374] ppid=17305 vsize=11014496 memory=2861964 CPUtime=0.11 cores=0,2,4,6 /proc/17308/task/17374/stat : 17374 (java) S 17305 17308 15729 0 -1 1077944384 1741 13145 0 0 2 2 5 2 20 0 15 0 228200903 11278843904 715491 33554432000 4194304 4196468 140728617230384 140248793181360 140249371880066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 Current children cumulated CPU time: 111.18 s Current children cumulated vsize: 11014496 KiB Current children cumulated memory: 2861964 KiB [startup+84.8008 s] /proc/loadavg: 1.68 1.37 1.33 3/215 17382 /proc/meminfo: memFree=12518196/32770624 swapFree=67108504/67108860 [pid=17308] ppid=17305 vsize=11014496 memory=2861964 CPUtime=112.79 cores=0,2,4,6 /proc/17308/stat : 17308 (java) S 17305 17308 15729 0 -1 1077944320 110729 13145 0 0 11158 114 5 2 20 0 15 0 228200888 11278843904 715491 33554432000 4194304 4196468 140728617230384 140728617212928 140249371868919 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 /proc/17308/statm: 2753624 715491 3534 1 0 2715277 0 [pid=17308/tid=17361] ppid=17305 vsize=11014496 memory=3732 CPUtime=84.18 cores=0,2,4,6 /proc/17308/task/17361/stat : 17361 (java) R 17305 17308 15729 0 -1 4202560 50840 13145 0 0 8361 50 5 2 20 0 15 0 228200897 11278843904 715491 33554432000 4194304 4196468 140728617230384 140249343703184 140248962488023 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17362] ppid=17305 vsize=11014496 memory=2810764 CPUtime=0.47 cores=0,2,4,6 /proc/17308/task/17362/stat : 17362 (java) S 17305 17308 15729 0 -1 1077944384 1804 13145 0 0 30 10 5 2 20 0 15 0 228200898 11278843904 715491 33554432000 4194304 4196468 140728617230384 140249376111248 140249371879125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17363] ppid=17305 vsize=11014496 memory=281135540868288 CPUtime=0.46 cores=0,2,4,6 /proc/17308/task/17363/stat : 17363 (java) S 17305 17308 15729 0 -1 1077944384 411 13145 0 0 29 10 5 2 20 0 15 0 228200898 11278843904 715491 33554432000 4194304 4196468 140728617230384 140248911112720 140249371879125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17364] ppid=17305 vsize=11014496 memory=2671500 CPUtime=0.47 cores=0,2,4,6 /proc/17308/task/17364/stat : 17364 (java) S 17305 17308 15729 0 -1 1077944384 1367 13145 0 0 30 10 5 2 20 0 15 0 228200898 11278843904 715491 33554432000 4194304 4196468 140728617230384 140248910059920 140249371879125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17365] ppid=17305 vsize=11014496 memory=2861964 CPUtime=0.49 cores=0,2,4,6 /proc/17308/task/17365/stat : 17365 (java) S 17305 17308 15729 0 -1 1077944384 902 13145 0 0 32 10 5 2 20 0 15 0 228200898 11278843904 715491 33554432000 4194304 4196468 140728617230384 140248909007120 140249371879125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17366] ppid=17305 vsize=11014496 memory=4552 CPUtime=0.18 cores=0,2,4,6 /proc/17308/task/17366/stat : 17366 (java) S 17305 17308 15729 0 -1 1077944384 3465 13145 0 0 10 1 5 2 20 0 15 0 228200899 11278843904 715491 33554432000 4194304 4196468 140728617230384 140248797391728 140249371880066 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17367] ppid=17305 vsize=11014496 memory=3732 CPUtime=0.07 cores=0,2,4,6 /proc/17308/task/17367/stat : 17367 (java) S 17305 17308 15729 0 -1 1077944384 19 13145 0 0 0 0 5 2 20 0 15 0 228200899 11278843904 715491 33554432000 4194304 4196468 140728617230384 140248197621344 140249371879125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17368] ppid=17305 vsize=11014496 memory=1228 CPUtime=0.07 cores=0,2,4,6 /proc/17308/task/17368/stat : 17368 (java) S 17305 17308 15729 0 -1 1077944384 3 13145 0 0 0 0 5 2 20 0 15 0 228200900 11278843904 715491 33554432000 4194304 4196468 140728617230384 140247996294528 140249371879125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17369] ppid=17305 vsize=11014496 memory=10624 CPUtime=0.07 cores=0,2,4,6 /proc/17308/task/17369/stat : 17369 (java) S 17305 17308 15729 0 -1 1077944384 3 13145 0 0 0 0 5 2 20 0 15 0 228200902 11278843904 715491 33554432000 4194304 4196468 140728617230384 140247688894800 140249371887515 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17370] ppid=17305 vsize=11014496 memory=1624 CPUtime=11.53 cores=0,2,4,6 /proc/17308/task/17370/stat : 17370 (java) S 17305 17308 15729 0 -1 1077944384 17139 13145 0 0 1140 6 5 2 20 0 15 0 228200902 11278843904 715491 33554432000 4194304 4196468 140728617230384 140248796338544 140249371880066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17371] ppid=17305 vsize=11014496 memory=2861964 CPUtime=11.32 cores=0,2,4,6 /proc/17308/task/17371/stat : 17371 (java) S 17305 17308 15729 0 -1 1077944384 13750 13145 0 0 1119 6 5 2 20 0 15 0 228200903 11278843904 715491 33554432000 4194304 4196468 140728617230384 140248795285744 140249371880066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17372] ppid=17305 vsize=11014496 memory=2812812 CPUtime=4.1 cores=0,2,4,6 /proc/17308/task/17372/stat : 17372 (java) S 17305 17308 15729 0 -1 1077944384 17088 13145 0 0 397 6 5 2 20 0 15 0 228200903 11278843904 715491 33554432000 4194304 4196468 140728617230384 140248794232944 140249371880066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17373] ppid=17305 vsize=11014496 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6 /proc/17308/task/17373/stat : 17373 (java) S 17305 17308 15729 0 -1 1077944384 3 13145 0 0 0 0 5 2 20 0 15 0 228200903 11278843904 715491 33554432000 4194304 4196468 140728617230384 140247258097888 140249371879125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17374] ppid=17305 vsize=11014496 memory=4872558044660077418 CPUtime=0.11 cores=0,2,4,6 /proc/17308/task/17374/stat : 17374 (java) S 17305 17308 15729 0 -1 1077944384 1741 13145 0 0 2 2 5 2 20 0 15 0 228200903 11278843904 715491 33554432000 4194304 4196468 140728617230384 140248793181360 140249371880066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 Current children cumulated CPU time: 112.79 s Current children cumulated vsize: 11014496 KiB Current children cumulated memory: 2861964 KiB [startup+85.2008 s] /proc/loadavg: 1.68 1.37 1.33 3/215 17382 /proc/meminfo: memFree=12518196/32770624 swapFree=67108504/67108860 [pid=17308] ppid=17305 vsize=11014496 memory=2861964 CPUtime=113.19 cores=0,2,4,6 /proc/17308/stat : 17308 (java) S 17305 17308 15729 0 -1 1077944320 110729 13145 0 0 11198 114 5 2 20 0 15 0 228200888 11278843904 715491 33554432000 4194304 4196468 140728617230384 140728617212928 140249371868919 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 /proc/17308/statm: 2753624 715491 3534 1 0 2715277 0 [pid=17308/tid=17361] ppid=17305 vsize=11014496 memory=14127849082719526 CPUtime=84.58 cores=0,2,4,6 /proc/17308/task/17361/stat : 17361 (java) R 17305 17308 15729 0 -1 4202560 50840 13145 0 0 8401 50 5 2 20 0 15 0 228200897 11278843904 715491 33554432000 4194304 4196468 140728617230384 140249343701416 140248961156668 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17362] ppid=17305 vsize=11014496 memory=303993194746741051 CPUtime=0.47 cores=0,2,4,6 /proc/17308/task/17362/stat : 17362 (java) S 17305 17308 15729 0 -1 1077944384 1804 13145 0 0 30 10 5 2 20 0 15 0 228200898 11278843904 715491 33554432000 4194304 4196468 140728617230384 140249376111248 140249371879125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17363] ppid=17305 vsize=11014496 memory=14127849082719526 CPUtime=0.46 cores=0,2,4,6 /proc/17308/task/17363/stat : 17363 (java) S 17305 17308 15729 0 -1 1077944384 411 13145 0 0 29 10 5 2 20 0 15 0 228200898 11278843904 715491 33554432000 4194304 4196468 140728617230384 140248911112720 140249371879125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17364] ppid=17305 vsize=11014496 memory=2600 CPUtime=0.47 cores=0,2,4,6 /proc/17308/task/17364/stat : 17364 (java) S 17305 17308 15729 0 -1 1077944384 1367 13145 0 0 30 10 5 2 20 0 15 0 228200898 11278843904 715491 33554432000 4194304 4196468 140728617230384 140248910059920 140249371879125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17365] ppid=17305 vsize=11014496 memory=1404 CPUtime=0.49 cores=0,2,4,6 /proc/17308/task/17365/stat : 17365 (java) S 17305 17308 15729 0 -1 1077944384 902 13145 0 0 32 10 5 2 20 0 15 0 228200898 11278843904 715491 33554432000 4194304 4196468 140728617230384 140248909007120 140249371879125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17366] ppid=17305 vsize=11014496 memory=3216 CPUtime=0.18 cores=0,2,4,6 /proc/17308/task/17366/stat : 17366 (java) S 17305 17308 15729 0 -1 1077944384 3465 13145 0 0 10 1 5 2 20 0 15 0 228200899 11278843904 715491 33554432000 4194304 4196468 140728617230384 140248797391728 140249371880066 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17367] ppid=17305 vsize=11014496 memory=1070916 CPUtime=0.07 cores=0,2,4,6 /proc/17308/task/17367/stat : 17367 (java) S 17305 17308 15729 0 -1 1077944384 19 13145 0 0 0 0 5 2 20 0 15 0 228200899 11278843904 715491 33554432000 4194304 4196468 140728617230384 140248197621344 140249371879125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17368] ppid=17305 vsize=11014496 memory=4100 CPUtime=0.07 cores=0,2,4,6 /proc/17308/task/17368/stat : 17368 (java) S 17305 17308 15729 0 -1 1077944384 3 13145 0 0 0 0 5 2 20 0 15 0 228200900 11278843904 715491 33554432000 4194304 4196468 140728617230384 140247996294528 140249371879125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17369] ppid=17305 vsize=11014496 memory=66244 CPUtime=0.07 cores=0,2,4,6 /proc/17308/task/17369/stat : 17369 (java) S 17305 17308 15729 0 -1 1077944384 3 13145 0 0 0 0 5 2 20 0 15 0 228200902 11278843904 715491 33554432000 4194304 4196468 140728617230384 140247688894800 140249371887515 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17370] ppid=17305 vsize=11014496 memory=2832 CPUtime=11.53 cores=0,2,4,6 /proc/17308/task/17370/stat : 17370 (java) S 17305 17308 15729 0 -1 1077944384 17139 13145 0 0 1140 6 5 2 20 0 15 0 228200902 11278843904 715491 33554432000 4194304 4196468 140728617230384 140248796338544 140249371880066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17371] ppid=17305 vsize=11014496 memory=825241682 CPUtime=11.32 cores=0,2,4,6 /proc/17308/task/17371/stat : 17371 (java) S 17305 17308 15729 0 -1 1077944384 13750 13145 0 0 1119 6 5 2 20 0 15 0 228200903 11278843904 715491 33554432000 4194304 4196468 140728617230384 140248795285744 140249371880066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17372] ppid=17305 vsize=11014496 memory=15084 CPUtime=4.1 cores=0,2,4,6 /proc/17308/task/17372/stat : 17372 (java) S 17305 17308 15729 0 -1 1077944384 17088 13145 0 0 397 6 5 2 20 0 15 0 228200903 11278843904 715491 33554432000 4194304 4196468 140728617230384 140248794232944 140249371880066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17373] ppid=17305 vsize=11014496 memory=2861964 CPUtime=0.07 cores=0,2,4,6 /proc/17308/task/17373/stat : 17373 (java) S 17305 17308 15729 0 -1 1077944384 3 13145 0 0 0 0 5 2 20 0 15 0 228200903 11278843904 715491 33554432000 4194304 4196468 140728617230384 140247258097888 140249371879125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17374] ppid=17305 vsize=11014496 memory=2861964 CPUtime=0.11 cores=0,2,4,6 /proc/17308/task/17374/stat : 17374 (java) S 17305 17308 15729 0 -1 1077944384 1741 13145 0 0 2 2 5 2 20 0 15 0 228200903 11278843904 715491 33554432000 4194304 4196468 140728617230384 140248793181360 140249371880066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 Current children cumulated CPU time: 113.19 s Current children cumulated vsize: 11014496 KiB Current children cumulated memory: 2861964 KiB [startup+85.4007 s] /proc/loadavg: 1.68 1.37 1.33 3/215 17382 /proc/meminfo: memFree=12518196/32770624 swapFree=67108504/67108860 [pid=17308] ppid=17305 vsize=11014496 memory=2860828 CPUtime=113.57 cores=0,2,4,6 /proc/17308/stat : 17308 (java) S 17305 17308 15729 0 -1 1077944320 114169 13145 0 0 11236 114 5 2 20 0 15 0 228200888 11278843904 715207 33554432000 4194304 4196468 140728617230384 140728617212928 140249371868919 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 /proc/17308/statm: 2753624 715207 3535 1 0 2715277 0 [pid=17308/tid=17361] ppid=17305 vsize=11014496 memory=6944656575208382560 CPUtime=84.78 cores=0,2,4,6 /proc/17308/task/17361/stat : 17361 (java) R 17305 17308 15729 0 -1 4202560 53372 13145 0 0 8421 50 5 2 20 0 15 0 228200897 11278843904 715207 33554432000 4194304 4196468 140728617230384 140249343701888 140248941629504 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17362] ppid=17305 vsize=11014496 memory=8101247189090653289 CPUtime=0.48 cores=0,2,4,6 /proc/17308/task/17362/stat : 17362 (java) S 17305 17308 15729 0 -1 1077944384 1804 13145 0 0 31 10 5 2 20 0 15 0 228200898 11278843904 715207 33554432000 4194304 4196468 140728617230384 140249376111248 140249371879125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17363] ppid=17305 vsize=11014496 memory=8101247189090653289 CPUtime=0.46 cores=0,2,4,6 /proc/17308/task/17363/stat : 17363 (java) S 17305 17308 15729 0 -1 1077944384 411 13145 0 0 29 10 5 2 20 0 15 0 228200898 11278843904 715207 33554432000 4194304 4196468 140728617230384 140248911112720 140249371879125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17364] ppid=17305 vsize=11014496 memory=7524512692651257697 CPUtime=0.47 cores=0,2,4,6 /proc/17308/task/17364/stat : 17364 (java) S 17305 17308 15729 0 -1 1077944384 1367 13145 0 0 30 10 5 2 20 0 15 0 228200898 11278843904 715207 33554432000 4194304 4196468 140728617230384 140248910059920 140249371879125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17365] ppid=17305 vsize=11014496 memory=7595440001688102255 CPUtime=0.49 cores=0,2,4,6 /proc/17308/task/17365/stat : 17365 (java) S 17305 17308 15729 0 -1 1077944384 902 13145 0 0 32 10 5 2 20 0 15 0 228200898 11278843904 715207 33554432000 4194304 4196468 140728617230384 140248909007120 140249371879125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17366] ppid=17305 vsize=11014496 memory=7595440001688102255 CPUtime=0.18 cores=0,2,4,6 /proc/17308/task/17366/stat : 17366 (java) S 17305 17308 15729 0 -1 1077944384 3474 13145 0 0 10 1 5 2 20 0 15 0 228200899 11278843904 715207 33554432000 4194304 4196468 140728617230384 140248797391728 140249371880066 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17367] ppid=17305 vsize=11014496 memory=7309167735419596644 CPUtime=0.07 cores=0,2,4,6 /proc/17308/task/17367/stat : 17367 (java) S 17305 17308 15729 0 -1 1077944384 19 13145 0 0 0 0 5 2 20 0 15 0 228200899 11278843904 715207 33554432000 4194304 4196468 140728617230384 140248197621344 140249371879125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17368] ppid=17305 vsize=11014496 memory=7309167735419596644 CPUtime=0.07 cores=0,2,4,6 /proc/17308/task/17368/stat : 17368 (java) S 17305 17308 15729 0 -1 1077944384 3 13145 0 0 0 0 5 2 20 0 15 0 228200900 11278843904 715207 33554432000 4194304 4196468 140728617230384 140247996294528 140249371879125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17369] ppid=17305 vsize=11014496 memory=7309167735419596644 CPUtime=0.07 cores=0,2,4,6 /proc/17308/task/17369/stat : 17369 (java) S 17305 17308 15729 0 -1 1077944384 3 13145 0 0 0 0 5 2 20 0 15 0 228200902 11278843904 715207 33554432000 4194304 4196468 140728617230384 140247688894800 140249371887515 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17370] ppid=17305 vsize=11014496 memory=7595440001688102255 CPUtime=11.6 cores=0,2,4,6 /proc/17308/task/17370/stat : 17370 (java) R 17305 17308 15729 0 -1 4202560 17210 13145 0 0 1147 6 5 2 20 0 15 0 228200902 11278843904 715207 33554432000 4194304 4196468 140728617230384 140248796338544 140249349698343 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17371] ppid=17305 vsize=11014496 memory=8101247189090653289 CPUtime=11.42 cores=0,2,4,6 /proc/17308/task/17371/stat : 17371 (java) S 17305 17308 15729 0 -1 1077944384 14487 13145 0 0 1129 6 5 2 20 0 15 0 228200903 11278843904 715207 33554432000 4194304 4196468 140728617230384 140248795285744 140249371880066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17372] ppid=17305 vsize=11014496 memory=8101247189090653289 CPUtime=4.12 cores=0,2,4,6 /proc/17308/task/17372/stat : 17372 (java) S 17305 17308 15729 0 -1 1077944384 17179 13145 0 0 399 6 5 2 20 0 15 0 228200903 11278843904 715207 33554432000 4194304 4196468 140728617230384 140248794232944 140249371880066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17373] ppid=17305 vsize=11014496 memory=-2245088631185882904 CPUtime=0.07 cores=0,2,4,6 /proc/17308/task/17373/stat : 17373 (java) S 17305 17308 15729 0 -1 1077944384 3 13145 0 0 0 0 5 2 20 0 15 0 228200903 11278843904 715207 33554432000 4194304 4196468 140728617230384 140247258097888 140249371879125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 [pid=17308/tid=17374] ppid=17305 vsize=11014496 memory=0 CPUtime=0.11 cores=0,2,4,6 /proc/17308/task/17374/stat : 17374 (java) S 17305 17308 15729 0 -1 1077944384 1741 13145 0 0 2 2 5 2 20 0 15 0 228200903 11278843904 715207 33554432000 4194304 4196468 140728617230384 140248793181360 140249371880066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11149312 140728617237100 140728617239900 140728617239900 140728617242575 0 Current children cumulated CPU time: 113.57 s Current children cumulated vsize: 11014496 KiB Current children cumulated memory: 2860828 KiB Child status: 0 Real time (s): 85.45 CPU time (s): 113.656 CPU user time (s): 112.453 CPU system time (s): 1.20235 CPU usage (%): 133.008 Max. virtual memory (cumulated for all children) (KiB): 11014496 Max. memory (cumulated for all children) (KiB): 2861964 getrusage(RUSAGE_CHILDREN,...) data: user time used= 112.453 system time used= 1.20235 maximum resident set size= 2863008 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 127650 page faults= 0 swaps= 0 block input operations= 0 block output operations= 264 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 17658 involuntary context switches= 209 # summary of solver processes directly reported to runsolver: # pid: 17308 # total CPU time (s): 113.656 # total CPU user time (s): 112.453 # total CPU system time (s): 1.20235 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.488595 second user time and 0.865521 second system time The end
Begin job on node104 at 2018-08-12 22:39:37 IDJOB=4304967 IDBENCH=141335 IDSOLVER=2780 FILE ID=node104/4304967-1534106377 RUNJOBID= node104-1534097917-15760 PBS_JOBID= 21037002 Free space on /tmp= 37524 MiB SOLVER NAME= Concrete 3.9.2 BENCH NAME= XCSP18/Bibd/Bibd-sc-10-03-08_c18.xml COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4304967-1534106377/watcher-4304967-1534106377 -o /tmp/evaluation-result-4304967-1534106377/solver-4304967-1534106377 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534097917-15760 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1902862762 HOME/instance-4304967-1534106377.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 21283a47fd6fd3b1d87e6d18823d33f4 RANDOM SEED=1902862762 node104.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.11 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.11 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.11 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.11 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: 15372488 kB MemAvailable: 30848588 kB Buffers: 196908 kB Cached: 15317360 kB SwapCached: 8 kB Active: 8717368 kB Inactive: 7907376 kB Active(anon): 1062064 kB Inactive(anon): 100964 kB Active(file): 7655304 kB Inactive(file): 7806412 kB Unevictable: 7360 kB Mlocked: 7360 kB SwapTotal: 67108860 kB SwapFree: 67108504 kB Dirty: 26932 kB Writeback: 0 kB AnonPages: 1117804 kB Mapped: 65296 kB Shmem: 49636 kB Slab: 471128 kB SReclaimable: 442844 kB SUnreclaim: 28284 kB KernelStack: 3520 kB PageTables: 7484 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2307940 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 901120 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= 37500 MiB End job on node104 at 2018-08-12 22:41:03