Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 4.0.5 seq (2017-08-09) | SAT (TO) | 754 | 2520.02 | 2512.4099 |
| Name | StillLife/StillLife-wst-s1/ StillLife-wastage-44.xml |
| MD5SUM | 4997da7be544d89c7d7e917a89d7c5a2 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 941 |
| Best CPU time to get the best result obtained on this benchmark | 2519.6799 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 4279 |
| Number of constraints | 2384 |
| Number of domains | 4 |
| Minimum domain size | 2 |
| Maximum domain size | 4233 |
| Distribution of domain sizes | [{"size":2,"count":2116},{"size":3,"count":2116},{"size":1937,"count":1},{"size":4233,"count":46}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 47 |
| Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":2113},{"degree":3,"count":49},{"degree":4,"count":176},{"degree":8,"count":172},{"degree":9,"count":1764},{"degree":47,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 48 |
| Distribution of constraint arities | [{"arity":2,"count":222},{"arity":3,"count":176},{"arity":10,"count":1936},{"arity":46,"count":4},{"arity":47,"count":1},{"arity":48,"count":45}] |
| Number of extensional constraints | 2112 |
| Number of intensional constraints | 221 |
| Distribution of constraint types | [{"type":"extension","count":2112},{"type":"intension","count":221},{"type":"sum","count":47},{"type":"instantiation","count":4}] |
| Optimization problem | YES |
| Type of objective | max VAR |
0.00/0.04 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4269339-1502696089.xml" -tl '2520s' -p 1 -x 0 0.18/0.23 c [HOME/instance-4269339-1502696089.xml, -tl, 2520s, -p, 1, -x, 0] 0.18/0.29 c simple solver 0.36/0.35 c parse instance... 2.96/1.48 c solve instance... 348.19/343.46 o 701 348.66/343.72 o 704 348.87/343.93 o 707 348.87/344.00 o 708 349.00/344.01 o 709 413.21/407.84 o 728 864.79/858.81 o 754 2520.00/2512.40 s SATISFIABLE 2520.00/2512.40 v <instantiation> 2520.00/2512.40 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][28] w[0][29] w[0][30] w[0][31] w[0][32] w[0][33] w[0][34] w[0][35] w[0][36] w[0][37] w[0][38] w[0][39] w[0][40] w[0][41] w[0][42] w[0][43] w[0][44] w[0][45] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][28] w[1][29] w[1][30] w[1][31] w[1][32] w[1][33] w[1][34] w[1][35] w[1][36] w[1][37] w[1][38] w[1][39] w[1][40] w[1][41] w[1][42] w[1][43] w[1][44] w[1][45] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][28] w[2][29] w[2][30] w[2][31] w[2][32] w[2][33] w[2][34] w[2][35] w[2][36] w[2][37] w[2][38] w[2][39] w[2][40] w[2][41] w[2][42] w[2][43] w[2][44] w[2][45] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][28] w[3][29] w[3][30] w[3][31] w[3][32] w[3][33] w[3][34] w[3][35] w[3][36] w[3][37] w[3][38] w[3][39] w[3][40] w[3][41] w[3][42] w[3][43] w[3][44] w[3][45] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][28] w[4][29] w[4][30] w[4][31] w[4][32] w[4][33] w[4][34] w[4][35] w[4][36] w[4][37] w[4][38] w[4][39] w[4][40] w[4][41] w[4][42] w[4][43] w[4][44] w[4][45] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][28] w[5][29] w[5][30] w[5][31] w[5][32] w[5][33] w[5][34] w[5][35] w[5][36] w[5][37] w[5][38] w[5][39] w[5][40] w[5][41] w[5][42] w[5][43] w[5][44] w[5][45] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][28] w[6][29] w[6][30] w[6][31] w[6][32] w[6][33] w[6][34] w[6][35] w[6][36] w[6][37] w[6][38] w[6][39] w[6][40] w[6][41] w[6][42] w[6][43] w[6][44] w[6][45] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][28] w[7][29] w[7][30] w[7][31] w[7][32] w[7][33] w[7][34] w[7][35] w[7][36] w[7][37] w[7][38] w[7][39] w[7][40] w[7][41] w[7][42] w[7][43] w[7][44] w[7][45] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][28] w[8][29] w[8][30] w[8][31] w[8][32] w[8][33] w[8][34] w[8][35] w[8][36] w[8][37] w[8][38] w[8][39] w[8][40] w[8][41] w[8][42] w[8][43] w[8][44] w[8][45] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][28] w[9][29] w[9][30] w[9][31] w[9][32] w[9][33] w[9][34] w[9][35] w[9][36] w[9][37] w[9][38] w[9][39] w[9][40] w[9][41] w[9][42] w[9][43] w[9][44] w[9][45] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][28] w[10][29] w[10][30] w[10][31] w[10][32] w[10][33] w[10][34] w[10][35] w[10][36] w[10][37] w[10][38] w[10][39] w[10][40] w[10][41] w[10][42] w[10][43] w[10][44] w[10][45] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][28] w[11][29] w[11][30] w[11][31] w[11][32] w[11][33] w[11][34] w[11][35] w[11][36] w[11][37] w[11][38] w[11][39] w[11][40] w[11][41] w[11][42] w[11][43] w[11][44] w[11][45] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][28] w[12][29] w[12][30] w[12][31] w[12][32] w[12][33] w[12][34] w[12][35] w[12][36] w[12][37] w[12][38] w[12][39] w[12][40] w[12][41] w[12][42] w[12][43] w[12][44] w[12][45] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][28] w[13][29] w[13][30] w[13][31] w[13][32] w[13][33] w[13][34] w[13][35] w[13][36] w[13][37] w[13][38] w[13][39] w[13][40] w[13][41] w[13][42] w[13][43] w[13][44] w[13][45] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][28] w[14][29] w[14][30] w[14][31] w[14][32] w[14][33] w[14][34] w[14][35] w[14][36] w[14][37] w[14][38] w[14][39] w[14][40] w[14][41] w[14][42] w[14][43] w[14][44] w[14][45] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][28] w[15][29] w[15][30] w[15][31] w[15][32] w[15][33] w[15][34] w[15][35] w[15][36] w[15][37] w[15][38] w[15][39] w[15][40] w[15][41] w[15][42] w[15][43] w[15][44] w[15][45] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][28] w[16][29] w[16][30] w[16][31] w[16][32] w[16][33] w[16][34] w[16][35] w[16][36] w[16][37] w[16][38] w[16][39] w[16][40] w[16][41] w[16][42] w[16][43] w[16][44] w[16][45] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][28] w[17][29] w[17][30] w[17][31] w[17][32] w[17][33] w[17][34] w[17][35] w[17][36] w[17][37] w[17][38] w[17][39] w[17][40] w[17][41] w[17][42] w[17][43] w[17][44] w[17][45] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][28] w[18][29] w[18][30] w[18][31] w[18][32] w[18][33] w[18][34] w[18][35] w[18][36] w[18][37] w[18][38] w[18][39] w[18][40] w[18][41] w[18][42] w[18][43] w[18][44] w[18][45] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][28] w[19][29] w[19][30] w[19][31] w[19][32] w[19][33] w[19][34] w[19][35] w[19][36] w[19][37] w[19][38] w[19][39] w[19][40] w[19][41] w[19][42] w[19][43] w[19][44] w[19][45] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][28] w[20][29] w[20][30] w[20][31] w[20][32] w[20][33] w[20][34] w[20][35] w[20][36] w[20][37] w[20][38] w[20][39] w[20][40] w[20][41] w[20][42] w[20][43] w[20][44] w[20][45] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][28] w[21][29] w[21][30] w[21][31] w[21][32] w[21][33] w[21][34] w[21][35] w[21][36] w[21][37] w[21][38] w[21][39] w[21][40] w[21][41] w[21][42] w[21][43] w[21][44] w[21][45] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][28] w[22][29] w[22][30] w[22][31] w[22][32] w[22][33] w[22][34] w[22][35] w[22][36] w[22][37] w[22][38] w[22][39] w[22][40] w[22][41] w[22][42] w[22][43] w[22][44] w[22][45] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][28] w[23][29] w[23][30] w[23][31] w[23][32] w[23][33] w[23][34] w[23][35] w[23][36] w[23][37] w[23][38] w[23][39] w[23][40] w[23][41] w[23][42] w[23][43] w[23][44] w[23][45] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][28] w[24][29] w[24][30] w[24][31] w[24][32] w[24][33] w[24][34] w[24][35] w[24][36] w[24][37] w[24][38] w[24][39] w[24][40] w[24][41] w[24][42] w[24][43] w[24][44] w[24][45] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][28] w[25][29] w[25][30] w[25][31] w[25][32] w[25][33] w[25][34] w[25][35] w[25][36] w[25][37] w[25][38] w[25][39] w[25][40] w[25][41] w[25][42] w[25][43] w[25][44] w[25][45] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[26][29] w[26][30] w[26][31] w[26][32] w[26][33] w[26][34] w[26][35] w[26][36] w[26][37] w[26][38] w[26][39] w[26][40] w[26][41] w[26][42] w[26][43] w[26][44] w[26][45] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[27][29] w[27][30] w[27][31] w[27][32] w[27][33] w[27][34] w[27][35] w[27][36] w[27][37] w[27][38] w[27][39] w[27][40] w[27][41] w[27][42] w[27][43] w[27][44] w[27][45] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] w[28][29] w[28][30] w[28][31] w[28][32] w[28][33] w[28][34] w[28][35] w[28][36] w[28][37] w[28][38] w[28][39] w[28][40] w[28][41] w[28][42] w[28][43] w[28][44] w[28][45] w[29][0] w[29][1] w[29][2] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] w[29][30] w[29][31] w[29][32] w[29][33] w[29][34] w[29][35] w[29][36] w[29][37] w[29][38] w[29][39] w[29][40] w[29][41] w[29][42] w[29][43] w[29][44] w[29][45] w[30][0] w[30][1] w[30][2] w[30][3] w[30][4] w[30][5] w[30][6] w[30][7] w[30][8] w[30][9] w[30][10] w[30][11] w[30][12] w[30][13] w[30][14] w[30][15] w[30][16] w[30][17] w[30][18] w[30][19] w[30][20] w[30][21] w[30][22] w[30][23] w[30][24] w[30][25] w[30][26] w[30][27] w[30][28] w[30][29] w[30][30] w[30][31] w[30][32] w[30][33] w[30][34] w[30][35] w[30][36] w[30][37] w[30][38] w[30][39] w[30][40] w[30][41] w[30][42] w[30][43] w[30][44] w[30][45] w[31][0] w[31][1] w[31][2] w[31][3] w[31][4] w[31][5] w[31][6] w[31][7] w[31][8] w[31][9] w[31][10] w[31][11] w[31][12] w[31][13] w[31][14] w[31][15] w[31][16] w[31][17] w[31][18] w[31][19] w[31][20] w[31][21] w[31][22] w[31][23] w[31][24] w[31][25] w[31][26] w[31][27] w[31][28] w[31][29] w[31][30] w[31][31] w[31][32] w[31][33] w[31][34] w[31][35] w[31][36] w[31][37] w[31][38] w[31][39] w[31][40] w[31][41] w[31][42] w[31][43] w[31][44] w[31][45] w[32][0] w[32][1] w[32][2] w[32][3] w[32][4] w[32][5] w[32][6] w[32][7] w[32][8] w[32][9] w[32][10] w[32][11] w[32][12] w[32][13] w[32][14] w[32][15] w[32][16] w[32][17] w[32][18] w[32][19] w[32][20] w[32][21] w[32][22] w[32][23] w[32][24] w[32][25] w[32][26] w[32][27] w[32][28] w[32][29] w[32][30] w[32][31] w[32][32] w[32][33] w[32][34] w[32][35] w[32][36] w[32][37] w[32][38] w[32][39] w[32][40] w[32][41] w[32][42] w[32][43] w[32][44] w[32][45] w[33][0] w[33][1] w[33][2] w[33][3] w[33][4] w[33][5] w[33][6] w[33][7] w[33][8] w[33][9] w[33][10] w[33][11] w[33][12] w[33][13] w[33][14] w[33][15] w[33][16] w[33][17] w[33][18] w[33][19] w[33][20] w[33][21] w[33][22] w[33][23] w[33][24] w[33][25] w[33][26] w[33][27] w[33][28] w[33][29] w[33][30] w[33][31] w[33][32] w[33][33] w[33][34] w[33][35] w[33][36] w[33][37] w[33][38] w[33][39] w[33][40] w[33][41] w[33][42] w[33][43] w[33][44] w[33][45] w[34][0] w[34][1] w[34][2] w[34][3] w[34][4] w[34][5] w[34][6] w[34][7] w[34][8] w[34][9] w[34][10] w[34][11] w[34][12] w[34][13] w[34][14] w[34][15] w[34][16] w[34][17] w[34][18] w[34][19] w[34][20] w[34][21] w[34][22] w[34][23] w[34][24] w[34][25] w[34][26] w[34][27] w[34][28] w[34][29] w[34][30] w[34][31] w[34][32] w[34][33] w[34][34] w[34][35] w[34][36] w[34][37] w[34][38] w[34][39] w[34][40] w[34][41] w[34][42] w[34][43] w[34][44] w[34][45] w[35][0] w[35][1] w[35][2] w[35][3] w[35][4] w[35][5] w[35][6] w[35][7] w[35][8] w[35][9] w[35][10] w[35][11] w[35][12] w[35][13] w[35][14] w[35][15] w[35][16] w[35][17] w[35][18] w[35][19] w[35][20] w[35][21] w[35][22] w[35][23] w[35][24] w[35][25] w[35][26] w[35][27] w[35][28] w[35][29] w[35][30] w[35][31] w[35][32] w[35][33] w[35][34] w[35][35] w[35][36] w[35][37] w[35][38] w[35][39] w[35][40] w[35][41] w[35][42] w[35][43] w[35][44] w[35][45] w[36][0] w[36][1] w[36][2] w[36][3] w[36][4] w[36][5] w[36][6] w[36][7] w[36][8] w[36][9] w[36][10] w[36][11] w[36][12] w[36][13] w[36][14] w[36][15] w[36][16] w[36][17] w[36][18] w[36][19] w[36][20] w[36][21] w[36][22] w[36][23] w[36][24] w[36][25] w[36][26] w[36][27] w[36][28] w[36][29] w[36][30] w[36][31] w[36][32] w[36][33] w[36][34] w[36][35] w[36][36] w[36][37] w[36][38] w[36][39] w[36][40] w[36][41] w[36][42] w[36][43] w[36][44] w[36][45] w[37][0] w[37][1] w[37][2] w[37][3] w[37][4] w[37][5] w[37][6] w[37][7] w[37][8] w[37][9] w[37][10] w[37][11] w[37][12] w[37][13] w[37][14] w[37][15] w[37][16] w[37][17] w[37][18] w[37][19] w[37][20] w[37][21] w[37][22] w[37][23] w[37][24] w[37][25] w[37][26] w[37][27] w[37][28] w[37][29] w[37][30] w[37][31] w[37][32] w[37][33] w[37][34] w[37][35] w[37][36] w[37][37] w[37][38] w[37][39] w[37][40] w[37][41] w[37][42] w[37][43] w[37][44] w[37][45] w[38][0] w[38][1] w[38][2] w[38][3] w[38][4] w[38][5] w[38][6] w[38][7] w[38][8] w[38][9] w[38][10] w[38][11] w[38][12] w[38][13] w[38][14] w[38][15] w[38][16] w[38][17] w[38][18] w[38][19] w[38][20] w[38][21] w[38][22] w[38][23] w[38][24] w[38][25] w[38][26] w[38][27] w[38][28] w[38][29] w[38][30] w[38][31] w[38][32] w[38][33] w[38][34] w[38][35] w[38][36] w[38][37] w[38][38] w[38][39] w[38][40] w[38][41] w[38][42] w[38][43] w[38][44] w[38][45] w[39][0] w[39][1] w[39][2] w[39][3] w[39][4] w[39][5] w[39][6] w[39][7] w[39][8] w[39][9] w[39][10] w[39][11] w[39][12] w[39][13] w[39][14] w[39][15] w[39][16] w[39][17] w[39][18] w[39][19] w[39][20] w[39][21] w[39][22] w[39][23] w[39][24] w[39][25] w[39][26] w[39][27] w[39][28] w[39][29] w[39][30] w[39][31] w[39][32] w[39][33] w[39][34] w[39][35] w[39][36] w[39][37] w[39][38] w[39][39] w[39][40] w[39][41] w[39][42] w[39][43] w[39][44] w[39][45] w[40][0] w[40][1] w[40][2] w[40][3] w[40][4] w[40][5] w[40][6] w[40][7] w[40][8] w[40][9] w[40][10] w[40][11] w[40][12] w[40][13] w[40][14] w[40][15] w[40][16] w[40][17] w[40][18] w[40][19] w[40][20] w[40][21] w[40][22] w[40][23] w[40][24] w[40][25] w[40][26] w[40][27] w[40][28] w[40][29] w[40][30] w[40][31] w[40][32] w[40][33] w[40][34] w[40][35] w[40][36] w[40][37] w[40][38] w[40][39] w[40][40] w[40][41] w[40][42] w[40][43] w[40][44] w[40][45] w[41][0] w[41][1] w[41][2] w[41][3] w[41][4] w[41][5] w[41][6] w[41][7] w[41][8] w[41][9] w[41][10] w[41][11] w[41][12] w[41][13] w[41][14] w[41][15] w[41][16] w[41][17] w[41][18] w[41][19] w[41][20] w[41][21] w[41][22] w[41][23] w[41][24] w[41][25] w[41][26] w[41][27] w[41][28] w[41][29] w[41][30] w[41][31] w[41][32] w[41][33] w[41][34] w[41][35] w[41][36] w[41][37] w[41][38] w[41][39] w[41][40] w[41][41] w[41][42] w[41][43] w[41][44] w[41][45] w[42][0] w[42][1] w[42][2] w[42][3] w[42][4] w[42][5] w[42][6] w[42][7] w[42][8] w[42][9] w[42][10] w[42][11] w[42][12] w[42][13] w[42][14] w[42][15] w[42][16] w[42][17] w[42][18] w[42][19] w[42][20] w[42][21] w[42][22] w[42][23] w[42][24] w[42][25] w[42][26] w[42][27] w[42][28] w[42][29] w[42][30] w[42][31] w[42][32] w[42][33] w[42][34] w[42][35] w[42][36] w[42][37] w[42][38] w[42][39] w[42][40] w[42][41] w[42][42] w[42][43] w[42][44] w[42][45] w[43][0] w[43][1] w[43][2] w[43][3] w[43][4] w[43][5] w[43][6] w[43][7] w[43][8] w[43][9] w[43][10] w[43][11] w[43][12] w[43][13] w[43][14] w[43][15] w[43][16] w[43][17] w[43][18] w[43][19] w[43][20] w[43][21] w[43][22] w[43][23] w[43][24] w[43][25] w[43][26] w[43][27] w[43][28] w[43][29] w[43][30] w[43][31] w[43][32] w[43][33] w[43][34] w[43][35] w[43][36] w[43][37] w[43][38] w[43][39] w[43][40] w[43][41] w[43][42] w[43][43] w[43][44] w[43][45] w[44][0] w[44][1] w[44][2] w[44][3] w[44][4] w[44][5] w[44][6] w[44][7] w[44][8] w[44][9] w[44][10] w[44][11] w[44][12] w[44][13] w[44][14] w[44][15] w[44][16] w[44][17] w[44][18] w[44][19] w[44][20] w[44][21] w[44][22] w[44][23] w[44][24] w[44][25] w[44][26] w[44][27] w[44][28] w[44][29] w[44][30] w[44][31] w[44][32] w[44][33] w[44][34] w[44][35] w[44][36] w[44][37] w[44][38] w[44][39] w[44][40] w[44][41] w[44][42] w[44][43] w[44][44] w[44][45] w[45][0] w[45][1] w[45][2] w[45][3] w[45][4] w[45][5] w[45][6] w[45][7] w[45][8] w[45][9] w[45][10] w[45][11] w[45][12] w[45][13] w[45][14] w[45][15] w[45][16] w[45][17] w[45][18] w[45][19] w[45][20] w[45][21] w[45][22] w[45][23] w[45][24] w[45][25] w[45][26] w[45][27] w[45][28] w[45][29] w[45][30] w[45][31] w[45][32] w[45][33] w[45][34] w[45][35] w[45][36] w[45][37] w[45][38] w[45][39] w[45][40] w[45][41] w[45][42] w[45][43] w[45][44] w[45][45] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] ws[28] ws[29] ws[30] ws[31] ws[32] ws[33] ws[34] ws[35] ws[36] ws[37] ws[38] ws[39] ws[40] ws[41] ws[42] ws[43] ws[44] ws[45] z </list> 2520.00/2512.40 v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 1 1 0 0 1 1 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 1 1 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 0 0 1 0 0 0 1 1 0 1 0 1 1 1 0 1 1 1 0 1 0 0 0 0 0 1 0 0 0 1 1 0 1 1 0 1 1 0 1 0 0 1 0 1 0 1 1 1 1 0 0 1 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 0 1 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 1 1 1 0 0 1 0 0 1 1 0 1 0 0 0 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 1 1 1 1 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 1 1 1 1 1 0 1 1 1 1 0 1 0 0 0 1 1 0 0 0 1 1 0 1 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 0 1 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 1 0 0 1 0 0 1 1 1 1 0 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 1 1 1 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 1 0 1 0 0 1 0 1 0 0 1 1 0 0 1 0 0 0 1 0 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 0 0 1 0 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 0 0 0 1 1 0 1 0 0 0 1 1 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 1 1 0 1 0 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 0 0 1 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 1 1 1 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 1 1 1 1 0 0 0 1 1 1 1 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 1 0 1 1 0 1 1 0 0 0 0 1 0 0 0 0 1 1 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 0 1 0 1 0 0 0 1 0 1 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 1 1 1 1 0 0 1 0 0 1 0 1 1 0 1 0 0 0 0 0 1 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 1 0 1 1 1 0 1 1 1 1 0 0 0 0 1 0 1 0 1 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 1 0 1 0 1 0 1 0 0 0 0 1 0 0 1 0 1 1 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 1 0 1 0 0 1 1 1 1 1 0 1 0 1 1 0 1 0 1 1 1 0 1 1 1 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 1 0 0 1 1 1 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 1 1 1 1 1 0 0 0 0 1 1 0 1 1 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 1 1 0 1 1 1 0 1 0 1 1 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 1 1 0 1 0 1 1 0 1 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 1 1 1 1 1 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 1 0 1 1 0 1 1 0 0 1 1 1 0 1 1 1 1 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 1 0 0 0 1 1 0 0 1 0 1 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 1 1 1 0 0 0 1 1 1 1 1 0 0 0 1 0 1 0 0 0 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 1 0 1 0 1 1 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 0 1 0 0 0 0 0 1 1 0 0 1 1 0 1 1 1 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 1 0 1 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 1 1 1 1 0 1 1 0 1 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 1 1 1 0 0 1 1 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 1 1 1 1 0 0 1 0 1 0 1 1 1 1 1 0 1 1 0 0 0 1 1 0 0 0 0 0 1 1 0 0 1 1 0 0 0 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 1 1 0 1 0 0 1 1 1 1 0 0 0 1 0 1 1 1 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 1 1 1 1 0 0 1 0 0 1 1 0 0 1 0 0 1 1 1 0 0 1 1 1 1 1 1 1 0 0 1 1 0 0 0 0 0 0 0 2 2 2 0 1 1 0 2 2 2 1 0 0 0 0 1 1 0 0 0 0 0 1 1 2 0 1 1 0 2 2 2 2 2 1 0 1 1 1 0 1 0 0 1 0 1 1 2 1 1 0 0 1 1 2 1 1 0 0 0 0 0 0 1 0 1 0 0 0 2 1 1 0 0 1 1 2 2 1 1 1 0 0 2 1 0 0 1 1 1 0 0 1 1 1 0 0 0 0 0 0 1 0 0 1 1 1 1 0 0 1 1 1 0 0 2 0 0 1 0 0 1 1 1 1 0 0 0 1 1 1 0 0 0 1 0 1 0 0 1 0 0 0 0 2 0 0 0 0 1 1 2 1 1 0 0 1 2 1 0 1 0 1 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 1 0 0 0 1 0 2 1 0 0 1 0 2 2 2 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 2 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 1 1 1 0 0 1 1 1 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 1 0 1 1 1 1 1 0 0 2 1 0 1 0 1 2 2 1 1 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 2 1 0 0 1 0 1 1 0 1 1 1 1 1 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 1 1 1 1 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 2 2 0 0 1 0 0 0 1 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 2 2 1 1 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 1 1 1 1 0 0 1 1 2 2 2 1 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 1 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 2 1 1 1 0 0 0 0 1 0 2 1 1 0 0 1 1 0 1 0 0 0 0 0 0 1 1 2 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 2 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 1 1 2 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 1 2 1 1 2 2 2 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 1 1 1 2 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 1 1 0 2 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 2 1 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 1 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 1 2 1 1 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 2 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 1 2 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 2 1 1 0 1 0 0 0 1 0 0 1 0 1 1 1 1 0 0 0 0 0 1 1 0 1 0 0 0 2 2 1 1 1 1 1 0 0 2 0 1 0 0 1 0 2 0 1 0 1 1 1 0 1 0 0 1 0 1 0 0 1 0 1 0 0 1 1 0 1 1 0 0 0 1 1 1 1 1 2 1 0 0 0 0 2 1 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 1 1 2 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 1 2 0 0 0 0 1 0 2 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 2 0 2 0 2 1 1 1 1 0 1 0 0 0 0 0 0 1 2 2 0 0 1 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 2 1 1 1 2 1 0 0 0 0 0 0 1 2 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 2 0 1 0 0 0 1 1 2 2 1 1 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 2 0 0 0 1 1 2 1 2 2 1 0 1 0 1 0 0 0 0 2 1 1 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 1 0 0 1 1 2 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 2 2 1 1 0 0 0 2 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 1 0 1 0 0 0 1 0 1 0 1 1 1 1 0 0 1 1 0 0 0 0 1 0 0 0 0 1 1 1 0 0 1 0 0 0 1 0 1 1 2 1 1 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 2 2 1 0 0 0 1 0 0 1 1 2 1 1 0 0 0 0 1 0 0 0 2 2 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 2 2 1 1 0 0 1 0 0 0 2 2 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 0 1 0 1 2 2 2 0 1 0 0 0 0 1 0 2 2 1 1 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 1 1 2 1 1 2 2 0 0 0 1 0 0 0 1 2 2 1 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 1 2 2 2 0 0 1 1 0 1 1 1 1 0 0 1 1 1 1 0 0 0 0 0 0 0 2 1 1 0 0 0 0 0 0 1 0 1 0 0 1 1 2 1 2 1 1 2 2 1 0 0 1 1 0 0 1 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 1 1 2 2 2 1 1 2 2 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 0 1 1 2 2 1 0 1 0 0 1 0 1 0 1 0 0 1 1 2 2 1 1 2 2 2 2 2 2 2 2 1 1 0 0 0 0 0 1 2 1 0 0 1 1 2 2 1 2 2 2 1 0 0 2 2 1 2 1 2 1 1 0 1 2 2 2 1 1 2 2 2 2 2 2 2 2 2 1 1 0 0 0 1 1 2 1 1 0 1 2 2 2 2 2 2 2 1 0 1 1 2 2 2 2 2 1 0 1 1 2 2 2 1 0 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 1 1 0 0 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 0 0 1 1 1 1 2 26 64 96 119 137 155 172 192 211 228 242 268 291 306 316 332 350 369 384 399 416 430 443 466 493 510 524 547 565 580 599 626 643 656 673 692 712 736 760 783 814 836 874 931 996 1032 754 </values> 2520.00/2512.40 v </instantiation> 2520.00/2512.40 c Unexpected resolution interruption!
OK 754
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15436 MiB free)
memory of node 1: 16384 MiB (15397 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269339-1502696089/watcher-4269339-1502696089 -o /tmp/evaluation-result-4269339-1502696089/solver-4269339-1502696089 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502649032-24470 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1214982509 HOME/instance-4269339-1502696089.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=31712, runsolver pid=31709
[startup+0.100111 s]*
/proc/loadavg: 1.53 1.59 1.62 3/212 31722
/proc/meminfo: memFree=31563164/32770624 swapFree=67108764/67108860
[pid=31712] ppid=31709 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31712/stat : 31712 (xcsp3-exec) S 31709 31712 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 117115379 9740288 345 18446744073709551615 4194304 5098028 140736124097344 140736124095448 140265114886780 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 4 0 0 7196144 7232144 29958144 140736124100984 140736124101189 140736124101189 140736124104683 0
/proc/31712/statm: 2378 345 289 221 0 87 0
[pid=31714] ppid=31712 vsize=13907304 memory=21384 CPUtime=0.05 cores=0,2,4,6
/proc/31714/stat : 31714 (java) S 31712 31712 4674 0 -1 1077944320 4792 0 0 0 4 1 0 0 20 0 14 0 117115384 14241079296 5346 18446744073709551615 4194304 4196468 140734137081472 140734137064016 140257857793783 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
/proc/31714/statm: 3476826 5346 2555 1 0 3466323 0
[pid=31714/tid=31715] ppid=31712 vsize=13907304 memory=-6871798056524144002 CPUtime=0.04 cores=0,2,4,6
/proc/31714/task/31715/stat : 31715 (java) D 31712 31712 4674 0 -1 4202560 2970 0 0 0 4 0 0 0 20 0 14 0 117115384 14241079296 5346 18446744073709551615 4194304 4196468 140734137081472 140257862031264 140257857815805 0 4 1 16800974 18446744071580418449 0 0 -1 0 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31716] ppid=31712 vsize=13907304 memory=6735269665564437106 CPUtime=0 cores=0,2,4,6
/proc/31714/task/31716/stat : 31716 (java) S 31712 31712 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 117115385 14241079296 5346 18446744073709551615 4194304 4196468 140734137081472 140257799740304 140257857803989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31717] ppid=31712 vsize=13907304 memory=140275232134784 CPUtime=0 cores=0,2,4,6
/proc/31714/task/31717/stat : 31717 (java) S 31712 31712 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 117115385 14241079296 5346 18446744073709551615 4194304 4196468 140734137081472 140257798687504 140257857803989 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31718] ppid=31712 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31714/task/31718/stat : 31718 (java) S 31712 31712 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 117115385 14241079296 5346 18446744073709551615 4194304 4196468 140734137081472 140257797635216 140257857803989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31719] ppid=31712 vsize=13907304 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/31714/task/31719/stat : 31719 (java) S 31712 31712 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 117115385 14241079296 5346 18446744073709551615 4194304 4196468 140734137081472 140257796582416 140257857803989 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31720] ppid=31712 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31714/task/31720/stat : 31720 (java) S 31712 31712 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 117115386 14241079296 5346 18446744073709551615 4194304 4196468 140734137081472 140257403517040 140257857804930 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31721] ppid=31712 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31714/task/31721/stat : 31721 (java) S 31712 31712 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 117115387 14241079296 5346 18446744073709551615 4194304 4196468 140734137081472 140257402463008 140257857803989 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31722] ppid=31712 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31714/task/31722/stat : 31722 (java) S 31712 31712 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 117115387 14241079296 5346 18446744073709551615 4194304 4196468 140734137081472 140257401410672 140257857803989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31723] ppid=31712 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31714/task/31723/stat : 31723 (java) S 31712 31712 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 117115389 14241079296 5346 18446744073709551615 4194304 4196468 140734137081472 140257400358992 140257857812379 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31724] ppid=31712 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31714/task/31724/stat : 31724 (java) S 31712 31712 4674 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 14 0 117115389 14241079296 5346 18446744073709551615 4194304 4196468 140734137081472 140257399306864 140257857804930 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31725] ppid=31712 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31714/task/31725/stat : 31725 (java) S 31712 31712 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 117115389 14241079296 5346 18446744073709551615 4194304 4196468 140734137081472 140257398254064 140257857804930 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31726] ppid=31712 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31714/task/31726/stat : 31726 (java) S 31712 31712 4674 0 -1 1077944384 213 0 0 0 0 0 0 0 20 0 14 0 117115389 14241079296 5346 18446744073709551615 4194304 4196468 140734137081472 140257397201776 140257857804930 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31727] ppid=31712 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31714/task/31727/stat : 31727 (java) S 31712 31712 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 117115389 14241079296 5346 18446744073709551615 4194304 4196468 140734137081472 140257396149216 140257857803989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 22764 KiB
[startup+0.21113 s]*
/proc/loadavg: 1.53 1.59 1.62 4/218 31728
/proc/meminfo: memFree=31556572/32770624 swapFree=67108764/67108860
[pid=31712] ppid=31709 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31712/stat : 31712 (xcsp3-exec) S 31709 31712 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 117115379 9740288 345 18446744073709551615 4194304 5098028 140736124097344 140736124095448 140265114886780 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 4 0 0 7196144 7232144 29958144 140736124100984 140736124101189 140736124101189 140736124104683 0
/proc/31712/statm: 2378 345 289 221 0 87 0
[pid=31714] ppid=31712 vsize=13974352 memory=31020 CPUtime=0.18 cores=0,2,4,6
/proc/31714/stat : 31714 (java) S 31712 31712 4674 0 -1 1077944320 6216 0 0 0 17 1 0 0 20 0 15 0 117115384 14309736448 7755 18446744073709551615 4194304 4196468 140734137081472 140734137064016 140257857793783 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
/proc/31714/statm: 3493588 7755 2960 1 0 3482964 0
[pid=31714/tid=31715] ppid=31712 vsize=13974352 memory=7077796292425249400 CPUtime=0.12 cores=0,2,4,6
/proc/31714/task/31715/stat : 31715 (java) R 31712 31712 4674 0 -1 4202560 3470 0 0 0 11 1 0 0 20 0 15 0 117115384 14309736448 7755 18446744073709551615 4194304 4196468 140734137081472 140257862030656 140257857805718 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31716] ppid=31712 vsize=13974352 memory=6735269665564437106 CPUtime=0 cores=0,2,4,6
/proc/31714/task/31716/stat : 31716 (java) S 31712 31712 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117115385 14309736448 7755 18446744073709551615 4194304 4196468 140734137081472 140257799740304 140257857803989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31717] ppid=31712 vsize=13974352 memory=140275232134784 CPUtime=0 cores=0,2,4,6
/proc/31714/task/31717/stat : 31717 (java) S 31712 31712 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117115385 14309736448 7755 18446744073709551615 4194304 4196468 140734137081472 140257798687504 140257857803989 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31718] ppid=31712 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31714/task/31718/stat : 31718 (java) S 31712 31712 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117115385 14309736448 7755 18446744073709551615 4194304 4196468 140734137081472 140257797635216 140257857803989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31719] ppid=31712 vsize=13974352 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/31714/task/31719/stat : 31719 (java) S 31712 31712 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117115385 14309736448 7755 18446744073709551615 4194304 4196468 140734137081472 140257796582416 140257857803989 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31720] ppid=31712 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31714/task/31720/stat : 31720 (java) S 31712 31712 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117115386 14309736448 7755 18446744073709551615 4194304 4196468 140734137081472 140257403517040 140257857804930 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31721] ppid=31712 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31714/task/31721/stat : 31721 (java) S 31712 31712 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117115387 14309736448 7755 18446744073709551615 4194304 4196468 140734137081472 140257402463008 140257857803989 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31722] ppid=31712 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31714/task/31722/stat : 31722 (java) S 31712 31712 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117115387 14309736448 7755 18446744073709551615 4194304 4196468 140734137081472 140257401410672 140257857803989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31723] ppid=31712 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31714/task/31723/stat : 31723 (java) S 31712 31712 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117115389 14309736448 7755 18446744073709551615 4194304 4196468 140734137081472 140257400358992 140257857812379 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31724] ppid=31712 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/31714/task/31724/stat : 31724 (java) S 31712 31712 4674 0 -1 1077944384 530 0 0 0 1 0 0 0 20 0 15 0 117115389 14309736448 7755 18446744073709551615 4194304 4196468 140734137081472 140257399306864 140257857804930 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31725] ppid=31712 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31714/task/31725/stat : 31725 (java) S 31712 31712 4674 0 -1 1077944384 193 0 0 0 0 0 0 0 20 0 15 0 117115389 14309736448 7755 18446744073709551615 4194304 4196468 140734137081472 140257398254064 140257857804930 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31726] ppid=31712 vsize=13974352 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/31714/task/31726/stat : 31726 (java) R 31712 31712 4674 0 -1 4202560 719 0 0 0 4 0 0 0 20 0 15 0 117115389 14309736448 7755 18446744073709551615 4194304 4196468 140734137081472 140257397197504 140257836723235 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31727] ppid=31712 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31714/task/31727/stat : 31727 (java) S 31712 31712 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117115389 14309736448 7755 18446744073709551615 4194304 4196468 140734137081472 140257396149216 140257857803989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31728] ppid=31712 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31714/task/31728/stat : 31728 (java) S 31712 31712 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117115394 14309736448 7755 18446744073709551615 4194304 4196468 140734137081472 140257395095984 140257857804930 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 32400 KiB
[startup+0.310974 s]*
/proc/loadavg: 1.53 1.59 1.62 4/218 31728
/proc/meminfo: memFree=31541828/32770624 swapFree=67108764/67108860
[pid=31712] ppid=31709 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31712/stat : 31712 (xcsp3-exec) S 31709 31712 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 117115379 9740288 345 18446744073709551615 4194304 5098028 140736124097344 140736124095448 140265114886780 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 4 0 0 7196144 7232144 29958144 140736124100984 140736124101189 140736124101189 140736124104683 0
/proc/31712/statm: 2378 345 289 221 0 87 0
[pid=31714] ppid=31712 vsize=13978608 memory=42116 CPUtime=0.36 cores=0,2,4,6
/proc/31714/stat : 31714 (java) S 31712 31712 4674 0 -1 1077944320 9280 0 0 0 33 3 0 0 20 0 15 0 117115384 14314094592 10529 18446744073709551615 4194304 4196468 140734137081472 140734137064016 140257857793783 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
/proc/31714/statm: 3494652 10529 3043 1 0 3482964 0
[pid=31714/tid=31715] ppid=31712 vsize=13978608 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/31714/task/31715/stat : 31715 (java) R 31712 31712 4674 0 -1 4202560 6366 0 0 0 19 2 0 0 20 0 15 0 117115384 14314094592 10529 18446744073709551615 4194304 4196468 140734137081472 140257862016592 140257857815709 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31716] ppid=31712 vsize=13978608 memory=664954298551644168 CPUtime=0 cores=0,2,4,6
/proc/31714/task/31716/stat : 31716 (java) S 31712 31712 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117115385 14314094592 10529 18446744073709551615 4194304 4196468 140734137081472 140257799740304 140257857803989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31717] ppid=31712 vsize=13978608 memory=140275232134784 CPUtime=0 cores=0,2,4,6
/proc/31714/task/31717/stat : 31717 (java) S 31712 31712 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117115385 14314094592 10529 18446744073709551615 4194304 4196468 140734137081472 140257798687504 140257857803989 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31718] ppid=31712 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31714/task/31718/stat : 31718 (java) S 31712 31712 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117115385 14314094592 10529 18446744073709551615 4194304 4196468 140734137081472 140257797635216 140257857803989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31719] ppid=31712 vsize=13978608 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31714/task/31719/stat : 31719 (java) S 31712 31712 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117115385 14314094592 10529 18446744073709551615 4194304 4196468 140734137081472 140257796582416 140257857803989 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31720] ppid=31712 vsize=13978608 memory=3472468571459815088 CPUtime=0 cores=0,2,4,6
/proc/31714/task/31720/stat : 31720 (java) S 31712 31712 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117115386 14314094592 10529 18446744073709551615 4194304 4196468 140734137081472 140257403517040 140257857804930 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31721] ppid=31712 vsize=13978608 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31714/task/31721/stat : 31721 (java) S 31712 31712 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117115387 14314094592 10529 18446744073709551615 4194304 4196468 140734137081472 140257402463008 140257857803989 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31722] ppid=31712 vsize=13978608 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/31714/task/31722/stat : 31722 (java) S 31712 31712 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117115387 14314094592 10529 18446744073709551615 4194304 4196468 140734137081472 140257401410672 140257857803989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31723] ppid=31712 vsize=13978608 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/31714/task/31723/stat : 31723 (java) S 31712 31712 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117115389 14314094592 10529 18446744073709551615 4194304 4196468 140734137081472 140257400358992 140257857812379 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31724] ppid=31712 vsize=13978608 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/31714/task/31724/stat : 31724 (java) S 31712 31712 4674 0 -1 1077944384 622 0 0 0 2 0 0 0 20 0 15 0 117115389 14314094592 10529 18446744073709551615 4194304 4196468 140734137081472 140257399306864 140257857804930 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31725] ppid=31712 vsize=13978608 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/31714/task/31725/stat : 31725 (java) S 31712 31712 4674 0 -1 1077944384 224 0 0 0 2 0 0 0 20 0 15 0 117115389 14314094592 10529 18446744073709551615 4194304 4196468 140734137081472 140257398254064 140257857804930 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31726] ppid=31712 vsize=13978608 memory=140275232134784 CPUtime=0.08 cores=0,2,4,6
/proc/31714/task/31726/stat : 31726 (java) S 31712 31712 4674 0 -1 1077944384 764 0 0 0 8 0 0 0 20 0 15 0 117115389 14314094592 10529 18446744073709551615 4194304 4196468 140734137081472 140257397201776 140257857804930 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31727] ppid=31712 vsize=13978608 memory=3472328296227418159 CPUtime=0 cores=0,2,4,6
/proc/31714/task/31727/stat : 31727 (java) S 31712 31712 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117115389 14314094592 10529 18446744073709551615 4194304 4196468 140734137081472 140257396149216 140257857803989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31728] ppid=31712 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31714/task/31728/stat : 31728 (java) S 31712 31712 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117115394 14314094592 10529 18446744073709551615 4194304 4196468 140734137081472 140257395095984 140257857804930 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 43496 KiB
[startup+0.700893 s]
/proc/loadavg: 1.49 1.58 1.62 6/218 31728
/proc/meminfo: memFree=31521444/32770624 swapFree=67108764/67108860
[pid=31712] ppid=31709 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31712/stat : 31712 (xcsp3-exec) S 31709 31712 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 117115379 9740288 345 18446744073709551615 4194304 5098028 140736124097344 140736124095448 140265114886780 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 4 0 0 7196144 7232144 29958144 140736124100984 140736124101189 140736124101189 140736124104683 0
/proc/31712/statm: 2378 345 289 221 0 87 0
[pid=31714] ppid=31712 vsize=13978684 memory=93484 CPUtime=1.52 cores=0,2,4,6
/proc/31714/stat : 31714 (java) S 31712 31712 4674 0 -1 1077944320 13446 0 0 0 148 4 0 0 20 0 15 0 117115384 14314172416 23371 18446744073709551615 4194304 4196468 140734137081472 140734137064016 140257857793783 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
/proc/31714/statm: 3494671 23371 3172 1 0 3482964 0
[pid=31714/tid=31715] ppid=31712 vsize=13978684 memory=11028 CPUtime=0.59 cores=0,2,4,6
/proc/31714/task/31715/stat : 31715 (java) R 31712 31712 4674 0 -1 4202560 7864 0 0 0 56 3 0 0 20 0 15 0 117115384 14314172416 23371 18446744073709551615 4194304 4196468 140734137081472 140257862029072 140257857805718 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31716] ppid=31712 vsize=13978684 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/31714/task/31716/stat : 31716 (java) S 31712 31712 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117115385 14314172416 23371 18446744073709551615 4194304 4196468 140734137081472 140257799740304 140257857803989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31717] ppid=31712 vsize=13978684 memory=5712 CPUtime=0 cores=0,2,4,6
/proc/31714/task/31717/stat : 31717 (java) S 31712 31712 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117115385 14314172416 23371 18446744073709551615 4194304 4196468 140734137081472 140257798687504 140257857803989 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31718] ppid=31712 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31714/task/31718/stat : 31718 (java) S 31712 31712 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117115385 14314172416 23371 18446744073709551615 4194304 4196468 140734137081472 140257797635216 140257857803989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31719] ppid=31712 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31714/task/31719/stat : 31719 (java) S 31712 31712 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117115385 14314172416 23371 18446744073709551615 4194304 4196468 140734137081472 140257796582416 140257857803989 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31720] ppid=31712 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31714/task/31720/stat : 31720 (java) S 31712 31712 4674 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 117115386 14314172416 23371 18446744073709551615 4194304 4196468 140734137081472 140257403517040 140257857804930 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31721] ppid=31712 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31714/task/31721/stat : 31721 (java) S 31712 31712 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117115387 14314172416 23371 18446744073709551615 4194304 4196468 140734137081472 140257402463008 140257857803989 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31722] ppid=31712 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31714/task/31722/stat : 31722 (java) S 31712 31712 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117115387 14314172416 23371 18446744073709551615 4194304 4196468 140734137081472 140257401410672 140257857803989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31723] ppid=31712 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31714/task/31723/stat : 31723 (java) S 31712 31712 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117115389 14314172416 23371 18446744073709551615 4194304 4196468 140734137081472 140257400358992 140257857812379 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31724] ppid=31712 vsize=13978684 memory=0 CPUtime=0.3 cores=0,2,4,6
/proc/31714/task/31724/stat : 31724 (java) R 31712 31712 4674 0 -1 4202560 1642 0 0 0 30 0 0 0 20 0 15 0 117115389 14314172416 23371 18446744073709551615 4194304 4196468 140734137081472 140257399298192 140257857807670 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31725] ppid=31712 vsize=13978684 memory=0 CPUtime=0.29 cores=0,2,4,6
/proc/31714/task/31725/stat : 31725 (java) R 31712 31712 4674 0 -1 4202560 1017 0 0 0 29 0 0 0 20 0 15 0 117115389 14314172416 23371 18446744073709551615 4194304 4196468 140734137081472 140257398239440 140257837630121 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31726] ppid=31712 vsize=13978684 memory=0 CPUtime=0.32 cores=0,2,4,6
/proc/31714/task/31726/stat : 31726 (java) R 31712 31712 4674 0 -1 1077944384 1616 0 0 0 32 0 0 0 20 0 15 0 117115389 14314172416 23371 18446744073709551615 4194304 4196468 140734137081472 140257397201776 140257857804930 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31727] ppid=31712 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31714/task/31727/stat : 31727 (java) S 31712 31712 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117115389 14314172416 23371 18446744073709551615 4194304 4196468 140734137081472 140257396149216 140257857803989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31728] ppid=31712 vsize=13978684 memory=65880 CPUtime=0 cores=0,2,4,6
/proc/31714/task/31728/stat : 31728 (java) S 31712 31712 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117115394 14314172416 23371 18446744073709551615 4194304 4196468 140734137081472 140257395095984 140257857804930 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
Current children cumulated CPU time: 1.52 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 94864 KiB
[startup+1.50166 s]
/proc/loadavg: 1.49 1.58 1.62 4/218 31728
/proc/meminfo: memFree=31475280/32770624 swapFree=67108764/67108860
[pid=31712] ppid=31709 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31712/stat : 31712 (xcsp3-exec) S 31709 31712 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 117115379 9740288 345 18446744073709551615 4194304 5098028 140736124097344 140736124095448 140265114886780 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 4 0 0 7196144 7232144 29958144 140736124100984 140736124101189 140736124101189 140736124104683 0
/proc/31712/statm: 2378 345 289 221 0 87 0
[pid=31714] ppid=31712 vsize=13980732 memory=146600 CPUtime=3.15 cores=0,2,4,6
/proc/31714/stat : 31714 (java) S 31712 31712 4674 0 -1 1077944320 17543 0 0 0 309 6 0 0 20 0 15 0 117115384 14316269568 36650 18446744073709551615 4194304 4196468 140734137081472 140734137064016 140257857793783 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
################
# More data... #
################
/proc/31714/task/31722/stat : 31722 (java) S 31712 31712 4674 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 117115387 14316269568 47706 18446744073709551615 4194304 4196468 140734137081472 140257401410672 140257857803989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31723] ppid=31712 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31714/task/31723/stat : 31723 (java) S 31712 31712 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117115389 14316269568 47706 18446744073709551615 4194304 4196468 140734137081472 140257400358992 140257857812379 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31724] ppid=31712 vsize=13980732 memory=1380 CPUtime=2.2 cores=0,2,4,6
/proc/31714/task/31724/stat : 31724 (java) S 31712 31712 4674 0 -1 1077944384 15591 0 0 0 219 1 0 0 20 0 15 0 117115389 14316269568 47706 18446744073709551615 4194304 4196468 140734137081472 140257399306864 140257857804930 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31725] ppid=31712 vsize=13980732 memory=4148 CPUtime=2.62 cores=0,2,4,6
/proc/31714/task/31725/stat : 31725 (java) S 31712 31712 4674 0 -1 1077944384 20817 0 0 0 259 3 0 0 20 0 15 0 117115389 14316269568 47706 18446744073709551615 4194304 4196468 140734137081472 140257398254064 140257857804930 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31726] ppid=31712 vsize=13980732 memory=57232 CPUtime=0.77 cores=0,2,4,6
/proc/31714/task/31726/stat : 31726 (java) S 31712 31712 4674 0 -1 1077944384 11298 0 0 0 75 2 0 0 20 0 15 0 117115389 14316269568 47706 18446744073709551615 4194304 4196468 140734137081472 140257397201776 140257857804930 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31727] ppid=31712 vsize=13980732 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/31714/task/31727/stat : 31727 (java) S 31712 31712 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117115389 14316269568 47706 18446744073709551615 4194304 4196468 140734137081472 140257396149216 140257857803989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31728] ppid=31712 vsize=13980732 memory=2320 CPUtime=1 cores=0,2,4,6
/proc/31714/task/31728/stat : 31728 (java) S 31712 31712 4674 0 -1 1077944384 1525 0 0 0 42 58 0 0 20 0 15 0 117115394 14316269568 47706 18446744073709551615 4194304 4196468 140734137081472 140257395095984 140257857804930 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
Current children cumulated CPU time: 2389.7 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 192204 KiB
[startup+2442.3 s]
/proc/loadavg: 1.62 1.76 1.74 4/220 32064
/proc/meminfo: memFree=31393160/32770624 swapFree=67108764/67108860
[pid=31712] ppid=31709 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31712/stat : 31712 (xcsp3-exec) S 31709 31712 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 117115379 9740288 345 18446744073709551615 4194304 5098028 140736124097344 140736124095448 140265114886780 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 4 0 0 7196144 7232144 29958144 140736124100984 140736124101189 140736124101189 140736124104683 0
/proc/31712/statm: 2378 345 289 221 0 87 0
[pid=31714] ppid=31712 vsize=13980732 memory=190824 CPUtime=2449.76 cores=0,2,4,6
/proc/31714/stat : 31714 (java) S 31712 31712 4674 0 -1 1077944320 92594 0 0 0 244899 77 0 0 20 0 15 0 117115384 14316269568 47706 18446744073709551615 4194304 4196468 140734137081472 140734137064016 140257857793783 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
/proc/31714/statm: 3495183 47706 3246 1 0 3483476 0
[pid=31714/tid=31715] ppid=31712 vsize=13980732 memory=190824 CPUtime=2441.32 cores=0,2,4,6
/proc/31714/task/31715/stat : 31715 (java) R 31712 31712 4674 0 -1 4202560 23822 0 0 0 244125 7 0 0 20 0 15 0 117115384 14316269568 47706 18446744073709551615 4194304 4196468 140734137081472 140257862033200 140257482353521 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31716] ppid=31712 vsize=13980732 memory=190824 CPUtime=0.38 cores=0,2,4,6
/proc/31714/task/31716/stat : 31716 (java) S 31712 31712 4674 0 -1 1077944384 3466 0 0 0 35 3 0 0 20 0 15 0 117115385 14316269568 47706 18446744073709551615 4194304 4196468 140734137081472 140257799740304 140257857803989 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31717] ppid=31712 vsize=13980732 memory=190824 CPUtime=0.38 cores=0,2,4,6
/proc/31714/task/31717/stat : 31717 (java) S 31712 31712 4674 0 -1 1077944384 2627 0 0 0 34 4 0 0 20 0 15 0 117115385 14316269568 47706 18446744073709551615 4194304 4196468 140734137081472 140257798687504 140257857803989 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31718] ppid=31712 vsize=13980732 memory=1380 CPUtime=0.39 cores=0,2,4,6
/proc/31714/task/31718/stat : 31718 (java) S 31712 31712 4674 0 -1 1077944384 4625 0 0 0 35 4 0 0 20 0 15 0 117115385 14316269568 47706 18446744073709551615 4194304 4196468 140734137081472 140257797635216 140257857803989 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31719] ppid=31712 vsize=13980732 memory=1380 CPUtime=0.37 cores=0,2,4,6
/proc/31714/task/31719/stat : 31719 (java) S 31712 31712 4674 0 -1 1077944384 2921 0 0 0 34 3 0 0 20 0 15 0 117115385 14316269568 47706 18446744073709551615 4194304 4196468 140734137081472 140257796582416 140257857803989 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31720] ppid=31712 vsize=13980732 memory=190824 CPUtime=0.22 cores=0,2,4,6
/proc/31714/task/31720/stat : 31720 (java) S 31712 31712 4674 0 -1 1077944384 4545 0 0 0 17 5 0 0 20 0 15 0 117115386 14316269568 47706 18446744073709551615 4194304 4196468 140734137081472 140257403517040 140257857804930 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31721] ppid=31712 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/31714/task/31721/stat : 31721 (java) S 31712 31712 4674 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 117115387 14316269568 47706 18446744073709551615 4194304 4196468 140734137081472 140257402463072 140257857803989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31722] ppid=31712 vsize=13980732 memory=2012 CPUtime=0 cores=0,2,4,6
/proc/31714/task/31722/stat : 31722 (java) S 31712 31712 4674 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 117115387 14316269568 47706 18446744073709551615 4194304 4196468 140734137081472 140257401410672 140257857803989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31723] ppid=31712 vsize=13980732 memory=2012 CPUtime=0 cores=0,2,4,6
/proc/31714/task/31723/stat : 31723 (java) S 31712 31712 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117115389 14316269568 47706 18446744073709551615 4194304 4196468 140734137081472 140257400358992 140257857812379 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31724] ppid=31712 vsize=13980732 memory=11028 CPUtime=2.2 cores=0,2,4,6
/proc/31714/task/31724/stat : 31724 (java) S 31712 31712 4674 0 -1 1077944384 15591 0 0 0 219 1 0 0 20 0 15 0 117115389 14316269568 47706 18446744073709551615 4194304 4196468 140734137081472 140257399306864 140257857804930 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31725] ppid=31712 vsize=13980732 memory=190824 CPUtime=2.62 cores=0,2,4,6
/proc/31714/task/31725/stat : 31725 (java) S 31712 31712 4674 0 -1 1077944384 20817 0 0 0 259 3 0 0 20 0 15 0 117115389 14316269568 47706 18446744073709551615 4194304 4196468 140734137081472 140257398254064 140257857804930 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31726] ppid=31712 vsize=13980732 memory=1380 CPUtime=0.77 cores=0,2,4,6
/proc/31714/task/31726/stat : 31726 (java) S 31712 31712 4674 0 -1 1077944384 11298 0 0 0 75 2 0 0 20 0 15 0 117115389 14316269568 47706 18446744073709551615 4194304 4196468 140734137081472 140257397201776 140257857804930 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31727] ppid=31712 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31714/task/31727/stat : 31727 (java) S 31712 31712 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117115389 14316269568 47706 18446744073709551615 4194304 4196468 140734137081472 140257396149216 140257857803989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31728] ppid=31712 vsize=13980732 memory=190824 CPUtime=1.03 cores=0,2,4,6
/proc/31714/task/31728/stat : 31728 (java) S 31712 31712 4674 0 -1 1077944384 1527 0 0 0 43 60 0 0 20 0 15 0 117115394 14316269568 47706 18446744073709551615 4194304 4196468 140734137081472 140257395095984 140257857804930 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
Current children cumulated CPU time: 2449.76 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 192204 KiB
[startup+2502.3 s]
/proc/loadavg: 1.66 1.75 1.74 4/219 32066
/proc/meminfo: memFree=31387360/32770624 swapFree=67108764/67108860
[pid=31712] ppid=31709 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31712/stat : 31712 (xcsp3-exec) S 31709 31712 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 117115379 9740288 345 18446744073709551615 4194304 5098028 140736124097344 140736124095448 140265114886780 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 4 0 0 7196144 7232144 29958144 140736124100984 140736124101189 140736124101189 140736124104683 0
/proc/31712/statm: 2378 345 289 221 0 87 0
[pid=31714] ppid=31712 vsize=13980732 memory=194920 CPUtime=2509.87 cores=0,2,4,6
/proc/31714/stat : 31714 (java) S 31712 31712 4674 0 -1 1077944320 93566 0 0 0 250908 79 0 0 20 0 15 0 117115384 14316269568 48730 18446744073709551615 4194304 4196468 140734137081472 140734137064016 140257857793783 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
/proc/31714/statm: 3495183 48730 3246 1 0 3483476 0
[pid=31714/tid=31715] ppid=31712 vsize=13980732 memory=194920 CPUtime=2501.24 cores=0,2,4,6
/proc/31714/task/31715/stat : 31715 (java) R 31712 31712 4674 0 -1 4202560 24204 0 0 0 250117 7 0 0 20 0 15 0 117115384 14316269568 48730 18446744073709551615 4194304 4196468 140734137081472 140257862033200 140257482817468 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31716] ppid=31712 vsize=13980732 memory=1380 CPUtime=0.42 cores=0,2,4,6
/proc/31714/task/31716/stat : 31716 (java) S 31712 31712 4674 0 -1 1077944384 3472 0 0 0 39 3 0 0 20 0 15 0 117115385 14316269568 48730 18446744073709551615 4194304 4196468 140734137081472 140257799740304 140257857803989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31717] ppid=31712 vsize=13980732 memory=192872 CPUtime=0.41 cores=0,2,4,6
/proc/31714/task/31717/stat : 31717 (java) S 31712 31712 4674 0 -1 1077944384 2960 0 0 0 37 4 0 0 20 0 15 0 117115385 14316269568 48730 18446744073709551615 4194304 4196468 140734137081472 140257798687504 140257857803989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31718] ppid=31712 vsize=13980732 memory=194920 CPUtime=0.42 cores=0,2,4,6
/proc/31714/task/31718/stat : 31718 (java) S 31712 31712 4674 0 -1 1077944384 4654 0 0 0 38 4 0 0 20 0 15 0 117115385 14316269568 48730 18446744073709551615 4194304 4196468 140734137081472 140257797635216 140257857803989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31719] ppid=31712 vsize=13980732 memory=1380 CPUtime=0.41 cores=0,2,4,6
/proc/31714/task/31719/stat : 31719 (java) S 31712 31712 4674 0 -1 1077944384 2940 0 0 0 38 3 0 0 20 0 15 0 117115385 14316269568 48730 18446744073709551615 4194304 4196468 140734137081472 140257796582416 140257857803989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31720] ppid=31712 vsize=13980732 memory=1380 CPUtime=0.24 cores=0,2,4,6
/proc/31714/task/31720/stat : 31720 (java) S 31712 31712 4674 0 -1 1077944384 4727 0 0 0 19 5 0 0 20 0 15 0 117115386 14316269568 48730 18446744073709551615 4194304 4196468 140734137081472 140257403517040 140257857804930 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31721] ppid=31712 vsize=13980732 memory=57260 CPUtime=0 cores=0,2,4,6
/proc/31714/task/31721/stat : 31721 (java) S 31712 31712 4674 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 117115387 14316269568 48730 18446744073709551615 4194304 4196468 140734137081472 140257402463072 140257857803989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31722] ppid=31712 vsize=13980732 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/31714/task/31722/stat : 31722 (java) S 31712 31712 4674 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 117115387 14316269568 48730 18446744073709551615 4194304 4196468 140734137081472 140257401410672 140257857803989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31723] ppid=31712 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31714/task/31723/stat : 31723 (java) S 31712 31712 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117115389 14316269568 48730 18446744073709551615 4194304 4196468 140734137081472 140257400358992 140257857812379 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31724] ppid=31712 vsize=13980732 memory=192872 CPUtime=2.2 cores=0,2,4,6
/proc/31714/task/31724/stat : 31724 (java) S 31712 31712 4674 0 -1 1077944384 15593 0 0 0 219 1 0 0 20 0 15 0 117115389 14316269568 48730 18446744073709551615 4194304 4196468 140734137081472 140257399306864 140257857804930 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31725] ppid=31712 vsize=13980732 memory=1380 CPUtime=2.62 cores=0,2,4,6
/proc/31714/task/31725/stat : 31725 (java) S 31712 31712 4674 0 -1 1077944384 20819 0 0 0 259 3 0 0 20 0 15 0 117115389 14316269568 48730 18446744073709551615 4194304 4196468 140734137081472 140257398254064 140257857804930 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31726] ppid=31712 vsize=13980732 memory=194920 CPUtime=0.77 cores=0,2,4,6
/proc/31714/task/31726/stat : 31726 (java) S 31712 31712 4674 0 -1 1077944384 11300 0 0 0 75 2 0 0 20 0 15 0 117115389 14316269568 48730 18446744073709551615 4194304 4196468 140734137081472 140257397201776 140257857804930 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31727] ppid=31712 vsize=13980732 memory=3908 CPUtime=0 cores=0,2,4,6
/proc/31714/task/31727/stat : 31727 (java) S 31712 31712 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117115389 14316269568 48730 18446744073709551615 4194304 4196468 140734137081472 140257396149216 140257857803989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31728] ppid=31712 vsize=13980732 memory=194920 CPUtime=1.04 cores=0,2,4,6
/proc/31714/task/31728/stat : 31728 (java) S 31712 31712 4674 0 -1 1077944384 1542 0 0 0 43 61 0 0 20 0 15 0 117115394 14316269568 48730 18446744073709551615 4194304 4196468 140734137081472 140257395095984 140257857804930 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
Current children cumulated CPU time: 2509.87 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 196300 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2512.4 s]
/proc/loadavg: 1.71 1.76 1.75 4/215 32066
/proc/meminfo: memFree=31390056/32770624 swapFree=67108764/67108860
[pid=31712] ppid=31709 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31712/stat : 31712 (xcsp3-exec) S 31709 31712 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 117115379 9740288 345 18446744073709551615 4194304 5098028 140736124097344 140736124095448 140265114886780 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 4 0 0 7196144 7232144 29958144 140736124100984 140736124101189 140736124101189 140736124104683 0
/proc/31712/statm: 2378 345 289 221 0 87 0
[pid=31714] ppid=31712 vsize=13980732 memory=194920 CPUtime=2520 cores=0,2,4,6
/proc/31714/stat : 31714 (java) S 31712 31712 4674 0 -1 1077944320 93583 0 0 0 251920 80 0 0 20 0 15 0 117115384 14316269568 48730 18446744073709551615 4194304 4196468 140734137081472 140734137064016 140257857793783 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
/proc/31714/statm: 3495183 48730 3246 1 0 3483476 0
[pid=31714/tid=31715] ppid=31712 vsize=13980732 memory=-8774313645642428999 CPUtime=2511.33 cores=0,2,4,6
/proc/31714/task/31715/stat : 31715 (java) R 31712 31712 4674 0 -1 4202560 24215 0 0 0 251126 7 0 0 20 0 15 0 117115384 14316269568 48730 18446744073709551615 4194304 4196468 140734137081472 140257862033312 140257481156112 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31716] ppid=31712 vsize=13980732 memory=796 CPUtime=0.42 cores=0,2,4,6
/proc/31714/task/31716/stat : 31716 (java) S 31712 31712 4674 0 -1 1077944384 3472 0 0 0 39 3 0 0 20 0 15 0 117115385 14316269568 48730 18446744073709551615 4194304 4196468 140734137081472 140257799740304 140257857803989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31717] ppid=31712 vsize=13980732 memory=984 CPUtime=0.42 cores=0,2,4,6
/proc/31714/task/31717/stat : 31717 (java) S 31712 31712 4674 0 -1 1077944384 2960 0 0 0 38 4 0 0 20 0 15 0 117115385 14316269568 48730 18446744073709551615 4194304 4196468 140734137081472 140257798687504 140257857803989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31718] ppid=31712 vsize=13980732 memory=1728 CPUtime=0.43 cores=0,2,4,6
/proc/31714/task/31718/stat : 31718 (java) S 31712 31712 4674 0 -1 1077944384 4654 0 0 0 39 4 0 0 20 0 15 0 117115385 14316269568 48730 18446744073709551615 4194304 4196468 140734137081472 140257797635216 140257857803989 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31719] ppid=31712 vsize=13980732 memory=4572 CPUtime=0.41 cores=0,2,4,6
/proc/31714/task/31719/stat : 31719 (java) S 31712 31712 4674 0 -1 1077944384 2940 0 0 0 38 3 0 0 20 0 15 0 117115385 14316269568 48730 18446744073709551615 4194304 4196468 140734137081472 140257796582416 140257857803989 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31720] ppid=31712 vsize=13980732 memory=1444 CPUtime=0.24 cores=0,2,4,6
/proc/31714/task/31720/stat : 31720 (java) S 31712 31712 4674 0 -1 1077944384 4731 0 0 0 19 5 0 0 20 0 15 0 117115386 14316269568 48730 18446744073709551615 4194304 4196468 140734137081472 140257403517040 140257857804930 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31721] ppid=31712 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/31714/task/31721/stat : 31721 (java) S 31712 31712 4674 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 117115387 14316269568 48730 18446744073709551615 4194304 4196468 140734137081472 140257402463072 140257857803989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31722] ppid=31712 vsize=13980732 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/31714/task/31722/stat : 31722 (java) S 31712 31712 4674 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 117115387 14316269568 48730 18446744073709551615 4194304 4196468 140734137081472 140257401410672 140257857803989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31723] ppid=31712 vsize=13980732 memory=1204 CPUtime=0 cores=0,2,4,6
/proc/31714/task/31723/stat : 31723 (java) S 31712 31712 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117115389 14316269568 48730 18446744073709551615 4194304 4196468 140734137081472 140257400358992 140257857812379 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31724] ppid=31712 vsize=13980732 memory=15880 CPUtime=2.2 cores=0,2,4,6
/proc/31714/task/31724/stat : 31724 (java) S 31712 31712 4674 0 -1 1077944384 15593 0 0 0 219 1 0 0 20 0 15 0 117115389 14316269568 48730 18446744073709551615 4194304 4196468 140734137081472 140257399306864 140257857804930 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31725] ppid=31712 vsize=13980732 memory=4048 CPUtime=2.62 cores=0,2,4,6
/proc/31714/task/31725/stat : 31725 (java) S 31712 31712 4674 0 -1 1077944384 20819 0 0 0 259 3 0 0 20 0 15 0 117115389 14316269568 48730 18446744073709551615 4194304 4196468 140734137081472 140257398254064 140257857804930 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31726] ppid=31712 vsize=13980732 memory=34012 CPUtime=0.77 cores=0,2,4,6
/proc/31714/task/31726/stat : 31726 (java) S 31712 31712 4674 0 -1 1077944384 11300 0 0 0 75 2 0 0 20 0 15 0 117115389 14316269568 48730 18446744073709551615 4194304 4196468 140734137081472 140257397201776 140257857804930 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31727] ppid=31712 vsize=13980732 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/31714/task/31727/stat : 31727 (java) S 31712 31712 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117115389 14316269568 48730 18446744073709551615 4194304 4196468 140734137081472 140257396149216 140257857803989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
[pid=31714/tid=31728] ppid=31712 vsize=13980732 memory=194920 CPUtime=1.05 cores=0,2,4,6
/proc/31714/task/31728/stat : 31728 (java) S 31712 31712 4674 0 -1 1077944384 1544 0 0 0 44 61 0 0 20 0 15 0 117115394 14316269568 48730 18446744073709551615 4194304 4196468 140734137081472 140257395095984 140257857804930 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 8921088 140734137090481 140734137090657 140734137090657 140734137094095 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 196300 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2512.41 s]
# the end of solver process 31712 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.001786 s
[startup+2512.41 s]
# the end of solver process 31714 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.21 s, system=0.803918 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2512.41
CPU time (s): 2520.02
CPU user time (s): 2519.21
CPU system time (s): 0.803918
CPU usage (%): 100.303
Max. virtual memory (cumulated for all children) (KiB): 13992268
Max. memory (cumulated for all children) (KiB): 284644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.21
system time used= 0.803918
maximum resident set size= 283264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94480
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62592
involuntary context switches= 4779
# summary of solver processes directly reported to runsolver:
# pid: 31712,31714
# total CPU time (s): 2520.02
# total CPU user time (s): 2519.21
# total CPU system time (s): 0.803918
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.8758 second user time and 23.2289 second system time
The end
Begin job on node134 at 2017-08-14 09:20:55 IDJOB=4269339 IDBENCH=115895 IDSOLVER=2660 FILE ID=node134/4269339-1502696089 RUNJOBID= node134-1502649032-24470 PBS_JOBID= Free space on /tmp= 62024 MiB SOLVER NAME= choco-solver 4.0.5 seq BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-44.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4269339-1502696089/watcher-4269339-1502696089 -o /tmp/evaluation-result-4269339-1502696089/solver-4269339-1502696089 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502649032-24470 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1214982509 HOME/instance-4269339-1502696089.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4997da7be544d89c7d7e917a89d7c5a2 RANDOM SEED=1214982509 node134.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31573912 kB MemAvailable: 31790208 kB Buffers: 249640 kB Cached: 257964 kB SwapCached: 4 kB Active: 561200 kB Inactive: 179032 kB Active(anon): 179848 kB Inactive(anon): 94540 kB Active(file): 381352 kB Inactive(file): 84492 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108764 kB Dirty: 7912 kB Writeback: 0 kB AnonPages: 232912 kB Mapped: 71148 kB Shmem: 41564 kB Slab: 159612 kB SReclaimable: 132572 kB SUnreclaim: 27040 kB KernelStack: 3552 kB PageTables: 5856 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1175616 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 167936 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 101760 kB DirectMap2M: 33443840 kB Free space on /tmp at the end= 62016 MiB End job on node134 at 2017-08-14 10:02:48