Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 4.0.5 seq (2017-08-09) | SAT (TO) | 673 | 2520.1001 | 2512.6101 |
| 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.06 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4269337-1502700830.xml" -tl '2520s' -p 1 -x 0 0.14/0.25 c [HOME/instance-4269337-1502700830.xml, -tl, 2520s, -p, 1, -x, 0] 0.14/0.31 c simple solver 0.32/0.38 c parse instance... 2.90/1.47 c solve instance... 838.11/833.40 o 641 839.75/834.79 o 642 1133.66/1128.11 o 643 1857.26/1850.82 o 669 1857.26/1850.88 o 671 1867.68/1861.22 o 672 1890.62/1884.12 o 673 2520.07/2512.60 s SATISFIABLE 2520.07/2512.60 v <instantiation> 2520.07/2512.60 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.07/2512.60 v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 1 0 0 1 0 0 0 0 1 0 1 0 1 1 1 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 1 0 0 0 0 1 1 1 1 1 1 0 0 1 1 1 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 1 1 0 0 1 0 0 1 1 1 1 1 0 1 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 0 0 0 0 1 1 0 1 1 1 0 0 0 1 0 1 0 0 1 1 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 1 0 1 1 1 1 0 1 1 0 1 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 1 0 1 1 0 1 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 1 0 1 1 1 0 1 1 0 0 1 1 0 0 0 0 1 1 0 0 0 0 1 0 1 0 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 1 1 0 1 1 1 1 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 1 1 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 1 1 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 1 1 0 1 1 1 0 0 1 0 1 1 0 0 0 0 1 1 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 1 1 1 0 0 1 1 0 1 0 0 1 0 1 0 0 1 0 1 1 1 1 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 1 1 0 0 0 1 0 1 0 1 1 1 0 1 0 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 1 1 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 1 0 1 0 1 0 1 1 0 0 1 0 0 1 1 1 0 0 0 0 1 0 0 1 1 1 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 1 1 0 0 1 1 0 1 1 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 1 1 1 1 1 1 1 1 0 1 1 1 0 1 0 1 0 0 1 0 0 0 0 0 0 1 1 0 1 1 0 0 0 1 1 1 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 1 1 0 0 0 0 1 1 0 1 1 0 0 0 1 0 0 1 0 0 0 0 1 1 1 1 0 1 1 1 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 0 1 0 0 1 1 0 1 1 0 0 1 1 1 1 1 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 1 1 0 0 1 0 0 1 0 1 0 1 0 1 1 1 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 0 1 0 1 1 1 1 0 1 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 0 1 0 0 1 0 1 0 1 0 1 0 0 0 1 1 0 0 1 1 0 1 0 0 1 1 1 1 1 0 1 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 1 0 1 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 1 1 1 1 0 0 1 0 0 0 0 0 0 1 1 0 1 1 0 0 1 0 1 1 1 0 1 0 1 0 0 0 0 1 1 1 1 0 1 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 1 1 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 0 0 1 1 1 0 1 0 1 1 1 1 0 0 1 1 1 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 1 1 1 0 1 2 2 1 1 0 1 1 1 0 1 2 1 1 0 1 0 2 2 0 1 1 0 2 2 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 2 1 1 1 1 2 2 2 0 0 1 1 0 1 1 2 1 0 0 0 1 1 1 1 0 0 1 1 2 2 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 1 0 0 1 2 2 1 0 0 0 1 1 0 2 2 2 1 1 1 0 0 1 0 0 1 0 0 2 0 2 0 2 1 1 0 0 0 0 0 1 1 0 0 0 0 1 0 1 1 1 1 0 0 0 0 0 1 0 2 2 2 2 1 0 0 0 0 0 0 0 0 0 0 0 2 2 0 1 0 0 0 0 0 1 1 1 0 1 1 1 1 0 1 0 0 0 1 1 0 0 0 1 1 2 2 2 1 0 1 0 0 1 0 0 1 0 0 1 1 1 1 0 0 0 0 0 0 1 1 0 0 0 2 2 1 0 0 1 0 0 1 1 1 0 0 1 0 1 2 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 1 1 1 1 1 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 2 1 1 2 2 1 1 0 0 0 0 1 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 1 0 2 2 1 1 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 2 2 2 1 1 2 2 2 2 0 1 0 0 2 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 1 1 2 2 1 1 2 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 2 1 1 1 1 1 0 1 2 0 2 0 1 1 0 0 1 0 0 0 0 0 1 0 0 2 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 1 0 1 0 0 1 1 1 0 0 2 2 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 2 1 0 1 1 2 2 0 0 0 0 0 1 0 0 0 1 1 0 1 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 1 1 1 1 2 2 2 2 1 1 2 2 0 2 0 2 0 2 0 0 0 0 0 1 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 2 2 2 2 2 2 1 2 2 1 1 0 1 2 2 0 1 0 0 0 1 0 1 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 2 1 1 1 1 2 2 2 0 1 0 2 0 0 0 1 0 1 2 0 0 1 0 0 0 0 0 0 0 0 2 0 1 1 0 1 2 0 0 1 0 1 0 2 2 1 0 0 1 1 2 0 2 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 1 0 2 1 0 1 1 1 0 0 0 0 0 1 0 2 1 0 1 0 1 1 1 0 0 0 0 0 0 1 1 0 0 2 0 0 0 0 1 0 0 0 0 0 0 2 1 1 0 1 2 1 1 0 0 0 0 2 1 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 2 2 0 1 1 0 0 0 0 2 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 2 1 1 0 0 0 1 0 2 2 1 0 0 0 0 0 0 0 1 0 0 1 1 2 1 1 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 0 1 1 2 1 0 1 0 0 0 2 2 2 1 1 0 0 0 1 0 0 0 0 0 0 1 2 2 0 1 0 0 1 0 1 1 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 1 1 2 2 2 1 0 0 0 0 0 0 1 0 1 0 0 1 1 1 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 1 0 0 0 1 1 2 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 2 0 0 0 0 0 0 0 0 1 0 2 1 1 0 0 1 2 1 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 1 1 1 2 1 0 0 0 0 0 1 0 2 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 1 1 0 0 1 0 1 0 1 2 1 0 0 0 1 0 1 0 0 1 1 2 1 0 1 0 1 0 0 0 0 1 0 1 1 1 2 0 0 0 0 0 0 0 2 1 1 0 0 0 0 1 2 0 1 0 0 1 0 1 0 1 0 0 1 1 2 2 0 1 0 1 0 0 0 1 0 0 2 2 0 2 0 0 0 1 0 1 1 2 0 0 0 0 0 2 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 2 2 1 2 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 0 1 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 2 0 0 1 1 2 1 1 1 0 0 0 1 0 0 1 0 1 0 1 0 2 0 1 0 0 1 0 0 1 0 0 2 2 1 1 0 0 0 0 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 2 2 0 1 0 0 1 0 0 0 0 0 0 0 0 2 2 0 0 0 1 1 1 2 2 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 2 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 1 2 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 2 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 0 1 0 0 0 1 0 0 2 2 1 1 1 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 1 0 2 2 2 1 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 1 2 2 1 1 0 1 0 0 0 1 0 1 1 2 0 0 1 0 1 0 0 0 1 2 1 0 0 0 0 2 1 0 0 0 1 1 1 0 0 0 0 1 0 2 2 2 1 1 2 0 0 0 0 0 2 2 0 0 0 1 1 2 1 0 0 1 1 1 2 1 1 0 0 1 0 2 0 0 1 1 1 1 0 0 0 0 2 2 2 2 1 1 2 0 0 0 0 0 2 2 2 0 0 1 2 2 1 0 0 1 0 1 1 2 1 1 0 1 2 2 0 0 0 1 0 0 1 1 0 0 1 2 2 2 1 1 1 1 0 0 0 1 1 2 1 1 0 1 2 2 1 0 1 0 1 0 1 2 1 0 1 1 2 1 1 0 0 0 1 1 1 1 1 0 1 2 2 2 1 0 1 0 0 1 0 0 1 1 1 0 0 1 1 1 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 1 1 1 0 25 60 89 119 145 171 189 202 224 239 259 279 300 316 338 368 405 436 458 481 497 514 538 562 580 597 614 630 652 677 702 723 743 758 775 790 805 824 840 867 902 940 980 1004 673 </values> 2520.07/2512.60 v </instantiation> 2520.07/2512.60 c Unexpected resolution interruption!
OK 673
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 (15090 MiB free)
memory of node 1: 16384 MiB (15615 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269337-1502700830/watcher-4269337-1502700830 -o /tmp/evaluation-result-4269337-1502700830/solver-4269337-1502700830 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502673801-14690 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 705648193 HOME/instance-4269337-1502700830.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=18375, runsolver pid=18372
Current StackSize limit: 8192 KiB
[startup+0.100109 s]*
/proc/loadavg: 1.71 1.58 1.58 3/205 18385
/proc/meminfo: memFree=31434584/32770624 swapFree=67108860/67108860
[pid=18375] ppid=18372 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18375/stat : 18375 (xcsp3-exec) S 18372 18375 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 58423652 9740288 345 18446744073709551615 4194304 5098028 140736542508304 140736542506408 139915607196284 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 31883264 140736542511481 140736542511685 140736542511685 140736542515179 0
/proc/18375/statm: 2378 345 289 221 0 87 0
[pid=18377] ppid=18375 vsize=13574484 memory=17196 CPUtime=0.02 cores=1,3,5,7
/proc/18377/stat : 18377 (java) S 18375 18375 11586 0 -1 1077944320 4155 0 0 0 2 0 0 0 20 0 9 0 58423659 13900271616 4299 18446744073709551615 4194304 4196468 140733100717984 140733100700528 140144852492023 0 0 1 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
/proc/18377/statm: 3393621 4299 2098 1 0 3383118 0
[pid=18377/tid=18378] ppid=18375 vsize=13574484 memory=4206989191851631162 CPUtime=0.02 cores=1,3,5,7
/proc/18377/task/18378/stat : 18378 (java) R 18375 18375 11586 0 -1 4202560 2861 0 0 0 2 0 0 0 20 0 9 0 58423660 13900271616 4299 18446744073709551615 4194304 4196468 140733100717984 140144856728072 140144852513949 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18379] ppid=18375 vsize=13574484 memory=3461491047697282697 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18379/stat : 18379 (java) S 18375 18375 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 58423660 13900271616 4299 18446744073709551615 4194304 4196468 140733100717984 140144786926608 140144852502229 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18380] ppid=18375 vsize=13574484 memory=140443067598464 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18380/stat : 18380 (java) S 18375 18375 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 58423660 13900271616 4299 18446744073709551615 4194304 4196468 140733100717984 140144785874064 140144852502229 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18381] ppid=18375 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18381/stat : 18381 (java) S 18375 18375 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 58423660 13900271616 4299 18446744073709551615 4194304 4196468 140733100717984 140144784821008 140144852502229 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18382] ppid=18375 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18382/stat : 18382 (java) S 18375 18375 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 58423660 13900271616 4299 18446744073709551615 4194304 4196468 140733100717984 140144449076112 140144852502229 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18383] ppid=18375 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18383/stat : 18383 (java) S 18375 18375 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 58423662 13900271616 4299 18446744073709551615 4194304 4196468 140733100717984 140144331024624 140144852503170 0 0 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18384] ppid=18375 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18384/stat : 18384 (java) S 18375 18375 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 58423662 13900271616 4299 18446744073709551615 4194304 4196468 140733100717984 140144329970848 140144852502229 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18385] ppid=18375 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18385/stat : 18385 (java) S 18375 18375 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 58423662 13900271616 4299 18446744073709551615 4194304 4196468 140733100717984 140144328917808 140144852502229 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 18576 KiB
[startup+0.216332 s]*
/proc/loadavg: 1.71 1.58 1.58 4/211 18391
/proc/meminfo: memFree=31425044/32770624 swapFree=67108860/67108860
[pid=18375] ppid=18372 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18375/stat : 18375 (xcsp3-exec) S 18372 18375 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 58423652 9740288 345 18446744073709551615 4194304 5098028 140736542508304 140736542506408 139915607196284 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 31883264 140736542511481 140736542511685 140736542511685 140736542515179 0
/proc/18375/statm: 2378 345 289 221 0 87 0
[pid=18377] ppid=18375 vsize=13974352 memory=28416 CPUtime=0.14 cores=1,3,5,7
/proc/18377/stat : 18377 (java) S 18375 18375 11586 0 -1 1077944320 5579 0 0 0 13 1 0 0 20 0 15 0 58423659 14309736448 7104 18446744073709551615 4194304 4196468 140733100717984 140733100700528 140144852492023 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
/proc/18377/statm: 3493588 7104 2845 1 0 3482964 0
[pid=18377/tid=18378] ppid=18375 vsize=13974352 memory=-6226055431399248226 CPUtime=0.09 cores=1,3,5,7
/proc/18377/task/18378/stat : 18378 (java) R 18375 18375 11586 0 -1 4202560 3509 0 0 0 9 0 0 0 20 0 15 0 58423660 14309736448 7104 18446744073709551615 4194304 4196468 140733100717984 140144856725576 140144844733413 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18379] ppid=18375 vsize=13974352 memory=3461491047697282697 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18379/stat : 18379 (java) S 18375 18375 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 58423660 14309736448 7104 18446744073709551615 4194304 4196468 140733100717984 140144786926608 140144852502229 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18380] ppid=18375 vsize=13974352 memory=140443067598464 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18380/stat : 18380 (java) S 18375 18375 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 58423660 14309736448 7104 18446744073709551615 4194304 4196468 140733100717984 140144785874064 140144852502229 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18381] ppid=18375 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18381/stat : 18381 (java) S 18375 18375 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 58423660 14309736448 7104 18446744073709551615 4194304 4196468 140733100717984 140144784821008 140144852502229 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18382] ppid=18375 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18382/stat : 18382 (java) S 18375 18375 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 58423660 14309736448 7104 18446744073709551615 4194304 4196468 140733100717984 140144449076112 140144852502229 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18383] ppid=18375 vsize=13974352 memory=140443067598464 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18383/stat : 18383 (java) S 18375 18375 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 58423662 14309736448 7104 18446744073709551615 4194304 4196468 140733100717984 140144331024624 140144852503170 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18384] ppid=18375 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18384/stat : 18384 (java) S 18375 18375 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 58423662 14309736448 7104 18446744073709551615 4194304 4196468 140733100717984 140144329970848 140144852502229 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18385] ppid=18375 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18385/stat : 18385 (java) S 18375 18375 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 58423662 14309736448 7104 18446744073709551615 4194304 4196468 140733100717984 140144328917744 140144852502229 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18386] ppid=18375 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18386/stat : 18386 (java) S 18375 18375 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 58423665 14309736448 7104 18446744073709551615 4194304 4196468 140733100717984 140144327866320 140144852510619 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18387] ppid=18375 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18387/stat : 18387 (java) R 18375 18375 11586 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 58423665 14309736448 7104 18446744073709551615 4194304 4196468 140733100717984 140144326814448 140144852503170 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18388] ppid=18375 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18388/stat : 18388 (java) R 18375 18375 11586 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 15 0 58423665 14309736448 7104 18446744073709551615 4194304 4196468 140733100717984 140144325762000 140144837909968 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18389] ppid=18375 vsize=13974352 memory=140443067598464 CPUtime=0.02 cores=1,3,5,7
/proc/18377/task/18389/stat : 18389 (java) R 18375 18375 11586 0 -1 4202560 338 0 0 0 2 0 0 0 20 0 15 0 58423665 14309736448 7170 18446744073709551615 4194304 4196468 140733100717984 140144324708848 140144852503958 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18390] ppid=18375 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18390/stat : 18390 (java) S 18375 18375 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 58423665 14309736448 7170 18446744073709551615 4194304 4196468 140733100717984 140144323656544 140144852502229 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18391] ppid=18375 vsize=13974352 memory=140443067598464 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18391/stat : 18391 (java) S 18375 18375 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 58423669 14309736448 7170 18446744073709551615 4194304 4196468 140733100717984 140144322603568 140144852503170 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29796 KiB
[startup+0.310245 s]*
/proc/loadavg: 1.81 1.60 1.59 4/211 18391
/proc/meminfo: memFree=31412808/32770624 swapFree=67108860/67108860
[pid=18375] ppid=18372 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18375/stat : 18375 (xcsp3-exec) S 18372 18375 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 58423652 9740288 345 18446744073709551615 4194304 5098028 140736542508304 140736542506408 139915607196284 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 31883264 140736542511481 140736542511685 140736542511685 140736542515179 0
/proc/18375/statm: 2378 345 289 221 0 87 0
[pid=18377] ppid=18375 vsize=13978608 memory=40264 CPUtime=0.32 cores=1,3,5,7
/proc/18377/stat : 18377 (java) S 18375 18375 11586 0 -1 1077944320 9244 0 0 0 30 2 0 0 20 0 15 0 58423659 14314094592 10066 18446744073709551615 4194304 4196468 140733100717984 140733100700528 140144852492023 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
/proc/18377/statm: 3494652 10066 3043 1 0 3482964 0
[pid=18377/tid=18378] ppid=18375 vsize=13978608 memory=-8774313645642428999 CPUtime=0.19 cores=1,3,5,7
/proc/18377/task/18378/stat : 18378 (java) R 18375 18375 11586 0 -1 4202560 6372 0 0 0 17 2 0 0 20 0 15 0 58423660 14314094592 10066 18446744073709551615 4194304 4196468 140733100717984 140144856713016 140144836572510 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18379] ppid=18375 vsize=13978608 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18379/stat : 18379 (java) S 18375 18375 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 58423660 14314094592 10066 18446744073709551615 4194304 4196468 140733100717984 140144786926608 140144852502229 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18380] ppid=18375 vsize=13978608 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18380/stat : 18380 (java) S 18375 18375 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 58423660 14314094592 10066 18446744073709551615 4194304 4196468 140733100717984 140144785874064 140144852502229 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18381] ppid=18375 vsize=13978608 memory=-7305533901252758645 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18381/stat : 18381 (java) S 18375 18375 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 58423660 14314094592 10066 18446744073709551615 4194304 4196468 140733100717984 140144784821008 140144852502229 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18382] ppid=18375 vsize=13978608 memory=8248408006974860141 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18382/stat : 18382 (java) S 18375 18375 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 58423660 14314094592 10066 18446744073709551615 4194304 4196468 140733100717984 140144449076112 140144852502229 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18383] ppid=18375 vsize=13978608 memory=140443067605457 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18383/stat : 18383 (java) S 18375 18375 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 58423662 14314094592 10066 18446744073709551615 4194304 4196468 140733100717984 140144331024624 140144852503170 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18384] ppid=18375 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18384/stat : 18384 (java) S 18375 18375 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 58423662 14314094592 10066 18446744073709551615 4194304 4196468 140733100717984 140144329970848 140144852502229 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18385] ppid=18375 vsize=13978608 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18385/stat : 18385 (java) S 18375 18375 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 58423662 14314094592 10066 18446744073709551615 4194304 4196468 140733100717984 140144328917744 140144852502229 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18386] ppid=18375 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18386/stat : 18386 (java) S 18375 18375 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 58423665 14314094592 10066 18446744073709551615 4194304 4196468 140733100717984 140144327866320 140144852510619 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18387] ppid=18375 vsize=13978608 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/18377/task/18387/stat : 18387 (java) S 18375 18375 11586 0 -1 1077944384 604 0 0 0 2 0 0 0 20 0 15 0 58423665 14314094592 10066 18446744073709551615 4194304 4196468 140733100717984 140144326814448 140144852503170 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18388] ppid=18375 vsize=13978608 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/18377/task/18388/stat : 18388 (java) S 18375 18375 11586 0 -1 1077944384 267 0 0 0 2 0 0 0 20 0 15 0 58423665 14314094592 10066 18446744073709551615 4194304 4196468 140733100717984 140144325761904 140144852503170 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18389] ppid=18375 vsize=13978608 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18377/task/18389/stat : 18389 (java) S 18375 18375 11586 0 -1 1077944384 701 0 0 0 7 0 0 0 20 0 15 0 58423665 14314094592 10066 18446744073709551615 4194304 4196468 140733100717984 140144324708848 140144852503170 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18390] ppid=18375 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18390/stat : 18390 (java) S 18375 18375 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 58423665 14314094592 10066 18446744073709551615 4194304 4196468 140733100717984 140144323656544 140144852502229 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18391] ppid=18375 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18391/stat : 18391 (java) S 18375 18375 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 58423669 14314094592 10066 18446744073709551615 4194304 4196468 140733100717984 140144322603568 140144852503170 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41644 KiB
[startup+0.701371 s]
/proc/loadavg: 1.81 1.60 1.59 5/211 18391
/proc/meminfo: memFree=31393720/32770624 swapFree=67108860/67108860
[pid=18375] ppid=18372 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18375/stat : 18375 (xcsp3-exec) S 18372 18375 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 58423652 9740288 345 18446744073709551615 4194304 5098028 140736542508304 140736542506408 139915607196284 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 31883264 140736542511481 140736542511685 140736542511685 140736542515179 0
/proc/18375/statm: 2378 345 289 221 0 87 0
[pid=18377] ppid=18375 vsize=13978684 memory=87548 CPUtime=1.46 cores=1,3,5,7
/proc/18377/stat : 18377 (java) S 18375 18375 11586 0 -1 1077944320 13477 0 0 0 142 4 0 0 20 0 15 0 58423659 14314172416 21887 18446744073709551615 4194304 4196468 140733100717984 140733100700528 140144852492023 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
/proc/18377/statm: 3494671 21887 3169 1 0 3482964 0
[pid=18377/tid=18378] ppid=18375 vsize=13978684 memory=0 CPUtime=0.56 cores=1,3,5,7
/proc/18377/task/18378/stat : 18378 (java) R 18375 18375 11586 0 -1 1077944384 7950 0 0 0 54 2 0 0 20 0 15 0 58423660 14314172416 21887 18446744073709551615 4194304 4196468 140733100717984 140144856725776 140144852502229 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18379] ppid=18375 vsize=13978684 memory=4428317441954174804 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18379/stat : 18379 (java) S 18375 18375 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 58423660 14314172416 21887 18446744073709551615 4194304 4196468 140733100717984 140144786926608 140144852502229 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18380] ppid=18375 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18380/stat : 18380 (java) S 18375 18375 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 58423660 14314172416 21887 18446744073709551615 4194304 4196468 140733100717984 140144785874064 140144852502229 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18381] ppid=18375 vsize=13978684 memory=6872598998417432672 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18381/stat : 18381 (java) S 18375 18375 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 58423660 14314172416 21887 18446744073709551615 4194304 4196468 140733100717984 140144784821008 140144852502229 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18382] ppid=18375 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18382/stat : 18382 (java) S 18375 18375 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 58423660 14314172416 21887 18446744073709551615 4194304 4196468 140733100717984 140144449076112 140144852502229 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18383] ppid=18375 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18383/stat : 18383 (java) S 18375 18375 11586 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 58423662 14314172416 21887 18446744073709551615 4194304 4196468 140733100717984 140144331024624 140144852503170 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18384] ppid=18375 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18384/stat : 18384 (java) S 18375 18375 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 58423662 14314172416 21887 18446744073709551615 4194304 4196468 140733100717984 140144329970848 140144852502229 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18385] ppid=18375 vsize=13978684 memory=2 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18385/stat : 18385 (java) S 18375 18375 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 58423662 14314172416 21887 18446744073709551615 4194304 4196468 140733100717984 140144328917744 140144852502229 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18386] ppid=18375 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18386/stat : 18386 (java) S 18375 18375 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 58423665 14314172416 21887 18446744073709551615 4194304 4196468 140733100717984 140144327866320 140144852510619 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18387] ppid=18375 vsize=13978684 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/18377/task/18387/stat : 18387 (java) S 18375 18375 11586 0 -1 1077944384 1378 0 0 0 27 0 0 0 20 0 15 0 58423665 14314172416 21887 18446744073709551615 4194304 4196468 140733100717984 140144326807472 140144852502229 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18388] ppid=18375 vsize=13978684 memory=13 CPUtime=0.28 cores=1,3,5,7
/proc/18377/task/18388/stat : 18388 (java) R 18375 18375 11586 0 -1 4202560 1219 0 0 0 28 0 0 0 20 0 15 0 58423665 14314172416 21887 18446744073709551615 4194304 4196468 140733100717984 140144325750544 140144834009808 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18389] ppid=18375 vsize=13978684 memory=3 CPUtime=0.31 cores=1,3,5,7
/proc/18377/task/18389/stat : 18389 (java) S 18375 18375 11586 0 -1 1077944384 1624 0 0 0 31 0 0 0 20 0 15 0 58423665 14314172416 21887 18446744073709551615 4194304 4196468 140733100717984 140144324708848 140144852503170 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18390] ppid=18375 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18390/stat : 18390 (java) S 18375 18375 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 58423665 14314172416 21887 18446744073709551615 4194304 4196468 140733100717984 140144323656544 140144852502229 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18391] ppid=18375 vsize=13978684 memory=4120 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18391/stat : 18391 (java) S 18375 18375 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 58423669 14314172416 21887 18446744073709551615 4194304 4196468 140733100717984 140144322603568 140144852503170 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 88928 KiB
[startup+1.50073 s]
/proc/loadavg: 1.81 1.60 1.59 3/211 18391
/proc/meminfo: memFree=31349480/32770624 swapFree=67108860/67108860
[pid=18375] ppid=18372 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18375/stat : 18375 (xcsp3-exec) S 18372 18375 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 58423652 9740288 345 18446744073709551615 4194304 5098028 140736542508304 140736542506408 139915607196284 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 31883264 140736542511481 140736542511685 140736542511685 140736542515179 0
/proc/18375/statm: 2378 345 289 221 0 87 0
[pid=18377] ppid=18375 vsize=13980732 memory=140716 CPUtime=3.11 cores=1,3,5,7
/proc/18377/stat : 18377 (java) S 18375 18375 11586 0 -1 1077944320 20216 0 0 0 304 7 0 0 20 0 15 0 58423659 14316269568 35179 18446744073709551615 4194304 4196468 140733100717984 140733100700528 140144852492023 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
/proc/18377/statm: 3495183 35179 3198 1 0 3483476 0
[pid=18377/tid=18378] ppid=18375 vsize=13980732 memory=33192 CPUtime=1.36 cores=1,3,5,7
/proc/18377/task/18378/stat : 18378 (java) R 18375 18375 11586 0 -1 4202560 10692 0 0 0 132 4 0 0 20 0 15 0 58423660 14316269568 35179 18446744073709551615 4194304 4196468 140733100717984 140144856728688 140144469725333 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18379] ppid=18375 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18379/stat : 18379 (java) S 18375 18375 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 58423660 14316269568 35179 18446744073709551615 4194304 4196468 140733100717984 140144786926608 140144852502229 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18380] ppid=18375 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18380/stat : 18380 (java) S 18375 18375 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 58423660 14316269568 35179 18446744073709551615 4194304 4196468 140733100717984 140144785874064 140144852502229 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18381] ppid=18375 vsize=13980732 memory=97004 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18381/stat : 18381 (java) S 18375 18375 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 58423660 14316269568 35179 18446744073709551615 4194304 4196468 140733100717984 140144784821008 140144852502229 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18382] ppid=18375 vsize=13980732 memory=87548 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/18377/task/18385/stat : 18385 (java) S 18375 18375 11586 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 58423662 14316269568 50621 18446744073709551615 4194304 4196468 140733100717984 140144328917744 140144852502229 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18386] ppid=18375 vsize=13980732 memory=202484 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18386/stat : 18386 (java) S 18375 18375 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 58423665 14316269568 50621 18446744073709551615 4194304 4196468 140733100717984 140144327866320 140144852510619 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18387] ppid=18375 vsize=13980732 memory=956 CPUtime=2.09 cores=1,3,5,7
/proc/18377/task/18387/stat : 18387 (java) S 18375 18375 11586 0 -1 1077944384 13054 0 0 0 208 1 0 0 20 0 15 0 58423665 14316269568 50621 18446744073709551615 4194304 4196468 140733100717984 140144326814448 140144852503170 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18388] ppid=18375 vsize=13980732 memory=1380 CPUtime=2.59 cores=1,3,5,7
/proc/18377/task/18388/stat : 18388 (java) S 18375 18375 11586 0 -1 1077944384 18978 0 0 0 256 3 0 0 20 0 15 0 58423665 14316269568 50621 18446744073709551615 4194304 4196468 140733100717984 140144325761904 140144852503170 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18389] ppid=18375 vsize=13980732 memory=1380 CPUtime=0.76 cores=1,3,5,7
/proc/18377/task/18389/stat : 18389 (java) S 18375 18375 11586 0 -1 1077944384 9348 0 0 0 74 2 0 0 20 0 15 0 58423665 14316269568 50621 18446744073709551615 4194304 4196468 140733100717984 140144324708848 140144852503170 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18390] ppid=18375 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18390/stat : 18390 (java) S 18375 18375 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 58423665 14316269568 50621 18446744073709551615 4194304 4196468 140733100717984 140144323656544 140144852502229 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18391] ppid=18375 vsize=13980732 memory=202484 CPUtime=0.65 cores=1,3,5,7
/proc/18377/task/18391/stat : 18391 (java) S 18375 18375 11586 0 -1 1077944384 1224 0 0 0 24 41 0 0 20 0 15 0 58423669 14316269568 50621 18446744073709551615 4194304 4196468 140733100717984 140144322603568 140144852503170 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
Current children cumulated CPU time: 2389.59 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 203864 KiB
[startup+2442.3 s]
/proc/loadavg: 1.73 1.68 1.70 3/215 18652
/proc/meminfo: memFree=31278432/32770624 swapFree=67108860/67108860
[pid=18375] ppid=18372 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18375/stat : 18375 (xcsp3-exec) S 18372 18375 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 58423652 9740288 345 18446744073709551615 4194304 5098028 140736542508304 140736542506408 139915607196284 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 31883264 140736542511481 140736542511685 140736542511685 140736542515179 0
/proc/18375/statm: 2378 345 289 221 0 87 0
[pid=18377] ppid=18375 vsize=13980732 memory=206580 CPUtime=2449.73 cores=1,3,5,7
/proc/18377/stat : 18377 (java) S 18375 18375 11586 0 -1 1077944320 92093 0 0 0 244905 68 0 0 20 0 15 0 58423659 14316269568 51645 18446744073709551615 4194304 4196468 140733100717984 140733100700528 140144852492023 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
/proc/18377/statm: 3495183 51645 3246 1 0 3483476 0
[pid=18377/tid=18378] ppid=18375 vsize=13980732 memory=206580 CPUtime=2441.08 cores=1,3,5,7
/proc/18377/task/18378/stat : 18378 (java) R 18375 18375 11586 0 -1 4202560 26891 0 0 0 244100 8 0 0 20 0 15 0 58423660 14316269568 51645 18446744073709551615 4194304 4196468 140733100717984 140144856731440 140144470077162 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18379] ppid=18375 vsize=13980732 memory=204532 CPUtime=0.53 cores=1,3,5,7
/proc/18377/task/18379/stat : 18379 (java) S 18375 18375 11586 0 -1 1077944384 5484 0 0 0 49 4 0 0 20 0 15 0 58423660 14316269568 51645 18446744073709551615 4194304 4196468 140733100717984 140144786926608 140144852502229 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18380] ppid=18375 vsize=13980732 memory=204532 CPUtime=0.54 cores=1,3,5,7
/proc/18377/task/18380/stat : 18380 (java) S 18375 18375 11586 0 -1 1077944384 4016 0 0 0 49 5 0 0 20 0 15 0 58423660 14316269568 51645 18446744073709551615 4194304 4196468 140733100717984 140144785874064 140144852502229 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18381] ppid=18375 vsize=13980732 memory=206580 CPUtime=0.54 cores=1,3,5,7
/proc/18377/task/18381/stat : 18381 (java) S 18375 18375 11586 0 -1 1077944384 5100 0 0 0 49 5 0 0 20 0 15 0 58423660 14316269568 51645 18446744073709551615 4194304 4196468 140733100717984 140144784821008 140144852502229 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18382] ppid=18375 vsize=13980732 memory=1380 CPUtime=0.53 cores=1,3,5,7
/proc/18377/task/18382/stat : 18382 (java) S 18375 18375 11586 0 -1 1077944384 1867 0 0 0 49 4 0 0 20 0 15 0 58423660 14316269568 51645 18446744073709551615 4194304 4196468 140733100717984 140144449076112 140144852502229 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18383] ppid=18375 vsize=13980732 memory=206580 CPUtime=0.3 cores=1,3,5,7
/proc/18377/task/18383/stat : 18383 (java) S 18375 18375 11586 0 -1 1077944384 4390 0 0 0 26 4 0 0 20 0 15 0 58423662 14316269568 51645 18446744073709551615 4194304 4196468 140733100717984 140144331024624 140144852503170 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18384] ppid=18375 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18384/stat : 18384 (java) S 18375 18375 11586 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 58423662 14316269568 51645 18446744073709551615 4194304 4196468 140733100717984 140144329970912 140144852502229 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18385] ppid=18375 vsize=13980732 memory=202484 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18385/stat : 18385 (java) S 18375 18375 11586 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 58423662 14316269568 51645 18446744073709551615 4194304 4196468 140733100717984 140144328917744 140144852502229 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18386] ppid=18375 vsize=13980732 memory=204532 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18386/stat : 18386 (java) S 18375 18375 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 58423665 14316269568 51645 18446744073709551615 4194304 4196468 140733100717984 140144327866320 140144852510619 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18387] ppid=18375 vsize=13980732 memory=1440 CPUtime=2.09 cores=1,3,5,7
/proc/18377/task/18387/stat : 18387 (java) S 18375 18375 11586 0 -1 1077944384 13135 0 0 0 208 1 0 0 20 0 15 0 58423665 14316269568 51645 18446744073709551615 4194304 4196468 140733100717984 140144326814448 140144852503170 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18388] ppid=18375 vsize=13980732 memory=204532 CPUtime=2.6 cores=1,3,5,7
/proc/18377/task/18388/stat : 18388 (java) S 18375 18375 11586 0 -1 1077944384 19033 0 0 0 257 3 0 0 20 0 15 0 58423665 14316269568 51645 18446744073709551615 4194304 4196468 140733100717984 140144325761904 140144852503170 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18389] ppid=18375 vsize=13980732 memory=204532 CPUtime=0.76 cores=1,3,5,7
/proc/18377/task/18389/stat : 18389 (java) S 18375 18375 11586 0 -1 1077944384 9543 0 0 0 74 2 0 0 20 0 15 0 58423665 14316269568 51645 18446744073709551615 4194304 4196468 140733100717984 140144324708848 140144852503170 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18390] ppid=18375 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18390/stat : 18390 (java) S 18375 18375 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 58423665 14316269568 51645 18446744073709551615 4194304 4196468 140733100717984 140144323656544 140144852502229 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18391] ppid=18375 vsize=13980732 memory=204532 CPUtime=0.66 cores=1,3,5,7
/proc/18377/task/18391/stat : 18391 (java) S 18375 18375 11586 0 -1 1077944384 1253 0 0 0 25 41 0 0 20 0 15 0 58423669 14316269568 51645 18446744073709551615 4194304 4196468 140733100717984 140144322603568 140144852503170 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
Current children cumulated CPU time: 2449.73 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 207960 KiB
[startup+2502.3 s]
/proc/loadavg: 1.81 1.71 1.71 3/215 18654
/proc/meminfo: memFree=31278424/32770624 swapFree=67108860/67108860
[pid=18375] ppid=18372 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18375/stat : 18375 (xcsp3-exec) S 18372 18375 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 58423652 9740288 345 18446744073709551615 4194304 5098028 140736542508304 140736542506408 139915607196284 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 31883264 140736542511481 140736542511685 140736542511685 140736542515179 0
/proc/18375/statm: 2378 345 289 221 0 87 0
[pid=18377] ppid=18375 vsize=13980732 memory=206580 CPUtime=2509.76 cores=1,3,5,7
/proc/18377/stat : 18377 (java) S 18375 18375 11586 0 -1 1077944320 92165 0 0 0 250907 69 0 0 20 0 15 0 58423659 14316269568 51645 18446744073709551615 4194304 4196468 140733100717984 140733100700528 140144852492023 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
/proc/18377/statm: 3495183 51645 3246 1 0 3483476 0
[pid=18377/tid=18378] ppid=18375 vsize=13980732 memory=1380 CPUtime=2501.06 cores=1,3,5,7
/proc/18377/task/18378/stat : 18378 (java) R 18375 18375 11586 0 -1 4202560 26940 0 0 0 250098 8 0 0 20 0 15 0 58423660 14316269568 51645 18446744073709551615 4194304 4196468 140733100717984 140144856731632 140144470487125 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18379] ppid=18375 vsize=13980732 memory=202484 CPUtime=0.54 cores=1,3,5,7
/proc/18377/task/18379/stat : 18379 (java) S 18375 18375 11586 0 -1 1077944384 5484 0 0 0 50 4 0 0 20 0 15 0 58423660 14316269568 51645 18446744073709551615 4194304 4196468 140733100717984 140144786926608 140144852502229 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18380] ppid=18375 vsize=13980732 memory=1380 CPUtime=0.55 cores=1,3,5,7
/proc/18377/task/18380/stat : 18380 (java) S 18375 18375 11586 0 -1 1077944384 4020 0 0 0 50 5 0 0 20 0 15 0 58423660 14316269568 51645 18446744073709551615 4194304 4196468 140733100717984 140144785874064 140144852502229 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18381] ppid=18375 vsize=13980732 memory=206580 CPUtime=0.54 cores=1,3,5,7
/proc/18377/task/18381/stat : 18381 (java) S 18375 18375 11586 0 -1 1077944384 5101 0 0 0 49 5 0 0 20 0 15 0 58423660 14316269568 51645 18446744073709551615 4194304 4196468 140733100717984 140144784821008 140144852502229 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18382] ppid=18375 vsize=13980732 memory=1380 CPUtime=0.54 cores=1,3,5,7
/proc/18377/task/18382/stat : 18382 (java) S 18375 18375 11586 0 -1 1077944384 1877 0 0 0 50 4 0 0 20 0 15 0 58423660 14316269568 51645 18446744073709551615 4194304 4196468 140733100717984 140144449076112 140144852502229 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18383] ppid=18375 vsize=13980732 memory=4120 CPUtime=0.3 cores=1,3,5,7
/proc/18377/task/18383/stat : 18383 (java) S 18375 18375 11586 0 -1 1077944384 4394 0 0 0 26 4 0 0 20 0 15 0 58423662 14316269568 51645 18446744073709551615 4194304 4196468 140733100717984 140144331024624 140144852503170 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18384] ppid=18375 vsize=13980732 memory=33296 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18384/stat : 18384 (java) S 18375 18375 11586 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 58423662 14316269568 51645 18446744073709551615 4194304 4196468 140733100717984 140144329970912 140144852502229 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18385] ppid=18375 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18385/stat : 18385 (java) S 18375 18375 11586 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 58423662 14316269568 51645 18446744073709551615 4194304 4196468 140733100717984 140144328917744 140144852502229 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18386] ppid=18375 vsize=13980732 memory=4120 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18386/stat : 18386 (java) S 18375 18375 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 58423665 14316269568 51645 18446744073709551615 4194304 4196468 140733100717984 140144327866320 140144852510619 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18387] ppid=18375 vsize=13980732 memory=1380 CPUtime=2.09 cores=1,3,5,7
/proc/18377/task/18387/stat : 18387 (java) S 18375 18375 11586 0 -1 1077944384 13135 0 0 0 208 1 0 0 20 0 15 0 58423665 14316269568 51645 18446744073709551615 4194304 4196468 140733100717984 140144326814448 140144852503170 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18388] ppid=18375 vsize=13980732 memory=206580 CPUtime=2.6 cores=1,3,5,7
/proc/18377/task/18388/stat : 18388 (java) S 18375 18375 11586 0 -1 1077944384 19033 0 0 0 257 3 0 0 20 0 15 0 58423665 14316269568 51645 18446744073709551615 4194304 4196468 140733100717984 140144325761904 140144852503170 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18389] ppid=18375 vsize=13980732 memory=1380 CPUtime=0.76 cores=1,3,5,7
/proc/18377/task/18389/stat : 18389 (java) S 18375 18375 11586 0 -1 1077944384 9543 0 0 0 74 2 0 0 20 0 15 0 58423665 14316269568 51645 18446744073709551615 4194304 4196468 140733100717984 140144324708848 140144852503170 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18390] ppid=18375 vsize=13980732 memory=206580 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18390/stat : 18390 (java) S 18375 18375 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 58423665 14316269568 51645 18446744073709551615 4194304 4196468 140733100717984 140144323656544 140144852502229 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18391] ppid=18375 vsize=13980732 memory=1996 CPUtime=0.67 cores=1,3,5,7
/proc/18377/task/18391/stat : 18391 (java) S 18375 18375 11586 0 -1 1077944384 1257 0 0 0 25 42 0 0 20 0 15 0 58423669 14316269568 51645 18446744073709551615 4194304 4196468 140733100717984 140144322603568 140144852503170 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
Current children cumulated CPU time: 2509.76 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 207960 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2512.6 s]
/proc/loadavg: 1.84 1.72 1.71 3/215 18655
/proc/meminfo: memFree=31278528/32770624 swapFree=67108860/67108860
[pid=18375] ppid=18372 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18375/stat : 18375 (xcsp3-exec) S 18372 18375 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 58423652 9740288 345 18446744073709551615 4194304 5098028 140736542508304 140736542506408 139915607196284 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 31883264 140736542511481 140736542511685 140736542511685 140736542515179 0
/proc/18375/statm: 2378 345 289 221 0 87 0
[pid=18377] ppid=18375 vsize=13980732 memory=206580 CPUtime=2520.07 cores=1,3,5,7
/proc/18377/stat : 18377 (java) S 18375 18375 11586 0 -1 1077944320 92168 0 0 0 251938 69 0 0 20 0 15 0 58423659 14316269568 51645 18446744073709551615 4194304 4196468 140733100717984 140733100700528 140144852492023 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
/proc/18377/statm: 3495183 51645 3246 1 0 3483476 0
[pid=18377/tid=18378] ppid=18375 vsize=13980732 memory=1716 CPUtime=2511.36 cores=1,3,5,7
/proc/18377/task/18378/stat : 18378 (java) R 18375 18375 11586 0 -1 4202560 26941 0 0 0 251128 8 0 0 20 0 15 0 58423660 14316269568 51645 18446744073709551615 4194304 4196468 140733100717984 140144856731248 140144470416318 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18379] ppid=18375 vsize=13980732 memory=1008 CPUtime=0.54 cores=1,3,5,7
/proc/18377/task/18379/stat : 18379 (java) S 18375 18375 11586 0 -1 1077944384 5484 0 0 0 50 4 0 0 20 0 15 0 58423660 14316269568 51645 18446744073709551615 4194304 4196468 140733100717984 140144786926608 140144852502229 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18380] ppid=18375 vsize=13980732 memory=1232 CPUtime=0.55 cores=1,3,5,7
/proc/18377/task/18380/stat : 18380 (java) S 18375 18375 11586 0 -1 1077944384 4020 0 0 0 50 5 0 0 20 0 15 0 58423660 14316269568 51645 18446744073709551615 4194304 4196468 140733100717984 140144785874064 140144852502229 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18381] ppid=18375 vsize=13980732 memory=8952 CPUtime=0.54 cores=1,3,5,7
/proc/18377/task/18381/stat : 18381 (java) S 18375 18375 11586 0 -1 1077944384 5101 0 0 0 49 5 0 0 20 0 15 0 58423660 14316269568 51645 18446744073709551615 4194304 4196468 140733100717984 140144784821008 140144852502229 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18382] ppid=18375 vsize=13980732 memory=4616 CPUtime=0.54 cores=1,3,5,7
/proc/18377/task/18382/stat : 18382 (java) S 18375 18375 11586 0 -1 1077944384 1877 0 0 0 50 4 0 0 20 0 15 0 58423660 14316269568 51645 18446744073709551615 4194304 4196468 140733100717984 140144449076112 140144852502229 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18383] ppid=18375 vsize=13980732 memory=1440 CPUtime=0.3 cores=1,3,5,7
/proc/18377/task/18383/stat : 18383 (java) S 18375 18375 11586 0 -1 1077944384 4394 0 0 0 26 4 0 0 20 0 15 0 58423662 14316269568 51645 18446744073709551615 4194304 4196468 140733100717984 140144331024624 140144852503170 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18384] ppid=18375 vsize=13980732 memory=1204 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18384/stat : 18384 (java) S 18375 18375 11586 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 58423662 14316269568 51645 18446744073709551615 4194304 4196468 140733100717984 140144329970912 140144852502229 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18385] ppid=18375 vsize=13980732 memory=15880 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18385/stat : 18385 (java) S 18375 18375 11586 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 58423662 14316269568 51645 18446744073709551615 4194304 4196468 140733100717984 140144328917744 140144852502229 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18386] ppid=18375 vsize=13980732 memory=16240 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18386/stat : 18386 (java) S 18375 18375 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 58423665 14316269568 51645 18446744073709551615 4194304 4196468 140733100717984 140144327866320 140144852510619 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18387] ppid=18375 vsize=13980732 memory=19012 CPUtime=2.09 cores=1,3,5,7
/proc/18377/task/18387/stat : 18387 (java) S 18375 18375 11586 0 -1 1077944384 13135 0 0 0 208 1 0 0 20 0 15 0 58423665 14316269568 51645 18446744073709551615 4194304 4196468 140733100717984 140144326814448 140144852503170 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18388] ppid=18375 vsize=13980732 memory=4048 CPUtime=2.6 cores=1,3,5,7
/proc/18377/task/18388/stat : 18388 (java) S 18375 18375 11586 0 -1 1077944384 19033 0 0 0 257 3 0 0 20 0 15 0 58423665 14316269568 51645 18446744073709551615 4194304 4196468 140733100717984 140144325761904 140144852503170 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18389] ppid=18375 vsize=13980732 memory=644 CPUtime=0.76 cores=1,3,5,7
/proc/18377/task/18389/stat : 18389 (java) S 18375 18375 11586 0 -1 1077944384 9543 0 0 0 74 2 0 0 20 0 15 0 58423665 14316269568 51645 18446744073709551615 4194304 4196468 140733100717984 140144324708848 140144852503170 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18390] ppid=18375 vsize=13980732 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18390/stat : 18390 (java) S 18375 18375 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 58423665 14316269568 51645 18446744073709551615 4194304 4196468 140733100717984 140144323656544 140144852502229 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
[pid=18377/tid=18391] ppid=18375 vsize=13980732 memory=956 CPUtime=0.68 cores=1,3,5,7
/proc/18377/task/18391/stat : 18391 (java) S 18375 18375 11586 0 -1 1077944384 1259 0 0 0 25 43 0 0 20 0 15 0 58423669 14316269568 51645 18446744073709551615 4194304 4196468 140733100717984 140144322603568 140144852503170 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8646656 140733100720561 140733100720737 140733100720737 140733100724175 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 207960 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2512.61 s]
# the end of solver process 18375 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.001822 s
[startup+2512.61 s]
# the end of solver process 18377 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.4 s, system=0.702954 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2512.61
CPU time (s): 2520.1
CPU user time (s): 2519.4
CPU system time (s): 0.702954
CPU usage (%): 100.298
Max. virtual memory (cumulated for all children) (KiB): 13992240
Max. memory (cumulated for all children) (KiB): 302572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.4
system time used= 0.702954
maximum resident set size= 301192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92958
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 64434
involuntary context switches= 1634
# summary of solver processes directly reported to runsolver:
# pid: 18375,18377
# total CPU time (s): 2520.1
# total CPU user time (s): 2519.4
# total CPU system time (s): 0.702954
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.054 second user time and 21.6035 second system time
The end
Begin job on node124 at 2017-08-14 10:39:34 IDJOB=4269337 IDBENCH=115914 IDSOLVER=2660 FILE ID=node124/4269337-1502700830 RUNJOBID= node124-1502673801-14690 PBS_JOBID= Free space on /tmp= 62024 MiB SOLVER NAME= choco-solver 4.0.5 seq BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-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-4269337-1502700830/watcher-4269337-1502700830 -o /tmp/evaluation-result-4269337-1502700830/solver-4269337-1502700830 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502673801-14690 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 705648193 HOME/instance-4269337-1502700830.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f0ae775e0a261424aab5dff09c8fa0c4 RANDOM SEED=705648193 node124.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.51 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.51 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.51 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.51 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: 31442692 kB MemAvailable: 31789272 kB Buffers: 206824 kB Cached: 419416 kB SwapCached: 0 kB Active: 647160 kB Inactive: 234908 kB Active(anon): 207124 kB Inactive(anon): 73768 kB Active(file): 440036 kB Inactive(file): 161140 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7860 kB Writeback: 16 kB AnonPages: 255580 kB Mapped: 56856 kB Shmem: 25320 kB Slab: 149008 kB SReclaimable: 122476 kB SUnreclaim: 26532 kB KernelStack: 3440 kB PageTables: 5496 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1160724 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 192512 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 62016 MiB End job on node124 at 2017-08-14 11:21:27