Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 5a (2017-07-26) | SAT (TO) | 698 | 2520.05 | 2458.8301 |
| 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 | 857 |
| Best CPU time to get the best result obtained on this benchmark | 2400.03 |
| 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.09 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4272277-1502695588.xml" -tl '2520s' -p 1 -x 3 0.08/0.28 c [HOME/instance-4272277-1502695588.xml, -tl, 2520s, -p, 1, -x, 3] 0.27/0.34 c simple solver 0.27/0.41 c parse instance... 3.07/1.50 c solve instance... 83.42/75.78 o 678 208.18/195.89 o 681 208.40/196.08 o 682 208.50/196.12 o 683 1697.46/1654.79 o 698 2520.01/2458.80 s SATISFIABLE 2520.01/2458.80 v <instantiation> 2520.01/2458.80 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> 2520.01/2458.80 v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 1 0 0 0 1 1 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 1 1 1 0 0 0 1 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 1 0 0 1 0 0 0 0 1 0 1 1 0 1 0 0 1 0 1 0 0 0 1 1 1 0 1 0 0 0 1 1 1 1 1 0 1 0 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 1 1 0 1 0 1 1 0 1 0 1 1 1 0 0 1 0 1 1 0 1 0 0 0 1 0 1 1 0 1 1 1 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 1 1 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 1 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 1 1 0 1 0 1 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 0 1 1 0 1 1 1 1 0 0 1 1 0 1 0 0 0 0 0 1 0 1 1 1 0 1 1 0 1 0 1 0 0 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 0 0 0 1 1 1 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 1 1 0 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 1 0 1 1 0 1 0 0 0 1 0 0 1 1 0 0 1 1 1 1 1 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 1 0 0 1 1 1 1 0 0 0 1 0 0 1 1 0 1 0 0 1 1 1 0 1 0 0 1 0 0 0 0 1 1 0 1 1 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 0 0 1 0 0 1 0 0 1 1 1 0 0 1 1 0 0 0 1 0 1 1 0 0 0 0 0 1 1 1 1 1 1 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 1 0 0 0 1 0 0 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 0 0 0 1 1 0 0 1 1 0 0 0 1 1 1 0 1 1 0 0 1 0 0 0 0 0 1 1 1 1 0 1 1 1 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 1 1 1 1 0 0 0 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 1 1 0 1 0 1 1 0 1 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 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 0 0 1 0 0 0 1 0 1 0 1 1 1 1 0 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 1 0 1 1 0 0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 1 0 1 0 1 1 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 0 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 1 0 0 1 0 1 0 0 1 0 1 1 0 0 0 1 1 0 0 0 0 0 1 1 1 0 1 0 1 1 0 1 1 1 1 0 1 0 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 1 0 0 1 0 0 1 1 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 1 0 0 1 0 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 1 1 0 0 0 0 1 0 0 1 0 1 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 0 0 1 0 1 1 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 1 0 1 0 0 0 1 0 0 1 1 1 1 1 1 0 0 0 0 1 1 1 0 1 0 1 1 1 1 1 1 0 1 0 1 1 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 1 1 0 1 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 1 1 0 0 1 1 0 1 1 0 0 1 1 0 1 1 0 0 1 1 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 0 1 0 0 1 0 0 1 1 1 0 0 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 1 1 1 2 1 0 1 0 1 0 0 0 0 0 0 1 1 2 0 1 1 0 2 1 1 0 0 0 1 1 2 1 0 1 0 1 0 1 2 0 1 1 0 1 0 0 0 2 1 0 0 1 0 0 0 0 0 0 0 0 2 1 1 0 0 1 1 1 0 1 0 0 0 2 2 1 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 1 2 0 1 0 1 0 0 1 0 0 0 0 2 0 0 0 1 0 0 0 0 0 0 1 1 2 1 1 0 0 0 0 0 1 1 0 0 0 0 0 1 2 1 2 2 2 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 2 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 2 1 2 2 1 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 1 1 1 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 2 0 0 1 0 2 1 1 1 0 1 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 0 1 0 1 1 2 1 2 1 0 0 0 0 0 0 0 0 0 1 1 2 2 1 1 0 1 0 0 1 0 2 0 0 1 0 1 0 1 0 0 1 2 0 0 0 0 1 0 2 1 1 2 2 0 0 0 1 0 0 0 1 0 0 0 2 2 1 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 2 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 1 2 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 0 0 2 0 0 0 1 0 0 0 1 0 1 0 1 1 2 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 2 1 1 2 1 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 2 2 1 1 2 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 1 1 0 1 1 1 1 0 1 0 1 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 2 0 0 0 0 1 1 1 0 1 0 0 1 1 0 0 0 1 0 0 0 2 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 2 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 1 1 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 1 2 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 1 2 1 1 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 2 1 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 1 0 2 0 2 0 1 0 0 0 0 0 1 2 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 2 2 1 2 1 1 0 0 1 1 0 0 1 1 2 2 2 0 0 0 1 0 1 0 1 0 1 0 1 0 0 0 1 2 1 1 1 0 1 0 0 0 0 1 0 2 2 2 0 0 0 1 0 0 0 1 1 2 2 2 1 0 0 0 0 0 0 1 1 1 1 2 1 1 0 0 2 1 1 2 1 1 1 1 0 1 0 0 2 0 2 1 1 0 0 1 0 1 0 0 1 2 2 1 1 0 0 0 0 0 0 1 2 1 1 2 1 0 0 1 0 1 0 1 2 1 1 0 0 0 0 0 0 1 1 2 1 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 1 1 1 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 2 2 2 2 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 1 1 1 1 2 0 1 0 0 0 0 1 0 0 0 0 0 1 2 0 0 1 0 1 1 2 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 2 1 0 1 1 1 1 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 2 1 0 0 0 0 0 0 0 0 1 0 2 0 1 0 1 0 1 2 1 0 0 2 2 2 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 2 2 2 0 0 1 1 0 0 0 0 0 2 0 1 0 2 1 0 1 1 2 0 0 1 2 2 2 0 1 0 0 0 0 1 0 0 0 1 1 2 1 0 1 1 2 0 0 0 0 0 1 0 0 0 1 0 2 1 2 2 1 1 0 1 1 0 0 1 1 1 2 2 1 1 0 0 1 0 0 0 1 0 2 1 1 0 0 1 0 2 0 1 0 0 1 0 0 0 0 2 0 2 1 1 2 1 1 2 1 0 1 0 0 0 1 2 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 2 0 2 1 1 1 0 1 0 1 1 0 0 0 0 0 1 2 2 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 2 2 2 1 1 1 1 1 0 0 1 0 0 0 0 1 2 1 1 0 1 1 0 1 0 0 1 0 1 0 0 1 0 0 0 0 0 1 1 0 1 1 0 1 1 2 2 1 0 1 0 0 0 0 1 0 1 0 0 1 1 1 0 1 0 0 1 0 1 0 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 0 0 0 1 2 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 1 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 1 2 1 1 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 2 1 1 0 0 0 0 1 2 1 0 1 0 0 0 1 0 2 2 1 0 0 0 0 0 0 1 1 0 1 1 2 0 0 0 0 0 2 1 0 1 0 0 0 2 2 0 0 0 0 0 2 1 1 0 1 0 1 0 1 2 2 2 1 0 0 0 0 0 1 1 0 0 0 1 1 1 0 0 0 1 2 1 1 0 0 0 1 1 1 1 0 0 0 1 1 1 0 0 0 2 1 2 2 2 2 2 1 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 0 0 1 1 0 0 1 0 0 1 1 0 0 1 0 0 1 1 0 0 1 1 1 1 1 1 1 1 2 22 53 74 91 111 134 144 157 180 207 225 243 252 264 282 297 309 324 340 351 363 376 392 408 422 447 476 511 537 560 579 596 623 652 684 712 734 761 781 798 820 848 879 904 698 </values> 2520.01/2458.80 v </instantiation> 2520.01/2458.80 c Unexpected resolution interruption!
OK 698
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 (14955 MiB free)
memory of node 1: 16384 MiB (14587 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272277-1502695588/watcher-4272277-1502695588 -o /tmp/evaluation-result-4272277-1502695588/solver-4272277-1502695588 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502662595-11628 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1276492942 HOME/instance-4272277-1502695588.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=15991, runsolver pid=15988
[startup+0.100116 s]*
/proc/loadavg: 1.93 1.82 1.78 3/198 15993
/proc/meminfo: memFree=30252096/32770624 swapFree=67108860/67108860
[pid=15991] ppid=15988 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/15991/stat : 15991 (xcsp3-exec) S 15988 15991 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 71779461 9740288 345 18446744073709551615 4194304 5098028 140733933978416 140733933976520 139884389905020 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 37138432 140733933986168 140733933986373 140733933986373 140733933989867 0
/proc/15991/statm: 2378 345 289 221 0 87 0
[pid=15993] ppid=15991 vsize=12054952 memory=9628 CPUtime=0 cores=0,2,4,6
/proc/15993/stat : 15993 (java) S 15991 15991 897 0 -1 1077944320 2199 0 0 0 0 0 0 0 20 0 6 0 71779471 12344270848 2407 18446744073709551615 4194304 4196468 140736163353088 140736163335632 139683395833591 0 0 1 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
/proc/15993/statm: 2980970 2407 1151 1 0 2970940 0
[pid=15993/tid=15994] ppid=15991 vsize=13356504 memory=7311146985107750967 CPUtime=0 cores=0,2,4,6
/proc/15993/task/15994/stat : 15994 (java) R 15991 15991 897 0 -1 4202560 1177 0 0 0 0 0 0 0 20 0 6 0 71779471 13677060096 2664 18446744073709551615 4194304 4196468 140736163353088 139683400075368 139683373966215 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=15995] ppid=15991 vsize=13356504 memory=12619 CPUtime=0 cores=0,2,4,6
/proc/15993/task/15995/stat : 15995 (java) S 15991 15991 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 71779472 13677060096 2664 18446744073709551615 4194304 4196468 140736163353088 139683352800272 139683395843797 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=15996] ppid=15991 vsize=13356504 memory=140125658371329 CPUtime=0 cores=0,2,4,6
/proc/15993/task/15996/stat : 15996 (java) S 15991 15991 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 71779472 13677060096 2664 18446744073709551615 4194304 4196468 140736163353088 139683351747728 139683395843797 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=15997] ppid=15991 vsize=13356504 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15993/task/15997/stat : 15997 (java) S 15991 15991 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 71779472 13677060096 2664 18446744073709551615 4194304 4196468 140736163353088 139683350694672 139683395843797 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=15998] ppid=15991 vsize=13356504 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15993/task/15998/stat : 15998 (java) S 15991 15991 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 71779472 13677060096 2664 18446744073709551615 4194304 4196468 140736163353088 139683349642128 139683395843797 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 12064464 KiB
Current children cumulated memory: 11008 KiB
[startup+0.210206 s]*
/proc/loadavg: 1.93 1.82 1.78 3/212 16007
/proc/meminfo: memFree=30240832/32770624 swapFree=67108860/67108860
[pid=15991] ppid=15988 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/15991/stat : 15991 (xcsp3-exec) S 15988 15991 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 71779461 9740288 345 18446744073709551615 4194304 5098028 140733933978416 140733933976520 139884389905020 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 37138432 140733933986168 140733933986373 140733933986373 140733933989867 0
/proc/15991/statm: 2378 345 289 221 0 87 0
[pid=15993] ppid=15991 vsize=13974352 memory=27176 CPUtime=0.08 cores=0,2,4,6
/proc/15993/stat : 15993 (java) S 15991 15991 897 0 -1 1077944320 5212 0 0 0 7 1 0 0 20 0 15 0 71779471 14309736448 6794 18446744073709551615 4194304 4196468 140736163353088 140736163335632 139683395833591 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
/proc/15993/statm: 3493588 6794 2719 1 0 3482964 0
[pid=15993/tid=15994] ppid=15991 vsize=13974352 memory=7311146985107750967 CPUtime=0.06 cores=0,2,4,6
/proc/15993/task/15994/stat : 15994 (java) R 15991 15991 897 0 -1 4202560 3355 0 0 0 6 0 0 0 20 0 15 0 71779471 14309736448 6794 18446744073709551615 4194304 4196468 140736163353088 139683400065760 139683395855517 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=15995] ppid=15991 vsize=13974352 memory=12619 CPUtime=0 cores=0,2,4,6
/proc/15993/task/15995/stat : 15995 (java) S 15991 15991 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71779472 14309736448 6794 18446744073709551615 4194304 4196468 140736163353088 139683352800272 139683395843797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=15996] ppid=15991 vsize=13974352 memory=140125658371329 CPUtime=0 cores=0,2,4,6
/proc/15993/task/15996/stat : 15996 (java) S 15991 15991 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71779472 14309736448 6794 18446744073709551615 4194304 4196468 140736163353088 139683351747728 139683395843797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=15997] ppid=15991 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15993/task/15997/stat : 15997 (java) S 15991 15991 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71779472 14309736448 6794 18446744073709551615 4194304 4196468 140736163353088 139683350694672 139683395843797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=15998] ppid=15991 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15993/task/15998/stat : 15998 (java) S 15991 15991 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71779472 14309736448 6794 18446744073709551615 4194304 4196468 140736163353088 139683349642128 139683395843797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=15999] ppid=15991 vsize=13974352 memory=140125658355328 CPUtime=0 cores=0,2,4,6
/proc/15993/task/15999/stat : 15999 (java) S 15991 15991 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71779473 14309736448 6794 18446744073709551615 4194304 4196468 140736163353088 139682941393136 139683395844738 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=16000] ppid=15991 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15993/task/16000/stat : 16000 (java) S 15991 15991 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 71779473 14309736448 6794 18446744073709551615 4194304 4196468 140736163353088 139682872550560 139683395843797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=16001] ppid=15991 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15993/task/16001/stat : 16001 (java) S 15991 15991 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71779474 14309736448 6794 18446744073709551615 4194304 4196468 140736163353088 139682871497456 139683395843797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=16002] ppid=15991 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15993/task/16002/stat : 16002 (java) S 15991 15991 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71779476 14309736448 6794 18446744073709551615 4194304 4196468 140736163353088 139682870446032 139683395852187 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=16003] ppid=15991 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15993/task/16003/stat : 16003 (java) S 15991 15991 897 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 71779476 14309736448 6794 18446744073709551615 4194304 4196468 140736163353088 139682869394160 139683395844738 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=16004] ppid=15991 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15993/task/16004/stat : 16004 (java) S 15991 15991 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71779476 14309736448 6794 18446744073709551615 4194304 4196468 140736163353088 139682868341616 139683395844738 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=16005] ppid=15991 vsize=13974352 memory=140125658355328 CPUtime=0 cores=0,2,4,6
/proc/15993/task/16005/stat : 16005 (java) S 15991 15991 897 0 -1 1077944384 251 0 0 0 0 0 0 0 20 0 15 0 71779476 14309736448 6794 18446744073709551615 4194304 4196468 140736163353088 139682867288560 139683395844738 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=16006] ppid=15991 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15993/task/16006/stat : 16006 (java) S 15991 15991 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71779476 14309736448 6794 18446744073709551615 4194304 4196468 140736163353088 139682866236256 139683395843797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=16007] ppid=15991 vsize=13974352 memory=140125658355328 CPUtime=0 cores=0,2,4,6
/proc/15993/task/16007/stat : 16007 (java) S 15991 15991 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71779481 14309736448 6794 18446744073709551615 4194304 4196468 140736163353088 139682865183280 139683395844738 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28556 KiB
[startup+0.310338 s]*
/proc/loadavg: 1.93 1.82 1.78 3/212 16007
/proc/meminfo: memFree=30225644/32770624 swapFree=67108860/67108860
[pid=15991] ppid=15988 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/15991/stat : 15991 (xcsp3-exec) S 15988 15991 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 71779461 9740288 345 18446744073709551615 4194304 5098028 140733933978416 140733933976520 139884389905020 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 37138432 140733933986168 140733933986373 140733933986373 140733933989867 0
/proc/15991/statm: 2378 345 289 221 0 87 0
[pid=15993] ppid=15991 vsize=13974352 memory=36916 CPUtime=0.27 cores=0,2,4,6
/proc/15993/stat : 15993 (java) S 15991 15991 897 0 -1 1077944320 8848 0 0 0 25 2 0 0 20 0 15 0 71779471 14309736448 9229 18446744073709551615 4194304 4196468 140736163353088 140736163335632 139683395833591 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
/proc/15993/statm: 3493588 9229 2976 1 0 3482964 0
[pid=15993/tid=15994] ppid=15991 vsize=13974352 memory=-8774313645642428999 CPUtime=0.16 cores=0,2,4,6
/proc/15993/task/15994/stat : 15994 (java) S 15991 15991 897 0 -1 1077944384 6079 0 0 0 15 1 0 0 20 0 15 0 71779471 14309736448 9295 18446744073709551615 4194304 4196468 140736163353088 139683400067088 139683395843797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=15995] ppid=15991 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/15993/task/15995/stat : 15995 (java) S 15991 15991 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71779472 14309736448 9295 18446744073709551615 4194304 4196468 140736163353088 139683352800272 139683395843797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=15996] ppid=15991 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15993/task/15996/stat : 15996 (java) S 15991 15991 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71779472 14309736448 9295 18446744073709551615 4194304 4196468 140736163353088 139683351747728 139683395843797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=15997] ppid=15991 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15993/task/15997/stat : 15997 (java) S 15991 15991 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71779472 14309736448 9295 18446744073709551615 4194304 4196468 140736163353088 139683350694672 139683395843797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=15998] ppid=15991 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15993/task/15998/stat : 15998 (java) S 15991 15991 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71779472 14309736448 9295 18446744073709551615 4194304 4196468 140736163353088 139683349642128 139683395843797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=15999] ppid=15991 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15993/task/15999/stat : 15999 (java) S 15991 15991 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71779473 14309736448 9295 18446744073709551615 4194304 4196468 140736163353088 139682941393136 139683395844738 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=16000] ppid=15991 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15993/task/16000/stat : 16000 (java) S 15991 15991 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 71779473 14309736448 9295 18446744073709551615 4194304 4196468 140736163353088 139682872550560 139683395843797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=16001] ppid=15991 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15993/task/16001/stat : 16001 (java) S 15991 15991 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71779474 14309736448 9295 18446744073709551615 4194304 4196468 140736163353088 139682871497456 139683395843797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=16002] ppid=15991 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15993/task/16002/stat : 16002 (java) S 15991 15991 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71779476 14309736448 9295 18446744073709551615 4194304 4196468 140736163353088 139682870446032 139683395852187 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=16003] ppid=15991 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/15993/task/16003/stat : 16003 (java) R 15991 15991 897 0 -1 1077944384 562 0 0 0 2 0 0 0 20 0 15 0 71779476 14309736448 9295 18446744073709551615 4194304 4196468 140736163353088 139682869394160 139683395844738 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=16004] ppid=15991 vsize=13974352 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/15993/task/16004/stat : 16004 (java) S 15991 15991 897 0 -1 1077944384 199 0 0 0 1 0 0 0 20 0 15 0 71779476 14309736448 9295 18446744073709551615 4194304 4196468 140736163353088 139682868334640 139683395843797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=16005] ppid=15991 vsize=13974352 memory=140125658355328 CPUtime=0.05 cores=0,2,4,6
/proc/15993/task/16005/stat : 16005 (java) R 15991 15991 897 0 -1 4202560 708 0 0 0 5 0 0 0 20 0 15 0 71779476 14309736448 9295 18446744073709551615 4194304 4196468 140736163353088 139682867288560 139683374773112 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=16006] ppid=15991 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15993/task/16006/stat : 16006 (java) S 15991 15991 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71779476 14309736448 9295 18446744073709551615 4194304 4196468 140736163353088 139682866236256 139683395843797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=16007] ppid=15991 vsize=13974352 memory=140125658355328 CPUtime=0 cores=0,2,4,6
/proc/15993/task/16007/stat : 16007 (java) S 15991 15991 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71779481 14309736448 9295 18446744073709551615 4194304 4196468 140736163353088 139682865183280 139683395844738 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38296 KiB
[startup+0.700905 s]
/proc/loadavg: 1.93 1.82 1.78 5/212 16007
/proc/meminfo: memFree=30208700/32770624 swapFree=67108860/67108860
[pid=15991] ppid=15988 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/15991/stat : 15991 (xcsp3-exec) S 15988 15991 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 71779461 9740288 345 18446744073709551615 4194304 5098028 140733933978416 140733933976520 139884389905020 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 37138432 140733933986168 140733933986373 140733933986373 140733933989867 0
/proc/15991/statm: 2378 345 289 221 0 87 0
[pid=15993] ppid=15991 vsize=13978684 memory=84368 CPUtime=1.34 cores=0,2,4,6
/proc/15993/stat : 15993 (java) S 15991 15991 897 0 -1 1077944320 13228 0 0 0 130 4 0 0 20 0 15 0 71779471 14314172416 21092 18446744073709551615 4194304 4196468 140736163353088 140736163335632 139683395833591 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
/proc/15993/statm: 3494671 21092 3162 1 0 3482964 0
[pid=15993/tid=15994] ppid=15991 vsize=13978684 memory=39952 CPUtime=0.54 cores=0,2,4,6
/proc/15993/task/15994/stat : 15994 (java) R 15991 15991 897 0 -1 4202560 7895 0 0 0 51 3 0 0 20 0 15 0 71779471 14314172416 21092 18446744073709551615 4194304 4196468 140736163353088 139683400068880 139683023689181 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=15995] ppid=15991 vsize=13978684 memory=2372 CPUtime=0 cores=0,2,4,6
/proc/15993/task/15995/stat : 15995 (java) S 15991 15991 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71779472 14314172416 21092 18446744073709551615 4194304 4196468 140736163353088 139683352800272 139683395843797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=15996] ppid=15991 vsize=13978684 memory=25332 CPUtime=0 cores=0,2,4,6
/proc/15993/task/15996/stat : 15996 (java) S 15991 15991 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71779472 14314172416 21092 18446744073709551615 4194304 4196468 140736163353088 139683351747728 139683395843797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=15997] ppid=15991 vsize=13978684 memory=4116 CPUtime=0 cores=0,2,4,6
/proc/15993/task/15997/stat : 15997 (java) S 15991 15991 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71779472 14314172416 21092 18446744073709551615 4194304 4196468 140736163353088 139683350694672 139683395843797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=15998] ppid=15991 vsize=13978684 memory=6657 CPUtime=0 cores=0,2,4,6
/proc/15993/task/15998/stat : 15998 (java) S 15991 15991 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71779472 14314172416 21092 18446744073709551615 4194304 4196468 140736163353088 139683349642128 139683395843797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=15999] ppid=15991 vsize=13978684 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/15993/task/15999/stat : 15999 (java) S 15991 15991 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71779473 14314172416 21092 18446744073709551615 4194304 4196468 140736163353088 139682941393136 139683395844738 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=16000] ppid=15991 vsize=13978684 memory=6628 CPUtime=0 cores=0,2,4,6
/proc/15993/task/16000/stat : 16000 (java) S 15991 15991 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 71779473 14314172416 21092 18446744073709551615 4194304 4196468 140736163353088 139682872550560 139683395843797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=16001] ppid=15991 vsize=13978684 memory=6660 CPUtime=0 cores=0,2,4,6
/proc/15993/task/16001/stat : 16001 (java) S 15991 15991 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71779474 14314172416 21092 18446744073709551615 4194304 4196468 140736163353088 139682871497456 139683395843797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=16002] ppid=15991 vsize=13978684 memory=33 CPUtime=0 cores=0,2,4,6
/proc/15993/task/16002/stat : 16002 (java) S 15991 15991 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71779476 14314172416 21092 18446744073709551615 4194304 4196468 140736163353088 139682870446032 139683395852187 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=16003] ppid=15991 vsize=13978684 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/15993/task/16003/stat : 16003 (java) R 15991 15991 897 0 -1 4202560 1136 0 0 0 23 0 0 0 20 0 15 0 71779476 14314172416 21092 18446744073709551615 4194304 4196468 140736163353088 139682869375176 139683375488817 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=16004] ppid=15991 vsize=13978684 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/15993/task/16004/stat : 16004 (java) R 15991 15991 897 0 -1 4202560 1185 0 0 0 25 0 0 0 20 0 15 0 71779476 14314172416 21092 18446744073709551615 4194304 4196468 140736163353088 139682868333120 139683377025575 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=16005] ppid=15991 vsize=13978684 memory=0 CPUtime=0.29 cores=0,2,4,6
/proc/15993/task/16005/stat : 16005 (java) R 15991 15991 897 0 -1 4202560 1705 0 0 0 29 0 0 0 20 0 15 0 71779476 14314172416 21092 18446744073709551615 4194304 4196468 140736163353088 139682867288560 139683380078147 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=16006] ppid=15991 vsize=13978684 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/15993/task/16006/stat : 16006 (java) S 15991 15991 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71779476 14314172416 21092 18446744073709551615 4194304 4196468 140736163353088 139682866236256 139683395843797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=16007] ppid=15991 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15993/task/16007/stat : 16007 (java) S 15991 15991 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71779481 14314172416 21092 18446744073709551615 4194304 4196468 140736163353088 139682865183280 139683395844738 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
Current children cumulated CPU time: 1.34 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 85748 KiB
[startup+1.50172 s]
/proc/loadavg: 1.93 1.82 1.78 3/212 16007
/proc/meminfo: memFree=30160052/32770624 swapFree=67108860/67108860
[pid=15991] ppid=15988 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/15991/stat : 15991 (xcsp3-exec) S 15988 15991 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 71779461 9740288 345 18446744073709551615 4194304 5098028 140733933978416 140733933976520 139884389905020 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 37138432 140733933986168 140733933986373 140733933986373 140733933989867 0
/proc/15991/statm: 2378 345 289 221 0 87 0
[pid=15993] ppid=15991 vsize=13980732 memory=143020 CPUtime=3.07 cores=0,2,4,6
/proc/15993/stat : 15993 (java) S 15991 15991 897 0 -1 1077944320 20295 0 0 0 301 6 0 0 20 0 15 0 71779471 14316269568 35755 18446744073709551615 4194304 4196468 140736163353088 140736163335632 139683395833591 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
/proc/15993/statm: 3495183 35755 3199 1 0 3483476 0
[pid=15993/tid=15994] ppid=15991 vsize=13980732 memory=135360 CPUtime=1.34 cores=0,2,4,6
/proc/15993/task/15994/stat : 15994 (java) R 15991 15991 897 0 -1 4202560 10648 0 0 0 129 5 0 0 20 0 15 0 71779471 14316269568 35755 18446744073709551615 4194304 4196468 140736163353088 139683400064288 139683373055808 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=15995] ppid=15991 vsize=13980732 memory=2372 CPUtime=0 cores=0,2,4,6
/proc/15993/task/15995/stat : 15995 (java) S 15991 15991 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71779472 14316269568 35755 18446744073709551615 4194304 4196468 140736163353088 139683352800272 139683395843797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=15996] ppid=15991 vsize=13980732 memory=25332 CPUtime=0 cores=0,2,4,6
/proc/15993/task/15996/stat : 15996 (java) S 15991 15991 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71779472 14316269568 35755 18446744073709551615 4194304 4196468 140736163353088 139683351747728 139683395843797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=15997] ppid=15991 vsize=13980732 memory=280251045252816 CPUtime=0 cores=0,2,4,6
/proc/15993/task/15997/stat : 15997 (java) S 15991 15991 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71779472 14316269568 35755 18446744073709551615 4194304 4196468 140736163353088 139683350694672 139683395843797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=15998] ppid=15991 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15993/task/15998/stat : 15998 (java) S 15991 15991 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71779472 14316269568 35755 18446744073709551615 4194304 4196468 140736163353088 139683349642128 139683395843797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=15999] ppid=15991 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15993/task/15999/stat : 15999 (java) S 15991 15991 897 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 71779473 14316269568 35755 18446744073709551615 4194304 4196468 140736163353088 139682941393136 139683395844738 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=16000] ppid=15991 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15993/task/16000/stat : 16000 (java) S 15991 15991 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 71779473 14316269568 35755 18446744073709551615 4194304 4196468 140736163353088 139682872550560 139683395843797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=16001] ppid=15991 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/15993/task/16001/stat : 16001 (java) S 15991 15991 897 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 15 0 71779474 14318366720 231525 18446744073709551615 4194304 4196468 140736163353088 139682871497472 139683395843797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=16002] ppid=15991 vsize=13982780 memory=940464 CPUtime=0 cores=0,2,4,6
/proc/15993/task/16002/stat : 16002 (java) S 15991 15991 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71779476 14318366720 231525 18446744073709551615 4194304 4196468 140736163353088 139682870446032 139683395852187 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=16003] ppid=15991 vsize=13982780 memory=926100 CPUtime=5.18 cores=0,2,4,6
/proc/15993/task/16003/stat : 16003 (java) S 15991 15991 897 0 -1 1077944384 25671 0 0 0 515 3 0 0 20 0 15 0 71779476 14318366720 231525 18446744073709551615 4194304 4196468 140736163353088 139682869394160 139683395844738 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=16004] ppid=15991 vsize=13982780 memory=1380 CPUtime=5.92 cores=0,2,4,6
/proc/15993/task/16004/stat : 16004 (java) S 15991 15991 897 0 -1 1077944384 32582 0 0 0 589 3 0 0 20 0 15 0 71779476 14318366720 231525 18446744073709551615 4194304 4196468 140736163353088 139682868341616 139683395844738 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=16005] ppid=15991 vsize=13982780 memory=1380 CPUtime=1.05 cores=0,2,4,6
/proc/15993/task/16005/stat : 16005 (java) S 15991 15991 897 0 -1 1077944384 12216 0 0 0 102 3 0 0 20 0 15 0 71779476 14318366720 231525 18446744073709551615 4194304 4196468 140736163353088 139682867288560 139683395844738 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=16006] ppid=15991 vsize=13982780 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/15993/task/16006/stat : 16006 (java) S 15991 15991 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71779476 14318366720 231525 18446744073709551615 4194304 4196468 140736163353088 139682866236256 139683395843797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=16007] ppid=15991 vsize=13982780 memory=1380 CPUtime=1.13 cores=0,2,4,6
/proc/15993/task/16007/stat : 16007 (java) S 15991 15991 897 0 -1 1077944384 1724 0 0 0 54 59 0 0 20 0 15 0 71779481 14318366720 231525 18446744073709551615 4194304 4196468 140736163353088 139682865183280 139683395844738 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
Current children cumulated CPU time: 2380.89 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 927480 KiB
[startup+2382.3 s]
/proc/loadavg: 1.64 1.80 1.85 3/211 16228
/proc/meminfo: memFree=29079980/32770624 swapFree=67108860/67108860
[pid=15991] ppid=15988 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/15991/stat : 15991 (xcsp3-exec) S 15988 15991 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 71779461 9740288 345 18446744073709551615 4194304 5098028 140733933978416 140733933976520 139884389905020 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 37138432 140733933986168 140733933986373 140733933986373 140733933989867 0
/proc/15991/statm: 2378 345 289 221 0 87 0
[pid=15993] ppid=15991 vsize=13982780 memory=970420 CPUtime=2441.48 cores=0,2,4,6
/proc/15993/stat : 15993 (java) S 15991 15991 897 0 -1 1077944320 256051 0 0 0 243847 301 0 0 20 0 15 0 71779471 14318366720 242605 18446744073709551615 4194304 4196468 140736163353088 140736163335632 139683395833591 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
/proc/15993/statm: 3495695 242605 3268 1 0 3483988 0
[pid=15993/tid=15994] ppid=15991 vsize=13982780 memory=978572 CPUtime=2365.84 cores=0,2,4,6
/proc/15993/task/15994/stat : 15994 (java) R 15991 15991 897 0 -1 4202560 88278 0 0 0 236560 24 0 0 20 0 15 0 71779471 14318366720 242605 18446744073709551615 4194304 4196468 140736163353088 139683400072960 139683030066962 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=15995] ppid=15991 vsize=13982780 memory=978572 CPUtime=15.38 cores=0,2,4,6
/proc/15993/task/15995/stat : 15995 (java) S 15991 15991 897 0 -1 1077944384 16411 0 0 0 1486 52 0 0 20 0 15 0 71779472 14318366720 242605 18446744073709551615 4194304 4196468 140736163353088 139683352800272 139683395843797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=15996] ppid=15991 vsize=13982780 memory=970420 CPUtime=15.35 cores=0,2,4,6
/proc/15993/task/15996/stat : 15996 (java) S 15991 15991 897 0 -1 1077944384 14939 0 0 0 1482 53 0 0 20 0 15 0 71779472 14318366720 242605 18446744073709551615 4194304 4196468 140736163353088 139683351747728 139683395843797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=15997] ppid=15991 vsize=13982780 memory=1380 CPUtime=15.38 cores=0,2,4,6
/proc/15993/task/15997/stat : 15997 (java) S 15991 15991 897 0 -1 1077944384 17267 0 0 0 1485 53 0 0 20 0 15 0 71779472 14318366720 242605 18446744073709551615 4194304 4196468 140736163353088 139683350694672 139683395843797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=15998] ppid=15991 vsize=13982780 memory=970420 CPUtime=15.46 cores=0,2,4,6
/proc/15993/task/15998/stat : 15998 (java) S 15991 15991 897 0 -1 1077944384 11745 0 0 0 1494 52 0 0 20 0 15 0 71779472 14318366720 242605 18446744073709551615 4194304 4196468 140736163353088 139683349642128 139683395843797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=15999] ppid=15991 vsize=13982780 memory=4116 CPUtime=0.68 cores=0,2,4,6
/proc/15993/task/15999/stat : 15999 (java) S 15991 15991 897 0 -1 1077944384 33769 0 0 0 57 11 0 0 20 0 15 0 71779473 14318366720 242605 18446744073709551615 4194304 4196468 140736163353088 139682941393136 139683395844738 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=16000] ppid=15991 vsize=13982780 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/15993/task/16000/stat : 16000 (java) S 15991 15991 897 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 71779473 14318366720 242605 18446744073709551615 4194304 4196468 140736163353088 139682872550624 139683395843797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=16001] ppid=15991 vsize=13982780 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/15993/task/16001/stat : 16001 (java) S 15991 15991 897 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 15 0 71779474 14318366720 242605 18446744073709551615 4194304 4196468 140736163353088 139682871497472 139683395843797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=16002] ppid=15991 vsize=13982780 memory=978572 CPUtime=0 cores=0,2,4,6
/proc/15993/task/16002/stat : 16002 (java) S 15991 15991 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71779476 14318366720 242605 18446744073709551615 4194304 4196468 140736163353088 139682870446032 139683395852187 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=16003] ppid=15991 vsize=13982780 memory=1380 CPUtime=5.18 cores=0,2,4,6
/proc/15993/task/16003/stat : 16003 (java) S 15991 15991 897 0 -1 1077944384 25673 0 0 0 515 3 0 0 20 0 15 0 71779476 14318366720 242605 18446744073709551615 4194304 4196468 140736163353088 139682869394160 139683395844738 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=16004] ppid=15991 vsize=13982780 memory=4116 CPUtime=5.92 cores=0,2,4,6
/proc/15993/task/16004/stat : 16004 (java) S 15991 15991 897 0 -1 1077944384 32585 0 0 0 589 3 0 0 20 0 15 0 71779476 14318366720 242605 18446744073709551615 4194304 4196468 140736163353088 139682868341616 139683395844738 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=16005] ppid=15991 vsize=13982780 memory=40044 CPUtime=1.05 cores=0,2,4,6
/proc/15993/task/16005/stat : 16005 (java) S 15991 15991 897 0 -1 1077944384 12218 0 0 0 102 3 0 0 20 0 15 0 71779476 14318366720 242605 18446744073709551615 4194304 4196468 140736163353088 139682867288560 139683395844738 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=16006] ppid=15991 vsize=13982780 memory=4116 CPUtime=0 cores=0,2,4,6
/proc/15993/task/16006/stat : 16006 (java) S 15991 15991 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71779476 14318366720 242605 18446744073709551615 4194304 4196468 140736163353088 139682866236256 139683395843797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=16007] ppid=15991 vsize=13982780 memory=40044 CPUtime=1.15 cores=0,2,4,6
/proc/15993/task/16007/stat : 16007 (java) S 15991 15991 897 0 -1 1077944384 1745 0 0 0 55 60 0 0 20 0 15 0 71779481 14318366720 242605 18446744073709551615 4194304 4196468 140736163353088 139682865183280 139683395844738 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
Current children cumulated CPU time: 2441.48 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 971800 KiB
[startup+2442.3 s]
/proc/loadavg: 1.76 1.81 1.85 3/211 16230
/proc/meminfo: memFree=29180620/32770624 swapFree=67108860/67108860
[pid=15991] ppid=15988 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/15991/stat : 15991 (xcsp3-exec) S 15988 15991 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 71779461 9740288 345 18446744073709551615 4194304 5098028 140733933978416 140733933976520 139884389905020 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 37138432 140733933986168 140733933986373 140733933986373 140733933989867 0
/proc/15991/statm: 2378 345 289 221 0 87 0
[pid=15993] ppid=15991 vsize=13982780 memory=931588 CPUtime=2502.09 cores=0,2,4,6
/proc/15993/stat : 15993 (java) S 15991 15991 897 0 -1 1077944320 260065 0 0 0 249906 303 0 0 20 0 15 0 71779471 14318366720 232897 18446744073709551615 4194304 4196468 140736163353088 140736163335632 139683395833591 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
/proc/15993/statm: 3495695 232897 3268 1 0 3483988 0
[pid=15993/tid=15994] ppid=15991 vsize=13982780 memory=931588 CPUtime=2425.64 cores=0,2,4,6
/proc/15993/task/15994/stat : 15994 (java) R 15991 15991 897 0 -1 4202560 89489 0 0 0 242540 24 0 0 20 0 15 0 71779471 14318366720 232897 18446744073709551615 4194304 4196468 140736163353088 139683400072592 139683030635965 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=15995] ppid=15991 vsize=13982780 memory=931588 CPUtime=15.57 cores=0,2,4,6
/proc/15993/task/15995/stat : 15995 (java) S 15991 15991 897 0 -1 1077944384 16946 0 0 0 1505 52 0 0 20 0 15 0 71779472 14318366720 232897 18446744073709551615 4194304 4196468 140736163353088 139683352800272 139683395843797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=15996] ppid=15991 vsize=13982780 memory=931588 CPUtime=15.55 cores=0,2,4,6
/proc/15993/task/15996/stat : 15996 (java) S 15991 15991 897 0 -1 1077944384 15624 0 0 0 1502 53 0 0 20 0 15 0 71779472 14318366720 232897 18446744073709551615 4194304 4196468 140736163353088 139683351747728 139683395843797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=15997] ppid=15991 vsize=13982780 memory=931588 CPUtime=15.57 cores=0,2,4,6
/proc/15993/task/15997/stat : 15997 (java) S 15991 15991 897 0 -1 1077944384 18277 0 0 0 1504 53 0 0 20 0 15 0 71779472 14318366720 232897 18446744073709551615 4194304 4196468 140736163353088 139683350694672 139683395843797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=15998] ppid=15991 vsize=13982780 memory=931588 CPUtime=15.65 cores=0,2,4,6
/proc/15993/task/15998/stat : 15998 (java) S 15991 15991 897 0 -1 1077944384 12108 0 0 0 1513 52 0 0 20 0 15 0 71779472 14318366720 232897 18446744073709551615 4194304 4196468 140736163353088 139683349642128 139683395843797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=15999] ppid=15991 vsize=13982780 memory=1380 CPUtime=0.69 cores=0,2,4,6
/proc/15993/task/15999/stat : 15999 (java) S 15991 15991 897 0 -1 1077944384 33952 0 0 0 58 11 0 0 20 0 15 0 71779473 14318366720 232897 18446744073709551615 4194304 4196468 140736163353088 139682941393136 139683395844738 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=16000] ppid=15991 vsize=13982780 memory=931588 CPUtime=0 cores=0,2,4,6
/proc/15993/task/16000/stat : 16000 (java) S 15991 15991 897 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 71779473 14318366720 232897 18446744073709551615 4194304 4196468 140736163353088 139682872550624 139683395843797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=16001] ppid=15991 vsize=13982780 memory=931588 CPUtime=0 cores=0,2,4,6
/proc/15993/task/16001/stat : 16001 (java) S 15991 15991 897 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 15 0 71779474 14318366720 232897 18446744073709551615 4194304 4196468 140736163353088 139682871497472 139683395843797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=16002] ppid=15991 vsize=13982780 memory=931588 CPUtime=0 cores=0,2,4,6
/proc/15993/task/16002/stat : 16002 (java) S 15991 15991 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71779476 14318366720 232897 18446744073709551615 4194304 4196468 140736163353088 139682870446032 139683395852187 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=16003] ppid=15991 vsize=13982780 memory=1380 CPUtime=5.18 cores=0,2,4,6
/proc/15993/task/16003/stat : 16003 (java) S 15991 15991 897 0 -1 1077944384 25675 0 0 0 515 3 0 0 20 0 15 0 71779476 14318366720 232897 18446744073709551615 4194304 4196468 140736163353088 139682869394160 139683395844738 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=16004] ppid=15991 vsize=13982780 memory=4116 CPUtime=5.92 cores=0,2,4,6
/proc/15993/task/16004/stat : 16004 (java) S 15991 15991 897 0 -1 1077944384 32587 0 0 0 589 3 0 0 20 0 15 0 71779476 14318366720 232897 18446744073709551615 4194304 4196468 140736163353088 139682868341616 139683395844738 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=16005] ppid=15991 vsize=13982780 memory=40044 CPUtime=1.05 cores=0,2,4,6
/proc/15993/task/16005/stat : 16005 (java) S 15991 15991 897 0 -1 1077944384 12222 0 0 0 102 3 0 0 20 0 15 0 71779476 14318366720 232897 18446744073709551615 4194304 4196468 140736163353088 139682867288560 139683395844738 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=16006] ppid=15991 vsize=13982780 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/15993/task/16006/stat : 16006 (java) S 15991 15991 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71779476 14318366720 232897 18446744073709551615 4194304 4196468 140736163353088 139682866236256 139683395843797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=16007] ppid=15991 vsize=13982780 memory=1380 CPUtime=1.18 cores=0,2,4,6
/proc/15993/task/16007/stat : 16007 (java) S 15991 15991 897 0 -1 1077944384 1764 0 0 0 56 62 0 0 20 0 15 0 71779481 14318366720 232897 18446744073709551615 4194304 4196468 140736163353088 139682865183280 139683395844738 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
Current children cumulated CPU time: 2502.09 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 932968 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2458.8 s]
/proc/loadavg: 1.81 1.82 1.85 3/211 16230
/proc/meminfo: memFree=29157632/32770624 swapFree=67108860/67108860
[pid=15991] ppid=15988 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/15991/stat : 15991 (xcsp3-exec) S 15988 15991 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 71779461 9740288 345 18446744073709551615 4194304 5098028 140733933978416 140733933976520 139884389905020 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 37138432 140733933986168 140733933986373 140733933986373 140733933989867 0
/proc/15991/statm: 2378 345 289 221 0 87 0
[pid=15993] ppid=15991 vsize=13982780 memory=931384 CPUtime=2520.01 cores=0,2,4,6
/proc/15993/stat : 15993 (java) S 15991 15991 897 0 -1 1077944320 261882 0 0 0 251697 304 0 0 20 0 15 0 71779471 14318366720 232846 18446744073709551615 4194304 4196468 140736163353088 140736163335632 139683395833591 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
/proc/15993/statm: 3495695 232846 3268 1 0 3483988 0
[pid=15993/tid=15994] ppid=15991 vsize=13982780 memory=931384 CPUtime=2441.64 cores=0,2,4,6
/proc/15993/task/15994/stat : 15994 (java) R 15991 15991 897 0 -1 4202560 89616 0 0 0 244140 24 0 0 20 0 15 0 71779471 14318366720 232846 18446744073709551615 4194304 4196468 140736163353088 139683400073456 139683031465166 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=15995] ppid=15991 vsize=13982780 memory=796 CPUtime=16.04 cores=0,2,4,6
/proc/15993/task/15995/stat : 15995 (java) S 15991 15991 897 0 -1 1077944384 17075 0 0 0 1551 53 0 0 20 0 15 0 71779472 14318366720 232846 18446744073709551615 4194304 4196468 140736163353088 139683352800272 139683395843797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=15996] ppid=15991 vsize=13982780 memory=-8774313645642428999 CPUtime=16.02 cores=0,2,4,6
/proc/15993/task/15996/stat : 15996 (java) S 15991 15991 897 0 -1 1077944384 15759 0 0 0 1549 53 0 0 20 0 15 0 71779472 14318366720 232846 18446744073709551615 4194304 4196468 140736163353088 139683351747728 139683395843797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=15997] ppid=15991 vsize=13982780 memory=1152 CPUtime=16.05 cores=0,2,4,6
/proc/15993/task/15997/stat : 15997 (java) S 15991 15991 897 0 -1 1077944384 18374 0 0 0 1552 53 0 0 20 0 15 0 71779472 14318366720 232846 18446744073709551615 4194304 4196468 140736163353088 139683350694672 139683395843797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=15998] ppid=15991 vsize=13982780 memory=3156 CPUtime=16.14 cores=0,2,4,6
/proc/15993/task/15998/stat : 15998 (java) S 15991 15991 897 0 -1 1077944384 12422 0 0 0 1562 52 0 0 20 0 15 0 71779472 14318366720 232846 18446744073709551615 4194304 4196468 140736163353088 139683349642128 139683395843797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=15999] ppid=15991 vsize=13982780 memory=1380 CPUtime=0.7 cores=0,2,4,6
/proc/15993/task/15999/stat : 15999 (java) S 15991 15991 897 0 -1 1077944384 34965 0 0 0 59 11 0 0 20 0 15 0 71779473 14318366720 232846 18446744073709551615 4194304 4196468 140736163353088 139682941393136 139683395844738 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=16000] ppid=15991 vsize=13982780 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/15993/task/16000/stat : 16000 (java) S 15991 15991 897 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 71779473 14318366720 232846 18446744073709551615 4194304 4196468 140736163353088 139682872550624 139683395843797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=16001] ppid=15991 vsize=13982780 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/15993/task/16001/stat : 16001 (java) S 15991 15991 897 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 15 0 71779474 14318366720 232846 18446744073709551615 4194304 4196468 140736163353088 139682871497472 139683395843797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=16002] ppid=15991 vsize=13982780 memory=956056 CPUtime=0 cores=0,2,4,6
/proc/15993/task/16002/stat : 16002 (java) S 15991 15991 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71779476 14318366720 232846 18446744073709551615 4194304 4196468 140736163353088 139682870446032 139683395852187 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=16003] ppid=15991 vsize=13982780 memory=4116 CPUtime=5.18 cores=0,2,4,6
/proc/15993/task/16003/stat : 16003 (java) S 15991 15991 897 0 -1 1077944384 25675 0 0 0 515 3 0 0 20 0 15 0 71779476 14318366720 232846 18446744073709551615 4194304 4196468 140736163353088 139682869394160 139683395844738 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=16004] ppid=15991 vsize=13982780 memory=40044 CPUtime=5.92 cores=0,2,4,6
/proc/15993/task/16004/stat : 16004 (java) S 15991 15991 897 0 -1 1077944384 32587 0 0 0 589 3 0 0 20 0 15 0 71779476 14318366720 232846 18446744073709551615 4194304 4196468 140736163353088 139682868341616 139683395844738 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=16005] ppid=15991 vsize=13982780 memory=1292 CPUtime=1.05 cores=0,2,4,6
/proc/15993/task/16005/stat : 16005 (java) S 15991 15991 897 0 -1 1077944384 12222 0 0 0 102 3 0 0 20 0 15 0 71779476 14318366720 232846 18446744073709551615 4194304 4196468 140736163353088 139682867288560 139683395844738 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=16006] ppid=15991 vsize=13982780 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/15993/task/16006/stat : 16006 (java) S 15991 15991 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71779476 14318366720 232846 18446744073709551615 4194304 4196468 140736163353088 139682866236256 139683395843797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
[pid=15993/tid=16007] ppid=15991 vsize=13982780 memory=945592 CPUtime=1.19 cores=0,2,4,6
/proc/15993/task/16007/stat : 16007 (java) S 15991 15991 897 0 -1 1077944384 1766 0 0 0 56 63 0 0 20 0 15 0 71779481 14318366720 232846 18446744073709551615 4194304 4196468 140736163353088 139682865183280 139683395844738 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 10735616 140736163357105 140736163357281 140736163357281 140736163360719 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 932764 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2458.81 s]
# the end of solver process 15991 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.001889 s
[startup+2458.83 s]
# the end of solver process 15993 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.99 s, system=3.05575 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): 2458.83
CPU time (s): 2520.05
CPU user time (s): 2516.99
CPU system time (s): 3.05575
CPU usage (%): 102.49
Max. virtual memory (cumulated for all children) (KiB): 13992456
Max. memory (cumulated for all children) (KiB): 1131500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.99
system time used= 3.05575
maximum resident set size= 1132144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 262599
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 64447
involuntary context switches= 3854
# summary of solver processes directly reported to runsolver:
# pid: 15991,15993
# total CPU time (s): 2520.05
# total CPU user time (s): 2516.99
# total CPU system time (s): 3.05575
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.7976 second user time and 18.1729 second system time
The end
Begin job on node125 at 2017-08-14 09:12:22 IDJOB=4272277 IDBENCH=115914 IDSOLVER=2664 FILE ID=node125/4272277-1502695588 RUNJOBID= node125-1502662595-11628 PBS_JOBID= Free space on /tmp= 62024 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-4272277-1502695588/watcher-4272277-1502695588 -o /tmp/evaluation-result-4272277-1502695588/solver-4272277-1502695588 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502662595-11628 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1276492942 HOME/instance-4272277-1502695588.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f0ae775e0a261424aab5dff09c8fa0c4 RANDOM SEED=1276492942 node125.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30253076 kB MemAvailable: 31197764 kB Buffers: 293028 kB Cached: 946080 kB SwapCached: 0 kB Active: 1492840 kB Inactive: 593204 kB Active(anon): 847404 kB Inactive(anon): 33100 kB Active(file): 645436 kB Inactive(file): 560104 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7776 kB Writeback: 0 kB AnonPages: 961500 kB Mapped: 61028 kB Shmem: 33444 kB Slab: 135784 kB SReclaimable: 109968 kB SUnreclaim: 25816 kB KernelStack: 3776 kB PageTables: 6920 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1442004 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 892928 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 62016 MiB End job on node125 at 2017-08-14 09:53:21