Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| OscaR - Hybrid 2017-07-26 | SAT (TO) | 3321 | 2520.1299 | 2467.6201 |
| Name | Vrp/Vrp-zinc-s1/ Vrp-A-n60-k9.xml |
| MD5SUM | 204525c81941dcb64589d695195e220f |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 1407 |
| Best CPU time to get the best result obtained on this benchmark | 2400.09 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 3660 |
| Number of constraints | 3599 |
| Number of domains | 3 |
| Minimum domain size | 1 |
| Maximum domain size | 101 |
| Distribution of domain sizes | [{"size":1,"count":60},{"size":2,"count":3540},{"size":101,"count":59}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 117 |
| Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":60},{"degree":2,"count":118},{"degree":4,"count":3422},{"degree":117,"count":59}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 59 |
| Distribution of constraint arities | [{"arity":1,"count":59},{"arity":3,"count":3422},{"arity":59,"count":118}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 59 |
| Distribution of constraint types | [{"type":"intension","count":59},{"type":"sum","count":3422},{"type":"count","count":118}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.25/0.38 c version: 2017-07-26 0.25/0.39 c seed: 1659244507 0.25/0.39 c timeout: 2520 0.25/0.39 c memlimit: 11000 0.25/0.39 c nbcore: 4 0.25/0.41 c Parsing instance... 3.28/1.47 c Parsing done, starting first complete search... 3.61/1.59 o 3967 3.92/1.61 o 3954 3.92/1.63 o 3917 3.92/1.68 o 3855 5.55/2.30 o 3850 5.55/2.30 o 3838 5.55/2.30 o 3836 5.55/2.30 o 3811 5.55/2.30 o 3793 5.55/2.30 o 3788 5.55/2.30 o 3786 6.82/3.46 c First complete search done, starting ALNS search... 60.07/54.37 o 3611 129.92/123.80 o 3487 182.09/175.73 o 3415 546.65/537.60 o 3348 1185.71/1164.21 o 3321 1796.22/1763.15 c ALNS done, starting second complete search 1796.22/1763.15 c Best operator: Random(2744)_ExtOriented(Max) with improvement of: 371 2520.08/2467.60 s SATISFIABLE 2520.08/2467.61 v <instantiation> 2520.08/2467.61 v <list> 2520.08/2467.61 v 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[0][46] x[0][47] x[0][48] x[0][49] x[0][50] x[0][51] x[0][52] x[0][53] x[0][54] x[0][55] x[0][56] x[0][57] x[0][58] x[0][59] 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[1][46] x[1][47] x[1][48] x[1][49] x[1][50] x[1][51] x[1][52] x[1][53] x[1][54] x[1][55] x[1][56] x[1][57] x[1][58] x[1][59] 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[2][46] x[2][47] x[2][48] x[2][49] x[2][50] x[2][51] x[2][52] x[2][53] x[2][54] x[2][55] x[2][56] x[2][57] x[2][58] x[2][59] 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[3][46] x[3][47] x[3][48] x[3][49] x[3][50] x[3][51] x[3][52] x[3][53] x[3][54] x[3][55] x[3][56] x[3][57] x[3][58] x[3][59] 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[4][46] x[4][47] x[4][48] x[4][49] x[4][50] x[4][51] x[4][52] x[4][53] x[4][54] x[4][55] x[4][56] x[4][57] x[4][58] x[4][59] 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[5][46] x[5][47] x[5][48] x[5][49] x[5][50] x[5][51] x[5][52] x[5][53] x[5][54] x[5][55] x[5][56] x[5][57] x[5][58] x[5][59] 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[6][46] x[6][47] x[6][48] x[6][49] x[6][50] x[6][51] x[6][52] x[6][53] x[6][54] x[6][55] x[6][56] x[6][57] x[6][58] x[6][59] 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[7][46] x[7][47] x[7][48] x[7][49] x[7][50] x[7][51] x[7][52] x[7][53] x[7][54] x[7][55] x[7][56] x[7][57] x[7][58] x[7][59] 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[8][46] x[8][47] x[8][48] x[8][49] x[8][50] x[8][51] x[8][52] x[8][53] x[8][54] x[8][55] x[8][56] x[8][57] x[8][58] x[8][59] 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[9][46] x[9][47] x[9][48] x[9][49] x[9][50] x[9][51] x[9][52] x[9][53] x[9][54] x[9][55] x[9][56] x[9][57] x[9][58] x[9][59] 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[10][46] x[10][47] x[10][48] x[10][49] x[10][50] x[10][51] x[10][52] x[10][53] x[10][54] x[10][55] x[10][56] x[10][57] x[10][58] x[10][59] 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[11][46] x[11][47] x[11][48] x[11][49] x[11][50] x[11][51] x[11][52] x[11][53] x[11][54] x[11][55] x[11][56] x[11][57] x[11][58] x[11][59] 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[12][46] x[12][47] x[12][48] x[12][49] x[12][50] x[12][51] x[12][52] x[12][53] x[12][54] x[12][55] x[12][56] x[12][57] x[12][58] x[12][59] 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[13][46] x[13][47] x[13][48] x[13][49] x[13][50] x[13][51] x[13][52] x[13][53] x[13][54] x[13][55] x[13][56] x[13][57] x[13][58] x[13][59] 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[14][46] x[14][47] x[14][48] x[14][49] x[14][50] x[14][51] x[14][52] x[14][53] x[14][54] x[14][55] x[14][56] x[14][57] x[14][58] x[14][59] 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[15][46] x[15][47] x[15][48] x[15][49] x[15][50] x[15][51] x[15][52] x[15][53] x[15][54] x[15][55] x[15][56] x[15][57] x[15][58] x[15][59] 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[16][46] x[16][47] x[16][48] x[16][49] x[16][50] x[16][51] x[16][52] x[16][53] x[16][54] x[16][55] x[16][56] x[16][57] x[16][58] x[16][59] 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[17][46] x[17][47] x[17][48] x[17][49] x[17][50] x[17][51] x[17][52] x[17][53] x[17][54] x[17][55] x[17][56] x[17][57] x[17][58] x[17][59] 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[18][46] x[18][47] x[18][48] x[18][49] x[18][50] x[18][51] x[18][52] x[18][53] x[18][54] x[18][55] x[18][56] x[18][57] x[18][58] x[18][59] 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[19][46] x[19][47] x[19][48] x[19][49] x[19][50] x[19][51] x[19][52] x[19][53] x[19][54] x[19][55] x[19][56] x[19][57] x[19][58] x[19][59] 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[20][46] x[20][47] x[20][48] x[20][49] x[20][50] x[20][51] x[20][52] x[20][53] x[20][54] x[20][55] x[20][56] x[20][57] x[20][58] x[20][59] 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[21][46] x[21][47] x[21][48] x[21][49] x[21][50] x[21][51] x[21][52] x[21][53] x[21][54] x[21][55] x[21][56] x[21][57] x[21][58] x[21][59] 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[22][46] x[22][47] x[22][48] x[22][49] x[22][50] x[22][51] x[22][52] x[22][53] x[22][54] x[22][55] x[22][56] x[22][57] x[22][58] x[22][59] 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[23][46] x[23][47] x[23][48] x[23][49] x[23][50] x[23][51] x[23][52] x[23][53] x[23][54] x[23][55] x[23][56] x[23][57] x[23][58] x[23][59] 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[24][46] x[24][47] x[24][48] x[24][49] x[24][50] x[24][51] x[24][52] x[24][53] x[24][54] x[24][55] x[24][56] x[24][57] x[24][58] x[24][59] 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[25][46] x[25][47] x[25][48] x[25][49] x[25][50] x[25][51] x[25][52] x[25][53] x[25][54] x[25][55] x[25][56] x[25][57] x[25][58] x[25][59] 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[26][46] x[26][47] x[26][48] x[26][49] x[26][50] x[26][51] x[26][52] x[26][53] x[26][54] x[26][55] x[26][56] x[26][57] x[26][58] x[26][59] 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[27][46] x[27][47] x[27][48] x[27][49] x[27][50] x[27][51] x[27][52] x[27][53] x[27][54] x[27][55] x[27][56] x[27][57] x[27][58] x[27][59] 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[28][46] x[28][47] x[28][48] x[28][49] x[28][50] x[28][51] x[28][52] x[28][53] x[28][54] x[28][55] x[28][56] x[28][57] x[28][58] x[28][59] 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[29][46] x[29][47] x[29][48] x[29][49] x[29][50] x[29][51] x[29][52] x[29][53] x[29][54] x[29][55] x[29][56] x[29][57] x[29][58] x[29][59] 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[30][46] x[30][47] x[30][48] x[30][49] x[30][50] x[30][51] x[30][52] x[30][53] x[30][54] x[30][55] x[30][56] x[30][57] x[30][58] x[30][59] 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[31][46] x[31][47] x[31][48] x[31][49] x[31][50] x[31][51] x[31][52] x[31][53] x[31][54] x[31][55] x[31][56] x[31][57] x[31][58] x[31][59] 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[32][46] x[32][47] x[32][48] x[32][49] x[32][50] x[32][51] x[32][52] x[32][53] x[32][54] x[32][55] x[32][56] x[32][57] x[32][58] x[32][59] 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[33][46] x[33][47] x[33][48] x[33][49] x[33][50] x[33][51] x[33][52] x[33][53] x[33][54] x[33][55] x[33][56] x[33][57] x[33][58] x[33][59] 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[34][46] x[34][47] x[34][48] x[34][49] x[34][50] x[34][51] x[34][52] x[34][53] x[34][54] x[34][55] x[34][56] x[34][57] x[34][58] x[34][59] 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[35][46] x[35][47] x[35][48] x[35][49] x[35][50] x[35][51] x[35][52] x[35][53] x[35][54] x[35][55] x[35][56] x[35][57] x[35][58] x[35][59] 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[36][46] x[36][47] x[36][48] x[36][49] x[36][50] x[36][51] x[36][52] x[36][53] x[36][54] x[36][55] x[36][56] x[36][57] x[36][58] x[36][59] 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[37][46] x[37][47] x[37][48] x[37][49] x[37][50] x[37][51] x[37][52] x[37][53] x[37][54] x[37][55] x[37][56] x[37][57] x[37][58] x[37][59] 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[38][46] x[38][47] x[38][48] x[38][49] x[38][50] x[38][51] x[38][52] x[38][53] x[38][54] x[38][55] x[38][56] x[38][57] x[38][58] x[38][59] 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[39][46] x[39][47] x[39][48] x[39][49] x[39][50] x[39][51] x[39][52] x[39][53] x[39][54] x[39][55] x[39][56] x[39][57] x[39][58] x[39][59] 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[40][46] x[40][47] x[40][48] x[40][49] x[40][50] x[40][51] x[40][52] x[40][53] x[40][54] x[40][55] x[40][56] x[40][57] x[40][58] x[40][59] 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[41][46] x[41][47] x[41][48] x[41][49] x[41][50] x[41][51] x[41][52] x[41][53] x[41][54] x[41][55] x[41][56] x[41][57] x[41][58] x[41][59] 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[42][46] x[42][47] x[42][48] x[42][49] x[42][50] x[42][51] x[42][52] x[42][53] x[42][54] x[42][55] x[42][56] x[42][57] x[42][58] x[42][59] 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[43][46] x[43][47] x[43][48] x[43][49] x[43][50] x[43][51] x[43][52] x[43][53] x[43][54] x[43][55] x[43][56] x[43][57] x[43][58] x[43][59] 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[44][46] x[44][47] x[44][48] x[44][49] x[44][50] x[44][51] x[44][52] x[44][53] x[44][54] x[44][55] x[44][56] x[44][57] x[44][58] x[44][59] 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] x[45][46] x[45][47] x[45][48] x[45][49] x[45][50] x[45][51] x[45][52] x[45][53] x[45][54] x[45][55] x[45][56] x[45][57] x[45][58] x[45][59] x[46][0] x[46][1] x[46][2] x[46][3] x[46][4] x[46][5] x[46][6] x[46][7] x[46][8] x[46][9] x[46][10] x[46][11] x[46][12] x[46][13] x[46][14] x[46][15] x[46][16] x[46][17] x[46][18] x[46][19] x[46][20] x[46][21] x[46][22] x[46][23] x[46][24] x[46][25] x[46][26] x[46][27] x[46][28] x[46][29] x[46][30] x[46][31] x[46][32] x[46][33] x[46][34] x[46][35] x[46][36] x[46][37] x[46][38] x[46][39] x[46][40] x[46][41] x[46][42] x[46][43] x[46][44] x[46][45] x[46][46] x[46][47] x[46][48] x[46][49] x[46][50] x[46][51] x[46][52] x[46][53] x[46][54] x[46][55] x[46][56] x[46][57] x[46][58] x[46][59] x[47][0] x[47][1] x[47][2] x[47][3] x[47][4] x[47][5] x[47][6] x[47][7] x[47][8] x[47][9] x[47][10] x[47][11] x[47][12] x[47][13] x[47][14] x[47][15] x[47][16] x[47][17] x[47][18] x[47][19] x[47][20] x[47][21] x[47][22] x[47][23] x[47][24] x[47][25] x[47][26] x[47][27] x[47][28] x[47][29] x[47][30] x[47][31] x[47][32] x[47][33] x[47][34] x[47][35] x[47][36] x[47][37] x[47][38] x[47][39] x[47][40] x[47][41] x[47][42] x[47][43] x[47][44] x[47][45] x[47][46] x[47][47] x[47][48] x[47][49] x[47][50] x[47][51] x[47][52] x[47][53] x[47][54] x[47][55] x[47][56] x[47][57] x[47][58] x[47][59] x[48][0] x[48][1] x[48][2] x[48][3] x[48][4] x[48][5] x[48][6] x[48][7] x[48][8] x[48][9] x[48][10] x[48][11] x[48][12] x[48][13] x[48][14] x[48][15] x[48][16] x[48][17] x[48][18] x[48][19] x[48][20] x[48][21] x[48][22] x[48][23] x[48][24] x[48][25] x[48][26] x[48][27] x[48][28] x[48][29] x[48][30] x[48][31] x[48][32] x[48][33] x[48][34] x[48][35] x[48][36] x[48][37] x[48][38] x[48][39] x[48][40] x[48][41] x[48][42] x[48][43] x[48][44] x[48][45] x[48][46] x[48][47] x[48][48] x[48][49] x[48][50] x[48][51] x[48][52] x[48][53] x[48][54] x[48][55] x[48][56] x[48][57] x[48][58] x[48][59] x[49][0] x[49][1] x[49][2] x[49][3] x[49][4] x[49][5] x[49][6] x[49][7] x[49][8] x[49][9] x[49][10] x[49][11] x[49][12] x[49][13] x[49][14] x[49][15] x[49][16] x[49][17] x[49][18] x[49][19] x[49][20] x[49][21] x[49][22] x[49][23] x[49][24] x[49][25] x[49][26] x[49][27] x[49][28] x[49][29] x[49][30] x[49][31] x[49][32] x[49][33] x[49][34] x[49][35] x[49][36] x[49][37] x[49][38] x[49][39] x[49][40] x[49][41] x[49][42] x[49][43] x[49][44] x[49][45] x[49][46] x[49][47] x[49][48] x[49][49] x[49][50] x[49][51] x[49][52] x[49][53] x[49][54] x[49][55] x[49][56] x[49][57] x[49][58] x[49][59] x[50][0] x[50][1] x[50][2] x[50][3] x[50][4] x[50][5] x[50][6] x[50][7] x[50][8] x[50][9] x[50][10] x[50][11] x[50][12] x[50][13] x[50][14] x[50][15] x[50][16] x[50][17] x[50][18] x[50][19] x[50][20] x[50][21] x[50][22] x[50][23] x[50][24] x[50][25] x[50][26] x[50][27] x[50][28] x[50][29] x[50][30] x[50][31] x[50][32] x[50][33] x[50][34] x[50][35] x[50][36] x[50][37] x[50][38] x[50][39] x[50][40] x[50][41] x[50][42] x[50][43] x[50][44] x[50][45] x[50][46] x[50][47] x[50][48] x[50][49] x[50][50] x[50][51] x[50][52] x[50][53] x[50][54] x[50][55] x[50][56] x[50][57] x[50][58] x[50][59] x[51][0] x[51][1] x[51][2] x[51][3] x[51][4] x[51][5] x[51][6] x[51][7] x[51][8] x[51][9] x[51][10] x[51][11] x[51][12] x[51][13] x[51][14] x[51][15] x[51][16] x[51][17] x[51][18] x[51][19] x[51][20] x[51][21] x[51][22] x[51][23] x[51][24] x[51][25] x[51][26] x[51][27] x[51][28] x[51][29] x[51][30] x[51][31] x[51][32] x[51][33] x[51][34] x[51][35] x[51][36] x[51][37] x[51][38] x[51][39] x[51][40] x[51][41] x[51][42] x[51][43] x[51][44] x[51][45] x[51][46] x[51][47] x[51][48] x[51][49] x[51][50] x[51][51] x[51][52] x[51][53] x[51][54] x[51][55] x[51][56] x[51][57] x[51][58] x[51][59] x[52][0] x[52][1] x[52][2] x[52][3] x[52][4] x[52][5] x[52][6] x[52][7] x[52][8] x[52][9] x[52][10] x[52][11] x[52][12] x[52][13] x[52][14] x[52][15] x[52][16] x[52][17] x[52][18] x[52][19] x[52][20] x[52][21] x[52][22] x[52][23] x[52][24] x[52][25] x[52][26] x[52][27] x[52][28] x[52][29] x[52][30] x[52][31] x[52][32] x[52][33] x[52][34] x[52][35] x[52][36] x[52][37] x[52][38] x[52][39] x[52][40] x[52][41] x[52][42] x[52][43] x[52][44] x[52][45] x[52][46] x[52][47] x[52][48] x[52][49] x[52][50] x[52][51] x[52][52] x[52][53] x[52][54] x[52][55] x[52][56] x[52][57] x[52][58] x[52][59] x[53][0] x[53][1] x[53][2] x[53][3] x[53][4] x[53][5] x[53][6] x[53][7] x[53][8] x[53][9] x[53][10] x[53][11] x[53][12] x[53][13] x[53][14] x[53][15] x[53][16] x[53][17] x[53][18] x[53][19] x[53][20] x[53][21] x[53][22] x[53][23] x[53][24] x[53][25] x[53][26] x[53][27] x[53][28] x[53][29] x[53][30] x[53][31] x[53][32] x[53][33] x[53][34] x[53][35] x[53][36] x[53][37] x[53][38] x[53][39] x[53][40] x[53][41] x[53][42] x[53][43] x[53][44] x[53][45] x[53][46] x[53][47] x[53][48] x[53][49] x[53][50] x[53][51] x[53][52] x[53][53] x[53][54] x[53][55] x[53][56] x[53][57] x[53][58] x[53][59] x[54][0] x[54][1] x[54][2] x[54][3] x[54][4] x[54][5] x[54][6] x[54][7] x[54][8] x[54][9] x[54][10] x[54][11] x[54][12] x[54][13] x[54][14] x[54][15] x[54][16] x[54][17] x[54][18] x[54][19] x[54][20] x[54][21] x[54][22] x[54][23] x[54][24] x[54][25] x[54][26] x[54][27] x[54][28] x[54][29] x[54][30] x[54][31] x[54][32] x[54][33] x[54][34] x[54][35] x[54][36] x[54][37] x[54][38] x[54][39] x[54][40] x[54][41] x[54][42] x[54][43] x[54][44] x[54][45] x[54][46] x[54][47] x[54][48] x[54][49] x[54][50] x[54][51] x[54][52] x[54][53] x[54][54] x[54][55] x[54][56] x[54][57] x[54][58] x[54][59] x[55][0] x[55][1] x[55][2] x[55][3] x[55][4] x[55][5] x[55][6] x[55][7] x[55][8] x[55][9] x[55][10] x[55][11] x[55][12] x[55][13] x[55][14] x[55][15] x[55][16] x[55][17] x[55][18] x[55][19] x[55][20] x[55][21] x[55][22] x[55][23] x[55][24] x[55][25] x[55][26] x[55][27] x[55][28] x[55][29] x[55][30] x[55][31] x[55][32] x[55][33] x[55][34] x[55][35] x[55][36] x[55][37] x[55][38] x[55][39] x[55][40] x[55][41] x[55][42] x[55][43] x[55][44] x[55][45] x[55][46] x[55][47] x[55][48] x[55][49] x[55][50] x[55][51] x[55][52] x[55][53] x[55][54] x[55][55] x[55][56] x[55][57] x[55][58] x[55][59] x[56][0] x[56][1] x[56][2] x[56][3] x[56][4] x[56][5] x[56][6] x[56][7] x[56][8] x[56][9] x[56][10] x[56][11] x[56][12] x[56][13] x[56][14] x[56][15] x[56][16] x[56][17] x[56][18] x[56][19] x[56][20] x[56][21] x[56][22] x[56][23] x[56][24] x[56][25] x[56][26] x[56][27] x[56][28] x[56][29] x[56][30] x[56][31] x[56][32] x[56][33] x[56][34] x[56][35] x[56][36] x[56][37] x[56][38] x[56][39] x[56][40] x[56][41] x[56][42] x[56][43] x[56][44] x[56][45] x[56][46] x[56][47] x[56][48] x[56][49] x[56][50] x[56][51] x[56][52] x[56][53] x[56][54] x[56][55] x[56][56] x[56][57] x[56][58] x[56][59] x[57][0] x[57][1] x[57][2] x[57][3] x[57][4] x[57][5] x[57][6] x[57][7] x[57][8] x[57][9] x[57][10] x[57][11] x[57][12] x[57][13] x[57][14] x[57][15] x[57][16] x[57][17] x[57][18] x[57][19] x[57][20] x[57][21] x[57][22] x[57][23] x[57][24] x[57][25] x[57][26] x[57][27] x[57][28] x[57][29] x[57][30] x[57][31] x[57][32] x[57][33] x[57][34] x[57][35] x[57][36] x[57][37] x[57][38] x[57][39] x[57][40] x[57][41] x[57][42] x[57][43] x[57][44] x[57][45] x[57][46] x[57][47] x[57][48] x[57][49] x[57][50] x[57][51] x[57][52] x[57][53] x[57][54] x[57][55] x[57][56] x[57][57] x[57][58] x[57][59] x[58][0] x[58][1] x[58][2] x[58][3] x[58][4] x[58][5] x[58][6] x[58][7] x[58][8] x[58][9] x[58][10] x[58][11] x[58][12] x[58][13] x[58][14] x[58][15] x[58][16] x[58][17] x[58][18] x[58][19] x[58][20] x[58][21] x[58][22] x[58][23] x[58][24] x[58][25] x[58][26] x[58][27] x[58][28] x[58][29] x[58][30] x[58][31] x[58][32] x[58][33] x[58][34] x[58][35] x[58][36] x[58][37] x[58][38] x[58][39] x[58][40] x[58][41] x[58][42] x[58][43] x[58][44] x[58][45] x[58][46] x[58][47] x[58][48] x[58][49] x[58][50] x[58][51] x[58][52] x[58][53] x[58][54] x[58][55] x[58][56] x[58][57] x[58][58] x[58][59] x[59][0] x[59][1] x[59][2] x[59][3] x[59][4] x[59][5] x[59][6] x[59][7] x[59][8] x[59][9] x[59][10] x[59][11] x[59][12] x[59][13] x[59][14] x[59][15] x[59][16] x[59][17] x[59][18] x[59][19] x[59][20] x[59][21] x[59][22] x[59][23] x[59][24] x[59][25] x[59][26] x[59][27] x[59][28] x[59][29] x[59][30] x[59][31] x[59][32] x[59][33] x[59][34] x[59][35] x[59][36] x[59][37] x[59][38] x[59][39] x[59][40] x[59][41] x[59][42] x[59][43] x[59][44] x[59][45] x[59][46] x[59][47] x[59][48] x[59][49] x[59][50] x[59][51] x[59][52] x[59][53] x[59][54] x[59][55] x[59][56] x[59][57] x[59][58] x[59][59] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33] u[34] u[35] u[36] u[37] u[38] u[39] u[40] u[41] u[42] u[43] u[44] u[45] u[46] u[47] u[48] u[49] u[50] u[51] u[52] u[53] u[54] u[55] u[56] u[57] u[58] u[59] 2520.08/2467.61 v </list> 2520.08/2467.61 v <values> 2520.08/2467.61 v 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 1 1 1 1 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 74 58 81 92 56 70 91 53 32 38 30 22 75 33 29 76 66 2 69 98 45 22 44 69 34 47 2 19 92 47 69 58 75 56 97 28 2 16 66 45 21 89 65 40 93 99 86 42 2 4 24 20 87 11 85 47 55 84 23 2520.08/2467.61 v </values> 2520.08/2467.61 v </instantiation>
OK 3321
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 (12034 MiB free)
memory of node 1: 16384 MiB (15175 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274763-1502822826/watcher-4274763-1502822826 -o /tmp/evaluation-result-4274763-1502822826/solver-4274763-1502822826 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502658244-13745 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1659244507 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274763-1502822826.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=5728, runsolver pid=5725
Current StackSize limit: 8192 KiB
[startup+0.100088 s]*
/proc/loadavg: 1.55 1.55 1.53 3/201 5730
/proc/meminfo: memFree=27859696/32770624 swapFree=67108860/67108860
[pid=5728] ppid=5725 vsize=13358552 memory=16184 CPUtime=0.01 cores=1,3,5,7
/proc/5728/stat : 5728 (java) S 5725 5728 12395 0 -1 1077944320 3351 0 0 0 1 0 0 0 20 0 6 0 124194101 13679157248 4046 18446744073709551615 4194304 4196468 140721650425536 140721650408080 140432942460663 0 0 1 16784584 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
/proc/5728/statm: 3339638 4046 1909 1 0 3329135 0
[pid=5728/tid=5730] ppid=5725 vsize=13358552 memory=7078086954469309281 CPUtime=0 cores=1,3,5,7
/proc/5728/task/5730/stat : 5730 (java) R 5725 5728 12395 0 -1 4202560 2051 0 0 0 0 0 0 0 20 0 6 0 124194111 13679157248 4046 18446744073709551615 4194304 4196468 140721650425536 140432946696784 140432942482589 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5731] ppid=5725 vsize=13358552 memory=3461361991549258287 CPUtime=0 cores=1,3,5,7
/proc/5728/task/5731/stat : 5731 (java) S 5725 5728 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 124194111 13679157248 4046 18446744073709551615 4194304 4196468 140721650425536 140432884407440 140432942470869 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5732] ppid=5725 vsize=13358552 memory=140708857005696 CPUtime=0 cores=1,3,5,7
/proc/5728/task/5732/stat : 5732 (java) S 5725 5728 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 124194111 13679157248 4046 18446744073709551615 4194304 4196468 140721650425536 140432883354640 140432942470869 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5733] ppid=5725 vsize=13358552 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5728/task/5733/stat : 5733 (java) S 5725 5728 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 124194111 13679157248 4046 18446744073709551615 4194304 4196468 140721650425536 140432882301840 140432942470869 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5734] ppid=5725 vsize=13358552 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5728/task/5734/stat : 5734 (java) S 5725 5728 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 124194111 13679157248 4046 18446744073709551615 4194304 4196468 140721650425536 140432539917072 140432942470869 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13358552 KiB
Current children cumulated memory: 16184 KiB
[startup+0.219648 s]*
/proc/loadavg: 1.55 1.55 1.53 4/214 5743
/proc/meminfo: memFree=27845472/32770624 swapFree=67108860/67108860
[pid=5728] ppid=5725 vsize=13975920 memory=31736 CPUtime=0.11 cores=1,3,5,7
/proc/5728/stat : 5728 (java) S 5725 5728 12395 0 -1 1077944320 6731 0 0 0 10 1 0 0 20 0 15 0 124194101 14311342080 7934 18446744073709551615 4194304 4196468 140721650425536 140721650408080 140432942460663 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
/proc/5728/statm: 3493980 7934 3383 1 0 3482759 0
[pid=5728/tid=5730] ppid=5725 vsize=13975920 memory=8390339637985935414 CPUtime=0.08 cores=1,3,5,7
/proc/5728/task/5730/stat : 5730 (java) R 5725 5728 12395 0 -1 4202560 4686 0 0 0 7 1 0 0 20 0 15 0 124194111 14311342080 7934 18446744073709551615 4194304 4196468 140721650425536 140432946679712 140432934697790 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5731] ppid=5725 vsize=13975920 memory=4294967627 CPUtime=0 cores=1,3,5,7
/proc/5728/task/5731/stat : 5731 (java) S 5725 5728 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124194111 14311342080 7934 18446744073709551615 4194304 4196468 140721650425536 140432884407440 140432942470869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5732] ppid=5725 vsize=13975920 memory=140708857011678 CPUtime=0 cores=1,3,5,7
/proc/5728/task/5732/stat : 5732 (java) S 5725 5728 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124194111 14311342080 7934 18446744073709551615 4194304 4196468 140721650425536 140432883354640 140432942470869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5733] ppid=5725 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5728/task/5733/stat : 5733 (java) S 5725 5728 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 124194111 14311342080 7934 18446744073709551615 4194304 4196468 140721650425536 140432882301840 140432942470869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5734] ppid=5725 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5728/task/5734/stat : 5734 (java) S 5725 5728 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 124194111 14311342080 7934 18446744073709551615 4194304 4196468 140721650425536 140432539917072 140432942470869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5735] ppid=5725 vsize=13975920 memory=140708857005696 CPUtime=0 cores=1,3,5,7
/proc/5728/task/5735/stat : 5735 (java) S 5725 5728 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 124194113 14311342080 7934 18446744073709551615 4194304 4196468 140721650425536 140432489040240 140432942471810 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5736] ppid=5725 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5728/task/5736/stat : 5736 (java) S 5725 5728 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 124194113 14311342080 7968 18446744073709551615 4194304 4196468 140721650425536 140432487986208 140432942470869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5737] ppid=5725 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5728/task/5737/stat : 5737 (java) S 5725 5728 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 124194113 14311342080 7968 18446744073709551615 4194304 4196468 140721650425536 140432486933360 140432942470869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5738] ppid=5725 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5728/task/5738/stat : 5738 (java) S 5725 5728 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124194116 14311342080 7968 18446744073709551615 4194304 4196468 140721650425536 140432485881680 140432942479259 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5739] ppid=5725 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5728/task/5739/stat : 5739 (java) S 5725 5728 12395 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 124194116 14311342080 7968 18446744073709551615 4194304 4196468 140721650425536 140432484830064 140432942471810 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5740] ppid=5725 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5728/task/5740/stat : 5740 (java) S 5725 5728 12395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 124194116 14311342080 7968 18446744073709551615 4194304 4196468 140721650425536 140432483777264 140432942471810 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5741] ppid=5725 vsize=13975920 memory=140708857005696 CPUtime=0.01 cores=1,3,5,7
/proc/5728/task/5741/stat : 5741 (java) R 5725 5728 12395 0 -1 4202560 368 0 0 0 1 0 0 0 20 0 15 0 124194116 14311342080 7968 18446744073709551615 4194304 4196468 140721650425536 140432482724464 140432942472598 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5742] ppid=5725 vsize=13976944 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5728/task/5742/stat : 5742 (java) S 5725 5728 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124194116 14312390656 7968 18446744073709551615 4194304 4196468 140721650425536 140432481671904 140432942470869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5743] ppid=5725 vsize=13976944 memory=140708857005696 CPUtime=0 cores=1,3,5,7
/proc/5728/task/5743/stat : 5743 (java) S 5725 5728 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124194120 14312390656 7968 18446744073709551615 4194304 4196468 140721650425536 140432480619184 140432942471810 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 31736 KiB
[startup+0.310471 s]*
/proc/loadavg: 1.55 1.55 1.53 3/214 5743
/proc/meminfo: memFree=27835708/32770624 swapFree=67108860/67108860
[pid=5728] ppid=5725 vsize=13975920 memory=40628 CPUtime=0.25 cores=1,3,5,7
/proc/5728/stat : 5728 (java) S 5725 5728 12395 0 -1 1077944320 10354 0 0 0 22 3 0 0 20 0 15 0 124194101 14311342080 10157 18446744073709551615 4194304 4196468 140721650425536 140721650408080 140432942460663 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
/proc/5728/statm: 3493980 10157 3538 1 0 3482759 0
[pid=5728/tid=5730] ppid=5725 vsize=13975920 memory=6933928925625698159 CPUtime=0.17 cores=1,3,5,7
/proc/5728/task/5730/stat : 5730 (java) R 5725 5728 12395 0 -1 4202560 8078 0 0 0 15 2 0 0 20 0 15 0 124194111 14311342080 10157 18446744073709551615 4194304 4196468 140721650425536 140432946674400 140432942472598 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5731] ppid=5725 vsize=13975920 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/5728/task/5731/stat : 5731 (java) S 5725 5728 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124194111 14311342080 10157 18446744073709551615 4194304 4196468 140721650425536 140432884407440 140432942470869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5732] ppid=5725 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5728/task/5732/stat : 5732 (java) S 5725 5728 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124194111 14311342080 10157 18446744073709551615 4194304 4196468 140721650425536 140432883354640 140432942470869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5733] ppid=5725 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5728/task/5733/stat : 5733 (java) S 5725 5728 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 124194111 14311342080 10157 18446744073709551615 4194304 4196468 140721650425536 140432882301840 140432942470869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5734] ppid=5725 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5728/task/5734/stat : 5734 (java) S 5725 5728 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 124194111 14311342080 10157 18446744073709551615 4194304 4196468 140721650425536 140432539917072 140432942470869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5735] ppid=5725 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5728/task/5735/stat : 5735 (java) S 5725 5728 12395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 124194113 14311342080 10157 18446744073709551615 4194304 4196468 140721650425536 140432489040240 140432942471810 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5736] ppid=5725 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5728/task/5736/stat : 5736 (java) S 5725 5728 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 124194113 14311342080 10157 18446744073709551615 4194304 4196468 140721650425536 140432487986208 140432942470869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5737] ppid=5725 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5728/task/5737/stat : 5737 (java) S 5725 5728 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 124194113 14311342080 10157 18446744073709551615 4194304 4196468 140721650425536 140432486933360 140432942470869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5738] ppid=5725 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5728/task/5738/stat : 5738 (java) S 5725 5728 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124194116 14311342080 10157 18446744073709551615 4194304 4196468 140721650425536 140432485881680 140432942479259 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5739] ppid=5725 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/5728/task/5739/stat : 5739 (java) S 5725 5728 12395 0 -1 1077944384 424 0 0 0 1 0 0 0 20 0 15 0 124194116 14311342080 10157 18446744073709551615 4194304 4196468 140721650425536 140432484830064 140432942471810 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5740] ppid=5725 vsize=13975920 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/5728/task/5740/stat : 5740 (java) S 5725 5728 12395 0 -1 1077944384 90 0 0 0 1 0 0 0 20 0 15 0 124194116 14311342080 10157 18446744073709551615 4194304 4196468 140721650425536 140432483777264 140432942471810 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5741] ppid=5725 vsize=13975920 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/5728/task/5741/stat : 5741 (java) R 5725 5728 12395 0 -1 4202560 383 0 0 0 5 0 0 0 20 0 15 0 124194116 14311342080 10157 18446744073709551615 4194304 4196468 140721650425536 140432482724464 140432942472598 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5742] ppid=5725 vsize=13975920 memory=140708857005696 CPUtime=0 cores=1,3,5,7
/proc/5728/task/5742/stat : 5742 (java) S 5725 5728 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124194116 14311342080 10157 18446744073709551615 4194304 4196468 140721650425536 140432481671904 140432942470869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5743] ppid=5725 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5728/task/5743/stat : 5743 (java) S 5725 5728 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124194120 14311342080 10157 18446744073709551615 4194304 4196468 140721650425536 140432480619184 140432942471810 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 40628 KiB
[startup+0.700641 s]
/proc/loadavg: 1.55 1.55 1.53 4/214 5743
/proc/meminfo: memFree=27819912/32770624 swapFree=67108860/67108860
[pid=5728] ppid=5725 vsize=13977988 memory=72628 CPUtime=1.09 cores=1,3,5,7
/proc/5728/stat : 5728 (java) S 5725 5728 12395 0 -1 1077944320 13379 0 0 0 104 5 0 0 20 0 15 0 124194101 14313459712 18157 18446744073709551615 4194304 4196468 140721650425536 140721650408080 140432942460663 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
/proc/5728/statm: 3494497 18157 3722 1 0 3483271 0
[pid=5728/tid=5730] ppid=5725 vsize=13977988 memory=0 CPUtime=0.55 cores=1,3,5,7
/proc/5728/task/5730/stat : 5730 (java) R 5725 5728 12395 0 -1 4202560 9847 0 0 0 51 4 0 0 20 0 15 0 124194111 14313459712 18157 18446744073709551615 4194304 4196468 140721650425536 140432946695216 140432562585153 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5731] ppid=5725 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5728/task/5731/stat : 5731 (java) S 5725 5728 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124194111 14313459712 18157 18446744073709551615 4194304 4196468 140721650425536 140432884407440 140432942470869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5732] ppid=5725 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5728/task/5732/stat : 5732 (java) S 5725 5728 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124194111 14313459712 18157 18446744073709551615 4194304 4196468 140721650425536 140432883354640 140432942470869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5733] ppid=5725 vsize=13977988 memory=4286 CPUtime=0 cores=1,3,5,7
/proc/5728/task/5733/stat : 5733 (java) S 5725 5728 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 124194111 14313459712 18157 18446744073709551615 4194304 4196468 140721650425536 140432882301840 140432942470869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5734] ppid=5725 vsize=13977988 memory=1573 CPUtime=0 cores=1,3,5,7
/proc/5728/task/5734/stat : 5734 (java) S 5725 5728 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 124194111 14313459712 18157 18446744073709551615 4194304 4196468 140721650425536 140432539917072 140432942470869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5735] ppid=5725 vsize=13977988 memory=571 CPUtime=0 cores=1,3,5,7
/proc/5728/task/5735/stat : 5735 (java) S 5725 5728 12395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 124194113 14313459712 18157 18446744073709551615 4194304 4196468 140721650425536 140432489040240 140432942471810 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5736] ppid=5725 vsize=13977988 memory=140708857005695 CPUtime=0 cores=1,3,5,7
/proc/5728/task/5736/stat : 5736 (java) S 5725 5728 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 124194113 14313459712 18157 18446744073709551615 4194304 4196468 140721650425536 140432487986208 140432942470869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5737] ppid=5725 vsize=13977988 memory=281417397710800 CPUtime=0 cores=1,3,5,7
/proc/5728/task/5737/stat : 5737 (java) S 5725 5728 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 124194113 14313459712 18157 18446744073709551615 4194304 4196468 140721650425536 140432486933360 140432942470869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5738] ppid=5725 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5728/task/5738/stat : 5738 (java) S 5725 5728 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124194116 14313459712 18157 18446744073709551615 4194304 4196468 140721650425536 140432485881680 140432942479259 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5739] ppid=5725 vsize=13977988 memory=10465 CPUtime=0.14 cores=1,3,5,7
/proc/5728/task/5739/stat : 5739 (java) R 5725 5728 12395 0 -1 4202560 906 0 0 0 14 0 0 0 20 0 15 0 124194116 14313459712 18157 18446744073709551615 4194304 4196468 140721650425536 140432484816800 140432925943984 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5740] ppid=5725 vsize=13977988 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/5728/task/5740/stat : 5740 (java) R 5725 5728 12395 0 -1 4202560 401 0 0 0 14 0 0 0 20 0 15 0 124194116 14313459712 18157 18446744073709551615 4194304 4196468 140721650425536 140432483777264 140432922680688 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5741] ppid=5725 vsize=13977988 memory=8330969454845486047 CPUtime=0.23 cores=1,3,5,7
/proc/5728/task/5741/stat : 5741 (java) R 5725 5728 12395 0 -1 4202560 844 0 0 0 23 0 0 0 20 0 15 0 124194116 14313459712 18157 18446744073709551615 4194304 4196468 140721650425536 140432482720832 140432942472598 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5742] ppid=5725 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5728/task/5742/stat : 5742 (java) S 5725 5728 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124194116 14313459712 18157 18446744073709551615 4194304 4196468 140721650425536 140432481671904 140432942470869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5743] ppid=5725 vsize=13977988 memory=4132 CPUtime=0 cores=1,3,5,7
/proc/5728/task/5743/stat : 5743 (java) R 5725 5728 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124194120 14313459712 18157 18446744073709551615 4194304 4196468 140721650425536 140432480619184 140432942471810 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 72628 KiB
[startup+1.50068 s]
/proc/loadavg: 1.55 1.55 1.53 5/214 5743
/proc/meminfo: memFree=27759912/32770624 swapFree=67108860/67108860
[pid=5728] ppid=5725 vsize=13982084 memory=191940 CPUtime=3.61 cores=1,3,5,7
/proc/5728/stat : 5728 (java) S 5725 5728 12395 0 -1 1077944320 28908 0 0 0 351 10 0 0 20 0 15 0 124194101 14317654016 47985 18446744073709551615 4194304 4196468 140721650425536 140721650408080 140432942460663 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
/proc/5728/statm: 3495521 47985 3771 1 0 3484295 0
[pid=5728/tid=5730] ppid=5725 vsize=13982084 memory=0 CPUtime=1.34 cores=1,3,5,7
/proc/5728/task/5730/stat : 5730 (java) R 5725 5728 12395 0 -1 4202560 15339 0 0 0 127 7 0 0 20 0 15 0 124194111 14317654016 47985 18446744073709551615 4194304 4196468 140721650425536 140432946699552 140432570459847 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5731] ppid=5725 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5728/task/5731/stat : 5731 (java) S 5725 5728 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124194111 14317654016 47985 18446744073709551615 4194304 4196468 140721650425536 140432884407440 140432942470869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5732] ppid=5725 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5728/task/5732/stat : 5732 (java) S 5725 5728 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124194111 14317654016 47985 18446744073709551615 4194304 4196468 140721650425536 140432883354640 140432942470869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5733] ppid=5725 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5728/task/5733/stat : 5733 (java) S 5725 5728 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 124194111 14317654016 47985 18446744073709551615 4194304 4196468 140721650425536 140432882301840 140432942470869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5734] ppid=5725 vsize=13982084 memory=164 CPUtime=0 cores=1,3,5,7
/proc/5728/task/5734/stat : 5734 (java) S 5725 5728 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 124194111 14317654016 47985 18446744073709551615 4194304 4196468 140721650425536 140432539917072 140432942470869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5735] ppid=5725 vsize=13982084 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/5728/task/5735/stat : 5735 (java) S 5725 5728 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 124194113 14317654016 47985 18446744073709551615 4194304 4196468 140721650425536 140432489040240 140432942471810 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5736] ppid=5725 vsize=13982084 memory=281417397381376 CPUtime=0 cores=1,3,5,7
/proc/5728/task/5736/stat : 5736 (java) S 5725 5728 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 124194113 14317654016 47985 18446744073709551615 4194304 4196468 140721650425536 140432487986208 140432942470869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5737] ppid=5725 vsize=13982084 memory=281417397390656 CPUtime=0 cores=1,3,5,7
/proc/5728/task/5737/stat : 5737 (java) S 5725 5728 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 124194113 14317654016 47985 18446744073709551615 4194304 4196468 140721650425536 140432486933360 140432942470869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5738] ppid=5725 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5728/task/5738/stat : 5738 (java) S 5725 5728 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124194116 14317654016 47985 18446744073709551615 4194304 4196468 140721650425536 140432485881680 140432942479259 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5739] ppid=5725 vsize=13982084 memory=0 CPUtime=0.81 cores=1,3,5,7
/proc/5728/task/5739/stat : 5739 (java) S 5725 5728 12395 0 -1 1077944384 4132 0 0 0 80 1 0 0 20 0 15 0 124194116 14317654016 47985 18446744073709551615 4194304 4196468 140721650425536 140432484830064 140432942471810 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5740] ppid=5725 vsize=13982084 memory=0 CPUtime=0.77 cores=1,3,5,7
/proc/5728/task/5740/stat : 5740 (java) S 5725 5728 12395 0 -1 1077944384 3287 0 0 0 77 0 0 0 20 0 15 0 124194116 14317654016 47985 18446744073709551615 4194304 4196468 140721650425536 140432483777264 140432942471810 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5741] ppid=5725 vsize=13982084 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/5728/task/5741/stat : 5741 (java) R 5725 5728 12395 0 -1 4202560 4731 0 0 0 65 0 0 0 20 0 15 0 124194116 14317654016 47985 18446744073709551615 4194304 4196468 140721650425536 140432482724464 140432926708827 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5742] ppid=5725 vsize=13982084 memory=6944656592455360569 CPUtime=0 cores=1,3,5,7
/proc/5728/task/5742/stat : 5742 (java) S 5725 5728 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124194116 14317654016 47985 18446744073709551615 4194304 4196468 140721650425536 140432481671904 140432942470869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5743] ppid=5725 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5728/task/5743/stat : 5743 (java) S 5725 5728 12395 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 124194120 14317654016 47985 18446744073709551615 4194304 4196468 140721650425536 140432480619184 140432942471810 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
Current children cumulated CPU time: 3.61 s
Current children cumulated vsize: 13982084 KiB
################
# More data... #
################
/proc/5728/task/5730/stat : 5730 (java) R 5725 5728 12395 0 -1 4202560 161920 0 0 0 230574 87 0 0 20 0 15 0 124194111 14317654016 408119 18446744073709551615 4194304 4196468 140721650425536 140432946698800 140432572207512 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5731] ppid=5725 vsize=13982084 memory=1641628 CPUtime=13.93 cores=1,3,5,7
/proc/5728/task/5731/stat : 5731 (java) S 5725 5728 12395 0 -1 1077944384 17517 0 0 0 1362 31 0 0 20 0 15 0 124194111 14317654016 408119 18446744073709551615 4194304 4196468 140721650425536 140432884407440 140432942470869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5732] ppid=5725 vsize=13982084 memory=1633420 CPUtime=13.92 cores=1,3,5,7
/proc/5728/task/5732/stat : 5732 (java) S 5725 5728 12395 0 -1 1077944384 14854 0 0 0 1362 30 0 0 20 0 15 0 124194111 14317654016 408119 18446744073709551615 4194304 4196468 140721650425536 140432883354640 140432942470869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5733] ppid=5725 vsize=13982084 memory=1633420 CPUtime=13.95 cores=1,3,5,7
/proc/5728/task/5733/stat : 5733 (java) S 5725 5728 12395 0 -1 1077944384 19312 0 0 0 1363 32 0 0 20 0 15 0 124194111 14317654016 408119 18446744073709551615 4194304 4196468 140721650425536 140432882301840 140432942470869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5734] ppid=5725 vsize=13982084 memory=1632476 CPUtime=13.93 cores=1,3,5,7
/proc/5728/task/5734/stat : 5734 (java) S 5725 5728 12395 0 -1 1077944384 15748 0 0 0 1361 32 0 0 20 0 15 0 124194111 14317654016 408119 18446744073709551615 4194304 4196468 140721650425536 140432539917072 140432942470869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5735] ppid=5725 vsize=13982084 memory=0 CPUtime=1.12 cores=1,3,5,7
/proc/5728/task/5735/stat : 5735 (java) S 5725 5728 12395 0 -1 1077944384 77060 0 0 0 87 25 0 0 20 0 15 0 124194113 14317654016 408119 18446744073709551615 4194304 4196468 140721650425536 140432489040240 140432942471810 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5736] ppid=5725 vsize=13982084 memory=1642436 CPUtime=0 cores=1,3,5,7
/proc/5728/task/5736/stat : 5736 (java) S 5725 5728 12395 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 124194113 14317654016 408119 18446744073709551615 4194304 4196468 140721650425536 140432487986272 140432942470869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5737] ppid=5725 vsize=13982084 memory=3196 CPUtime=0 cores=1,3,5,7
/proc/5728/task/5737/stat : 5737 (java) S 5725 5728 12395 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 124194113 14317654016 408119 18446744073709551615 4194304 4196468 140721650425536 140432486933376 140432942470869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5738] ppid=5725 vsize=13982084 memory=1642580 CPUtime=0 cores=1,3,5,7
/proc/5728/task/5738/stat : 5738 (java) S 5725 5728 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124194116 14317654016 408119 18446744073709551615 4194304 4196468 140721650425536 140432485881680 140432942479259 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5739] ppid=5725 vsize=13982084 memory=1632476 CPUtime=2.55 cores=1,3,5,7
/proc/5728/task/5739/stat : 5739 (java) S 5725 5728 12395 0 -1 1077944384 23390 0 0 0 252 3 0 0 20 0 15 0 124194116 14317654016 408119 18446744073709551615 4194304 4196468 140721650425536 140432484830064 140432942471810 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5740] ppid=5725 vsize=13982084 memory=1632392 CPUtime=2.43 cores=1,3,5,7
/proc/5728/task/5740/stat : 5740 (java) S 5725 5728 12395 0 -1 1077944384 21736 0 0 0 241 2 0 0 20 0 15 0 124194116 14317654016 408119 18446744073709551615 4194304 4196468 140721650425536 140432483777264 140432942471810 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5741] ppid=5725 vsize=13982084 memory=1642580 CPUtime=1.11 cores=1,3,5,7
/proc/5728/task/5741/stat : 5741 (java) S 5725 5728 12395 0 -1 1077944384 35410 0 0 0 108 3 0 0 20 0 15 0 124194116 14317654016 408119 18446744073709551615 4194304 4196468 140721650425536 140432482724464 140432942471810 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5742] ppid=5725 vsize=13982084 memory=1840 CPUtime=0 cores=1,3,5,7
/proc/5728/task/5742/stat : 5742 (java) S 5725 5728 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124194116 14317654016 408119 18446744073709551615 4194304 4196468 140721650425536 140432481671904 140432942470869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5743] ppid=5725 vsize=13982084 memory=1632476 CPUtime=1.12 cores=1,3,5,7
/proc/5728/task/5743/stat : 5743 (java) S 5725 5728 12395 0 -1 1077944384 1676 0 0 0 47 65 0 0 20 0 15 0 124194120 14317654016 408119 18446744073709551615 4194304 4196468 140721650425536 140432480619184 140432942471810 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
Current children cumulated CPU time: 2370.77 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 1632476 KiB
[startup+2382.3 s]
/proc/loadavg: 1.78 1.73 1.61 3/214 5992
/proc/meminfo: memFree=27087704/32770624 swapFree=67108860/67108860
[pid=5728] ppid=5725 vsize=13982084 memory=1513524 CPUtime=2432.47 cores=1,3,5,7
/proc/5728/stat : 5728 (java) S 5725 5728 12395 0 -1 1077944320 398936 0 0 0 242948 299 0 0 20 0 15 0 124194101 14317654016 378381 18446744073709551615 4194304 4196468 140721650425536 140721650408080 140432942460663 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
/proc/5728/statm: 3495521 378381 3833 1 0 3484295 0
[pid=5728/tid=5730] ppid=5725 vsize=13982084 memory=0 CPUtime=2365.97 cores=1,3,5,7
/proc/5728/task/5730/stat : 5730 (java) R 5725 5728 12395 0 -1 4202560 163631 0 0 0 236509 88 0 0 20 0 15 0 124194111 14317654016 378381 18446744073709551615 4194304 4196468 140721650425536 140432946698752 140432572248392 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5731] ppid=5725 vsize=13982084 memory=1513524 CPUtime=14.49 cores=1,3,5,7
/proc/5728/task/5731/stat : 5731 (java) S 5725 5728 12395 0 -1 1077944384 18010 0 0 0 1418 31 0 0 20 0 15 0 124194111 14317654016 378381 18446744073709551615 4194304 4196468 140721650425536 140432884407440 140432942470869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5732] ppid=5725 vsize=13982084 memory=1541164 CPUtime=14.49 cores=1,3,5,7
/proc/5728/task/5732/stat : 5732 (java) S 5725 5728 12395 0 -1 1077944384 15457 0 0 0 1418 31 0 0 20 0 15 0 124194111 14317654016 378381 18446744073709551615 4194304 4196468 140721650425536 140432883354640 140432942470869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5733] ppid=5725 vsize=13982084 memory=1523764 CPUtime=14.51 cores=1,3,5,7
/proc/5728/task/5733/stat : 5733 (java) S 5725 5728 12395 0 -1 1077944384 19741 0 0 0 1419 32 0 0 20 0 15 0 124194111 14317654016 378381 18446744073709551615 4194304 4196468 140721650425536 140432882301840 140432942470869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5734] ppid=5725 vsize=13982084 memory=4132 CPUtime=14.49 cores=1,3,5,7
/proc/5728/task/5734/stat : 5734 (java) S 5725 5728 12395 0 -1 1077944384 16250 0 0 0 1417 32 0 0 20 0 15 0 124194111 14317654016 378381 18446744073709551615 4194304 4196468 140721650425536 140432539917072 140432942470869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5735] ppid=5725 vsize=13982084 memory=1514036 CPUtime=1.16 cores=1,3,5,7
/proc/5728/task/5735/stat : 5735 (java) S 5725 5728 12395 0 -1 1077944384 82134 0 0 0 90 26 0 0 20 0 15 0 124194113 14317654016 378381 18446744073709551615 4194304 4196468 140721650425536 140432489040240 140432942471810 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5736] ppid=5725 vsize=13982084 memory=1513524 CPUtime=0 cores=1,3,5,7
/proc/5728/task/5736/stat : 5736 (java) S 5725 5728 12395 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 124194113 14317654016 378381 18446744073709551615 4194304 4196468 140721650425536 140432487986272 140432942470869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5737] ppid=5725 vsize=13982084 memory=1514036 CPUtime=0 cores=1,3,5,7
/proc/5728/task/5737/stat : 5737 (java) S 5725 5728 12395 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 124194113 14317654016 378381 18446744073709551615 4194304 4196468 140721650425536 140432486933376 140432942470869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5738] ppid=5725 vsize=13982084 memory=1531972 CPUtime=0 cores=1,3,5,7
/proc/5728/task/5738/stat : 5738 (java) S 5725 5728 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124194116 14317654016 378381 18446744073709551615 4194304 4196468 140721650425536 140432485881680 140432942479259 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5739] ppid=5725 vsize=13982084 memory=3904 CPUtime=2.55 cores=1,3,5,7
/proc/5728/task/5739/stat : 5739 (java) S 5725 5728 12395 0 -1 1077944384 23392 0 0 0 252 3 0 0 20 0 15 0 124194116 14317654016 378381 18446744073709551615 4194304 4196468 140721650425536 140432484830064 140432942471810 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5740] ppid=5725 vsize=13982084 memory=2257 CPUtime=2.43 cores=1,3,5,7
/proc/5728/task/5740/stat : 5740 (java) S 5725 5728 12395 0 -1 1077944384 21738 0 0 0 241 2 0 0 20 0 15 0 124194116 14317654016 378381 18446744073709551615 4194304 4196468 140721650425536 140432483777264 140432942471810 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5741] ppid=5725 vsize=13982084 memory=1513524 CPUtime=1.11 cores=1,3,5,7
/proc/5728/task/5741/stat : 5741 (java) S 5725 5728 12395 0 -1 1077944384 35412 0 0 0 108 3 0 0 20 0 15 0 124194116 14317654016 378381 18446744073709551615 4194304 4196468 140721650425536 140432482724464 140432942471810 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5742] ppid=5725 vsize=13982084 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/5728/task/5742/stat : 5742 (java) S 5725 5728 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124194116 14317654016 378381 18446744073709551615 4194304 4196468 140721650425536 140432481671904 140432942470869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5743] ppid=5725 vsize=13982084 memory=4132 CPUtime=1.16 cores=1,3,5,7
/proc/5728/task/5743/stat : 5743 (java) S 5725 5728 12395 0 -1 1077944384 1697 0 0 0 49 67 0 0 20 0 15 0 124194120 14317654016 378381 18446744073709551615 4194304 4196468 140721650425536 140432480619184 140432942471810 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
Current children cumulated CPU time: 2432.47 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 1513524 KiB
[startup+2442.3 s]
/proc/loadavg: 1.63 1.70 1.61 3/214 5994
/proc/meminfo: memFree=26924640/32770624 swapFree=67108860/67108860
[pid=5728] ppid=5725 vsize=13982084 memory=1676800 CPUtime=2494.01 cores=1,3,5,7
/proc/5728/stat : 5728 (java) S 5725 5728 12395 0 -1 1077944320 402316 0 0 0 249090 311 0 0 20 0 15 0 124194101 14317654016 419200 18446744073709551615 4194304 4196468 140721650425536 140721650408080 140432942460663 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
/proc/5728/statm: 3495521 419200 3833 1 0 3484295 0
[pid=5728/tid=5730] ppid=5725 vsize=13982084 memory=1676800 CPUtime=2425.42 cores=1,3,5,7
/proc/5728/task/5730/stat : 5730 (java) R 5725 5728 12395 0 -1 4202560 165632 0 0 0 242450 92 0 0 20 0 15 0 124194111 14317654016 419200 18446744073709551615 4194304 4196468 140721650425536 140432946698800 140432572248488 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5731] ppid=5725 vsize=13982084 memory=4132 CPUtime=15 cores=1,3,5,7
/proc/5728/task/5731/stat : 5731 (java) S 5725 5728 12395 0 -1 1077944384 18201 0 0 0 1467 33 0 0 20 0 15 0 124194111 14317654016 419200 18446744073709551615 4194304 4196468 140721650425536 140432884407440 140432942470869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5732] ppid=5725 vsize=13982084 memory=1514036 CPUtime=14.99 cores=1,3,5,7
/proc/5728/task/5732/stat : 5732 (java) S 5725 5728 12395 0 -1 1077944384 15780 0 0 0 1467 32 0 0 20 0 15 0 124194111 14317654016 419200 18446744073709551615 4194304 4196468 140721650425536 140432883354640 140432942470869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5733] ppid=5725 vsize=13982084 memory=1523764 CPUtime=15.01 cores=1,3,5,7
/proc/5728/task/5733/stat : 5733 (java) S 5725 5728 12395 0 -1 1077944384 20100 0 0 0 1468 33 0 0 20 0 15 0 124194111 14317654016 419200 18446744073709551615 4194304 4196468 140721650425536 140432882301840 140432942470869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5734] ppid=5725 vsize=13982084 memory=1496084 CPUtime=15 cores=1,3,5,7
/proc/5728/task/5734/stat : 5734 (java) S 5725 5728 12395 0 -1 1077944384 16417 0 0 0 1466 34 0 0 20 0 15 0 124194111 14317654016 419200 18446744073709551615 4194304 4196468 140721650425536 140432539917072 140432942470869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5735] ppid=5725 vsize=13982084 memory=1705016 CPUtime=1.2 cores=1,3,5,7
/proc/5728/task/5735/stat : 5735 (java) S 5725 5728 12395 0 -1 1077944384 82449 0 0 0 93 27 0 0 20 0 15 0 124194113 14317654016 419200 18446744073709551615 4194304 4196468 140721650425536 140432489040240 140432942471810 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5736] ppid=5725 vsize=13982084 memory=1513524 CPUtime=0 cores=1,3,5,7
/proc/5728/task/5736/stat : 5736 (java) S 5725 5728 12395 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 124194113 14317654016 419200 18446744073709551615 4194304 4196468 140721650425536 140432487986272 140432942470869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5737] ppid=5725 vsize=13982084 memory=1695784 CPUtime=0 cores=1,3,5,7
/proc/5728/task/5737/stat : 5737 (java) S 5725 5728 12395 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 124194113 14317654016 419200 18446744073709551615 4194304 4196468 140721650425536 140432486933376 140432942470869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5738] ppid=5725 vsize=13982084 memory=1677828 CPUtime=0 cores=1,3,5,7
/proc/5728/task/5738/stat : 5738 (java) S 5725 5728 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124194116 14317654016 419200 18446744073709551615 4194304 4196468 140721650425536 140432485881680 140432942479259 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5739] ppid=5725 vsize=13982084 memory=1676800 CPUtime=2.55 cores=1,3,5,7
/proc/5728/task/5739/stat : 5739 (java) S 5725 5728 12395 0 -1 1077944384 23395 0 0 0 252 3 0 0 20 0 15 0 124194116 14317654016 419200 18446744073709551615 4194304 4196468 140721650425536 140432484830064 140432942471810 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5740] ppid=5725 vsize=13982084 memory=1676800 CPUtime=2.43 cores=1,3,5,7
/proc/5728/task/5740/stat : 5740 (java) S 5725 5728 12395 0 -1 1077944384 21740 0 0 0 241 2 0 0 20 0 15 0 124194116 14317654016 419200 18446744073709551615 4194304 4196468 140721650425536 140432483777264 140432942471810 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5741] ppid=5725 vsize=13982084 memory=1677828 CPUtime=1.11 cores=1,3,5,7
/proc/5728/task/5741/stat : 5741 (java) S 5725 5728 12395 0 -1 1077944384 35414 0 0 0 108 3 0 0 20 0 15 0 124194116 14317654016 419200 18446744073709551615 4194304 4196468 140721650425536 140432482724464 140432942471810 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5742] ppid=5725 vsize=13982084 memory=2460 CPUtime=0 cores=1,3,5,7
/proc/5728/task/5742/stat : 5742 (java) S 5725 5728 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124194116 14317654016 419200 18446744073709551615 4194304 4196468 140721650425536 140432481671904 140432942470869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5743] ppid=5725 vsize=13982084 memory=1677828 CPUtime=1.2 cores=1,3,5,7
/proc/5728/task/5743/stat : 5743 (java) S 5725 5728 12395 0 -1 1077944384 1714 0 0 0 50 70 0 0 20 0 15 0 124194120 14317654016 419200 18446744073709551615 4194304 4196468 140721650425536 140432480619184 140432942471810 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
Current children cumulated CPU time: 2494.01 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 1676800 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2467.6 s]
/proc/loadavg: 1.50 1.66 1.60 3/214 5994
/proc/meminfo: memFree=26966448/32770624 swapFree=67108860/67108860
[pid=5728] ppid=5725 vsize=13982084 memory=1632684 CPUtime=2520.08 cores=1,3,5,7
/proc/5728/stat : 5728 (java) S 5725 5728 12395 0 -1 1077944320 404879 0 0 0 251695 313 0 0 20 0 15 0 124194101 14317654016 408171 18446744073709551615 4194304 4196468 140721650425536 140721650408080 140432942460663 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
/proc/5728/statm: 3495521 408171 3833 1 0 3484295 0
[pid=5728/tid=5730] ppid=5725 vsize=13982084 memory=61460 CPUtime=2450.43 cores=1,3,5,7
/proc/5728/task/5730/stat : 5730 (java) R 5725 5728 12395 0 -1 4202560 166114 0 0 0 244951 92 0 0 20 0 15 0 124194111 14317654016 408171 18446744073709551615 4194304 4196468 140721650425536 140432946698688 140432572248496 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5731] ppid=5725 vsize=13982084 memory=1296 CPUtime=15.25 cores=1,3,5,7
/proc/5728/task/5731/stat : 5731 (java) S 5725 5728 12395 0 -1 1077944384 18344 0 0 0 1492 33 0 0 20 0 15 0 124194111 14317654016 408171 18446744073709551615 4194304 4196468 140721650425536 140432884407440 140432942470869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5732] ppid=5725 vsize=13982084 memory=7680170660397595203 CPUtime=15.24 cores=1,3,5,7
/proc/5728/task/5732/stat : 5732 (java) S 5725 5728 12395 0 -1 1077944384 15802 0 0 0 1492 32 0 0 20 0 15 0 124194111 14317654016 408171 18446744073709551615 4194304 4196468 140721650425536 140432883354640 140432942470869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5733] ppid=5725 vsize=13982084 memory=61460 CPUtime=15.26 cores=1,3,5,7
/proc/5728/task/5733/stat : 5733 (java) S 5725 5728 12395 0 -1 1077944384 20213 0 0 0 1493 33 0 0 20 0 15 0 124194111 14317654016 408171 18446744073709551615 4194304 4196468 140721650425536 140432882301840 140432942470869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5734] ppid=5725 vsize=13982084 memory=1296 CPUtime=15.25 cores=1,3,5,7
/proc/5728/task/5734/stat : 5734 (java) S 5725 5728 12395 0 -1 1077944384 16491 0 0 0 1491 34 0 0 20 0 15 0 124194111 14317654016 408171 18446744073709551615 4194304 4196468 140721650425536 140432539917072 140432942470869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5735] ppid=5725 vsize=13982084 memory=2460 CPUtime=1.23 cores=1,3,5,7
/proc/5728/task/5735/stat : 5735 (java) S 5725 5728 12395 0 -1 1077944384 84176 0 0 0 95 28 0 0 20 0 15 0 124194113 14317654016 408171 18446744073709551615 4194304 4196468 140721650425536 140432489040240 140432942471810 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5736] ppid=5725 vsize=13982084 memory=1840 CPUtime=0 cores=1,3,5,7
/proc/5728/task/5736/stat : 5736 (java) S 5725 5728 12395 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 124194113 14317654016 408171 18446744073709551615 4194304 4196468 140721650425536 140432487986272 140432942470869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5737] ppid=5725 vsize=13982084 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/5728/task/5737/stat : 5737 (java) S 5725 5728 12395 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 124194113 14317654016 408171 18446744073709551615 4194304 4196468 140721650425536 140432486933376 140432942470869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5738] ppid=5725 vsize=13982084 memory=9052 CPUtime=0 cores=1,3,5,7
/proc/5728/task/5738/stat : 5738 (java) S 5725 5728 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124194116 14317654016 408171 18446744073709551615 4194304 4196468 140721650425536 140432485881680 140432942479259 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5739] ppid=5725 vsize=13982084 memory=1436 CPUtime=2.55 cores=1,3,5,7
/proc/5728/task/5739/stat : 5739 (java) S 5725 5728 12395 0 -1 1077944384 23395 0 0 0 252 3 0 0 20 0 15 0 124194116 14317654016 408171 18446744073709551615 4194304 4196468 140721650425536 140432484830064 140432942471810 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5740] ppid=5725 vsize=13982084 memory=1196 CPUtime=2.43 cores=1,3,5,7
/proc/5728/task/5740/stat : 5740 (java) S 5725 5728 12395 0 -1 1077944384 21740 0 0 0 241 2 0 0 20 0 15 0 124194116 14317654016 408171 18446744073709551615 4194304 4196468 140721650425536 140432483777264 140432942471810 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5741] ppid=5725 vsize=13982084 memory=15884 CPUtime=1.11 cores=1,3,5,7
/proc/5728/task/5741/stat : 5741 (java) S 5725 5728 12395 0 -1 1077944384 35414 0 0 0 108 3 0 0 20 0 15 0 124194116 14317654016 408171 18446744073709551615 4194304 4196468 140721650425536 140432482724464 140432942471810 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5742] ppid=5725 vsize=13982084 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/5728/task/5742/stat : 5742 (java) S 5725 5728 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124194116 14317654016 408171 18446744073709551615 4194304 4196468 140721650425536 140432481671904 140432942470869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
[pid=5728/tid=5743] ppid=5725 vsize=13982084 memory=35620 CPUtime=1.22 cores=1,3,5,7
/proc/5728/task/5743/stat : 5743 (java) S 5725 5728 12395 0 -1 1077944384 1716 0 0 0 51 71 0 0 20 0 15 0 124194120 14317654016 408171 18446744073709551615 4194304 4196468 140721650425536 140432480619184 140432942471810 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21245952 140721650430322 140721650430505 140721650430505 140721650433999 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 1632684 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2467.62 s]
# the end of solver process 5728 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.99 s, system=3.13861 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2467.62
CPU time (s): 2520.13
CPU user time (s): 2516.99
CPU system time (s): 3.13861
CPU usage (%): 102.128
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 3500764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.99
system time used= 3.13861
maximum resident set size= 3502812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 405093
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 78578
involuntary context switches= 4389
# summary of solver processes directly reported to runsolver:
# pid: 5728
# total CPU time (s): 2520.13
# total CPU user time (s): 2516.99
# total CPU system time (s): 3.13861
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.9077 second user time and 20.5621 second system time
The end
Begin job on node135 at 2017-08-15 20:33:14 IDJOB=4274763 IDBENCH=124430 IDSOLVER=2667 FILE ID=node135/4274763-1502822826 RUNJOBID= node135-1502658244-13745 PBS_JOBID= Free space on /tmp= 61988 MiB SOLVER NAME= OscaR - Hybrid 2017-07-26 BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n60-k9.xml COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4274763-1502822826/watcher-4274763-1502822826 -o /tmp/evaluation-result-4274763-1502822826/solver-4274763-1502822826 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502658244-13745 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1659244507 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274763-1502822826.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 204525c81941dcb64589d695195e220f RANDOM SEED=1659244507 node135.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.21 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.21 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.21 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.21 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: 27863460 kB MemAvailable: 28922372 kB Buffers: 326936 kB Cached: 1034908 kB SwapCached: 0 kB Active: 3848236 kB Inactive: 600776 kB Active(anon): 3087664 kB Inactive(anon): 49516 kB Active(file): 760572 kB Inactive(file): 551260 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42332 kB Writeback: 4 kB AnonPages: 3089072 kB Mapped: 74856 kB Shmem: 49848 kB Slab: 154176 kB SReclaimable: 125828 kB SUnreclaim: 28348 kB KernelStack: 3488 kB PageTables: 11256 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 3991016 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 2961408 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 61948 MiB End job on node135 at 2017-08-15 21:14:22