Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: choco-solver 4.0.5 (2017-07-05) | SAT (TO) | 1851 | 2400.4 | 303.412 |
| Name | Vrp/Vrp-zinc-s1/ Vrp-P-n65-k10.xml |
| MD5SUM | fc97d46ca528b4486ab3fb446b9d6166 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 809 |
| Best CPU time to get the best result obtained on this benchmark | 2400.04 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 4290 |
| Number of constraints | 4224 |
| Number of domains | 3 |
| Minimum domain size | 1 |
| Maximum domain size | 131 |
| Distribution of domain sizes | [{"size":1,"count":65},{"size":2,"count":4160},{"size":131,"count":64}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 127 |
| Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":65},{"degree":2,"count":128},{"degree":4,"count":4032},{"degree":127,"count":64}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 64 |
| Distribution of constraint arities | [{"arity":1,"count":64},{"arity":3,"count":4032},{"arity":64,"count":128}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 64 |
| Distribution of constraint types | [{"type":"intension","count":64},{"type":"sum","count":4032},{"type":"count","count":128}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4246345-1500687328.xml" -tl '2400s' -p 8 -x 0 0.00/0.17 c [HOME/instance-4246345-1500687328.xml, -tl, 2400s, -p, 8, -x, 0] 0.00/0.23 c 8 solvers in parallel 0.00/0.29 c parse instance... 6.17/1.76 c solve instance... 7.23/1.99 o 3096 8.72/2.19 o 2139 22.87/3.97 o 2068 37.95/5.80 o 2067 83.57/11.74 o 2050 84.02/11.83 o 2046 85.00/12.23 o 2027 126.00/17.42 o 1958 526.96/67.86 o 1946 1181.26/150.03 o 1945 1243.31/157.85 o 1939 1585.20/200.87 o 1917 1652.53/209.45 o 1895 2269.01/286.99 o 1851 2400.40/303.45 s SATISFIABLE 2400.40/303.45 v <instantiation> 2400.40/303.45 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] </list> 2400.40/303.45 v <values>0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 129 84 129 88 114 124 15 114 98 73 120 103 68 129 97 47 26 120 99 121 60 125 87 80 96 19 92 78 75 88 46 76 31 100 43 12 130 33 31 118 90 48 111 48 72 32 31 119 16 86 49 64 104 122 82 36 52 69 25 43 106 57 109 38 </values> 2400.40/303.45 v </instantiation> 2400.40/303.45 c Unexpected resolution interruption!
OK 1851
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4246345-1500687328/watcher-4246345-1500687328 -o /tmp/evaluation-result-4246345-1500687328/solver-4246345-1500687328 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1500683887-7652 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1351620605 HOME/instance-4246345-1500687328.xml pid=432 running on 8 cores: 0,2,4,6,8,10,12,14 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 15.62 15.65 15.11 10/271 435 /proc/meminfo: memFree=28426764/32770624 swapFree=5800/242328 [pid=435] ppid=432 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/435/stat : 435 (xcsp3-exec) S 432 435 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4000592 9740288 346 33554432000 4194304 5098028 140731082417328 140731082415432 140660433244796 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 12390400 140731082425486 140731082425696 140731082425696 140731082428395 0 /proc/435/statm: 2378 346 289 221 0 87 0 [startup+0.100163 s] /proc/loadavg: 15.62 15.65 15.11 10/271 435 /proc/meminfo: memFree=28426764/32770624 swapFree=5800/242328 [pid=435] ppid=432 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/435/stat : 435 (xcsp3-exec) S 432 435 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4000592 9740288 346 33554432000 4194304 5098028 140731082417328 140731082415432 140660433244796 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 12390400 140731082425486 140731082425696 140731082425696 140731082428395 0 /proc/435/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200346 s] /proc/loadavg: 15.62 15.65 15.11 10/271 435 /proc/meminfo: memFree=28426764/32770624 swapFree=5800/242328 [pid=435] ppid=432 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/435/stat : 435 (xcsp3-exec) S 432 435 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4000592 9740288 346 33554432000 4194304 5098028 140731082417328 140731082415432 140660433244796 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 12390400 140731082425486 140731082425696 140731082425696 140731082428395 0 /proc/435/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.300238 s] /proc/loadavg: 15.62 15.65 15.11 10/271 435 /proc/meminfo: memFree=28426764/32770624 swapFree=5800/242328 [pid=435] ppid=432 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/435/stat : 435 (xcsp3-exec) S 432 435 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4000592 9740288 346 33554432000 4194304 5098028 140731082417328 140731082415432 140660433244796 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 12390400 140731082425486 140731082425696 140731082425696 140731082428395 0 /proc/435/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.700205 s] /proc/loadavg: 15.62 15.65 15.11 10/271 435 /proc/meminfo: memFree=28426764/32770624 swapFree=5800/242328 [pid=435] ppid=432 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/435/stat : 435 (xcsp3-exec) S 432 435 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4000592 9740288 346 33554432000 4194304 5098028 140731082417328 140731082415432 140660433244796 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 12390400 140731082425486 140731082425696 140731082425696 140731082428395 0 /proc/435/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50171 s] /proc/loadavg: 15.62 15.65 15.11 13/292 457 /proc/meminfo: memFree=28238936/32770624 swapFree=5800/242372 [pid=435] ppid=432 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/435/stat : 435 (xcsp3-exec) S 432 435 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4000592 9740288 346 33554432000 4194304 5098028 140731082417328 140731082415432 140660433244796 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 12390400 140731082425486 140731082425696 140731082425696 140731082428395 0 /proc/435/statm: 2378 346 289 221 0 87 0 [pid=436] ppid=435 vsize=13269256 CPUtime=5.5 cores=0,2,4,6,8,10,12,14 /proc/436/stat : 436 (java) S 435 435 7621 0 -1 1077944320 22944 0 0 0 529 21 0 0 20 0 20 0 4000593 13587718144 58513 33554432000 4194304 4196468 140736678716736 140736678699280 139715035934455 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 /proc/436/statm: 3317314 58513 3258 1 0 3304547 0 [pid=436/tid=437] ppid=435 vsize=13269256 CPUtime=1.41 cores=0,2,4,6,8,10,12,14 /proc/436/task/437/stat : 437 (java) R 435 435 7621 0 -1 4202560 7612 0 0 0 136 5 0 0 20 0 20 0 4000593 13587718144 58513 33554432000 4194304 4196468 140736678716736 139715040170808 139714637705720 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=439] ppid=435 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/436/task/439/stat : 439 (java) S 435 435 7621 0 -1 1077944384 167 0 0 0 1 1 0 0 20 0 20 0 4000594 13587718144 58513 33554432000 4194304 4196468 140736678716736 139714954414736 139715035944661 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=440] ppid=435 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/436/task/440/stat : 440 (java) S 435 435 7621 0 -1 1077944384 58 0 0 0 1 1 0 0 20 0 20 0 4000594 13587718144 58513 33554432000 4194304 4196468 140736678716736 139714953361936 139715035944661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=441] ppid=435 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/436/task/441/stat : 441 (java) S 435 435 7621 0 -1 1077944384 68 0 0 0 1 1 0 0 20 0 20 0 4000594 13587718144 58513 33554432000 4194304 4196468 140736678716736 139714952309136 139715035944661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=443] ppid=435 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14 /proc/436/task/443/stat : 443 (java) S 435 435 7621 0 -1 1077944384 94 0 0 0 2 1 0 0 20 0 20 0 4000594 13587718144 58513 33554432000 4194304 4196468 140736678716736 139714631821584 139715035944661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=444] ppid=435 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14 /proc/436/task/444/stat : 444 (java) S 435 435 7621 0 -1 1077944384 92 0 0 0 2 1 0 0 20 0 20 0 4000594 13587718144 58513 33554432000 4194304 4196468 140736678716736 139714630769808 139715035944661 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=445] ppid=435 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14 /proc/436/task/445/stat : 445 (java) S 435 435 7621 0 -1 1077944384 43 0 0 0 2 1 0 0 20 0 20 0 4000594 13587718144 58513 33554432000 4194304 4196468 140736678716736 139714629717008 139715035944661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=446] ppid=435 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14 /proc/436/task/446/stat : 446 (java) S 435 435 7621 0 -1 1077944384 78 0 0 0 2 1 0 0 20 0 20 0 4000594 13587718144 58513 33554432000 4194304 4196468 140736678716736 139714628664208 139715035944661 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=447] ppid=435 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/436/task/447/stat : 447 (java) S 435 435 7621 0 -1 1077944384 41 0 0 0 1 1 0 0 20 0 20 0 4000594 13587718144 58513 33554432000 4194304 4196468 140736678716736 139714627611408 139715035944661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=448] ppid=435 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/436/task/448/stat : 448 (java) S 435 435 7621 0 -1 1077944384 224 0 0 0 0 0 0 0 20 0 20 0 4000596 13587718144 58513 33554432000 4194304 4196468 140736678716736 139714498087280 139715035945602 0 0 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=449] ppid=435 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/436/task/449/stat : 449 (java) S 435 435 7621 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 20 0 4000597 13587718144 58513 33554432000 4194304 4196468 140736678716736 139714497033312 139715035944661 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=450] ppid=435 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/436/task/450/stat : 450 (java) S 435 435 7621 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 4000597 13587718144 58513 33554432000 4194304 4196468 140736678716736 139714495980416 139715035944661 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=451] ppid=435 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/436/task/451/stat : 451 (java) S 435 435 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4000600 13587718144 58513 33554432000 4194304 4196468 140736678716736 139714494928720 139715035953051 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=452] ppid=435 vsize=13269256 CPUtime=1.03 cores=0,2,4,6,8,10,12,14 /proc/436/task/452/stat : 452 (java) R 435 435 7621 0 -1 4202560 2547 0 0 0 103 0 0 0 20 0 20 0 4000600 13587718144 58513 33554432000 4194304 4196468 140736678716736 139714493858496 139715019420368 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=453] ppid=435 vsize=13269256 CPUtime=1.01 cores=0,2,4,6,8,10,12,14 /proc/436/task/453/stat : 453 (java) R 435 435 7621 0 -1 4202560 3327 0 0 0 101 0 0 0 20 0 20 0 4000600 13587718144 58513 33554432000 4194304 4196468 140736678716736 139714492810400 139715014348440 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=454] ppid=435 vsize=13269256 CPUtime=1.05 cores=0,2,4,6,8,10,12,14 /proc/436/task/454/stat : 454 (java) R 435 435 7621 0 -1 4202560 4271 0 0 0 104 1 0 0 20 0 20 0 4000600 13587718144 58513 33554432000 4194304 4196468 140736678716736 139714491771800 139715019420338 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=455] ppid=435 vsize=13269256 CPUtime=0.64 cores=0,2,4,6,8,10,12,14 /proc/436/task/455/stat : 455 (java) S 435 435 7621 0 -1 1077944384 2975 0 0 0 64 0 0 0 20 0 20 0 4000600 13587718144 58513 33554432000 4194304 4196468 140736678716736 139714490718704 139715035945602 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=456] ppid=435 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/436/task/456/stat : 456 (java) S 435 435 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4000601 13587718144 58513 33554432000 4194304 4196468 140736678716736 139714489666144 139715035944661 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=457] ppid=435 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/436/task/457/stat : 457 (java) S 435 435 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4000601 13587718144 58513 33554432000 4194304 4196468 140736678716736 139714488613424 139715035945602 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 Current children cumulated CPU time (s) 5.5 Current children cumulated vsize (KiB) 13278768 [startup+3.10116 s] /proc/loadavg: 15.17 15.56 15.08 13/292 474 /proc/meminfo: memFree=28047180/32770624 swapFree=5800/242372 [pid=435] ppid=432 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/435/stat : 435 (xcsp3-exec) S 432 435 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4000592 9740288 346 33554432000 4194304 5098028 140731082417328 140731082415432 140660433244796 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 12390400 140731082425486 140731082425696 140731082425696 140731082428395 0 /proc/435/statm: 2378 346 289 221 0 87 0 [pid=436] ppid=435 vsize=13801768 CPUtime=16.55 cores=0,2,4,6,8,10,12,14 /proc/436/stat : 436 (java) S 435 435 7621 0 -1 1077944320 30256 0 0 0 1613 42 0 0 20 0 28 0 4000593 14133010432 101024 33554432000 4194304 4196468 140736678716736 140736678699280 139715035934455 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 /proc/436/statm: 3450442 101024 3283 1 0 3437675 0 [pid=436/tid=437] ppid=435 vsize=13801768 CPUtime=1.72 cores=0,2,4,6,8,10,12,14 /proc/436/task/437/stat : 437 (java) S 435 435 7621 0 -1 1077944384 7868 0 0 0 166 6 0 0 20 0 28 0 4000593 14133010432 101024 33554432000 4194304 4196468 140736678716736 139715040175232 139715035944661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=439] ppid=435 vsize=13801768 CPUtime=0.07 cores=0,2,4,6,8,10,12,14 /proc/436/task/439/stat : 439 (java) S 435 435 7621 0 -1 1077944384 203 0 0 0 4 3 0 0 20 0 28 0 4000594 14133010432 101024 33554432000 4194304 4196468 140736678716736 139714954414736 139715035944661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=440] ppid=435 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14 /proc/436/task/440/stat : 440 (java) S 435 435 7621 0 -1 1077944384 89 0 0 0 2 2 0 0 20 0 28 0 4000594 14133010432 101024 33554432000 4194304 4196468 140736678716736 139714953361936 139715035944661 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=441] ppid=435 vsize=13801768 CPUtime=0.08 cores=0,2,4,6,8,10,12,14 /proc/436/task/441/stat : 441 (java) S 435 435 7621 0 -1 1077944384 105 0 0 0 4 4 0 0 20 0 28 0 4000594 14133010432 101024 33554432000 4194304 4196468 140736678716736 139714952309136 139715035944661 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=443] ppid=435 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/436/task/443/stat : 443 (java) S 435 435 7621 0 -1 1077944384 114 0 0 0 5 4 0 0 20 0 28 0 4000594 14133010432 101024 33554432000 4194304 4196468 140736678716736 139714631821584 139715035944661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=444] ppid=435 vsize=13801768 CPUtime=0.08 cores=0,2,4,6,8,10,12,14 /proc/436/task/444/stat : 444 (java) S 435 435 7621 0 -1 1077944384 116 0 0 0 4 4 0 0 20 0 28 0 4000594 14133010432 101024 33554432000 4194304 4196468 140736678716736 139714630769808 139715035944661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=445] ppid=435 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/436/task/445/stat : 445 (java) S 435 435 7621 0 -1 1077944384 67 0 0 0 5 4 0 0 20 0 28 0 4000594 14133010432 101024 33554432000 4194304 4196468 140736678716736 139714629717008 139715035944661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=446] ppid=435 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/436/task/446/stat : 446 (java) S 435 435 7621 0 -1 1077944384 101 0 0 0 7 3 0 0 20 0 28 0 4000594 14133010432 101024 33554432000 4194304 4196468 140736678716736 139714628664208 139715035944661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=447] ppid=435 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14 /proc/436/task/447/stat : 447 (java) S 435 435 7621 0 -1 1077944384 52 0 0 0 2 2 0 0 20 0 28 0 4000594 14133010432 101024 33554432000 4194304 4196468 140736678716736 139714627611408 139715035944661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=448] ppid=435 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/436/task/448/stat : 448 (java) S 435 435 7621 0 -1 1077944384 370 0 0 0 0 0 0 0 20 0 28 0 4000596 14133010432 101024 33554432000 4194304 4196468 140736678716736 139714498087280 139715035945602 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=449] ppid=435 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/436/task/449/stat : 449 (java) S 435 435 7621 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 4000597 14133010432 101024 33554432000 4194304 4196468 140736678716736 139714497033312 139715035944661 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=450] ppid=435 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/436/task/450/stat : 450 (java) S 435 435 7621 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 4000597 14133010432 101024 33554432000 4194304 4196468 140736678716736 139714495980416 139715035944661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=451] ppid=435 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/436/task/451/stat : 451 (java) S 435 435 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4000600 14133010432 101024 33554432000 4194304 4196468 140736678716736 139714494928720 139715035953051 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=452] ppid=435 vsize=13801768 CPUtime=2.25 cores=0,2,4,6,8,10,12,14 /proc/436/task/452/stat : 452 (java) R 435 435 7621 0 -1 4202560 3883 0 0 0 225 0 0 0 20 0 28 0 4000600 14133010432 101024 33554432000 4194304 4196468 140736678716736 139714493869592 139715021362755 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=453] ppid=435 vsize=13801768 CPUtime=1.99 cores=0,2,4,6,8,10,12,14 /proc/436/task/453/stat : 453 (java) R 435 435 7621 0 -1 4202560 4609 0 0 0 198 1 0 0 20 0 28 0 4000600 14133010432 101024 33554432000 4194304 4196468 140736678716736 139714492824112 139715020843528 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=454] ppid=435 vsize=13801768 CPUtime=2.1 cores=0,2,4,6,8,10,12,14 /proc/436/task/454/stat : 454 (java) R 435 435 7621 0 -1 4202560 5067 0 0 0 209 1 0 0 20 0 28 0 4000600 14133010432 101024 33554432000 4194304 4196468 140736678716736 139714491760176 139715029030920 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=455] ppid=435 vsize=13801768 CPUtime=1.1 cores=0,2,4,6,8,10,12,14 /proc/436/task/455/stat : 455 (java) R 435 435 7621 0 -1 4202560 4891 0 0 0 110 0 0 0 20 0 28 0 4000600 14133010432 101024 33554432000 4194304 4196468 140736678716736 139714490718704 139715014606807 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=456] ppid=435 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/436/task/456/stat : 456 (java) S 435 435 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4000601 14133010432 101024 33554432000 4194304 4196468 140736678716736 139714489666144 139715035944661 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=457] ppid=435 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/436/task/457/stat : 457 (java) S 435 435 7621 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 4000601 14133010432 101024 33554432000 4194304 4196468 140736678716736 139714488613424 139715035945602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 Current children cumulated CPU time (s) 16.55 Current children cumulated vsize (KiB) 13811280 [startup+6.30118 s] /proc/loadavg: 15.17 15.56 15.08 20/300 495 /proc/meminfo: memFree=28007852/32770624 swapFree=5800/242372 [pid=435] ppid=432 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/435/stat : 435 (xcsp3-exec) S 432 435 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4000592 9740288 346 33554432000 4194304 5098028 140731082417328 140731082415432 140660433244796 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 12390400 140731082425486 140731082425696 140731082425696 140731082428395 0 /proc/435/statm: 2378 346 289 221 0 87 0 [pid=436] ppid=435 vsize=13801768 CPUtime=41.87 cores=0,2,4,6,8,10,12,14 /proc/436/stat : 436 (java) S 435 435 7621 0 -1 1077944320 32125 0 0 0 4117 70 0 0 20 0 28 0 4000593 14133010432 169559 33554432000 4194304 4196468 140736678716736 140736678699280 139715035934455 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 /proc/436/statm: 3450442 169559 3289 1 0 3437675 0 [pid=436/tid=437] ppid=435 vsize=13801768 CPUtime=1.73 cores=0,2,4,6,8,10,12,14 /proc/436/task/437/stat : 437 (java) S 435 435 7621 0 -1 1077944384 7897 0 0 0 167 6 0 0 20 0 28 0 4000593 14133010432 169559 33554432000 4194304 4196468 140736678716736 139715040175232 139715035944661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=439] ppid=435 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14 /proc/436/task/439/stat : 439 (java) S 435 435 7621 0 -1 1077944384 234 0 0 0 8 6 0 0 20 0 28 0 4000594 14133010432 169559 33554432000 4194304 4196468 140736678716736 139714954414736 139715035944661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=440] ppid=435 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/436/task/440/stat : 440 (java) S 435 435 7621 0 -1 1077944384 119 0 0 0 5 5 0 0 20 0 28 0 4000594 14133010432 169559 33554432000 4194304 4196468 140736678716736 139714953361936 139715035944661 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=441] ppid=435 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14 /proc/436/task/441/stat : 441 (java) S 435 435 7621 0 -1 1077944384 167 0 0 0 7 7 0 0 20 0 28 0 4000594 14133010432 169559 33554432000 4194304 4196468 140736678716736 139714952309136 139715035944661 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=443] ppid=435 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14 /proc/436/task/443/stat : 443 (java) S 435 435 7621 0 -1 1077944384 143 0 0 0 8 6 0 0 20 0 28 0 4000594 14133010432 169559 33554432000 4194304 4196468 140736678716736 139714631821584 139715035944661 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=444] ppid=435 vsize=13801768 CPUtime=0.15 cores=0,2,4,6,8,10,12,14 /proc/436/task/444/stat : 444 (java) S 435 435 7621 0 -1 1077944384 147 0 0 0 8 7 0 0 20 0 28 0 4000594 14133010432 169559 33554432000 4194304 4196468 140736678716736 139714630769808 139715035944661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=445] ppid=435 vsize=13801768 CPUtime=0.15 cores=0,2,4,6,8,10,12,14 /proc/436/task/445/stat : 445 (java) S 435 435 7621 0 -1 1077944384 100 0 0 0 8 7 0 0 20 0 28 0 4000594 14133010432 169559 33554432000 4194304 4196468 140736678716736 139714629717008 139715035944661 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=446] ppid=435 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14 /proc/436/task/446/stat : 446 (java) S 435 435 7621 0 -1 1077944384 185 0 0 0 10 4 0 0 20 0 28 0 4000594 14133010432 169559 33554432000 4194304 4196468 140736678716736 139714628664208 139715035944661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=447] ppid=435 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/436/task/447/stat : 447 (java) S 435 435 7621 0 -1 1077944384 110 0 0 0 6 4 0 0 20 0 28 0 4000594 14133010432 169559 33554432000 4194304 4196468 140736678716736 139714627611408 139715035944661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=448] ppid=435 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/436/task/448/stat : 448 (java) S 435 435 7621 0 -1 1077944384 670 0 0 0 1 0 0 0 20 0 28 0 4000596 14133010432 169559 33554432000 4194304 4196468 140736678716736 139714498087280 139715035945602 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=449] ppid=435 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/436/task/449/stat : 449 (java) S 435 435 7621 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 4000597 14133010432 169559 33554432000 4194304 4196468 140736678716736 139714497033312 139715035944661 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=450] ppid=435 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/436/task/450/stat : 450 (java) S 435 435 7621 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 4000597 14133010432 169559 33554432000 4194304 4196468 140736678716736 139714495980416 139715035944661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=451] ppid=435 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/436/task/451/stat : 451 (java) S 435 435 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4000600 14133010432 169559 33554432000 4194304 4196468 140736678716736 139714494928720 139715035953051 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 ################ # More data... # ################ [pid=436/tid=1035] ppid=435 vsize=13801768 CPUtime=12.79 cores=0,2,4,6,8,10,12,14 /proc/436/task/1035/stat : 1035 (java) R 435 435 7621 0 -1 4202560 417 0 0 0 1279 0 0 0 20 0 28 0 4021538 14133010432 882711 33554432000 4194304 4196468 140736678716736 139714405298440 139714643148240 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=1036] ppid=435 vsize=13801768 CPUtime=12.83 cores=0,2,4,6,8,10,12,14 /proc/436/task/1036/stat : 1036 (java) R 435 435 7621 0 -1 4202560 394 0 0 0 1283 0 0 0 20 0 28 0 4021538 14133010432 882711 33554432000 4194304 4196468 140736678716736 139714407403448 139714632963160 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 Current children cumulated CPU time (s) 1754.95 Current children cumulated vsize (KiB) 13811280 [startup+282.302 s] /proc/loadavg: 16.21 15.85 15.31 17/301 1080 /proc/meminfo: memFree=24953944/32770624 swapFree=5800/242828 [pid=435] ppid=432 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/435/stat : 435 (xcsp3-exec) S 432 435 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4000592 9740288 346 33554432000 4194304 5098028 140731082417328 140731082415432 140660433244796 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 12390400 140731082425486 140731082425696 140731082425696 140731082428395 0 /proc/435/statm: 2378 346 289 221 0 87 0 [pid=436] ppid=435 vsize=13801768 CPUtime=2232.38 cores=0,2,4,6,8,10,12,14 /proc/436/stat : 436 (java) S 435 435 7621 0 -1 1077944320 153010 0 0 0 222977 261 0 0 20 0 28 0 4000593 14133010432 887942 33554432000 4194304 4196468 140736678716736 140736678699280 139715035934455 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 /proc/436/statm: 3450442 887942 3289 1 0 3437675 0 [pid=436/tid=437] ppid=435 vsize=13801768 CPUtime=1.77 cores=0,2,4,6,8,10,12,14 /proc/436/task/437/stat : 437 (java) S 435 435 7621 0 -1 1077944384 9299 0 0 0 170 7 0 0 20 0 28 0 4000593 14133010432 887942 33554432000 4194304 4196468 140736678716736 139715040175232 139715035944661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=439] ppid=435 vsize=13801768 CPUtime=0.38 cores=0,2,4,6,8,10,12,14 /proc/436/task/439/stat : 439 (java) S 435 435 7621 0 -1 1077944384 723 0 0 0 18 20 0 0 20 0 28 0 4000594 14133010432 887942 33554432000 4194304 4196468 140736678716736 139714954414736 139715035944661 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=440] ppid=435 vsize=13801768 CPUtime=0.39 cores=0,2,4,6,8,10,12,14 /proc/436/task/440/stat : 440 (java) S 435 435 7621 0 -1 1077944384 1303 0 0 0 19 20 0 0 20 0 28 0 4000594 14133010432 887942 33554432000 4194304 4196468 140736678716736 139714953361936 139715035944661 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=441] ppid=435 vsize=13801768 CPUtime=0.44 cores=0,2,4,6,8,10,12,14 /proc/436/task/441/stat : 441 (java) S 435 435 7621 0 -1 1077944384 1440 0 0 0 21 23 0 0 20 0 28 0 4000594 14133010432 887942 33554432000 4194304 4196468 140736678716736 139714952309136 139715035944661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=443] ppid=435 vsize=13801768 CPUtime=0.39 cores=0,2,4,6,8,10,12,14 /proc/436/task/443/stat : 443 (java) S 435 435 7621 0 -1 1077944384 473 0 0 0 21 18 0 0 20 0 28 0 4000594 14133010432 887942 33554432000 4194304 4196468 140736678716736 139714631821584 139715035944661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=444] ppid=435 vsize=13801768 CPUtime=0.39 cores=0,2,4,6,8,10,12,14 /proc/436/task/444/stat : 444 (java) S 435 435 7621 0 -1 1077944384 988 0 0 0 19 20 0 0 20 0 28 0 4000594 14133010432 887942 33554432000 4194304 4196468 140736678716736 139714630769808 139715035944661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=445] ppid=435 vsize=13801768 CPUtime=0.43 cores=0,2,4,6,8,10,12,14 /proc/436/task/445/stat : 445 (java) S 435 435 7621 0 -1 1077944384 1719 0 0 0 22 21 0 0 20 0 28 0 4000594 14133010432 887942 33554432000 4194304 4196468 140736678716736 139714629717008 139715035944661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=446] ppid=435 vsize=13801768 CPUtime=0.37 cores=0,2,4,6,8,10,12,14 /proc/436/task/446/stat : 446 (java) S 435 435 7621 0 -1 1077944384 1056 0 0 0 21 16 0 0 20 0 28 0 4000594 14133010432 887942 33554432000 4194304 4196468 140736678716736 139714628664208 139715035944661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=447] ppid=435 vsize=13801768 CPUtime=0.37 cores=0,2,4,6,8,10,12,14 /proc/436/task/447/stat : 447 (java) S 435 435 7621 0 -1 1077944384 490 0 0 0 19 18 0 0 20 0 28 0 4000594 14133010432 887942 33554432000 4194304 4196468 140736678716736 139714627611408 139715035944661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=448] ppid=435 vsize=13801768 CPUtime=0.21 cores=0,2,4,6,8,10,12,14 /proc/436/task/448/stat : 448 (java) S 435 435 7621 0 -1 1077944384 4626 0 0 0 10 11 0 0 20 0 28 0 4000596 14133010432 887942 33554432000 4194304 4196468 140736678716736 139714498087280 139715035945602 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=449] ppid=435 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/436/task/449/stat : 449 (java) S 435 435 7621 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 4000597 14133010432 887942 33554432000 4194304 4196468 140736678716736 139714497033312 139715035944661 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=450] ppid=435 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/436/task/450/stat : 450 (java) S 435 435 7621 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 4000597 14133010432 887942 33554432000 4194304 4196468 140736678716736 139714495980416 139715035944661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=451] ppid=435 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/436/task/451/stat : 451 (java) S 435 435 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4000600 14133010432 887942 33554432000 4194304 4196468 140736678716736 139714494928720 139715035953051 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=452] ppid=435 vsize=13801768 CPUtime=4.3 cores=0,2,4,6,8,10,12,14 /proc/436/task/452/stat : 452 (java) S 435 435 7621 0 -1 1077944384 14911 0 0 0 428 2 0 0 20 0 28 0 4000600 14133010432 887942 33554432000 4194304 4196468 140736678716736 139714493877104 139715035945602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=453] ppid=435 vsize=13801768 CPUtime=4 cores=0,2,4,6,8,10,12,14 /proc/436/task/453/stat : 453 (java) S 435 435 7621 0 -1 1077944384 13179 0 0 0 399 1 0 0 20 0 28 0 4000600 14133010432 887942 33554432000 4194304 4196468 140736678716736 139714492824304 139715035945602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=454] ppid=435 vsize=13801768 CPUtime=3.89 cores=0,2,4,6,8,10,12,14 /proc/436/task/454/stat : 454 (java) S 435 435 7621 0 -1 1077944384 14757 0 0 0 387 2 0 0 20 0 28 0 4000600 14133010432 887942 33554432000 4194304 4196468 140736678716736 139714491771504 139715035945602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=455] ppid=435 vsize=13801768 CPUtime=1.4 cores=0,2,4,6,8,10,12,14 /proc/436/task/455/stat : 455 (java) S 435 435 7621 0 -1 1077944384 19455 0 0 0 138 2 0 0 20 0 28 0 4000600 14133010432 887942 33554432000 4194304 4196468 140736678716736 139714490718704 139715035945602 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 10 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=456] ppid=435 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/436/task/456/stat : 456 (java) S 435 435 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4000601 14133010432 887942 33554432000 4194304 4196468 140736678716736 139714489666144 139715035944661 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=457] ppid=435 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/436/task/457/stat : 457 (java) S 435 435 7621 0 -1 1077944384 1936 0 0 0 6 6 0 0 20 0 28 0 4000601 14133010432 887942 33554432000 4194304 4196468 140736678716736 139714488613424 139715035945602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=1027] ppid=435 vsize=13801768 CPUtime=71.86 cores=0,2,4,6,8,10,12,14 /proc/436/task/1027/stat : 1027 (java) R 435 435 7621 0 -1 4202560 906 0 0 0 7186 0 0 0 20 0 28 0 4021538 14133010432 887942 33554432000 4194304 4196468 140736678716736 139714406349992 139714642167202 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=1028] ppid=435 vsize=13801768 CPUtime=72.68 cores=0,2,4,6,8,10,12,14 /proc/436/task/1028/stat : 1028 (java) R 435 435 7621 0 -1 4202560 1513 0 0 0 7268 0 0 0 20 0 28 0 4021538 14133010432 887942 33554432000 4194304 4196468 140736678716736 139714482698752 139714641636383 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=1029] ppid=435 vsize=13801768 CPUtime=72.71 cores=0,2,4,6,8,10,12,14 /proc/436/task/1029/stat : 1029 (java) R 435 435 7621 0 -1 4202560 1974 0 0 0 7270 1 0 0 20 0 28 0 4021538 14133010432 887942 33554432000 4194304 4196468 140736678716736 139714408459288 139714642132590 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=1031] ppid=435 vsize=13801768 CPUtime=72.63 cores=0,2,4,6,8,10,12,14 /proc/436/task/1031/stat : 1031 (java) R 435 435 7621 0 -1 4202560 2429 0 0 0 7263 0 0 0 20 0 28 0 4021538 14133010432 887942 33554432000 4194304 4196468 140736678716736 139714411614856 139714639661583 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=1033] ppid=435 vsize=13801768 CPUtime=71.38 cores=0,2,4,6,8,10,12,14 /proc/436/task/1033/stat : 1033 (java) R 435 435 7621 0 -1 4202560 2670 0 0 0 7138 0 0 0 20 0 28 0 4021538 14133010432 887942 33554432000 4194304 4196468 140736678716736 139714409509384 139714641254900 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=1034] ppid=435 vsize=13801768 CPUtime=72.65 cores=0,2,4,6,8,10,12,14 /proc/436/task/1034/stat : 1034 (java) R 435 435 7621 0 -1 4202560 464 0 0 0 7265 0 0 0 20 0 28 0 4021538 14133010432 887942 33554432000 4194304 4196468 140736678716736 139714410561592 139714640197886 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=1035] ppid=435 vsize=13801768 CPUtime=72.64 cores=0,2,4,6,8,10,12,14 /proc/436/task/1035/stat : 1035 (java) R 435 435 7621 0 -1 4202560 948 0 0 0 7264 0 0 0 20 0 28 0 4021538 14133010432 887942 33554432000 4194304 4196468 140736678716736 139714405298616 139714643148240 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=1036] ppid=435 vsize=13801768 CPUtime=72.64 cores=0,2,4,6,8,10,12,14 /proc/436/task/1036/stat : 1036 (java) R 435 435 7621 0 -1 4202560 771 0 0 0 7264 0 0 0 20 0 28 0 4021538 14133010432 887942 33554432000 4194304 4196468 140736678716736 139714407403256 139714643483562 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 Current children cumulated CPU time (s) 2232.38 Current children cumulated vsize (KiB) 13811280 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+303.402 s] /proc/loadavg: 16.20 15.87 15.33 17/301 1089 /proc/meminfo: memFree=24954440/32770624 swapFree=5800/242876 [pid=435] ppid=432 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/435/stat : 435 (xcsp3-exec) S 432 435 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4000592 9740288 346 33554432000 4194304 5098028 140731082417328 140731082415432 140660433244796 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 12390400 140731082425486 140731082425696 140731082425696 140731082428395 0 /proc/435/statm: 2378 346 289 221 0 87 0 [pid=436] ppid=435 vsize=13801768 CPUtime=2400.4 cores=0,2,4,6,8,10,12,14 /proc/436/stat : 436 (java) S 435 435 7621 0 -1 1077944320 160313 0 0 0 239777 263 0 0 20 0 28 0 4000593 14133010432 887942 33554432000 4194304 4196468 140736678716736 140736678699280 139715035934455 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 /proc/436/statm: 3450442 887942 3289 1 0 3437675 0 [pid=436/tid=437] ppid=435 vsize=13801768 CPUtime=1.77 cores=0,2,4,6,8,10,12,14 /proc/436/task/437/stat : 437 (java) S 435 435 7621 0 -1 1077944384 9454 0 0 0 170 7 0 0 20 0 28 0 4000593 14133010432 887942 33554432000 4194304 4196468 140736678716736 139715040175232 139715035944661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=439] ppid=435 vsize=13801768 CPUtime=0.38 cores=0,2,4,6,8,10,12,14 /proc/436/task/439/stat : 439 (java) S 435 435 7621 0 -1 1077944384 723 0 0 0 18 20 0 0 20 0 28 0 4000594 14133010432 887942 33554432000 4194304 4196468 140736678716736 139714954414736 139715035944661 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=440] ppid=435 vsize=13801768 CPUtime=0.39 cores=0,2,4,6,8,10,12,14 /proc/436/task/440/stat : 440 (java) S 435 435 7621 0 -1 1077944384 1303 0 0 0 19 20 0 0 20 0 28 0 4000594 14133010432 887942 33554432000 4194304 4196468 140736678716736 139714953361936 139715035944661 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=441] ppid=435 vsize=13801768 CPUtime=0.44 cores=0,2,4,6,8,10,12,14 /proc/436/task/441/stat : 441 (java) S 435 435 7621 0 -1 1077944384 1440 0 0 0 21 23 0 0 20 0 28 0 4000594 14133010432 887942 33554432000 4194304 4196468 140736678716736 139714952309136 139715035944661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=443] ppid=435 vsize=13801768 CPUtime=0.39 cores=0,2,4,6,8,10,12,14 /proc/436/task/443/stat : 443 (java) S 435 435 7621 0 -1 1077944384 473 0 0 0 21 18 0 0 20 0 28 0 4000594 14133010432 887942 33554432000 4194304 4196468 140736678716736 139714631821584 139715035944661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=444] ppid=435 vsize=13801768 CPUtime=0.39 cores=0,2,4,6,8,10,12,14 /proc/436/task/444/stat : 444 (java) S 435 435 7621 0 -1 1077944384 988 0 0 0 19 20 0 0 20 0 28 0 4000594 14133010432 887942 33554432000 4194304 4196468 140736678716736 139714630769808 139715035944661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=445] ppid=435 vsize=13801768 CPUtime=0.43 cores=0,2,4,6,8,10,12,14 /proc/436/task/445/stat : 445 (java) S 435 435 7621 0 -1 1077944384 1719 0 0 0 22 21 0 0 20 0 28 0 4000594 14133010432 887942 33554432000 4194304 4196468 140736678716736 139714629717008 139715035944661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=446] ppid=435 vsize=13801768 CPUtime=0.37 cores=0,2,4,6,8,10,12,14 /proc/436/task/446/stat : 446 (java) S 435 435 7621 0 -1 1077944384 1056 0 0 0 21 16 0 0 20 0 28 0 4000594 14133010432 887942 33554432000 4194304 4196468 140736678716736 139714628664208 139715035944661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=447] ppid=435 vsize=13801768 CPUtime=0.37 cores=0,2,4,6,8,10,12,14 /proc/436/task/447/stat : 447 (java) S 435 435 7621 0 -1 1077944384 490 0 0 0 19 18 0 0 20 0 28 0 4000594 14133010432 887942 33554432000 4194304 4196468 140736678716736 139714627611408 139715035944661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=448] ppid=435 vsize=13801768 CPUtime=0.21 cores=0,2,4,6,8,10,12,14 /proc/436/task/448/stat : 448 (java) S 435 435 7621 0 -1 1077944384 4694 0 0 0 10 11 0 0 20 0 28 0 4000596 14133010432 887942 33554432000 4194304 4196468 140736678716736 139714498087280 139715035945602 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=449] ppid=435 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/436/task/449/stat : 449 (java) S 435 435 7621 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 4000597 14133010432 887942 33554432000 4194304 4196468 140736678716736 139714497033312 139715035944661 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=450] ppid=435 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/436/task/450/stat : 450 (java) S 435 435 7621 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 4000597 14133010432 887942 33554432000 4194304 4196468 140736678716736 139714495980416 139715035944661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=451] ppid=435 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/436/task/451/stat : 451 (java) S 435 435 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4000600 14133010432 887942 33554432000 4194304 4196468 140736678716736 139714494928720 139715035953051 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=452] ppid=435 vsize=13801768 CPUtime=4.33 cores=0,2,4,6,8,10,12,14 /proc/436/task/452/stat : 452 (java) S 435 435 7621 0 -1 1077944384 15643 0 0 0 431 2 0 0 20 0 28 0 4000600 14133010432 887942 33554432000 4194304 4196468 140736678716736 139714493877104 139715035945602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=453] ppid=435 vsize=13801768 CPUtime=4.01 cores=0,2,4,6,8,10,12,14 /proc/436/task/453/stat : 453 (java) S 435 435 7621 0 -1 1077944384 13191 0 0 0 399 2 0 0 20 0 28 0 4000600 14133010432 887942 33554432000 4194304 4196468 140736678716736 139714492824304 139715035945602 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=454] ppid=435 vsize=13801768 CPUtime=3.89 cores=0,2,4,6,8,10,12,14 /proc/436/task/454/stat : 454 (java) S 435 435 7621 0 -1 1077944384 14778 0 0 0 387 2 0 0 20 0 28 0 4000600 14133010432 887942 33554432000 4194304 4196468 140736678716736 139714491771504 139715035945602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=455] ppid=435 vsize=13801768 CPUtime=1.41 cores=0,2,4,6,8,10,12,14 /proc/436/task/455/stat : 455 (java) S 435 435 7621 0 -1 1077944384 20547 0 0 0 138 3 0 0 20 0 28 0 4000600 14133010432 887942 33554432000 4194304 4196468 140736678716736 139714490718704 139715035945602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=456] ppid=435 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/436/task/456/stat : 456 (java) S 435 435 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4000601 14133010432 887942 33554432000 4194304 4196468 140736678716736 139714489666144 139715035944661 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=457] ppid=435 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14 /proc/436/task/457/stat : 457 (java) S 435 435 7621 0 -1 1077944384 2038 0 0 0 7 7 0 0 20 0 28 0 4000601 14133010432 887942 33554432000 4194304 4196468 140736678716736 139714488613424 139715035945602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=1081] ppid=435 vsize=13801768 CPUtime=16.37 cores=0,2,4,6,8,10,12,14 /proc/436/task/1081/stat : 1081 (java) R 435 435 7621 0 -1 4202560 536 0 0 0 1637 0 0 0 20 0 28 0 4029293 14133010432 887942 33554432000 4194304 4196468 140736678716736 139714407406456 139714642167275 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=1082] ppid=435 vsize=13801768 CPUtime=16.38 cores=0,2,4,6,8,10,12,14 /proc/436/task/1082/stat : 1082 (java) R 435 435 7621 0 -1 4202560 536 0 0 0 1638 0 0 0 20 0 28 0 4029293 14133010432 887942 33554432000 4194304 4196468 140736678716736 139714411618152 139714643148240 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=1083] ppid=435 vsize=13801768 CPUtime=16.1 cores=0,2,4,6,8,10,12,14 /proc/436/task/1083/stat : 1083 (java) R 435 435 7621 0 -1 4202560 910 0 0 0 1610 0 0 0 20 0 28 0 4029293 14133010432 887942 33554432000 4194304 4196468 140736678716736 139714410566904 139714642132582 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=1084] ppid=435 vsize=13801768 CPUtime=16.36 cores=0,2,4,6,8,10,12,14 /proc/436/task/1084/stat : 1084 (java) R 435 435 7621 0 -1 4202560 670 0 0 0 1636 0 0 0 20 0 28 0 4029293 14133010432 887942 33554432000 4194304 4196468 140736678716736 139714409514104 139714642132324 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=1085] ppid=435 vsize=13801768 CPUtime=16.23 cores=0,2,4,6,8,10,12,14 /proc/436/task/1085/stat : 1085 (java) R 435 435 7621 0 -1 4202560 655 0 0 0 1623 0 0 0 20 0 28 0 4029293 14133010432 887942 33554432000 4194304 4196468 140736678716736 139714405305672 139714640197575 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=1086] ppid=435 vsize=13801768 CPUtime=16.37 cores=0,2,4,6,8,10,12,14 /proc/436/task/1086/stat : 1086 (java) R 435 435 7621 0 -1 4202560 261 0 0 0 1637 0 0 0 20 0 28 0 4029293 14133010432 887942 33554432000 4194304 4196468 140736678716736 139714408463560 139714641636322 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=1087] ppid=435 vsize=13801768 CPUtime=16.37 cores=0,2,4,6,8,10,12,14 /proc/436/task/1087/stat : 1087 (java) R 435 435 7621 0 -1 4202560 443 0 0 0 1637 0 0 0 20 0 28 0 4029293 14133010432 887942 33554432000 4194304 4196468 140736678716736 139714406358088 139714639333334 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 [pid=436/tid=1088] ppid=435 vsize=13801768 CPUtime=16.36 cores=0,2,4,6,8,10,12,14 /proc/436/task/1088/stat : 1088 (java) R 435 435 7621 0 -1 4202560 504 0 0 0 1636 0 0 0 20 0 28 0 4029293 14133010432 887942 33554432000 4194304 4196468 140736678716736 139714482703304 139714641254878 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 26619904 140736678720700 140736678720876 140736678720876 140736678723535 0 Current children cumulated CPU time (s) 2400.4 Current children cumulated vsize (KiB) 13811280 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 436 sig 9 ??? kill 435 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 435 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=1034 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=2068 # CPU time returned by wait4() is 0.003102 # while last known CPU time is 2400.4 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 303.412 CPU time (s): 2400.4 CPU user time (s): 2397.77 CPU system time (s): 2.63 CPU usage (%): 791.135 Max. virtual memory (cumulated for all children) (KiB): 13811280 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.001034 system time used= 0.002068 maximum resident set size= 1388 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 517 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 1 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 3.89895 second user time and 4.65122 second system time The end
Begin job on node124 at 2017-07-22 03:35:28 IDJOB=4246345 IDBENCH=124432 IDSOLVER=2625 FILE ID=node124/4246345-1500687328 RUNJOBID= node124-1500683887-7652 PBS_JOBID= 20623343 Free space on /tmp= 62000 MiB SOLVER NAME= choco-solver 4.0.5 BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-P-n65-k10.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4246345-1500687328/watcher-4246345-1500687328 -o /tmp/evaluation-result-4246345-1500687328/solver-4246345-1500687328 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1500683887-7652 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1351620605 HOME/instance-4246345-1500687328.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= fc97d46ca528b4486ab3fb446b9d6166 RANDOM SEED=1351620605 node124.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.16 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 : 8 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 : 2267.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.16 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 : 8 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 : 2000.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.16 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 : 8 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 : 1733.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.16 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 : 8 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: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.16 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 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 : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1867.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.16 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 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 : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.16 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 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 : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.16 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 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 : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: 28426440 kB MemAvailable: 28475516 kB Buffers: 52280 kB Cached: 307812 kB SwapCached: 0 kB Active: 3710972 kB Inactive: 251084 kB Active(anon): 3605016 kB Inactive(anon): 8756 kB Active(file): 105956 kB Inactive(file): 242328 kB Unevictable: 5800 kB Mlocked: 5800 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7480 kB Writeback: 8 kB AnonPages: 3608056 kB Mapped: 42500 kB Shmem: 8872 kB Slab: 66892 kB SReclaimable: 33252 kB SUnreclaim: 33640 kB KernelStack: 4656 kB PageTables: 12844 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 4461136 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 3454976 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 61992 MiB End job on node124 at 2017-07-22 03:40:32