Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Choco-solver 4.0.7 seq (493a269) | SAT (TO) | 179 | 2400.07 | 2383.73 |
Name | PeacableArmies/ PeacableArmies-m1-50_c18.xml |
MD5SUM | 65d9088e6e3c6b500cf18d234bd8e6c7 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 184 |
Best CPU time to get the best result obtained on this benchmark | 2520.37 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 5000 |
Number of constraints | 409201 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":5000}] |
Minimum variable degree | 149 |
Maximum variable degree | 198 |
Distribution of variable degrees | [{"degree":149,"count":196},{"degree":150,"count":196},{"degree":151,"count":188},{"degree":152,"count":188},{"degree":153,"count":180},{"degree":154,"count":180},{"degree":155,"count":172},{"degree":156,"count":172},{"degree":157,"count":164},{"degree":158,"count":164},{"degree":159,"count":156},{"degree":160,"count":156},{"degree":161,"count":148},{"degree":162,"count":148},{"degree":163,"count":140},{"degree":164,"count":140},{"degree":165,"count":132},{"degree":166,"count":132},{"degree":167,"count":124},{"degree":168,"count":124},{"degree":169,"count":116},{"degree":170,"count":116},{"degree":171,"count":108},{"degree":172,"count":108},{"degree":173,"count":100},{"degree":174,"count":100},{"degree":175,"count":92},{"degree":176,"count":92},{"degree":177,"count":84},{"degree":178,"count":84},{"degree":179,"count":76},{"degree":180,"count":76},{"degree":181,"count":68},{"degree":182,"count":68},{"degree":183,"count":60},{"degree":184,"count":60},{"degree":185,"count":52},{"degree":186,"count":52},{"degree":187,"count":44},{"degree":188,"count":44},{"degree":189,"count":36},{"degree":190,"count":36},{"degree":191,"count":28},{"degree":192,"count":28},{"degree":193,"count":20},{"degree":194,"count":20},{"degree":195,"count":12},{"degree":196,"count":12},{"degree":197,"count":4},{"degree":198,"count":4}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 5000 |
Distribution of constraint arities | [{"arity":2,"count":409200},{"arity":5000,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 409200 |
Distribution of constraint types | [{"type":"intension","count":409200},{"type":"sum","count":1}] |
Optimization problem | YES |
Type of objective | max SUM |
0.00/0.00 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4292244-1532530954.xml" -tl '2400s' -p 1 -x 0 0.12/0.17 c Choco 493a269 0.12/0.18 c [HOME/instance-4292244-1532530954.xml, -tl, 2400s, -p, 1, -x, 0] 0.12/0.21 c simple solver 0.34/0.28 c parse instance... 24.06/13.93 c solve instance... 35.72/24.41 o 53 108.49/94.66 o 54 233.76/219.69 o 60 246.91/232.74 o 63 424.95/410.36 o 179 2400.03/2383.70 s SATISFIABLE 2400.03/2383.70 v <instantiation> 2400.03/2383.70 v <list>b[0][0] b[0][1] b[0][2] b[0][3] b[0][4] b[0][5] b[0][6] b[0][7] b[0][8] b[0][9] b[0][10] b[0][11] b[0][12] b[0][13] b[0][14] b[0][15] b[0][16] b[0][17] b[0][18] b[0][19] b[0][20] b[0][21] b[0][22] b[0][23] b[0][24] b[0][25] b[0][26] b[0][27] b[0][28] b[0][29] b[0][30] b[0][31] b[0][32] b[0][33] b[0][34] b[0][35] b[0][36] b[0][37] b[0][38] b[0][39] b[0][40] b[0][41] b[0][42] b[0][43] b[0][44] b[0][45] b[0][46] b[0][47] b[0][48] b[0][49] b[1][0] b[1][1] b[1][2] b[1][3] b[1][4] b[1][5] b[1][6] b[1][7] b[1][8] b[1][9] b[1][10] b[1][11] b[1][12] b[1][13] b[1][14] b[1][15] b[1][16] b[1][17] b[1][18] b[1][19] b[1][20] b[1][21] b[1][22] b[1][23] b[1][24] b[1][25] b[1][26] b[1][27] b[1][28] b[1][29] b[1][30] b[1][31] b[1][32] b[1][33] b[1][34] b[1][35] b[1][36] b[1][37] b[1][38] b[1][39] b[1][40] b[1][41] b[1][42] b[1][43] b[1][44] b[1][45] b[1][46] b[1][47] b[1][48] b[1][49] b[2][0] b[2][1] b[2][2] b[2][3] b[2][4] b[2][5] b[2][6] b[2][7] b[2][8] b[2][9] b[2][10] b[2][11] b[2][12] b[2][13] b[2][14] b[2][15] b[2][16] b[2][17] b[2][18] b[2][19] b[2][20] b[2][21] b[2][22] b[2][23] b[2][24] b[2][25] b[2][26] b[2][27] b[2][28] b[2][29] b[2][30] b[2][31] b[2][32] b[2][33] b[2][34] b[2][35] b[2][36] b[2][37] b[2][38] b[2][39] b[2][40] b[2][41] b[2][42] b[2][43] b[2][44] b[2][45] b[2][46] b[2][47] b[2][48] b[2][49] b[3][0] b[3][1] b[3][2] b[3][3] b[3][4] b[3][5] b[3][6] b[3][7] b[3][8] b[3][9] b[3][10] b[3][11] b[3][12] b[3][13] b[3][14] b[3][15] b[3][16] b[3][17] b[3][18] b[3][19] b[3][20] b[3][21] b[3][22] b[3][23] b[3][24] b[3][25] b[3][26] b[3][27] b[3][28] b[3][29] b[3][30] b[3][31] b[3][32] b[3][33] b[3][34] b[3][35] b[3][36] b[3][37] b[3][38] b[3][39] b[3][40] b[3][41] b[3][42] b[3][43] b[3][44] b[3][45] b[3][46] b[3][47] b[3][48] b[3][49] b[4][0] b[4][1] b[4][2] b[4][3] b[4][4] b[4][5] b[4][6] b[4][7] b[4][8] b[4][9] b[4][10] b[4][11] b[4][12] b[4][13] b[4][14] b[4][15] b[4][16] b[4][17] b[4][18] b[4][19] b[4][20] b[4][21] b[4][22] b[4][23] b[4][24] b[4][25] b[4][26] b[4][27] b[4][28] b[4][29] b[4][30] b[4][31] b[4][32] b[4][33] b[4][34] b[4][35] b[4][36] b[4][37] b[4][38] b[4][39] b[4][40] b[4][41] b[4][42] b[4][43] b[4][44] b[4][45] b[4][46] b[4][47] b[4][48] b[4][49] b[5][0] b[5][1] b[5][2] b[5][3] b[5][4] b[5][5] b[5][6] b[5][7] b[5][8] b[5][9] b[5][10] b[5][11] b[5][12] b[5][13] b[5][14] b[5][15] b[5][16] b[5][17] b[5][18] b[5][19] b[5][20] b[5][21] b[5][22] b[5][23] b[5][24] b[5][25] b[5][26] b[5][27] b[5][28] b[5][29] b[5][30] b[5][31] b[5][32] b[5][33] b[5][34] b[5][35] b[5][36] b[5][37] b[5][38] b[5][39] b[5][40] b[5][41] b[5][42] b[5][43] b[5][44] b[5][45] b[5][46] b[5][47] b[5][48] b[5][49] b[6][0] b[6][1] b[6][2] b[6][3] b[6][4] b[6][5] b[6][6] b[6][7] b[6][8] b[6][9] b[6][10] b[6][11] b[6][12] b[6][13] b[6][14] b[6][15] b[6][16] b[6][17] b[6][18] b[6][19] b[6][20] b[6][21] b[6][22] b[6][23] b[6][24] b[6][25] b[6][26] b[6][27] b[6][28] b[6][29] b[6][30] b[6][31] b[6][32] b[6][33] b[6][34] b[6][35] b[6][36] b[6][37] b[6][38] b[6][39] b[6][40] b[6][41] b[6][42] b[6][43] b[6][44] b[6][45] b[6][46] b[6][47] b[6][48] b[6][49] b[7][0] b[7][1] b[7][2] b[7][3] b[7][4] b[7][5] b[7][6] b[7][7] b[7][8] b[7][9] b[7][10] b[7][11] b[7][12] b[7][13] b[7][14] b[7][15] b[7][16] b[7][17] b[7][18] b[7][19] b[7][20] b[7][21] b[7][22] b[7][23] b[7][24] b[7][25] b[7][26] b[7][27] b[7][28] b[7][29] b[7][30] b[7][31] b[7][32] b[7][33] b[7][34] b[7][35] b[7][36] b[7][37] b[7][38] b[7][39] b[7][40] b[7][41] b[7][42] b[7][43] b[7][44] b[7][45] b[7][46] b[7][47] b[7][48] b[7][49] b[8][0] b[8][1] b[8][2] b[8][3] b[8][4] b[8][5] b[8][6] b[8][7] b[8][8] b[8][9] b[8][10] b[8][11] b[8][12] b[8][13] b[8][14] b[8][15] b[8][16] b[8][17] b[8][18] b[8][19] b[8][20] b[8][21] b[8][22] b[8][23] b[8][24] b[8][25] b[8][26] b[8][27] b[8][28] b[8][29] b[8][30] b[8][31] b[8][32] b[8][33] b[8][34] b[8][35] b[8][36] b[8][37] b[8][38] b[8][39] b[8][40] b[8][41] b[8][42] b[8][43] b[8][44] b[8][45] b[8][46] b[8][47] b[8][48] b[8][49] b[9][0] b[9][1] b[9][2] b[9][3] b[9][4] b[9][5] b[9][6] b[9][7] b[9][8] b[9][9] b[9][10] b[9][11] b[9][12] b[9][13] b[9][14] b[9][15] b[9][16] b[9][17] b[9][18] b[9][19] b[9][20] b[9][21] b[9][22] b[9][23] b[9][24] b[9][25] b[9][26] b[9][27] b[9][28] b[9][29] b[9][30] b[9][31] b[9][32] b[9][33] b[9][34] b[9][35] b[9][36] b[9][37] b[9][38] b[9][39] b[9][40] b[9][41] b[9][42] b[9][43] b[9][44] b[9][45] b[9][46] b[9][47] b[9][48] b[9][49] b[10][0] b[10][1] b[10][2] b[10][3] b[10][4] b[10][5] b[10][6] b[10][7] b[10][8] b[10][9] b[10][10] b[10][11] b[10][12] b[10][13] b[10][14] b[10][15] b[10][16] b[10][17] b[10][18] b[10][19] b[10][20] b[10][21] b[10][22] b[10][23] b[10][24] b[10][25] b[10][26] b[10][27] b[10][28] b[10][29] b[10][30] b[10][31] b[10][32] b[10][33] b[10][34] b[10][35] b[10][36] b[10][37] b[10][38] b[10][39] b[10][40] b[10][41] b[10][42] b[10][43] b[10][44] b[10][45] b[10][46] b[10][47] b[10][48] b[10][49] b[11][0] b[11][1] b[11][2] b[11][3] b[11][4] b[11][5] b[11][6] b[11][7] b[11][8] b[11][9] b[11][10] b[11][11] b[11][12] b[11][13] b[11][14] b[11][15] b[11][16] b[11][17] b[11][18] b[11][19] b[11][20] b[11][21] b[11][22] b[11][23] b[11][24] b[11][25] b[11][26] b[11][27] b[11][28] b[11][29] b[11][30] b[11][31] b[11][32] b[11][33] b[11][34] b[11][35] b[11][36] b[11][37] b[11][38] b[11][39] b[11][40] b[11][41] b[11][42] b[11][43] b[11][44] b[11][45] b[11][46] b[11][47] b[11][48] b[11][49] b[12][0] b[12][1] b[12][2] b[12][3] b[12][4] b[12][5] b[12][6] b[12][7] b[12][8] b[12][9] b[12][10] b[12][11] b[12][12] b[12][13] b[12][14] b[12][15] b[12][16] b[12][17] b[12][18] b[12][19] b[12][20] b[12][21] b[12][22] b[12][23] b[12][24] b[12][25] b[12][26] b[12][27] b[12][28] b[12][29] b[12][30] b[12][31] b[12][32] b[12][33] b[12][34] b[12][35] b[12][36] b[12][37] b[12][38] b[12][39] b[12][40] b[12][41] b[12][42] b[12][43] b[12][44] b[12][45] b[12][46] b[12][47] b[12][48] b[12][49] b[13][0] b[13][1] b[13][2] b[13][3] b[13][4] b[13][5] b[13][6] b[13][7] b[13][8] b[13][9] b[13][10] b[13][11] b[13][12] b[13][13] b[13][14] b[13][15] b[13][16] b[13][17] b[13][18] b[13][19] b[13][20] b[13][21] b[13][22] b[13][23] b[13][24] b[13][25] b[13][26] b[13][27] b[13][28] b[13][29] b[13][30] b[13][31] b[13][32] b[13][33] b[13][34] b[13][35] b[13][36] b[13][37] b[13][38] b[13][39] b[13][40] b[13][41] b[13][42] b[13][43] b[13][44] b[13][45] b[13][46] b[13][47] b[13][48] b[13][49] b[14][0] b[14][1] b[14][2] b[14][3] b[14][4] b[14][5] b[14][6] b[14][7] b[14][8] b[14][9] b[14][10] b[14][11] b[14][12] b[14][13] b[14][14] b[14][15] b[14][16] b[14][17] b[14][18] b[14][19] b[14][20] b[14][21] b[14][22] b[14][23] b[14][24] b[14][25] b[14][26] b[14][27] b[14][28] b[14][29] b[14][30] b[14][31] b[14][32] b[14][33] b[14][34] b[14][35] b[14][36] b[14][37] b[14][38] b[14][39] b[14][40] b[14][41] b[14][42] b[14][43] b[14][44] b[14][45] b[14][46] b[14][47] b[14][48] b[14][49] b[15][0] b[15][1] b[15][2] b[15][3] b[15][4] b[15][5] b[15][6] b[15][7] b[15][8] b[15][9] b[15][10] b[15][11] b[15][12] b[15][13] b[15][14] b[15][15] b[15][16] b[15][17] b[15][18] b[15][19] b[15][20] b[15][21] b[15][22] b[15][23] b[15][24] b[15][25] b[15][26] b[15][27] b[15][28] b[15][29] b[15][30] b[15][31] b[15][32] b[15][33] b[15][34] b[15][35] b[15][36] b[15][37] b[15][38] b[15][39] b[15][40] b[15][41] b[15][42] b[15][43] b[15][44] b[15][45] b[15][46] b[15][47] b[15][48] b[15][49] b[16][0] b[16][1] b[16][2] b[16][3] b[16][4] b[16][5] b[16][6] b[16][7] b[16][8] b[16][9] b[16][10] b[16][11] b[16][12] b[16][13] b[16][14] b[16][15] b[16][16] b[16][17] b[16][18] b[16][19] b[16][20] b[16][21] b[16][22] b[16][23] b[16][24] b[16][25] b[16][26] b[16][27] b[16][28] b[16][29] b[16][30] b[16][31] b[16][32] b[16][33] b[16][34] b[16][35] b[16][36] b[16][37] b[16][38] b[16][39] b[16][40] b[16][41] b[16][42] b[16][43] b[16][44] b[16][45] b[16][46] b[16][47] b[16][48] b[16][49] b[17][0] b[17][1] b[17][2] b[17][3] b[17][4] b[17][5] b[17][6] b[17][7] b[17][8] b[17][9] b[17][10] b[17][11] b[17][12] b[17][13] b[17][14] b[17][15] b[17][16] b[17][17] b[17][18] b[17][19] b[17][20] b[17][21] b[17][22] b[17][23] b[17][24] b[17][25] b[17][26] b[17][27] b[17][28] b[17][29] b[17][30] b[17][31] b[17][32] b[17][33] b[17][34] b[17][35] b[17][36] b[17][37] b[17][38] b[17][39] b[17][40] b[17][41] b[17][42] b[17][43] b[17][44] b[17][45] b[17][46] b[17][47] b[17][48] b[17][49] b[18][0] b[18][1] b[18][2] b[18][3] b[18][4] b[18][5] b[18][6] b[18][7] b[18][8] b[18][9] b[18][10] b[18][11] b[18][12] b[18][13] b[18][14] b[18][15] b[18][16] b[18][17] b[18][18] b[18][19] b[18][20] b[18][21] b[18][22] b[18][23] b[18][24] b[18][25] b[18][26] b[18][27] b[18][28] b[18][29] b[18][30] b[18][31] b[18][32] b[18][33] b[18][34] b[18][35] b[18][36] b[18][37] b[18][38] b[18][39] b[18][40] b[18][41] b[18][42] b[18][43] b[18][44] b[18][45] b[18][46] b[18][47] b[18][48] b[18][49] b[19][0] b[19][1] b[19][2] b[19][3] b[19][4] b[19][5] b[19][6] b[19][7] b[19][8] b[19][9] b[19][10] b[19][11] b[19][12] b[19][13] b[19][14] b[19][15] b[19][16] b[19][17] b[19][18] b[19][19] b[19][20] b[19][21] b[19][22] b[19][23] b[19][24] b[19][25] b[19][26] b[19][27] b[19][28] b[19][29] b[19][30] b[19][31] b[19][32] b[19][33] b[19][34] b[19][35] b[19][36] b[19][37] b[19][38] b[19][39] b[19][40] b[19][41] b[19][42] b[19][43] b[19][44] b[19][45] b[19][46] b[19][47] b[19][48] b[19][49] b[20][0] b[20][1] b[20][2] b[20][3] b[20][4] b[20][5] b[20][6] b[20][7] b[20][8] b[20][9] b[20][10] b[20][11] b[20][12] b[20][13] b[20][14] b[20][15] b[20][16] b[20][17] b[20][18] b[20][19] b[20][20] b[20][21] b[20][22] b[20][23] b[20][24] b[20][25] b[20][26] b[20][27] b[20][28] b[20][29] b[20][30] b[20][31] b[20][32] b[20][33] b[20][34] b[20][35] b[20][36] b[20][37] b[20][38] b[20][39] b[20][40] b[20][41] b[20][42] b[20][43] b[20][44] b[20][45] b[20][46] b[20][47] b[20][48] b[20][49] b[21][0] b[21][1] b[21][2] b[21][3] b[21][4] b[21][5] b[21][6] b[21][7] b[21][8] b[21][9] b[21][10] b[21][11] b[21][12] b[21][13] b[21][14] b[21][15] b[21][16] b[21][17] b[21][18] b[21][19] b[21][20] b[21][21] b[21][22] b[21][23] b[21][24] b[21][25] b[21][26] b[21][27] b[21][28] b[21][29] b[21][30] b[21][31] b[21][32] b[21][33] b[21][34] b[21][35] b[21][36] b[21][37] b[21][38] b[21][39] b[21][40] b[21][41] b[21][42] b[21][43] b[21][44] b[21][45] b[21][46] b[21][47] b[21][48] b[21][49] b[22][0] b[22][1] b[22][2] b[22][3] b[22][4] b[22][5] b[22][6] b[22][7] b[22][8] b[22][9] b[22][10] b[22][11] b[22][12] b[22][13] b[22][14] b[22][15] b[22][16] b[22][17] b[22][18] b[22][19] b[22][20] b[22][21] b[22][22] b[22][23] b[22][24] b[22][25] b[22][26] b[22][27] b[22][28] b[22][29] b[22][30] b[22][31] b[22][32] b[22][33] b[22][34] b[22][35] b[22][36] b[22][37] b[22][38] b[22][39] b[22][40] b[22][41] b[22][42] b[22][43] b[22][44] b[22][45] b[22][46] b[22][47] b[22][48] b[22][49] b[23][0] b[23][1] b[23][2] b[23][3] b[23][4] b[23][5] b[23][6] b[23][7] b[23][8] b[23][9] b[23][10] b[23][11] b[23][12] b[23][13] b[23][14] b[23][15] b[23][16] b[23][17] b[23][18] b[23][19] b[23][20] b[23][21] b[23][22] b[23][23] b[23][24] b[23][25] b[23][26] b[23][27] b[23][28] b[23][29] b[23][30] b[23][31] b[23][32] b[23][33] b[23][34] b[23][35] b[23][36] b[23][37] b[23][38] b[23][39] b[23][40] b[23][41] b[23][42] b[23][43] b[23][44] b[23][45] b[23][46] b[23][47] b[23][48] b[23][49] b[24][0] b[24][1] b[24][2] b[24][3] b[24][4] b[24][5] b[24][6] b[24][7] b[24][8] b[24][9] b[24][10] b[24][11] b[24][12] b[24][13] b[24][14] b[24][15] b[24][16] b[24][17] b[24][18] b[24][19] b[24][20] b[24][21] b[24][22] b[24][23] b[24][24] b[24][25] b[24][26] b[24][27] b[24][28] b[24][29] b[24][30] b[24][31] b[24][32] b[24][33] b[24][34] b[24][35] b[24][36] b[24][37] b[24][38] b[24][39] b[24][40] b[24][41] b[24][42] b[24][43] b[24][44] b[24][45] b[24][46] b[24][47] b[24][48] b[24][49] b[25][0] b[25][1] b[25][2] b[25][3] b[25][4] b[25][5] b[25][6] b[25][7] b[25][8] b[25][9] b[25][10] b[25][11] b[25][12] b[25][13] b[25][14] b[25][15] b[25][16] b[25][17] b[25][18] b[25][19] b[25][20] b[25][21] b[25][22] b[25][23] b[25][24] b[25][25] b[25][26] b[25][27] b[25][28] b[25][29] b[25][30] b[25][31] b[25][32] b[25][33] b[25][34] b[25][35] b[25][36] b[25][37] b[25][38] b[25][39] b[25][40] b[25][41] b[25][42] b[25][43] b[25][44] b[25][45] b[25][46] b[25][47] b[25][48] b[25][49] b[26][0] b[26][1] b[26][2] b[26][3] b[26][4] b[26][5] b[26][6] b[26][7] b[26][8] b[26][9] b[26][10] b[26][11] b[26][12] b[26][13] b[26][14] b[26][15] b[26][16] b[26][17] b[26][18] b[26][19] b[26][20] b[26][21] b[26][22] b[26][23] b[26][24] b[26][25] b[26][26] b[26][27] b[26][28] b[26][29] b[26][30] b[26][31] b[26][32] b[26][33] b[26][34] b[26][35] b[26][36] b[26][37] b[26][38] b[26][39] b[26][40] b[26][41] b[26][42] b[26][43] b[26][44] b[26][45] b[26][46] b[26][47] b[26][48] b[26][49] b[27][0] b[27][1] b[27][2] b[27][3] b[27][4] b[27][5] b[27][6] b[27][7] b[27][8] b[27][9] b[27][10] b[27][11] b[27][12] b[27][13] b[27][14] b[27][15] b[27][16] b[27][17] b[27][18] b[27][19] b[27][20] b[27][21] b[27][22] b[27][23] b[27][24] b[27][25] b[27][26] b[27][27] b[27][28] b[27][29] b[27][30] b[27][31] b[27][32] b[27][33] b[27][34] b[27][35] b[27][36] b[27][37] b[27][38] b[27][39] b[27][40] b[27][41] b[27][42] b[27][43] b[27][44] b[27][45] b[27][46] b[27][47] b[27][48] b[27][49] b[28][0] b[28][1] b[28][2] b[28][3] b[28][4] b[28][5] b[28][6] b[28][7] b[28][8] b[28][9] b[28][10] b[28][11] b[28][12] b[28][13] b[28][14] b[28][15] b[28][16] b[28][17] b[28][18] b[28][19] b[28][20] b[28][21] b[28][22] b[28][23] b[28][24] b[28][25] b[28][26] b[28][27] b[28][28] b[28][29] b[28][30] b[28][31] b[28][32] b[28][33] b[28][34] b[28][35] b[28][36] b[28][37] b[28][38] b[28][39] b[28][40] b[28][41] b[28][42] b[28][43] b[28][44] b[28][45] b[28][46] b[28][47] b[28][48] b[28][49] b[29][0] b[29][1] b[29][2] b[29][3] b[29][4] b[29][5] b[29][6] b[29][7] b[29][8] b[29][9] b[29][10] b[29][11] b[29][12] b[29][13] b[29][14] b[29][15] b[29][16] b[29][17] b[29][18] b[29][19] b[29][20] b[29][21] b[29][22] b[29][23] b[29][24] b[29][25] b[29][26] b[29][27] b[29][28] b[29][29] b[29][30] b[29][31] b[29][32] b[29][33] b[29][34] b[29][35] b[29][36] b[29][37] b[29][38] b[29][39] b[29][40] b[29][41] b[29][42] b[29][43] b[29][44] b[29][45] b[29][46] b[29][47] b[29][48] b[29][49] b[30][0] b[30][1] b[30][2] b[30][3] b[30][4] b[30][5] b[30][6] b[30][7] b[30][8] b[30][9] b[30][10] b[30][11] b[30][12] b[30][13] b[30][14] b[30][15] b[30][16] b[30][17] b[30][18] b[30][19] b[30][20] b[30][21] b[30][22] b[30][23] b[30][24] b[30][25] b[30][26] b[30][27] b[30][28] b[30][29] b[30][30] b[30][31] b[30][32] b[30][33] b[30][34] b[30][35] b[30][36] b[30][37] b[30][38] b[30][39] b[30][40] b[30][41] b[30][42] b[30][43] b[30][44] b[30][45] b[30][46] b[30][47] b[30][48] b[30][49] b[31][0] b[31][1] b[31][2] b[31][3] b[31][4] b[31][5] b[31][6] b[31][7] b[31][8] b[31][9] b[31][10] b[31][11] b[31][12] b[31][13] b[31][14] b[31][15] b[31][16] b[31][17] b[31][18] b[31][19] b[31][20] b[31][21] b[31][22] b[31][23] b[31][24] b[31][25] b[31][26] b[31][27] b[31][28] b[31][29] b[31][30] b[31][31] b[31][32] b[31][33] b[31][34] b[31][35] b[31][36] b[31][37] b[31][38] b[31][39] b[31][40] b[31][41] b[31][42] b[31][43] b[31][44] b[31][45] b[31][46] b[31][47] b[31][48] b[31][49] b[32][0] b[32][1] b[32][2] b[32][3] b[32][4] b[32][5] b[32][6] b[32][7] b[32][8] b[32][9] b[32][10] b[32][11] b[32][12] b[32][13] b[32][14] b[32][15] b[32][16] b[32][17] b[32][18] b[32][19] b[32][20] b[32][21] b[32][22] b[32][23] b[32][24] b[32][25] b[32][26] b[32][27] b[32][28] b[32][29] b[32][30] b[32][31] b[32][32] b[32][33] b[32][34] b[32][35] b[32][36] b[32][37] b[32][38] b[32][39] b[32][40] b[32][41] b[32][42] b[32][43] b[32][44] b[32][45] b[32][46] b[32][47] b[32][48] b[32][49] b[33][0] b[33][1] b[33][2] b[33][3] b[33][4] b[33][5] b[33][6] b[33][7] b[33][8] b[33][9] b[33][10] b[33][11] b[33][12] b[33][13] b[33][14] b[33][15] b[33][16] b[33][17] b[33][18] b[33][19] b[33][20] b[33][21] b[33][22] b[33][23] b[33][24] b[33][25] b[33][26] b[33][27] b[33][28] b[33][29] b[33][30] b[33][31] b[33][32] b[33][33] b[33][34] b[33][35] b[33][36] b[33][37] b[33][38] b[33][39] b[33][40] b[33][41] b[33][42] b[33][43] b[33][44] b[33][45] b[33][46] b[33][47] b[33][48] b[33][49] b[34][0] b[34][1] b[34][2] b[34][3] b[34][4] b[34][5] b[34][6] b[34][7] b[34][8] b[34][9] b[34][10] b[34][11] b[34][12] b[34][13] b[34][14] b[34][15] b[34][16] b[34][17] b[34][18] b[34][19] b[34][20] b[34][21] b[34][22] b[34][23] b[34][24] b[34][25] b[34][26] b[34][27] b[34][28] b[34][29] b[34][30] b[34][31] b[34][32] b[34][33] b[34][34] b[34][35] b[34][36] b[34][37] b[34][38] b[34][39] b[34][40] b[34][41] b[34][42] b[34][43] b[34][44] b[34][45] b[34][46] b[34][47] b[34][48] b[34][49] b[35][0] b[35][1] b[35][2] b[35][3] b[35][4] b[35][5] b[35][6] b[35][7] b[35][8] b[35][9] b[35][10] b[35][11] b[35][12] b[35][13] b[35][14] b[35][15] b[35][16] b[35][17] b[35][18] b[35][19] b[35][20] b[35][21] b[35][22] b[35][23] b[35][24] b[35][25] b[35][26] b[35][27] b[35][28] b[35][29] b[35][30] b[35][31] b[35][32] b[35][33] b[35][34] b[35][35] b[35][36] b[35][37] b[35][38] b[35][39] b[35][40] b[35][41] b[35][42] b[35][43] b[35][44] b[35][45] b[35][46] b[35][47] b[35][48] b[35][49] b[36][0] b[36][1] b[36][2] b[36][3] b[36][4] b[36][5] b[36][6] b[36][7] b[36][8] b[36][9] b[36][10] b[36][11] b[36][12] b[36][13] b[36][14] b[36][15] b[36][16] b[36][17] b[36][18] b[36][19] b[36][20] b[36][21] b[36][22] b[36][23] b[36][24] b[36][25] b[36][26] b[36][27] b[36][28] b[36][29] b[36][30] b[36][31] b[36][32] b[36][33] b[36][34] b[36][35] b[36][36] b[36][37] b[36][38] b[36][39] b[36][40] b[36][41] b[36][42] b[36][43] b[36][44] b[36][45] b[36][46] b[36][47] b[36][48] b[36][49] b[37][0] b[37][1] b[37][2] b[37][3] b[37][4] b[37][5] b[37][6] b[37][7] b[37][8] b[37][9] b[37][10] b[37][11] b[37][12] b[37][13] b[37][14] b[37][15] b[37][16] b[37][17] b[37][18] b[37][19] b[37][20] b[37][21] b[37][22] b[37][23] b[37][24] b[37][25] b[37][26] b[37][27] b[37][28] b[37][29] b[37][30] b[37][31] b[37][32] b[37][33] b[37][34] b[37][35] b[37][36] b[37][37] b[37][38] b[37][39] b[37][40] b[37][41] b[37][42] b[37][43] b[37][44] b[37][45] b[37][46] b[37][47] b[37][48] b[37][49] b[38][0] b[38][1] b[38][2] b[38][3] b[38][4] b[38][5] b[38][6] b[38][7] b[38][8] b[38][9] b[38][10] b[38][11] b[38][12] b[38][13] b[38][14] b[38][15] b[38][16] b[38][17] b[38][18] b[38][19] b[38][20] b[38][21] b[38][22] b[38][23] b[38][24] b[38][25] b[38][26] b[38][27] b[38][28] b[38][29] b[38][30] b[38][31] b[38][32] b[38][33] b[38][34] b[38][35] b[38][36] b[38][37] b[38][38] b[38][39] b[38][40] b[38][41] b[38][42] b[38][43] b[38][44] b[38][45] b[38][46] b[38][47] b[38][48] b[38][49] b[39][0] b[39][1] b[39][2] b[39][3] b[39][4] b[39][5] b[39][6] b[39][7] b[39][8] b[39][9] b[39][10] b[39][11] b[39][12] b[39][13] b[39][14] b[39][15] b[39][16] b[39][17] b[39][18] b[39][19] b[39][20] b[39][21] b[39][22] b[39][23] b[39][24] b[39][25] b[39][26] b[39][27] b[39][28] b[39][29] b[39][30] b[39][31] b[39][32] b[39][33] b[39][34] b[39][35] b[39][36] b[39][37] b[39][38] b[39][39] b[39][40] b[39][41] b[39][42] b[39][43] b[39][44] b[39][45] b[39][46] b[39][47] b[39][48] b[39][49] b[40][0] b[40][1] b[40][2] b[40][3] b[40][4] b[40][5] b[40][6] b[40][7] b[40][8] b[40][9] b[40][10] b[40][11] b[40][12] b[40][13] b[40][14] b[40][15] b[40][16] b[40][17] b[40][18] b[40][19] b[40][20] b[40][21] b[40][22] b[40][23] b[40][24] b[40][25] b[40][26] b[40][27] b[40][28] b[40][29] b[40][30] b[40][31] b[40][32] b[40][33] b[40][34] b[40][35] b[40][36] b[40][37] b[40][38] b[40][39] b[40][40] b[40][41] b[40][42] b[40][43] b[40][44] b[40][45] b[40][46] b[40][47] b[40][48] b[40][49] b[41][0] b[41][1] b[41][2] b[41][3] b[41][4] b[41][5] b[41][6] b[41][7] b[41][8] b[41][9] b[41][10] b[41][11] b[41][12] b[41][13] b[41][14] b[41][15] b[41][16] b[41][17] b[41][18] b[41][19] b[41][20] b[41][21] b[41][22] b[41][23] b[41][24] b[41][25] b[41][26] b[41][27] b[41][28] b[41][29] b[41][30] b[41][31] b[41][32] b[41][33] b[41][34] b[41][35] b[41][36] b[41][37] b[41][38] b[41][39] b[41][40] b[41][41] b[41][42] b[41][43] b[41][44] b[41][45] b[41][46] b[41][47] b[41][48] b[41][49] b[42][0] b[42][1] b[42][2] b[42][3] b[42][4] b[42][5] b[42][6] b[42][7] b[42][8] b[42][9] b[42][10] b[42][11] b[42][12] b[42][13] b[42][14] b[42][15] b[42][16] b[42][17] b[42][18] b[42][19] b[42][20] b[42][21] b[42][22] b[42][23] b[42][24] b[42][25] b[42][26] b[42][27] b[42][28] b[42][29] b[42][30] b[42][31] b[42][32] b[42][33] b[42][34] b[42][35] b[42][36] b[42][37] b[42][38] b[42][39] b[42][40] b[42][41] b[42][42] b[42][43] b[42][44] b[42][45] b[42][46] b[42][47] b[42][48] b[42][49] b[43][0] b[43][1] b[43][2] b[43][3] b[43][4] b[43][5] b[43][6] b[43][7] b[43][8] b[43][9] b[43][10] b[43][11] b[43][12] b[43][13] b[43][14] b[43][15] b[43][16] b[43][17] b[43][18] b[43][19] b[43][20] b[43][21] b[43][22] b[43][23] b[43][24] b[43][25] b[43][26] b[43][27] b[43][28] b[43][29] b[43][30] b[43][31] b[43][32] b[43][33] b[43][34] b[43][35] b[43][36] b[43][37] b[43][38] b[43][39] b[43][40] b[43][41] b[43][42] b[43][43] b[43][44] b[43][45] b[43][46] b[43][47] b[43][48] b[43][49] b[44][0] b[44][1] b[44][2] b[44][3] b[44][4] b[44][5] b[44][6] b[44][7] b[44][8] b[44][9] b[44][10] b[44][11] b[44][12] b[44][13] b[44][14] b[44][15] b[44][16] b[44][17] b[44][18] b[44][19] b[44][20] b[44][21] b[44][22] b[44][23] b[44][24] b[44][25] b[44][26] b[44][27] b[44][28] b[44][29] b[44][30] b[44][31] b[44][32] b[44][33] b[44][34] b[44][35] b[44][36] b[44][37] b[44][38] b[44][39] b[44][40] b[44][41] b[44][42] b[44][43] b[44][44] b[44][45] b[44][46] b[44][47] b[44][48] b[44][49] b[45][0] b[45][1] b[45][2] b[45][3] b[45][4] b[45][5] b[45][6] b[45][7] b[45][8] b[45][9] b[45][10] b[45][11] b[45][12] b[45][13] b[45][14] b[45][15] b[45][16] b[45][17] b[45][18] b[45][19] b[45][20] b[45][21] b[45][22] b[45][23] b[45][24] b[45][25] b[45][26] b[45][27] b[45][28] b[45][29] b[45][30] b[45][31] b[45][32] b[45][33] b[45][34] b[45][35] b[45][36] b[45][37] b[45][38] b[45][39] b[45][40] b[45][41] b[45][42] b[45][43] b[45][44] b[45][45] b[45][46] b[45][47] b[45][48] b[45][49] b[46][0] b[46][1] b[46][2] b[46][3] b[46][4] b[46][5] b[46][6] b[46][7] b[46][8] b[46][9] b[46][10] b[46][11] b[46][12] b[46][13] b[46][14] b[46][15] b[46][16] b[46][17] b[46][18] b[46][19] b[46][20] b[46][21] b[46][22] b[46][23] b[46][24] b[46][25] b[46][26] b[46][27] b[46][28] b[46][29] b[46][30] b[46][31] b[46][32] b[46][33] b[46][34] b[46][35] b[46][36] b[46][37] b[46][38] b[46][39] b[46][40] b[46][41] b[46][42] b[46][43] b[46][44] b[46][45] b[46][46] b[46][47] b[46][48] b[46][49] b[47][0] b[47][1] b[47][2] b[47][3] b[47][4] b[47][5] b[47][6] b[47][7] b[47][8] b[47][9] b[47][10] b[47][11] b[47][12] b[47][13] b[47][14] b[47][15] b[47][16] b[47][17] b[47][18] b[47][19] b[47][20] b[47][21] b[47][22] b[47][23] b[47][24] b[47][25] b[47][26] b[47][27] b[47][28] b[47][29] b[47][30] b[47][31] b[47][32] b[47][33] b[47][34] b[47][35] b[47][36] b[47][37] b[47][38] b[47][39] b[47][40] b[47][41] b[47][42] b[47][43] b[47][44] b[47][45] b[47][46] b[47][47] b[47][48] b[47][49] b[48][0] b[48][1] b[48][2] b[48][3] b[48][4] b[48][5] b[48][6] b[48][7] b[48][8] b[48][9] b[48][10] b[48][11] b[48][12] b[48][13] b[48][14] b[48][15] b[48][16] b[48][17] b[48][18] b[48][19] b[48][20] b[48][21] b[48][22] b[48][23] b[48][24] b[48][25] b[48][26] b[48][27] b[48][28] b[48][29] b[48][30] b[48][31] b[48][32] b[48][33] b[48][34] b[48][35] b[48][36] b[48][37] b[48][38] b[48][39] b[48][40] b[48][41] b[48][42] b[48][43] b[48][44] b[48][45] b[48][46] b[48][47] b[48][48] b[48][49] b[49][0] b[49][1] b[49][2] b[49][3] b[49][4] b[49][5] b[49][6] b[49][7] b[49][8] b[49][9] b[49][10] b[49][11] b[49][12] b[49][13] b[49][14] b[49][15] b[49][16] b[49][17] b[49][18] b[49][19] b[49][20] b[49][21] b[49][22] b[49][23] b[49][24] b[49][25] b[49][26] b[49][27] b[49][28] b[49][29] b[49][30] b[49][31] b[49][32] b[49][33] b[49][34] b[49][35] b[49][36] b[49][37] b[49][38] b[49][39] b[49][40] b[49][41] b[49][42] b[49][43] b[49][44] b[49][45] b[49][46] b[49][47] b[49][48] b[49][49] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][28] w[0][29] w[0][30] w[0][31] w[0][32] w[0][33] w[0][34] w[0][35] w[0][36] w[0][37] w[0][38] w[0][39] w[0][40] w[0][41] w[0][42] w[0][43] w[0][44] w[0][45] w[0][46] w[0][47] w[0][48] w[0][49] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][28] w[1][29] w[1][30] w[1][31] w[1][32] w[1][33] w[1][34] w[1][35] w[1][36] w[1][37] w[1][38] w[1][39] w[1][40] w[1][41] w[1][42] w[1][43] w[1][44] w[1][45] w[1][46] w[1][47] w[1][48] w[1][49] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][28] w[2][29] w[2][30] w[2][31] w[2][32] w[2][33] w[2][34] w[2][35] w[2][36] w[2][37] w[2][38] w[2][39] w[2][40] w[2][41] w[2][42] w[2][43] w[2][44] w[2][45] w[2][46] w[2][47] w[2][48] w[2][49] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][28] w[3][29] w[3][30] w[3][31] w[3][32] w[3][33] w[3][34] w[3][35] w[3][36] w[3][37] w[3][38] w[3][39] w[3][40] w[3][41] w[3][42] w[3][43] w[3][44] w[3][45] w[3][46] w[3][47] w[3][48] w[3][49] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][28] w[4][29] w[4][30] w[4][31] w[4][32] w[4][33] w[4][34] w[4][35] w[4][36] w[4][37] w[4][38] w[4][39] w[4][40] w[4][41] w[4][42] w[4][43] w[4][44] w[4][45] w[4][46] w[4][47] w[4][48] w[4][49] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][28] w[5][29] w[5][30] w[5][31] w[5][32] w[5][33] w[5][34] w[5][35] w[5][36] w[5][37] w[5][38] w[5][39] w[5][40] w[5][41] w[5][42] w[5][43] w[5][44] w[5][45] w[5][46] w[5][47] w[5][48] w[5][49] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][28] w[6][29] w[6][30] w[6][31] w[6][32] w[6][33] w[6][34] w[6][35] w[6][36] w[6][37] w[6][38] w[6][39] w[6][40] w[6][41] w[6][42] w[6][43] w[6][44] w[6][45] w[6][46] w[6][47] w[6][48] w[6][49] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][28] w[7][29] w[7][30] w[7][31] w[7][32] w[7][33] w[7][34] w[7][35] w[7][36] w[7][37] w[7][38] w[7][39] w[7][40] w[7][41] w[7][42] w[7][43] w[7][44] w[7][45] w[7][46] w[7][47] w[7][48] w[7][49] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][28] w[8][29] w[8][30] w[8][31] w[8][32] w[8][33] w[8][34] w[8][35] w[8][36] w[8][37] w[8][38] w[8][39] w[8][40] w[8][41] w[8][42] w[8][43] w[8][44] w[8][45] w[8][46] w[8][47] w[8][48] w[8][49] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][28] w[9][29] w[9][30] w[9][31] w[9][32] w[9][33] w[9][34] w[9][35] w[9][36] w[9][37] w[9][38] w[9][39] w[9][40] w[9][41] w[9][42] w[9][43] w[9][44] w[9][45] w[9][46] w[9][47] w[9][48] w[9][49] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][28] w[10][29] w[10][30] w[10][31] w[10][32] w[10][33] w[10][34] w[10][35] w[10][36] w[10][37] w[10][38] w[10][39] w[10][40] w[10][41] w[10][42] w[10][43] w[10][44] w[10][45] w[10][46] w[10][47] w[10][48] w[10][49] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][28] w[11][29] w[11][30] w[11][31] w[11][32] w[11][33] w[11][34] w[11][35] w[11][36] w[11][37] w[11][38] w[11][39] w[11][40] w[11][41] w[11][42] w[11][43] w[11][44] w[11][45] w[11][46] w[11][47] w[11][48] w[11][49] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][28] w[12][29] w[12][30] w[12][31] w[12][32] w[12][33] w[12][34] w[12][35] w[12][36] w[12][37] w[12][38] w[12][39] w[12][40] w[12][41] w[12][42] w[12][43] w[12][44] w[12][45] w[12][46] w[12][47] w[12][48] w[12][49] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][28] w[13][29] w[13][30] w[13][31] w[13][32] w[13][33] w[13][34] w[13][35] w[13][36] w[13][37] w[13][38] w[13][39] w[13][40] w[13][41] w[13][42] w[13][43] w[13][44] w[13][45] w[13][46] w[13][47] w[13][48] w[13][49] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][28] w[14][29] w[14][30] w[14][31] w[14][32] w[14][33] w[14][34] w[14][35] w[14][36] w[14][37] w[14][38] w[14][39] w[14][40] w[14][41] w[14][42] w[14][43] w[14][44] w[14][45] w[14][46] w[14][47] w[14][48] w[14][49] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][28] w[15][29] w[15][30] w[15][31] w[15][32] w[15][33] w[15][34] w[15][35] w[15][36] w[15][37] w[15][38] w[15][39] w[15][40] w[15][41] w[15][42] w[15][43] w[15][44] w[15][45] w[15][46] w[15][47] w[15][48] w[15][49] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][28] w[16][29] w[16][30] w[16][31] w[16][32] w[16][33] w[16][34] w[16][35] w[16][36] w[16][37] w[16][38] w[16][39] w[16][40] w[16][41] w[16][42] w[16][43] w[16][44] w[16][45] w[16][46] w[16][47] w[16][48] w[16][49] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][28] w[17][29] w[17][30] w[17][31] w[17][32] w[17][33] w[17][34] w[17][35] w[17][36] w[17][37] w[17][38] w[17][39] w[17][40] w[17][41] w[17][42] w[17][43] w[17][44] w[17][45] w[17][46] w[17][47] w[17][48] w[17][49] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][28] w[18][29] w[18][30] w[18][31] w[18][32] w[18][33] w[18][34] w[18][35] w[18][36] w[18][37] w[18][38] w[18][39] w[18][40] w[18][41] w[18][42] w[18][43] w[18][44] w[18][45] w[18][46] w[18][47] w[18][48] w[18][49] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][28] w[19][29] w[19][30] w[19][31] w[19][32] w[19][33] w[19][34] w[19][35] w[19][36] w[19][37] w[19][38] w[19][39] w[19][40] w[19][41] w[19][42] w[19][43] w[19][44] w[19][45] w[19][46] w[19][47] w[19][48] w[19][49] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][28] w[20][29] w[20][30] w[20][31] w[20][32] w[20][33] w[20][34] w[20][35] w[20][36] w[20][37] w[20][38] w[20][39] w[20][40] w[20][41] w[20][42] w[20][43] w[20][44] w[20][45] w[20][46] w[20][47] w[20][48] w[20][49] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][28] w[21][29] w[21][30] w[21][31] w[21][32] w[21][33] w[21][34] w[21][35] w[21][36] w[21][37] w[21][38] w[21][39] w[21][40] w[21][41] w[21][42] w[21][43] w[21][44] w[21][45] w[21][46] w[21][47] w[21][48] w[21][49] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][28] w[22][29] w[22][30] w[22][31] w[22][32] w[22][33] w[22][34] w[22][35] w[22][36] w[22][37] w[22][38] w[22][39] w[22][40] w[22][41] w[22][42] w[22][43] w[22][44] w[22][45] w[22][46] w[22][47] w[22][48] w[22][49] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][28] w[23][29] w[23][30] w[23][31] w[23][32] w[23][33] w[23][34] w[23][35] w[23][36] w[23][37] w[23][38] w[23][39] w[23][40] w[23][41] w[23][42] w[23][43] w[23][44] w[23][45] w[23][46] w[23][47] w[23][48] w[23][49] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][28] w[24][29] w[24][30] w[24][31] w[24][32] w[24][33] w[24][34] w[24][35] w[24][36] w[24][37] w[24][38] w[24][39] w[24][40] w[24][41] w[24][42] w[24][43] w[24][44] w[24][45] w[24][46] w[24][47] w[24][48] w[24][49] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][28] w[25][29] w[25][30] w[25][31] w[25][32] w[25][33] w[25][34] w[25][35] w[25][36] w[25][37] w[25][38] w[25][39] w[25][40] w[25][41] w[25][42] w[25][43] w[25][44] w[25][45] w[25][46] w[25][47] w[25][48] w[25][49] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[26][29] w[26][30] w[26][31] w[26][32] w[26][33] w[26][34] w[26][35] w[26][36] w[26][37] w[26][38] w[26][39] w[26][40] w[26][41] w[26][42] w[26][43] w[26][44] w[26][45] w[26][46] w[26][47] w[26][48] w[26][49] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[27][29] w[27][30] w[27][31] w[27][32] w[27][33] w[27][34] w[27][35] w[27][36] w[27][37] w[27][38] w[27][39] w[27][40] w[27][41] w[27][42] w[27][43] w[27][44] w[27][45] w[27][46] w[27][47] w[27][48] w[27][49] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] w[28][29] w[28][30] w[28][31] w[28][32] w[28][33] w[28][34] w[28][35] w[28][36] w[28][37] w[28][38] w[28][39] w[28][40] w[28][41] w[28][42] w[28][43] w[28][44] w[28][45] w[28][46] w[28][47] w[28][48] w[28][49] w[29][0] w[29][1] w[29][2] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] w[29][30] w[29][31] w[29][32] w[29][33] w[29][34] w[29][35] w[29][36] w[29][37] w[29][38] w[29][39] w[29][40] w[29][41] w[29][42] w[29][43] w[29][44] w[29][45] w[29][46] w[29][47] w[29][48] w[29][49] w[30][0] w[30][1] w[30][2] w[30][3] w[30][4] w[30][5] w[30][6] w[30][7] w[30][8] w[30][9] w[30][10] w[30][11] w[30][12] w[30][13] w[30][14] w[30][15] w[30][16] w[30][17] w[30][18] w[30][19] w[30][20] w[30][21] w[30][22] w[30][23] w[30][24] w[30][25] w[30][26] w[30][27] w[30][28] w[30][29] w[30][30] w[30][31] w[30][32] w[30][33] w[30][34] w[30][35] w[30][36] w[30][37] w[30][38] w[30][39] w[30][40] w[30][41] w[30][42] w[30][43] w[30][44] w[30][45] w[30][46] w[30][47] w[30][48] w[30][49] w[31][0] w[31][1] w[31][2] w[31][3] w[31][4] w[31][5] w[31][6] w[31][7] w[31][8] w[31][9] w[31][10] w[31][11] w[31][12] w[31][13] w[31][14] w[31][15] w[31][16] w[31][17] w[31][18] w[31][19] w[31][20] w[31][21] w[31][22] w[31][23] w[31][24] w[31][25] w[31][26] w[31][27] w[31][28] w[31][29] w[31][30] w[31][31] w[31][32] w[31][33] w[31][34] w[31][35] w[31][36] w[31][37] w[31][38] w[31][39] w[31][40] w[31][41] w[31][42] w[31][43] w[31][44] w[31][45] w[31][46] w[31][47] w[31][48] w[31][49] w[32][0] w[32][1] w[32][2] w[32][3] w[32][4] w[32][5] w[32][6] w[32][7] w[32][8] w[32][9] w[32][10] w[32][11] w[32][12] w[32][13] w[32][14] w[32][15] w[32][16] w[32][17] w[32][18] w[32][19] w[32][20] w[32][21] w[32][22] w[32][23] w[32][24] w[32][25] w[32][26] w[32][27] w[32][28] w[32][29] w[32][30] w[32][31] w[32][32] w[32][33] w[32][34] w[32][35] w[32][36] w[32][37] w[32][38] w[32][39] w[32][40] w[32][41] w[32][42] w[32][43] w[32][44] w[32][45] w[32][46] w[32][47] w[32][48] w[32][49] w[33][0] w[33][1] w[33][2] w[33][3] w[33][4] w[33][5] w[33][6] w[33][7] w[33][8] w[33][9] w[33][10] w[33][11] w[33][12] w[33][13] w[33][14] w[33][15] w[33][16] w[33][17] w[33][18] w[33][19] w[33][20] w[33][21] w[33][22] w[33][23] w[33][24] w[33][25] w[33][26] w[33][27] w[33][28] w[33][29] w[33][30] w[33][31] w[33][32] w[33][33] w[33][34] w[33][35] w[33][36] w[33][37] w[33][38] w[33][39] w[33][40] w[33][41] w[33][42] w[33][43] w[33][44] w[33][45] w[33][46] w[33][47] w[33][48] w[33][49] w[34][0] w[34][1] w[34][2] w[34][3] w[34][4] w[34][5] w[34][6] w[34][7] w[34][8] w[34][9] w[34][10] w[34][11] w[34][12] w[34][13] w[34][14] w[34][15] w[34][16] w[34][17] w[34][18] w[34][19] w[34][20] w[34][21] w[34][22] w[34][23] w[34][24] w[34][25] w[34][26] w[34][27] w[34][28] w[34][29] w[34][30] w[34][31] w[34][32] w[34][33] w[34][34] w[34][35] w[34][36] w[34][37] w[34][38] w[34][39] w[34][40] w[34][41] w[34][42] w[34][43] w[34][44] w[34][45] w[34][46] w[34][47] w[34][48] w[34][49] w[35][0] w[35][1] w[35][2] w[35][3] w[35][4] w[35][5] w[35][6] w[35][7] w[35][8] w[35][9] w[35][10] w[35][11] w[35][12] w[35][13] w[35][14] w[35][15] w[35][16] w[35][17] w[35][18] w[35][19] w[35][20] w[35][21] w[35][22] w[35][23] w[35][24] w[35][25] w[35][26] w[35][27] w[35][28] w[35][29] w[35][30] w[35][31] w[35][32] w[35][33] w[35][34] w[35][35] w[35][36] w[35][37] w[35][38] w[35][39] w[35][40] w[35][41] w[35][42] w[35][43] w[35][44] w[35][45] w[35][46] w[35][47] w[35][48] w[35][49] w[36][0] w[36][1] w[36][2] w[36][3] w[36][4] w[36][5] w[36][6] w[36][7] w[36][8] w[36][9] w[36][10] w[36][11] w[36][12] w[36][13] w[36][14] w[36][15] w[36][16] w[36][17] w[36][18] w[36][19] w[36][20] w[36][21] w[36][22] w[36][23] w[36][24] w[36][25] w[36][26] w[36][27] w[36][28] w[36][29] w[36][30] w[36][31] w[36][32] w[36][33] w[36][34] w[36][35] w[36][36] w[36][37] w[36][38] w[36][39] w[36][40] w[36][41] w[36][42] w[36][43] w[36][44] w[36][45] w[36][46] w[36][47] w[36][48] w[36][49] w[37][0] w[37][1] w[37][2] w[37][3] w[37][4] w[37][5] w[37][6] w[37][7] w[37][8] w[37][9] w[37][10] w[37][11] w[37][12] w[37][13] w[37][14] w[37][15] w[37][16] w[37][17] w[37][18] w[37][19] w[37][20] w[37][21] w[37][22] w[37][23] w[37][24] w[37][25] w[37][26] w[37][27] w[37][28] w[37][29] w[37][30] w[37][31] w[37][32] w[37][33] w[37][34] w[37][35] w[37][36] w[37][37] w[37][38] w[37][39] w[37][40] w[37][41] w[37][42] w[37][43] w[37][44] w[37][45] w[37][46] w[37][47] w[37][48] w[37][49] w[38][0] w[38][1] w[38][2] w[38][3] w[38][4] w[38][5] w[38][6] w[38][7] w[38][8] w[38][9] w[38][10] w[38][11] w[38][12] w[38][13] w[38][14] w[38][15] w[38][16] w[38][17] w[38][18] w[38][19] w[38][20] w[38][21] w[38][22] w[38][23] w[38][24] w[38][25] w[38][26] w[38][27] w[38][28] w[38][29] w[38][30] w[38][31] w[38][32] w[38][33] w[38][34] w[38][35] w[38][36] w[38][37] w[38][38] w[38][39] w[38][40] w[38][41] w[38][42] w[38][43] w[38][44] w[38][45] w[38][46] w[38][47] w[38][48] w[38][49] w[39][0] w[39][1] w[39][2] w[39][3] w[39][4] w[39][5] w[39][6] w[39][7] w[39][8] w[39][9] w[39][10] w[39][11] w[39][12] w[39][13] w[39][14] w[39][15] w[39][16] w[39][17] w[39][18] w[39][19] w[39][20] w[39][21] w[39][22] w[39][23] w[39][24] w[39][25] w[39][26] w[39][27] w[39][28] w[39][29] w[39][30] w[39][31] w[39][32] w[39][33] w[39][34] w[39][35] w[39][36] w[39][37] w[39][38] w[39][39] w[39][40] w[39][41] w[39][42] w[39][43] w[39][44] w[39][45] w[39][46] w[39][47] w[39][48] w[39][49] w[40][0] w[40][1] w[40][2] w[40][3] w[40][4] w[40][5] w[40][6] w[40][7] w[40][8] w[40][9] w[40][10] w[40][11] w[40][12] w[40][13] w[40][14] w[40][15] w[40][16] w[40][17] w[40][18] w[40][19] w[40][20] w[40][21] w[40][22] w[40][23] w[40][24] w[40][25] w[40][26] w[40][27] w[40][28] w[40][29] w[40][30] w[40][31] w[40][32] w[40][33] w[40][34] w[40][35] w[40][36] w[40][37] w[40][38] w[40][39] w[40][40] w[40][41] w[40][42] w[40][43] w[40][44] w[40][45] w[40][46] w[40][47] w[40][48] w[40][49] w[41][0] w[41][1] w[41][2] w[41][3] w[41][4] w[41][5] w[41][6] w[41][7] w[41][8] w[41][9] w[41][10] w[41][11] w[41][12] w[41][13] w[41][14] w[41][15] w[41][16] w[41][17] w[41][18] w[41][19] w[41][20] w[41][21] w[41][22] w[41][23] w[41][24] w[41][25] w[41][26] w[41][27] w[41][28] w[41][29] w[41][30] w[41][31] w[41][32] w[41][33] w[41][34] w[41][35] w[41][36] w[41][37] w[41][38] w[41][39] w[41][40] w[41][41] w[41][42] w[41][43] w[41][44] w[41][45] w[41][46] w[41][47] w[41][48] w[41][49] w[42][0] w[42][1] w[42][2] w[42][3] w[42][4] w[42][5] w[42][6] w[42][7] w[42][8] w[42][9] w[42][10] w[42][11] w[42][12] w[42][13] w[42][14] w[42][15] w[42][16] w[42][17] w[42][18] w[42][19] w[42][20] w[42][21] w[42][22] w[42][23] w[42][24] w[42][25] w[42][26] w[42][27] w[42][28] w[42][29] w[42][30] w[42][31] w[42][32] w[42][33] w[42][34] w[42][35] w[42][36] w[42][37] w[42][38] w[42][39] w[42][40] w[42][41] w[42][42] w[42][43] w[42][44] w[42][45] w[42][46] w[42][47] w[42][48] w[42][49] w[43][0] w[43][1] w[43][2] w[43][3] w[43][4] w[43][5] w[43][6] w[43][7] w[43][8] w[43][9] w[43][10] w[43][11] w[43][12] w[43][13] w[43][14] w[43][15] w[43][16] w[43][17] w[43][18] w[43][19] w[43][20] w[43][21] w[43][22] w[43][23] w[43][24] w[43][25] w[43][26] w[43][27] w[43][28] w[43][29] w[43][30] w[43][31] w[43][32] w[43][33] w[43][34] w[43][35] w[43][36] w[43][37] w[43][38] w[43][39] w[43][40] w[43][41] w[43][42] w[43][43] w[43][44] w[43][45] w[43][46] w[43][47] w[43][48] w[43][49] w[44][0] w[44][1] w[44][2] w[44][3] w[44][4] w[44][5] w[44][6] w[44][7] w[44][8] w[44][9] w[44][10] w[44][11] w[44][12] w[44][13] w[44][14] w[44][15] w[44][16] w[44][17] w[44][18] w[44][19] w[44][20] w[44][21] w[44][22] w[44][23] w[44][24] w[44][25] w[44][26] w[44][27] w[44][28] w[44][29] w[44][30] w[44][31] w[44][32] w[44][33] w[44][34] w[44][35] w[44][36] w[44][37] w[44][38] w[44][39] w[44][40] w[44][41] w[44][42] w[44][43] w[44][44] w[44][45] w[44][46] w[44][47] w[44][48] w[44][49] w[45][0] w[45][1] w[45][2] w[45][3] w[45][4] w[45][5] w[45][6] w[45][7] w[45][8] w[45][9] w[45][10] w[45][11] w[45][12] w[45][13] w[45][14] w[45][15] w[45][16] w[45][17] w[45][18] w[45][19] w[45][20] w[45][21] w[45][22] w[45][23] w[45][24] w[45][25] w[45][26] w[45][27] w[45][28] w[45][29] w[45][30] w[45][31] w[45][32] w[45][33] w[45][34] w[45][35] w[45][36] w[45][37] w[45][38] w[45][39] w[45][40] w[45][41] w[45][42] w[45][43] w[45][44] w[45][45] w[45][46] w[45][47] w[45][48] w[45][49] w[46][0] w[46][1] w[46][2] w[46][3] w[46][4] w[46][5] w[46][6] w[46][7] w[46][8] w[46][9] w[46][10] w[46][11] w[46][12] w[46][13] w[46][14] w[46][15] w[46][16] w[46][17] w[46][18] w[46][19] w[46][20] w[46][21] w[46][22] w[46][23] w[46][24] w[46][25] w[46][26] w[46][27] w[46][28] w[46][29] w[46][30] w[46][31] w[46][32] w[46][33] w[46][34] w[46][35] w[46][36] w[46][37] w[46][38] w[46][39] w[46][40] w[46][41] w[46][42] w[46][43] w[46][44] w[46][45] w[46][46] w[46][47] w[46][48] w[46][49] w[47][0] w[47][1] w[47][2] w[47][3] w[47][4] w[47][5] w[47][6] w[47][7] w[47][8] w[47][9] w[47][10] w[47][11] w[47][12] w[47][13] w[47][14] w[47][15] w[47][16] w[47][17] w[47][18] w[47][19] w[47][20] w[47][21] w[47][22] w[47][23] w[47][24] w[47][25] w[47][26] w[47][27] w[47][28] w[47][29] w[47][30] w[47][31] w[47][32] w[47][33] w[47][34] w[47][35] w[47][36] w[47][37] w[47][38] w[47][39] w[47][40] w[47][41] w[47][42] w[47][43] w[47][44] w[47][45] w[47][46] w[47][47] w[47][48] w[47][49] w[48][0] w[48][1] w[48][2] w[48][3] w[48][4] w[48][5] w[48][6] w[48][7] w[48][8] w[48][9] w[48][10] w[48][11] w[48][12] w[48][13] w[48][14] w[48][15] w[48][16] w[48][17] w[48][18] w[48][19] w[48][20] w[48][21] w[48][22] w[48][23] w[48][24] w[48][25] w[48][26] w[48][27] w[48][28] w[48][29] w[48][30] w[48][31] w[48][32] w[48][33] w[48][34] w[48][35] w[48][36] w[48][37] w[48][38] w[48][39] w[48][40] w[48][41] w[48][42] w[48][43] w[48][44] w[48][45] w[48][46] w[48][47] w[48][48] w[48][49] w[49][0] w[49][1] w[49][2] w[49][3] w[49][4] w[49][5] w[49][6] w[49][7] w[49][8] w[49][9] w[49][10] w[49][11] w[49][12] w[49][13] w[49][14] w[49][15] w[49][16] w[49][17] w[49][18] w[49][19] w[49][20] w[49][21] w[49][22] w[49][23] w[49][24] w[49][25] w[49][26] w[49][27] w[49][28] w[49][29] w[49][30] w[49][31] w[49][32] w[49][33] w[49][34] w[49][35] w[49][36] w[49][37] w[49][38] w[49][39] w[49][40] w[49][41] w[49][42] w[49][43] w[49][44] w[49][45] w[49][46] w[49][47] w[49][48] w[49][49] </list> 2400.03/2383.71 v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 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 1 1 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 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 1 0 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 1 0 1 1 1 1 1 1 1 1 1 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 1 1 0 1 1 1 1 1 1 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 1 1 0 1 1 1 1 1 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 1 1 0 1 1 1 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 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 1 1 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 1 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 1 1 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 1 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 </values> 2400.03/2383.71 v </instantiation> 2400.03/2383.71 c Unexpected resolution interruption!
OK 179
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 (7310 MiB free) memory of node 1: 16384 MiB (10222 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292244-1532530954/watcher-4292244-1532530954 -o /tmp/evaluation-result-4292244-1532530954/solver-4292244-1532530954 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532523806-27754 --watchdog 2560 HOME/xcsp3-exec -seed 1788069197 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292244-1532530954.xml running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=28702, runsolver pid=28699 Current StackSize limit: 8192 KiB [startup+0.100794 s]* /proc/loadavg: 1.92 2.00 1.95 4/218 28718 /proc/meminfo: memFree=17936880/32770624 swapFree=67108860/67108860 [pid=28702] ppid=28699 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7 /proc/28702/stat : 28702 (xcsp3-exec) S 28699 28702 27722 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 70658658 115843072 364 33554432000 4194304 5098028 140725674703456 140725674701560 139659886965372 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 20967424 140725674705978 140725674706180 140725674706180 140725674708938 0 /proc/28702/statm: 28282 364 306 221 0 87 0 [pid=28704] ppid=28702 vsize=14082840 memory=28664 CPUtime=0.12 cores=1,3,5,7 /proc/28704/stat : 28704 (java) S 28702 28702 27722 0 -1 1077944320 5600 0 0 0 11 1 0 0 20 0 15 0 70658658 14420828160 7166 33554432000 4194304 4196468 140730783149296 140730783131840 139876491112183 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 /proc/28704/statm: 3520710 7166 2969 1 0 3483008 0 [pid=28704/tid=28705] ppid=28702 vsize=14082840 memory=8514701219880730789 CPUtime=0.09 cores=1,3,5,7 /proc/28704/task/28705/stat : 28705 (java) R 28702 28702 27722 0 -1 4202560 3605 0 0 0 9 0 0 0 20 0 15 0 70658659 14420828160 7166 33554432000 4194304 4196468 140730783149296 139876495344288 139876491124118 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28706] ppid=28702 vsize=14082840 memory=3472468504798217424 CPUtime=0 cores=1,3,5,7 /proc/28704/task/28706/stat : 28706 (java) S 28702 28702 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70658659 14420828160 7166 33554432000 4194304 4196468 140730783149296 139876421201040 139876491122389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28707] ppid=28702 vsize=14082840 memory=140375903065728 CPUtime=0 cores=1,3,5,7 /proc/28704/task/28707/stat : 28707 (java) S 28702 28702 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70658659 14420828160 7166 33554432000 4194304 4196468 140730783149296 139876420148240 139876491122389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28708] ppid=28702 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7 /proc/28704/task/28708/stat : 28708 (java) S 28702 28702 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70658659 14420828160 7166 33554432000 4194304 4196468 140730783149296 139876419095440 139876491122389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28709] ppid=28702 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7 /proc/28704/task/28709/stat : 28709 (java) S 28702 28702 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 70658659 14420828160 7166 33554432000 4194304 4196468 140730783149296 139876418042640 139876491122389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28710] ppid=28702 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7 /proc/28704/task/28710/stat : 28710 (java) S 28702 28702 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 70658661 14420828160 7166 33554432000 4194304 4196468 140730783149296 139875965323632 139876491123330 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28711] ppid=28702 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/28704/task/28711/stat : 28711 (java) S 28702 28702 27722 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 70658661 14420828160 7166 33554432000 4194304 4196468 140730783149296 139875964269600 139876491122389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28712] ppid=28702 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7 /proc/28704/task/28712/stat : 28712 (java) S 28702 28702 27722 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 70658661 14420828160 7166 33554432000 4194304 4196468 140730783149296 139875963216752 139876491122389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28713] ppid=28702 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7 /proc/28704/task/28713/stat : 28713 (java) S 28702 28702 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70658664 14420828160 7166 33554432000 4194304 4196468 140730783149296 139875962165072 139876491130779 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28714] ppid=28702 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7 /proc/28704/task/28714/stat : 28714 (java) S 28702 28702 27722 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 70658664 14420828160 7166 33554432000 4194304 4196468 140730783149296 139875961113456 139876491123330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28715] ppid=28702 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/28704/task/28715/stat : 28715 (java) S 28702 28702 27722 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 70658664 14420828160 7166 33554432000 4194304 4196468 140730783149296 139875960060656 139876491123330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28716] ppid=28702 vsize=14082840 memory=140375903065728 CPUtime=0.01 cores=1,3,5,7 /proc/28704/task/28716/stat : 28716 (java) R 28702 28702 27722 0 -1 4202560 262 0 0 0 1 0 0 0 20 0 15 0 70658664 14420828160 7166 33554432000 4194304 4196468 140730783149296 139875959007856 139876469740419 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28717] ppid=28702 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/28704/task/28717/stat : 28717 (java) S 28702 28702 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70658664 14420828160 7166 33554432000 4194304 4196468 140730783149296 139875957955296 139876491122389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28718] ppid=28702 vsize=14082840 memory=140375903065728 CPUtime=0 cores=1,3,5,7 /proc/28704/task/28718/stat : 28718 (java) S 28702 28702 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70658664 14420828160 7166 33554432000 4194304 4196468 140730783149296 139875956902576 139876491123330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 14195968 KiB Current children cumulated memory: 30120 KiB [startup+0.214848 s]* /proc/loadavg: 1.92 2.00 1.95 3/218 28718 /proc/meminfo: memFree=17925316/32770624 swapFree=67108860/67108860 [pid=28702] ppid=28699 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7 /proc/28702/stat : 28702 (xcsp3-exec) S 28699 28702 27722 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 70658658 115843072 364 33554432000 4194304 5098028 140725674703456 140725674701560 139659886965372 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 20967424 140725674705978 140725674706180 140725674706180 140725674708938 0 /proc/28702/statm: 28282 364 306 221 0 87 0 [pid=28704] ppid=28702 vsize=14087096 memory=41152 CPUtime=0.34 cores=1,3,5,7 /proc/28704/stat : 28704 (java) S 28702 28702 27722 0 -1 1077944320 8371 0 0 0 32 2 0 0 20 0 15 0 70658658 14425186304 10288 33554432000 4194304 4196468 140730783149296 140730783131840 139876491112183 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 /proc/28704/statm: 3521774 10288 3166 1 0 3483008 0 [pid=28704/tid=28705] ppid=28702 vsize=14087096 memory=5854518564242424225 CPUtime=0.2 cores=1,3,5,7 /proc/28704/task/28705/stat : 28705 (java) R 28702 28702 27722 0 -1 4202560 5485 0 0 0 19 1 0 0 20 0 15 0 70658659 14425186304 10288 33554432000 4194304 4196468 140730783149296 139876495333176 139876491134109 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28706] ppid=28702 vsize=14087096 memory=3472468504798217424 CPUtime=0 cores=1,3,5,7 /proc/28704/task/28706/stat : 28706 (java) S 28702 28702 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70658659 14425186304 10288 33554432000 4194304 4196468 140730783149296 139876421201040 139876491122389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28707] ppid=28702 vsize=14087096 memory=140375903065728 CPUtime=0 cores=1,3,5,7 /proc/28704/task/28707/stat : 28707 (java) S 28702 28702 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70658659 14425186304 10288 33554432000 4194304 4196468 140730783149296 139876420148240 139876491122389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28708] ppid=28702 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7 /proc/28704/task/28708/stat : 28708 (java) S 28702 28702 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70658659 14425186304 10288 33554432000 4194304 4196468 140730783149296 139876419095440 139876491122389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28709] ppid=28702 vsize=14086840 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/28704/task/28709/stat : 28709 (java) S 28702 28702 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 70658659 14424924160 10327 33554432000 4194304 4196468 140730783149296 139876418042640 139876491122389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28710] ppid=28702 vsize=14087096 memory=140375903065728 CPUtime=0 cores=1,3,5,7 /proc/28704/task/28710/stat : 28710 (java) S 28702 28702 27722 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 70658661 14425186304 10327 33554432000 4194304 4196468 140730783149296 139875965323632 139876491123330 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28711] ppid=28702 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/28704/task/28711/stat : 28711 (java) S 28702 28702 27722 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 70658661 14425186304 10327 33554432000 4194304 4196468 140730783149296 139875964269600 139876491122389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28712] ppid=28702 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7 /proc/28704/task/28712/stat : 28712 (java) S 28702 28702 27722 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 70658661 14425186304 10327 33554432000 4194304 4196468 140730783149296 139875963216752 139876491122389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28713] ppid=28702 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7 /proc/28704/task/28713/stat : 28713 (java) S 28702 28702 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70658664 14425186304 10327 33554432000 4194304 4196468 140730783149296 139875962165072 139876491130779 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28714] ppid=28702 vsize=14087096 memory=0 CPUtime=0.01 cores=1,3,5,7 /proc/28704/task/28714/stat : 28714 (java) S 28702 28702 27722 0 -1 1077944384 331 0 0 0 1 0 0 0 20 0 15 0 70658664 14425186304 10327 33554432000 4194304 4196468 140730783149296 139875961113456 139876491123330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28715] ppid=28702 vsize=14087096 memory=-1 CPUtime=0.03 cores=1,3,5,7 /proc/28704/task/28715/stat : 28715 (java) S 28702 28702 27722 0 -1 1077944384 525 0 0 0 3 0 0 0 20 0 15 0 70658664 14425186304 10327 33554432000 4194304 4196468 140730783149296 139875960060656 139876491123330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28716] ppid=28702 vsize=14087096 memory=140375903065728 CPUtime=0.08 cores=1,3,5,7 /proc/28704/task/28716/stat : 28716 (java) R 28702 28702 27722 0 -1 4202560 722 0 0 0 8 0 0 0 20 0 15 0 70658664 14425186304 10327 33554432000 4194304 4196468 140730783149296 139875959007856 139876469777764 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28717] ppid=28702 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/28704/task/28717/stat : 28717 (java) S 28702 28702 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70658664 14425186304 10327 33554432000 4194304 4196468 140730783149296 139875957955296 139876491122389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28718] ppid=28702 vsize=14087096 memory=140375903065728 CPUtime=0 cores=1,3,5,7 /proc/28704/task/28718/stat : 28718 (java) S 28702 28702 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70658664 14425186304 10327 33554432000 4194304 4196468 140730783149296 139875956902576 139876491123330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 14200224 KiB Current children cumulated memory: 42608 KiB [startup+0.310882 s]* /proc/loadavg: 1.92 2.00 1.95 3/218 28718 /proc/meminfo: memFree=17919360/32770624 swapFree=67108860/67108860 [pid=28702] ppid=28699 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7 /proc/28702/stat : 28702 (xcsp3-exec) S 28699 28702 27722 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 70658658 115843072 364 33554432000 4194304 5098028 140725674703456 140725674701560 139659886965372 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 20967424 140725674705978 140725674706180 140725674706180 140725674708938 0 /proc/28702/statm: 28282 364 306 221 0 87 0 [pid=28704] ppid=28702 vsize=14087096 memory=47996 CPUtime=0.51 cores=1,3,5,7 /proc/28704/stat : 28704 (java) S 28702 28702 27722 0 -1 1077944320 9128 0 0 0 49 2 0 0 20 0 15 0 70658658 14425186304 11999 33554432000 4194304 4196468 140730783149296 140730783131840 139876491112183 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 /proc/28704/statm: 3521774 11999 3245 1 0 3483008 0 [pid=28704/tid=28705] ppid=28702 vsize=14087096 memory=8514701219881125277 CPUtime=0.29 cores=1,3,5,7 /proc/28704/task/28705/stat : 28705 (java) R 28702 28702 27722 0 -1 4202560 6158 0 0 0 28 1 0 0 20 0 15 0 70658659 14425186304 11999 33554432000 4194304 4196468 140730783149296 139876495345968 139876475192670 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28706] ppid=28702 vsize=14087096 memory=3472468504798217424 CPUtime=0 cores=1,3,5,7 /proc/28704/task/28706/stat : 28706 (java) S 28702 28702 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70658659 14425186304 12008 33554432000 4194304 4196468 140730783149296 139876421201040 139876491122389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28707] ppid=28702 vsize=14087096 memory=140375903065728 CPUtime=0 cores=1,3,5,7 /proc/28704/task/28707/stat : 28707 (java) S 28702 28702 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70658659 14425186304 12008 33554432000 4194304 4196468 140730783149296 139876420148240 139876491122389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28708] ppid=28702 vsize=14087096 memory=4 CPUtime=0 cores=1,3,5,7 /proc/28704/task/28708/stat : 28708 (java) S 28702 28702 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70658659 14425186304 12008 33554432000 4194304 4196468 140730783149296 139876419095440 139876491122389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28709] ppid=28702 vsize=14087096 memory=140375771719711 CPUtime=0 cores=1,3,5,7 /proc/28704/task/28709/stat : 28709 (java) S 28702 28702 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 70658659 14425186304 12008 33554432000 4194304 4196468 140730783149296 139876418042640 139876491122389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28710] ppid=28702 vsize=14087096 memory=280751543400192 CPUtime=0 cores=1,3,5,7 /proc/28704/task/28710/stat : 28710 (java) S 28702 28702 27722 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 70658661 14425186304 12008 33554432000 4194304 4196468 140730783149296 139875965323632 139876491123330 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28711] ppid=28702 vsize=14087096 memory=140375771696655 CPUtime=0 cores=1,3,5,7 /proc/28704/task/28711/stat : 28711 (java) S 28702 28702 27722 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 70658661 14425186304 12008 33554432000 4194304 4196468 140730783149296 139875964269600 139876491122389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28712] ppid=28702 vsize=14087096 memory=280751674771552 CPUtime=0 cores=1,3,5,7 /proc/28704/task/28712/stat : 28712 (java) S 28702 28702 27722 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 70658661 14425186304 12008 33554432000 4194304 4196468 140730783149296 139875963216752 139876491122389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28713] ppid=28702 vsize=14087096 memory=140375771701263 CPUtime=0 cores=1,3,5,7 /proc/28704/task/28713/stat : 28713 (java) S 28702 28702 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70658664 14425186304 12008 33554432000 4194304 4196468 140730783149296 139875962165072 139876491130779 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28714] ppid=28702 vsize=14087096 memory=0 CPUtime=0.03 cores=1,3,5,7 /proc/28704/task/28714/stat : 28714 (java) S 28702 28702 27722 0 -1 1077944384 346 0 0 0 3 0 0 0 20 0 15 0 70658664 14425186304 12008 33554432000 4194304 4196468 140730783149296 139875961113456 139876491123330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28715] ppid=28702 vsize=14087096 memory=-1 CPUtime=0.04 cores=1,3,5,7 /proc/28704/task/28715/stat : 28715 (java) S 28702 28702 27722 0 -1 1077944384 536 0 0 0 4 0 0 0 20 0 15 0 70658664 14425186304 12008 33554432000 4194304 4196468 140730783149296 139875960060656 139876491123330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28716] ppid=28702 vsize=14087096 memory=0 CPUtime=0.12 cores=1,3,5,7 /proc/28704/task/28716/stat : 28716 (java) S 28702 28702 27722 0 -1 1077944384 781 0 0 0 12 0 0 0 20 0 15 0 70658664 14425186304 12008 33554432000 4194304 4196468 140730783149296 139875959007856 139876491123330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28717] ppid=28702 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7 /proc/28704/task/28717/stat : 28717 (java) S 28702 28702 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70658664 14425186304 12008 33554432000 4194304 4196468 140730783149296 139875957955296 139876491122389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28718] ppid=28702 vsize=14087096 memory=1456 CPUtime=0 cores=1,3,5,7 /proc/28704/task/28718/stat : 28718 (java) S 28702 28702 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70658664 14425186304 12008 33554432000 4194304 4196468 140730783149296 139875956902576 139876491123330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 14200224 KiB Current children cumulated memory: 49452 KiB [startup+0.700889 s] /proc/loadavg: 1.92 2.00 1.95 5/218 28718 /proc/meminfo: memFree=17884056/32770624 swapFree=67108860/67108860 [pid=28702] ppid=28699 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7 /proc/28702/stat : 28702 (xcsp3-exec) S 28699 28702 27722 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 70658658 115843072 364 33554432000 4194304 5098028 140725674703456 140725674701560 139659886965372 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 20967424 140725674705978 140725674706180 140725674706180 140725674708938 0 /proc/28702/statm: 28282 364 306 221 0 87 0 [pid=28704] ppid=28702 vsize=14087096 memory=171948 CPUtime=1.4 cores=1,3,5,7 /proc/28704/stat : 28704 (java) S 28702 28702 27722 0 -1 1077944320 11451 0 0 0 135 5 0 0 20 0 15 0 70658658 14425186304 42987 33554432000 4194304 4196468 140730783149296 140730783131840 139876491112183 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 /proc/28704/statm: 3521774 42987 3285 1 0 3483008 0 [pid=28704/tid=28705] ppid=28702 vsize=14087096 memory=7660742144744843625 CPUtime=0.67 cores=1,3,5,7 /proc/28704/task/28705/stat : 28705 (java) R 28702 28702 27722 0 -1 4202560 6308 0 0 0 64 3 0 0 20 0 15 0 70658659 14425186304 42987 33554432000 4194304 4196468 140730783149296 139876495348352 139876491134109 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28706] ppid=28702 vsize=14087096 memory=5865465064658194540 CPUtime=0 cores=1,3,5,7 /proc/28704/task/28706/stat : 28706 (java) S 28702 28702 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70658659 14425186304 42987 33554432000 4194304 4196468 140730783149296 139876421201040 139876491122389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28707] ppid=28702 vsize=14087096 memory=4638778398332764256 CPUtime=0 cores=1,3,5,7 /proc/28704/task/28707/stat : 28707 (java) S 28702 28702 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70658659 14425186304 42987 33554432000 4194304 4196468 140730783149296 139876420148240 139876491122389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28708] ppid=28702 vsize=14087096 memory=-7242455096852575424 CPUtime=0 cores=1,3,5,7 /proc/28704/task/28708/stat : 28708 (java) S 28702 28702 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70658659 14425186304 42987 33554432000 4194304 4196468 140730783149296 139876419095440 139876491122389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28709] ppid=28702 vsize=14087096 memory=8326441112149131693 CPUtime=0 cores=1,3,5,7 /proc/28704/task/28709/stat : 28709 (java) S 28702 28702 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 70658659 14425186304 42987 33554432000 4194304 4196468 140730783149296 139876418042640 139876491122389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28710] ppid=28702 vsize=14087096 memory=-7737605734073691286 CPUtime=0 cores=1,3,5,7 /proc/28704/task/28710/stat : 28710 (java) S 28702 28702 27722 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 70658661 14425186304 42987 33554432000 4194304 4196468 140730783149296 139875965323632 139876491123330 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28711] ppid=28702 vsize=14087096 memory=4612 CPUtime=0 cores=1,3,5,7 /proc/28704/task/28711/stat : 28711 (java) S 28702 28702 27722 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 70658661 14425186304 42987 33554432000 4194304 4196468 140730783149296 139875964269600 139876491122389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28712] ppid=28702 vsize=14087096 memory=6884 CPUtime=0 cores=1,3,5,7 /proc/28704/task/28712/stat : 28712 (java) S 28702 28702 27722 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 70658661 14425186304 42987 33554432000 4194304 4196468 140730783149296 139875963216752 139876491122389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28713] ppid=28702 vsize=14087096 memory=2244 CPUtime=0 cores=1,3,5,7 /proc/28704/task/28713/stat : 28713 (java) S 28702 28702 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70658664 14425186304 42987 33554432000 4194304 4196468 140730783149296 139875962165072 139876491130779 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28714] ppid=28702 vsize=14087096 memory=21368 CPUtime=0.24 cores=1,3,5,7 /proc/28704/task/28714/stat : 28714 (java) S 28702 28702 27722 0 -1 1077944384 1052 0 0 0 24 0 0 0 20 0 15 0 70658664 14425186304 42987 33554432000 4194304 4196468 140730783149296 139875961113456 139876491123330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28715] ppid=28702 vsize=14087096 memory=1296 CPUtime=0.26 cores=1,3,5,7 /proc/28704/task/28715/stat : 28715 (java) S 28702 28702 27722 0 -1 1077944384 1497 0 0 0 26 0 0 0 20 0 15 0 70658664 14425186304 42987 33554432000 4194304 4196468 140730783149296 139875960060656 139876491123330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28716] ppid=28702 vsize=14087096 memory=2412 CPUtime=0.18 cores=1,3,5,7 /proc/28704/task/28716/stat : 28716 (java) S 28702 28702 27722 0 -1 1077944384 1285 0 0 0 18 0 0 0 20 0 15 0 70658664 14425186304 42987 33554432000 4194304 4196468 140730783149296 139875959007856 139876491123330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28717] ppid=28702 vsize=14087096 memory=7091832833820811856 CPUtime=0 cores=1,3,5,7 /proc/28704/task/28717/stat : 28717 (java) S 28702 28702 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70658664 14425186304 42987 33554432000 4194304 4196468 140730783149296 139875957955296 139876491122389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28718] ppid=28702 vsize=14087096 memory=7589803909226524263 CPUtime=0 cores=1,3,5,7 /proc/28704/task/28718/stat : 28718 (java) S 28702 28702 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70658664 14425186304 42987 33554432000 4194304 4196468 140730783149296 139875956902576 139876491123330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 Current children cumulated CPU time: 1.4 s Current children cumulated vsize: 14200224 KiB Current children cumulated memory: 173404 KiB [startup+1.50122 s] /proc/loadavg: 1.92 2.00 1.95 3/218 28718 /proc/meminfo: memFree=17670136/32770624 swapFree=67108860/67108860 [pid=28702] ppid=28699 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7 /proc/28702/stat : 28702 (xcsp3-exec) S 28699 28702 27722 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 70658658 115843072 364 33554432000 4194304 5098028 140725674703456 140725674701560 139659886965372 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 20967424 140725674705978 140725674706180 140725674706180 140725674708938 0 /proc/28702/statm: 28282 364 306 221 0 87 0 ################ # More data... # ################ /proc/28704/task/28712/stat : 28712 (java) S 28702 28702 27722 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 70658661 14427361280 791996 33554432000 4194304 4196468 140730783149296 139875963216768 139876491122389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28713] ppid=28702 vsize=14089220 memory=1456 CPUtime=0 cores=1,3,5,7 /proc/28704/task/28713/stat : 28713 (java) S 28702 28702 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70658664 14427361280 791996 33554432000 4194304 4196468 140730783149296 139875962165072 139876491130779 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28714] ppid=28702 vsize=14089220 memory=1456 CPUtime=4.33 cores=1,3,5,7 /proc/28704/task/28714/stat : 28714 (java) S 28702 28702 27722 0 -1 1077944384 26726 0 0 0 429 4 0 0 20 0 15 0 70658664 14427361280 791996 33554432000 4194304 4196468 140730783149296 139875961113456 139876491123330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28715] ppid=28702 vsize=14089220 memory=1456 CPUtime=4.72 cores=1,3,5,7 /proc/28704/task/28715/stat : 28715 (java) S 28702 28702 27722 0 -1 1077944384 28694 0 0 0 468 4 0 0 20 0 15 0 70658664 14427361280 791996 33554432000 4194304 4196468 140730783149296 139875960060656 139876491123330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28716] ppid=28702 vsize=14089220 memory=1456 CPUtime=0.87 cores=1,3,5,7 /proc/28704/task/28716/stat : 28716 (java) S 28702 28702 27722 0 -1 1077944384 9025 0 0 0 84 3 0 0 20 0 15 0 70658664 14427361280 791996 33554432000 4194304 4196468 140730783149296 139875959007856 139876491123330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28717] ppid=28702 vsize=14089220 memory=1456 CPUtime=0 cores=1,3,5,7 /proc/28704/task/28717/stat : 28717 (java) S 28702 28702 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70658664 14427361280 791996 33554432000 4194304 4196468 140730783149296 139875957955296 139876491122389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28718] ppid=28702 vsize=14089220 memory=3167984 CPUtime=1.57 cores=1,3,5,7 /proc/28704/task/28718/stat : 28718 (java) S 28702 28702 27722 0 -1 1077944384 3107 0 0 0 61 96 0 0 20 0 15 0 70658664 14427361280 791996 33554432000 4194304 4196468 140730783149296 139875956902576 139876491123330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 Current children cumulated CPU time: 2338.57 s Current children cumulated vsize: 14202348 KiB Current children cumulated memory: 3169440 KiB [startup+2382.3 s] /proc/loadavg: 1.74 1.79 1.84 3/218 29176 /proc/meminfo: memFree=17084880/32770624 swapFree=67108860/67108860 [pid=28702] ppid=28699 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7 /proc/28702/stat : 28702 (xcsp3-exec) S 28699 28702 27722 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 70658658 115843072 364 33554432000 4194304 5098028 140725674703456 140725674701560 139659886965372 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 20967424 140725674705978 140725674706180 140725674706180 140725674708938 0 /proc/28702/statm: 28282 364 306 221 0 87 0 [pid=28704] ppid=28702 vsize=14089220 memory=3167984 CPUtime=2398.63 cores=1,3,5,7 /proc/28704/stat : 28704 (java) S 28702 28702 27722 0 -1 1077944320 158072 0 0 0 239633 230 0 0 20 0 15 0 70658658 14427361280 791996 33554432000 4194304 4196468 140730783149296 140730783131840 139876491112183 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 /proc/28704/statm: 3522305 791996 3424 1 0 3483520 0 [pid=28704/tid=28705] ppid=28702 vsize=14089220 memory=1716 CPUtime=2380.54 cores=1,3,5,7 /proc/28704/task/28705/stat : 28705 (java) R 28702 28702 27722 0 -1 4202560 79323 0 0 0 238012 42 0 0 20 0 15 0 70658659 14427361280 791996 33554432000 4194304 4196468 140730783149296 139876495348864 139876104280130 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28706] ppid=28702 vsize=14089220 memory=1456 CPUtime=1.57 cores=1,3,5,7 /proc/28704/task/28706/stat : 28706 (java) S 28702 28702 27722 0 -1 1077944384 1698 0 0 0 133 24 0 0 20 0 15 0 70658659 14427361280 791996 33554432000 4194304 4196468 140730783149296 139876421201040 139876491122389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28707] ppid=28702 vsize=14089220 memory=3167984 CPUtime=1.54 cores=1,3,5,7 /proc/28704/task/28707/stat : 28707 (java) S 28702 28702 27722 0 -1 1077944384 1245 0 0 0 131 23 0 0 20 0 15 0 70658659 14427361280 791996 33554432000 4194304 4196468 140730783149296 139876420148240 139876491122389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28708] ppid=28702 vsize=14089220 memory=3167984 CPUtime=1.56 cores=1,3,5,7 /proc/28704/task/28708/stat : 28708 (java) S 28702 28702 27722 0 -1 1077944384 1426 0 0 0 133 23 0 0 20 0 15 0 70658659 14427361280 791996 33554432000 4194304 4196468 140730783149296 139876419095440 139876491122389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28709] ppid=28702 vsize=14089220 memory=1456 CPUtime=1.55 cores=1,3,5,7 /proc/28704/task/28709/stat : 28709 (java) S 28702 28702 27722 0 -1 1077944384 1123 0 0 0 133 22 0 0 20 0 15 0 70658659 14427361280 791996 33554432000 4194304 4196468 140730783149296 139876418042640 139876491122389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28710] ppid=28702 vsize=14089220 memory=3167984 CPUtime=0.24 cores=1,3,5,7 /proc/28704/task/28710/stat : 28710 (java) S 28702 28702 27722 0 -1 1077944384 4330 0 0 0 20 4 0 0 20 0 15 0 70658661 14427361280 791996 33554432000 4194304 4196468 140730783149296 139875965323632 139876491123330 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28711] ppid=28702 vsize=14089220 memory=3167984 CPUtime=0 cores=1,3,5,7 /proc/28704/task/28711/stat : 28711 (java) S 28702 28702 27722 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 70658661 14427361280 791996 33554432000 4194304 4196468 140730783149296 139875964269664 139876491122389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28712] ppid=28702 vsize=14089220 memory=3167984 CPUtime=0 cores=1,3,5,7 /proc/28704/task/28712/stat : 28712 (java) S 28702 28702 27722 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 70658661 14427361280 791996 33554432000 4194304 4196468 140730783149296 139875963216768 139876491122389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28713] ppid=28702 vsize=14089220 memory=1456 CPUtime=0 cores=1,3,5,7 /proc/28704/task/28713/stat : 28713 (java) S 28702 28702 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70658664 14427361280 791996 33554432000 4194304 4196468 140730783149296 139875962165072 139876491130779 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28714] ppid=28702 vsize=14089220 memory=792 CPUtime=4.33 cores=1,3,5,7 /proc/28704/task/28714/stat : 28714 (java) S 28702 28702 27722 0 -1 1077944384 26729 0 0 0 429 4 0 0 20 0 15 0 70658664 14427361280 791996 33554432000 4194304 4196468 140730783149296 139875961113456 139876491123330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28715] ppid=28702 vsize=14089220 memory=3167984 CPUtime=4.72 cores=1,3,5,7 /proc/28704/task/28715/stat : 28715 (java) S 28702 28702 27722 0 -1 1077944384 28697 0 0 0 468 4 0 0 20 0 15 0 70658664 14427361280 791996 33554432000 4194304 4196468 140730783149296 139875960060656 139876491123330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28716] ppid=28702 vsize=14089220 memory=1456 CPUtime=0.87 cores=1,3,5,7 /proc/28704/task/28716/stat : 28716 (java) S 28702 28702 27722 0 -1 1077944384 9034 0 0 0 84 3 0 0 20 0 15 0 70658664 14427361280 791996 33554432000 4194304 4196468 140730783149296 139875959007856 139876491123330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28717] ppid=28702 vsize=14089220 memory=3167984 CPUtime=0 cores=1,3,5,7 /proc/28704/task/28717/stat : 28717 (java) S 28702 28702 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70658664 14427361280 791996 33554432000 4194304 4196468 140730783149296 139875957955296 139876491122389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28718] ppid=28702 vsize=14089220 memory=3167984 CPUtime=1.61 cores=1,3,5,7 /proc/28704/task/28718/stat : 28718 (java) S 28702 28702 27722 0 -1 1077944384 3137 0 0 0 62 99 0 0 20 0 15 0 70658664 14427361280 791996 33554432000 4194304 4196468 140730783149296 139875956902576 139876491123330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 Current children cumulated CPU time: 2398.63 s Current children cumulated vsize: 14202348 KiB Current children cumulated memory: 3169440 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2383.7 s] /proc/loadavg: 1.74 1.79 1.84 3/218 29176 /proc/meminfo: memFree=17085004/32770624 swapFree=67108860/67108860 [pid=28702] ppid=28699 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7 /proc/28702/stat : 28702 (xcsp3-exec) S 28699 28702 27722 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 70658658 115843072 364 33554432000 4194304 5098028 140725674703456 140725674701560 139659886965372 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 20967424 140725674705978 140725674706180 140725674706180 140725674708938 0 /proc/28702/statm: 28282 364 306 221 0 87 0 [pid=28704] ppid=28702 vsize=14089220 memory=3167984 CPUtime=2400.03 cores=1,3,5,7 /proc/28704/stat : 28704 (java) S 28702 28702 27722 0 -1 1077944320 158072 0 0 0 239773 230 0 0 20 0 15 0 70658658 14427361280 791996 33554432000 4194304 4196468 140730783149296 140730783131840 139876491112183 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 /proc/28704/statm: 3522305 791996 3424 1 0 3483520 0 [pid=28704/tid=28705] ppid=28702 vsize=14089220 memory=3167984 CPUtime=2381.94 cores=1,3,5,7 /proc/28704/task/28705/stat : 28705 (java) R 28702 28702 27722 0 -1 4202560 79323 0 0 0 238152 42 0 0 20 0 15 0 70658659 14427361280 791996 33554432000 4194304 4196468 140730783149296 139876495348864 139876104280130 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28706] ppid=28702 vsize=14089220 memory=3167984 CPUtime=1.57 cores=1,3,5,7 /proc/28704/task/28706/stat : 28706 (java) S 28702 28702 27722 0 -1 1077944384 1698 0 0 0 133 24 0 0 20 0 15 0 70658659 14427361280 791996 33554432000 4194304 4196468 140730783149296 139876421201040 139876491122389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28707] ppid=28702 vsize=14089220 memory=1456 CPUtime=1.54 cores=1,3,5,7 /proc/28704/task/28707/stat : 28707 (java) S 28702 28702 27722 0 -1 1077944384 1245 0 0 0 131 23 0 0 20 0 15 0 70658659 14427361280 791996 33554432000 4194304 4196468 140730783149296 139876420148240 139876491122389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28708] ppid=28702 vsize=14089220 memory=3167984 CPUtime=1.56 cores=1,3,5,7 /proc/28704/task/28708/stat : 28708 (java) S 28702 28702 27722 0 -1 1077944384 1426 0 0 0 133 23 0 0 20 0 15 0 70658659 14427361280 791996 33554432000 4194304 4196468 140730783149296 139876419095440 139876491122389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28709] ppid=28702 vsize=14089220 memory=3167984 CPUtime=1.55 cores=1,3,5,7 /proc/28704/task/28709/stat : 28709 (java) S 28702 28702 27722 0 -1 1077944384 1123 0 0 0 133 22 0 0 20 0 15 0 70658659 14427361280 791996 33554432000 4194304 4196468 140730783149296 139876418042640 139876491122389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28710] ppid=28702 vsize=14089220 memory=3167984 CPUtime=0.24 cores=1,3,5,7 /proc/28704/task/28710/stat : 28710 (java) S 28702 28702 27722 0 -1 1077944384 4330 0 0 0 20 4 0 0 20 0 15 0 70658661 14427361280 791996 33554432000 4194304 4196468 140730783149296 139875965323632 139876491123330 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28711] ppid=28702 vsize=14089220 memory=1456 CPUtime=0 cores=1,3,5,7 /proc/28704/task/28711/stat : 28711 (java) S 28702 28702 27722 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 70658661 14427361280 791996 33554432000 4194304 4196468 140730783149296 139875964269664 139876491122389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28712] ppid=28702 vsize=14089220 memory=3167984 CPUtime=0 cores=1,3,5,7 /proc/28704/task/28712/stat : 28712 (java) S 28702 28702 27722 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 70658661 14427361280 791996 33554432000 4194304 4196468 140730783149296 139875963216768 139876491122389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28713] ppid=28702 vsize=14089220 memory=3167984 CPUtime=0 cores=1,3,5,7 /proc/28704/task/28713/stat : 28713 (java) S 28702 28702 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70658664 14427361280 791996 33554432000 4194304 4196468 140730783149296 139875962165072 139876491130779 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28714] ppid=28702 vsize=14089220 memory=1456 CPUtime=4.33 cores=1,3,5,7 /proc/28704/task/28714/stat : 28714 (java) S 28702 28702 27722 0 -1 1077944384 26729 0 0 0 429 4 0 0 20 0 15 0 70658664 14427361280 791996 33554432000 4194304 4196468 140730783149296 139875961113456 139876491123330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28715] ppid=28702 vsize=14089220 memory=952 CPUtime=4.72 cores=1,3,5,7 /proc/28704/task/28715/stat : 28715 (java) S 28702 28702 27722 0 -1 1077944384 28697 0 0 0 468 4 0 0 20 0 15 0 70658664 14427361280 791996 33554432000 4194304 4196468 140730783149296 139875960060656 139876491123330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28716] ppid=28702 vsize=14089220 memory=1240 CPUtime=0.87 cores=1,3,5,7 /proc/28704/task/28716/stat : 28716 (java) S 28702 28702 27722 0 -1 1077944384 9034 0 0 0 84 3 0 0 20 0 15 0 70658664 14427361280 791996 33554432000 4194304 4196468 140730783149296 139875959007856 139876491123330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28717] ppid=28702 vsize=14089220 memory=1456 CPUtime=0 cores=1,3,5,7 /proc/28704/task/28717/stat : 28717 (java) S 28702 28702 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70658664 14427361280 791996 33554432000 4194304 4196468 140730783149296 139875957955296 139876491122389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28718] ppid=28702 vsize=14089220 memory=1456 CPUtime=1.61 cores=1,3,5,7 /proc/28704/task/28718/stat : 28718 (java) S 28702 28702 27722 0 -1 1077944384 3137 0 0 0 62 99 0 0 20 0 15 0 70658664 14427361280 791996 33554432000 4194304 4196468 140730783149296 139875956902576 139876491123330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 Current children cumulated CPU time: 2400.03 s Current children cumulated vsize: 14202348 KiB Current children cumulated memory: 3169440 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2383.71 s] # the end of solver process 28702 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.001105 s, system=0.001105 s [startup+2383.73 s] # the end of solver process 28704 was just reported to runsolver # cumulated CPU time of all completed processes: user=2397.75 s, system=2.32065 s # this solver process was not waited by its parent and was adopted by runsolver Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2383.7 s] /proc/loadavg: 1.74 1.79 1.84 3/218 29176 /proc/meminfo: memFree=17085004/32770624 swapFree=67108860/67108860 [pid=28702] ppid=28699 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7 /proc/28702/stat : 28702 (xcsp3-exec) S 28699 28702 27722 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 70658658 115843072 364 33554432000 4194304 5098028 140725674703456 140725674701560 139659886965372 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 20967424 140725674705978 140725674706180 140725674706180 140725674708938 0 /proc/28702/statm: 28282 364 306 221 0 87 0 [pid=28704] ppid=28702 vsize=14089220 memory=3167984 CPUtime=2400.03 cores=1,3,5,7 /proc/28704/stat : 28704 (java) S 28702 28702 27722 0 -1 1077944320 158072 0 0 0 239773 230 0 0 20 0 15 0 70658658 14427361280 791996 33554432000 4194304 4196468 140730783149296 140730783131840 139876491112183 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 /proc/28704/statm: 3522305 791996 3424 1 0 3483520 0 [pid=28704/tid=28705] ppid=28702 vsize=14089220 memory=3167984 CPUtime=2381.94 cores=1,3,5,7 /proc/28704/task/28705/stat : 28705 (java) R 28702 28702 27722 0 -1 4202560 79323 0 0 0 238152 42 0 0 20 0 15 0 70658659 14427361280 791996 33554432000 4194304 4196468 140730783149296 139876495348864 139876104280130 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28706] ppid=28702 vsize=14089220 memory=3167984 CPUtime=1.57 cores=1,3,5,7 /proc/28704/task/28706/stat : 28706 (java) S 28702 28702 27722 0 -1 1077944384 1698 0 0 0 133 24 0 0 20 0 15 0 70658659 14427361280 791996 33554432000 4194304 4196468 140730783149296 139876421201040 139876491122389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28707] ppid=28702 vsize=14089220 memory=1456 CPUtime=1.54 cores=1,3,5,7 /proc/28704/task/28707/stat : 28707 (java) S 28702 28702 27722 0 -1 1077944384 1245 0 0 0 131 23 0 0 20 0 15 0 70658659 14427361280 791996 33554432000 4194304 4196468 140730783149296 139876420148240 139876491122389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28708] ppid=28702 vsize=14089220 memory=3167984 CPUtime=1.56 cores=1,3,5,7 /proc/28704/task/28708/stat : 28708 (java) S 28702 28702 27722 0 -1 1077944384 1426 0 0 0 133 23 0 0 20 0 15 0 70658659 14427361280 791996 33554432000 4194304 4196468 140730783149296 139876419095440 139876491122389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28709] ppid=28702 vsize=14089220 memory=3167984 CPUtime=1.55 cores=1,3,5,7 /proc/28704/task/28709/stat : 28709 (java) S 28702 28702 27722 0 -1 1077944384 1123 0 0 0 133 22 0 0 20 0 15 0 70658659 14427361280 791996 33554432000 4194304 4196468 140730783149296 139876418042640 139876491122389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28710] ppid=28702 vsize=14089220 memory=3167984 CPUtime=0.24 cores=1,3,5,7 /proc/28704/task/28710/stat : 28710 (java) S 28702 28702 27722 0 -1 1077944384 4330 0 0 0 20 4 0 0 20 0 15 0 70658661 14427361280 791996 33554432000 4194304 4196468 140730783149296 139875965323632 139876491123330 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28711] ppid=28702 vsize=14089220 memory=1456 CPUtime=0 cores=1,3,5,7 /proc/28704/task/28711/stat : 28711 (java) S 28702 28702 27722 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 70658661 14427361280 791996 33554432000 4194304 4196468 140730783149296 139875964269664 139876491122389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28712] ppid=28702 vsize=14089220 memory=3167984 CPUtime=0 cores=1,3,5,7 /proc/28704/task/28712/stat : 28712 (java) S 28702 28702 27722 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 70658661 14427361280 791996 33554432000 4194304 4196468 140730783149296 139875963216768 139876491122389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28713] ppid=28702 vsize=14089220 memory=3167984 CPUtime=0 cores=1,3,5,7 /proc/28704/task/28713/stat : 28713 (java) S 28702 28702 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70658664 14427361280 791996 33554432000 4194304 4196468 140730783149296 139875962165072 139876491130779 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28714] ppid=28702 vsize=14089220 memory=1456 CPUtime=4.33 cores=1,3,5,7 /proc/28704/task/28714/stat : 28714 (java) S 28702 28702 27722 0 -1 1077944384 26729 0 0 0 429 4 0 0 20 0 15 0 70658664 14427361280 791996 33554432000 4194304 4196468 140730783149296 139875961113456 139876491123330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28715] ppid=28702 vsize=14089220 memory=952 CPUtime=4.72 cores=1,3,5,7 /proc/28704/task/28715/stat : 28715 (java) S 28702 28702 27722 0 -1 1077944384 28697 0 0 0 468 4 0 0 20 0 15 0 70658664 14427361280 791996 33554432000 4194304 4196468 140730783149296 139875960060656 139876491123330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28716] ppid=28702 vsize=14089220 memory=1240 CPUtime=0.87 cores=1,3,5,7 /proc/28704/task/28716/stat : 28716 (java) S 28702 28702 27722 0 -1 1077944384 9034 0 0 0 84 3 0 0 20 0 15 0 70658664 14427361280 791996 33554432000 4194304 4196468 140730783149296 139875959007856 139876491123330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28717] ppid=28702 vsize=14089220 memory=1456 CPUtime=0 cores=1,3,5,7 /proc/28704/task/28717/stat : 28717 (java) S 28702 28702 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70658664 14427361280 791996 33554432000 4194304 4196468 140730783149296 139875957955296 139876491122389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 [pid=28704/tid=28718] ppid=28702 vsize=14089220 memory=1456 CPUtime=1.61 cores=1,3,5,7 /proc/28704/task/28718/stat : 28718 (java) S 28702 28702 27722 0 -1 1077944384 3137 0 0 0 62 99 0 0 20 0 15 0 70658664 14427361280 791996 33554432000 4194304 4196468 140730783149296 139875956902576 139876491123330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 15347712 140730783155329 140730783155505 140730783155505 140730783158223 0 Current children cumulated CPU time: 2400.03 s Current children cumulated vsize: 14202348 KiB Current children cumulated memory: 3169440 KiB Child status: 143 Real time (s): 2383.73 CPU time (s): 2400.07 CPU user time (s): 2397.75 CPU system time (s): 2.32065 CPU usage (%): 100.686 Max. virtual memory (cumulated for all children) (KiB): 14204336 Max. memory (cumulated for all children) (KiB): 3188524 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2397.75 system time used= 2.32065 maximum resident set size= 3187068 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 159749 page faults= 0 swaps= 0 block input operations= 0 block output operations= 1792 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 55698 involuntary context switches= 741 # summary of solver processes directly reported to runsolver: # pid: 28702,28704 # total CPU time (s): 2400.07 # total CPU user time (s): 2397.75 # total CPU system time (s): 2.32065 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 15.8068 second user time and 23.6123 second system time The end
Begin job on node103 at 2018-07-25 17:02:35 IDJOB=4292244 IDBENCH=141493 IDSOLVER=2747 FILE ID=node103/4292244-1532530954 RUNJOBID= node103-1532523806-27754 PBS_JOBID= 21021595 Free space on /tmp= 56500 MiB SOLVER NAME= Choco-solver 4.0.7 seq (493a269) BENCH NAME= XCSP18/PeacableArmies/PeacableArmies-m1-50_c18.xml COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 11000 -p 1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4292244-1532530954/watcher-4292244-1532530954 -o /tmp/evaluation-result-4292244-1532530954/solver-4292244-1532530954 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532523806-27754 --watchdog 2560 HOME/xcsp3-exec -seed 1788069197 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292244-1532530954.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 65d9088e6e3c6b500cf18d234bd8e6c7 RANDOM SEED=1788069197 node103.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.48 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.48 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.48 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.48 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: 17954688 kB MemAvailable: 29494308 kB Buffers: 277852 kB Cached: 11451612 kB SwapCached: 0 kB Active: 6221368 kB Inactive: 7993896 kB Active(anon): 2488152 kB Inactive(anon): 25188 kB Active(file): 3733216 kB Inactive(file): 7968708 kB Unevictable: 7116 kB Mlocked: 7116 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 37376 kB Writeback: 0 kB AnonPages: 2406532 kB Mapped: 52524 kB Shmem: 25228 kB Slab: 293836 kB SReclaimable: 266156 kB SUnreclaim: 27680 kB KernelStack: 3824 kB PageTables: 10396 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 4636016 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 2281472 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 56488 MiB End job on node103 at 2018-07-25 17:42:19