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-08-18) | SAT (TO) | 683 | 253.70599 | 240.02699 |
| Name | StillLife/StillLife-wst-s1/ StillLife-wastage-42.xml |
| MD5SUM | f0ae775e0a261424aab5dff09c8fa0c4 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 806 |
| Best CPU time to get the best result obtained on this benchmark | 1808.87 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 3917 |
| Number of constraints | 2192 |
| Number of domains | 4 |
| Minimum domain size | 2 |
| Maximum domain size | 3873 |
| Distribution of domain sizes | [{"size":2,"count":1936},{"size":3,"count":1936},{"size":1765,"count":1},{"size":3873,"count":44}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 45 |
| Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":1933},{"degree":3,"count":47},{"degree":4,"count":168},{"degree":8,"count":164},{"degree":9,"count":1600},{"degree":45,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 46 |
| Distribution of constraint arities | [{"arity":2,"count":212},{"arity":3,"count":168},{"arity":10,"count":1764},{"arity":44,"count":4},{"arity":45,"count":1},{"arity":46,"count":43}] |
| Number of extensional constraints | 1932 |
| Number of intensional constraints | 211 |
| Distribution of constraint types | [{"type":"extension","count":1932},{"type":"intension","count":211},{"type":"sum","count":45},{"type":"instantiation","count":4}] |
| Optimization problem | YES |
| Type of objective | max VAR |
0.00/0.00 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4284547-1503210767.xml" -tl '264s' -p 1 -x 3 0.12/0.14 c [HOME/instance-4284547-1503210767.xml, -tl, 264s, -p, 1, -x, 3] 0.12/0.20 c simple solver 0.33/0.26 c parse instance... 2.96/1.39 c solve instance... 81.55/74.30 o 678 205.62/193.93 o 681 205.84/194.11 o 682 205.84/194.15 o 683 253.67/240.01 s SATISFIABLE 253.67/240.01 v <instantiation> 253.67/240.01 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] z </list> 253.67/240.01 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 1 1 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 1 1 1 1 1 1 0 0 1 0 1 0 1 1 1 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 1 1 0 0 0 1 0 0 0 0 1 0 1 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 1 0 1 0 0 1 1 0 1 1 1 1 0 1 1 0 0 1 1 1 0 0 0 1 1 0 0 0 1 1 1 1 0 1 1 0 0 1 0 0 0 0 1 0 1 0 1 1 1 0 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 1 1 0 0 1 0 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 1 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 1 1 1 0 1 1 0 1 0 0 0 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 1 0 0 0 1 1 0 1 1 1 1 1 1 1 0 1 0 1 0 1 1 1 0 1 0 1 1 1 1 0 0 0 0 1 1 0 0 0 0 1 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 1 1 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 1 1 0 0 0 1 0 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 1 1 0 1 1 0 1 0 0 0 1 1 0 1 0 1 1 0 1 0 0 0 1 1 0 1 1 1 0 1 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 1 0 1 1 0 0 1 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 1 0 1 0 1 1 0 0 0 1 0 1 0 1 0 1 1 1 1 0 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 0 0 1 1 1 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 1 0 1 0 1 0 0 1 1 1 1 1 1 0 0 1 0 1 0 0 1 0 1 0 1 1 0 0 0 1 1 1 0 0 1 1 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 0 0 1 0 0 0 1 1 0 1 0 1 0 0 1 0 1 1 1 1 0 0 0 0 1 0 0 0 0 1 1 1 1 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 1 0 1 1 1 1 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 1 0 0 1 1 1 0 0 1 0 0 0 0 1 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 1 0 0 1 0 0 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 0 1 1 0 0 1 1 1 0 0 1 1 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 1 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 1 1 1 1 1 1 0 0 1 0 1 0 0 0 1 0 1 1 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 0 0 0 1 0 1 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 1 1 1 1 0 1 1 0 1 0 1 1 1 1 0 1 0 0 0 1 0 1 0 1 1 0 1 0 1 0 1 1 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 0 1 0 1 0 0 1 1 1 0 0 0 0 0 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 1 1 0 0 0 0 0 1 1 0 1 1 0 1 1 0 1 0 1 0 1 1 0 1 0 1 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 1 1 0 1 0 1 1 0 0 1 0 0 0 1 1 0 0 1 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 1 1 1 1 0 0 1 0 0 1 1 1 1 0 0 1 0 0 1 0 0 1 1 1 1 1 1 1 0 0 1 0 1 1 1 0 1 2 2 1 0 0 0 2 2 2 2 0 0 0 0 0 0 0 2 2 1 0 1 0 1 0 0 0 0 0 2 2 2 2 2 0 0 0 0 1 0 1 2 1 1 2 2 1 1 0 1 1 2 2 1 1 0 1 0 1 0 2 0 2 1 0 0 1 0 1 0 0 0 1 1 2 1 2 1 1 0 1 0 0 0 1 0 1 1 2 2 2 1 0 0 1 1 1 1 0 0 0 1 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 2 2 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 2 0 1 1 2 2 2 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 0 1 0 0 1 0 0 0 2 1 1 2 2 0 1 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 1 2 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 2 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 2 1 1 0 1 2 0 1 0 0 0 2 0 1 0 0 0 0 1 2 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 1 1 2 2 2 1 1 2 1 1 0 0 1 0 0 0 1 1 1 0 0 1 1 0 0 1 0 1 0 0 0 0 1 1 1 2 1 0 1 0 1 1 0 0 1 2 2 2 2 2 2 0 1 0 0 1 0 1 0 0 2 2 1 1 1 1 2 0 0 1 2 1 0 1 0 1 0 1 2 0 1 0 0 1 1 1 1 0 1 2 2 1 1 2 1 1 0 0 0 0 1 0 0 0 1 1 2 2 1 1 1 0 0 2 2 0 1 0 0 0 0 1 0 1 0 0 0 1 2 2 1 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 2 1 1 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 2 1 2 0 1 0 1 1 1 0 2 0 1 0 0 0 0 0 0 0 0 1 0 1 2 1 1 2 1 1 2 1 1 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 1 1 2 2 1 1 2 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 2 0 1 1 0 2 1 0 1 0 0 0 0 0 0 1 1 1 1 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 2 0 0 1 1 0 0 0 0 1 0 1 0 1 0 1 2 1 1 2 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 1 0 2 0 1 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 2 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 2 0 1 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 1 0 2 1 1 1 0 0 1 0 0 0 1 1 2 1 0 0 1 0 1 1 1 1 0 1 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 2 2 1 0 1 0 0 1 1 2 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 1 2 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 2 0 0 0 0 2 0 0 0 0 0 0 0 1 2 2 0 0 1 0 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 1 1 1 1 2 2 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 1 1 2 2 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 0 0 1 0 1 2 0 0 1 1 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 1 0 1 1 1 2 1 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 1 2 1 1 1 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 2 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 2 1 1 0 0 1 0 0 0 1 2 0 0 1 0 0 1 1 1 1 0 0 0 0 0 1 1 2 2 1 0 0 1 0 1 1 0 0 0 1 0 1 1 1 2 2 1 1 2 0 1 0 0 2 1 0 0 0 0 0 1 2 1 0 0 0 1 0 0 1 2 1 1 2 0 0 0 1 0 0 0 1 0 0 1 0 1 1 1 1 2 2 1 1 0 0 0 1 0 0 0 0 0 0 1 1 1 0 1 2 1 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 2 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 1 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 2 1 1 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 2 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 2 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 2 2 2 1 1 1 1 0 0 0 0 0 0 0 0 2 1 0 0 0 0 0 1 1 0 0 0 0 1 0 0 1 0 2 1 1 2 1 1 1 0 0 0 0 0 2 2 2 2 2 0 0 0 1 1 1 1 0 0 2 2 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 2 2 2 1 1 2 2 0 0 0 1 0 1 1 2 2 2 0 2 0 1 1 2 2 1 0 1 0 1 1 0 0 1 0 0 1 0 1 0 0 1 1 0 2 0 2 0 1 1 0 1 1 0 0 1 1 0 1 1 2 0 2 0 2 1 1 2 2 2 1 0 1 0 1 0 0 0 0 0 0 1 0 2 1 1 2 2 0 2 0 1 0 0 1 0 1 0 0 1 1 1 0 1 0 0 0 2 2 1 1 2 2 2 2 1 0 1 0 1 0 0 0 1 1 1 2 2 2 2 2 2 2 0 0 0 1 1 0 1 0 1 0 1 2 0 0 0 0 0 1 1 2 1 1 1 1 1 1 1 0 0 1 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 2 27 63 99 121 137 158 177 196 222 258 294 318 341 362 375 393 417 433 450 469 485 498 520 535 549 570 586 600 627 656 678 694 708 718 725 735 747 766 792 828 861 894 935 964 683 </values> 253.67/240.01 v </instantiation> 253.67/240.01 c Unexpected resolution interruption!
OK 683
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 (12484 MiB free)
memory of node 1: 16384 MiB (13916 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284547-1503210767/watcher-4284547-1503210767 -o /tmp/evaluation-result-4284547-1503210767/solver-4284547-1503210767 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node106-1503208459-25961 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1777409218 HOME/instance-4284547-1503210767.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=26959, runsolver pid=26956
[startup+0.100219 s]*
/proc/loadavg: 1.34 1.70 1.40 2/199 26978
/proc/meminfo: memFree=27050164/32770624 swapFree=67108860/67108860
[pid=26959] ppid=26956 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/26959/stat : 26959 (xcsp3-exec) S 26956 26959 25930 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154164287 9740288 346 33554432000 4194304 5098028 140721700082528 140721700080632 140438897877628 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35033088 140721700090996 140721700091200 140721700091200 140721700093931 0
/proc/26959/statm: 2378 346 289 221 0 87 0
[pid=26961] ppid=26959 vsize=13978596 memory=30060 CPUtime=0.12 cores=0,2,4,6
/proc/26961/stat : 26961 (java) S 26959 26959 25930 0 -1 1077944320 5364 0 0 0 11 1 0 0 20 0 15 0 154164287 14314082304 7515 33554432000 4194304 4196468 140732389957376 140732389939920 140442179948279 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
/proc/26961/statm: 3494649 7515 2871 1 0 3482966 0
[pid=26961/tid=26962] ppid=26959 vsize=13978596 memory=-6517102902069810590 CPUtime=0.08 cores=0,2,4,6
/proc/26961/task/26962/stat : 26962 (java) R 26959 26959 25930 0 -1 4202560 3376 0 0 0 8 0 0 0 20 0 15 0 154164287 14314082304 7515 33554432000 4194304 4196468 140732389957376 140442184177456 140442179960214 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26963] ppid=26959 vsize=13978596 memory=-9181546050914066336 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26963/stat : 26963 (java) S 26959 26959 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154164288 14314082304 7515 33554432000 4194304 4196468 140732389957376 140441775434768 140442179958485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26964] ppid=26959 vsize=13978596 memory=140283856381568 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26964/stat : 26964 (java) S 26959 26959 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154164288 14314082304 7515 33554432000 4194304 4196468 140732389957376 140441774382224 140442179958485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26965] ppid=26959 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26965/stat : 26965 (java) S 26959 26959 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154164288 14314082304 7515 33554432000 4194304 4196468 140732389957376 140441773329168 140442179958485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26966] ppid=26959 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26966/stat : 26966 (java) S 26959 26959 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154164288 14314082304 7515 33554432000 4194304 4196468 140732389957376 140441772276624 140442179958485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26967] ppid=26959 vsize=13978596 memory=140283856381568 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26967/stat : 26967 (java) S 26959 26959 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154164289 14314082304 7515 33554432000 4194304 4196468 140732389957376 140441092057328 140442179959426 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26968] ppid=26959 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26968/stat : 26968 (java) S 26959 26959 25930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154164290 14314082304 7515 33554432000 4194304 4196468 140732389957376 140441091003552 140442179958485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26969] ppid=26959 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26969/stat : 26969 (java) S 26959 26959 25930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154164290 14314082304 7515 33554432000 4194304 4196468 140732389957376 140441089950448 140442179958485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26973] ppid=26959 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26973/stat : 26973 (java) S 26959 26959 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154164292 14314082304 7515 33554432000 4194304 4196468 140732389957376 140441088899024 140442179966875 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26974] ppid=26959 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26974/stat : 26974 (java) S 26959 26959 25930 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 15 0 154164292 14314082304 7515 33554432000 4194304 4196468 140732389957376 140441087847152 140442179959426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26975] ppid=26959 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26975/stat : 26975 (java) S 26959 26959 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154164292 14314082304 7515 33554432000 4194304 4196468 140732389957376 140441086794608 140442179959426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26976] ppid=26959 vsize=13978596 memory=140283856381568 CPUtime=0.01 cores=0,2,4,6
/proc/26961/task/26976/stat : 26976 (java) R 26959 26959 25930 0 -1 4202560 268 0 0 0 1 0 0 0 20 0 15 0 154164292 14314082304 7580 33554432000 4194304 4196468 140732389957376 140441085741552 140442158829805 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26977] ppid=26959 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26977/stat : 26977 (java) S 26959 26959 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154164292 14314082304 7580 33554432000 4194304 4196468 140732389957376 140441084689248 140442179958485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26978] ppid=26959 vsize=13978596 memory=140283856381568 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26978/stat : 26978 (java) S 26959 26959 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154164293 14314082304 7580 33554432000 4194304 4196468 140732389957376 140441083636272 140442179959426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 31444 KiB
[startup+0.21023 s]*
/proc/loadavg: 1.34 1.70 1.40 3/199 26978
/proc/meminfo: memFree=27038684/32770624 swapFree=67108860/67108860
[pid=26959] ppid=26956 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/26959/stat : 26959 (xcsp3-exec) S 26956 26959 25930 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154164287 9740288 346 33554432000 4194304 5098028 140721700082528 140721700080632 140438897877628 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35033088 140721700090996 140721700091200 140721700091200 140721700093931 0
/proc/26959/statm: 2378 346 289 221 0 87 0
[pid=26961] ppid=26959 vsize=13982852 memory=42136 CPUtime=0.33 cores=0,2,4,6
/proc/26961/stat : 26961 (java) S 26959 26959 25930 0 -1 1077944320 8081 0 0 0 31 2 0 0 20 0 15 0 154164287 14318440448 10534 33554432000 4194304 4196468 140732389957376 140732389939920 140442179948279 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
/proc/26961/statm: 3495713 10534 3046 1 0 3482966 0
[pid=26961/tid=26962] ppid=26959 vsize=13982884 memory=8390339637985935414 CPUtime=0.19 cores=0,2,4,6
/proc/26961/task/26962/stat : 26962 (java) R 26959 26959 25930 0 -1 4202560 5216 0 0 0 18 1 0 0 20 0 15 0 154164287 14318473216 10555 33554432000 4194304 4196468 140732389957376 140442184159072 140442172627997 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26963] ppid=26959 vsize=13982852 memory=288230609019731991 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26963/stat : 26963 (java) S 26959 26959 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154164288 14318440448 10555 33554432000 4194304 4196468 140732389957376 140441775434768 140442179958485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26964] ppid=26959 vsize=13982852 memory=3473041447147628192 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26964/stat : 26964 (java) S 26959 26959 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154164288 14318440448 10555 33554432000 4194304 4196468 140732389957376 140441774382224 140442179958485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26965] ppid=26959 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26965/stat : 26965 (java) S 26959 26959 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154164288 14318440448 10555 33554432000 4194304 4196468 140732389957376 140441773329168 140442179958485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26966] ppid=26959 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26966/stat : 26966 (java) S 26959 26959 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154164288 14318440448 10555 33554432000 4194304 4196468 140732389957376 140441772276624 140442179958485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26967] ppid=26959 vsize=13982852 memory=140283856381568 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26967/stat : 26967 (java) S 26959 26959 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154164289 14318440448 10555 33554432000 4194304 4196468 140732389957376 140441092057328 140442179959426 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26968] ppid=26959 vsize=13982884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26968/stat : 26968 (java) S 26959 26959 25930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154164290 14318473216 10555 33554432000 4194304 4196468 140732389957376 140441091003552 140442179958485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26969] ppid=26959 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26969/stat : 26969 (java) S 26959 26959 25930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154164290 14318440448 10555 33554432000 4194304 4196468 140732389957376 140441089950448 140442179958485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26973] ppid=26959 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26973/stat : 26973 (java) S 26959 26959 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154164292 14318440448 10555 33554432000 4194304 4196468 140732389957376 140441088899024 140442179966875 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26974] ppid=26959 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/26961/task/26974/stat : 26974 (java) S 26959 26959 25930 0 -1 1077944384 707 0 0 0 2 0 0 0 20 0 15 0 154164292 14318440448 10555 33554432000 4194304 4196468 140732389957376 140441087847152 140442179959426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26975] ppid=26959 vsize=13982852 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/26961/task/26975/stat : 26975 (java) S 26959 26959 25930 0 -1 1077944384 176 0 0 0 1 0 0 0 20 0 15 0 154164292 14318440448 10555 33554432000 4194304 4196468 140732389957376 140441086794608 140442179959426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26976] ppid=26959 vsize=13982852 memory=140283856381568 CPUtime=0.08 cores=0,2,4,6
/proc/26961/task/26976/stat : 26976 (java) S 26959 26959 25930 0 -1 1077944384 700 0 0 0 8 0 0 0 20 0 15 0 154164292 14318440448 10555 33554432000 4194304 4196468 140732389957376 140441085741552 140442179959426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26977] ppid=26959 vsize=13982884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26977/stat : 26977 (java) S 26959 26959 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154164292 14318473216 10555 33554432000 4194304 4196468 140732389957376 140441084689248 140442179958485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26978] ppid=26959 vsize=13982884 memory=140283856381568 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26978/stat : 26978 (java) S 26959 26959 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154164293 14318473216 10555 33554432000 4194304 4196468 140732389957376 140441083636272 140442179959426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 43520 KiB
[startup+0.315467 s]*
/proc/loadavg: 1.34 1.70 1.40 3/196 26995
/proc/meminfo: memFree=27040336/32770624 swapFree=67108860/67108860
[pid=26959] ppid=26956 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/26959/stat : 26959 (xcsp3-exec) S 26956 26959 25930 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154164287 9740288 346 33554432000 4194304 5098028 140721700082528 140721700080632 140438897877628 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35033088 140721700090996 140721700091200 140721700091200 140721700093931 0
/proc/26959/statm: 2378 346 289 221 0 87 0
[pid=26961] ppid=26959 vsize=13982852 memory=49092 CPUtime=0.53 cores=0,2,4,6
/proc/26961/stat : 26961 (java) S 26959 26959 25930 0 -1 1077944320 8942 0 0 0 50 3 0 0 20 0 15 0 154164287 14318440448 12273 33554432000 4194304 4196468 140732389957376 140732389939920 140442179948279 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
/proc/26961/statm: 3495713 12273 3078 1 0 3482966 0
[pid=26961/tid=26962] ppid=26959 vsize=13982852 memory=-1391509512798377067 CPUtime=0.3 cores=0,2,4,6
/proc/26961/task/26962/stat : 26962 (java) R 26959 26959 25930 0 -1 4202560 5872 0 0 0 28 2 0 0 20 0 15 0 154164287 14318440448 12273 33554432000 4194304 4196468 140732389957376 140442184186016 140441817075009 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26963] ppid=26959 vsize=13982852 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26963/stat : 26963 (java) S 26959 26959 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154164288 14318440448 12273 33554432000 4194304 4196468 140732389957376 140441775434768 140442179958485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26964] ppid=26959 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26964/stat : 26964 (java) S 26959 26959 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154164288 14318440448 12273 33554432000 4194304 4196468 140732389957376 140441774382224 140442179958485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26965] ppid=26959 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26965/stat : 26965 (java) S 26959 26959 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154164288 14318440448 12273 33554432000 4194304 4196468 140732389957376 140441773329168 140442179958485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26966] ppid=26959 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26966/stat : 26966 (java) S 26959 26959 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154164288 14318440448 12273 33554432000 4194304 4196468 140732389957376 140441772276624 140442179958485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26967] ppid=26959 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26967/stat : 26967 (java) S 26959 26959 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154164289 14318440448 12273 33554432000 4194304 4196468 140732389957376 140441092057328 140442179959426 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26968] ppid=26959 vsize=13982852 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26968/stat : 26968 (java) S 26959 26959 25930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154164290 14318440448 12273 33554432000 4194304 4196468 140732389957376 140441091003552 140442179958485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26969] ppid=26959 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26969/stat : 26969 (java) S 26959 26959 25930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154164290 14318440448 12273 33554432000 4194304 4196468 140732389957376 140441089950448 140442179958485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26973] ppid=26959 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26973/stat : 26973 (java) S 26959 26959 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154164292 14318440448 12273 33554432000 4194304 4196468 140732389957376 140441088899024 140442179966875 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26974] ppid=26959 vsize=13982852 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/26961/task/26974/stat : 26974 (java) R 26959 26959 25930 0 -1 4202560 724 0 0 0 5 0 0 0 20 0 15 0 154164292 14318440448 12273 33554432000 4194304 4196468 140732389957376 140441087847152 140442161466154 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26975] ppid=26959 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/26961/task/26975/stat : 26975 (java) R 26959 26959 25930 0 -1 1077944384 240 0 0 0 2 0 0 0 20 0 15 0 154164292 14318440448 12273 33554432000 4194304 4196468 140732389957376 140441086794608 140442179959426 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26976] ppid=26959 vsize=13982852 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/26961/task/26976/stat : 26976 (java) R 26959 26959 25930 0 -1 4202560 804 0 0 0 13 0 0 0 20 0 15 0 154164292 14318440448 12273 33554432000 4194304 4196468 140732389957376 140441085737312 140442172185406 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26977] ppid=26959 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26977/stat : 26977 (java) S 26959 26959 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154164292 14318440448 12273 33554432000 4194304 4196468 140732389957376 140441084689248 140442179958485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26978] ppid=26959 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26978/stat : 26978 (java) S 26959 26959 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154164293 14318440448 12273 33554432000 4194304 4196468 140732389957376 140441083636272 140442179959426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 50476 KiB
[startup+0.70078 s]
/proc/loadavg: 1.47 1.72 1.41 5/196 26995
/proc/meminfo: memFree=27015744/32770624 swapFree=67108860/67108860
[pid=26959] ppid=26956 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/26959/stat : 26959 (xcsp3-exec) S 26956 26959 25930 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154164287 9740288 346 33554432000 4194304 5098028 140721700082528 140721700080632 140438897877628 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35033088 140721700090996 140721700091200 140721700091200 140721700093931 0
/proc/26959/statm: 2378 346 289 221 0 87 0
[pid=26961] ppid=26959 vsize=13982928 memory=91504 CPUtime=1.74 cores=0,2,4,6
/proc/26961/stat : 26961 (java) S 26959 26959 25930 0 -1 1077944320 11822 0 0 0 170 4 0 0 20 0 15 0 154164287 14318518272 22876 33554432000 4194304 4196468 140732389957376 140732389939920 140442179948279 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
/proc/26961/statm: 3495732 22876 3199 1 0 3482966 0
[pid=26961/tid=26962] ppid=26959 vsize=13982928 memory=-7082918105011808389 CPUtime=0.67 cores=0,2,4,6
/proc/26961/task/26962/stat : 26962 (java) R 26959 26959 25930 0 -1 4202560 6287 0 0 0 65 2 0 0 20 0 15 0 154164287 14318518272 22876 33554432000 4194304 4196468 140732389957376 140442184185072 140442159025779 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26963] ppid=26959 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26963/stat : 26963 (java) S 26959 26959 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154164288 14318518272 22876 33554432000 4194304 4196468 140732389957376 140441775434768 140442179958485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26964] ppid=26959 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26964/stat : 26964 (java) S 26959 26959 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154164288 14318518272 22876 33554432000 4194304 4196468 140732389957376 140441774382224 140442179958485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26965] ppid=26959 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26965/stat : 26965 (java) S 26959 26959 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154164288 14318518272 22876 33554432000 4194304 4196468 140732389957376 140441773329168 140442179958485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26966] ppid=26959 vsize=13982928 memory=4640467278541901904 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26966/stat : 26966 (java) S 26959 26959 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154164288 14318518272 22876 33554432000 4194304 4196468 140732389957376 140441772276624 140442179958485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26967] ppid=26959 vsize=13982928 memory=7955442064142526563 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26967/stat : 26967 (java) S 26959 26959 25930 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154164289 14318518272 22876 33554432000 4194304 4196468 140732389957376 140441092057328 140442179959426 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26968] ppid=26959 vsize=13982928 memory=6441941047098698088 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26968/stat : 26968 (java) S 26959 26959 25930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154164290 14318518272 22876 33554432000 4194304 4196468 140732389957376 140441091003552 140442179958485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26969] ppid=26959 vsize=13982928 memory=155498 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26969/stat : 26969 (java) S 26959 26959 25930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154164290 14318518272 22876 33554432000 4194304 4196468 140732389957376 140441089950448 140442179958485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26973] ppid=26959 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26973/stat : 26973 (java) S 26959 26959 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154164292 14318518272 22876 33554432000 4194304 4196468 140732389957376 140441088899024 140442179966875 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26974] ppid=26959 vsize=13982928 memory=140283698337456 CPUtime=0.37 cores=0,2,4,6
/proc/26961/task/26974/stat : 26974 (java) S 26959 26959 25930 0 -1 1077944384 1558 0 0 0 37 0 0 0 20 0 15 0 154164292 14318518272 22876 33554432000 4194304 4196468 140732389957376 140441087847152 140442179959426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26975] ppid=26959 vsize=13982928 memory=0 CPUtime=0.34 cores=0,2,4,6
/proc/26961/task/26975/stat : 26975 (java) R 26959 26959 25930 0 -1 4202560 1136 0 0 0 34 0 0 0 20 0 15 0 154164292 14318518272 22876 33554432000 4194304 4196468 140732389957376 140441086794608 140442159195061 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26976] ppid=26959 vsize=13982928 memory=2610 CPUtime=0.32 cores=0,2,4,6
/proc/26961/task/26976/stat : 26976 (java) S 26959 26959 25930 0 -1 1077944384 1535 0 0 0 32 0 0 0 20 0 15 0 154164292 14318518272 22876 33554432000 4194304 4196468 140732389957376 140441085741552 140442179959426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26977] ppid=26959 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26977/stat : 26977 (java) S 26959 26959 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154164292 14318518272 22876 33554432000 4194304 4196468 140732389957376 140441084689248 140442179958485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26978] ppid=26959 vsize=13982928 memory=42804 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26978/stat : 26978 (java) S 26959 26959 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154164293 14318518272 22876 33554432000 4194304 4196468 140732389957376 140441083636272 140442179959426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 92888 KiB
[startup+1.50079 s]
/proc/loadavg: 1.47 1.72 1.41 5/217 27025
/proc/meminfo: memFree=26914472/32770624 swapFree=67108860/67108860
[pid=26959] ppid=26956 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/26959/stat : 26959 (xcsp3-exec) S 26956 26959 25930 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154164287 9740288 346 33554432000 4194304 5098028 140721700082528 140721700080632 140438897877628 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35033088 140721700090996 140721700091200 140721700091200 140721700093931 0
/proc/26959/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/26961/task/26969/stat : 26969 (java) S 26959 26959 25930 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 154164290 14322712576 155600 33554432000 4194304 4196468 140732389957376 140441089950448 140442179958485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26973] ppid=26959 vsize=13987024 memory=280567396628112 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26973/stat : 26973 (java) S 26959 26959 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154164292 14322712576 155600 33554432000 4194304 4196468 140732389957376 140441088899024 140442179966875 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26974] ppid=26959 vsize=13987024 memory=734122130331934768 CPUtime=4.39 cores=0,2,4,6
/proc/26961/task/26974/stat : 26974 (java) S 26959 26959 25930 0 -1 1077944384 18353 0 0 0 436 3 0 0 20 0 15 0 154164292 14322712576 155600 33554432000 4194304 4196468 140732389957376 140441087847152 140442179959426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26975] ppid=26959 vsize=13987024 memory=1384 CPUtime=4.44 cores=0,2,4,6
/proc/26961/task/26975/stat : 26975 (java) S 26959 26959 25930 0 -1 1077944384 15957 0 0 0 443 1 0 0 20 0 15 0 154164292 14322712576 155600 33554432000 4194304 4196468 140732389957376 140441086794608 140442179959426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26976] ppid=26959 vsize=13987024 memory=330356 CPUtime=0.92 cores=0,2,4,6
/proc/26961/task/26976/stat : 26976 (java) S 26959 26959 25930 0 -1 1077944384 7581 0 0 0 91 1 0 0 20 0 15 0 154164292 14322712576 155600 33554432000 4194304 4196468 140732389957376 140441085741552 140442179959426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26977] ppid=26959 vsize=13987024 memory=7452441904457410645 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26977/stat : 26977 (java) S 26959 26959 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154164292 14322712576 155600 33554432000 4194304 4196468 140732389957376 140441084689248 140442179958485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26978] ppid=26959 vsize=13987024 memory=1384 CPUtime=0.02 cores=0,2,4,6
/proc/26961/task/26978/stat : 26978 (java) S 26959 26959 25930 0 -1 1077944384 274 0 0 0 1 1 0 0 20 0 15 0 154164293 14322712576 155600 33554432000 4194304 4196468 140732389957376 140441083636272 140442179959426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
Current children cumulated CPU time: 112.94 s
Current children cumulated vsize: 13996536 KiB
Current children cumulated memory: 623784 KiB
[startup+162.301 s]
/proc/loadavg: 1.96 1.80 1.49 3/217 27034
/proc/meminfo: memFree=25656408/32770624 swapFree=67108860/67108860
[pid=26959] ppid=26956 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/26959/stat : 26959 (xcsp3-exec) S 26956 26959 25930 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154164287 9740288 346 33554432000 4194304 5098028 140721700082528 140721700080632 140438897877628 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35033088 140721700090996 140721700091200 140721700091200 140721700093931 0
/proc/26959/statm: 2378 346 289 221 0 87 0
[pid=26961] ppid=26959 vsize=13987024 memory=887980 CPUtime=173.78 cores=0,2,4,6
/proc/26961/stat : 26961 (java) S 26959 26959 25930 0 -1 1077944320 70998 0 0 0 17303 75 0 0 20 0 15 0 154164287 14322712576 221995 33554432000 4194304 4196468 140732389957376 140732389939920 140442179948279 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
/proc/26961/statm: 3496756 221995 3277 1 0 3483990 0
[pid=26961/tid=26962] ppid=26959 vsize=13987024 memory=884704 CPUtime=161.7 cores=0,2,4,6
/proc/26961/task/26962/stat : 26962 (java) R 26959 26959 25930 0 -1 4202560 16886 0 0 0 16161 9 0 0 20 0 15 0 154164287 14322712576 221995 33554432000 4194304 4196468 140732389957376 140442184184936 140441823114835 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26963] ppid=26959 vsize=13987024 memory=887980 CPUtime=0.51 cores=0,2,4,6
/proc/26961/task/26963/stat : 26963 (java) S 26959 26959 25930 0 -1 1077944384 1984 0 0 0 37 14 0 0 20 0 15 0 154164288 14322712576 221995 33554432000 4194304 4196468 140732389957376 140441775434768 140442179958485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26964] ppid=26959 vsize=13987024 memory=887980 CPUtime=0.48 cores=0,2,4,6
/proc/26961/task/26964/stat : 26964 (java) S 26959 26959 25930 0 -1 1077944384 1865 0 0 0 34 14 0 0 20 0 15 0 154164288 14322712576 221995 33554432000 4194304 4196468 140732389957376 140441774382224 140442179958485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26965] ppid=26959 vsize=13987024 memory=1384 CPUtime=0.48 cores=0,2,4,6
/proc/26961/task/26965/stat : 26965 (java) S 26959 26959 25930 0 -1 1077944384 1390 0 0 0 35 13 0 0 20 0 15 0 154164288 14322712576 221995 33554432000 4194304 4196468 140732389957376 140441773329168 140442179958485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26966] ppid=26959 vsize=13987024 memory=884608 CPUtime=0.51 cores=0,2,4,6
/proc/26961/task/26966/stat : 26966 (java) S 26959 26959 25930 0 -1 1077944384 1315 0 0 0 37 14 0 0 20 0 15 0 154164288 14322712576 221995 33554432000 4194304 4196468 140732389957376 140441772276624 140442179958485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26967] ppid=26959 vsize=13987024 memory=1384 CPUtime=0.02 cores=0,2,4,6
/proc/26961/task/26967/stat : 26967 (java) S 26959 26959 25930 0 -1 1077944384 889 0 0 0 2 0 0 0 20 0 15 0 154164289 14322712576 221995 33554432000 4194304 4196468 140732389957376 140441092057328 140442179959426 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26968] ppid=26959 vsize=13987024 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26968/stat : 26968 (java) S 26959 26959 25930 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 154164290 14322712576 221995 33554432000 4194304 4196468 140732389957376 140441091003616 140442179958485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26969] ppid=26959 vsize=13987024 memory=884704 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26969/stat : 26969 (java) S 26959 26959 25930 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 154164290 14322712576 221995 33554432000 4194304 4196468 140732389957376 140441089950448 140442179958485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26973] ppid=26959 vsize=13987024 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26973/stat : 26973 (java) S 26959 26959 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154164292 14322712576 221995 33554432000 4194304 4196468 140732389957376 140441088899024 140442179966875 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26974] ppid=26959 vsize=13987024 memory=1384 CPUtime=4.52 cores=0,2,4,6
/proc/26961/task/26974/stat : 26974 (java) S 26959 26959 25930 0 -1 1077944384 20554 0 0 0 449 3 0 0 20 0 15 0 154164292 14322712576 221995 33554432000 4194304 4196468 140732389957376 140441087847152 140442179959426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26975] ppid=26959 vsize=13987024 memory=1204 CPUtime=4.49 cores=0,2,4,6
/proc/26961/task/26975/stat : 26975 (java) S 26959 26959 25930 0 -1 1077944384 16559 0 0 0 448 1 0 0 20 0 15 0 154164292 14322712576 221995 33554432000 4194304 4196468 140732389957376 140441086794608 140442179959426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26976] ppid=26959 vsize=13987024 memory=15880 CPUtime=0.93 cores=0,2,4,6
/proc/26961/task/26976/stat : 26976 (java) S 26959 26959 25930 0 -1 1077944384 7876 0 0 0 92 1 0 0 20 0 15 0 154164292 14322712576 221995 33554432000 4194304 4196468 140732389957376 140441085741552 140442179959426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26977] ppid=26959 vsize=13987024 memory=25824 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26977/stat : 26977 (java) S 26959 26959 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154164292 14322712576 221995 33554432000 4194304 4196468 140732389957376 140441084689248 140442179958485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26978] ppid=26959 vsize=13987024 memory=1384 CPUtime=0.05 cores=0,2,4,6
/proc/26961/task/26978/stat : 26978 (java) S 26959 26959 25930 0 -1 1077944384 312 0 0 0 2 3 0 0 20 0 15 0 154164293 14322712576 221995 33554432000 4194304 4196468 140732389957376 140441083636272 140442179959426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
Current children cumulated CPU time: 173.78 s
Current children cumulated vsize: 13996536 KiB
Current children cumulated memory: 889364 KiB
[startup+222.301 s]
/proc/loadavg: 1.90 1.82 1.52 3/217 27035
/proc/meminfo: memFree=25687988/32770624 swapFree=67108860/67108860
[pid=26959] ppid=26956 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/26959/stat : 26959 (xcsp3-exec) S 26956 26959 25930 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154164287 9740288 346 33554432000 4194304 5098028 140721700082528 140721700080632 140438897877628 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35033088 140721700090996 140721700091200 140721700091200 140721700093931 0
/proc/26959/statm: 2378 346 289 221 0 87 0
[pid=26961] ppid=26959 vsize=13987024 memory=870708 CPUtime=234.65 cores=0,2,4,6
/proc/26961/stat : 26961 (java) S 26959 26959 25930 0 -1 1077944320 80534 0 0 0 23381 84 0 0 20 0 15 0 154164287 14322712576 217677 33554432000 4194304 4196468 140732389957376 140732389939920 140442179948279 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
/proc/26961/statm: 3496756 217677 3277 1 0 3483990 0
[pid=26961/tid=26962] ppid=26959 vsize=13987024 memory=879200 CPUtime=221.53 cores=0,2,4,6
/proc/26961/task/26962/stat : 26962 (java) R 26959 26959 25930 0 -1 4202560 18691 0 0 0 22144 9 0 0 20 0 15 0 154164287 14322712576 217677 33554432000 4194304 4196468 140732389957376 140442184187872 140441827179901 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26963] ppid=26959 vsize=13987024 memory=879200 CPUtime=0.65 cores=0,2,4,6
/proc/26961/task/26963/stat : 26963 (java) S 26959 26959 25930 0 -1 1077944384 2288 0 0 0 50 15 0 0 20 0 15 0 154164288 14322712576 217677 33554432000 4194304 4196468 140732389957376 140441775434768 140442179958485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26964] ppid=26959 vsize=13987024 memory=873588 CPUtime=0.64 cores=0,2,4,6
/proc/26961/task/26964/stat : 26964 (java) S 26959 26959 25930 0 -1 1077944384 1994 0 0 0 48 16 0 0 20 0 15 0 154164288 14322712576 217677 33554432000 4194304 4196468 140732389957376 140441774382224 140442179958485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26965] ppid=26959 vsize=13987024 memory=873588 CPUtime=0.63 cores=0,2,4,6
/proc/26961/task/26965/stat : 26965 (java) S 26959 26959 25930 0 -1 1077944384 1916 0 0 0 48 15 0 0 20 0 15 0 154164288 14322712576 217677 33554432000 4194304 4196468 140732389957376 140441773329168 140442179958485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26966] ppid=26959 vsize=13987024 memory=870708 CPUtime=0.66 cores=0,2,4,6
/proc/26961/task/26966/stat : 26966 (java) S 26959 26959 25930 0 -1 1077944384 1432 0 0 0 51 15 0 0 20 0 15 0 154164288 14322712576 217677 33554432000 4194304 4196468 140732389957376 140441772276624 140442179958485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26967] ppid=26959 vsize=13987024 memory=870708 CPUtime=0.03 cores=0,2,4,6
/proc/26961/task/26967/stat : 26967 (java) S 26959 26959 25930 0 -1 1077944384 1032 0 0 0 3 0 0 0 20 0 15 0 154164289 14322712576 217677 33554432000 4194304 4196468 140732389957376 140441092057328 140442179959426 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26968] ppid=26959 vsize=13987024 memory=870708 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26968/stat : 26968 (java) S 26959 26959 25930 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 154164290 14322712576 217677 33554432000 4194304 4196468 140732389957376 140441091003616 140442179958485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26969] ppid=26959 vsize=13987024 memory=870708 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26969/stat : 26969 (java) S 26959 26959 25930 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 154164290 14322712576 217677 33554432000 4194304 4196468 140732389957376 140441089950448 140442179958485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26973] ppid=26959 vsize=13987024 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26973/stat : 26973 (java) S 26959 26959 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154164292 14322712576 217677 33554432000 4194304 4196468 140732389957376 140441088899024 140442179966875 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26974] ppid=26959 vsize=13987024 memory=1384 CPUtime=4.71 cores=0,2,4,6
/proc/26961/task/26974/stat : 26974 (java) S 26959 26959 25930 0 -1 1077944384 23999 0 0 0 468 3 0 0 20 0 15 0 154164292 14322712576 217677 33554432000 4194304 4196468 140732389957376 140441087847152 140442179959426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26975] ppid=26959 vsize=13987024 memory=870708 CPUtime=4.69 cores=0,2,4,6
/proc/26961/task/26975/stat : 26975 (java) S 26959 26959 25930 0 -1 1077944384 18933 0 0 0 467 2 0 0 20 0 15 0 154164292 14322712576 217677 33554432000 4194304 4196468 140732389957376 140441086794608 140442179959426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26976] ppid=26959 vsize=13987024 memory=280567397999808 CPUtime=0.94 cores=0,2,4,6
/proc/26961/task/26976/stat : 26976 (java) S 26959 26959 25930 0 -1 1077944384 8531 0 0 0 93 1 0 0 20 0 15 0 154164292 14322712576 217677 33554432000 4194304 4196468 140732389957376 140441085741552 140442179959426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26977] ppid=26959 vsize=13987024 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26977/stat : 26977 (java) S 26959 26959 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154164292 14322712576 217677 33554432000 4194304 4196468 140732389957376 140441084689248 140442179958485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26978] ppid=26959 vsize=13987024 memory=288230596050944315 CPUtime=0.06 cores=0,2,4,6
/proc/26961/task/26978/stat : 26978 (java) S 26959 26959 25930 0 -1 1077944384 350 0 0 0 2 4 0 0 20 0 15 0 154164293 14322712576 217677 33554432000 4194304 4196468 140732389957376 140441083636272 140442179959426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
Current children cumulated CPU time: 234.65 s
Current children cumulated vsize: 13996536 KiB
Current children cumulated memory: 872092 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.92 1.83 1.52 3/217 27035
/proc/meminfo: memFree=25666860/32770624 swapFree=67108860/67108860
[pid=26959] ppid=26956 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/26959/stat : 26959 (xcsp3-exec) S 26956 26959 25930 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154164287 9740288 346 33554432000 4194304 5098028 140721700082528 140721700080632 140438897877628 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35033088 140721700090996 140721700091200 140721700091200 140721700093931 0
/proc/26959/statm: 2378 346 289 221 0 87 0
[pid=26961] ppid=26959 vsize=13987024 memory=847688 CPUtime=253.67 cores=0,2,4,6
/proc/26961/stat : 26961 (java) S 26959 26959 25930 0 -1 1077944320 85899 0 0 0 25280 87 0 0 20 0 15 0 154164287 14322712576 211922 33554432000 4194304 4196468 140732389957376 140732389939920 140442179948279 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
/proc/26961/statm: 3496756 211922 3293 1 0 3483990 0
[pid=26961/tid=26962] ppid=26959 vsize=13987024 memory=6791534058613427641 CPUtime=238.75 cores=0,2,4,6
/proc/26961/task/26962/stat : 26962 (java) R 26959 26959 25930 0 -1 4202560 18825 0 0 0 23866 9 0 0 20 0 15 0 154164287 14322712576 211922 33554432000 4194304 4196468 140732389957376 140442184187856 140441824959664 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26963] ppid=26959 vsize=13987024 memory=4872558044660077418 CPUtime=1.08 cores=0,2,4,6
/proc/26961/task/26963/stat : 26963 (java) S 26959 26959 25930 0 -1 1077944384 2475 0 0 0 92 16 0 0 20 0 15 0 154164288 14322712576 211922 33554432000 4194304 4196468 140732389957376 140441775434768 140442179958485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26964] ppid=26959 vsize=13987024 memory=7454130749351154278 CPUtime=1.07 cores=0,2,4,6
/proc/26961/task/26964/stat : 26964 (java) S 26959 26959 25930 0 -1 1077944384 2100 0 0 0 90 17 0 0 20 0 15 0 154164288 14322712576 211922 33554432000 4194304 4196468 140732389957376 140441774382224 140442179958485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26965] ppid=26959 vsize=13987024 memory=5937524870553682016 CPUtime=1.06 cores=0,2,4,6
/proc/26961/task/26965/stat : 26965 (java) S 26959 26959 25930 0 -1 1077944384 2112 0 0 0 90 16 0 0 20 0 15 0 154164288 14322712576 211922 33554432000 4194304 4196468 140732389957376 140441773329168 140442179958485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26966] ppid=26959 vsize=13987024 memory=6943526294502006880 CPUtime=1.09 cores=0,2,4,6
/proc/26961/task/26966/stat : 26966 (java) S 26959 26959 25930 0 -1 1077944384 1586 0 0 0 93 16 0 0 20 0 15 0 154164288 14322712576 211922 33554432000 4194304 4196468 140732389957376 140441772276624 140442179958485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26967] ppid=26959 vsize=13987024 memory=6944656592455359580 CPUtime=0.07 cores=0,2,4,6
/proc/26961/task/26967/stat : 26967 (java) S 26959 26959 25930 0 -1 1077944384 4488 0 0 0 7 0 0 0 20 0 15 0 154164289 14322712576 211922 33554432000 4194304 4196468 140732389957376 140441092057328 140442179959426 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26968] ppid=26959 vsize=13987024 memory=1204 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26968/stat : 26968 (java) S 26959 26959 25930 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 154164290 14322712576 211922 33554432000 4194304 4196468 140732389957376 140441091003616 140442179958485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26969] ppid=26959 vsize=13987024 memory=15880 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26969/stat : 26969 (java) S 26959 26959 25930 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 15 0 154164290 14322712576 211922 33554432000 4194304 4196468 140732389957376 140441089950464 140442179958485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26973] ppid=26959 vsize=13987024 memory=25824 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26973/stat : 26973 (java) S 26959 26959 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154164292 14322712576 211922 33554432000 4194304 4196468 140732389957376 140441088899024 140442179966875 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26974] ppid=26959 vsize=13987024 memory=4048 CPUtime=4.71 cores=0,2,4,6
/proc/26961/task/26974/stat : 26974 (java) S 26959 26959 25930 0 -1 1077944384 23999 0 0 0 468 3 0 0 20 0 15 0 154164292 14322712576 211922 33554432000 4194304 4196468 140732389957376 140441087847152 140442179959426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26975] ppid=26959 vsize=13987024 memory=18488 CPUtime=4.73 cores=0,2,4,6
/proc/26961/task/26975/stat : 26975 (java) S 26959 26959 25930 0 -1 1077944384 20021 0 0 0 471 2 0 0 20 0 15 0 154164292 14322712576 211922 33554432000 4194304 4196468 140732389957376 140441086794608 140442179959426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26976] ppid=26959 vsize=13987024 memory=1796 CPUtime=0.94 cores=0,2,4,6
/proc/26961/task/26976/stat : 26976 (java) S 26959 26959 25930 0 -1 1077944384 8531 0 0 0 93 1 0 0 20 0 15 0 154164292 14322712576 211922 33554432000 4194304 4196468 140732389957376 140441085741552 140442179959426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26977] ppid=26959 vsize=13987024 memory=1236 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26977/stat : 26977 (java) S 26959 26959 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154164292 14322712576 211922 33554432000 4194304 4196468 140732389957376 140441084689248 140442179958485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
[pid=26961/tid=26978] ppid=26959 vsize=13987024 memory=640 CPUtime=0.08 cores=0,2,4,6
/proc/26961/task/26978/stat : 26978 (java) S 26959 26959 25930 0 -1 1077944384 350 0 0 0 3 5 0 0 20 0 15 0 154164293 14322712576 211922 33554432000 4194304 4196468 140732389957376 140441083636272 140442179959426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140732389962909 140732389963084 140732389963084 140732389965775 0
Current children cumulated CPU time: 253.67 s
Current children cumulated vsize: 13996536 KiB
Current children cumulated memory: 849072 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 26959 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.001842 s
[startup+240.027 s]
# the end of solver process 26961 was just reported to runsolver
# cumulated CPU time of all completed processes: user=252.821 s, system=0.884381 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 240.027
CPU time (s): 253.706
CPU user time (s): 252.821
CPU system time (s): 0.884381
CPU usage (%): 105.699
Max. virtual memory (cumulated for all children) (KiB): 13996552
Max. memory (cumulated for all children) (KiB): 897024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 252.821
system time used= 0.884381
maximum resident set size= 901832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86563
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9989
involuntary context switches= 368
# summary of solver processes directly reported to runsolver:
# pid: 26959,26961
# total CPU time (s): 253.706
# total CPU user time (s): 252.821
# total CPU system time (s): 0.884381
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.44603 second user time and 2.34792 second system time
The end
Begin job on node106 at 2017-08-20 08:18:27 IDJOB=4284547 IDBENCH=115914 IDSOLVER=2680 FILE ID=node106/4284547-1503210767 RUNJOBID= node106-1503208459-25961 PBS_JOBID= 20630868 Free space on /tmp= 61784 MiB SOLVER NAME= choco-solver 5a BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-42.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-4284547-1503210767/watcher-4284547-1503210767 -o /tmp/evaluation-result-4284547-1503210767/solver-4284547-1503210767 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node106-1503208459-25961 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1777409218 HOME/instance-4284547-1503210767.xml TIME LIMIT= 264 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f0ae775e0a261424aab5dff09c8fa0c4 RANDOM SEED=1777409218 node106.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.86 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.86 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.86 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.86 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: 27035596 kB MemAvailable: 31942020 kB Buffers: 242320 kB Cached: 4955484 kB SwapCached: 0 kB Active: 1138572 kB Inactive: 4149628 kB Active(anon): 45968 kB Inactive(anon): 80012 kB Active(file): 1092604 kB Inactive(file): 4069616 kB Unevictable: 7764 kB Mlocked: 7764 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7556 kB Writeback: 0 kB AnonPages: 95932 kB Mapped: 63092 kB Shmem: 33420 kB Slab: 146912 kB SReclaimable: 120080 kB SUnreclaim: 26832 kB KernelStack: 3504 kB PageTables: 5504 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1288300 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 22528 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 61776 MiB End job on node106 at 2017-08-20 08:22:27