Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 5a (2017-07-26) | SAT (TO) | 692 | 2520.1101 | 2463.3201 |
| Name | StillLife/StillLife-wst-s1/ StillLife-wastage-43.xml |
| MD5SUM | 2bbdfe474604d495dd31c09972612e7d |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 911 |
| Best CPU time to get the best result obtained on this benchmark | 2400.05 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 4096 |
| Number of constraints | 2287 |
| Number of domains | 4 |
| Minimum domain size | 2 |
| Maximum domain size | 4051 |
| Distribution of domain sizes | [{"size":2,"count":2025},{"size":3,"count":2025},{"size":1850,"count":1},{"size":4051,"count":45}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 46 |
| Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":2022},{"degree":3,"count":48},{"degree":4,"count":172},{"degree":8,"count":168},{"degree":9,"count":1681},{"degree":46,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 47 |
| Distribution of constraint arities | [{"arity":2,"count":217},{"arity":3,"count":172},{"arity":10,"count":1849},{"arity":45,"count":4},{"arity":46,"count":1},{"arity":47,"count":44}] |
| Number of extensional constraints | 2021 |
| Number of intensional constraints | 216 |
| Distribution of constraint types | [{"type":"extension","count":2021},{"type":"intension","count":216},{"type":"sum","count":46},{"type":"instantiation","count":4}] |
| Optimization problem | YES |
| Type of objective | max VAR |
0.00/0.09 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4272278-1502695653.xml" -tl '2520s' -p 1 -x 3 0.05/0.31 c [HOME/instance-4272278-1502695653.xml, -tl, 2520s, -p, 1, -x, 3] 0.23/0.37 c simple solver 0.38/0.44 c parse instance... 2.98/1.57 c solve instance... 91.23/85.28 o 675 111.30/101.51 o 682 112.21/102.47 o 683 129.58/119.39 o 687 129.68/119.49 o 688 129.80/119.59 o 689 130.20/120.00 o 692 2520.08/2463.30 s SATISFIABLE 2520.08/2463.30 v <instantiation> 2520.08/2463.30 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] z </list> 2520.08/2463.30 v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 1 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 1 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 1 1 1 1 1 1 0 1 1 1 1 0 1 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 1 1 1 0 0 1 0 0 1 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 1 1 0 0 0 1 0 1 0 1 0 0 0 1 1 0 1 1 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 1 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 1 1 1 0 0 1 0 1 1 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 1 0 1 0 1 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 1 0 1 1 0 1 0 0 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 1 1 0 0 0 1 0 0 1 1 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 1 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 1 1 0 1 1 0 0 1 0 1 0 1 1 1 0 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 0 0 0 0 1 1 1 1 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 1 1 0 0 1 0 0 0 1 0 0 1 0 1 1 0 0 1 0 0 0 1 0 1 0 0 0 1 1 0 1 1 0 1 0 1 0 0 0 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 1 0 1 0 1 0 0 0 0 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 1 0 0 1 1 1 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 1 1 0 1 1 0 1 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 0 1 0 0 1 0 1 0 0 1 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 1 0 1 0 1 0 1 1 1 0 1 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 1 0 0 0 0 1 0 1 0 1 1 1 1 0 0 1 1 0 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 0 0 1 0 1 1 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 1 0 1 0 0 1 0 1 1 1 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 0 1 0 1 0 0 0 0 1 1 1 0 0 1 1 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 1 1 1 0 1 0 0 1 1 0 0 0 0 1 0 1 1 0 0 1 1 0 0 1 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 1 0 0 1 1 0 0 0 1 1 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 1 0 0 0 0 1 1 0 1 1 0 0 1 0 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 1 0 1 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 1 0 1 1 1 0 1 1 0 0 0 1 1 0 0 0 1 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 1 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 1 1 1 0 0 1 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 1 1 1 1 1 0 1 1 1 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 1 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 1 0 0 1 0 1 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 1 1 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 0 0 1 1 1 1 1 1 1 1 0 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 0 0 1 2 2 2 1 0 0 0 2 1 1 2 1 1 0 0 0 1 1 2 2 2 2 2 2 1 1 0 0 0 0 0 1 1 1 1 0 1 1 0 0 0 0 0 0 1 2 2 2 1 1 0 2 0 0 1 1 1 0 0 0 0 0 2 2 2 1 2 2 1 2 0 0 0 1 0 0 0 1 2 0 0 1 1 0 0 0 0 0 0 1 2 2 2 2 1 2 0 0 0 0 0 1 0 0 0 0 1 1 2 1 1 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 1 1 0 0 1 0 0 1 1 2 2 2 2 1 1 2 1 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 2 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 2 1 1 0 1 2 2 2 1 1 2 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 1 1 0 1 1 2 2 2 1 1 2 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 2 1 1 0 0 0 0 0 0 1 2 2 2 1 0 1 0 1 0 1 2 0 0 0 0 0 1 0 1 0 0 0 2 0 0 0 0 1 0 0 0 1 0 1 1 2 2 1 1 0 1 0 0 1 1 2 1 1 1 0 0 2 1 1 2 1 1 0 0 0 1 0 2 1 1 0 0 0 0 0 0 0 0 1 0 0 1 2 1 2 1 1 1 1 2 1 1 0 1 1 1 1 0 0 0 1 1 2 2 2 2 1 1 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 0 0 1 1 1 1 1 0 0 1 2 2 0 1 0 1 1 0 0 0 0 0 1 0 2 1 1 2 2 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 2 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 1 1 0 1 1 1 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 1 2 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 2 0 0 1 0 0 1 0 0 2 1 0 0 0 0 0 0 0 0 1 1 1 0 1 1 0 0 1 1 1 0 0 0 1 0 0 0 0 1 0 0 1 0 0 2 0 0 0 0 0 1 0 0 0 1 2 2 1 1 1 0 1 0 1 0 1 0 1 1 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 1 2 1 0 1 1 2 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 1 0 1 1 2 1 1 0 0 0 1 0 0 0 1 0 1 2 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 2 2 2 0 0 1 0 0 0 0 1 0 2 0 2 1 1 0 1 1 1 2 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 1 1 1 2 2 2 1 0 0 0 0 0 0 0 1 2 0 2 0 1 0 0 0 2 2 0 1 0 0 1 0 0 0 0 1 1 1 0 1 0 1 0 0 1 0 1 1 1 2 1 1 1 0 0 0 0 0 0 0 2 2 2 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 1 2 0 1 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 2 1 1 0 0 1 0 0 0 0 2 1 0 0 0 0 0 1 0 1 1 2 1 1 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 2 2 1 1 0 1 0 2 1 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 2 0 0 0 0 1 1 1 1 2 2 1 0 0 0 1 2 1 1 0 0 1 0 1 1 1 1 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 1 1 1 0 0 1 0 0 2 2 2 2 0 0 0 0 1 0 0 1 0 1 0 0 0 0 2 0 0 0 1 0 1 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 2 2 0 2 0 1 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 2 2 0 2 0 2 1 2 1 1 0 0 1 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 1 1 0 0 2 2 2 2 2 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 2 2 2 1 1 2 0 0 0 1 0 1 0 1 2 0 1 0 0 0 0 0 0 0 1 0 2 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 1 0 0 0 1 1 0 0 0 1 2 2 2 1 1 0 0 0 0 0 0 1 1 2 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 0 0 0 0 1 0 2 1 1 2 1 1 2 2 2 2 2 0 1 1 0 0 0 1 0 1 0 0 0 1 1 1 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 2 2 1 1 2 2 2 1 1 2 2 1 1 0 0 0 1 0 1 0 0 0 0 1 1 2 2 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 1 2 2 2 2 1 1 2 2 1 0 1 1 1 0 1 0 0 1 0 0 0 1 0 0 1 0 0 2 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 2 2 2 2 2 2 1 1 1 1 1 0 0 1 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 2 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 2 2 2 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 1 2 1 0 0 0 0 0 0 1 0 0 1 0 0 1 1 2 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 2 0 2 0 0 0 1 0 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 2 1 1 0 0 1 2 1 0 0 0 0 0 0 1 0 2 0 1 0 0 0 1 1 2 0 1 1 0 1 0 0 0 1 0 0 0 1 0 0 1 1 1 1 2 2 1 0 0 0 1 2 2 0 1 0 0 0 0 0 1 1 2 1 0 0 0 1 1 1 1 0 1 2 0 0 0 1 0 0 0 2 1 0 1 1 2 1 1 2 0 1 0 2 0 1 0 2 2 0 0 0 1 0 0 1 1 2 1 0 2 0 0 2 1 0 1 1 1 1 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 0 0 0 0 0 0 1 1 2 0 0 1 0 1 1 0 2 2 1 0 0 0 2 2 2 1 1 2 0 0 1 1 0 1 0 1 2 2 0 1 0 0 0 1 1 0 1 1 0 1 1 0 2 1 1 0 1 2 1 1 2 2 2 2 1 1 2 2 2 2 2 2 1 1 0 1 1 1 0 1 2 2 2 2 1 0 1 0 0 1 0 0 1 1 0 0 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 0 1 1 1 1 1 1 1 0 0 26 64 98 126 148 173 197 223 255 287 308 324 340 354 372 396 413 425 438 456 480 508 533 554 571 594 617 635 658 680 700 716 738 770 807 838 862 877 892 918 951 984 1017 1070 1102 692 </values> 2520.08/2463.30 v </instantiation> 2520.08/2463.30 c Unexpected resolution interruption!
OK 692
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 (14640 MiB free)
memory of node 1: 16384 MiB (15365 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272278-1502695653/watcher-4272278-1502695653 -o /tmp/evaluation-result-4272278-1502695653/solver-4272278-1502695653 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502662595-11629 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1276492942 HOME/instance-4272278-1502695653.xml
running on 4 cores: 1,3,5,7
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=16075, runsolver pid=16072
[startup+0.100167 s]*
/proc/loadavg: 1.69 1.78 1.77 3/199 16078
/proc/meminfo: memFree=30721572/32770624 swapFree=67108860/67108860
[pid=16075] ppid=16072 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16075/stat : 16075 (xcsp3-exec) S 16072 16075 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 71785956 9740288 345 18446744073709551615 4194304 5098028 140721824042592 140721824040696 140472825295484 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 21803008 140721824047480 140721824047685 140721824047685 140721824051179 0
/proc/16075/statm: 2378 345 289 221 0 87 0
[pid=16077] ppid=16075 vsize=13358712 memory=14368 CPUtime=0 cores=1,3,5,7
/proc/16077/stat : 16077 (java) S 16075 16075 897 0 -1 1077944320 3340 0 0 0 0 0 0 0 20 0 6 0 71785965 13679321088 3592 18446744073709551615 4194304 4196468 140734920561312 140734920543856 139738042019575 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
/proc/16077/statm: 3339678 3592 1903 1 0 3329175 0
[pid=16077/tid=16078] ppid=16075 vsize=13358712 memory=7311146985107750967 CPUtime=0 cores=1,3,5,7
/proc/16077/task/16078/stat : 16078 (java) R 16075 16075 897 0 -1 4202560 2124 0 0 0 0 0 0 0 20 0 6 0 71785965 13679321088 3592 18446744073709551615 4194304 4196468 140734920561312 139738046255696 139738026100062 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16079] ppid=16075 vsize=13358712 memory=12619 CPUtime=0 cores=1,3,5,7
/proc/16077/task/16079/stat : 16079 (java) S 16075 16075 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 71785966 13679321088 3592 18446744073709551615 4194304 4196468 140734920561312 139737976453648 139738042029781 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16081] ppid=16075 vsize=13358712 memory=140706959885713 CPUtime=0 cores=1,3,5,7
/proc/16077/task/16081/stat : 16081 (java) S 16075 16075 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 71785966 13679321088 3592 18446744073709551615 4194304 4196468 140734920561312 139737975401104 139738042029781 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16082] ppid=16075 vsize=13358712 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16077/task/16082/stat : 16082 (java) S 16075 16075 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 71785966 13679321088 3592 18446744073709551615 4194304 4196468 140734920561312 139737974348048 139738042029781 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16083] ppid=16075 vsize=13358712 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16077/task/16083/stat : 16083 (java) S 16075 16075 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 71785966 13679321088 3592 18446744073709551615 4194304 4196468 140734920561312 139737973295504 139738042029781 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 15748 KiB
[startup+0.20984 s]*
/proc/loadavg: 1.69 1.78 1.77 2/211 16091
/proc/meminfo: memFree=30712828/32770624 swapFree=67108860/67108860
[pid=16075] ppid=16072 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16075/stat : 16075 (xcsp3-exec) S 16072 16075 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 71785956 9740288 345 18446744073709551615 4194304 5098028 140721824042592 140721824040696 140472825295484 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 21803008 140721824047480 140721824047685 140721824047685 140721824051179 0
/proc/16075/statm: 2378 345 289 221 0 87 0
[pid=16077] ppid=16075 vsize=13907304 memory=22144 CPUtime=0.05 cores=1,3,5,7
/proc/16077/stat : 16077 (java) S 16075 16075 897 0 -1 1077944320 4933 0 0 0 4 1 0 0 20 0 14 0 71785965 14241079296 5536 18446744073709551615 4194304 4196468 140734920561312 140734920543856 139738042019575 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
/proc/16077/statm: 3476826 5536 2571 1 0 3466323 0
[pid=16077/tid=16078] ppid=16075 vsize=13907304 memory=7311146985107750967 CPUtime=0.04 cores=1,3,5,7
/proc/16077/task/16078/stat : 16078 (java) D 16075 16075 897 0 -1 4202560 3106 0 0 0 4 0 0 0 20 0 14 0 71785965 14241079296 5536 18446744073709551615 4194304 4196468 140734920561312 139738046257056 139738042041597 0 4 1 16800974 18446744071580418449 0 0 -1 5 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16079] ppid=16075 vsize=13907304 memory=12619 CPUtime=0 cores=1,3,5,7
/proc/16077/task/16079/stat : 16079 (java) S 16075 16075 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 71785966 14241079296 5536 18446744073709551615 4194304 4196468 140734920561312 139737976453648 139738042029781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16081] ppid=16075 vsize=13907304 memory=140706959885713 CPUtime=0 cores=1,3,5,7
/proc/16077/task/16081/stat : 16081 (java) S 16075 16075 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 71785966 14241079296 5536 18446744073709551615 4194304 4196468 140734920561312 139737975401104 139738042029781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16082] ppid=16075 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16077/task/16082/stat : 16082 (java) S 16075 16075 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 71785966 14241079296 5536 18446744073709551615 4194304 4196468 140734920561312 139737974348048 139738042029781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16083] ppid=16075 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16077/task/16083/stat : 16083 (java) S 16075 16075 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 71785966 14241079296 5536 18446744073709551615 4194304 4196468 140734920561312 139737973295504 139738042029781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16084] ppid=16075 vsize=13907304 memory=140706959869568 CPUtime=0 cores=1,3,5,7
/proc/16077/task/16084/stat : 16084 (java) S 16075 16075 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 71785967 14241079296 5536 18446744073709551615 4194304 4196468 140734920561312 139737520622320 139738042030722 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16085] ppid=16075 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16077/task/16085/stat : 16085 (java) S 16075 16075 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 71785968 14241079296 5536 18446744073709551615 4194304 4196468 140734920561312 139737519568544 139738042029781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16086] ppid=16075 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16077/task/16086/stat : 16086 (java) S 16075 16075 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 71785968 14241079296 5536 18446744073709551615 4194304 4196468 140734920561312 139737518515440 139738042029781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16087] ppid=16075 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16077/task/16087/stat : 16087 (java) S 16075 16075 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 71785970 14241079296 5536 18446744073709551615 4194304 4196468 140734920561312 139737517464016 139738042038171 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16088] ppid=16075 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16077/task/16088/stat : 16088 (java) S 16075 16075 897 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 14 0 71785970 14241079296 5536 18446744073709551615 4194304 4196468 140734920561312 139737516411120 139738042030722 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16089] ppid=16075 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16077/task/16089/stat : 16089 (java) S 16075 16075 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 71785970 14241079296 5536 18446744073709551615 4194304 4196468 140734920561312 139737515358576 139738042030722 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16090] ppid=16075 vsize=13907304 memory=140706959869568 CPUtime=0 cores=1,3,5,7
/proc/16077/task/16090/stat : 16090 (java) S 16075 16075 897 0 -1 1077944384 211 0 0 0 0 0 0 0 20 0 14 0 71785970 14241079296 5536 18446744073709551615 4194304 4196468 140734920561312 139737514305520 139738042030722 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16091] ppid=16075 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16077/task/16091/stat : 16091 (java) S 16075 16075 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 71785970 14241079296 5536 18446744073709551615 4194304 4196468 140734920561312 139737513253216 139738042029781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 23524 KiB
[startup+0.314337 s]*
/proc/loadavg: 1.69 1.78 1.77 4/212 16092
/proc/meminfo: memFree=30705228/32770624 swapFree=67108860/67108860
[pid=16075] ppid=16072 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16075/stat : 16075 (xcsp3-exec) S 16072 16075 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 71785956 9740288 345 18446744073709551615 4194304 5098028 140721824042592 140721824040696 140472825295484 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 21803008 140721824047480 140721824047685 140721824047685 140721824051179 0
/proc/16075/statm: 2378 345 289 221 0 87 0
[pid=16077] ppid=16075 vsize=13977964 memory=35456 CPUtime=0.23 cores=1,3,5,7
/proc/16077/stat : 16077 (java) S 16075 16075 897 0 -1 1077944320 7306 0 0 0 21 2 0 0 20 0 15 0 71785965 14313435136 8864 18446744073709551615 4194304 4196468 140734920561312 140734920543856 139738042019575 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
/proc/16077/statm: 3494491 8864 2977 1 0 3483867 0
[pid=16077/tid=16078] ppid=16075 vsize=13975376 memory=-8774313645642428999 CPUtime=0.13 cores=1,3,5,7
/proc/16077/task/16078/stat : 16078 (java) R 16075 16075 897 0 -1 4202560 4700 0 0 0 12 1 0 0 20 0 15 0 71785965 14310785024 8147 18446744073709551615 4194304 4196468 140734920561312 139738046241952 139738034699293 0 4 1 16800974 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16079] ppid=16075 vsize=13975376 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/16077/task/16079/stat : 16079 (java) S 16075 16075 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71785966 14310785024 8147 18446744073709551615 4194304 4196468 140734920561312 139737976453648 139738042029781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16081] ppid=16075 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16077/task/16081/stat : 16081 (java) S 16075 16075 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71785966 14310785024 8213 18446744073709551615 4194304 4196468 140734920561312 139737975401104 139738042029781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16082] ppid=16075 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16077/task/16082/stat : 16082 (java) S 16075 16075 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71785966 14310785024 8213 18446744073709551615 4194304 4196468 140734920561312 139737974348048 139738042029781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16083] ppid=16075 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16077/task/16083/stat : 16083 (java) S 16075 16075 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71785966 14310785024 8213 18446744073709551615 4194304 4196468 140734920561312 139737973295504 139738042029781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16084] ppid=16075 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16077/task/16084/stat : 16084 (java) S 16075 16075 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71785967 14310785024 8213 18446744073709551615 4194304 4196468 140734920561312 139737520622320 139738042030722 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16085] ppid=16075 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16077/task/16085/stat : 16085 (java) S 16075 16075 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 71785968 14310785024 8213 18446744073709551615 4194304 4196468 140734920561312 139737519568544 139738042029781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16086] ppid=16075 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16077/task/16086/stat : 16086 (java) S 16075 16075 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71785968 14310785024 8213 18446744073709551615 4194304 4196468 140734920561312 139737518515440 139738042029781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16087] ppid=16075 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16077/task/16087/stat : 16087 (java) S 16075 16075 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71785970 14310785024 8213 18446744073709551615 4194304 4196468 140734920561312 139737517464016 139738042038171 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16088] ppid=16075 vsize=13975376 memory=140706819885760 CPUtime=0.01 cores=1,3,5,7
/proc/16077/task/16088/stat : 16088 (java) S 16075 16075 897 0 -1 1077944384 712 0 0 0 1 0 0 0 20 0 15 0 71785970 14310785024 8213 18446744073709551615 4194304 4196468 140734920561312 139737516411120 139738042030722 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16089] ppid=16075 vsize=13975376 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/16077/task/16089/stat : 16089 (java) S 16075 16075 897 0 -1 1077944384 71 0 0 0 1 0 0 0 20 0 15 0 71785970 14310785024 8213 18446744073709551615 4194304 4196468 140734920561312 139737515358576 139738042030722 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16090] ppid=16075 vsize=13975376 memory=140706959869568 CPUtime=0.05 cores=1,3,5,7
/proc/16077/task/16090/stat : 16090 (java) S 16075 16075 897 0 -1 1077944384 685 0 0 0 5 0 0 0 20 0 15 0 71785970 14310785024 8213 18446744073709551615 4194304 4196468 140734920561312 139737514305520 139738042030722 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16091] ppid=16075 vsize=13975376 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16077/task/16091/stat : 16091 (java) S 16075 16075 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71785970 14310785024 8213 18446744073709551615 4194304 4196468 140734920561312 139737513253216 139738042029781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16092] ppid=16075 vsize=13975376 memory=140706959869568 CPUtime=0 cores=1,3,5,7
/proc/16077/task/16092/stat : 16092 (java) S 16075 16075 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71785979 14310785024 8213 18446744073709551615 4194304 4196468 140734920561312 139737512201264 139738042030722 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 13987476 KiB
Current children cumulated memory: 36836 KiB
[startup+0.700993 s]
/proc/loadavg: 1.69 1.78 1.77 6/212 16092
/proc/meminfo: memFree=30687920/32770624 swapFree=67108860/67108860
[pid=16075] ppid=16072 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16075/stat : 16075 (xcsp3-exec) S 16072 16075 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 71785956 9740288 345 18446744073709551615 4194304 5098028 140721824042592 140721824040696 140472825295484 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 21803008 140721824047480 140721824047685 140721824047685 140721824051179 0
/proc/16075/statm: 2378 345 289 221 0 87 0
[pid=16077] ppid=16075 vsize=13978684 memory=77460 CPUtime=1.23 cores=1,3,5,7
/proc/16077/stat : 16077 (java) S 16075 16075 897 0 -1 1077944320 13051 0 0 0 119 4 0 0 20 0 15 0 71785965 14314172416 19365 18446744073709551615 4194304 4196468 140734920561312 140734920543856 139738042019575 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
/proc/16077/statm: 3494671 19365 3161 1 0 3482964 0
[pid=16077/tid=16078] ppid=16075 vsize=13978684 memory=5936703436935878507 CPUtime=0.51 cores=1,3,5,7
/proc/16077/task/16078/stat : 16078 (java) R 16075 16075 897 0 -1 4202560 7906 0 0 0 48 3 0 0 20 0 15 0 71785965 14314172416 19365 18446744073709551615 4194304 4196468 140734920561312 139738046256064 139737653544487 0 4 1 16800974 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16079] ppid=16075 vsize=13978684 memory=4638778424487336043 CPUtime=0 cores=1,3,5,7
/proc/16077/task/16079/stat : 16079 (java) S 16075 16075 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71785966 14314172416 19365 18446744073709551615 4194304 4196468 140734920561312 139737976453648 139738042029781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16081] ppid=16075 vsize=13978684 memory=6872598998417432672 CPUtime=0 cores=1,3,5,7
/proc/16077/task/16081/stat : 16081 (java) S 16075 16075 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71785966 14314172416 19365 18446744073709551615 4194304 4196468 140734920561312 139737975401104 139738042029781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16082] ppid=16075 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16077/task/16082/stat : 16082 (java) S 16075 16075 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71785966 14314172416 19365 18446744073709551615 4194304 4196468 140734920561312 139737974348048 139738042029781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16083] ppid=16075 vsize=13978684 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/16077/task/16083/stat : 16083 (java) S 16075 16075 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71785966 14314172416 19365 18446744073709551615 4194304 4196468 140734920561312 139737973295504 139738042029781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16084] ppid=16075 vsize=13978684 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/16077/task/16084/stat : 16084 (java) S 16075 16075 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71785967 14314172416 19365 18446744073709551615 4194304 4196468 140734920561312 139737520622320 139738042030722 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16085] ppid=16075 vsize=13978684 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/16077/task/16085/stat : 16085 (java) S 16075 16075 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 71785968 14314172416 19365 18446744073709551615 4194304 4196468 140734920561312 139737519568544 139738042029781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16086] ppid=16075 vsize=13978684 memory=924 CPUtime=0 cores=1,3,5,7
/proc/16077/task/16086/stat : 16086 (java) S 16075 16075 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71785968 14314172416 19365 18446744073709551615 4194304 4196468 140734920561312 139737518515440 139738042029781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16087] ppid=16075 vsize=13978684 memory=245 CPUtime=0 cores=1,3,5,7
/proc/16077/task/16087/stat : 16087 (java) S 16075 16075 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71785970 14314172416 19365 18446744073709551615 4194304 4196468 140734920561312 139737517464016 139738042038171 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16088] ppid=16075 vsize=13978684 memory=61 CPUtime=0.22 cores=1,3,5,7
/proc/16077/task/16088/stat : 16088 (java) R 16075 16075 897 0 -1 4202560 1422 0 0 0 22 0 0 0 20 0 15 0 71785970 14314172416 19365 18446744073709551615 4194304 4196468 140734920561312 139737516397216 139738025519992 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16089] ppid=16075 vsize=13978684 memory=5 CPUtime=0.2 cores=1,3,5,7
/proc/16077/task/16089/stat : 16089 (java) R 16075 16075 897 0 -1 4202560 923 0 0 0 20 0 0 0 20 0 15 0 71785970 14314172416 19365 18446744073709551615 4194304 4196468 140734920561312 139737515347840 139738023563759 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16090] ppid=16075 vsize=13978684 memory=365 CPUtime=0.27 cores=1,3,5,7
/proc/16077/task/16090/stat : 16090 (java) S 16075 16075 897 0 -1 1077944384 1492 0 0 0 27 0 0 0 20 0 15 0 71785970 14314172416 19365 18446744073709551615 4194304 4196468 140734920561312 139737514305520 139738042030722 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16091] ppid=16075 vsize=13978684 memory=4116 CPUtime=0 cores=1,3,5,7
/proc/16077/task/16091/stat : 16091 (java) S 16075 16075 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71785970 14314172416 19365 18446744073709551615 4194304 4196468 140734920561312 139737513253216 139738042029781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16092] ppid=16075 vsize=13978684 memory=6657 CPUtime=0 cores=1,3,5,7
/proc/16077/task/16092/stat : 16092 (java) S 16075 16075 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71785979 14314172416 19365 18446744073709551615 4194304 4196468 140734920561312 139737512201264 139738042030722 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 78840 KiB
[startup+1.50081 s]
/proc/loadavg: 1.69 1.78 1.77 5/212 16092
/proc/meminfo: memFree=30636732/32770624 swapFree=67108860/67108860
[pid=16075] ppid=16072 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16075/stat : 16075 (xcsp3-exec) S 16072 16075 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 71785956 9740288 345 18446744073709551615 4194304 5098028 140721824042592 140721824040696 140472825295484 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 21803008 140721824047480 140721824047685 140721824047685 140721824051179 0
/proc/16075/statm: 2378 345 289 221 0 87 0
[pid=16077] ppid=16075 vsize=13980732 memory=141768 CPUtime=2.98 cores=1,3,5,7
/proc/16077/stat : 16077 (java) S 16075 16075 897 0 -1 1077944320 19123 0 0 0 292 6 0 0 20 0 15 0 71785965 14316269568 35442 18446744073709551615 4194304 4196468 140734920561312 140734920543856 139738042019575 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
/proc/16077/statm: 3495183 35442 3198 1 0 3483476 0
[pid=16077/tid=16078] ppid=16075 vsize=13980732 memory=0 CPUtime=1.3 cores=1,3,5,7
/proc/16077/task/16078/stat : 16078 (java) R 16075 16075 897 0 -1 4202560 10121 0 0 0 126 4 0 0 20 0 15 0 71785965 14316269568 35442 18446744073709551615 4194304 4196468 140734920561312 139738046255320 139738042031510 0 4 1 16800974 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16079] ppid=16075 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16077/task/16079/stat : 16079 (java) S 16075 16075 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71785966 14316269568 35442 18446744073709551615 4194304 4196468 140734920561312 139737976453648 139738042029781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16081] ppid=16075 vsize=13980732 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/16077/task/16081/stat : 16081 (java) S 16075 16075 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71785966 14316269568 35442 18446744073709551615 4194304 4196468 140734920561312 139737975401104 139738042029781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16082] ppid=16075 vsize=13980732 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/16077/task/16082/stat : 16082 (java) S 16075 16075 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71785966 14316269568 35442 18446744073709551615 4194304 4196468 140734920561312 139737974348048 139738042029781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16083] ppid=16075 vsize=13980732 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/16077/task/16083/stat : 16083 (java) S 16075 16075 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71785966 14316269568 35442 18446744073709551615 4194304 4196468 140734920561312 139737973295504 139738042029781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16084] ppid=16075 vsize=13980732 memory=56 CPUtime=0 cores=1,3,5,7
/proc/16077/task/16084/stat : 16084 (java) R 16075 16075 897 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 15 0 71785967 14316269568 35442 18446744073709551615 4194304 4196468 140734920561312 139737520622320 139738027239772 0 0 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16085] ppid=16075 vsize=13980732 memory=49 CPUtime=0 cores=1,3,5,7
/proc/16077/task/16085/stat : 16085 (java) S 16075 16075 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 71785968 14316269568 35442 18446744073709551615 4194304 4196468 140734920561312 139737519568544 139738042029781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16086] ppid=16075 vsize=13980732 memory=42 CPUtime=0 cores=1,3,5,7
/proc/16077/task/16086/stat : 16086 (java) S 16075 16075 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71785968 14316269568 35442 18446744073709551615 4194304 4196468 140734920561312 139737518515440 139738042029781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16087] ppid=16075 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/16077/task/16086/stat : 16086 (java) S 16075 16075 897 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 71785968 14318366720 237193 18446744073709551615 4194304 4196468 140734920561312 139737518515456 139738042029781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16087] ppid=16075 vsize=13982780 memory=948772 CPUtime=0 cores=1,3,5,7
/proc/16077/task/16087/stat : 16087 (java) S 16075 16075 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71785970 14318366720 237193 18446744073709551615 4194304 4196468 140734920561312 139737517464016 139738042038171 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16088] ppid=16075 vsize=13982780 memory=-3622645143214314312 CPUtime=4.67 cores=1,3,5,7
/proc/16077/task/16088/stat : 16088 (java) S 16075 16075 897 0 -1 1077944384 25224 0 0 0 464 3 0 0 20 0 15 0 71785970 14318366720 237193 18446744073709551615 4194304 4196468 140734920561312 139737516411120 139738042030722 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16089] ppid=16075 vsize=13982780 memory=2844 CPUtime=4.85 cores=1,3,5,7
/proc/16077/task/16089/stat : 16089 (java) S 16075 16075 897 0 -1 1077944384 30719 0 0 0 482 3 0 0 20 0 15 0 71785970 14318366720 237193 18446744073709551615 4194304 4196468 140734920561312 139737515358576 139738042030722 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16090] ppid=16075 vsize=13982780 memory=1380 CPUtime=1.03 cores=1,3,5,7
/proc/16077/task/16090/stat : 16090 (java) S 16075 16075 897 0 -1 1077944384 12326 0 0 0 100 3 0 0 20 0 15 0 71785970 14318366720 237193 18446744073709551615 4194304 4196468 140734920561312 139737514305520 139738042030722 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16091] ppid=16075 vsize=13982780 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16077/task/16091/stat : 16091 (java) S 16075 16075 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71785970 14318366720 237193 18446744073709551615 4194304 4196468 140734920561312 139737513253216 139738042029781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16092] ppid=16075 vsize=13982780 memory=1440 CPUtime=1.12 cores=1,3,5,7
/proc/16077/task/16092/stat : 16092 (java) S 16075 16075 897 0 -1 1077944384 1797 0 0 0 52 60 0 0 20 0 15 0 71785979 14318366720 237193 18446744073709551615 4194304 4196468 140734920561312 139737512201264 139738042030722 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
Current children cumulated CPU time: 2436.26 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 950152 KiB
[startup+2442.3 s]
/proc/loadavg: 2.05 1.90 1.88 3/211 16312
/proc/meminfo: memFree=29671292/32770624 swapFree=67108860/67108860
[pid=16075] ppid=16072 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16075/stat : 16075 (xcsp3-exec) S 16072 16075 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 71785956 9740288 345 18446744073709551615 4194304 5098028 140721824042592 140721824040696 140472825295484 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 21803008 140721824047480 140721824047685 140721824047685 140721824051179 0
/proc/16075/statm: 2378 345 289 221 0 87 0
[pid=16077] ppid=16075 vsize=13982780 memory=1140120 CPUtime=2498.66 cores=1,3,5,7
/proc/16077/stat : 16077 (java) S 16075 16075 897 0 -1 1077944320 238349 0 0 0 249533 333 0 0 20 0 15 0 71785965 14318366720 285030 18446744073709551615 4194304 4196468 140734920561312 140734920543856 139738042019575 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
/proc/16077/statm: 3495695 285030 3263 1 0 3483988 0
[pid=16077/tid=16078] ppid=16075 vsize=13982780 memory=1140120 CPUtime=2426.36 cores=1,3,5,7
/proc/16077/task/16078/stat : 16078 (java) R 16075 16075 897 0 -1 4202560 68521 0 0 0 242615 21 0 0 20 0 15 0 71785965 14318366720 285030 18446744073709551615 4194304 4196468 140734920561312 139738046259184 139737659306993 0 4 1 16800974 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16079] ppid=16075 vsize=13982780 memory=1140120 CPUtime=15.01 cores=1,3,5,7
/proc/16077/task/16079/stat : 16079 (java) S 16075 16075 897 0 -1 1077944384 14483 0 0 0 1441 60 0 0 20 0 15 0 71785966 14318366720 285030 18446744073709551615 4194304 4196468 140734920561312 139737976453648 139738042029781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16081] ppid=16075 vsize=13982780 memory=1150384 CPUtime=14.9 cores=1,3,5,7
/proc/16077/task/16081/stat : 16081 (java) S 16075 16075 897 0 -1 1077944384 14662 0 0 0 1429 61 0 0 20 0 15 0 71785966 14318366720 285030 18446744073709551615 4194304 4196468 140734920561312 139737975401104 139738042029781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16082] ppid=16075 vsize=13982780 memory=1140120 CPUtime=14.92 cores=1,3,5,7
/proc/16077/task/16082/stat : 16082 (java) S 16075 16075 897 0 -1 1077944384 14253 0 0 0 1433 59 0 0 20 0 15 0 71785966 14318366720 285030 18446744073709551615 4194304 4196468 140734920561312 139737974348048 139738042029781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16083] ppid=16075 vsize=13982780 memory=1140120 CPUtime=14.99 cores=1,3,5,7
/proc/16077/task/16083/stat : 16083 (java) S 16075 16075 897 0 -1 1077944384 12331 0 0 0 1438 61 0 0 20 0 15 0 71785966 14318366720 285030 18446744073709551615 4194304 4196468 140734920561312 139737973295504 139738042029781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16084] ppid=16075 vsize=13982780 memory=1140120 CPUtime=0.69 cores=1,3,5,7
/proc/16077/task/16084/stat : 16084 (java) S 16075 16075 897 0 -1 1077944384 42628 0 0 0 60 9 0 0 20 0 15 0 71785967 14318366720 285030 18446744073709551615 4194304 4196468 140734920561312 139737520622320 139738042030722 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16085] ppid=16075 vsize=13982780 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16077/task/16085/stat : 16085 (java) S 16075 16075 897 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 71785968 14318366720 285030 18446744073709551615 4194304 4196468 140734920561312 139737519568608 139738042029781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16086] ppid=16075 vsize=13982780 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16077/task/16086/stat : 16086 (java) S 16075 16075 897 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 71785968 14318366720 285030 18446744073709551615 4194304 4196468 140734920561312 139737518515456 139738042029781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16087] ppid=16075 vsize=13982780 memory=1140120 CPUtime=0 cores=1,3,5,7
/proc/16077/task/16087/stat : 16087 (java) S 16075 16075 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71785970 14318366720 285030 18446744073709551615 4194304 4196468 140734920561312 139737517464016 139738042038171 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16088] ppid=16075 vsize=13982780 memory=1380 CPUtime=4.67 cores=1,3,5,7
/proc/16077/task/16088/stat : 16088 (java) S 16075 16075 897 0 -1 1077944384 25226 0 0 0 464 3 0 0 20 0 15 0 71785970 14318366720 285030 18446744073709551615 4194304 4196468 140734920561312 139737516411120 139738042030722 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16089] ppid=16075 vsize=13982780 memory=1150384 CPUtime=4.85 cores=1,3,5,7
/proc/16077/task/16089/stat : 16089 (java) S 16075 16075 897 0 -1 1077944384 30721 0 0 0 482 3 0 0 20 0 15 0 71785970 14318366720 285030 18446744073709551615 4194304 4196468 140734920561312 139737515358576 139738042030722 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16090] ppid=16075 vsize=13982780 memory=2848 CPUtime=1.03 cores=1,3,5,7
/proc/16077/task/16090/stat : 16090 (java) S 16075 16075 897 0 -1 1077944384 12328 0 0 0 100 3 0 0 20 0 15 0 71785970 14318366720 285030 18446744073709551615 4194304 4196468 140734920561312 139737514305520 139738042030722 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16091] ppid=16075 vsize=13982780 memory=4064 CPUtime=0 cores=1,3,5,7
/proc/16077/task/16091/stat : 16091 (java) S 16075 16075 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71785970 14318366720 285030 18446744073709551615 4194304 4196468 140734920561312 139737513253216 139738042029781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16092] ppid=16075 vsize=13982780 memory=1380 CPUtime=1.15 cores=1,3,5,7
/proc/16077/task/16092/stat : 16092 (java) S 16075 16075 897 0 -1 1077944384 1815 0 0 0 53 62 0 0 20 0 15 0 71785979 14318366720 285030 18446744073709551615 4194304 4196468 140734920561312 139737512201264 139738042030722 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
Current children cumulated CPU time: 2498.66 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 1141500 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2463.3 s]
/proc/loadavg: 2.04 1.91 1.88 3/211 16313
/proc/meminfo: memFree=29710236/32770624 swapFree=67108860/67108860
[pid=16075] ppid=16072 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16075/stat : 16075 (xcsp3-exec) S 16072 16075 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 71785956 9740288 345 18446744073709551615 4194304 5098028 140721824042592 140721824040696 140472825295484 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 21803008 140721824047480 140721824047685 140721824047685 140721824051179 0
/proc/16075/statm: 2378 345 289 221 0 87 0
[pid=16077] ppid=16075 vsize=13982780 memory=1098572 CPUtime=2520.08 cores=1,3,5,7
/proc/16077/stat : 16077 (java) S 16075 16075 897 0 -1 1077944320 238491 0 0 0 251674 334 0 0 20 0 15 0 71785965 14318366720 274643 18446744073709551615 4194304 4196468 140734920561312 140734920543856 139738042019575 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
/proc/16077/statm: 3495695 274643 3263 1 0 3483988 0
[pid=16077/tid=16078] ppid=16075 vsize=13982780 memory=1098572 CPUtime=2447.23 cores=1,3,5,7
/proc/16077/task/16078/stat : 16078 (java) R 16075 16075 897 0 -1 4202560 68654 0 0 0 244702 21 0 0 20 0 15 0 71785965 14318366720 274643 18446744073709551615 4194304 4196468 140734920561312 139738046259184 139737658130448 0 4 1 16800974 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16079] ppid=16075 vsize=13982780 memory=1098572 CPUtime=15.14 cores=1,3,5,7
/proc/16077/task/16079/stat : 16079 (java) S 16075 16075 897 0 -1 1077944384 14483 0 0 0 1454 60 0 0 20 0 15 0 71785966 14318366720 274643 18446744073709551615 4194304 4196468 140734920561312 139737976453648 139738042029781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16081] ppid=16075 vsize=13982780 memory=1380 CPUtime=15.04 cores=1,3,5,7
/proc/16077/task/16081/stat : 16081 (java) S 16075 16075 897 0 -1 1077944384 14664 0 0 0 1443 61 0 0 20 0 15 0 71785966 14318366720 274643 18446744073709551615 4194304 4196468 140734920561312 139737975401104 139738042029781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16082] ppid=16075 vsize=13982780 memory=1098572 CPUtime=15.05 cores=1,3,5,7
/proc/16077/task/16082/stat : 16082 (java) S 16075 16075 897 0 -1 1077944384 14256 0 0 0 1446 59 0 0 20 0 15 0 71785966 14318366720 274643 18446744073709551615 4194304 4196468 140734920561312 139737974348048 139738042029781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16083] ppid=16075 vsize=13982780 memory=1098572 CPUtime=15.13 cores=1,3,5,7
/proc/16077/task/16083/stat : 16083 (java) S 16075 16075 897 0 -1 1077944384 12331 0 0 0 1452 61 0 0 20 0 15 0 71785966 14318366720 274643 18446744073709551615 4194304 4196468 140734920561312 139737973295504 139738042029781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16084] ppid=16075 vsize=13982780 memory=1509 CPUtime=0.69 cores=1,3,5,7
/proc/16077/task/16084/stat : 16084 (java) S 16075 16075 897 0 -1 1077944384 42630 0 0 0 60 9 0 0 20 0 15 0 71785967 14318366720 274643 18446744073709551615 4194304 4196468 140734920561312 139737520622320 139738042030722 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16085] ppid=16075 vsize=13982780 memory=1116012 CPUtime=0 cores=1,3,5,7
/proc/16077/task/16085/stat : 16085 (java) S 16075 16075 897 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 71785968 14318366720 274643 18446744073709551615 4194304 4196468 140734920561312 139737519568608 139738042029781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16086] ppid=16075 vsize=13982780 memory=1119092 CPUtime=0 cores=1,3,5,7
/proc/16077/task/16086/stat : 16086 (java) S 16075 16075 897 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 71785968 14318366720 274643 18446744073709551615 4194304 4196468 140734920561312 139737518515456 139738042029781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16087] ppid=16075 vsize=13982780 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16077/task/16087/stat : 16087 (java) S 16075 16075 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71785970 14318366720 274643 18446744073709551615 4194304 4196468 140734920561312 139737517464016 139738042038171 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16088] ppid=16075 vsize=13982780 memory=1098572 CPUtime=4.67 cores=1,3,5,7
/proc/16077/task/16088/stat : 16088 (java) S 16075 16075 897 0 -1 1077944384 25226 0 0 0 464 3 0 0 20 0 15 0 71785970 14318366720 274643 18446744073709551615 4194304 4196468 140734920561312 139737516411120 139738042030722 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16089] ppid=16075 vsize=13982780 memory=1380 CPUtime=4.85 cores=1,3,5,7
/proc/16077/task/16089/stat : 16089 (java) S 16075 16075 897 0 -1 1077944384 30721 0 0 0 482 3 0 0 20 0 15 0 71785970 14318366720 274643 18446744073709551615 4194304 4196468 140734920561312 139737515358576 139738042030722 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16090] ppid=16075 vsize=13982780 memory=1380 CPUtime=1.03 cores=1,3,5,7
/proc/16077/task/16090/stat : 16090 (java) S 16075 16075 897 0 -1 1077944384 12328 0 0 0 100 3 0 0 20 0 15 0 71785970 14318366720 274643 18446744073709551615 4194304 4196468 140734920561312 139737514305520 139738042030722 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16091] ppid=16075 vsize=13982780 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16077/task/16091/stat : 16091 (java) S 16075 16075 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71785970 14318366720 274643 18446744073709551615 4194304 4196468 140734920561312 139737513253216 139738042029781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16092] ppid=16075 vsize=13982780 memory=1098572 CPUtime=1.17 cores=1,3,5,7
/proc/16077/task/16092/stat : 16092 (java) S 16075 16075 897 0 -1 1077944384 1817 0 0 0 54 63 0 0 20 0 15 0 71785979 14318366720 274643 18446744073709551615 4194304 4196468 140734920561312 139737512201264 139738042030722 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 1099952 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2463.31 s]
# the end of solver process 16075 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.00187 s, system=0.000152 s
[startup+2463.32 s]
# the end of solver process 16077 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.76 s, system=3.35006 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2463.3 s]
/proc/loadavg: 2.04 1.91 1.88 3/211 16313
/proc/meminfo: memFree=29710236/32770624 swapFree=67108860/67108860
[pid=16075] ppid=16072 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16075/stat : 16075 (xcsp3-exec) S 16072 16075 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 71785956 9740288 345 18446744073709551615 4194304 5098028 140721824042592 140721824040696 140472825295484 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 21803008 140721824047480 140721824047685 140721824047685 140721824051179 0
/proc/16075/statm: 2378 345 289 221 0 87 0
[pid=16077] ppid=16075 vsize=13982780 memory=1098572 CPUtime=2520.08 cores=1,3,5,7
/proc/16077/stat : 16077 (java) S 16075 16075 897 0 -1 1077944320 238491 0 0 0 251674 334 0 0 20 0 15 0 71785965 14318366720 274643 18446744073709551615 4194304 4196468 140734920561312 140734920543856 139738042019575 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
/proc/16077/statm: 3495695 274643 3263 1 0 3483988 0
[pid=16077/tid=16078] ppid=16075 vsize=13982780 memory=1098572 CPUtime=2447.23 cores=1,3,5,7
/proc/16077/task/16078/stat : 16078 (java) R 16075 16075 897 0 -1 4202560 68654 0 0 0 244702 21 0 0 20 0 15 0 71785965 14318366720 274643 18446744073709551615 4194304 4196468 140734920561312 139738046259184 139737658130448 0 4 1 16800974 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16079] ppid=16075 vsize=13982780 memory=1098572 CPUtime=15.14 cores=1,3,5,7
/proc/16077/task/16079/stat : 16079 (java) S 16075 16075 897 0 -1 1077944384 14483 0 0 0 1454 60 0 0 20 0 15 0 71785966 14318366720 274643 18446744073709551615 4194304 4196468 140734920561312 139737976453648 139738042029781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16081] ppid=16075 vsize=13982780 memory=1380 CPUtime=15.04 cores=1,3,5,7
/proc/16077/task/16081/stat : 16081 (java) S 16075 16075 897 0 -1 1077944384 14664 0 0 0 1443 61 0 0 20 0 15 0 71785966 14318366720 274643 18446744073709551615 4194304 4196468 140734920561312 139737975401104 139738042029781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16082] ppid=16075 vsize=13982780 memory=1098572 CPUtime=15.05 cores=1,3,5,7
/proc/16077/task/16082/stat : 16082 (java) S 16075 16075 897 0 -1 1077944384 14256 0 0 0 1446 59 0 0 20 0 15 0 71785966 14318366720 274643 18446744073709551615 4194304 4196468 140734920561312 139737974348048 139738042029781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16083] ppid=16075 vsize=13982780 memory=1098572 CPUtime=15.13 cores=1,3,5,7
/proc/16077/task/16083/stat : 16083 (java) S 16075 16075 897 0 -1 1077944384 12331 0 0 0 1452 61 0 0 20 0 15 0 71785966 14318366720 274643 18446744073709551615 4194304 4196468 140734920561312 139737973295504 139738042029781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16084] ppid=16075 vsize=13982780 memory=1509 CPUtime=0.69 cores=1,3,5,7
/proc/16077/task/16084/stat : 16084 (java) S 16075 16075 897 0 -1 1077944384 42630 0 0 0 60 9 0 0 20 0 15 0 71785967 14318366720 274643 18446744073709551615 4194304 4196468 140734920561312 139737520622320 139738042030722 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16085] ppid=16075 vsize=13982780 memory=1116012 CPUtime=0 cores=1,3,5,7
/proc/16077/task/16085/stat : 16085 (java) S 16075 16075 897 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 71785968 14318366720 274643 18446744073709551615 4194304 4196468 140734920561312 139737519568608 139738042029781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16086] ppid=16075 vsize=13982780 memory=1119092 CPUtime=0 cores=1,3,5,7
/proc/16077/task/16086/stat : 16086 (java) S 16075 16075 897 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 71785968 14318366720 274643 18446744073709551615 4194304 4196468 140734920561312 139737518515456 139738042029781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16087] ppid=16075 vsize=13982780 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16077/task/16087/stat : 16087 (java) S 16075 16075 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71785970 14318366720 274643 18446744073709551615 4194304 4196468 140734920561312 139737517464016 139738042038171 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16088] ppid=16075 vsize=13982780 memory=1098572 CPUtime=4.67 cores=1,3,5,7
/proc/16077/task/16088/stat : 16088 (java) S 16075 16075 897 0 -1 1077944384 25226 0 0 0 464 3 0 0 20 0 15 0 71785970 14318366720 274643 18446744073709551615 4194304 4196468 140734920561312 139737516411120 139738042030722 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16089] ppid=16075 vsize=13982780 memory=1380 CPUtime=4.85 cores=1,3,5,7
/proc/16077/task/16089/stat : 16089 (java) S 16075 16075 897 0 -1 1077944384 30721 0 0 0 482 3 0 0 20 0 15 0 71785970 14318366720 274643 18446744073709551615 4194304 4196468 140734920561312 139737515358576 139738042030722 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16090] ppid=16075 vsize=13982780 memory=1380 CPUtime=1.03 cores=1,3,5,7
/proc/16077/task/16090/stat : 16090 (java) S 16075 16075 897 0 -1 1077944384 12328 0 0 0 100 3 0 0 20 0 15 0 71785970 14318366720 274643 18446744073709551615 4194304 4196468 140734920561312 139737514305520 139738042030722 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16091] ppid=16075 vsize=13982780 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16077/task/16091/stat : 16091 (java) S 16075 16075 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71785970 14318366720 274643 18446744073709551615 4194304 4196468 140734920561312 139737513253216 139738042029781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
[pid=16077/tid=16092] ppid=16075 vsize=13982780 memory=1098572 CPUtime=1.17 cores=1,3,5,7
/proc/16077/task/16092/stat : 16092 (java) S 16075 16075 897 0 -1 1077944384 1817 0 0 0 54 63 0 0 20 0 15 0 71785979 14318366720 274643 18446744073709551615 4194304 4196468 140734920561312 139737512201264 139738042030722 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 33386496 140734920565169 140734920565345 140734920565345 140734920568783 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 1099952 KiB
Child status: 143
Real time (s): 2463.32
CPU time (s): 2520.11
CPU user time (s): 2516.76
CPU system time (s): 3.35006
CPU usage (%): 102.305
Max. virtual memory (cumulated for all children) (KiB): 13992292
Max. memory (cumulated for all children) (KiB): 1391952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.76
system time used= 3.35006
maximum resident set size= 1398804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 239172
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 63932
involuntary context switches= 2282
# summary of solver processes directly reported to runsolver:
# pid: 16075,16077
# total CPU time (s): 2520.11
# total CPU user time (s): 2516.76
# total CPU system time (s): 3.35006
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.6883 second user time and 25.1352 second system time
The end
Begin job on node125 at 2017-08-14 09:13:27 IDJOB=4272278 IDBENCH=115917 IDSOLVER=2664 FILE ID=node125/4272278-1502695653 RUNJOBID= node125-1502662595-11629 PBS_JOBID= Free space on /tmp= 62024 MiB SOLVER NAME= choco-solver 5a BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-43.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-4272278-1502695653/watcher-4272278-1502695653 -o /tmp/evaluation-result-4272278-1502695653/solver-4272278-1502695653 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502662595-11629 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1276492942 HOME/instance-4272278-1502695653.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2bbdfe474604d495dd31c09972612e7d RANDOM SEED=1276492942 node125.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.07 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.07 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.07 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.07 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: 30725484 kB MemAvailable: 31670056 kB Buffers: 293036 kB Cached: 945552 kB SwapCached: 0 kB Active: 1022792 kB Inactive: 593228 kB Active(anon): 377512 kB Inactive(anon): 33100 kB Active(file): 645280 kB Inactive(file): 560128 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7876 kB Writeback: 16 kB AnonPages: 376848 kB Mapped: 60892 kB Shmem: 33444 kB Slab: 135724 kB SReclaimable: 109996 kB SUnreclaim: 25728 kB KernelStack: 3456 kB PageTables: 5712 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1278244 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 262144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 62016 MiB End job on node125 at 2017-08-14 09:54:30