Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 5a (2017-08-18) | SAT (TO) | 3088 | 254.647 | 240.032 |
Name | Vrp/Vrp-zinc-s1/ Vrp-B-n68-k9.xml |
MD5SUM | d46243a0c717d56f47be278be902a17a |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 1388 |
Best CPU time to get the best result obtained on this benchmark | 251.92799 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 4692 |
Number of constraints | 4623 |
Number of domains | 3 |
Minimum domain size | 1 |
Maximum domain size | 101 |
Distribution of domain sizes | [{"size":1,"count":68},{"size":2,"count":4556},{"size":101,"count":67}] |
Minimum variable degree | 0 |
Maximum variable degree | 133 |
Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":68},{"degree":2,"count":134},{"degree":4,"count":4422},{"degree":133,"count":67}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 67 |
Distribution of constraint arities | [{"arity":1,"count":67},{"arity":3,"count":4422},{"arity":67,"count":134}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 67 |
Distribution of constraint types | [{"type":"intension","count":67},{"type":"sum","count":4422},{"type":"count","count":134}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4284581-1503212062.xml" -tl '264s' -p 1 -x 3 0.12/0.14 c [HOME/instance-4284581-1503212062.xml, -tl, 264s, -p, 1, -x, 3] 0.12/0.19 c simple solver 0.33/0.26 c parse instance... 2.16/0.88 c solve instance... 19.12/12.14 o 3529 19.12/12.18 o 3497 19.37/12.20 o 3389 19.68/12.31 o 3332 209.84/197.24 o 3323 209.96/197.30 o 3322 209.96/197.33 o 3297 209.96/197.35 o 3262 209.96/197.40 o 3247 210.12/197.42 o 3237 210.22/197.52 o 3203 210.22/197.53 o 3183 210.46/197.72 o 3155 210.60/197.80 o 3154 210.81/198.09 o 3126 210.91/198.11 o 3125 211.10/198.30 o 3089 211.10/198.31 o 3088 254.61/240.01 s SATISFIABLE 254.61/240.01 v <instantiation> 254.61/240.01 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[0][50] x[0][51] x[0][52] x[0][53] x[0][54] x[0][55] x[0][56] x[0][57] x[0][58] x[0][59] x[0][60] x[0][61] x[0][62] x[0][63] x[0][64] x[0][65] x[0][66] x[0][67] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[1][48] x[1][49] x[1][50] x[1][51] x[1][52] x[1][53] x[1][54] x[1][55] x[1][56] x[1][57] x[1][58] x[1][59] x[1][60] x[1][61] x[1][62] x[1][63] x[1][64] x[1][65] x[1][66] x[1][67] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] x[2][48] x[2][49] x[2][50] x[2][51] x[2][52] x[2][53] x[2][54] x[2][55] x[2][56] x[2][57] x[2][58] x[2][59] x[2][60] x[2][61] x[2][62] x[2][63] x[2][64] x[2][65] x[2][66] x[2][67] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] x[3][48] x[3][49] x[3][50] x[3][51] x[3][52] x[3][53] x[3][54] x[3][55] x[3][56] x[3][57] x[3][58] x[3][59] x[3][60] x[3][61] x[3][62] x[3][63] x[3][64] x[3][65] x[3][66] x[3][67] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[4][47] x[4][48] x[4][49] x[4][50] x[4][51] x[4][52] x[4][53] x[4][54] x[4][55] x[4][56] x[4][57] x[4][58] x[4][59] x[4][60] x[4][61] x[4][62] x[4][63] x[4][64] x[4][65] x[4][66] x[4][67] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[5][47] x[5][48] x[5][49] x[5][50] x[5][51] x[5][52] x[5][53] x[5][54] x[5][55] x[5][56] x[5][57] x[5][58] x[5][59] x[5][60] x[5][61] x[5][62] x[5][63] x[5][64] x[5][65] x[5][66] x[5][67] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[6][47] x[6][48] x[6][49] x[6][50] x[6][51] x[6][52] x[6][53] x[6][54] x[6][55] x[6][56] x[6][57] x[6][58] x[6][59] x[6][60] x[6][61] x[6][62] x[6][63] x[6][64] x[6][65] x[6][66] x[6][67] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[7][47] x[7][48] x[7][49] x[7][50] x[7][51] x[7][52] x[7][53] x[7][54] x[7][55] x[7][56] x[7][57] x[7][58] x[7][59] x[7][60] x[7][61] x[7][62] x[7][63] x[7][64] x[7][65] x[7][66] x[7][67] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[8][47] x[8][48] x[8][49] x[8][50] x[8][51] x[8][52] x[8][53] x[8][54] x[8][55] x[8][56] x[8][57] x[8][58] x[8][59] x[8][60] x[8][61] x[8][62] x[8][63] x[8][64] x[8][65] x[8][66] x[8][67] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[9][46] x[9][47] x[9][48] x[9][49] x[9][50] x[9][51] x[9][52] x[9][53] x[9][54] x[9][55] x[9][56] x[9][57] x[9][58] x[9][59] x[9][60] x[9][61] x[9][62] x[9][63] x[9][64] x[9][65] x[9][66] x[9][67] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] x[10][46] x[10][47] x[10][48] x[10][49] x[10][50] x[10][51] x[10][52] x[10][53] x[10][54] x[10][55] x[10][56] x[10][57] x[10][58] x[10][59] x[10][60] x[10][61] x[10][62] x[10][63] x[10][64] x[10][65] x[10][66] x[10][67] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] x[11][46] x[11][47] x[11][48] x[11][49] x[11][50] x[11][51] x[11][52] x[11][53] x[11][54] x[11][55] x[11][56] x[11][57] x[11][58] x[11][59] x[11][60] x[11][61] x[11][62] x[11][63] x[11][64] x[11][65] x[11][66] x[11][67] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[12][45] x[12][46] x[12][47] x[12][48] x[12][49] x[12][50] x[12][51] x[12][52] x[12][53] x[12][54] x[12][55] x[12][56] x[12][57] x[12][58] x[12][59] x[12][60] x[12][61] x[12][62] x[12][63] x[12][64] x[12][65] x[12][66] x[12][67] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[13][45] x[13][46] x[13][47] x[13][48] x[13][49] x[13][50] x[13][51] x[13][52] x[13][53] x[13][54] x[13][55] x[13][56] x[13][57] x[13][58] x[13][59] x[13][60] x[13][61] x[13][62] x[13][63] x[13][64] x[13][65] x[13][66] x[13][67] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[14][45] x[14][46] x[14][47] x[14][48] x[14][49] x[14][50] x[14][51] x[14][52] x[14][53] x[14][54] x[14][55] x[14][56] x[14][57] x[14][58] x[14][59] x[14][60] x[14][61] x[14][62] x[14][63] x[14][64] x[14][65] x[14][66] x[14][67] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[15][45] x[15][46] x[15][47] x[15][48] x[15][49] x[15][50] x[15][51] x[15][52] x[15][53] x[15][54] x[15][55] x[15][56] x[15][57] x[15][58] x[15][59] x[15][60] x[15][61] x[15][62] x[15][63] x[15][64] x[15][65] x[15][66] x[15][67] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[16][45] x[16][46] x[16][47] x[16][48] x[16][49] x[16][50] x[16][51] x[16][52] x[16][53] x[16][54] x[16][55] x[16][56] x[16][57] x[16][58] x[16][59] x[16][60] x[16][61] x[16][62] x[16][63] x[16][64] x[16][65] x[16][66] x[16][67] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[17][45] x[17][46] x[17][47] x[17][48] x[17][49] x[17][50] x[17][51] x[17][52] x[17][53] x[17][54] x[17][55] x[17][56] x[17][57] x[17][58] x[17][59] x[17][60] x[17][61] x[17][62] x[17][63] x[17][64] x[17][65] x[17][66] x[17][67] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[18][45] x[18][46] x[18][47] x[18][48] x[18][49] x[18][50] x[18][51] x[18][52] x[18][53] x[18][54] x[18][55] x[18][56] x[18][57] x[18][58] x[18][59] x[18][60] x[18][61] x[18][62] x[18][63] x[18][64] x[18][65] x[18][66] x[18][67] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[19][45] x[19][46] x[19][47] x[19][48] x[19][49] x[19][50] x[19][51] x[19][52] x[19][53] x[19][54] x[19][55] x[19][56] x[19][57] x[19][58] x[19][59] x[19][60] x[19][61] x[19][62] x[19][63] x[19][64] x[19][65] x[19][66] x[19][67] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[20][45] x[20][46] x[20][47] x[20][48] x[20][49] x[20][50] x[20][51] x[20][52] x[20][53] x[20][54] x[20][55] x[20][56] x[20][57] x[20][58] x[20][59] x[20][60] x[20][61] x[20][62] x[20][63] x[20][64] x[20][65] x[20][66] x[20][67] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[21][45] x[21][46] x[21][47] x[21][48] x[21][49] x[21][50] x[21][51] x[21][52] x[21][53] x[21][54] x[21][55] x[21][56] x[21][57] x[21][58] x[21][59] x[21][60] x[21][61] x[21][62] x[21][63] x[21][64] x[21][65] x[21][66] x[21][67] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[22][45] x[22][46] x[22][47] x[22][48] x[22][49] x[22][50] x[22][51] x[22][52] x[22][53] x[22][54] x[22][55] x[22][56] x[22][57] x[22][58] x[22][59] x[22][60] x[22][61] x[22][62] x[22][63] x[22][64] x[22][65] x[22][66] x[22][67] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[23][45] x[23][46] x[23][47] x[23][48] x[23][49] x[23][50] x[23][51] x[23][52] x[23][53] x[23][54] x[23][55] x[23][56] x[23][57] x[23][58] x[23][59] x[23][60] x[23][61] x[23][62] x[23][63] x[23][64] x[23][65] x[23][66] x[23][67] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[24][45] x[24][46] x[24][47] x[24][48] x[24][49] x[24][50] x[24][51] x[24][52] x[24][53] x[24][54] x[24][55] x[24][56] x[24][57] x[24][58] x[24][59] x[24][60] x[24][61] x[24][62] x[24][63] x[24][64] x[24][65] x[24][66] x[24][67] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[25][45] x[25][46] x[25][47] x[25][48] x[25][49] x[25][50] x[25][51] x[25][52] x[25][53] x[25][54] x[25][55] x[25][56] x[25][57] x[25][58] x[25][59] x[25][60] x[25][61] x[25][62] x[25][63] x[25][64] x[25][65] x[25][66] x[25][67] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[26][45] x[26][46] x[26][47] x[26][48] x[26][49] x[26][50] x[26][51] x[26][52] x[26][53] x[26][54] x[26][55] x[26][56] x[26][57] x[26][58] x[26][59] x[26][60] x[26][61] x[26][62] x[26][63] x[26][64] x[26][65] x[26][66] x[26][67] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[27][45] x[27][46] x[27][47] x[27][48] x[27][49] x[27][50] x[27][51] x[27][52] x[27][53] x[27][54] x[27][55] x[27][56] x[27][57] x[27][58] x[27][59] x[27][60] x[27][61] x[27][62] x[27][63] x[27][64] x[27][65] x[27][66] x[27][67] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[28][45] x[28][46] x[28][47] x[28][48] x[28][49] x[28][50] x[28][51] x[28][52] x[28][53] x[28][54] x[28][55] x[28][56] x[28][57] x[28][58] x[28][59] x[28][60] x[28][61] x[28][62] x[28][63] x[28][64] x[28][65] x[28][66] x[28][67] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[29][45] x[29][46] x[29][47] x[29][48] x[29][49] x[29][50] x[29][51] x[29][52] x[29][53] x[29][54] x[29][55] x[29][56] x[29][57] x[29][58] x[29][59] x[29][60] x[29][61] x[29][62] x[29][63] x[29][64] x[29][65] x[29][66] x[29][67] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[30][45] x[30][46] x[30][47] x[30][48] x[30][49] x[30][50] x[30][51] x[30][52] x[30][53] x[30][54] x[30][55] x[30][56] x[30][57] x[30][58] x[30][59] x[30][60] x[30][61] x[30][62] x[30][63] x[30][64] x[30][65] x[30][66] x[30][67] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[31][45] x[31][46] x[31][47] x[31][48] x[31][49] x[31][50] x[31][51] x[31][52] x[31][53] x[31][54] x[31][55] x[31][56] x[31][57] x[31][58] x[31][59] x[31][60] x[31][61] x[31][62] x[31][63] x[31][64] x[31][65] x[31][66] x[31][67] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[32][45] x[32][46] x[32][47] x[32][48] x[32][49] x[32][50] x[32][51] x[32][52] x[32][53] x[32][54] x[32][55] x[32][56] x[32][57] x[32][58] x[32][59] x[32][60] x[32][61] x[32][62] x[32][63] x[32][64] x[32][65] x[32][66] x[32][67] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[33][45] x[33][46] x[33][47] x[33][48] x[33][49] x[33][50] x[33][51] x[33][52] x[33][53] x[33][54] x[33][55] x[33][56] x[33][57] x[33][58] x[33][59] x[33][60] x[33][61] x[33][62] x[33][63] x[33][64] x[33][65] x[33][66] x[33][67] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[34][45] x[34][46] x[34][47] x[34][48] x[34][49] x[34][50] x[34][51] x[34][52] x[34][53] x[34][54] x[34][55] x[34][56] x[34][57] x[34][58] x[34][59] x[34][60] x[34][61] x[34][62] x[34][63] x[34][64] x[34][65] x[34][66] x[34][67] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[35][45] x[35][46] x[35][47] x[35][48] x[35][49] x[35][50] x[35][51] x[35][52] x[35][53] x[35][54] x[35][55] x[35][56] x[35][57] x[35][58] x[35][59] x[35][60] x[35][61] x[35][62] x[35][63] x[35][64] x[35][65] x[35][66] x[35][67] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[36][45] x[36][46] x[36][47] x[36][48] x[36][49] x[36][50] x[36][51] x[36][52] x[36][53] x[36][54] x[36][55] x[36][56] x[36][57] x[36][58] x[36][59] x[36][60] x[36][61] x[36][62] x[36][63] x[36][64] x[36][65] x[36][66] x[36][67] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] x[37][46] x[37][47] x[37][48] x[37][49] x[37][50] x[37][51] x[37][52] x[37][53] x[37][54] x[37][55] x[37][56] x[37][57] x[37][58] x[37][59] x[37][60] x[37][61] x[37][62] x[37][63] x[37][64] x[37][65] x[37][66] x[37][67] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[38][46] x[38][47] x[38][48] x[38][49] x[38][50] x[38][51] x[38][52] x[38][53] x[38][54] x[38][55] x[38][56] x[38][57] x[38][58] x[38][59] x[38][60] x[38][61] x[38][62] x[38][63] x[38][64] x[38][65] x[38][66] x[38][67] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[39][46] x[39][47] x[39][48] x[39][49] x[39][50] x[39][51] x[39][52] x[39][53] x[39][54] x[39][55] x[39][56] x[39][57] x[39][58] x[39][59] x[39][60] x[39][61] x[39][62] x[39][63] x[39][64] x[39][65] x[39][66] x[39][67] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[40][46] x[40][47] x[40][48] x[40][49] x[40][50] x[40][51] x[40][52] x[40][53] x[40][54] x[40][55] x[40][56] x[40][57] x[40][58] x[40][59] x[40][60] x[40][61] x[40][62] x[40][63] x[40][64] x[40][65] x[40][66] x[40][67] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[41][45] x[41][46] x[41][47] x[41][48] x[41][49] x[41][50] x[41][51] x[41][52] x[41][53] x[41][54] x[41][55] x[41][56] x[41][57] x[41][58] x[41][59] x[41][60] x[41][61] x[41][62] x[41][63] x[41][64] x[41][65] x[41][66] x[41][67] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[42][45] x[42][46] x[42][47] x[42][48] x[42][49] x[42][50] x[42][51] x[42][52] x[42][53] x[42][54] x[42][55] x[42][56] x[42][57] x[42][58] x[42][59] x[42][60] x[42][61] x[42][62] x[42][63] x[42][64] x[42][65] x[42][66] x[42][67] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[43][45] x[43][46] x[43][47] x[43][48] x[43][49] x[43][50] x[43][51] x[43][52] x[43][53] x[43][54] x[43][55] x[43][56] x[43][57] x[43][58] x[43][59] x[43][60] x[43][61] x[43][62] x[43][63] x[43][64] x[43][65] x[43][66] x[43][67] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] x[44][45] x[44][46] x[44][47] x[44][48] x[44][49] x[44][50] x[44][51] x[44][52] x[44][53] x[44][54] x[44][55] x[44][56] x[44][57] x[44][58] x[44][59] x[44][60] x[44][61] x[44][62] x[44][63] x[44][64] x[44][65] x[44][66] x[44][67] x[45][0] x[45][1] x[45][2] x[45][3] x[45][4] x[45][5] x[45][6] x[45][7] x[45][8] x[45][9] x[45][10] x[45][11] x[45][12] x[45][13] x[45][14] x[45][15] x[45][16] x[45][17] x[45][18] x[45][19] x[45][20] x[45][21] x[45][22] x[45][23] x[45][24] x[45][25] x[45][26] x[45][27] x[45][28] x[45][29] x[45][30] x[45][31] x[45][32] x[45][33] x[45][34] x[45][35] x[45][36] x[45][37] x[45][38] x[45][39] x[45][40] x[45][41] x[45][42] x[45][43] x[45][44] x[45][45] x[45][46] x[45][47] x[45][48] x[45][49] x[45][50] x[45][51] x[45][52] x[45][53] x[45][54] x[45][55] x[45][56] x[45][57] x[45][58] x[45][59] x[45][60] x[45][61] x[45][62] x[45][63] x[45][64] x[45][65] x[45][66] x[45][67] x[46][0] x[46][1] x[46][2] x[46][3] x[46][4] x[46][5] x[46][6] x[46][7] x[46][8] x[46][9] x[46][10] x[46][11] x[46][12] x[46][13] x[46][14] x[46][15] x[46][16] x[46][17] x[46][18] x[46][19] x[46][20] x[46][21] x[46][22] x[46][23] x[46][24] x[46][25] x[46][26] x[46][27] x[46][28] x[46][29] x[46][30] x[46][31] x[46][32] x[46][33] x[46][34] x[46][35] x[46][36] x[46][37] x[46][38] x[46][39] x[46][40] x[46][41] x[46][42] x[46][43] x[46][44] x[46][45] x[46][46] x[46][47] x[46][48] x[46][49] x[46][50] x[46][51] x[46][52] x[46][53] x[46][54] x[46][55] x[46][56] x[46][57] x[46][58] x[46][59] x[46][60] x[46][61] x[46][62] x[46][63] x[46][64] x[46][65] x[46][66] x[46][67] x[47][0] x[47][1] x[47][2] x[47][3] x[47][4] x[47][5] x[47][6] x[47][7] x[47][8] x[47][9] x[47][10] x[47][11] x[47][12] x[47][13] x[47][14] x[47][15] x[47][16] x[47][17] x[47][18] x[47][19] x[47][20] x[47][21] x[47][22] x[47][23] x[47][24] x[47][25] x[47][26] x[47][27] x[47][28] x[47][29] x[47][30] x[47][31] x[47][32] x[47][33] x[47][34] x[47][35] x[47][36] x[47][37] x[47][38] x[47][39] x[47][40] x[47][41] x[47][42] x[47][43] x[47][44] x[47][45] x[47][46] x[47][47] x[47][48] x[47][49] x[47][50] x[47][51] x[47][52] x[47][53] x[47][54] x[47][55] x[47][56] x[47][57] x[47][58] x[47][59] x[47][60] x[47][61] x[47][62] x[47][63] x[47][64] x[47][65] x[47][66] x[47][67] x[48][0] x[48][1] x[48][2] x[48][3] x[48][4] x[48][5] x[48][6] x[48][7] x[48][8] x[48][9] x[48][10] x[48][11] x[48][12] x[48][13] x[48][14] x[48][15] x[48][16] x[48][17] x[48][18] x[48][19] x[48][20] x[48][21] x[48][22] x[48][23] x[48][24] x[48][25] x[48][26] x[48][27] x[48][28] x[48][29] x[48][30] x[48][31] x[48][32] x[48][33] x[48][34] x[48][35] x[48][36] x[48][37] x[48][38] x[48][39] x[48][40] x[48][41] x[48][42] x[48][43] x[48][44] x[48][45] x[48][46] x[48][47] x[48][48] x[48][49] x[48][50] x[48][51] x[48][52] x[48][53] x[48][54] x[48][55] x[48][56] x[48][57] x[48][58] x[48][59] x[48][60] x[48][61] x[48][62] x[48][63] x[48][64] x[48][65] x[48][66] x[48][67] x[49][0] x[49][1] x[49][2] x[49][3] x[49][4] x[49][5] x[49][6] x[49][7] x[49][8] x[49][9] x[49][10] x[49][11] x[49][12] x[49][13] x[49][14] x[49][15] x[49][16] x[49][17] x[49][18] x[49][19] x[49][20] x[49][21] x[49][22] x[49][23] x[49][24] x[49][25] x[49][26] x[49][27] x[49][28] x[49][29] x[49][30] x[49][31] x[49][32] x[49][33] x[49][34] x[49][35] x[49][36] x[49][37] x[49][38] x[49][39] x[49][40] x[49][41] x[49][42] x[49][43] x[49][44] x[49][45] x[49][46] x[49][47] x[49][48] x[49][49] x[49][50] x[49][51] x[49][52] x[49][53] x[49][54] x[49][55] x[49][56] x[49][57] x[49][58] x[49][59] x[49][60] x[49][61] x[49][62] x[49][63] x[49][64] x[49][65] x[49][66] x[49][67] x[50][0] x[50][1] x[50][2] x[50][3] x[50][4] x[50][5] x[50][6] x[50][7] x[50][8] x[50][9] x[50][10] x[50][11] x[50][12] x[50][13] x[50][14] x[50][15] x[50][16] x[50][17] x[50][18] x[50][19] x[50][20] x[50][21] x[50][22] x[50][23] x[50][24] x[50][25] x[50][26] x[50][27] x[50][28] x[50][29] x[50][30] x[50][31] x[50][32] x[50][33] x[50][34] x[50][35] x[50][36] x[50][37] x[50][38] x[50][39] x[50][40] x[50][41] x[50][42] x[50][43] x[50][44] x[50][45] x[50][46] x[50][47] x[50][48] x[50][49] x[50][50] x[50][51] x[50][52] x[50][53] x[50][54] x[50][55] x[50][56] x[50][57] x[50][58] x[50][59] x[50][60] x[50][61] x[50][62] x[50][63] x[50][64] x[50][65] x[50][66] x[50][67] x[51][0] x[51][1] x[51][2] x[51][3] x[51][4] x[51][5] x[51][6] x[51][7] x[51][8] x[51][9] x[51][10] x[51][11] x[51][12] x[51][13] x[51][14] x[51][15] x[51][16] x[51][17] x[51][18] x[51][19] x[51][20] x[51][21] x[51][22] x[51][23] x[51][24] x[51][25] x[51][26] x[51][27] x[51][28] x[51][29] x[51][30] x[51][31] x[51][32] x[51][33] x[51][34] x[51][35] x[51][36] x[51][37] x[51][38] x[51][39] x[51][40] x[51][41] x[51][42] x[51][43] x[51][44] x[51][45] x[51][46] x[51][47] x[51][48] x[51][49] x[51][50] x[51][51] x[51][52] x[51][53] x[51][54] x[51][55] x[51][56] x[51][57] x[51][58] x[51][59] x[51][60] x[51][61] x[51][62] x[51][63] x[51][64] x[51][65] x[51][66] x[51][67] x[52][0] x[52][1] x[52][2] x[52][3] x[52][4] x[52][5] x[52][6] x[52][7] x[52][8] x[52][9] x[52][10] x[52][11] x[52][12] x[52][13] x[52][14] x[52][15] x[52][16] x[52][17] x[52][18] x[52][19] x[52][20] x[52][21] x[52][22] x[52][23] x[52][24] x[52][25] x[52][26] x[52][27] x[52][28] x[52][29] x[52][30] x[52][31] x[52][32] x[52][33] x[52][34] x[52][35] x[52][36] x[52][37] x[52][38] x[52][39] x[52][40] x[52][41] x[52][42] x[52][43] x[52][44] x[52][45] x[52][46] x[52][47] x[52][48] x[52][49] x[52][50] x[52][51] x[52][52] x[52][53] x[52][54] x[52][55] x[52][56] x[52][57] x[52][58] x[52][59] x[52][60] x[52][61] x[52][62] x[52][63] x[52][64] x[52][65] x[52][66] x[52][67] x[53][0] x[53][1] x[53][2] x[53][3] x[53][4] x[53][5] x[53][6] x[53][7] x[53][8] x[53][9] x[53][10] x[53][11] x[53][12] x[53][13] x[53][14] x[53][15] x[53][16] x[53][17] x[53][18] x[53][19] x[53][20] x[53][21] x[53][22] x[53][23] x[53][24] x[53][25] x[53][26] x[53][27] x[53][28] x[53][29] x[53][30] x[53][31] x[53][32] x[53][33] x[53][34] x[53][35] x[53][36] x[53][37] x[53][38] x[53][39] x[53][40] x[53][41] x[53][42] x[53][43] x[53][44] x[53][45] x[53][46] x[53][47] x[53][48] x[53][49] x[53][50] x[53][51] x[53][52] x[53][53] x[53][54] x[53][55] x[53][56] x[53][57] x[53][58] x[53][59] x[53][60] x[53][61] x[53][62] x[53][63] x[53][64] x[53][65] x[53][66] x[53][67] x[54][0] x[54][1] x[54][2] x[54][3] x[54][4] x[54][5] x[54][6] x[54][7] x[54][8] x[54][9] x[54][10] x[54][11] x[54][12] x[54][13] x[54][14] x[54][15] x[54][16] x[54][17] x[54][18] x[54][19] x[54][20] x[54][21] x[54][22] x[54][23] x[54][24] x[54][25] x[54][26] x[54][27] x[54][28] x[54][29] x[54][30] x[54][31] x[54][32] x[54][33] x[54][34] x[54][35] x[54][36] x[54][37] x[54][38] x[54][39] x[54][40] x[54][41] x[54][42] x[54][43] x[54][44] x[54][45] x[54][46] x[54][47] x[54][48] x[54][49] x[54][50] x[54][51] x[54][52] x[54][53] x[54][54] x[54][55] x[54][56] x[54][57] x[54][58] x[54][59] x[54][60] x[54][61] x[54][62] x[54][63] x[54][64] x[54][65] x[54][66] x[54][67] x[55][0] x[55][1] x[55][2] x[55][3] x[55][4] x[55][5] x[55][6] x[55][7] x[55][8] x[55][9] x[55][10] x[55][11] x[55][12] x[55][13] x[55][14] x[55][15] x[55][16] x[55][17] x[55][18] x[55][19] x[55][20] x[55][21] x[55][22] x[55][23] x[55][24] x[55][25] x[55][26] x[55][27] x[55][28] x[55][29] x[55][30] x[55][31] x[55][32] x[55][33] x[55][34] x[55][35] x[55][36] x[55][37] x[55][38] x[55][39] x[55][40] x[55][41] x[55][42] x[55][43] x[55][44] x[55][45] x[55][46] x[55][47] x[55][48] x[55][49] x[55][50] x[55][51] x[55][52] x[55][53] x[55][54] x[55][55] x[55][56] x[55][57] x[55][58] x[55][59] x[55][60] x[55][61] x[55][62] x[55][63] x[55][64] x[55][65] x[55][66] x[55][67] x[56][0] x[56][1] x[56][2] x[56][3] x[56][4] x[56][5] x[56][6] x[56][7] x[56][8] x[56][9] x[56][10] x[56][11] x[56][12] x[56][13] x[56][14] x[56][15] x[56][16] x[56][17] x[56][18] x[56][19] x[56][20] x[56][21] x[56][22] x[56][23] x[56][24] x[56][25] x[56][26] x[56][27] x[56][28] x[56][29] x[56][30] x[56][31] x[56][32] x[56][33] x[56][34] x[56][35] x[56][36] x[56][37] x[56][38] x[56][39] x[56][40] x[56][41] x[56][42] x[56][43] x[56][44] x[56][45] x[56][46] x[56][47] x[56][48] x[56][49] x[56][50] x[56][51] x[56][52] x[56][53] x[56][54] x[56][55] x[56][56] x[56][57] x[56][58] x[56][59] x[56][60] x[56][61] x[56][62] x[56][63] x[56][64] x[56][65] x[56][66] x[56][67] x[57][0] x[57][1] x[57][2] x[57][3] x[57][4] x[57][5] x[57][6] x[57][7] x[57][8] x[57][9] x[57][10] x[57][11] x[57][12] x[57][13] x[57][14] x[57][15] x[57][16] x[57][17] x[57][18] x[57][19] x[57][20] x[57][21] x[57][22] x[57][23] x[57][24] x[57][25] x[57][26] x[57][27] x[57][28] x[57][29] x[57][30] x[57][31] x[57][32] x[57][33] x[57][34] x[57][35] x[57][36] x[57][37] x[57][38] x[57][39] x[57][40] x[57][41] x[57][42] x[57][43] x[57][44] x[57][45] x[57][46] x[57][47] x[57][48] x[57][49] x[57][50] x[57][51] x[57][52] x[57][53] x[57][54] x[57][55] x[57][56] x[57][57] x[57][58] x[57][59] x[57][60] x[57][61] x[57][62] x[57][63] x[57][64] x[57][65] x[57][66] x[57][67] x[58][0] x[58][1] x[58][2] x[58][3] x[58][4] x[58][5] x[58][6] x[58][7] x[58][8] x[58][9] x[58][10] x[58][11] x[58][12] x[58][13] x[58][14] x[58][15] x[58][16] x[58][17] x[58][18] x[58][19] x[58][20] x[58][21] x[58][22] x[58][23] x[58][24] x[58][25] x[58][26] x[58][27] x[58][28] x[58][29] x[58][30] x[58][31] x[58][32] x[58][33] x[58][34] x[58][35] x[58][36] x[58][37] x[58][38] x[58][39] x[58][40] x[58][41] x[58][42] x[58][43] x[58][44] x[58][45] x[58][46] x[58][47] x[58][48] x[58][49] x[58][50] x[58][51] x[58][52] x[58][53] x[58][54] x[58][55] x[58][56] x[58][57] x[58][58] x[58][59] x[58][60] x[58][61] x[58][62] x[58][63] x[58][64] x[58][65] x[58][66] x[58][67] x[59][0] x[59][1] x[59][2] x[59][3] x[59][4] x[59][5] x[59][6] x[59][7] x[59][8] x[59][9] x[59][10] x[59][11] x[59][12] x[59][13] x[59][14] x[59][15] x[59][16] x[59][17] x[59][18] x[59][19] x[59][20] x[59][21] x[59][22] x[59][23] x[59][24] x[59][25] x[59][26] x[59][27] x[59][28] x[59][29] x[59][30] x[59][31] x[59][32] x[59][33] x[59][34] x[59][35] x[59][36] x[59][37] x[59][38] x[59][39] x[59][40] x[59][41] x[59][42] x[59][43] x[59][44] x[59][45] x[59][46] x[59][47] x[59][48] x[59][49] x[59][50] x[59][51] x[59][52] x[59][53] x[59][54] x[59][55] x[59][56] x[59][57] x[59][58] x[59][59] x[59][60] x[59][61] x[59][62] x[59][63] x[59][64] x[59][65] x[59][66] x[59][67] x[60][0] x[60][1] x[60][2] x[60][3] x[60][4] x[60][5] x[60][6] x[60][7] x[60][8] x[60][9] x[60][10] x[60][11] x[60][12] x[60][13] x[60][14] x[60][15] x[60][16] x[60][17] x[60][18] x[60][19] x[60][20] x[60][21] x[60][22] x[60][23] x[60][24] x[60][25] x[60][26] x[60][27] x[60][28] x[60][29] x[60][30] x[60][31] x[60][32] x[60][33] x[60][34] x[60][35] x[60][36] x[60][37] x[60][38] x[60][39] x[60][40] x[60][41] x[60][42] x[60][43] x[60][44] x[60][45] x[60][46] x[60][47] x[60][48] x[60][49] x[60][50] x[60][51] x[60][52] x[60][53] x[60][54] x[60][55] x[60][56] x[60][57] x[60][58] x[60][59] x[60][60] x[60][61] x[60][62] x[60][63] x[60][64] x[60][65] x[60][66] x[60][67] x[61][0] x[61][1] x[61][2] x[61][3] x[61][4] x[61][5] x[61][6] x[61][7] x[61][8] x[61][9] x[61][10] x[61][11] x[61][12] x[61][13] x[61][14] x[61][15] x[61][16] x[61][17] x[61][18] x[61][19] x[61][20] x[61][21] x[61][22] x[61][23] x[61][24] x[61][25] x[61][26] x[61][27] x[61][28] x[61][29] x[61][30] x[61][31] x[61][32] x[61][33] x[61][34] x[61][35] x[61][36] x[61][37] x[61][38] x[61][39] x[61][40] x[61][41] x[61][42] x[61][43] x[61][44] x[61][45] x[61][46] x[61][47] x[61][48] x[61][49] x[61][50] x[61][51] x[61][52] x[61][53] x[61][54] x[61][55] x[61][56] x[61][57] x[61][58] x[61][59] x[61][60] x[61][61] x[61][62] x[61][63] x[61][64] x[61][65] x[61][66] x[61][67] x[62][0] x[62][1] x[62][2] x[62][3] x[62][4] x[62][5] x[62][6] x[62][7] x[62][8] x[62][9] x[62][10] x[62][11] x[62][12] x[62][13] x[62][14] x[62][15] x[62][16] x[62][17] x[62][18] x[62][19] x[62][20] x[62][21] x[62][22] x[62][23] x[62][24] x[62][25] x[62][26] x[62][27] x[62][28] x[62][29] x[62][30] x[62][31] x[62][32] x[62][33] x[62][34] x[62][35] x[62][36] x[62][37] x[62][38] x[62][39] x[62][40] x[62][41] x[62][42] x[62][43] x[62][44] x[62][45] x[62][46] x[62][47] x[62][48] x[62][49] x[62][50] x[62][51] x[62][52] x[62][53] x[62][54] x[62][55] x[62][56] x[62][57] x[62][58] x[62][59] x[62][60] x[62][61] x[62][62] x[62][63] x[62][64] x[62][65] x[62][66] x[62][67] x[63][0] x[63][1] x[63][2] x[63][3] x[63][4] x[63][5] x[63][6] x[63][7] x[63][8] x[63][9] x[63][10] x[63][11] x[63][12] x[63][13] x[63][14] x[63][15] x[63][16] x[63][17] x[63][18] x[63][19] x[63][20] x[63][21] x[63][22] x[63][23] x[63][24] x[63][25] x[63][26] x[63][27] x[63][28] x[63][29] x[63][30] x[63][31] x[63][32] x[63][33] x[63][34] x[63][35] x[63][36] x[63][37] x[63][38] x[63][39] x[63][40] x[63][41] x[63][42] x[63][43] x[63][44] x[63][45] x[63][46] x[63][47] x[63][48] x[63][49] x[63][50] x[63][51] x[63][52] x[63][53] x[63][54] x[63][55] x[63][56] x[63][57] x[63][58] x[63][59] x[63][60] x[63][61] x[63][62] x[63][63] x[63][64] x[63][65] x[63][66] x[63][67] x[64][0] x[64][1] x[64][2] x[64][3] x[64][4] x[64][5] x[64][6] x[64][7] x[64][8] x[64][9] x[64][10] x[64][11] x[64][12] x[64][13] x[64][14] x[64][15] x[64][16] x[64][17] x[64][18] x[64][19] x[64][20] x[64][21] x[64][22] x[64][23] x[64][24] x[64][25] x[64][26] x[64][27] x[64][28] x[64][29] x[64][30] x[64][31] x[64][32] x[64][33] x[64][34] x[64][35] x[64][36] x[64][37] x[64][38] x[64][39] x[64][40] x[64][41] x[64][42] x[64][43] x[64][44] x[64][45] x[64][46] x[64][47] x[64][48] x[64][49] x[64][50] x[64][51] x[64][52] x[64][53] x[64][54] x[64][55] x[64][56] x[64][57] x[64][58] x[64][59] x[64][60] x[64][61] x[64][62] x[64][63] x[64][64] x[64][65] x[64][66] x[64][67] x[65][0] x[65][1] x[65][2] x[65][3] x[65][4] x[65][5] x[65][6] x[65][7] x[65][8] x[65][9] x[65][10] x[65][11] x[65][12] x[65][13] x[65][14] x[65][15] x[65][16] x[65][17] x[65][18] x[65][19] x[65][20] x[65][21] x[65][22] x[65][23] x[65][24] x[65][25] x[65][26] x[65][27] x[65][28] x[65][29] x[65][30] x[65][31] x[65][32] x[65][33] x[65][34] x[65][35] x[65][36] x[65][37] x[65][38] x[65][39] x[65][40] x[65][41] x[65][42] x[65][43] x[65][44] x[65][45] x[65][46] x[65][47] x[65][48] x[65][49] x[65][50] x[65][51] x[65][52] x[65][53] x[65][54] x[65][55] x[65][56] x[65][57] x[65][58] x[65][59] x[65][60] x[65][61] x[65][62] x[65][63] x[65][64] x[65][65] x[65][66] x[65][67] x[66][0] x[66][1] x[66][2] x[66][3] x[66][4] x[66][5] x[66][6] x[66][7] x[66][8] x[66][9] x[66][10] x[66][11] x[66][12] x[66][13] x[66][14] x[66][15] x[66][16] x[66][17] x[66][18] x[66][19] x[66][20] x[66][21] x[66][22] x[66][23] x[66][24] x[66][25] x[66][26] x[66][27] x[66][28] x[66][29] x[66][30] x[66][31] x[66][32] x[66][33] x[66][34] x[66][35] x[66][36] x[66][37] x[66][38] x[66][39] x[66][40] x[66][41] x[66][42] x[66][43] x[66][44] x[66][45] x[66][46] x[66][47] x[66][48] x[66][49] x[66][50] x[66][51] x[66][52] x[66][53] x[66][54] x[66][55] x[66][56] x[66][57] x[66][58] x[66][59] x[66][60] x[66][61] x[66][62] x[66][63] x[66][64] x[66][65] x[66][66] x[66][67] x[67][0] x[67][1] x[67][2] x[67][3] x[67][4] x[67][5] x[67][6] x[67][7] x[67][8] x[67][9] x[67][10] x[67][11] x[67][12] x[67][13] x[67][14] x[67][15] x[67][16] x[67][17] x[67][18] x[67][19] x[67][20] x[67][21] x[67][22] x[67][23] x[67][24] x[67][25] x[67][26] x[67][27] x[67][28] x[67][29] x[67][30] x[67][31] x[67][32] x[67][33] x[67][34] x[67][35] x[67][36] x[67][37] x[67][38] x[67][39] x[67][40] x[67][41] x[67][42] x[67][43] x[67][44] x[67][45] x[67][46] x[67][47] x[67][48] x[67][49] x[67][50] x[67][51] x[67][52] x[67][53] x[67][54] x[67][55] x[67][56] x[67][57] x[67][58] x[67][59] x[67][60] x[67][61] x[67][62] x[67][63] x[67][64] x[67][65] x[67][66] x[67][67] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33] u[34] u[35] u[36] u[37] u[38] u[39] u[40] u[41] u[42] u[43] u[44] u[45] u[46] u[47] u[48] u[49] u[50] u[51] u[52] u[53] u[54] u[55] u[56] u[57] u[58] u[59] u[60] u[61] u[62] u[63] u[64] u[65] u[66] u[67] </list> 254.61/240.01 v <values>0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 83 21 20 18 50 64 96 33 42 28 40 58 99 51 45 39 50 33 10 28 82 68 23 31 16 68 88 30 86 17 39 1 10 58 38 36 14 10 42 16 25 73 98 42 61 28 32 69 99 12 48 48 10 19 64 15 78 6 42 8 79 37 13 8 73 66 62 </values> 254.61/240.01 v </instantiation> 254.61/240.01 c Unexpected resolution interruption!
OK 3088
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 (10863 MiB free) memory of node 1: 16384 MiB (11939 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284581-1503212062/watcher-4284581-1503212062 -o /tmp/evaluation-result-4284581-1503212062/solver-4284581-1503212062 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node151-1503208976-12842 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 2115649136 HOME/instance-4284581-1503212062.xml running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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=14994, runsolver pid=14991 Current StackSize limit: 8192 KiB [startup+0.100083 s]* /proc/loadavg: 1.65 1.59 1.59 3/217 15010 /proc/meminfo: memFree=23332740/32770624 swapFree=67108860/67108860 [pid=14994] ppid=14991 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7 /proc/14994/stat : 14994 (xcsp3-exec) S 14991 14994 12810 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154286936 9740288 346 33554432000 4194304 5098028 140726090591824 140726090589928 140655627850364 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 19066880 140726090597492 140726090597696 140726090597696 140726090600427 0 /proc/14994/statm: 2378 346 289 221 0 87 0 [pid=14996] ppid=14994 vsize=13978596 memory=28796 CPUtime=0.12 cores=1,3,5,7 /proc/14996/stat : 14996 (java) S 14994 14994 12810 0 -1 1077944320 5132 0 0 0 11 1 0 0 20 0 15 0 154286936 14314082304 7199 33554432000 4194304 4196468 140737368866544 140737368849088 140099106213623 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 /proc/14996/statm: 3494649 7199 2867 1 0 3482966 0 [pid=14996/tid=14997] ppid=14994 vsize=13978596 memory=8514701219881125282 CPUtime=0.09 cores=1,3,5,7 /proc/14996/task/14997/stat : 14997 (java) R 14994 14994 12810 0 -1 4202560 3069 0 0 0 9 0 0 0 20 0 15 0 154286937 14314082304 7199 33554432000 4194304 4196468 140737368866544 140099110435872 140099106235549 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=14998] ppid=14994 vsize=13978596 memory=3472468795140191440 CPUtime=0 cores=1,3,5,7 /proc/14996/task/14998/stat : 14998 (java) S 14994 14994 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154286937 14314082304 7199 33554432000 4194304 4196468 140737368866544 140099021281936 140099106223829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=14999] ppid=14994 vsize=13978596 memory=140666245039744 CPUtime=0 cores=1,3,5,7 /proc/14996/task/14999/stat : 14999 (java) S 14994 14994 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154286938 14314082304 7199 33554432000 4194304 4196468 140737368866544 140099020229136 140099106223829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15000] ppid=14994 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7 /proc/14996/task/15000/stat : 15000 (java) S 14994 14994 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154286938 14314082304 7199 33554432000 4194304 4196468 140737368866544 140099019176336 140099106223829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15001] ppid=14994 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7 /proc/14996/task/15001/stat : 15001 (java) S 14994 14994 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154286938 14314082304 7199 33554432000 4194304 4196468 140737368866544 140099018123536 140099106223829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15002] ppid=14994 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7 /proc/14996/task/15002/stat : 15002 (java) S 14994 14994 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154286939 14314082304 7199 33554432000 4194304 4196468 140737368866544 140098580474736 140099106224770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15003] ppid=14994 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/14996/task/15003/stat : 15003 (java) S 14994 14994 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154286939 14314082304 7199 33554432000 4194304 4196468 140737368866544 140098579420704 140099106223829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15004] ppid=14994 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7 /proc/14996/task/15004/stat : 15004 (java) S 14994 14994 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154286939 14314082304 7199 33554432000 4194304 4196468 140737368866544 140098578367856 140099106223829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15005] ppid=14994 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7 /proc/14996/task/15005/stat : 15005 (java) S 14994 14994 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154286942 14314082304 7199 33554432000 4194304 4196468 140737368866544 140098577316176 140099106232219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15006] ppid=14994 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7 /proc/14996/task/15006/stat : 15006 (java) S 14994 14994 12810 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 154286942 14314082304 7199 33554432000 4194304 4196468 140737368866544 140098576263536 140099106224770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15007] ppid=14994 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/14996/task/15007/stat : 15007 (java) S 14994 14994 12810 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 154286942 14314082304 7199 33554432000 4194304 4196468 140737368866544 140098575210736 140099106224770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15008] ppid=14994 vsize=13978596 memory=140666245039744 CPUtime=0.01 cores=1,3,5,7 /proc/14996/task/15008/stat : 15008 (java) R 14994 14994 12810 0 -1 4202560 326 0 0 0 1 0 0 0 20 0 15 0 154286942 14314082304 7199 33554432000 4194304 4196468 140737368866544 140098574157936 140099084913824 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15009] ppid=14994 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/14996/task/15009/stat : 15009 (java) S 14994 14994 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154286942 14314082304 7199 33554432000 4194304 4196468 140737368866544 140098573105376 140099106223829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15010] ppid=14994 vsize=13978596 memory=140666245039744 CPUtime=0 cores=1,3,5,7 /proc/14996/task/15010/stat : 15010 (java) S 14994 14994 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154286942 14314082304 7199 33554432000 4194304 4196468 140737368866544 140098572053680 140099106224770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 13988108 KiB Current children cumulated memory: 30180 KiB [startup+0.210665 s]* /proc/loadavg: 1.65 1.59 1.59 4/217 15010 /proc/meminfo: memFree=23322436/32770624 swapFree=67108860/67108860 [pid=14994] ppid=14991 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7 /proc/14994/stat : 14994 (xcsp3-exec) S 14991 14994 12810 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154286936 9740288 346 33554432000 4194304 5098028 140726090591824 140726090589928 140655627850364 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 19066880 140726090597492 140726090597696 140726090597696 140726090600427 0 /proc/14994/statm: 2378 346 289 221 0 87 0 [pid=14996] ppid=14994 vsize=13982852 memory=40408 CPUtime=0.33 cores=1,3,5,7 /proc/14996/stat : 14996 (java) S 14994 14994 12810 0 -1 1077944320 7725 0 0 0 32 1 0 0 20 0 15 0 154286936 14318440448 10102 33554432000 4194304 4196468 140737368866544 140737368849088 140099106213623 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 /proc/14996/statm: 3495713 10102 3051 1 0 3482966 0 [pid=14996/tid=14997] ppid=14994 vsize=13982852 memory=5855082630820233377 CPUtime=0.2 cores=1,3,5,7 /proc/14996/task/14997/stat : 14997 (java) R 14994 14994 12810 0 -1 4202560 4952 0 0 0 19 1 0 0 20 0 15 0 154286937 14318440448 10102 33554432000 4194304 4196468 140737368866544 140099110424528 140099090294110 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=14998] ppid=14994 vsize=13982852 memory=3472468795140191440 CPUtime=0 cores=1,3,5,7 /proc/14996/task/14998/stat : 14998 (java) S 14994 14994 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154286937 14318440448 10102 33554432000 4194304 4196468 140737368866544 140099021281936 140099106223829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=14999] ppid=14994 vsize=13982852 memory=140666245039744 CPUtime=0 cores=1,3,5,7 /proc/14996/task/14999/stat : 14999 (java) S 14994 14994 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154286938 14318440448 10102 33554432000 4194304 4196468 140737368866544 140099020229136 140099106223829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15000] ppid=14994 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7 /proc/14996/task/15000/stat : 15000 (java) S 14994 14994 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154286938 14318440448 10102 33554432000 4194304 4196468 140737368866544 140099019176336 140099106223829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15001] ppid=14994 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/14996/task/15001/stat : 15001 (java) S 14994 14994 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154286938 14318440448 10102 33554432000 4194304 4196468 140737368866544 140099018123536 140099106223829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15002] ppid=14994 vsize=13982852 memory=140666245039744 CPUtime=0 cores=1,3,5,7 /proc/14996/task/15002/stat : 15002 (java) S 14994 14994 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154286939 14318440448 10102 33554432000 4194304 4196468 140737368866544 140098580474736 140099106224770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15003] ppid=14994 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/14996/task/15003/stat : 15003 (java) S 14994 14994 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154286939 14318440448 10102 33554432000 4194304 4196468 140737368866544 140098579420704 140099106223829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15004] ppid=14994 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7 /proc/14996/task/15004/stat : 15004 (java) S 14994 14994 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154286939 14318440448 10102 33554432000 4194304 4196468 140737368866544 140098578367856 140099106223829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15005] ppid=14994 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7 /proc/14996/task/15005/stat : 15005 (java) S 14994 14994 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154286942 14318440448 10102 33554432000 4194304 4196468 140737368866544 140098577316176 140099106232219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15006] ppid=14994 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7 /proc/14996/task/15006/stat : 15006 (java) S 14994 14994 12810 0 -1 1077944384 416 0 0 0 2 0 0 0 20 0 15 0 154286942 14318440448 10102 33554432000 4194304 4196468 140737368866544 140098576263536 140099106224770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15007] ppid=14994 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7 /proc/14996/task/15007/stat : 15007 (java) S 14994 14994 12810 0 -1 1077944384 372 0 0 0 2 0 0 0 20 0 15 0 154286942 14318440448 10102 33554432000 4194304 4196468 140737368866544 140098575210736 140099106224770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15008] ppid=14994 vsize=13982852 memory=140666245039744 CPUtime=0.08 cores=1,3,5,7 /proc/14996/task/15008/stat : 15008 (java) R 14994 14994 12810 0 -1 4202560 684 0 0 0 8 0 0 0 20 0 15 0 154286942 14318440448 10102 33554432000 4194304 4196468 140737368866544 140098574157936 140099098450750 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15009] ppid=14994 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/14996/task/15009/stat : 15009 (java) S 14994 14994 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154286942 14318440448 10102 33554432000 4194304 4196468 140737368866544 140098573105376 140099106223829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15010] ppid=14994 vsize=13982852 memory=140666245039744 CPUtime=0 cores=1,3,5,7 /proc/14996/task/15010/stat : 15010 (java) S 14994 14994 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154286942 14318440448 10102 33554432000 4194304 4196468 140737368866544 140098572053680 140099106224770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 13992364 KiB Current children cumulated memory: 41792 KiB [startup+0.315055 s]* /proc/loadavg: 1.65 1.59 1.59 5/217 15010 /proc/meminfo: memFree=23315240/32770624 swapFree=67108860/67108860 [pid=14994] ppid=14991 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7 /proc/14994/stat : 14994 (xcsp3-exec) S 14991 14994 12810 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154286936 9740288 346 33554432000 4194304 5098028 140726090591824 140726090589928 140655627850364 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 19066880 140726090597492 140726090597696 140726090597696 140726090600427 0 /proc/14994/statm: 2378 346 289 221 0 87 0 [pid=14996] ppid=14994 vsize=13982852 memory=47240 CPUtime=0.53 cores=1,3,5,7 /proc/14996/stat : 14996 (java) S 14994 14994 12810 0 -1 1077944320 8508 0 0 0 51 2 0 0 20 0 15 0 154286936 14318440448 11810 33554432000 4194304 4196468 140737368866544 140737368849088 140099106213623 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 /proc/14996/statm: 3495713 11810 3105 1 0 3482966 0 [pid=14996/tid=14997] ppid=14994 vsize=13982852 memory=8514701219880862117 CPUtime=0.29 cores=1,3,5,7 /proc/14996/task/14997/stat : 14997 (java) R 14994 14994 12810 0 -1 4202560 5480 0 0 0 28 1 0 0 20 0 15 0 154286937 14318440448 11810 33554432000 4194304 4196468 140737368866544 140099110451648 140099106235549 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=14998] ppid=14994 vsize=13982852 memory=3472468795140191440 CPUtime=0 cores=1,3,5,7 /proc/14996/task/14998/stat : 14998 (java) S 14994 14994 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154286937 14318440448 11810 33554432000 4194304 4196468 140737368866544 140099021281936 140099106223829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=14999] ppid=14994 vsize=13982852 memory=140666245039744 CPUtime=0 cores=1,3,5,7 /proc/14996/task/14999/stat : 14999 (java) S 14994 14994 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154286938 14318440448 11810 33554432000 4194304 4196468 140737368866544 140099020229136 140099106223829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15000] ppid=14994 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7 /proc/14996/task/15000/stat : 15000 (java) S 14994 14994 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154286938 14318440448 11810 33554432000 4194304 4196468 140737368866544 140099019176336 140099106223829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15001] ppid=14994 vsize=13982852 memory=140666084665375 CPUtime=0 cores=1,3,5,7 /proc/14996/task/15001/stat : 15001 (java) S 14994 14994 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154286938 14318440448 11810 33554432000 4194304 4196468 140737368866544 140099018123536 140099106223829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15002] ppid=14994 vsize=13982852 memory=281332169309984 CPUtime=0 cores=1,3,5,7 /proc/14996/task/15002/stat : 15002 (java) S 14994 14994 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154286939 14318440448 11810 33554432000 4194304 4196468 140737368866544 140098580474736 140099106224770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15003] ppid=14994 vsize=13982852 memory=140666084642319 CPUtime=0 cores=1,3,5,7 /proc/14996/task/15003/stat : 15003 (java) S 14994 14994 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154286939 14318440448 11810 33554432000 4194304 4196468 140737368866544 140098579420704 140099106223829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15004] ppid=14994 vsize=13982852 memory=281332329691232 CPUtime=0 cores=1,3,5,7 /proc/14996/task/15004/stat : 15004 (java) S 14994 14994 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154286939 14318440448 11810 33554432000 4194304 4196468 140737368866544 140098578367856 140099106223829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15005] ppid=14994 vsize=13982852 memory=140666084646927 CPUtime=0 cores=1,3,5,7 /proc/14996/task/15005/stat : 15005 (java) S 14994 14994 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154286942 14318440448 11810 33554432000 4194304 4196468 140737368866544 140098577316176 140099106232219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15006] ppid=14994 vsize=13982852 memory=0 CPUtime=0.04 cores=1,3,5,7 /proc/14996/task/15006/stat : 15006 (java) R 14994 14994 12810 0 -1 4202560 447 0 0 0 4 0 0 0 20 0 15 0 154286942 14318440448 11810 33554432000 4194304 4196468 140737368866544 140098576253328 140099087399145 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15007] ppid=14994 vsize=13982852 memory=-1 CPUtime=0.04 cores=1,3,5,7 /proc/14996/task/15007/stat : 15007 (java) R 14994 14994 12810 0 -1 1077944384 446 0 0 0 4 0 0 0 20 0 15 0 154286942 14318440448 11810 33554432000 4194304 4196468 140737368866544 140098575210736 140099106224770 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15008] ppid=14994 vsize=13982852 memory=0 CPUtime=0.14 cores=1,3,5,7 /proc/14996/task/15008/stat : 15008 (java) R 14994 14994 12810 0 -1 4202560 832 0 0 0 14 0 0 0 20 0 15 0 154286942 14318440448 11810 33554432000 4194304 4196468 140737368866544 140098574154872 140099085169258 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15009] ppid=14994 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7 /proc/14996/task/15009/stat : 15009 (java) S 14994 14994 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154286942 14318440448 11810 33554432000 4194304 4196468 140737368866544 140098573105376 140099106223829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15010] ppid=14994 vsize=13982852 memory=1384 CPUtime=0 cores=1,3,5,7 /proc/14996/task/15010/stat : 15010 (java) S 14994 14994 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154286942 14318440448 11810 33554432000 4194304 4196468 140737368866544 140098572053680 140099106224770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 13992364 KiB Current children cumulated memory: 48624 KiB [startup+0.700929 s] /proc/loadavg: 1.65 1.59 1.59 5/217 15010 /proc/meminfo: memFree=23284192/32770624 swapFree=67108860/67108860 [pid=14994] ppid=14991 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7 /proc/14994/stat : 14994 (xcsp3-exec) S 14991 14994 12810 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154286936 9740288 346 33554432000 4194304 5098028 140726090591824 140726090589928 140655627850364 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 19066880 140726090597492 140726090597696 140726090597696 140726090600427 0 /proc/14994/statm: 2378 346 289 221 0 87 0 [pid=14996] ppid=14994 vsize=13984976 memory=110320 CPUtime=1.81 cores=1,3,5,7 /proc/14996/stat : 14996 (java) S 14994 14994 12810 0 -1 1077944320 11940 0 0 0 178 3 0 0 20 0 15 0 154286936 14320615424 27580 33554432000 4194304 4196468 140737368866544 140737368849088 140099106213623 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 /proc/14996/statm: 3496244 27580 3201 1 0 3483478 0 [pid=14996/tid=14997] ppid=14994 vsize=13984976 memory=6154820267226784105 CPUtime=0.67 cores=1,3,5,7 /proc/14996/task/14997/stat : 14997 (java) R 14994 14994 12810 0 -1 4202560 5976 0 0 0 65 2 0 0 20 0 15 0 154286937 14320615424 27580 33554432000 4194304 4196468 140737368866544 140099110450304 140098700120257 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=14998] ppid=14994 vsize=13984976 memory=7881696724453321575 CPUtime=0 cores=1,3,5,7 /proc/14996/task/14998/stat : 14998 (java) S 14994 14994 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154286937 14320615424 27580 33554432000 4194304 4196468 140737368866544 140099021281936 140099106223829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=14999] ppid=14994 vsize=13984976 memory=4638778398333223008 CPUtime=0 cores=1,3,5,7 /proc/14996/task/14999/stat : 14999 (java) S 14994 14994 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154286938 14320615424 27580 33554432000 4194304 4196468 140737368866544 140099020229136 140099106223829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15000] ppid=14994 vsize=13984976 memory=-7242455096852575424 CPUtime=0 cores=1,3,5,7 /proc/14996/task/15000/stat : 15000 (java) S 14994 14994 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154286938 14320615424 27580 33554432000 4194304 4196468 140737368866544 140099019176336 140099106223829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15001] ppid=14994 vsize=13984976 memory=4132774494331964790 CPUtime=0 cores=1,3,5,7 /proc/14996/task/15001/stat : 15001 (java) S 14994 14994 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154286938 14320615424 27580 33554432000 4194304 4196468 140737368866544 140099018123536 140099106223829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15002] ppid=14994 vsize=13984976 memory=6944656591801717918 CPUtime=0 cores=1,3,5,7 /proc/14996/task/15002/stat : 15002 (java) S 14994 14994 12810 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154286939 14320615424 27580 33554432000 4194304 4196468 140737368866544 140098580474736 140099106224770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15003] ppid=14994 vsize=13984976 memory=4612 CPUtime=0 cores=1,3,5,7 /proc/14996/task/15003/stat : 15003 (java) S 14994 14994 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154286939 14320615424 27580 33554432000 4194304 4196468 140737368866544 140098579420704 140099106223829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15004] ppid=14994 vsize=13984976 memory=6884 CPUtime=0 cores=1,3,5,7 /proc/14996/task/15004/stat : 15004 (java) S 14994 14994 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154286939 14320615424 27580 33554432000 4194304 4196468 140737368866544 140098578367856 140099106223829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15005] ppid=14994 vsize=13984976 memory=2244 CPUtime=0 cores=1,3,5,7 /proc/14996/task/15005/stat : 15005 (java) S 14994 14994 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154286942 14320615424 27580 33554432000 4194304 4196468 140737368866544 140098577316176 140099106232219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15006] ppid=14994 vsize=13984976 memory=42960 CPUtime=0.37 cores=1,3,5,7 /proc/14996/task/15006/stat : 15006 (java) R 14994 14994 12810 0 -1 4202560 1382 0 0 0 37 0 0 0 20 0 15 0 154286942 14320615424 27580 33554432000 4194304 4196468 140737368866544 140098576253392 140099092241601 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15007] ppid=14994 vsize=13984976 memory=1292 CPUtime=0.39 cores=1,3,5,7 /proc/14996/task/15007/stat : 15007 (java) R 14994 14994 12810 0 -1 4202560 1399 0 0 0 39 0 0 0 20 0 15 0 154286942 14320615424 27580 33554432000 4194304 4196468 140737368866544 140098575201328 140099087736069 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15008] ppid=14994 vsize=13984976 memory=2428 CPUtime=0.36 cores=1,3,5,7 /proc/14996/task/15008/stat : 15008 (java) R 14994 14994 12810 0 -1 1077944384 1877 0 0 0 36 0 0 0 20 0 15 0 154286942 14320615424 27580 33554432000 4194304 4196468 140737368866544 140098574153696 140099106223829 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15009] ppid=14994 vsize=13984976 memory=7091832833820811856 CPUtime=0 cores=1,3,5,7 /proc/14996/task/15009/stat : 15009 (java) S 14994 14994 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154286942 14320615424 27580 33554432000 4194304 4196468 140737368866544 140098573105376 140099106223829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15010] ppid=14994 vsize=13984976 memory=7881696724453321575 CPUtime=0 cores=1,3,5,7 /proc/14996/task/15010/stat : 15010 (java) S 14994 14994 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154286942 14320615424 27580 33554432000 4194304 4196468 140737368866544 140098572053680 140099106224770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 Current children cumulated CPU time: 1.81 s Current children cumulated vsize: 13994488 KiB Current children cumulated memory: 111704 KiB [startup+1.50079 s] /proc/loadavg: 1.65 1.59 1.59 5/217 15010 /proc/meminfo: memFree=23219160/32770624 swapFree=67108860/67108860 [pid=14994] ppid=14991 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7 /proc/14994/stat : 14994 (xcsp3-exec) S 14991 14994 12810 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154286936 9740288 346 33554432000 4194304 5098028 140726090591824 140726090589928 140655627850364 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 19066880 140726090597492 140726090597696 140726090597696 140726090600427 0 /proc/14994/statm: 2378 346 289 221 0 87 0 ################ # More data... # ################ /proc/14996/task/15004/stat : 15004 (java) S 14994 14994 12810 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 154286939 14320615424 504286 33554432000 4194304 4196468 140737368866544 140098578367872 140099106223829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15005] ppid=14994 vsize=13984976 memory=1960352 CPUtime=0 cores=1,3,5,7 /proc/14996/task/15005/stat : 15005 (java) S 14994 14994 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154286942 14320615424 504286 33554432000 4194304 4196468 140737368866544 140098577316176 140099106232219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15006] ppid=14994 vsize=13984976 memory=1384 CPUtime=4.57 cores=1,3,5,7 /proc/14996/task/15006/stat : 15006 (java) S 14994 14994 12810 0 -1 1077944384 12886 0 0 0 455 2 0 0 20 0 15 0 154286942 14320615424 504286 33554432000 4194304 4196468 140737368866544 140098576263536 140099106224770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15007] ppid=14994 vsize=13984976 memory=1960352 CPUtime=3.83 cores=1,3,5,7 /proc/14996/task/15007/stat : 15007 (java) S 14994 14994 12810 0 -1 1077944384 10149 0 0 0 382 1 0 0 20 0 15 0 154286942 14320615424 504286 33554432000 4194304 4196468 140737368866544 140098575210736 140099106224770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15008] ppid=14994 vsize=13984976 memory=2548 CPUtime=0.93 cores=1,3,5,7 /proc/14996/task/15008/stat : 15008 (java) S 14994 14994 12810 0 -1 1077944384 5762 0 0 0 91 2 0 0 20 0 15 0 154286942 14320615424 504286 33554432000 4194304 4196468 140737368866544 140098574157936 140099106224770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15009] ppid=14994 vsize=13984976 memory=792 CPUtime=0 cores=1,3,5,7 /proc/14996/task/15009/stat : 15009 (java) S 14994 14994 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154286942 14320615424 504286 33554432000 4194304 4196468 140737368866544 140098573105376 140099106223829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15010] ppid=14994 vsize=13984976 memory=10096 CPUtime=0.04 cores=1,3,5,7 /proc/14996/task/15010/stat : 15010 (java) S 14994 14994 12810 0 -1 1077944384 127 0 0 0 2 2 0 0 20 0 15 0 154286942 14320615424 504286 33554432000 4194304 4196468 140737368866544 140098572053680 140099106224770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 Current children cumulated CPU time: 113.79 s Current children cumulated vsize: 13994488 KiB Current children cumulated memory: 2018528 KiB [startup+162.301 s] /proc/loadavg: 1.98 1.75 1.65 3/217 15012 /proc/meminfo: memFree=19094324/32770624 swapFree=67108860/67108860 [pid=14994] ppid=14991 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7 /proc/14994/stat : 14994 (xcsp3-exec) S 14991 14994 12810 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154286936 9740288 346 33554432000 4194304 5098028 140726090591824 140726090589928 140655627850364 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 19066880 140726090597492 140726090597696 140726090597696 140726090600427 0 /proc/14994/statm: 2378 346 289 221 0 87 0 [pid=14996] ppid=14994 vsize=13984976 memory=2103640 CPUtime=174.4 cores=1,3,5,7 /proc/14996/stat : 14996 (java) S 14994 14994 12810 0 -1 1077944320 63021 0 0 0 17318 122 0 0 20 0 15 0 154286936 14320615424 525910 33554432000 4194304 4196468 140737368866544 140737368849088 140099106213623 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 /proc/14996/statm: 3496244 525910 3277 1 0 3483478 0 [pid=14996/tid=14997] ppid=14994 vsize=13984976 memory=2103640 CPUtime=161.35 cores=1,3,5,7 /proc/14996/task/14997/stat : 14997 (java) R 14994 14994 12810 0 -1 4202560 20623 0 0 0 16112 23 0 0 20 0 15 0 154286937 14320615424 525910 33554432000 4194304 4196468 140737368866544 140099110453072 140098702858765 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=14998] ppid=14994 vsize=13984976 memory=2103640 CPUtime=0.87 cores=1,3,5,7 /proc/14996/task/14998/stat : 14998 (java) S 14994 14994 12810 0 -1 1077944384 892 0 0 0 66 21 0 0 20 0 15 0 154286937 14320615424 525910 33554432000 4194304 4196468 140737368866544 140099021281936 140099106223829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=14999] ppid=14994 vsize=13984976 memory=2103640 CPUtime=0.85 cores=1,3,5,7 /proc/14996/task/14999/stat : 14999 (java) S 14994 14994 12810 0 -1 1077944384 1348 0 0 0 64 21 0 0 20 0 15 0 154286938 14320615424 525910 33554432000 4194304 4196468 140737368866544 140099020229136 140099106223829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15000] ppid=14994 vsize=13984976 memory=1384 CPUtime=0.87 cores=1,3,5,7 /proc/14996/task/15000/stat : 15000 (java) S 14994 14994 12810 0 -1 1077944384 1951 0 0 0 65 22 0 0 20 0 15 0 154286938 14320615424 525910 33554432000 4194304 4196468 140737368866544 140099019176336 140099106223829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15001] ppid=14994 vsize=13984976 memory=1384 CPUtime=0.88 cores=1,3,5,7 /proc/14996/task/15001/stat : 15001 (java) S 14994 14994 12810 0 -1 1077944384 3557 0 0 0 66 22 0 0 20 0 15 0 154286938 14320615424 525910 33554432000 4194304 4196468 140737368866544 140099018123536 140099106223829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15002] ppid=14994 vsize=13984976 memory=1384 CPUtime=0.02 cores=1,3,5,7 /proc/14996/task/15002/stat : 15002 (java) S 14994 14994 12810 0 -1 1077944384 2313 0 0 0 2 0 0 0 20 0 15 0 154286939 14320615424 525910 33554432000 4194304 4196468 140737368866544 140098580474736 140099106224770 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15003] ppid=14994 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7 /proc/14996/task/15003/stat : 15003 (java) S 14994 14994 12810 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 154286939 14320615424 525910 33554432000 4194304 4196468 140737368866544 140098579420768 140099106223829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15004] ppid=14994 vsize=13984976 memory=2103640 CPUtime=0 cores=1,3,5,7 /proc/14996/task/15004/stat : 15004 (java) S 14994 14994 12810 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 154286939 14320615424 525910 33554432000 4194304 4196468 140737368866544 140098578367872 140099106223829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15005] ppid=14994 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7 /proc/14996/task/15005/stat : 15005 (java) S 14994 14994 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154286942 14320615424 525910 33554432000 4194304 4196468 140737368866544 140098577316176 140099106232219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15006] ppid=14994 vsize=13984976 memory=2103640 CPUtime=4.61 cores=1,3,5,7 /proc/14996/task/15006/stat : 15006 (java) S 14994 14994 12810 0 -1 1077944384 14078 0 0 0 459 2 0 0 20 0 15 0 154286942 14320615424 525910 33554432000 4194304 4196468 140737368866544 140098576263536 140099106224770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15007] ppid=14994 vsize=13984976 memory=1384 CPUtime=3.83 cores=1,3,5,7 /proc/14996/task/15007/stat : 15007 (java) S 14994 14994 12810 0 -1 1077944384 10318 0 0 0 382 1 0 0 20 0 15 0 154286942 14320615424 525910 33554432000 4194304 4196468 140737368866544 140098575210736 140099106224770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15008] ppid=14994 vsize=13984976 memory=2036988 CPUtime=0.93 cores=1,3,5,7 /proc/14996/task/15008/stat : 15008 (java) S 14994 14994 12810 0 -1 1077944384 6395 0 0 0 91 2 0 0 20 0 15 0 154286942 14320615424 525910 33554432000 4194304 4196468 140737368866544 140098574157936 140099106224770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15009] ppid=14994 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7 /proc/14996/task/15009/stat : 15009 (java) S 14994 14994 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154286942 14320615424 525910 33554432000 4194304 4196468 140737368866544 140098573105376 140099106223829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15010] ppid=14994 vsize=13984976 memory=8600 CPUtime=0.08 cores=1,3,5,7 /proc/14996/task/15010/stat : 15010 (java) S 14994 14994 12810 0 -1 1077944384 173 0 0 0 4 4 0 0 20 0 15 0 154286942 14320615424 525910 33554432000 4194304 4196468 140737368866544 140098572053680 140099106224770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 Current children cumulated CPU time: 174.4 s Current children cumulated vsize: 13994488 KiB Current children cumulated memory: 2105024 KiB [startup+222.301 s] /proc/loadavg: 1.81 1.75 1.66 3/217 15091 /proc/meminfo: memFree=21736240/32770624 swapFree=67108860/67108860 [pid=14994] ppid=14991 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7 /proc/14994/stat : 14994 (xcsp3-exec) S 14991 14994 12810 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154286936 9740288 346 33554432000 4194304 5098028 140726090591824 140726090589928 140655627850364 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 19066880 140726090597492 140726090597696 140726090597696 140726090600427 0 /proc/14994/statm: 2378 346 289 221 0 87 0 [pid=14996] ppid=14994 vsize=13984976 memory=2186648 CPUtime=235.42 cores=1,3,5,7 /proc/14996/stat : 14996 (java) S 14994 14994 12810 0 -1 1077944320 72224 0 0 0 23397 145 0 0 20 0 15 0 154286936 14320615424 546662 33554432000 4194304 4196468 140737368866544 140737368849088 140099106213623 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 /proc/14996/statm: 3496244 546662 3277 1 0 3483478 0 [pid=14996/tid=14997] ppid=14994 vsize=13984976 memory=932 CPUtime=221.09 cores=1,3,5,7 /proc/14996/task/14997/stat : 14997 (java) R 14994 14994 12810 0 -1 4202560 23785 0 0 0 22086 23 0 0 20 0 15 0 154286937 14320615424 546662 33554432000 4194304 4196468 140737368866544 140099110452216 140098696193122 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=14998] ppid=14994 vsize=13984976 memory=2186648 CPUtime=1.13 cores=1,3,5,7 /proc/14996/task/14998/stat : 14998 (java) S 14994 14994 12810 0 -1 1077944384 1055 0 0 0 87 26 0 0 20 0 15 0 154286937 14320615424 546662 33554432000 4194304 4196468 140737368866544 140099021281936 140099106223829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=14999] ppid=14994 vsize=13984976 memory=1384 CPUtime=1.12 cores=1,3,5,7 /proc/14996/task/14999/stat : 14999 (java) S 14994 14994 12810 0 -1 1077944384 1508 0 0 0 86 26 0 0 20 0 15 0 154286938 14320615424 546662 33554432000 4194304 4196468 140737368866544 140099020229136 140099106223829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15000] ppid=14994 vsize=13984976 memory=2146720 CPUtime=1.13 cores=1,3,5,7 /proc/14996/task/15000/stat : 15000 (java) S 14994 14994 12810 0 -1 1077944384 2139 0 0 0 86 27 0 0 20 0 15 0 154286938 14320615424 546662 33554432000 4194304 4196468 140737368866544 140099019176336 140099106223829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15001] ppid=14994 vsize=13984976 memory=2146720 CPUtime=1.14 cores=1,3,5,7 /proc/14996/task/15001/stat : 15001 (java) S 14994 14994 12810 0 -1 1077944384 4182 0 0 0 87 27 0 0 20 0 15 0 154286938 14320615424 546662 33554432000 4194304 4196468 140737368866544 140099018123536 140099106223829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15002] ppid=14994 vsize=13984976 memory=2126800 CPUtime=0.02 cores=1,3,5,7 /proc/14996/task/15002/stat : 15002 (java) S 14994 14994 12810 0 -1 1077944384 2529 0 0 0 2 0 0 0 20 0 15 0 154286939 14320615424 546662 33554432000 4194304 4196468 140737368866544 140098580474736 140099106224770 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15003] ppid=14994 vsize=13984976 memory=1224 CPUtime=0 cores=1,3,5,7 /proc/14996/task/15003/stat : 15003 (java) S 14994 14994 12810 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 154286939 14320615424 546662 33554432000 4194304 4196468 140737368866544 140098579420768 140099106223829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15004] ppid=14994 vsize=13984976 memory=2186648 CPUtime=0 cores=1,3,5,7 /proc/14996/task/15004/stat : 15004 (java) S 14994 14994 12810 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 154286939 14320615424 546662 33554432000 4194304 4196468 140737368866544 140098578367872 140099106223829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15005] ppid=14994 vsize=13984976 memory=4144 CPUtime=0 cores=1,3,5,7 /proc/14996/task/15005/stat : 15005 (java) S 14994 14994 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154286942 14320615424 546662 33554432000 4194304 4196468 140737368866544 140098577316176 140099106232219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15006] ppid=14994 vsize=13984976 memory=1384 CPUtime=4.73 cores=1,3,5,7 /proc/14996/task/15006/stat : 15006 (java) S 14994 14994 12810 0 -1 1077944384 16115 0 0 0 471 2 0 0 20 0 15 0 154286942 14320615424 546662 33554432000 4194304 4196468 140737368866544 140098576263536 140099106224770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15007] ppid=14994 vsize=13984976 memory=2186648 CPUtime=3.88 cores=1,3,5,7 /proc/14996/task/15007/stat : 15007 (java) S 14994 14994 12810 0 -1 1077944384 11189 0 0 0 387 1 0 0 20 0 15 0 154286942 14320615424 546662 33554432000 4194304 4196468 140737368866544 140098575210736 140099106224770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15008] ppid=14994 vsize=13984976 memory=-7003737579269690708 CPUtime=0.95 cores=1,3,5,7 /proc/14996/task/15008/stat : 15008 (java) S 14994 14994 12810 0 -1 1077944384 8108 0 0 0 93 2 0 0 20 0 15 0 154286942 14320615424 546662 33554432000 4194304 4196468 140737368866544 140098574157936 140099106224770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15009] ppid=14994 vsize=13984976 memory=2146720 CPUtime=0 cores=1,3,5,7 /proc/14996/task/15009/stat : 15009 (java) S 14994 14994 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154286942 14320615424 546662 33554432000 4194304 4196468 140737368866544 140098573105376 140099106223829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15010] ppid=14994 vsize=13984976 memory=844 CPUtime=0.11 cores=1,3,5,7 /proc/14996/task/15010/stat : 15010 (java) S 14994 14994 12810 0 -1 1077944384 241 0 0 0 5 6 0 0 20 0 15 0 154286942 14320615424 546662 33554432000 4194304 4196468 140737368866544 140098572053680 140099106224770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 Current children cumulated CPU time: 235.42 s Current children cumulated vsize: 13994488 KiB Current children cumulated memory: 2188032 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+240.001 s]* /proc/loadavg: 1.78 1.75 1.66 3/217 15091 /proc/meminfo: memFree=21667076/32770624 swapFree=67108860/67108860 [pid=14994] ppid=14991 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7 /proc/14994/stat : 14994 (xcsp3-exec) S 14991 14994 12810 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154286936 9740288 346 33554432000 4194304 5098028 140726090591824 140726090589928 140655627850364 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 19066880 140726090597492 140726090597696 140726090597696 140726090600427 0 /proc/14994/statm: 2378 346 289 221 0 87 0 [pid=14996] ppid=14994 vsize=13984976 memory=2246036 CPUtime=254.61 cores=1,3,5,7 /proc/14996/stat : 14996 (java) S 14994 14994 12810 0 -1 1077944320 75143 0 0 0 25308 153 0 0 20 0 15 0 154286936 14320615424 561509 33554432000 4194304 4196468 140737368866544 140737368849088 140099106213623 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 /proc/14996/statm: 3496244 561509 3292 1 0 3483478 0 [pid=14996/tid=14997] ppid=14994 vsize=13984976 memory=932 CPUtime=238.22 cores=1,3,5,7 /proc/14996/task/14997/stat : 14997 (java) R 14994 14994 12810 0 -1 4202560 24104 0 0 0 23799 23 0 0 20 0 15 0 154286937 14320615424 561509 33554432000 4194304 4196468 140737368866544 140099110453144 140098702560316 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=14998] ppid=14994 vsize=13984976 memory=-7003737579269690708 CPUtime=1.62 cores=1,3,5,7 /proc/14996/task/14998/stat : 14998 (java) S 14994 14994 12810 0 -1 1077944384 1481 0 0 0 134 28 0 0 20 0 15 0 154286937 14320615424 561509 33554432000 4194304 4196468 140737368866544 140099021281936 140099106223829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=14999] ppid=14994 vsize=13984976 memory=2186648 CPUtime=1.61 cores=1,3,5,7 /proc/14996/task/14999/stat : 14999 (java) S 14994 14994 12810 0 -1 1077944384 1711 0 0 0 133 28 0 0 20 0 15 0 154286938 14320615424 561509 33554432000 4194304 4196468 140737368866544 140099020229136 140099106223829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15000] ppid=14994 vsize=13984976 memory=2186648 CPUtime=1.63 cores=1,3,5,7 /proc/14996/task/15000/stat : 15000 (java) S 14994 14994 12810 0 -1 1077944384 2572 0 0 0 134 29 0 0 20 0 15 0 154286938 14320615424 561509 33554432000 4194304 4196468 140737368866544 140099019176336 140099106223829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15001] ppid=14994 vsize=13984976 memory=7792 CPUtime=1.63 cores=1,3,5,7 /proc/14996/task/15001/stat : 15001 (java) S 14994 14994 12810 0 -1 1077944384 4435 0 0 0 134 29 0 0 20 0 15 0 154286938 14320615424 561509 33554432000 4194304 4196468 140737368866544 140099018123536 140099106223829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15002] ppid=14994 vsize=13984976 memory=844 CPUtime=0.1 cores=1,3,5,7 /proc/14996/task/15002/stat : 15002 (java) S 14994 14994 12810 0 -1 1077944384 3790 0 0 0 10 0 0 0 20 0 15 0 154286939 14320615424 561509 33554432000 4194304 4196468 140737368866544 140098580474736 140099106224770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15003] ppid=14994 vsize=13984976 memory=4108 CPUtime=0 cores=1,3,5,7 /proc/14996/task/15003/stat : 15003 (java) S 14994 14994 12810 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 154286939 14320615424 561509 33554432000 4194304 4196468 140737368866544 140098579420768 140099106223829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15004] ppid=14994 vsize=13984976 memory=1692 CPUtime=0 cores=1,3,5,7 /proc/14996/task/15004/stat : 15004 (java) S 14994 14994 12810 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 15 0 154286939 14320615424 561509 33554432000 4194304 4196468 140737368866544 140098578367872 140099106223829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15005] ppid=14994 vsize=13984976 memory=916 CPUtime=0 cores=1,3,5,7 /proc/14996/task/15005/stat : 15005 (java) S 14994 14994 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154286942 14320615424 561509 33554432000 4194304 4196468 140737368866544 140098577316176 140099106232219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15006] ppid=14994 vsize=13984976 memory=2246036 CPUtime=4.73 cores=1,3,5,7 /proc/14996/task/15006/stat : 15006 (java) S 14994 14994 12810 0 -1 1077944384 16115 0 0 0 471 2 0 0 20 0 15 0 154286942 14320615424 561509 33554432000 4194304 4196468 140737368866544 140098576263536 140099106224770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15007] ppid=14994 vsize=13984976 memory=1384 CPUtime=3.88 cores=1,3,5,7 /proc/14996/task/15007/stat : 15007 (java) S 14994 14994 12810 0 -1 1077944384 11189 0 0 0 387 1 0 0 20 0 15 0 154286942 14320615424 561509 33554432000 4194304 4196468 140737368866544 140098575210736 140099106224770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15008] ppid=14994 vsize=13984976 memory=2246036 CPUtime=0.95 cores=1,3,5,7 /proc/14996/task/15008/stat : 15008 (java) S 14994 14994 12810 0 -1 1077944384 8108 0 0 0 93 2 0 0 20 0 15 0 154286942 14320615424 561509 33554432000 4194304 4196468 140737368866544 140098574157936 140099106224770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15009] ppid=14994 vsize=13984976 memory=1200 CPUtime=0 cores=1,3,5,7 /proc/14996/task/15009/stat : 15009 (java) S 14994 14994 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154286942 14320615424 561509 33554432000 4194304 4196468 140737368866544 140098573105376 140099106223829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 [pid=14996/tid=15010] ppid=14994 vsize=13984976 memory=1424 CPUtime=0.12 cores=1,3,5,7 /proc/14996/task/15010/stat : 15010 (java) S 14994 14994 12810 0 -1 1077944384 241 0 0 0 6 6 0 0 20 0 15 0 154286942 14320615424 561509 33554432000 4194304 4196468 140737368866544 140098572053680 140099106224770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19394560 140737368872093 140737368872268 140737368872268 140737368874959 0 Current children cumulated CPU time: 254.61 s Current children cumulated vsize: 13994488 KiB Current children cumulated memory: 2247420 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+240.02 s] # the end of solver process 14994 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.000959 s, system=0.000959 s [startup+240.032 s] # the end of solver process 14996 was just reported to runsolver # cumulated CPU time of all completed processes: user=253.096 s, system=1.5509 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 Child status: 143 Real time (s): 240.032 CPU time (s): 254.647 CPU user time (s): 253.096 CPU system time (s): 1.5509 CPU usage (%): 106.089 Max. virtual memory (cumulated for all children) (KiB): 13994520 Max. memory (cumulated for all children) (KiB): 2248872 getrusage(RUSAGE_CHILDREN,...) data: user time used= 253.096 system time used= 1.5509 maximum resident set size= 2247604 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 75784 page faults= 0 swaps= 0 block input operations= 0 block output operations= 432 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 9103 involuntary context switches= 292 # summary of solver processes directly reported to runsolver: # pid: 14994,14996 # total CPU time (s): 254.647 # total CPU user time (s): 253.096 # total CPU system time (s): 1.5509 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.41196 second user time and 2.46479 second system time The end
Begin job on node151 at 2017-08-20 08:40:02 IDJOB=4284581 IDBENCH=124439 IDSOLVER=2680 FILE ID=node151/4284581-1503212062 RUNJOBID= node151-1503208976-12842 PBS_JOBID= 20630871 Free space on /tmp= 61672 MiB SOLVER NAME= choco-solver 5a BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-B-n68-k9.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4284581-1503212062/watcher-4284581-1503212062 -o /tmp/evaluation-result-4284581-1503212062/solver-4284581-1503212062 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node151-1503208976-12842 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 2115649136 HOME/instance-4284581-1503212062.xml TIME LIMIT= 264 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d46243a0c717d56f47be278be902a17a RANDOM SEED=2115649136 node151.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 : 5332.95 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 : 5332.95 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 : 5332.95 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 : 5332.95 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: 23350996 kB MemAvailable: 31173524 kB Buffers: 328448 kB Cached: 7782856 kB SwapCached: 0 kB Active: 2727520 kB Inactive: 6236856 kB Active(anon): 844596 kB Inactive(anon): 44324 kB Active(file): 1882924 kB Inactive(file): 6192532 kB Unevictable: 7580 kB Mlocked: 7580 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8344 kB Writeback: 0 kB AnonPages: 860088 kB Mapped: 64228 kB Shmem: 33416 kB Slab: 152908 kB SReclaimable: 125812 kB SUnreclaim: 27096 kB KernelStack: 3568 kB PageTables: 6996 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2304748 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 739328 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61664 MiB End job on node151 at 2017-08-20 08:44:02