Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| OscaR - ALNS 2017-07-26 | SAT (TO) | 3110 | 2520.1101 | 2463.6299 |
| 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.24/0.40 c version: 2017-07-26 0.24/0.40 c seed: 1138124893 0.24/0.40 c timeout: 2520 0.24/0.40 c memlimit: 11000 0.24/0.40 c nbcore: 4 0.41/0.42 c Parsing instance... 3.54/1.52 c Parsing done, starting search... 3.82/1.63 o 3967 45.48/40.25 o 3949 72.07/66.70 o 3598 411.38/404.15 o 3547 1025.20/1007.64 o 3541 1026.74/1009.15 o 3539 1027.24/1009.67 o 3473 1036.47/1018.63 o 3374 1160.63/1139.45 o 3357 1191.82/1169.82 o 3340 1415.24/1387.50 o 3264 1585.93/1553.77 o 3205 1836.33/1797.75 o 3198 2068.35/2023.71 o 3162 2090.47/2045.38 o 3110 2520.05/2463.60 s SATISFIABLE 2520.05/2463.61 v <instantiation> 2520.05/2463.61 v <list> 2520.05/2463.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.05/2463.61 v </list> 2520.05/2463.61 v <values> 2520.05/2463.61 v 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 1 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 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 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 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 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 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 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 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 1 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 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 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 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 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 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 85 100 94 18 20 63 89 100 88 71 89 57 41 96 100 100 39 87 21 100 100 77 82 59 59 31 98 94 76 69 100 78 24 33 68 80 11 24 50 99 60 53 63 100 95 100 18 62 65 46 77 42 83 91 10 20 42 9 24 2520.05/2463.61 v </values> 2520.05/2463.61 v </instantiation>
OK 3110
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 (14175 MiB free)
memory of node 1: 16384 MiB (15377 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273293-1502837125/watcher-4273293-1502837125 -o /tmp/evaluation-result-4273293-1502837125/solver-4273293-1502837125 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502658038-4850 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed 1138124893 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273293-1502837125.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
Current StackSize limit: 8192 KiB
solver pid=28685, runsolver pid=28682
[startup+0.100092 s]*
/proc/loadavg: 1.72 1.52 1.51 3/203 28687
/proc/meminfo: memFree=30259936/32770624 swapFree=67108776/67108860
[pid=28685] ppid=28682 vsize=13358552 memory=13872 CPUtime=0 cores=1,3,5,7
/proc/28685/stat : 28685 (java) S 28682 28685 7084 0 -1 1077944320 3278 0 0 0 0 0 0 0 20 0 6 0 183365071 13679157248 3468 18446744073709551615 4194304 4196468 140737320025600 140737320008144 140002755555063 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
/proc/28685/statm: 3339638 3468 1875 1 0 3329135 0
[pid=28685/tid=28687] ppid=28682 vsize=13358552 memory=7077796292425249400 CPUtime=0 cores=1,3,5,7
/proc/28685/task/28687/stat : 28687 (java) R 28682 28685 7084 0 -1 4202560 1967 0 0 0 0 0 0 0 20 0 6 0 183365081 13679157248 3468 18446744073709551615 4194304 4196468 140737320025600 140002759791184 140002741237589 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28688] ppid=28682 vsize=13358552 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28685/task/28688/stat : 28688 (java) S 28682 28685 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 183365082 13679157248 3468 18446744073709551615 4194304 4196468 140737320025600 140002716453392 140002755565269 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28689] ppid=28682 vsize=13358552 memory=140238917785216 CPUtime=0 cores=1,3,5,7
/proc/28685/task/28689/stat : 28689 (java) S 28682 28685 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 183365082 13679157248 3468 18446744073709551615 4194304 4196468 140737320025600 140002715400848 140002755565269 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28690] ppid=28682 vsize=13358552 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28685/task/28690/stat : 28690 (java) S 28682 28685 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 183365082 13679157248 3468 18446744073709551615 4194304 4196468 140737320025600 140002353146128 140002755565269 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28691] ppid=28682 vsize=13358552 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28685/task/28691/stat : 28691 (java) S 28682 28685 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 183365082 13679157248 3468 18446744073709551615 4194304 4196468 140737320025600 140002352093584 140002755565269 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13358552 KiB
Current children cumulated memory: 13872 KiB
[startup+0.210295 s]*
/proc/loadavg: 1.72 1.52 1.51 3/216 28700
/proc/meminfo: memFree=30251232/32770624 swapFree=67108776/67108860
[pid=28685] ppid=28682 vsize=13975920 memory=27560 CPUtime=0.07 cores=1,3,5,7
/proc/28685/stat : 28685 (java) S 28682 28685 7084 0 -1 1077944320 6683 0 0 0 6 1 0 0 20 0 15 0 183365071 14311342080 6890 18446744073709551615 4194304 4196468 140737320025600 140737320008144 140002755555063 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
/proc/28685/statm: 3493980 6890 3321 1 0 3482759 0
[pid=28685/tid=28687] ppid=28682 vsize=13975920 memory=8316850467074736180 CPUtime=0.06 cores=1,3,5,7
/proc/28685/task/28687/stat : 28687 (java) R 28682 28685 7084 0 -1 4202560 4775 0 0 0 5 1 0 0 20 0 15 0 183365081 14311342080 6890 18446744073709551615 4194304 4196468 140737320025600 140002759784440 140002739635550 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28688] ppid=28682 vsize=13975920 memory=8333 CPUtime=0 cores=1,3,5,7
/proc/28685/task/28688/stat : 28688 (java) S 28682 28685 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 183365082 14311342080 6890 18446744073709551615 4194304 4196468 140737320025600 140002716453392 140002755565269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28689] ppid=28682 vsize=13975920 memory=4123521277294335648 CPUtime=0 cores=1,3,5,7
/proc/28685/task/28689/stat : 28689 (java) S 28682 28685 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 183365082 14311342080 6890 18446744073709551615 4194304 4196468 140737320025600 140002715400848 140002755565269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28690] ppid=28682 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28685/task/28690/stat : 28690 (java) S 28682 28685 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 183365082 14311342080 6890 18446744073709551615 4194304 4196468 140737320025600 140002353146128 140002755565269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28691] ppid=28682 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28685/task/28691/stat : 28691 (java) S 28682 28685 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 183365082 14311342080 6890 18446744073709551615 4194304 4196468 140737320025600 140002352093584 140002755565269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28692] ppid=28682 vsize=13975920 memory=140238917785216 CPUtime=0 cores=1,3,5,7
/proc/28685/task/28692/stat : 28692 (java) S 28682 28685 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 183365083 14311342080 6890 18446744073709551615 4194304 4196468 140737320025600 140002234161904 140002755566210 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28693] ppid=28682 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28685/task/28693/stat : 28693 (java) S 28682 28685 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 183365083 14311342080 6890 18446744073709551615 4194304 4196468 140737320025600 140002233108128 140002755565269 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28694] ppid=28682 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28685/task/28694/stat : 28694 (java) S 28682 28685 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 183365084 14311342080 6890 18446744073709551615 4194304 4196468 140737320025600 140002232055024 140002755565269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28695] ppid=28682 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28685/task/28695/stat : 28695 (java) S 28682 28685 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 183365086 14311342080 6890 18446744073709551615 4194304 4196468 140737320025600 140002231003600 140002755573659 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28696] ppid=28682 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28685/task/28696/stat : 28696 (java) S 28682 28685 7084 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 15 0 183365086 14311342080 6890 18446744073709551615 4194304 4196468 140737320025600 140002229950704 140002755566210 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28697] ppid=28682 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28685/task/28697/stat : 28697 (java) S 28682 28685 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 183365086 14311342080 6890 18446744073709551615 4194304 4196468 140737320025600 140002228898160 140002755566210 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28698] ppid=28682 vsize=13975920 memory=140238917785216 CPUtime=0 cores=1,3,5,7
/proc/28685/task/28698/stat : 28698 (java) R 28682 28685 7084 0 -1 4202560 254 0 0 0 0 0 0 0 20 0 15 0 183365086 14311342080 6890 18446744073709551615 4194304 4196468 140737320025600 140002227845104 140002734480774 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28699] ppid=28682 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28685/task/28699/stat : 28699 (java) S 28682 28685 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 183365086 14311342080 6890 18446744073709551615 4194304 4196468 140737320025600 140002226792800 140002755565269 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28700] ppid=28682 vsize=13975920 memory=140238917785216 CPUtime=0 cores=1,3,5,7
/proc/28685/task/28700/stat : 28700 (java) S 28682 28685 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 183365092 14311342080 6890 18446744073709551615 4194304 4196468 140737320025600 140002225740848 140002755566210 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 27560 KiB
[startup+0.310597 s]*
/proc/loadavg: 1.72 1.52 1.51 3/216 28700
/proc/meminfo: memFree=30236740/32770624 swapFree=67108776/67108860
[pid=28685] ppid=28682 vsize=13975920 memory=39248 CPUtime=0.24 cores=1,3,5,7
/proc/28685/stat : 28685 (java) S 28682 28685 7084 0 -1 1077944320 10092 0 0 0 21 3 0 0 20 0 15 0 183365071 14311342080 9812 18446744073709551615 4194304 4196468 140737320025600 140737320008144 140002755555063 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
/proc/28685/statm: 3493980 9812 3521 1 0 3482759 0
[pid=28685/tid=28687] ppid=28682 vsize=13975920 memory=8316850467074736180 CPUtime=0.16 cores=1,3,5,7
/proc/28685/task/28687/stat : 28687 (java) R 28682 28685 7084 0 -1 4202560 7829 0 0 0 14 2 0 0 20 0 15 0 183365081 14311342080 9812 18446744073709551615 4194304 4196468 140737320025600 140002759773312 140002755566998 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28688] ppid=28682 vsize=13975920 memory=8333 CPUtime=0 cores=1,3,5,7
/proc/28685/task/28688/stat : 28688 (java) S 28682 28685 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 183365082 14311342080 9812 18446744073709551615 4194304 4196468 140737320025600 140002716453392 140002755565269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28689] ppid=28682 vsize=13975920 memory=4123521277294335648 CPUtime=0 cores=1,3,5,7
/proc/28685/task/28689/stat : 28689 (java) S 28682 28685 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 183365082 14311342080 9812 18446744073709551615 4194304 4196468 140737320025600 140002715400848 140002755565269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28690] ppid=28682 vsize=13975920 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/28685/task/28690/stat : 28690 (java) S 28682 28685 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 183365082 14311342080 9812 18446744073709551615 4194304 4196468 140737320025600 140002353146128 140002755565269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28691] ppid=28682 vsize=13975920 memory=3472328296227680299 CPUtime=0 cores=1,3,5,7
/proc/28685/task/28691/stat : 28691 (java) S 28682 28685 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 183365082 14311342080 9812 18446744073709551615 4194304 4196468 140737320025600 140002352093584 140002755565269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28692] ppid=28682 vsize=13975920 memory=3472468535078356656 CPUtime=0 cores=1,3,5,7
/proc/28685/task/28692/stat : 28692 (java) S 28682 28685 7084 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 183365083 14311342080 9812 18446744073709551615 4194304 4196468 140737320025600 140002234161904 140002755566210 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28693] ppid=28682 vsize=13975920 memory=8461260354371939849 CPUtime=0 cores=1,3,5,7
/proc/28685/task/28693/stat : 28693 (java) S 28682 28685 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 183365083 14311342080 9812 18446744073709551615 4194304 4196468 140737320025600 140002233108128 140002755565269 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28694] ppid=28682 vsize=13975920 memory=8475934422144423578 CPUtime=0 cores=1,3,5,7
/proc/28685/task/28694/stat : 28694 (java) S 28682 28685 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 183365084 14311342080 9812 18446744073709551615 4194304 4196468 140737320025600 140002232055024 140002755565269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28695] ppid=28682 vsize=13975920 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/28685/task/28695/stat : 28695 (java) S 28682 28685 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 183365086 14311342080 9812 18446744073709551615 4194304 4196468 140737320025600 140002231003600 140002755573659 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28696] ppid=28682 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/28685/task/28696/stat : 28696 (java) S 28682 28685 7084 0 -1 1077944384 328 0 0 0 1 0 0 0 20 0 15 0 183365086 14311342080 9812 18446744073709551615 4194304 4196468 140737320025600 140002229950704 140002755566210 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28697] ppid=28682 vsize=13975920 memory=3472328296227418159 CPUtime=0.01 cores=1,3,5,7
/proc/28685/task/28697/stat : 28697 (java) S 28682 28685 7084 0 -1 1077944384 170 0 0 0 1 0 0 0 20 0 15 0 183365086 14311342080 9812 18446744073709551615 4194304 4196468 140737320025600 140002228898160 140002755566210 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28698] ppid=28682 vsize=13975920 memory=7959527381342554029 CPUtime=0.04 cores=1,3,5,7
/proc/28685/task/28698/stat : 28698 (java) R 28682 28685 7084 0 -1 4202560 383 0 0 0 4 0 0 0 20 0 15 0 183365086 14311342080 9812 18446744073709551615 4194304 4196468 140737320025600 140002227845104 140002734259800 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28699] ppid=28682 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28685/task/28699/stat : 28699 (java) S 28682 28685 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 183365086 14311342080 9812 18446744073709551615 4194304 4196468 140737320025600 140002226792800 140002755565269 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28700] ppid=28682 vsize=13975920 memory=140238917785216 CPUtime=0 cores=1,3,5,7
/proc/28685/task/28700/stat : 28700 (java) S 28682 28685 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 183365092 14311342080 9835 18446744073709551615 4194304 4196468 140737320025600 140002225740848 140002755566210 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 39248 KiB
[startup+0.709476 s]
/proc/loadavg: 1.72 1.52 1.51 3/216 28700
/proc/meminfo: memFree=30223936/32770624 swapFree=67108776/67108860
[pid=28685] ppid=28682 vsize=13977988 memory=70912 CPUtime=1.07 cores=1,3,5,7
/proc/28685/stat : 28685 (java) S 28682 28685 7084 0 -1 1077944320 13918 0 0 0 102 5 0 0 20 0 15 0 183365071 14313459712 17728 18446744073709551615 4194304 4196468 140737320025600 140737320008144 140002755555063 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
/proc/28685/statm: 3494497 17728 3728 1 0 3483271 0
[pid=28685/tid=28687] ppid=28682 vsize=13977988 memory=0 CPUtime=0.54 cores=1,3,5,7
/proc/28685/task/28687/stat : 28687 (java) R 28682 28685 7084 0 -1 4202560 10360 0 0 0 50 4 0 0 20 0 15 0 183365081 14313459712 17728 18446744073709551615 4194304 4196468 140737320025600 140002759791056 140002394669757 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28688] ppid=28682 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28685/task/28688/stat : 28688 (java) S 28682 28685 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 183365082 14313459712 17728 18446744073709551615 4194304 4196468 140737320025600 140002716453392 140002755565269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28689] ppid=28682 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28685/task/28689/stat : 28689 (java) S 28682 28685 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 183365082 14313459712 17728 18446744073709551615 4194304 4196468 140737320025600 140002715400848 140002755565269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28690] ppid=28682 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28685/task/28690/stat : 28690 (java) S 28682 28685 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 183365082 14313459712 17744 18446744073709551615 4194304 4196468 140737320025600 140002353146128 140002755565269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28691] ppid=28682 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28685/task/28691/stat : 28691 (java) S 28682 28685 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 183365082 14313459712 17744 18446744073709551615 4194304 4196468 140737320025600 140002352093584 140002755565269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28692] ppid=28682 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28685/task/28692/stat : 28692 (java) S 28682 28685 7084 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 183365083 14313459712 17744 18446744073709551615 4194304 4196468 140737320025600 140002234161904 140002755566210 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28693] ppid=28682 vsize=13977988 memory=11404 CPUtime=0 cores=1,3,5,7
/proc/28685/task/28693/stat : 28693 (java) S 28682 28685 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 183365083 14313459712 17744 18446744073709551615 4194304 4196468 140737320025600 140002233108128 140002755565269 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28694] ppid=28682 vsize=13977988 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/28685/task/28694/stat : 28694 (java) S 28682 28685 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 183365084 14313459712 17744 18446744073709551615 4194304 4196468 140737320025600 140002232055024 140002755565269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28695] ppid=28682 vsize=13977988 memory=4600 CPUtime=0 cores=1,3,5,7
/proc/28685/task/28695/stat : 28695 (java) S 28682 28685 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 183365086 14313459712 17744 18446744073709551615 4194304 4196468 140737320025600 140002231003600 140002755573659 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28696] ppid=28682 vsize=13977988 memory=1440 CPUtime=0.14 cores=1,3,5,7
/proc/28685/task/28696/stat : 28696 (java) R 28682 28685 7084 0 -1 4202560 674 0 0 0 14 0 0 0 20 0 15 0 183365086 14313459712 17744 18446744073709551615 4194304 4196468 140737320025600 140002229943576 140002739055446 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28697] ppid=28682 vsize=13977988 memory=3472328279047811153 CPUtime=0.14 cores=1,3,5,7
/proc/28685/task/28697/stat : 28697 (java) R 28682 28685 7084 0 -1 4202560 688 0 0 0 14 0 0 0 20 0 15 0 183365086 14313459712 17744 18446744073709551615 4194304 4196468 140737320025600 140002228888544 140002737099158 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28698] ppid=28682 vsize=13977988 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/28685/task/28698/stat : 28698 (java) R 28682 28685 7084 0 -1 4202560 818 0 0 0 22 0 0 0 20 0 15 0 183365086 14313459712 17744 18446744073709551615 4194304 4196468 140737320025600 140002227840832 140002748654763 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28699] ppid=28682 vsize=13977988 memory=737 CPUtime=0 cores=1,3,5,7
/proc/28685/task/28699/stat : 28699 (java) S 28682 28685 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 183365086 14313459712 17744 18446744073709551615 4194304 4196468 140737320025600 140002226792800 140002755565269 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28700] ppid=28682 vsize=13977988 memory=836 CPUtime=0 cores=1,3,5,7
/proc/28685/task/28700/stat : 28700 (java) R 28682 28685 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 183365092 14313459712 17744 18446744073709551615 4194304 4196468 140737320025600 140002225740848 140002755566210 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 70912 KiB
[startup+1.50152 s]
/proc/loadavg: 1.74 1.53 1.52 6/216 28700
/proc/meminfo: memFree=30164156/32770624 swapFree=67108776/67108860
[pid=28685] ppid=28682 vsize=13980036 memory=185408 CPUtime=3.54 cores=1,3,5,7
/proc/28685/stat : 28685 (java) S 28682 28685 7084 0 -1 1077944320 29727 0 0 0 344 10 0 0 20 0 15 0 183365071 14315556864 46352 18446744073709551615 4194304 4196468 140737320025600 140737320008144 140002755555063 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
/proc/28685/statm: 3495009 46352 3773 1 0 3483783 0
[pid=28685/tid=28687] ppid=28682 vsize=13980036 memory=4156 CPUtime=1.32 cores=1,3,5,7
/proc/28685/task/28687/stat : 28687 (java) R 28682 28685 7084 0 -1 4202560 15686 0 0 0 125 7 0 0 20 0 15 0 183365081 14315556864 46352 18446744073709551615 4194304 4196468 140737320025600 140002759790992 140002394926560 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28688] ppid=28682 vsize=13980036 memory=79392 CPUtime=0 cores=1,3,5,7
/proc/28685/task/28688/stat : 28688 (java) S 28682 28685 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 183365082 14315556864 46352 18446744073709551615 4194304 4196468 140737320025600 140002716453392 140002755565269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28689] ppid=28682 vsize=13980036 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/28685/task/28689/stat : 28689 (java) S 28682 28685 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 183365082 14315556864 46352 18446744073709551615 4194304 4196468 140737320025600 140002715400848 140002755565269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28690] ppid=28682 vsize=13980036 memory=280477605320256 CPUtime=0 cores=1,3,5,7
/proc/28685/task/28690/stat : 28690 (java) S 28682 28685 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 183365082 14315556864 46352 18446744073709551615 4194304 4196468 140737320025600 140002353146128 140002755565269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28691] ppid=28682 vsize=13980036 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/28685/task/28691/stat : 28691 (java) S 28682 28685 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 183365082 14315556864 46352 18446744073709551615 4194304 4196468 140737320025600 140002352093584 140002755565269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28692] ppid=28682 vsize=13980036 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/28685/task/28692/stat : 28692 (java) S 28682 28685 7084 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 183365083 14315556864 46352 18446744073709551615 4194304 4196468 140737320025600 140002234161904 140002755566210 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28693] ppid=28682 vsize=13980036 memory=-6948047529741492128 CPUtime=0 cores=1,3,5,7
/proc/28685/task/28693/stat : 28693 (java) S 28682 28685 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 183365083 14315556864 46352 18446744073709551615 4194304 4196468 140737320025600 140002233108128 140002755565269 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28694] ppid=28682 vsize=13980036 memory=5793990212118078307 CPUtime=0 cores=1,3,5,7
/proc/28685/task/28694/stat : 28694 (java) S 28682 28685 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 183365084 14315556864 46352 18446744073709551615 4194304 4196468 140737320025600 140002232055024 140002755565269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28695] ppid=28682 vsize=13980036 memory=6933690330692294553 CPUtime=0 cores=1,3,5,7
/proc/28685/task/28695/stat : 28695 (java) S 28682 28685 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 183365086 14315556864 46352 18446744073709551615 4194304 4196468 140737320025600 140002231003600 140002755573659 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28696] ppid=28682 vsize=13980036 memory=7812729848792899922 CPUtime=0.77 cores=1,3,5,7
/proc/28685/task/28696/stat : 28696 (java) R 28682 28685 7084 0 -1 4202560 4026 0 0 0 77 0 0 0 20 0 15 0 183365086 14315556864 46352 18446744073709551615 4194304 4196468 140737320025600 140002229937136 140002736191036 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28697] ppid=28682 vsize=13980036 memory=0 CPUtime=0.77 cores=1,3,5,7
/proc/28685/task/28697/stat : 28697 (java) R 28682 28685 7084 0 -1 4202560 3683 0 0 0 77 0 0 0 20 0 15 0 183365086 14315556864 46352 18446744073709551615 4194304 4196468 140737320025600 140002228884184 140002735386086 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28698] ppid=28682 vsize=13980036 memory=0 CPUtime=0.64 cores=1,3,5,7
/proc/28685/task/28698/stat : 28698 (java) R 28682 28685 7084 0 -1 4202560 4926 0 0 0 63 1 0 0 20 0 15 0 183365086 14315556864 46352 18446744073709551615 4194304 4196468 140737320025600 140002227843064 140002734567008 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28699] ppid=28682 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28685/task/28699/stat : 28699 (java) S 28682 28685 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 183365086 14315556864 46352 18446744073709551615 4194304 4196468 140737320025600 140002226792800 140002755565269 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28700] ppid=28682 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28685/task/28700/stat : 28700 (java) S 28682 28685 7084 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 183365092 14315556864 46352 18446744073709551615 4194304 4196468 140737320025600 140002225740848 140002755566210 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
Current children cumulated CPU time: 3.54 s
Current children cumulated vsize: 13980036 KiB
################
# More data... #
################
/proc/28685/task/28687/stat : 28687 (java) R 28682 28685 7084 0 -1 4202560 141025 0 0 0 230390 86 0 0 20 0 15 0 183365081 14317654016 378715 18446744073709551615 4194304 4196468 140737320025600 140002759792816 140002403969168 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28688] ppid=28682 vsize=13982084 memory=1510808 CPUtime=15.47 cores=1,3,5,7
/proc/28685/task/28688/stat : 28688 (java) S 28682 28685 7084 0 -1 1077944384 18722 0 0 0 1507 40 0 0 20 0 15 0 183365082 14317654016 378715 18446744073709551615 4194304 4196468 140737320025600 140002716453392 140002755565269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28689] ppid=28682 vsize=13982084 memory=1510768 CPUtime=15.46 cores=1,3,5,7
/proc/28685/task/28689/stat : 28689 (java) S 28682 28685 7084 0 -1 1077944384 16026 0 0 0 1505 41 0 0 20 0 15 0 183365082 14317654016 378715 18446744073709551615 4194304 4196468 140737320025600 140002715400848 140002755565269 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28690] ppid=28682 vsize=13982084 memory=1514860 CPUtime=15.5 cores=1,3,5,7
/proc/28685/task/28690/stat : 28690 (java) S 28682 28685 7084 0 -1 1077944384 13550 0 0 0 1510 40 0 0 20 0 15 0 183365082 14317654016 378715 18446744073709551615 4194304 4196468 140737320025600 140002353146128 140002755565269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28691] ppid=28682 vsize=13982084 memory=1510788 CPUtime=15.48 cores=1,3,5,7
/proc/28685/task/28691/stat : 28691 (java) S 28682 28685 7084 0 -1 1077944384 14519 0 0 0 1509 39 0 0 20 0 15 0 183365082 14317654016 378715 18446744073709551615 4194304 4196468 140737320025600 140002352093584 140002755565269 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28692] ppid=28682 vsize=13982084 memory=1509820 CPUtime=1.14 cores=1,3,5,7
/proc/28685/task/28692/stat : 28692 (java) S 28682 28685 7084 0 -1 1077944384 60367 0 0 0 90 24 0 0 20 0 15 0 183365083 14317654016 378715 18446744073709551615 4194304 4196468 140737320025600 140002234161904 140002755566210 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28693] ppid=28682 vsize=13982084 memory=4044 CPUtime=0 cores=1,3,5,7
/proc/28685/task/28693/stat : 28693 (java) S 28682 28685 7084 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 183365083 14317654016 378715 18446744073709551615 4194304 4196468 140737320025600 140002233108192 140002755565269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28694] ppid=28682 vsize=13982084 memory=1514860 CPUtime=0 cores=1,3,5,7
/proc/28685/task/28694/stat : 28694 (java) S 28682 28685 7084 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 183365084 14317654016 378715 18446744073709551615 4194304 4196468 140737320025600 140002232055040 140002755565269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28695] ppid=28682 vsize=13982084 memory=1514860 CPUtime=0 cores=1,3,5,7
/proc/28685/task/28695/stat : 28695 (java) S 28682 28685 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 183365086 14317654016 378715 18446744073709551615 4194304 4196468 140737320025600 140002231003600 140002755573659 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28696] ppid=28682 vsize=13982084 memory=1514368 CPUtime=2.25 cores=1,3,5,7
/proc/28685/task/28696/stat : 28696 (java) S 28682 28685 7084 0 -1 1077944384 23520 0 0 0 223 2 0 0 20 0 15 0 183365086 14317654016 378715 18446744073709551615 4194304 4196468 140737320025600 140002229950704 140002755566210 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28697] ppid=28682 vsize=13982084 memory=1514368 CPUtime=2.4 cores=1,3,5,7
/proc/28685/task/28697/stat : 28697 (java) S 28682 28685 7084 0 -1 1077944384 25412 0 0 0 237 3 0 0 20 0 15 0 183365086 14317654016 378715 18446744073709551615 4194304 4196468 140737320025600 140002228898160 140002755566210 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28698] ppid=28682 vsize=13982084 memory=0 CPUtime=1.08 cores=1,3,5,7
/proc/28685/task/28698/stat : 28698 (java) S 28682 28685 7084 0 -1 1077944384 32968 0 0 0 104 4 0 0 20 0 15 0 183365086 14317654016 378715 18446744073709551615 4194304 4196468 140737320025600 140002227845104 140002755566210 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28699] ppid=28682 vsize=13982084 memory=123188252041253 CPUtime=0 cores=1,3,5,7
/proc/28685/task/28699/stat : 28699 (java) S 28682 28685 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 183365086 14317654016 378715 18446744073709551615 4194304 4196468 140737320025600 140002226792800 140002755565269 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28700] ppid=28682 vsize=13982084 memory=1510768 CPUtime=1.17 cores=1,3,5,7
/proc/28685/task/28700/stat : 28700 (java) S 28682 28685 7084 0 -1 1077944384 2016 0 0 0 52 65 0 0 20 0 15 0 183365092 14317654016 378715 18446744073709551615 4194304 4196468 140737320025600 140002225740848 140002755566210 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
Current children cumulated CPU time: 2374.8 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 1514860 KiB
[startup+2382.3 s]
/proc/loadavg: 1.31 1.32 1.43 3/219 28957
/proc/meminfo: memFree=28502960/32770624 swapFree=67108776/67108860
[pid=28685] ppid=28682 vsize=13982084 memory=1426588 CPUtime=2436.52 cores=1,3,5,7
/proc/28685/stat : 28685 (java) S 28682 28685 7084 0 -1 1077944320 354534 0 0 0 243311 341 0 0 20 0 15 0 183365071 14317654016 356647 18446744073709551615 4194304 4196468 140737320025600 140737320008144 140002755555063 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
/proc/28685/statm: 3495521 356647 3835 1 0 3484295 0
[pid=28685/tid=28687] ppid=28682 vsize=13982084 memory=1467080 CPUtime=2364.13 cores=1,3,5,7
/proc/28685/task/28687/stat : 28687 (java) R 28682 28685 7084 0 -1 4202560 142883 0 0 0 236327 86 0 0 20 0 15 0 183365081 14317654016 356647 18446744073709551615 4194304 4196468 140737320025600 140002759792816 140002403968229 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28688] ppid=28682 vsize=13982084 memory=1436336 CPUtime=16.03 cores=1,3,5,7
/proc/28685/task/28688/stat : 28688 (java) S 28682 28685 7084 0 -1 1077944384 18889 0 0 0 1562 41 0 0 20 0 15 0 183365082 14317654016 356647 18446744073709551615 4194304 4196468 140737320025600 140002716453392 140002755565269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28689] ppid=28682 vsize=13982084 memory=1456820 CPUtime=16.02 cores=1,3,5,7
/proc/28685/task/28689/stat : 28689 (java) S 28682 28685 7084 0 -1 1077944384 16372 0 0 0 1560 42 0 0 20 0 15 0 183365082 14317654016 356647 18446744073709551615 4194304 4196468 140737320025600 140002715400848 140002755565269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28690] ppid=28682 vsize=13982084 memory=1468616 CPUtime=16.07 cores=1,3,5,7
/proc/28685/task/28690/stat : 28690 (java) S 28682 28685 7084 0 -1 1077944384 13935 0 0 0 1566 41 0 0 20 0 15 0 183365082 14317654016 356647 18446744073709551615 4194304 4196468 140737320025600 140002353146128 140002755565269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28691] ppid=28682 vsize=13982084 memory=1426588 CPUtime=16.05 cores=1,3,5,7
/proc/28685/task/28691/stat : 28691 (java) S 28682 28685 7084 0 -1 1077944384 14758 0 0 0 1564 41 0 0 20 0 15 0 183365082 14317654016 356647 18446744073709551615 4194304 4196468 140737320025600 140002352093584 140002755565269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28692] ppid=28682 vsize=13982084 memory=1428640 CPUtime=1.18 cores=1,3,5,7
/proc/28685/task/28692/stat : 28692 (java) S 28682 28685 7084 0 -1 1077944384 62132 0 0 0 94 24 0 0 20 0 15 0 183365083 14317654016 356647 18446744073709551615 4194304 4196468 140737320025600 140002234161904 140002755566210 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28693] ppid=28682 vsize=13982084 memory=1426588 CPUtime=0 cores=1,3,5,7
/proc/28685/task/28693/stat : 28693 (java) S 28682 28685 7084 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 183365083 14317654016 356647 18446744073709551615 4194304 4196468 140737320025600 140002233108192 140002755565269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28694] ppid=28682 vsize=13982084 memory=1426588 CPUtime=0 cores=1,3,5,7
/proc/28685/task/28694/stat : 28694 (java) S 28682 28685 7084 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 183365084 14317654016 356647 18446744073709551615 4194304 4196468 140737320025600 140002232055040 140002755565269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28695] ppid=28682 vsize=13982084 memory=1507604 CPUtime=0 cores=1,3,5,7
/proc/28685/task/28695/stat : 28695 (java) S 28682 28685 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 183365086 14317654016 356647 18446744073709551615 4194304 4196468 140737320025600 140002231003600 140002755573659 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28696] ppid=28682 vsize=13982084 memory=1446596 CPUtime=2.25 cores=1,3,5,7
/proc/28685/task/28696/stat : 28696 (java) S 28682 28685 7084 0 -1 1077944384 23522 0 0 0 223 2 0 0 20 0 15 0 183365086 14317654016 356647 18446744073709551615 4194304 4196468 140737320025600 140002229950704 140002755566210 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28697] ppid=28682 vsize=13982084 memory=1426588 CPUtime=2.4 cores=1,3,5,7
/proc/28685/task/28697/stat : 28697 (java) S 28682 28685 7084 0 -1 1077944384 25415 0 0 0 237 3 0 0 20 0 15 0 183365086 14317654016 356647 18446744073709551615 4194304 4196468 140737320025600 140002228898160 140002755566210 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28698] ppid=28682 vsize=13982084 memory=1426588 CPUtime=1.08 cores=1,3,5,7
/proc/28685/task/28698/stat : 28698 (java) S 28682 28685 7084 0 -1 1077944384 33097 0 0 0 104 4 0 0 20 0 15 0 183365086 14317654016 356647 18446744073709551615 4194304 4196468 140737320025600 140002227845104 140002755566210 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28699] ppid=28682 vsize=13982084 memory=1428640 CPUtime=0 cores=1,3,5,7
/proc/28685/task/28699/stat : 28699 (java) S 28682 28685 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 183365086 14317654016 356647 18446744073709551615 4194304 4196468 140737320025600 140002226792800 140002755565269 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28700] ppid=28682 vsize=13982084 memory=4156 CPUtime=1.21 cores=1,3,5,7
/proc/28685/task/28700/stat : 28700 (java) S 28682 28685 7084 0 -1 1077944384 2045 0 0 0 54 67 0 0 20 0 15 0 183365092 14317654016 356647 18446744073709551615 4194304 4196468 140737320025600 140002225740848 140002755566210 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
Current children cumulated CPU time: 2436.52 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 1426588 KiB
[startup+2442.3 s]
/proc/loadavg: 1.54 1.38 1.45 3/219 28959
/proc/meminfo: memFree=28268896/32770624 swapFree=67108776/67108860
[pid=28685] ppid=28682 vsize=13982084 memory=1494304 CPUtime=2498.08 cores=1,3,5,7
/proc/28685/stat : 28685 (java) S 28682 28685 7084 0 -1 1077944320 358584 0 0 0 249458 350 0 0 20 0 15 0 183365071 14317654016 373576 18446744073709551615 4194304 4196468 140737320025600 140737320008144 140002755555063 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
/proc/28685/statm: 3495521 373576 3835 1 0 3484295 0
[pid=28685/tid=28687] ppid=28682 vsize=13982084 memory=1496356 CPUtime=2423.57 cores=1,3,5,7
/proc/28685/task/28687/stat : 28687 (java) R 28682 28685 7084 0 -1 4202560 145453 0 0 0 242268 89 0 0 20 0 15 0 183365081 14317654016 373576 18446744073709551615 4194304 4196468 140737320025600 140002759792928 140002403968239 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28688] ppid=28682 vsize=13982084 memory=1504564 CPUtime=16.55 cores=1,3,5,7
/proc/28685/task/28688/stat : 28688 (java) S 28682 28685 7084 0 -1 1077944384 19148 0 0 0 1613 42 0 0 20 0 15 0 183365082 14317654016 373576 18446744073709551615 4194304 4196468 140737320025600 140002716453392 140002755565269 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28689] ppid=28682 vsize=13982084 memory=1504564 CPUtime=16.54 cores=1,3,5,7
/proc/28685/task/28689/stat : 28689 (java) S 28682 28685 7084 0 -1 1077944384 16700 0 0 0 1611 43 0 0 20 0 15 0 183365082 14317654016 373576 18446744073709551615 4194304 4196468 140737320025600 140002715400848 140002755565269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28690] ppid=28682 vsize=13982084 memory=1339892 CPUtime=16.57 cores=1,3,5,7
/proc/28685/task/28690/stat : 28690 (java) S 28682 28685 7084 0 -1 1077944384 14142 0 0 0 1615 42 0 0 20 0 15 0 183365082 14317654016 373576 18446744073709551615 4194304 4196468 140737320025600 140002353146128 140002755565269 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28691] ppid=28682 vsize=13982084 memory=1339892 CPUtime=16.57 cores=1,3,5,7
/proc/28685/task/28691/stat : 28691 (java) S 28682 28685 7084 0 -1 1077944384 15020 0 0 0 1615 42 0 0 20 0 15 0 183365082 14317654016 373576 18446744073709551615 4194304 4196468 140737320025600 140002352093584 140002755565269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28692] ppid=28682 vsize=13982084 memory=1340212 CPUtime=1.21 cores=1,3,5,7
/proc/28685/task/28692/stat : 28692 (java) S 28682 28685 7084 0 -1 1077944384 62535 0 0 0 96 25 0 0 20 0 15 0 183365083 14317654016 373576 18446744073709551615 4194304 4196468 140737320025600 140002234161904 140002755566210 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28693] ppid=28682 vsize=13982084 memory=1515848 CPUtime=0 cores=1,3,5,7
/proc/28685/task/28693/stat : 28693 (java) S 28682 28685 7084 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 183365083 14317654016 373576 18446744073709551615 4194304 4196468 140737320025600 140002233108192 140002755565269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28694] ppid=28682 vsize=13982084 memory=1358872 CPUtime=0 cores=1,3,5,7
/proc/28685/task/28694/stat : 28694 (java) S 28682 28685 7084 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 183365084 14317654016 373576 18446744073709551615 4194304 4196468 140737320025600 140002232055040 140002755565269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28695] ppid=28682 vsize=13982084 memory=1514824 CPUtime=0 cores=1,3,5,7
/proc/28685/task/28695/stat : 28695 (java) S 28682 28685 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 183365086 14317654016 373576 18446744073709551615 4194304 4196468 140737320025600 140002231003600 140002755573659 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28696] ppid=28682 vsize=13982084 memory=1496356 CPUtime=2.25 cores=1,3,5,7
/proc/28685/task/28696/stat : 28696 (java) S 28682 28685 7084 0 -1 1077944384 23524 0 0 0 223 2 0 0 20 0 15 0 183365086 14317654016 373576 18446744073709551615 4194304 4196468 140737320025600 140002229950704 140002755566210 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28697] ppid=28682 vsize=13982084 memory=1494304 CPUtime=2.4 cores=1,3,5,7
/proc/28685/task/28697/stat : 28697 (java) S 28682 28685 7084 0 -1 1077944384 25417 0 0 0 237 3 0 0 20 0 15 0 183365086 14317654016 373576 18446744073709551615 4194304 4196468 140737320025600 140002228898160 140002755566210 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28698] ppid=28682 vsize=13982084 memory=1504564 CPUtime=1.08 cores=1,3,5,7
/proc/28685/task/28698/stat : 28698 (java) S 28682 28685 7084 0 -1 1077944384 33099 0 0 0 104 4 0 0 20 0 15 0 183365086 14317654016 373576 18446744073709551615 4194304 4196468 140737320025600 140002227845104 140002755566210 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28699] ppid=28682 vsize=13982084 memory=1504564 CPUtime=0 cores=1,3,5,7
/proc/28685/task/28699/stat : 28699 (java) S 28682 28685 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 183365086 14317654016 373576 18446744073709551615 4194304 4196468 140737320025600 140002226792800 140002755565269 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28700] ppid=28682 vsize=13982084 memory=1515848 CPUtime=1.25 cores=1,3,5,7
/proc/28685/task/28700/stat : 28700 (java) S 28682 28685 7084 0 -1 1077944384 2060 0 0 0 56 69 0 0 20 0 15 0 183365092 14317654016 373576 18446744073709551615 4194304 4196468 140737320025600 140002225740848 140002755566210 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
Current children cumulated CPU time: 2498.08 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 1494304 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2463.6 s]
/proc/loadavg: 1.38 1.36 1.44 3/216 28960
/proc/meminfo: memFree=28362000/32770624 swapFree=67108776/67108860
[pid=28685] ppid=28682 vsize=13982084 memory=1454296 CPUtime=2520.05 cores=1,3,5,7
/proc/28685/stat : 28685 (java) S 28682 28685 7084 0 -1 1077944320 360889 0 0 0 251654 351 0 0 20 0 15 0 183365071 14317654016 363574 18446744073709551615 4194304 4196468 140737320025600 140737320008144 140002755555063 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
/proc/28685/statm: 3495521 363574 3835 1 0 3484295 0
[pid=28685/tid=28687] ppid=28682 vsize=13982084 memory=79512 CPUtime=2444.61 cores=1,3,5,7
/proc/28685/task/28687/stat : 28687 (java) R 28682 28685 7084 0 -1 4202560 145730 0 0 0 244372 89 0 0 20 0 15 0 183365081 14317654016 363574 18446744073709551615 4194304 4196468 140737320025600 140002759792928 140002404046770 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28688] ppid=28682 vsize=13982084 memory=1296 CPUtime=16.77 cores=1,3,5,7
/proc/28685/task/28688/stat : 28688 (java) S 28682 28685 7084 0 -1 1077944384 19190 0 0 0 1635 42 0 0 20 0 15 0 183365082 14317654016 363574 18446744073709551615 4194304 4196468 140737320025600 140002716453392 140002755565269 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28689] ppid=28682 vsize=13982084 memory=2460 CPUtime=16.76 cores=1,3,5,7
/proc/28685/task/28689/stat : 28689 (java) S 28682 28685 7084 0 -1 1077944384 16783 0 0 0 1633 43 0 0 20 0 15 0 183365082 14317654016 363574 18446744073709551615 4194304 4196468 140737320025600 140002715400848 140002755565269 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28690] ppid=28682 vsize=13982084 memory=1836 CPUtime=16.79 cores=1,3,5,7
/proc/28685/task/28690/stat : 28690 (java) S 28682 28685 7084 0 -1 1077944384 14244 0 0 0 1637 42 0 0 20 0 15 0 183365082 14317654016 363574 18446744073709551615 4194304 4196468 140737320025600 140002353146128 140002755565269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28691] ppid=28682 vsize=13982084 memory=-8774313645642428999 CPUtime=16.79 cores=1,3,5,7
/proc/28685/task/28691/stat : 28691 (java) S 28682 28685 7084 0 -1 1077944384 15031 0 0 0 1637 42 0 0 20 0 15 0 183365082 14317654016 363574 18446744073709551615 4194304 4196468 140737320025600 140002352093584 140002755565269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28692] ppid=28682 vsize=13982084 memory=1796 CPUtime=1.23 cores=1,3,5,7
/proc/28685/task/28692/stat : 28692 (java) S 28682 28685 7084 0 -1 1077944384 64323 0 0 0 98 25 0 0 20 0 15 0 183365083 14317654016 363574 18446744073709551615 4194304 4196468 140737320025600 140002234161904 140002755566210 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28693] ppid=28682 vsize=13982084 memory=960 CPUtime=0 cores=1,3,5,7
/proc/28685/task/28693/stat : 28693 (java) S 28682 28685 7084 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 183365083 14317654016 363574 18446744073709551615 4194304 4196468 140737320025600 140002233108192 140002755565269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28694] ppid=28682 vsize=13982084 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/28685/task/28694/stat : 28694 (java) S 28682 28685 7084 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 183365084 14317654016 363574 18446744073709551615 4194304 4196468 140737320025600 140002232055040 140002755565269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28695] ppid=28682 vsize=13982084 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/28685/task/28695/stat : 28695 (java) S 28682 28685 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 183365086 14317654016 363574 18446744073709551615 4194304 4196468 140737320025600 140002231003600 140002755573659 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28696] ppid=28682 vsize=13982084 memory=4288 CPUtime=2.25 cores=1,3,5,7
/proc/28685/task/28696/stat : 28696 (java) S 28682 28685 7084 0 -1 1077944384 23524 0 0 0 223 2 0 0 20 0 15 0 183365086 14317654016 363574 18446744073709551615 4194304 4196468 140737320025600 140002229950704 140002755566210 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28697] ppid=28682 vsize=13982084 memory=2160 CPUtime=2.4 cores=1,3,5,7
/proc/28685/task/28697/stat : 28697 (java) S 28682 28685 7084 0 -1 1077944384 25417 0 0 0 237 3 0 0 20 0 15 0 183365086 14317654016 363574 18446744073709551615 4194304 4196468 140737320025600 140002228898160 140002755566210 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28698] ppid=28682 vsize=13982084 memory=1236 CPUtime=1.08 cores=1,3,5,7
/proc/28685/task/28698/stat : 28698 (java) S 28682 28685 7084 0 -1 1077944384 33099 0 0 0 104 4 0 0 20 0 15 0 183365086 14317654016 363574 18446744073709551615 4194304 4196468 140737320025600 140002227845104 140002755566210 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28699] ppid=28682 vsize=13982084 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/28685/task/28699/stat : 28699 (java) S 28682 28685 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 183365086 14317654016 363574 18446744073709551615 4194304 4196468 140737320025600 140002226792800 140002755565269 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
[pid=28685/tid=28700] ppid=28682 vsize=13982084 memory=4288 CPUtime=1.26 cores=1,3,5,7
/proc/28685/task/28700/stat : 28700 (java) S 28682 28685 7084 0 -1 1077944384 2062 0 0 0 56 70 0 0 20 0 15 0 183365092 14317654016 363574 18446744073709551615 4194304 4196468 140737320025600 140002225740848 140002755566210 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25186304 140737320026484 140737320026665 140737320026665 140737320030159 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 1454296 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2463.63 s]
# the end of solver process 28685 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.58 s, system=3.52551 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2463.63
CPU time (s): 2520.11
CPU user time (s): 2516.58
CPU system time (s): 3.52551
CPU usage (%): 102.292
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 3842124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.58
system time used= 3.5255
maximum resident set size= 3845372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 361109
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 79351
involuntary context switches= 3457
# summary of solver processes directly reported to runsolver:
# pid: 28685
# total CPU time (s): 2520.11
# total CPU user time (s): 2516.58
# total CPU system time (s): 3.52551
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.5678 second user time and 24.1356 second system time
The end
Begin job on node132 at 2017-08-16 00:30:58 IDJOB=4273293 IDBENCH=124430 IDSOLVER=2665 FILE ID=node132/4273293-1502837125 RUNJOBID= node132-1502658038-4850 PBS_JOBID= Free space on /tmp= 61988 MiB SOLVER NAME= OscaR - ALNS 2017-07-26 BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n60-k9.xml COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4273293-1502837125/watcher-4273293-1502837125 -o /tmp/evaluation-result-4273293-1502837125/solver-4273293-1502837125 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502658038-4850 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed 1138124893 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273293-1502837125.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 204525c81941dcb64589d695195e220f RANDOM SEED=1138124893 node132.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.74 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.74 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.74 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.74 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: 30262996 kB MemAvailable: 30900224 kB Buffers: 304424 kB Cached: 644960 kB SwapCached: 84 kB Active: 1737332 kB Inactive: 316124 kB Active(anon): 1052056 kB Inactive(anon): 109984 kB Active(file): 685276 kB Inactive(file): 206140 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108776 kB Dirty: 42064 kB Writeback: 0 kB AnonPages: 1046304 kB Mapped: 86172 kB Shmem: 57960 kB Slab: 149988 kB SReclaimable: 123296 kB SUnreclaim: 26692 kB KernelStack: 3680 kB PageTables: 10528 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1695092 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 942080 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61948 MiB End job on node132 at 2017-08-16 01:12:02