Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 5a (2017-07-26) | SAT (TO) | 752 | 2520.0901 | 2462.6201 |
| Name | StillLife/StillLife-wst-s1/ StillLife-wastage-44.xml |
| MD5SUM | 4997da7be544d89c7d7e917a89d7c5a2 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 941 |
| Best CPU time to get the best result obtained on this benchmark | 2519.6799 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 4279 |
| Number of constraints | 2384 |
| Number of domains | 4 |
| Minimum domain size | 2 |
| Maximum domain size | 4233 |
| Distribution of domain sizes | [{"size":2,"count":2116},{"size":3,"count":2116},{"size":1937,"count":1},{"size":4233,"count":46}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 47 |
| Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":2113},{"degree":3,"count":49},{"degree":4,"count":176},{"degree":8,"count":172},{"degree":9,"count":1764},{"degree":47,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 48 |
| Distribution of constraint arities | [{"arity":2,"count":222},{"arity":3,"count":176},{"arity":10,"count":1936},{"arity":46,"count":4},{"arity":47,"count":1},{"arity":48,"count":45}] |
| Number of extensional constraints | 2112 |
| Number of intensional constraints | 221 |
| Distribution of constraint types | [{"type":"extension","count":2112},{"type":"intension","count":221},{"type":"sum","count":47},{"type":"instantiation","count":4}] |
| Optimization problem | YES |
| Type of objective | max VAR |
0.00/0.09 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4272279-1502690744.xml" -tl '2520s' -p 1 -x 3 0.07/0.28 c [HOME/instance-4272279-1502690744.xml, -tl, 2520s, -p, 1, -x, 3] 0.25/0.34 c simple solver 0.25/0.41 c parse instance... 3.19/1.61 c solve instance... 113.24/106.63 o 689 122.50/113.06 o 752 2520.06/2462.60 s SATISFIABLE 2520.06/2462.60 v <instantiation> 2520.06/2462.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[0][44] x[0][45] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[12][45] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[13][45] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[14][45] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[15][45] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[16][45] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[17][45] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[18][45] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[19][45] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[20][45] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[21][45] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[22][45] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[23][45] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[24][45] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[25][45] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[26][45] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[27][45] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[28][45] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[29][45] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[30][45] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[31][45] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[32][45] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[33][45] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[34][45] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[35][45] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[36][45] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[41][45] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[42][45] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[43][45] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] x[44][45] x[45][0] x[45][1] x[45][2] x[45][3] x[45][4] x[45][5] x[45][6] x[45][7] x[45][8] x[45][9] x[45][10] x[45][11] x[45][12] x[45][13] x[45][14] x[45][15] x[45][16] x[45][17] x[45][18] x[45][19] x[45][20] x[45][21] x[45][22] x[45][23] x[45][24] x[45][25] x[45][26] x[45][27] x[45][28] x[45][29] x[45][30] x[45][31] x[45][32] x[45][33] x[45][34] x[45][35] x[45][36] x[45][37] x[45][38] x[45][39] x[45][40] x[45][41] x[45][42] x[45][43] x[45][44] x[45][45] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][28] w[0][29] w[0][30] w[0][31] w[0][32] w[0][33] w[0][34] w[0][35] w[0][36] w[0][37] w[0][38] w[0][39] w[0][40] w[0][41] w[0][42] w[0][43] w[0][44] w[0][45] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][28] w[1][29] w[1][30] w[1][31] w[1][32] w[1][33] w[1][34] w[1][35] w[1][36] w[1][37] w[1][38] w[1][39] w[1][40] w[1][41] w[1][42] w[1][43] w[1][44] w[1][45] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][28] w[2][29] w[2][30] w[2][31] w[2][32] w[2][33] w[2][34] w[2][35] w[2][36] w[2][37] w[2][38] w[2][39] w[2][40] w[2][41] w[2][42] w[2][43] w[2][44] w[2][45] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][28] w[3][29] w[3][30] w[3][31] w[3][32] w[3][33] w[3][34] w[3][35] w[3][36] w[3][37] w[3][38] w[3][39] w[3][40] w[3][41] w[3][42] w[3][43] w[3][44] w[3][45] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][28] w[4][29] w[4][30] w[4][31] w[4][32] w[4][33] w[4][34] w[4][35] w[4][36] w[4][37] w[4][38] w[4][39] w[4][40] w[4][41] w[4][42] w[4][43] w[4][44] w[4][45] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][28] w[5][29] w[5][30] w[5][31] w[5][32] w[5][33] w[5][34] w[5][35] w[5][36] w[5][37] w[5][38] w[5][39] w[5][40] w[5][41] w[5][42] w[5][43] w[5][44] w[5][45] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][28] w[6][29] w[6][30] w[6][31] w[6][32] w[6][33] w[6][34] w[6][35] w[6][36] w[6][37] w[6][38] w[6][39] w[6][40] w[6][41] w[6][42] w[6][43] w[6][44] w[6][45] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][28] w[7][29] w[7][30] w[7][31] w[7][32] w[7][33] w[7][34] w[7][35] w[7][36] w[7][37] w[7][38] w[7][39] w[7][40] w[7][41] w[7][42] w[7][43] w[7][44] w[7][45] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][28] w[8][29] w[8][30] w[8][31] w[8][32] w[8][33] w[8][34] w[8][35] w[8][36] w[8][37] w[8][38] w[8][39] w[8][40] w[8][41] w[8][42] w[8][43] w[8][44] w[8][45] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][28] w[9][29] w[9][30] w[9][31] w[9][32] w[9][33] w[9][34] w[9][35] w[9][36] w[9][37] w[9][38] w[9][39] w[9][40] w[9][41] w[9][42] w[9][43] w[9][44] w[9][45] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][28] w[10][29] w[10][30] w[10][31] w[10][32] w[10][33] w[10][34] w[10][35] w[10][36] w[10][37] w[10][38] w[10][39] w[10][40] w[10][41] w[10][42] w[10][43] w[10][44] w[10][45] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][28] w[11][29] w[11][30] w[11][31] w[11][32] w[11][33] w[11][34] w[11][35] w[11][36] w[11][37] w[11][38] w[11][39] w[11][40] w[11][41] w[11][42] w[11][43] w[11][44] w[11][45] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][28] w[12][29] w[12][30] w[12][31] w[12][32] w[12][33] w[12][34] w[12][35] w[12][36] w[12][37] w[12][38] w[12][39] w[12][40] w[12][41] w[12][42] w[12][43] w[12][44] w[12][45] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][28] w[13][29] w[13][30] w[13][31] w[13][32] w[13][33] w[13][34] w[13][35] w[13][36] w[13][37] w[13][38] w[13][39] w[13][40] w[13][41] w[13][42] w[13][43] w[13][44] w[13][45] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][28] w[14][29] w[14][30] w[14][31] w[14][32] w[14][33] w[14][34] w[14][35] w[14][36] w[14][37] w[14][38] w[14][39] w[14][40] w[14][41] w[14][42] w[14][43] w[14][44] w[14][45] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][28] w[15][29] w[15][30] w[15][31] w[15][32] w[15][33] w[15][34] w[15][35] w[15][36] w[15][37] w[15][38] w[15][39] w[15][40] w[15][41] w[15][42] w[15][43] w[15][44] w[15][45] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][28] w[16][29] w[16][30] w[16][31] w[16][32] w[16][33] w[16][34] w[16][35] w[16][36] w[16][37] w[16][38] w[16][39] w[16][40] w[16][41] w[16][42] w[16][43] w[16][44] w[16][45] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][28] w[17][29] w[17][30] w[17][31] w[17][32] w[17][33] w[17][34] w[17][35] w[17][36] w[17][37] w[17][38] w[17][39] w[17][40] w[17][41] w[17][42] w[17][43] w[17][44] w[17][45] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][28] w[18][29] w[18][30] w[18][31] w[18][32] w[18][33] w[18][34] w[18][35] w[18][36] w[18][37] w[18][38] w[18][39] w[18][40] w[18][41] w[18][42] w[18][43] w[18][44] w[18][45] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][28] w[19][29] w[19][30] w[19][31] w[19][32] w[19][33] w[19][34] w[19][35] w[19][36] w[19][37] w[19][38] w[19][39] w[19][40] w[19][41] w[19][42] w[19][43] w[19][44] w[19][45] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][28] w[20][29] w[20][30] w[20][31] w[20][32] w[20][33] w[20][34] w[20][35] w[20][36] w[20][37] w[20][38] w[20][39] w[20][40] w[20][41] w[20][42] w[20][43] w[20][44] w[20][45] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][28] w[21][29] w[21][30] w[21][31] w[21][32] w[21][33] w[21][34] w[21][35] w[21][36] w[21][37] w[21][38] w[21][39] w[21][40] w[21][41] w[21][42] w[21][43] w[21][44] w[21][45] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][28] w[22][29] w[22][30] w[22][31] w[22][32] w[22][33] w[22][34] w[22][35] w[22][36] w[22][37] w[22][38] w[22][39] w[22][40] w[22][41] w[22][42] w[22][43] w[22][44] w[22][45] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][28] w[23][29] w[23][30] w[23][31] w[23][32] w[23][33] w[23][34] w[23][35] w[23][36] w[23][37] w[23][38] w[23][39] w[23][40] w[23][41] w[23][42] w[23][43] w[23][44] w[23][45] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][28] w[24][29] w[24][30] w[24][31] w[24][32] w[24][33] w[24][34] w[24][35] w[24][36] w[24][37] w[24][38] w[24][39] w[24][40] w[24][41] w[24][42] w[24][43] w[24][44] w[24][45] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][28] w[25][29] w[25][30] w[25][31] w[25][32] w[25][33] w[25][34] w[25][35] w[25][36] w[25][37] w[25][38] w[25][39] w[25][40] w[25][41] w[25][42] w[25][43] w[25][44] w[25][45] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[26][29] w[26][30] w[26][31] w[26][32] w[26][33] w[26][34] w[26][35] w[26][36] w[26][37] w[26][38] w[26][39] w[26][40] w[26][41] w[26][42] w[26][43] w[26][44] w[26][45] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[27][29] w[27][30] w[27][31] w[27][32] w[27][33] w[27][34] w[27][35] w[27][36] w[27][37] w[27][38] w[27][39] w[27][40] w[27][41] w[27][42] w[27][43] w[27][44] w[27][45] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] w[28][29] w[28][30] w[28][31] w[28][32] w[28][33] w[28][34] w[28][35] w[28][36] w[28][37] w[28][38] w[28][39] w[28][40] w[28][41] w[28][42] w[28][43] w[28][44] w[28][45] w[29][0] w[29][1] w[29][2] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] w[29][30] w[29][31] w[29][32] w[29][33] w[29][34] w[29][35] w[29][36] w[29][37] w[29][38] w[29][39] w[29][40] w[29][41] w[29][42] w[29][43] w[29][44] w[29][45] w[30][0] w[30][1] w[30][2] w[30][3] w[30][4] w[30][5] w[30][6] w[30][7] w[30][8] w[30][9] w[30][10] w[30][11] w[30][12] w[30][13] w[30][14] w[30][15] w[30][16] w[30][17] w[30][18] w[30][19] w[30][20] w[30][21] w[30][22] w[30][23] w[30][24] w[30][25] w[30][26] w[30][27] w[30][28] w[30][29] w[30][30] w[30][31] w[30][32] w[30][33] w[30][34] w[30][35] w[30][36] w[30][37] w[30][38] w[30][39] w[30][40] w[30][41] w[30][42] w[30][43] w[30][44] w[30][45] w[31][0] w[31][1] w[31][2] w[31][3] w[31][4] w[31][5] w[31][6] w[31][7] w[31][8] w[31][9] w[31][10] w[31][11] w[31][12] w[31][13] w[31][14] w[31][15] w[31][16] w[31][17] w[31][18] w[31][19] w[31][20] w[31][21] w[31][22] w[31][23] w[31][24] w[31][25] w[31][26] w[31][27] w[31][28] w[31][29] w[31][30] w[31][31] w[31][32] w[31][33] w[31][34] w[31][35] w[31][36] w[31][37] w[31][38] w[31][39] w[31][40] w[31][41] w[31][42] w[31][43] w[31][44] w[31][45] w[32][0] w[32][1] w[32][2] w[32][3] w[32][4] w[32][5] w[32][6] w[32][7] w[32][8] w[32][9] w[32][10] w[32][11] w[32][12] w[32][13] w[32][14] w[32][15] w[32][16] w[32][17] w[32][18] w[32][19] w[32][20] w[32][21] w[32][22] w[32][23] w[32][24] w[32][25] w[32][26] w[32][27] w[32][28] w[32][29] w[32][30] w[32][31] w[32][32] w[32][33] w[32][34] w[32][35] w[32][36] w[32][37] w[32][38] w[32][39] w[32][40] w[32][41] w[32][42] w[32][43] w[32][44] w[32][45] w[33][0] w[33][1] w[33][2] w[33][3] w[33][4] w[33][5] w[33][6] w[33][7] w[33][8] w[33][9] w[33][10] w[33][11] w[33][12] w[33][13] w[33][14] w[33][15] w[33][16] w[33][17] w[33][18] w[33][19] w[33][20] w[33][21] w[33][22] w[33][23] w[33][24] w[33][25] w[33][26] w[33][27] w[33][28] w[33][29] w[33][30] w[33][31] w[33][32] w[33][33] w[33][34] w[33][35] w[33][36] w[33][37] w[33][38] w[33][39] w[33][40] w[33][41] w[33][42] w[33][43] w[33][44] w[33][45] w[34][0] w[34][1] w[34][2] w[34][3] w[34][4] w[34][5] w[34][6] w[34][7] w[34][8] w[34][9] w[34][10] w[34][11] w[34][12] w[34][13] w[34][14] w[34][15] w[34][16] w[34][17] w[34][18] w[34][19] w[34][20] w[34][21] w[34][22] w[34][23] w[34][24] w[34][25] w[34][26] w[34][27] w[34][28] w[34][29] w[34][30] w[34][31] w[34][32] w[34][33] w[34][34] w[34][35] w[34][36] w[34][37] w[34][38] w[34][39] w[34][40] w[34][41] w[34][42] w[34][43] w[34][44] w[34][45] w[35][0] w[35][1] w[35][2] w[35][3] w[35][4] w[35][5] w[35][6] w[35][7] w[35][8] w[35][9] w[35][10] w[35][11] w[35][12] w[35][13] w[35][14] w[35][15] w[35][16] w[35][17] w[35][18] w[35][19] w[35][20] w[35][21] w[35][22] w[35][23] w[35][24] w[35][25] w[35][26] w[35][27] w[35][28] w[35][29] w[35][30] w[35][31] w[35][32] w[35][33] w[35][34] w[35][35] w[35][36] w[35][37] w[35][38] w[35][39] w[35][40] w[35][41] w[35][42] w[35][43] w[35][44] w[35][45] w[36][0] w[36][1] w[36][2] w[36][3] w[36][4] w[36][5] w[36][6] w[36][7] w[36][8] w[36][9] w[36][10] w[36][11] w[36][12] w[36][13] w[36][14] w[36][15] w[36][16] w[36][17] w[36][18] w[36][19] w[36][20] w[36][21] w[36][22] w[36][23] w[36][24] w[36][25] w[36][26] w[36][27] w[36][28] w[36][29] w[36][30] w[36][31] w[36][32] w[36][33] w[36][34] w[36][35] w[36][36] w[36][37] w[36][38] w[36][39] w[36][40] w[36][41] w[36][42] w[36][43] w[36][44] w[36][45] w[37][0] w[37][1] w[37][2] w[37][3] w[37][4] w[37][5] w[37][6] w[37][7] w[37][8] w[37][9] w[37][10] w[37][11] w[37][12] w[37][13] w[37][14] w[37][15] w[37][16] w[37][17] w[37][18] w[37][19] w[37][20] w[37][21] w[37][22] w[37][23] w[37][24] w[37][25] w[37][26] w[37][27] w[37][28] w[37][29] w[37][30] w[37][31] w[37][32] w[37][33] w[37][34] w[37][35] w[37][36] w[37][37] w[37][38] w[37][39] w[37][40] w[37][41] w[37][42] w[37][43] w[37][44] w[37][45] w[38][0] w[38][1] w[38][2] w[38][3] w[38][4] w[38][5] w[38][6] w[38][7] w[38][8] w[38][9] w[38][10] w[38][11] w[38][12] w[38][13] w[38][14] w[38][15] w[38][16] w[38][17] w[38][18] w[38][19] w[38][20] w[38][21] w[38][22] w[38][23] w[38][24] w[38][25] w[38][26] w[38][27] w[38][28] w[38][29] w[38][30] w[38][31] w[38][32] w[38][33] w[38][34] w[38][35] w[38][36] w[38][37] w[38][38] w[38][39] w[38][40] w[38][41] w[38][42] w[38][43] w[38][44] w[38][45] w[39][0] w[39][1] w[39][2] w[39][3] w[39][4] w[39][5] w[39][6] w[39][7] w[39][8] w[39][9] w[39][10] w[39][11] w[39][12] w[39][13] w[39][14] w[39][15] w[39][16] w[39][17] w[39][18] w[39][19] w[39][20] w[39][21] w[39][22] w[39][23] w[39][24] w[39][25] w[39][26] w[39][27] w[39][28] w[39][29] w[39][30] w[39][31] w[39][32] w[39][33] w[39][34] w[39][35] w[39][36] w[39][37] w[39][38] w[39][39] w[39][40] w[39][41] w[39][42] w[39][43] w[39][44] w[39][45] w[40][0] w[40][1] w[40][2] w[40][3] w[40][4] w[40][5] w[40][6] w[40][7] w[40][8] w[40][9] w[40][10] w[40][11] w[40][12] w[40][13] w[40][14] w[40][15] w[40][16] w[40][17] w[40][18] w[40][19] w[40][20] w[40][21] w[40][22] w[40][23] w[40][24] w[40][25] w[40][26] w[40][27] w[40][28] w[40][29] w[40][30] w[40][31] w[40][32] w[40][33] w[40][34] w[40][35] w[40][36] w[40][37] w[40][38] w[40][39] w[40][40] w[40][41] w[40][42] w[40][43] w[40][44] w[40][45] w[41][0] w[41][1] w[41][2] w[41][3] w[41][4] w[41][5] w[41][6] w[41][7] w[41][8] w[41][9] w[41][10] w[41][11] w[41][12] w[41][13] w[41][14] w[41][15] w[41][16] w[41][17] w[41][18] w[41][19] w[41][20] w[41][21] w[41][22] w[41][23] w[41][24] w[41][25] w[41][26] w[41][27] w[41][28] w[41][29] w[41][30] w[41][31] w[41][32] w[41][33] w[41][34] w[41][35] w[41][36] w[41][37] w[41][38] w[41][39] w[41][40] w[41][41] w[41][42] w[41][43] w[41][44] w[41][45] w[42][0] w[42][1] w[42][2] w[42][3] w[42][4] w[42][5] w[42][6] w[42][7] w[42][8] w[42][9] w[42][10] w[42][11] w[42][12] w[42][13] w[42][14] w[42][15] w[42][16] w[42][17] w[42][18] w[42][19] w[42][20] w[42][21] w[42][22] w[42][23] w[42][24] w[42][25] w[42][26] w[42][27] w[42][28] w[42][29] w[42][30] w[42][31] w[42][32] w[42][33] w[42][34] w[42][35] w[42][36] w[42][37] w[42][38] w[42][39] w[42][40] w[42][41] w[42][42] w[42][43] w[42][44] w[42][45] w[43][0] w[43][1] w[43][2] w[43][3] w[43][4] w[43][5] w[43][6] w[43][7] w[43][8] w[43][9] w[43][10] w[43][11] w[43][12] w[43][13] w[43][14] w[43][15] w[43][16] w[43][17] w[43][18] w[43][19] w[43][20] w[43][21] w[43][22] w[43][23] w[43][24] w[43][25] w[43][26] w[43][27] w[43][28] w[43][29] w[43][30] w[43][31] w[43][32] w[43][33] w[43][34] w[43][35] w[43][36] w[43][37] w[43][38] w[43][39] w[43][40] w[43][41] w[43][42] w[43][43] w[43][44] w[43][45] w[44][0] w[44][1] w[44][2] w[44][3] w[44][4] w[44][5] w[44][6] w[44][7] w[44][8] w[44][9] w[44][10] w[44][11] w[44][12] w[44][13] w[44][14] w[44][15] w[44][16] w[44][17] w[44][18] w[44][19] w[44][20] w[44][21] w[44][22] w[44][23] w[44][24] w[44][25] w[44][26] w[44][27] w[44][28] w[44][29] w[44][30] w[44][31] w[44][32] w[44][33] w[44][34] w[44][35] w[44][36] w[44][37] w[44][38] w[44][39] w[44][40] w[44][41] w[44][42] w[44][43] w[44][44] w[44][45] w[45][0] w[45][1] w[45][2] w[45][3] w[45][4] w[45][5] w[45][6] w[45][7] w[45][8] w[45][9] w[45][10] w[45][11] w[45][12] w[45][13] w[45][14] w[45][15] w[45][16] w[45][17] w[45][18] w[45][19] w[45][20] w[45][21] w[45][22] w[45][23] w[45][24] w[45][25] w[45][26] w[45][27] w[45][28] w[45][29] w[45][30] w[45][31] w[45][32] w[45][33] w[45][34] w[45][35] w[45][36] w[45][37] w[45][38] w[45][39] w[45][40] w[45][41] w[45][42] w[45][43] w[45][44] w[45][45] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] ws[28] ws[29] ws[30] ws[31] ws[32] ws[33] ws[34] ws[35] ws[36] ws[37] ws[38] ws[39] ws[40] ws[41] ws[42] ws[43] ws[44] ws[45] z </list> 2520.06/2462.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 1 1 0 0 0 0 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 1 1 1 1 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 1 1 1 1 1 0 1 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 1 1 1 1 1 0 1 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 1 0 1 1 0 0 0 0 0 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 1 0 0 1 1 1 1 1 0 1 0 0 1 0 0 1 0 0 1 1 0 0 1 0 1 1 0 0 0 1 0 1 1 1 0 1 1 1 1 0 1 0 1 0 1 0 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 1 1 0 0 1 0 0 1 0 0 0 0 1 1 0 1 0 1 0 0 0 1 0 1 1 0 1 0 0 1 0 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 1 1 0 0 1 0 0 1 1 0 0 1 1 0 0 0 0 0 1 1 0 0 1 0 1 1 0 0 1 0 0 1 1 1 0 1 0 1 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 1 0 0 1 0 1 1 1 0 1 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 1 1 1 1 1 0 0 1 1 0 1 0 1 0 0 0 1 0 1 0 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 1 1 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 1 1 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 1 1 1 0 1 0 1 0 1 0 0 0 0 0 0 1 0 1 1 0 1 1 0 0 1 1 1 1 1 1 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 0 0 0 0 1 0 0 0 1 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 1 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 0 1 1 1 1 0 1 1 0 0 1 0 1 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 1 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 1 1 1 0 1 1 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 1 0 0 1 0 1 1 1 0 0 1 0 1 1 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 1 1 1 1 0 0 0 1 1 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 1 1 1 1 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 1 1 0 1 1 1 1 1 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 1 1 0 0 0 1 0 0 0 0 1 1 0 1 1 0 0 0 1 0 1 0 0 0 0 1 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 1 1 1 1 0 1 0 0 1 1 0 1 0 0 0 1 1 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 1 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 1 0 0 1 1 1 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 1 1 1 1 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 1 0 1 0 0 0 1 0 1 1 0 1 0 1 1 1 1 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 1 0 1 0 1 0 1 1 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 0 1 1 0 1 0 1 1 0 1 0 1 0 0 0 1 1 0 1 1 0 1 0 0 0 1 1 0 1 0 0 0 1 1 1 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 1 0 0 1 0 0 0 0 1 0 0 1 0 1 1 0 0 0 1 1 1 0 1 0 1 0 0 0 0 1 1 0 1 1 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 0 1 1 0 0 0 1 0 0 1 1 1 0 0 0 1 1 0 1 0 1 0 0 0 1 0 1 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 1 1 0 0 0 1 0 1 0 0 1 1 0 0 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 1 1 0 1 1 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 1 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 1 0 1 0 1 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 1 1 1 0 1 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 1 1 0 1 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 1 0 1 0 1 1 1 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 1 1 0 0 0 0 0 1 1 0 1 0 1 1 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 1 1 0 1 0 0 1 0 0 1 1 1 1 1 1 1 1 0 1 1 0 1 0 1 0 0 1 0 0 1 1 1 0 1 1 1 0 1 1 1 0 0 1 1 0 2 2 1 1 0 0 0 0 0 1 1 1 1 2 1 2 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 2 0 1 0 2 2 1 1 1 0 0 0 0 0 0 0 2 1 0 0 0 1 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 2 0 2 1 0 1 0 0 0 0 0 2 0 0 2 1 1 2 1 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 2 0 2 2 2 1 1 0 0 1 0 1 2 1 1 1 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 1 2 2 2 0 0 1 0 1 1 1 2 2 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 2 2 1 0 0 0 0 0 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 1 0 1 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 1 2 1 0 1 0 0 1 0 1 0 0 2 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 1 2 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 0 0 1 0 0 2 2 1 1 1 1 0 1 0 0 0 1 1 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 2 2 1 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 1 0 0 0 1 1 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 2 2 1 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 1 2 2 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 1 1 2 1 1 0 1 1 1 2 0 0 0 1 0 0 0 0 1 1 2 1 1 1 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 2 1 0 0 0 0 0 1 1 2 2 2 1 1 0 1 0 0 0 1 0 2 2 1 0 0 0 1 2 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 1 1 0 0 0 0 0 2 2 2 1 2 0 1 0 1 0 0 0 0 1 2 1 0 0 0 1 1 1 0 0 0 1 1 2 1 2 1 1 0 1 0 0 0 1 2 2 1 2 1 1 0 1 1 2 0 1 0 2 1 2 0 0 0 0 0 1 2 1 1 1 1 2 2 1 1 1 0 0 2 1 2 0 1 0 0 0 0 0 0 1 2 2 2 2 2 0 1 0 0 0 1 0 2 0 2 1 1 0 0 0 0 2 2 1 1 2 2 2 2 2 2 1 1 0 0 1 0 1 0 0 0 0 1 0 0 1 1 1 2 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 1 2 1 1 2 2 1 1 2 2 2 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 2 1 1 2 1 0 0 0 2 1 1 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 0 2 1 0 0 0 0 1 1 0 0 0 0 1 1 1 1 2 1 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 2 1 1 0 0 1 0 0 0 1 1 2 1 1 0 1 0 1 1 0 0 0 0 0 0 1 2 2 1 1 0 0 0 0 1 0 0 0 0 0 1 0 2 1 1 2 1 2 1 0 1 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 2 0 0 1 0 2 0 1 0 0 1 0 0 1 1 2 1 0 1 1 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 0 1 2 0 0 0 1 0 1 2 0 0 1 0 1 0 0 1 2 1 1 1 0 1 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 2 0 1 0 1 0 0 1 1 0 0 0 1 0 1 0 1 1 2 2 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 1 1 1 0 1 1 1 0 0 0 1 0 0 0 1 1 1 2 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 1 2 2 1 0 0 0 0 0 1 2 1 1 2 2 1 1 0 0 0 1 0 0 0 0 1 1 2 0 1 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 2 1 1 0 0 0 0 0 1 0 2 2 2 2 1 2 0 0 0 0 1 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 2 2 0 1 0 1 0 0 0 0 2 2 0 0 0 1 0 2 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 2 0 0 2 0 0 0 0 0 0 1 2 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 0 0 0 2 1 0 1 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 1 1 0 0 0 1 0 0 0 2 1 1 0 0 0 1 0 1 0 0 1 0 1 1 0 2 0 2 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 1 2 2 0 0 2 0 0 0 0 1 1 2 0 0 0 0 0 1 0 1 0 0 0 0 1 2 0 0 1 1 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 2 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 1 1 1 0 1 2 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 2 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 2 2 1 1 1 1 2 1 1 2 2 2 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 2 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 2 2 2 1 1 2 1 2 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 0 0 0 0 0 1 0 0 1 0 2 0 0 0 0 0 0 0 1 2 2 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 2 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 0 1 2 2 1 1 1 0 0 0 0 1 0 0 0 0 0 1 1 2 1 1 0 0 1 0 0 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 2 2 2 1 1 2 0 0 1 0 0 0 0 0 0 0 1 0 2 2 1 1 0 1 2 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 2 2 1 1 0 1 0 0 0 1 0 1 0 0 0 0 1 1 2 2 0 2 0 2 2 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 1 2 1 0 0 0 0 0 0 1 2 1 1 0 1 0 0 0 2 2 2 0 0 1 2 2 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 2 1 0 0 1 1 1 2 2 2 2 0 0 0 0 0 1 1 2 1 1 0 1 2 2 2 1 1 0 0 1 0 1 1 0 2 1 2 1 0 0 1 1 1 0 1 1 1 0 0 0 1 1 1 1 1 1 1 0 0 1 0 0 1 1 1 0 0 1 1 1 1 1 0 0 1 0 1 0 0 1 1 1 1 1 1 0 0 1 1 0 0 1 0 27 58 76 95 117 139 153 164 176 193 215 234 244 254 273 302 328 353 390 430 462 485 507 531 556 581 602 619 641 668 693 712 729 747 768 786 806 833 855 874 897 920 946 972 1013 1040 752 </values> 2520.06/2462.60 v </instantiation> 2520.06/2462.60 c Unexpected resolution interruption!
OK 752
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 (14672 MiB free)
memory of node 1: 16384 MiB (15366 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272279-1502690744/watcher-4272279-1502690744 -o /tmp/evaluation-result-4272279-1502690744/solver-4272279-1502690744 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502662595-11629 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1612294265 HOME/instance-4272279-1502690744.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
Current StackSize limit: 8192 KiB
solver pid=15415, runsolver pid=15412
[startup+0.100132 s]*
/proc/loadavg: 1.27 1.34 1.36 2/202 15418
/proc/meminfo: memFree=30756176/32770624 swapFree=67108860/67108860
[pid=15415] ppid=15412 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15415/stat : 15415 (xcsp3-exec) S 15412 15415 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 71295037 9740288 345 18446744073709551615 4194304 5098028 140729629715952 140729629714056 140455386051196 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 27656192 140729629720952 140729629721157 140729629721157 140729629724651 0
/proc/15415/statm: 2378 345 289 221 0 87 0
[pid=15417] ppid=15415 vsize=13358712 memory=13840 CPUtime=0 cores=1,3,5,7
/proc/15417/stat : 15417 (java) S 15415 15415 897 0 -1 1077944320 3246 0 0 0 0 0 0 0 20 0 6 0 71295046 13679321088 3460 18446744073709551615 4194304 4196468 140731157238560 140731157221104 140009603301111 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
/proc/15417/statm: 3339678 3460 1867 1 0 3329175 0
[pid=15417/tid=15418] ppid=15415 vsize=13358712 memory=8390339637985935414 CPUtime=0 cores=1,3,5,7
/proc/15417/task/15418/stat : 15418 (java) R 15415 15415 897 0 -1 4202560 2056 0 0 0 0 0 0 0 20 0 6 0 71295047 13679321088 3526 18446744073709551615 4194304 4196468 140731157238560 140009607537232 140009587381598 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15419] ppid=15415 vsize=13358712 memory=288230596118065508 CPUtime=0 cores=1,3,5,7
/proc/15417/task/15419/stat : 15419 (java) S 15415 15415 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 71295047 13679321088 3526 18446744073709551615 4194304 4196468 140731157238560 140009560267792 140009603311317 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15420] ppid=15415 vsize=13358712 memory=140104610190117 CPUtime=0 cores=1,3,5,7
/proc/15417/task/15420/stat : 15420 (java) S 15415 15415 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 71295047 13679321088 3526 18446744073709551615 4194304 4196468 140731157238560 140009202183312 140009603311317 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15421] ppid=15415 vsize=13358712 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15417/task/15421/stat : 15421 (java) S 15415 15415 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 71295047 13679321088 3526 18446744073709551615 4194304 4196468 140731157238560 140009201130256 140009603311317 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15422] ppid=15415 vsize=13358712 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15417/task/15422/stat : 15422 (java) S 15415 15415 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 71295047 13679321088 3526 18446744073709551615 4194304 4196468 140731157238560 140009200077712 140009603311317 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 15220 KiB
[startup+0.212756 s]*
/proc/loadavg: 1.27 1.34 1.36 3/215 15431
/proc/meminfo: memFree=30748908/32770624 swapFree=67108860/67108860
[pid=15415] ppid=15412 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15415/stat : 15415 (xcsp3-exec) S 15412 15415 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 71295037 9740288 345 18446744073709551615 4194304 5098028 140729629715952 140729629714056 140455386051196 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 27656192 140729629720952 140729629721157 140729629721157 140729629724651 0
/proc/15415/statm: 2378 345 289 221 0 87 0
[pid=15417] ppid=15415 vsize=13974352 memory=24084 CPUtime=0.07 cores=1,3,5,7
/proc/15417/stat : 15417 (java) S 15415 15415 897 0 -1 1077944320 4975 0 0 0 6 1 0 0 20 0 15 0 71295046 14309736448 6021 18446744073709551615 4194304 4196468 140731157238560 140731157221104 140009603301111 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
/proc/15417/statm: 3493588 6021 2728 1 0 3482964 0
[pid=15417/tid=15418] ppid=15415 vsize=13974352 memory=8390339637985935414 CPUtime=0.05 cores=1,3,5,7
/proc/15417/task/15418/stat : 15418 (java) R 15415 15415 897 0 -1 4202560 3132 0 0 0 5 0 0 0 20 0 15 0 71295047 14309736448 6021 18446744073709551615 4194304 4196468 140731157238560 140009607526800 140009587381598 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15419] ppid=15415 vsize=13974352 memory=307370894534390116 CPUtime=0 cores=1,3,5,7
/proc/15417/task/15419/stat : 15419 (java) S 15415 15415 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71295047 14309736448 6021 18446744073709551615 4194304 4196468 140731157238560 140009560267792 140009603311317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15420] ppid=15415 vsize=13974352 memory=140104610190117 CPUtime=0 cores=1,3,5,7
/proc/15417/task/15420/stat : 15420 (java) S 15415 15415 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71295047 14309736448 6021 18446744073709551615 4194304 4196468 140731157238560 140009202183312 140009603311317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15421] ppid=15415 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15417/task/15421/stat : 15421 (java) S 15415 15415 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71295047 14309736448 6021 18446744073709551615 4194304 4196468 140731157238560 140009201130256 140009603311317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15422] ppid=15415 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15417/task/15422/stat : 15422 (java) S 15415 15415 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71295047 14309736448 6021 18446744073709551615 4194304 4196468 140731157238560 140009200077712 140009603311317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15423] ppid=15415 vsize=13974352 memory=140104610174592 CPUtime=0 cores=1,3,5,7
/proc/15417/task/15423/stat : 15423 (java) S 15415 15415 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71295049 14309736448 6021 18446744073709551615 4194304 4196468 140731157238560 140009081370864 140009603312258 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15424] ppid=15415 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15417/task/15424/stat : 15424 (java) S 15415 15415 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 71295049 14309736448 6021 18446744073709551615 4194304 4196468 140731157238560 140009080317088 140009603311317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15425] ppid=15415 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15417/task/15425/stat : 15425 (java) S 15415 15415 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71295049 14309736448 6021 18446744073709551615 4194304 4196468 140731157238560 140009079263984 140009603311317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15426] ppid=15415 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15417/task/15426/stat : 15426 (java) S 15415 15415 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71295052 14309736448 6021 18446744073709551615 4194304 4196468 140731157238560 140009078212560 140009603319707 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15427] ppid=15415 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15417/task/15427/stat : 15427 (java) S 15415 15415 897 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 71295052 14309736448 6021 18446744073709551615 4194304 4196468 140731157238560 140009077160688 140009603312258 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15428] ppid=15415 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15417/task/15428/stat : 15428 (java) S 15415 15415 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71295052 14309736448 6021 18446744073709551615 4194304 4196468 140731157238560 140009076108144 140009603312258 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15429] ppid=15415 vsize=13974352 memory=140104610174592 CPUtime=0 cores=1,3,5,7
/proc/15417/task/15429/stat : 15429 (java) S 15415 15415 897 0 -1 1077944384 238 0 0 0 0 0 0 0 20 0 15 0 71295052 14309736448 6021 18446744073709551615 4194304 4196468 140731157238560 140009075055088 140009603312258 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15430] ppid=15415 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15417/task/15430/stat : 15430 (java) S 15415 15415 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71295052 14309736448 6021 18446744073709551615 4194304 4196468 140731157238560 140009074002784 140009603311317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15431] ppid=15415 vsize=13974352 memory=140104610174592 CPUtime=0 cores=1,3,5,7
/proc/15417/task/15431/stat : 15431 (java) S 15415 15415 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71295057 14309736448 6087 18446744073709551615 4194304 4196468 140731157238560 140009072949808 140009603312258 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 25464 KiB
[startup+0.310385 s]*
/proc/loadavg: 1.27 1.34 1.36 3/215 15431
/proc/meminfo: memFree=30732628/32770624 swapFree=67108860/67108860
[pid=15415] ppid=15412 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15415/stat : 15415 (xcsp3-exec) S 15412 15415 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 71295037 9740288 345 18446744073709551615 4194304 5098028 140729629715952 140729629714056 140455386051196 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 27656192 140729629720952 140729629721157 140729629721157 140729629724651 0
/proc/15415/statm: 2378 345 289 221 0 87 0
[pid=15417] ppid=15415 vsize=13974352 memory=36828 CPUtime=0.25 cores=1,3,5,7
/proc/15417/stat : 15417 (java) S 15415 15415 897 0 -1 1077944320 8822 0 0 0 23 2 0 0 20 0 15 0 71295046 14309736448 9207 18446744073709551615 4194304 4196468 140731157238560 140731157221104 140009603301111 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
/proc/15417/statm: 3493588 9207 2975 1 0 3482964 0
[pid=15417/tid=15418] ppid=15415 vsize=13974352 memory=8390339637985935414 CPUtime=0.16 cores=1,3,5,7
/proc/15417/task/15418/stat : 15418 (java) R 15415 15415 897 0 -1 4202560 6028 0 0 0 14 2 0 0 20 0 15 0 71295047 14309736448 9270 18446744073709551615 4194304 4196468 140731157238560 140009607499472 140009587381598 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15419] ppid=15415 vsize=13974352 memory=301741395000176996 CPUtime=0 cores=1,3,5,7
/proc/15417/task/15419/stat : 15419 (java) S 15415 15415 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71295047 14309736448 9270 18446744073709551615 4194304 4196468 140731157238560 140009560267792 140009603311317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15420] ppid=15415 vsize=13974352 memory=140104610190117 CPUtime=0 cores=1,3,5,7
/proc/15417/task/15420/stat : 15420 (java) S 15415 15415 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71295047 14309736448 9270 18446744073709551615 4194304 4196468 140731157238560 140009202183312 140009603311317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15421] ppid=15415 vsize=13974352 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/15417/task/15421/stat : 15421 (java) S 15415 15415 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71295047 14309736448 9270 18446744073709551615 4194304 4196468 140731157238560 140009201130256 140009603311317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15422] ppid=15415 vsize=13974352 memory=3472328279047811119 CPUtime=0 cores=1,3,5,7
/proc/15417/task/15422/stat : 15422 (java) S 15415 15415 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71295047 14309736448 9270 18446744073709551615 4194304 4196468 140731157238560 140009200077712 140009603311317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15423] ppid=15415 vsize=13974352 memory=4211961680151298039 CPUtime=0 cores=1,3,5,7
/proc/15417/task/15423/stat : 15423 (java) S 15415 15415 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71295049 14309736448 9270 18446744073709551615 4194304 4196468 140731157238560 140009081370864 140009603312258 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15424] ppid=15415 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15417/task/15424/stat : 15424 (java) S 15415 15415 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 71295049 14309736448 9270 18446744073709551615 4194304 4196468 140731157238560 140009080317088 140009603311317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15425] ppid=15415 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15417/task/15425/stat : 15425 (java) S 15415 15415 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71295049 14309736448 9270 18446744073709551615 4194304 4196468 140731157238560 140009079263984 140009603311317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15426] ppid=15415 vsize=13974352 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/15417/task/15426/stat : 15426 (java) S 15415 15415 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71295052 14309736448 9270 18446744073709551615 4194304 4196468 140731157238560 140009078212560 140009603319707 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15427] ppid=15415 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/15417/task/15427/stat : 15427 (java) S 15415 15415 897 0 -1 1077944384 705 0 0 0 2 0 0 0 20 0 15 0 71295052 14309736448 9270 18446744073709551615 4194304 4196468 140731157238560 140009077160688 140009603312258 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15428] ppid=15415 vsize=13974352 memory=3472328296227679279 CPUtime=0.01 cores=1,3,5,7
/proc/15417/task/15428/stat : 15428 (java) R 15415 15415 897 0 -1 4202560 68 0 0 0 1 0 0 0 20 0 15 0 71295052 14309736448 9270 18446744073709551615 4194304 4196468 140731157238560 140009076108144 140009595538238 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15429] ppid=15415 vsize=13974352 memory=140104610174592 CPUtime=0.05 cores=1,3,5,7
/proc/15417/task/15429/stat : 15429 (java) R 15415 15415 897 0 -1 1077944384 727 0 0 0 5 0 0 0 20 0 15 0 71295052 14309736448 9270 18446744073709551615 4194304 4196468 140731157238560 140009075055088 140009603312258 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15430] ppid=15415 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15417/task/15430/stat : 15430 (java) S 15415 15415 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71295052 14309736448 9270 18446744073709551615 4194304 4196468 140731157238560 140009074002784 140009603311317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15431] ppid=15415 vsize=13974352 memory=140104610174592 CPUtime=0 cores=1,3,5,7
/proc/15417/task/15431/stat : 15431 (java) S 15415 15415 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71295057 14309736448 9270 18446744073709551615 4194304 4196468 140731157238560 140009072949808 140009603312258 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38208 KiB
[startup+0.700808 s]
/proc/loadavg: 1.27 1.34 1.36 5/215 15431
/proc/meminfo: memFree=30715372/32770624 swapFree=67108860/67108860
[pid=15415] ppid=15412 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15415/stat : 15415 (xcsp3-exec) S 15412 15415 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 71295037 9740288 345 18446744073709551615 4194304 5098028 140729629715952 140729629714056 140455386051196 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 27656192 140729629720952 140729629721157 140729629721157 140729629724651 0
/proc/15415/statm: 2378 345 289 221 0 87 0
[pid=15417] ppid=15415 vsize=13978684 memory=86272 CPUtime=1.31 cores=1,3,5,7
/proc/15417/stat : 15417 (java) S 15415 15415 897 0 -1 1077944320 13165 0 0 0 127 4 0 0 20 0 15 0 71295046 14314172416 21568 18446744073709551615 4194304 4196468 140731157238560 140731157221104 140009603301111 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
/proc/15417/statm: 3494671 21568 3172 1 0 3482964 0
[pid=15417/tid=15418] ppid=15415 vsize=13978684 memory=7301550361408716898 CPUtime=0.54 cores=1,3,5,7
/proc/15417/task/15418/stat : 15418 (java) R 15415 15415 897 0 -1 4202560 7888 0 0 0 51 3 0 0 20 0 15 0 71295047 14314172416 21568 18446744073709551615 4194304 4196468 140731157238560 140009607533472 140009603313046 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15419] ppid=15415 vsize=13978684 memory=2452 CPUtime=0 cores=1,3,5,7
/proc/15417/task/15419/stat : 15419 (java) S 15415 15415 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71295047 14314172416 21568 18446744073709551615 4194304 4196468 140731157238560 140009560267792 140009603311317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15420] ppid=15415 vsize=13978684 memory=280208900896256 CPUtime=0 cores=1,3,5,7
/proc/15417/task/15420/stat : 15420 (java) S 15415 15415 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71295047 14314172416 21568 18446744073709551615 4194304 4196468 140731157238560 140009202183312 140009603311317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15421] ppid=15415 vsize=13978684 memory=24 CPUtime=0 cores=1,3,5,7
/proc/15417/task/15421/stat : 15421 (java) S 15415 15415 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71295047 14314172416 21568 18446744073709551615 4194304 4196468 140731157238560 140009201130256 140009603311317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15422] ppid=15415 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15417/task/15422/stat : 15422 (java) S 15415 15415 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71295047 14314172416 21568 18446744073709551615 4194304 4196468 140731157238560 140009200077712 140009603311317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15423] ppid=15415 vsize=13978684 memory=326 CPUtime=0 cores=1,3,5,7
/proc/15417/task/15423/stat : 15423 (java) S 15415 15415 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71295049 14314172416 21568 18446744073709551615 4194304 4196468 140731157238560 140009081370864 140009603312258 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15424] ppid=15415 vsize=13978684 memory=271 CPUtime=0 cores=1,3,5,7
/proc/15417/task/15424/stat : 15424 (java) S 15415 15415 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 71295049 14314172416 21568 18446744073709551615 4194304 4196468 140731157238560 140009080317088 140009603311317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15425] ppid=15415 vsize=13978684 memory=918 CPUtime=0 cores=1,3,5,7
/proc/15417/task/15425/stat : 15425 (java) S 15415 15415 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71295049 14314172416 21568 18446744073709551615 4194304 4196468 140731157238560 140009079263984 140009603311317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15426] ppid=15415 vsize=13978684 memory=244 CPUtime=0 cores=1,3,5,7
/proc/15417/task/15426/stat : 15426 (java) S 15415 15415 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71295052 14314172416 21568 18446744073709551615 4194304 4196468 140731157238560 140009078212560 140009603319707 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15427] ppid=15415 vsize=13978684 memory=60 CPUtime=0.24 cores=1,3,5,7
/proc/15417/task/15427/stat : 15427 (java) R 15415 15415 897 0 -1 4202560 1386 0 0 0 24 0 0 0 20 0 15 0 71295052 14314172416 21568 18446744073709551615 4194304 4196468 140731157238560 140009077148832 140009586711912 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15428] ppid=15415 vsize=13978684 memory=4116 CPUtime=0.23 cores=1,3,5,7
/proc/15417/task/15428/stat : 15428 (java) R 15415 15415 897 0 -1 4202560 1066 0 0 0 23 0 0 0 20 0 15 0 71295052 14314172416 21568 18446744073709551615 4194304 4196468 140731157238560 140009076096704 140009587693491 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15429] ppid=15415 vsize=13978684 memory=6657 CPUtime=0.28 cores=1,3,5,7
/proc/15417/task/15429/stat : 15429 (java) R 15415 15415 897 0 -1 1077944384 1516 0 0 0 28 0 0 0 20 0 15 0 71295052 14314172416 21568 18446744073709551615 4194304 4196468 140731157238560 140009075055088 140009603312258 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15430] ppid=15415 vsize=13978684 memory=4420 CPUtime=0 cores=1,3,5,7
/proc/15417/task/15430/stat : 15430 (java) S 15415 15415 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71295052 14314172416 21568 18446744073709551615 4194304 4196468 140731157238560 140009074002784 140009603311317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15431] ppid=15415 vsize=13978684 memory=6628 CPUtime=0 cores=1,3,5,7
/proc/15417/task/15431/stat : 15431 (java) S 15415 15415 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71295057 14314172416 21568 18446744073709551615 4194304 4196468 140731157238560 140009072949808 140009603312258 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
Current children cumulated CPU time: 1.31 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 87652 KiB
[startup+1.50084 s]
/proc/loadavg: 1.27 1.34 1.36 3/215 15431
/proc/meminfo: memFree=30669268/32770624 swapFree=67108860/67108860
[pid=15415] ppid=15412 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15415/stat : 15415 (xcsp3-exec) S 15412 15415 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 71295037 9740288 345 18446744073709551615 4194304 5098028 140729629715952 140729629714056 140455386051196 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 27656192 140729629720952 140729629721157 140729629721157 140729629724651 0
/proc/15415/statm: 2378 345 289 221 0 87 0
[pid=15417] ppid=15415 vsize=13980732 memory=140028 CPUtime=3 cores=1,3,5,7
/proc/15417/stat : 15417 (java) S 15415 15415 897 0 -1 1077944320 19073 0 0 0 294 6 0 0 20 0 15 0 71295046 14316269568 35007 18446744073709551615 4194304 4196468 140731157238560 140731157221104 140009603301111 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
/proc/15417/statm: 3495183 35007 3196 1 0 3483476 0
[pid=15417/tid=15418] ppid=15415 vsize=13980732 memory=0 CPUtime=1.33 cores=1,3,5,7
/proc/15417/task/15418/stat : 15418 (java) R 15415 15415 897 0 -1 4202560 10181 0 0 0 129 4 0 0 20 0 15 0 71295047 14316269568 35007 18446744073709551615 4194304 4196468 140731157238560 140009607536696 140009245077455 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15419] ppid=15415 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15417/task/15419/stat : 15419 (java) S 15415 15415 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71295047 14316269568 35007 18446744073709551615 4194304 4196468 140731157238560 140009560267792 140009603311317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15420] ppid=15415 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15417/task/15420/stat : 15420 (java) S 15415 15415 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71295047 14316269568 35007 18446744073709551615 4194304 4196468 140731157238560 140009202183312 140009603311317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15421] ppid=15415 vsize=13980732 memory=206308754094194 CPUtime=0 cores=1,3,5,7
/proc/15417/task/15421/stat : 15421 (java) S 15415 15415 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71295047 14316269568 35007 18446744073709551615 4194304 4196468 140731157238560 140009201130256 140009603311317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15422] ppid=15415 vsize=13980732 memory=280208900893856 CPUtime=0 cores=1,3,5,7
/proc/15417/task/15422/stat : 15422 (java) S 15415 15415 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71295047 14316269568 35007 18446744073709551615 4194304 4196468 140731157238560 140009200077712 140009603311317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15423] ppid=15415 vsize=13980732 memory=56 CPUtime=0 cores=1,3,5,7
/proc/15417/task/15423/stat : 15423 (java) S 15415 15415 897 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 71295049 14316269568 35007 18446744073709551615 4194304 4196468 140731157238560 140009081370864 140009603312258 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15424] ppid=15415 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15417/task/15424/stat : 15424 (java) S 15415 15415 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 71295049 14316269568 35007 18446744073709551615 4194304 4196468 140731157238560 140009080317088 140009603311317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15425] ppid=15415 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/15417/task/15425/stat : 15425 (java) S 15415 15415 897 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 15 0 71295049 14318366720 245130 18446744073709551615 4194304 4196468 140731157238560 140009079264000 140009603311317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15426] ppid=15415 vsize=13982780 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15417/task/15426/stat : 15426 (java) S 15415 15415 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71295052 14318366720 245130 18446744073709551615 4194304 4196468 140731157238560 140009078212560 140009603319707 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15427] ppid=15415 vsize=13982780 memory=4116 CPUtime=4.94 cores=1,3,5,7
/proc/15417/task/15427/stat : 15427 (java) S 15415 15415 897 0 -1 1077944384 23781 0 0 0 492 2 0 0 20 0 15 0 71295052 14318366720 245130 18446744073709551615 4194304 4196468 140731157238560 140009077160688 140009603312258 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15428] ppid=15415 vsize=13982780 memory=39840 CPUtime=6.5 cores=1,3,5,7
/proc/15417/task/15428/stat : 15428 (java) S 15415 15415 897 0 -1 1077944384 39077 0 0 0 646 4 0 0 20 0 15 0 71295052 14318366720 245130 18446744073709551615 4194304 4196468 140731157238560 140009076108144 140009603312258 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15429] ppid=15415 vsize=13982780 memory=1240 CPUtime=1.04 cores=1,3,5,7
/proc/15417/task/15429/stat : 15429 (java) S 15415 15415 897 0 -1 1077944384 13094 0 0 0 102 2 0 0 20 0 15 0 71295052 14318366720 245130 18446744073709551615 4194304 4196468 140731157238560 140009075055088 140009603312258 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15430] ppid=15415 vsize=13982780 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15417/task/15430/stat : 15430 (java) S 15415 15415 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71295052 14318366720 245130 18446744073709551615 4194304 4196468 140731157238560 140009074002784 140009603311317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15431] ppid=15415 vsize=13982780 memory=1380 CPUtime=1.02 cores=1,3,5,7
/proc/15417/task/15431/stat : 15431 (java) S 15415 15415 897 0 -1 1077944384 1855 0 0 0 48 54 0 0 20 0 15 0 71295057 14318366720 245130 18446744073709551615 4194304 4196468 140731157238560 140009072949808 140009603312258 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
Current children cumulated CPU time: 2374.82 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 981900 KiB
[startup+2382.3 s]
/proc/loadavg: 1.38 1.51 1.57 3/215 15599
/proc/meminfo: memFree=29624928/32770624 swapFree=67108860/67108860
[pid=15415] ppid=15412 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15415/stat : 15415 (xcsp3-exec) S 15412 15415 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 71295037 9740288 345 18446744073709551615 4194304 5098028 140729629715952 140729629714056 140455386051196 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 27656192 140729629720952 140729629721157 140729629721157 140729629724651 0
/proc/15415/statm: 2378 345 289 221 0 87 0
[pid=15417] ppid=15415 vsize=13982780 memory=1046368 CPUtime=2437.41 cores=1,3,5,7
/proc/15417/stat : 15417 (java) S 15415 15415 897 0 -1 1077944320 250696 0 0 0 243430 311 0 0 20 0 15 0 71295046 14318366720 261592 18446744073709551615 4194304 4196468 140731157238560 140731157221104 140009603301111 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
/proc/15417/statm: 3495695 261592 3269 1 0 3483988 0
[pid=15417/tid=15418] ppid=15415 vsize=13982780 memory=1046368 CPUtime=2367.48 cores=1,3,5,7
/proc/15417/task/15418/stat : 15418 (java) R 15415 15415 897 0 -1 4202560 76762 0 0 0 236729 19 0 0 20 0 15 0 71295047 14318366720 261592 18446744073709551615 4194304 4196468 140731157238560 140009607540784 140009247919497 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15419] ppid=15415 vsize=13982780 memory=1021760 CPUtime=13.88 cores=1,3,5,7
/proc/15417/task/15419/stat : 15419 (java) S 15415 15415 897 0 -1 1077944384 14328 0 0 0 1331 57 0 0 20 0 15 0 71295047 14318366720 261592 18446744073709551615 4194304 4196468 140731157238560 140009560267792 140009603311317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15420] ppid=15415 vsize=13982780 memory=1021760 CPUtime=13.9 cores=1,3,5,7
/proc/15417/task/15420/stat : 15420 (java) S 15415 15415 897 0 -1 1077944384 15900 0 0 0 1333 57 0 0 20 0 15 0 71295047 14318366720 261592 18446744073709551615 4194304 4196468 140731157238560 140009202183312 140009603311317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15421] ppid=15415 vsize=13982780 memory=1380 CPUtime=13.96 cores=1,3,5,7
/proc/15417/task/15421/stat : 15421 (java) S 15415 15415 897 0 -1 1077944384 14484 0 0 0 1335 61 0 0 20 0 15 0 71295047 14318366720 261592 18446744073709551615 4194304 4196468 140731157238560 140009201130256 140009603311317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15422] ppid=15415 vsize=13982780 memory=1046368 CPUtime=13.9 cores=1,3,5,7
/proc/15417/task/15422/stat : 15422 (java) S 15415 15415 897 0 -1 1077944384 14884 0 0 0 1334 56 0 0 20 0 15 0 71295047 14318366720 261592 18446744073709551615 4194304 4196468 140731157238560 140009200077712 140009603311317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15423] ppid=15415 vsize=13982780 memory=1046368 CPUtime=0.65 cores=1,3,5,7
/proc/15417/task/15423/stat : 15423 (java) S 15415 15415 897 0 -1 1077944384 35108 0 0 0 58 7 0 0 20 0 15 0 71295049 14318366720 261592 18446744073709551615 4194304 4196468 140731157238560 140009081370864 140009603312258 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15424] ppid=15415 vsize=13982780 memory=1007364 CPUtime=0 cores=1,3,5,7
/proc/15417/task/15424/stat : 15424 (java) S 15415 15415 897 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 71295049 14318366720 261592 18446744073709551615 4194304 4196468 140731157238560 140009080317152 140009603311317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15425] ppid=15415 vsize=13982780 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15417/task/15425/stat : 15425 (java) S 15415 15415 897 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 15 0 71295049 14318366720 261592 18446744073709551615 4194304 4196468 140731157238560 140009079264000 140009603311317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15426] ppid=15415 vsize=13982780 memory=986820 CPUtime=0 cores=1,3,5,7
/proc/15417/task/15426/stat : 15426 (java) S 15415 15415 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71295052 14318366720 261592 18446744073709551615 4194304 4196468 140731157238560 140009078212560 140009603319707 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15427] ppid=15415 vsize=13982780 memory=1380 CPUtime=4.94 cores=1,3,5,7
/proc/15417/task/15427/stat : 15427 (java) S 15415 15415 897 0 -1 1077944384 23783 0 0 0 492 2 0 0 20 0 15 0 71295052 14318366720 261592 18446744073709551615 4194304 4196468 140731157238560 140009077160688 140009603312258 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15428] ppid=15415 vsize=13982780 memory=1046368 CPUtime=6.5 cores=1,3,5,7
/proc/15417/task/15428/stat : 15428 (java) S 15415 15415 897 0 -1 1077944384 39080 0 0 0 646 4 0 0 20 0 15 0 71295052 14318366720 261592 18446744073709551615 4194304 4196468 140731157238560 140009076108144 140009603312258 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15429] ppid=15415 vsize=13982780 memory=1380 CPUtime=1.04 cores=1,3,5,7
/proc/15417/task/15429/stat : 15429 (java) S 15415 15415 897 0 -1 1077944384 13096 0 0 0 102 2 0 0 20 0 15 0 71295052 14318366720 261592 18446744073709551615 4194304 4196468 140731157238560 140009075055088 140009603312258 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15430] ppid=15415 vsize=13982780 memory=15880 CPUtime=0 cores=1,3,5,7
/proc/15417/task/15430/stat : 15430 (java) S 15415 15415 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71295052 14318366720 261592 18446744073709551615 4194304 4196468 140731157238560 140009074002784 140009603311317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15431] ppid=15415 vsize=13982780 memory=22268 CPUtime=1.06 cores=1,3,5,7
/proc/15417/task/15431/stat : 15431 (java) S 15415 15415 897 0 -1 1077944384 1870 0 0 0 50 56 0 0 20 0 15 0 71295057 14318366720 261592 18446744073709551615 4194304 4196468 140731157238560 140009072949808 140009603312258 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
Current children cumulated CPU time: 2437.41 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 1047748 KiB
[startup+2442.3 s]
/proc/loadavg: 1.41 1.49 1.56 3/212 15681
/proc/meminfo: memFree=29245220/32770624 swapFree=67108860/67108860
[pid=15415] ppid=15412 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15415/stat : 15415 (xcsp3-exec) S 15412 15415 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 71295037 9740288 345 18446744073709551615 4194304 5098028 140729629715952 140729629714056 140455386051196 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 27656192 140729629720952 140729629721157 140729629721157 140729629724651 0
/proc/15415/statm: 2378 345 289 221 0 87 0
[pid=15417] ppid=15415 vsize=13982780 memory=1315412 CPUtime=2499.65 cores=1,3,5,7
/proc/15417/stat : 15417 (java) S 15415 15415 897 0 -1 1077944320 254385 0 0 0 249631 334 0 0 20 0 15 0 71295046 14318366720 328853 18446744073709551615 4194304 4196468 140731157238560 140731157221104 140009603301111 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
/proc/15417/statm: 3495695 328853 3269 1 0 3483988 0
[pid=15417/tid=15418] ppid=15415 vsize=13982780 memory=1315412 CPUtime=2426.72 cores=1,3,5,7
/proc/15417/task/15418/stat : 15418 (java) R 15415 15415 897 0 -1 4202560 78277 0 0 0 242652 20 0 0 20 0 15 0 71295047 14318366720 328853 18446744073709551615 4194304 4196468 140731157238560 140009607540784 140009246931443 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15419] ppid=15415 vsize=13982780 memory=1315412 CPUtime=14.62 cores=1,3,5,7
/proc/15417/task/15419/stat : 15419 (java) S 15415 15415 897 0 -1 1077944384 14571 0 0 0 1400 62 0 0 20 0 15 0 71295047 14318366720 328853 18446744073709551615 4194304 4196468 140731157238560 140009560267792 140009603311317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15420] ppid=15415 vsize=13982780 memory=1284448 CPUtime=14.63 cores=1,3,5,7
/proc/15417/task/15420/stat : 15420 (java) S 15415 15415 897 0 -1 1077944384 16120 0 0 0 1401 62 0 0 20 0 15 0 71295047 14318366720 328853 18446744073709551615 4194304 4196468 140731157238560 140009202183312 140009603311317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15421] ppid=15415 vsize=13982780 memory=1284448 CPUtime=14.7 cores=1,3,5,7
/proc/15417/task/15421/stat : 15421 (java) S 15415 15415 897 0 -1 1077944384 15007 0 0 0 1405 65 0 0 20 0 15 0 71295047 14318366720 328853 18446744073709551615 4194304 4196468 140731157238560 140009201130256 140009603311317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15422] ppid=15415 vsize=13982780 memory=1315412 CPUtime=14.64 cores=1,3,5,7
/proc/15417/task/15422/stat : 15422 (java) S 15415 15415 897 0 -1 1077944384 15075 0 0 0 1402 62 0 0 20 0 15 0 71295047 14318366720 328853 18446744073709551615 4194304 4196468 140731157238560 140009200077712 140009603311317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15423] ppid=15415 vsize=13982780 memory=1315412 CPUtime=0.67 cores=1,3,5,7
/proc/15417/task/15423/stat : 15423 (java) S 15415 15415 897 0 -1 1077944384 36101 0 0 0 59 8 0 0 20 0 15 0 71295049 14318366720 328853 18446744073709551615 4194304 4196468 140731157238560 140009081370864 140009603312258 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15424] ppid=15415 vsize=13982780 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15417/task/15424/stat : 15424 (java) S 15415 15415 897 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 71295049 14318366720 328853 18446744073709551615 4194304 4196468 140731157238560 140009080317152 140009603311317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15425] ppid=15415 vsize=13982780 memory=1315412 CPUtime=0 cores=1,3,5,7
/proc/15417/task/15425/stat : 15425 (java) S 15415 15415 897 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 15 0 71295049 14318366720 328853 18446744073709551615 4194304 4196468 140731157238560 140009079264000 140009603311317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15426] ppid=15415 vsize=13982780 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15417/task/15426/stat : 15426 (java) S 15415 15415 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71295052 14318366720 328853 18446744073709551615 4194304 4196468 140731157238560 140009078212560 140009603319707 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15427] ppid=15415 vsize=13982780 memory=1315412 CPUtime=4.94 cores=1,3,5,7
/proc/15417/task/15427/stat : 15427 (java) S 15415 15415 897 0 -1 1077944384 23783 0 0 0 492 2 0 0 20 0 15 0 71295052 14318366720 328853 18446744073709551615 4194304 4196468 140731157238560 140009077160688 140009603312258 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15428] ppid=15415 vsize=13982780 memory=1315412 CPUtime=6.5 cores=1,3,5,7
/proc/15417/task/15428/stat : 15428 (java) S 15415 15415 897 0 -1 1077944384 39080 0 0 0 646 4 0 0 20 0 15 0 71295052 14318366720 328853 18446744073709551615 4194304 4196468 140731157238560 140009076108144 140009603312258 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15429] ppid=15415 vsize=13982780 memory=1380 CPUtime=1.04 cores=1,3,5,7
/proc/15417/task/15429/stat : 15429 (java) S 15415 15415 897 0 -1 1077944384 13096 0 0 0 102 2 0 0 20 0 15 0 71295052 14318366720 328853 18446744073709551615 4194304 4196468 140731157238560 140009075055088 140009603312258 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15430] ppid=15415 vsize=13982780 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15417/task/15430/stat : 15430 (java) S 15415 15415 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71295052 14318366720 328853 18446744073709551615 4194304 4196468 140731157238560 140009074002784 140009603311317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15431] ppid=15415 vsize=13982780 memory=1380 CPUtime=1.08 cores=1,3,5,7
/proc/15417/task/15431/stat : 15431 (java) S 15415 15415 897 0 -1 1077944384 1874 0 0 0 51 57 0 0 20 0 15 0 71295057 14318366720 328853 18446744073709551615 4194304 4196468 140731157238560 140009072949808 140009603312258 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
Current children cumulated CPU time: 2499.65 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 1316792 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2462.6 s]
/proc/loadavg: 1.43 1.49 1.56 3/212 15682
/proc/meminfo: memFree=29195128/32770624 swapFree=67108860/67108860
[pid=15415] ppid=15412 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15415/stat : 15415 (xcsp3-exec) S 15412 15415 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 71295037 9740288 345 18446744073709551615 4194304 5098028 140729629715952 140729629714056 140455386051196 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 27656192 140729629720952 140729629721157 140729629721157 140729629724651 0
/proc/15415/statm: 2378 345 289 221 0 87 0
[pid=15417] ppid=15415 vsize=13982780 memory=1339512 CPUtime=2520.06 cores=1,3,5,7
/proc/15417/stat : 15417 (java) S 15415 15415 897 0 -1 1077944320 254796 0 0 0 251668 338 0 0 20 0 15 0 71295046 14318366720 334878 18446744073709551615 4194304 4196468 140731157238560 140731157221104 140009603301111 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
/proc/15417/statm: 3495695 334878 3269 1 0 3483988 0
[pid=15417/tid=15418] ppid=15415 vsize=13982780 memory=10164 CPUtime=2446.99 cores=1,3,5,7
/proc/15417/task/15418/stat : 15418 (java) R 15415 15415 897 0 -1 4202560 78333 0 0 0 244678 21 0 0 20 0 15 0 71295047 14318366720 334878 18446744073709551615 4194304 4196468 140731157238560 140009607540352 140009247964560 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15419] ppid=15415 vsize=13982780 memory=1440 CPUtime=14.65 cores=1,3,5,7
/proc/15417/task/15419/stat : 15419 (java) S 15415 15415 897 0 -1 1077944384 14818 0 0 0 1402 63 0 0 20 0 15 0 71295047 14318366720 334878 18446744073709551615 4194304 4196468 140731157238560 140009560267792 140009603311317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15420] ppid=15415 vsize=13982780 memory=2000 CPUtime=14.67 cores=1,3,5,7
/proc/15417/task/15420/stat : 15420 (java) S 15415 15415 897 0 -1 1077944384 16157 0 0 0 1404 63 0 0 20 0 15 0 71295047 14318366720 334878 18446744073709551615 4194304 4196468 140731157238560 140009202183312 140009603311317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15421] ppid=15415 vsize=13982780 memory=1339512 CPUtime=14.73 cores=1,3,5,7
/proc/15417/task/15421/stat : 15421 (java) S 15415 15415 897 0 -1 1077944384 15035 0 0 0 1407 66 0 0 20 0 15 0 71295047 14318366720 334878 18446744073709551615 4194304 4196468 140731157238560 140009201130256 140009603311317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15422] ppid=15415 vsize=13982780 memory=22268 CPUtime=14.67 cores=1,3,5,7
/proc/15417/task/15422/stat : 15422 (java) S 15415 15415 897 0 -1 1077944384 15101 0 0 0 1404 63 0 0 20 0 15 0 71295047 14318366720 334878 18446744073709551615 4194304 4196468 140731157238560 140009200077712 140009603311317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15423] ppid=15415 vsize=13982780 memory=4044 CPUtime=0.67 cores=1,3,5,7
/proc/15417/task/15423/stat : 15423 (java) S 15415 15415 897 0 -1 1077944384 36116 0 0 0 59 8 0 0 20 0 15 0 71295049 14318366720 334878 18446744073709551615 4194304 4196468 140731157238560 140009081370864 140009603312258 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15424] ppid=15415 vsize=13982780 memory=640 CPUtime=0 cores=1,3,5,7
/proc/15417/task/15424/stat : 15424 (java) S 15415 15415 897 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 71295049 14318366720 334878 18446744073709551615 4194304 4196468 140731157238560 140009080317152 140009603311317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15425] ppid=15415 vsize=13982780 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/15417/task/15425/stat : 15425 (java) S 15415 15415 897 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 15 0 71295049 14318366720 334878 18446744073709551615 4194304 4196468 140731157238560 140009079264000 140009603311317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15426] ppid=15415 vsize=13982780 memory=3904 CPUtime=0 cores=1,3,5,7
/proc/15417/task/15426/stat : 15426 (java) S 15415 15415 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71295052 14318366720 334878 18446744073709551615 4194304 4196468 140731157238560 140009078212560 140009603319707 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15427] ppid=15415 vsize=13982780 memory=960 CPUtime=4.94 cores=1,3,5,7
/proc/15417/task/15427/stat : 15427 (java) S 15415 15415 897 0 -1 1077944384 23783 0 0 0 492 2 0 0 20 0 15 0 71295052 14318366720 334878 18446744073709551615 4194304 4196468 140731157238560 140009077160688 140009603312258 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15428] ppid=15415 vsize=13982780 memory=1240 CPUtime=6.5 cores=1,3,5,7
/proc/15417/task/15428/stat : 15428 (java) S 15415 15415 897 0 -1 1077944384 39080 0 0 0 646 4 0 0 20 0 15 0 71295052 14318366720 334878 18446744073709551615 4194304 4196468 140731157238560 140009076108144 140009603312258 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15429] ppid=15415 vsize=13982780 memory=4872558044660077418 CPUtime=1.04 cores=1,3,5,7
/proc/15417/task/15429/stat : 15429 (java) S 15415 15415 897 0 -1 1077944384 13096 0 0 0 102 2 0 0 20 0 15 0 71295052 14318366720 334878 18446744073709551615 4194304 4196468 140731157238560 140009075055088 140009603312258 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15430] ppid=15415 vsize=13982780 memory=10164 CPUtime=0 cores=1,3,5,7
/proc/15417/task/15430/stat : 15430 (java) S 15415 15415 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71295052 14318366720 334878 18446744073709551615 4194304 4196468 140731157238560 140009074002784 140009603311317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
[pid=15417/tid=15431] ppid=15415 vsize=13982780 memory=1380 CPUtime=1.09 cores=1,3,5,7
/proc/15417/task/15431/stat : 15431 (java) S 15415 15415 897 0 -1 1077944384 1876 0 0 0 51 58 0 0 20 0 15 0 71295057 14318366720 334878 18446744073709551615 4194304 4196468 140731157238560 140009072949808 140009603312258 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 17936384 140731157242289 140731157242465 140731157242465 140731157245903 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 1340892 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2462.61 s]
# the end of solver process 15415 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.001841 s
[startup+2462.62 s]
# the end of solver process 15417 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.7 s, system=3.39075 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): 2462.62
CPU time (s): 2520.09
CPU user time (s): 2516.7
CPU system time (s): 3.39075
CPU usage (%): 102.334
Max. virtual memory (cumulated for all children) (KiB): 13992292
Max. memory (cumulated for all children) (KiB): 1340892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.7
system time used= 3.39075
maximum resident set size= 1352284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 255477
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 63244
involuntary context switches= 2343
# summary of solver processes directly reported to runsolver:
# pid: 15415,15417
# total CPU time (s): 2520.09
# total CPU user time (s): 2516.7
# total CPU system time (s): 3.39075
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.7327 second user time and 24.9755 second system time
The end
Begin job on node125 at 2017-08-14 07:51:38 IDJOB=4272279 IDBENCH=115895 IDSOLVER=2664 FILE ID=node125/4272279-1502690744 RUNJOBID= node125-1502662595-11629 PBS_JOBID= Free space on /tmp= 62024 MiB SOLVER NAME= choco-solver 5a BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-44.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4272279-1502690744/watcher-4272279-1502690744 -o /tmp/evaluation-result-4272279-1502690744/solver-4272279-1502690744 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502662595-11629 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1612294265 HOME/instance-4272279-1502690744.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4997da7be544d89c7d7e917a89d7c5a2 RANDOM SEED=1612294265 node125.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30759960 kB MemAvailable: 31702212 kB Buffers: 292344 kB Cached: 944112 kB SwapCached: 0 kB Active: 984916 kB Inactive: 592624 kB Active(anon): 341292 kB Inactive(anon): 33100 kB Active(file): 643624 kB Inactive(file): 559524 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7832 kB Writeback: 4 kB AnonPages: 340424 kB Mapped: 61840 kB Shmem: 33444 kB Slab: 136076 kB SReclaimable: 109880 kB SUnreclaim: 26196 kB KernelStack: 3520 kB PageTables: 6376 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1203524 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 196608 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 62016 MiB End job on node125 at 2017-08-14 08:32:40