Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| OscaR - Hybrid 2017-07-26 | SAT (TO) | 1406 | 2520.1001 | 2456.74 |
| Name | Vrp/Vrp-zinc-s1/ Vrp-P-n50-k10.xml |
| MD5SUM | 994883c0320da003cf1ede0b66369d8b |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 725 |
| Best CPU time to get the best result obtained on this benchmark | 2400.03 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2550 |
| Number of constraints | 2499 |
| Number of domains | 3 |
| Minimum domain size | 1 |
| Maximum domain size | 101 |
| Distribution of domain sizes | [{"size":1,"count":50},{"size":2,"count":2450},{"size":101,"count":49}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 97 |
| Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":50},{"degree":2,"count":98},{"degree":4,"count":2352},{"degree":97,"count":49}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 49 |
| Distribution of constraint arities | [{"arity":1,"count":49},{"arity":3,"count":2352},{"arity":49,"count":98}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 49 |
| Distribution of constraint types | [{"type":"intension","count":49},{"type":"sum","count":2352},{"type":"count","count":98}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.25/0.39 c version: 2017-07-26 0.25/0.39 c seed: 1595987392 0.25/0.39 c timeout: 2520 0.25/0.39 c memlimit: 11000 0.25/0.39 c nbcore: 4 0.25/0.41 c Parsing instance... 3.34/1.42 c Parsing done, starting first complete search... 3.65/1.51 o 1520 3.65/1.95 o 1511 3.65/1.95 o 1486 3.65/1.95 o 1475 3.65/1.95 o 1473 3.65/1.95 o 1463 3.65/1.95 o 1455 3.65/1.95 o 1449 3.65/1.95 o 1439 3.65/1.95 o 1417 3.65/1.99 o 1414 3.65/1.99 o 1406 6.97/3.60 c First complete search done, starting ALNS search... 1808.19/1763.37 c ALNS done, starting second complete search 2520.04/2456.71 s SATISFIABLE 2520.04/2456.72 v <instantiation> 2520.04/2456.72 v <list> 2520.04/2456.72 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] 2520.04/2456.72 v </list> 2520.04/2456.72 v <values> 2520.04/2456.72 v 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 18 55 14 100 21 61 100 100 88 100 58 100 66 70 28 47 22 81 84 88 59 100 69 74 95 34 100 84 100 83 80 42 49 54 68 100 63 58 55 35 95 63 39 38 52 85 87 29 100 2520.04/2456.72 v </values> 2520.04/2456.72 v </instantiation>
OK 1406
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 (14862 MiB free)
memory of node 1: 16384 MiB (14235 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274773-1502885684/watcher-4274773-1502885684 -o /tmp/evaluation-result-4274773-1502885684/solver-4274773-1502885684 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502870159-16941 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1595987392 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274773-1502885684.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=19133, runsolver pid=19130
[startup+0.104695 s]*
/proc/loadavg: 1.06 1.22 1.33 3/204 19140
/proc/meminfo: memFree=29789084/32770624 swapFree=67108860/67108860
[pid=19133] ppid=19130 vsize=13573664 memory=18484 CPUtime=0.02 cores=0,2,4,6
/proc/19133/stat : 19133 (java) S 19130 19133 897 0 -1 1077944320 4010 0 0 0 1 1 0 0 20 0 9 0 90789008 13899431936 4621 18446744073709551615 4194304 4196468 140737372846960 140737372829504 140187462090487 0 0 1 16784584 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
/proc/19133/statm: 3393416 4621 2072 1 0 3382913 0
[pid=19133/tid=19135] ppid=19130 vsize=13573664 memory=8318255677412212789 CPUtime=0.02 cores=0,2,4,6
/proc/19133/task/19135/stat : 19135 (java) R 19130 19133 897 0 -1 4202560 2649 0 0 0 2 0 0 0 20 0 9 0 90789017 13899431936 4621 18446744073709551615 4194304 4196468 140737372846960 140187466331280 140187443742076 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19136] ppid=19130 vsize=13573664 memory=288230591823085922 CPUtime=0 cores=0,2,4,6
/proc/19133/task/19136/stat : 19136 (java) S 19130 19133 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 90789017 13899431936 4621 18446744073709551615 4194304 4196468 140737372846960 140187404036624 140187462100693 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19137] ppid=19130 vsize=13573664 memory=3617434022111606432 CPUtime=0 cores=0,2,4,6
/proc/19133/task/19137/stat : 19137 (java) S 19130 19133 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 90789017 13899431936 4621 18446744073709551615 4194304 4196468 140737372846960 140187402984080 140187462100693 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19138] ppid=19130 vsize=13573664 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19133/task/19138/stat : 19138 (java) S 19130 19133 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 90789017 13899431936 4621 18446744073709551615 4194304 4196468 140737372846960 140187401931024 140187462100693 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19139] ppid=19130 vsize=13573664 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19133/task/19139/stat : 19139 (java) S 19130 19133 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 90789017 13899431936 4621 18446744073709551615 4194304 4196468 140737372846960 140187400878480 140187462100693 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19140] ppid=19130 vsize=13573664 memory=140580946179712 CPUtime=0 cores=0,2,4,6
/proc/19133/task/19140/stat : 19140 (java) S 19130 19133 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 90789019 13899431936 4621 18446744073709551615 4194304 4196468 140737372846960 140187008662256 140187462101634 0 0 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19141] ppid=19130 vsize=13573664 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19133/task/19141/stat : 19141 (java) S 19130 19133 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 90789019 13899431936 4621 18446744073709551615 4194304 4196468 140737372846960 140187007608480 140187462100693 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19142] ppid=19130 vsize=13573664 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19133/task/19142/stat : 19142 (java) S 19130 19133 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 90789019 13899431936 4621 18446744073709551615 4194304 4196468 140737372846960 140187006555440 140187462100693 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13573664 KiB
Current children cumulated memory: 18484 KiB
[startup+0.209924 s]*
/proc/loadavg: 1.06 1.22 1.33 3/212 19148
/proc/meminfo: memFree=29781828/32770624 swapFree=67108860/67108860
[pid=19133] ppid=19130 vsize=13975920 memory=29888 CPUtime=0.09 cores=0,2,4,6
/proc/19133/stat : 19133 (java) S 19130 19133 897 0 -1 1077944320 6801 0 0 0 7 2 0 0 20 0 15 0 90789008 14311342080 7472 18446744073709551615 4194304 4196468 140737372846960 140737372829504 140187462090487 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
/proc/19133/statm: 3493980 7472 3345 1 0 3482759 0
[pid=19133/tid=19135] ppid=19130 vsize=13975920 memory=8316850467074736180 CPUtime=0.07 cores=0,2,4,6
/proc/19133/task/19135/stat : 19135 (java) R 19130 19133 897 0 -1 4202560 4872 0 0 0 6 1 0 0 20 0 15 0 90789017 14311342080 7472 18446744073709551615 4194304 4196468 140737372846960 140187466293616 140187462102422 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19136] ppid=19130 vsize=13975920 memory=12946 CPUtime=0 cores=0,2,4,6
/proc/19133/task/19136/stat : 19136 (java) S 19130 19133 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 90789017 14311342080 7472 18446744073709551615 4194304 4196468 140737372846960 140187404036624 140187462100693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19137] ppid=19130 vsize=13975920 memory=3761547011164206752 CPUtime=0 cores=0,2,4,6
/proc/19133/task/19137/stat : 19137 (java) S 19130 19133 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 90789017 14311342080 7472 18446744073709551615 4194304 4196468 140737372846960 140187402984080 140187462100693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19138] ppid=19130 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19133/task/19138/stat : 19138 (java) S 19130 19133 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 90789017 14311342080 7472 18446744073709551615 4194304 4196468 140737372846960 140187401931024 140187462100693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19139] ppid=19130 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19133/task/19139/stat : 19139 (java) S 19130 19133 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 90789017 14311342080 7472 18446744073709551615 4194304 4196468 140737372846960 140187400878480 140187462100693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19140] ppid=19130 vsize=13975920 memory=140580946179712 CPUtime=0 cores=0,2,4,6
/proc/19133/task/19140/stat : 19140 (java) S 19130 19133 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 90789019 14311342080 7472 18446744073709551615 4194304 4196468 140737372846960 140187008662256 140187462101634 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19141] ppid=19130 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19133/task/19141/stat : 19141 (java) S 19130 19133 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 90789019 14311342080 7472 18446744073709551615 4194304 4196468 140737372846960 140187007608480 140187462100693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19142] ppid=19130 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19133/task/19142/stat : 19142 (java) S 19130 19133 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 90789019 14311342080 7472 18446744073709551615 4194304 4196468 140737372846960 140187006555376 140187462100693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19143] ppid=19130 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19133/task/19143/stat : 19143 (java) S 19130 19133 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 90789022 14311342080 7472 18446744073709551615 4194304 4196468 140737372846960 140187005503952 140187462109083 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19144] ppid=19130 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19133/task/19144/stat : 19144 (java) S 19130 19133 897 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 90789022 14311342080 7472 18446744073709551615 4194304 4196468 140737372846960 140187004451056 140187462101634 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19145] ppid=19130 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19133/task/19145/stat : 19145 (java) S 19130 19133 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 90789022 14311342080 7472 18446744073709551615 4194304 4196468 140737372846960 140187003398512 140187462101634 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19146] ppid=19130 vsize=13975920 memory=140580946179712 CPUtime=0.01 cores=0,2,4,6
/proc/19133/task/19146/stat : 19146 (java) R 19130 19133 897 0 -1 4202560 247 0 0 0 1 0 0 0 20 0 15 0 90789022 14311342080 7472 18446744073709551615 4194304 4196468 140737372846960 140187002345456 140187454327614 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19147] ppid=19130 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19133/task/19147/stat : 19147 (java) S 19130 19133 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 90789022 14311342080 7472 18446744073709551615 4194304 4196468 140737372846960 140187001293152 140187462100693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19148] ppid=19130 vsize=13975920 memory=140580946179712 CPUtime=0 cores=0,2,4,6
/proc/19133/task/19148/stat : 19148 (java) S 19130 19133 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 90789027 14311342080 7472 18446744073709551615 4194304 4196468 140737372846960 140187000241200 140187462101634 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 29888 KiB
[startup+0.310412 s]*
/proc/loadavg: 1.06 1.22 1.33 3/212 19148
/proc/meminfo: memFree=29769888/32770624 swapFree=67108860/67108860
[pid=19133] ppid=19130 vsize=13976944 memory=39328 CPUtime=0.25 cores=0,2,4,6
/proc/19133/stat : 19133 (java) S 19130 19133 897 0 -1 1077944320 10547 0 0 0 21 4 0 0 20 0 15 0 90789008 14312390656 9832 18446744073709551615 4194304 4196468 140737372846960 140737372829504 140187462090487 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
/proc/19133/statm: 3493980 9832 3476 1 0 3482759 0
[pid=19133/tid=19135] ppid=19130 vsize=13975920 memory=8316850467074736180 CPUtime=0.17 cores=0,2,4,6
/proc/19133/task/19135/stat : 19135 (java) R 19130 19133 897 0 -1 4202560 8327 0 0 0 14 3 0 0 20 0 15 0 90789017 14311342080 9832 18446744073709551615 4194304 4196468 140737372846960 140187466301648 140187446170974 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19136] ppid=19130 vsize=13975920 memory=12946 CPUtime=0 cores=0,2,4,6
/proc/19133/task/19136/stat : 19136 (java) S 19130 19133 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 90789017 14311342080 9832 18446744073709551615 4194304 4196468 140737372846960 140187404036624 140187462100693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19137] ppid=19130 vsize=13975920 memory=3761547011164206752 CPUtime=0 cores=0,2,4,6
/proc/19133/task/19137/stat : 19137 (java) S 19130 19133 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 90789017 14311342080 9832 18446744073709551615 4194304 4196468 140737372846960 140187402984080 140187462100693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19138] ppid=19130 vsize=13975920 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/19133/task/19138/stat : 19138 (java) S 19130 19133 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 90789017 14311342080 9832 18446744073709551615 4194304 4196468 140737372846960 140187401931024 140187462100693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19139] ppid=19130 vsize=13975920 memory=3472328296227680299 CPUtime=0 cores=0,2,4,6
/proc/19133/task/19139/stat : 19139 (java) S 19130 19133 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 90789017 14311342080 9832 18446744073709551615 4194304 4196468 140737372846960 140187400878480 140187462100693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19140] ppid=19130 vsize=13975920 memory=3472468877173858992 CPUtime=0 cores=0,2,4,6
/proc/19133/task/19140/stat : 19140 (java) S 19130 19133 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 90789019 14311342080 9832 18446744073709551615 4194304 4196468 140737372846960 140187008662256 140187462101634 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19141] ppid=19130 vsize=13975920 memory=734148540388149561 CPUtime=0 cores=0,2,4,6
/proc/19133/task/19141/stat : 19141 (java) S 19130 19133 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 90789019 14311342080 9832 18446744073709551615 4194304 4196468 140737372846960 140187007608480 140187462100693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19142] ppid=19130 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19133/task/19142/stat : 19142 (java) S 19130 19133 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 90789019 14311342080 9832 18446744073709551615 4194304 4196468 140737372846960 140187006555376 140187462100693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19143] ppid=19130 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19133/task/19143/stat : 19143 (java) S 19130 19133 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 90789022 14311342080 9832 18446744073709551615 4194304 4196468 140737372846960 140187005503952 140187462109083 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19144] ppid=19130 vsize=13975920 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/19133/task/19144/stat : 19144 (java) S 19130 19133 897 0 -1 1077944384 386 0 0 0 1 0 0 0 20 0 15 0 90789022 14311342080 9832 18446744073709551615 4194304 4196468 140737372846960 140187004451056 140187462101634 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19145] ppid=19130 vsize=13975920 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/19133/task/19145/stat : 19145 (java) S 19130 19133 897 0 -1 1077944384 126 0 0 0 1 0 0 0 20 0 15 0 90789022 14311342080 9832 18446744073709551615 4194304 4196468 140737372846960 140187003398512 140187462101634 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19146] ppid=19130 vsize=13975920 memory=8392726456703477985 CPUtime=0.05 cores=0,2,4,6
/proc/19133/task/19146/stat : 19146 (java) R 19130 19133 897 0 -1 4202560 388 0 0 0 5 0 0 0 20 0 15 0 90789022 14311342080 9832 18446744073709551615 4194304 4196468 140737372846960 140187002345456 140187462111834 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19147] ppid=19130 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19133/task/19147/stat : 19147 (java) S 19130 19133 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 90789022 14311342080 9832 18446744073709551615 4194304 4196468 140737372846960 140187001293152 140187462100693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19148] ppid=19130 vsize=13975920 memory=140580946179712 CPUtime=0 cores=0,2,4,6
/proc/19133/task/19148/stat : 19148 (java) S 19130 19133 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 90789027 14311342080 9832 18446744073709551615 4194304 4196468 140737372846960 140187000241200 140187462101634 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 13976944 KiB
Current children cumulated memory: 39328 KiB
[startup+0.704744 s]
/proc/loadavg: 1.06 1.22 1.33 4/212 19148
/proc/meminfo: memFree=29755704/32770624 swapFree=67108860/67108860
[pid=19133] ppid=19130 vsize=13977988 memory=68824 CPUtime=1.09 cores=0,2,4,6
/proc/19133/stat : 19133 (java) S 19130 19133 897 0 -1 1077944320 13967 0 0 0 104 5 0 0 20 0 15 0 90789008 14313459712 17206 18446744073709551615 4194304 4196468 140737372846960 140737372829504 140187462090487 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
/proc/19133/statm: 3494497 17206 3734 1 0 3483271 0
[pid=19133/tid=19135] ppid=19130 vsize=13977988 memory=6945486745225488215 CPUtime=0.56 cores=0,2,4,6
/proc/19133/task/19135/stat : 19135 (java) R 19130 19133 897 0 -1 4202560 10339 0 0 0 52 4 0 0 20 0 15 0 90789017 14313459712 17206 18446744073709551615 4194304 4196468 140737372846960 140187466324944 140187078344728 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19136] ppid=19130 vsize=13977988 memory=7014751519583459665 CPUtime=0 cores=0,2,4,6
/proc/19133/task/19136/stat : 19136 (java) S 19130 19133 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 90789017 14313459712 17206 18446744073709551615 4194304 4196468 140737372846960 140187404036624 140187462100693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19137] ppid=19130 vsize=13977988 memory=7013340919329221740 CPUtime=0 cores=0,2,4,6
/proc/19133/task/19137/stat : 19137 (java) S 19130 19133 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 90789017 14313459712 17206 18446744073709551615 4194304 4196468 140737372846960 140187402984080 140187462100693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19138] ppid=19130 vsize=13977988 memory=7236547281622689387 CPUtime=0 cores=0,2,4,6
/proc/19133/task/19138/stat : 19138 (java) S 19130 19133 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 90789017 14313459712 17206 18446744073709551615 4194304 4196468 140737372846960 140187401931024 140187462100693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19139] ppid=19130 vsize=13977988 memory=5792284864919388256 CPUtime=0 cores=0,2,4,6
/proc/19133/task/19139/stat : 19139 (java) S 19130 19133 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 90789017 14313459712 17206 18446744073709551615 4194304 4196468 140737372846960 140187400878480 140187462100693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19140] ppid=19130 vsize=13977988 memory=5865469479800824941 CPUtime=0 cores=0,2,4,6
/proc/19133/task/19140/stat : 19140 (java) S 19130 19133 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 90789019 14313459712 17206 18446744073709551615 4194304 4196468 140737372846960 140187008662256 140187462101634 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19141] ppid=19130 vsize=13977988 memory=5859271421084456296 CPUtime=0 cores=0,2,4,6
/proc/19133/task/19141/stat : 19141 (java) S 19130 19133 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 90789019 14313459712 17206 18446744073709551615 4194304 4196468 140737372846960 140187007608480 140187462100693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19142] ppid=19130 vsize=13977988 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/19133/task/19142/stat : 19142 (java) S 19130 19133 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 90789019 14313459712 17206 18446744073709551615 4194304 4196468 140737372846960 140187006555376 140187462100693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19143] ppid=19130 vsize=13977988 memory=2316 CPUtime=0 cores=0,2,4,6
/proc/19133/task/19143/stat : 19143 (java) S 19130 19133 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 90789022 14313459712 17206 18446744073709551615 4194304 4196468 140737372846960 140187005503952 140187462109083 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19144] ppid=19130 vsize=13977988 memory=1728 CPUtime=0.14 cores=0,2,4,6
/proc/19133/task/19144/stat : 19144 (java) R 19130 19133 897 0 -1 4202560 824 0 0 0 14 0 0 0 20 0 15 0 90789022 14313459712 17206 18446744073709551615 4194304 4196468 140737372846960 140187004438608 140187446352967 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19145] ppid=19130 vsize=13977988 memory=1228 CPUtime=0.14 cores=0,2,4,6
/proc/19133/task/19145/stat : 19145 (java) R 19130 19133 897 0 -1 4202560 568 0 0 0 14 0 0 0 20 0 15 0 90789022 14313459712 17206 18446744073709551615 4194304 4196468 140737372846960 140187003384536 140187443634730 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19146] ppid=19130 vsize=13977988 memory=796 CPUtime=0.23 cores=0,2,4,6
/proc/19133/task/19146/stat : 19146 (java) R 19130 19133 897 0 -1 4202560 854 0 0 0 23 0 0 0 20 0 15 0 90789022 14313459712 17206 18446744073709551615 4194304 4196468 140737372846960 140187002339808 140187455196605 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19147] ppid=19130 vsize=13977988 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/19133/task/19147/stat : 19147 (java) S 19130 19133 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 90789022 14313459712 17206 18446744073709551615 4194304 4196468 140737372846960 140187001293152 140187462100693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19148] ppid=19130 vsize=13977988 memory=33 CPUtime=0 cores=0,2,4,6
/proc/19133/task/19148/stat : 19148 (java) S 19130 19133 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 90789027 14313459712 17206 18446744073709551615 4194304 4196468 140737372846960 140187000241200 140187462101634 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 68824 KiB
[startup+1.50373 s]
/proc/loadavg: 1.06 1.22 1.33 5/212 19148
/proc/meminfo: memFree=29705876/32770624 swapFree=67108860/67108860
[pid=19133] ppid=19130 vsize=13982084 memory=176576 CPUtime=3.65 cores=0,2,4,6
/proc/19133/stat : 19133 (java) S 19130 19133 897 0 -1 1077944320 30414 0 0 0 354 11 0 0 20 0 15 0 90789008 14317654016 44144 18446744073709551615 4194304 4196468 140737372846960 140737372829504 140187462090487 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
/proc/19133/statm: 3495521 44144 3773 1 0 3484295 0
[pid=19133/tid=19135] ppid=19130 vsize=13982084 memory=98296 CPUtime=1.35 cores=0,2,4,6
/proc/19133/task/19135/stat : 19135 (java) R 19130 19133 897 0 -1 1077944384 15865 0 0 0 128 7 0 0 20 0 15 0 90789017 14317654016 44144 18446744073709551615 4194304 4196468 140737372846960 140187466319088 140187462100693 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19136] ppid=19130 vsize=13982084 memory=4080 CPUtime=0 cores=0,2,4,6
/proc/19133/task/19136/stat : 19136 (java) S 19130 19133 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 90789017 14317654016 44144 18446744073709551615 4194304 4196468 140737372846960 140187404036624 140187462100693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19137] ppid=19130 vsize=13982084 memory=4584 CPUtime=0 cores=0,2,4,6
/proc/19133/task/19137/stat : 19137 (java) S 19130 19133 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 90789017 14317654016 44144 18446744073709551615 4194304 4196468 140737372846960 140187402984080 140187462100693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19138] ppid=19130 vsize=13982084 memory=1152 CPUtime=0 cores=0,2,4,6
/proc/19133/task/19138/stat : 19138 (java) S 19130 19133 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 90789017 14317654016 44144 18446744073709551615 4194304 4196468 140737372846960 140187401931024 140187462100693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19139] ppid=19130 vsize=13982084 memory=2396 CPUtime=0 cores=0,2,4,6
/proc/19133/task/19139/stat : 19139 (java) S 19130 19133 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 90789017 14317654016 44144 18446744073709551615 4194304 4196468 140737372846960 140187400878480 140187462100693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19140] ppid=19130 vsize=13982084 memory=150152 CPUtime=0 cores=0,2,4,6
/proc/19133/task/19140/stat : 19140 (java) S 19130 19133 897 0 -1 1077944384 329 0 0 0 0 0 0 0 20 0 15 0 90789019 14317654016 44144 18446744073709551615 4194304 4196468 140737372846960 140187008662256 140187462101634 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19141] ppid=19130 vsize=13982084 memory=281161578324768 CPUtime=0 cores=0,2,4,6
/proc/19133/task/19141/stat : 19141 (java) S 19130 19133 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 90789019 14317654016 44144 18446744073709551615 4194304 4196468 140737372846960 140187007608480 140187462100693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19142] ppid=19130 vsize=13982084 memory=222741298976125 CPUtime=0 cores=0,2,4,6
/proc/19133/task/19142/stat : 19142 (java) S 19130 19133 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 90789019 14317654016 44144 18446744073709551615 4194304 4196468 140737372846960 140187006555376 140187462100693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19143] ppid=19130 vsize=13982084 memory=4116 CPUtime=0 cores=0,2,4,6
/proc/19133/task/19143/stat : 19143 (java) S 19130 19133 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 90789022 14317654016 44144 18446744073709551615 4194304 4196468 140737372846960 140187005503952 140187462109083 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19144] ppid=19130 vsize=13982084 memory=49776 CPUtime=0.8 cores=0,2,4,6
/proc/19133/task/19144/stat : 19144 (java) R 19130 19133 897 0 -1 4202560 4240 0 0 0 80 0 0 0 20 0 15 0 90789022 14317654016 44144 18446744073709551615 4194304 4196468 140737372846960 140187004438736 140187439319831 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19145] ppid=19130 vsize=13982084 memory=1292 CPUtime=0.8 cores=0,2,4,6
/proc/19133/task/19145/stat : 19145 (java) R 19130 19133 897 0 -1 4202560 4206 0 0 0 80 0 0 0 20 0 15 0 90789022 14317654016 44144 18446744073709551615 4194304 4196468 140737372846960 140187003384384 140187445587009 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19146] ppid=19130 vsize=13982084 memory=2316 CPUtime=0.66 cores=0,2,4,6
/proc/19133/task/19146/stat : 19146 (java) S 19130 19133 897 0 -1 1077944384 4393 0 0 0 65 1 0 0 20 0 15 0 90789022 14317654016 44144 18446744073709551615 4194304 4196468 140737372846960 140187002345456 140187462101634 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
################
# More data... #
################
/proc/19133/task/19135/stat : 19135 (java) R 19130 19133 897 0 -1 4202560 82965 0 0 0 236054 72 0 0 20 0 15 0 90789017 14317654016 216171 18446744073709551615 4194304 4196468 140737372846960 140187466328704 140187088146920 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19136] ppid=19130 vsize=13982084 memory=857336 CPUtime=18.28 cores=0,2,4,6
/proc/19133/task/19136/stat : 19136 (java) S 19130 19133 897 0 -1 1077944384 12906 0 0 0 1791 37 0 0 20 0 15 0 90789017 14317654016 216171 18446744073709551615 4194304 4196468 140737372846960 140187404036624 140187462100693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19137] ppid=19130 vsize=13982084 memory=856452 CPUtime=18.27 cores=0,2,4,6
/proc/19133/task/19137/stat : 19137 (java) S 19130 19133 897 0 -1 1077944384 12196 0 0 0 1789 38 0 0 20 0 15 0 90789017 14317654016 216171 18446744073709551615 4194304 4196468 140737372846960 140187402984080 140187462100693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19138] ppid=19130 vsize=13982084 memory=847044 CPUtime=18.28 cores=0,2,4,6
/proc/19133/task/19138/stat : 19138 (java) S 19130 19133 897 0 -1 1077944384 12772 0 0 0 1788 40 0 0 20 0 15 0 90789017 14317654016 216171 18446744073709551615 4194304 4196468 140737372846960 140187401931024 140187462100693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19139] ppid=19130 vsize=13982084 memory=849252 CPUtime=18.3 cores=0,2,4,6
/proc/19133/task/19139/stat : 19139 (java) S 19130 19133 897 0 -1 1077944384 13680 0 0 0 1792 38 0 0 20 0 15 0 90789017 14317654016 216171 18446744073709551615 4194304 4196468 140737372846960 140187400878480 140187462100693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19140] ppid=19130 vsize=13982084 memory=864684 CPUtime=1.82 cores=0,2,4,6
/proc/19133/task/19140/stat : 19140 (java) S 19130 19133 897 0 -1 1077944384 61276 0 0 0 153 29 0 0 20 0 15 0 90789019 14317654016 216171 18446744073709551615 4194304 4196468 140737372846960 140187008662256 140187462101634 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19141] ppid=19130 vsize=13982084 memory=854456 CPUtime=0 cores=0,2,4,6
/proc/19133/task/19141/stat : 19141 (java) S 19130 19133 897 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 90789019 14317654016 216171 18446744073709551615 4194304 4196468 140737372846960 140187007608544 140187462100693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19142] ppid=19130 vsize=13982084 memory=864684 CPUtime=0 cores=0,2,4,6
/proc/19133/task/19142/stat : 19142 (java) S 19130 19133 897 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 90789019 14317654016 216171 18446744073709551615 4194304 4196468 140737372846960 140187006555392 140187462100693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19143] ppid=19130 vsize=13982084 memory=8836 CPUtime=0 cores=0,2,4,6
/proc/19133/task/19143/stat : 19143 (java) S 19130 19133 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 90789022 14317654016 216171 18446744073709551615 4194304 4196468 140737372846960 140187005503952 140187462109083 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19144] ppid=19130 vsize=13982084 memory=857336 CPUtime=2.48 cores=0,2,4,6
/proc/19133/task/19144/stat : 19144 (java) S 19130 19133 897 0 -1 1077944384 18137 0 0 0 245 3 0 0 20 0 15 0 90789022 14317654016 216171 18446744073709551615 4194304 4196468 140737372846960 140187004451056 140187462101634 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19145] ppid=19130 vsize=13982084 memory=4116 CPUtime=2.57 cores=0,2,4,6
/proc/19133/task/19145/stat : 19145 (java) S 19130 19133 897 0 -1 1077944384 19826 0 0 0 254 3 0 0 20 0 15 0 90789022 14317654016 216171 18446744073709551615 4194304 4196468 140737372846960 140187003398512 140187462101634 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19146] ppid=19130 vsize=13982084 memory=843608 CPUtime=1.05 cores=0,2,4,6
/proc/19133/task/19146/stat : 19146 (java) S 19130 19133 897 0 -1 1077944384 21104 0 0 0 102 3 0 0 20 0 15 0 90789022 14317654016 216171 18446744073709551615 4194304 4196468 140737372846960 140187002345456 140187462101634 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19147] ppid=19130 vsize=13982084 memory=4116 CPUtime=0 cores=0,2,4,6
/proc/19133/task/19147/stat : 19147 (java) S 19130 19133 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 90789022 14317654016 216171 18446744073709551615 4194304 4196468 140737372846960 140187001293152 140187462100693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19148] ppid=19130 vsize=13982084 memory=864684 CPUtime=1.28 cores=0,2,4,6
/proc/19133/task/19148/stat : 19148 (java) S 19130 19133 897 0 -1 1077944384 1302 0 0 0 61 67 0 0 20 0 15 0 90789027 14317654016 216171 18446744073709551615 4194304 4196468 140737372846960 140187000241200 140187462101634 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
Current children cumulated CPU time: 2443.67 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 864684 KiB
[startup+2442.3 s]
/proc/loadavg: 1.10 1.29 1.37 3/213 19395
/proc/meminfo: memFree=29621752/32770624 swapFree=67108860/67108860
[pid=19133] ppid=19130 vsize=13982084 memory=842508 CPUtime=2505.27 cores=0,2,4,6
/proc/19133/stat : 19133 (java) S 19130 19133 897 0 -1 1077944320 262960 0 0 0 250214 313 0 0 20 0 15 0 90789008 14317654016 210627 18446744073709551615 4194304 4196468 140737372846960 140737372829504 140187462090487 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
/proc/19133/statm: 3495521 210627 3833 1 0 3484295 0
[pid=19133/tid=19135] ppid=19130 vsize=13982084 memory=859436 CPUtime=2420.63 cores=0,2,4,6
/proc/19133/task/19135/stat : 19135 (java) R 19130 19133 897 0 -1 4202560 85460 0 0 0 241990 73 0 0 20 0 15 0 90789017 14317654016 210627 18446744073709551615 4194304 4196468 140737372846960 140187466328704 140187088232704 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19136] ppid=19130 vsize=13982084 memory=865080 CPUtime=18.8 cores=0,2,4,6
/proc/19133/task/19136/stat : 19136 (java) S 19130 19133 897 0 -1 1077944384 13271 0 0 0 1843 37 0 0 20 0 15 0 90789017 14317654016 210627 18446744073709551615 4194304 4196468 140737372846960 140187404036624 140187462100693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19137] ppid=19130 vsize=13982084 memory=865080 CPUtime=18.79 cores=0,2,4,6
/proc/19133/task/19137/stat : 19137 (java) S 19130 19133 897 0 -1 1077944384 12512 0 0 0 1841 38 0 0 20 0 15 0 90789017 14317654016 210627 18446744073709551615 4194304 4196468 140737372846960 140187402984080 140187462100693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19138] ppid=19130 vsize=13982084 memory=842508 CPUtime=18.81 cores=0,2,4,6
/proc/19133/task/19138/stat : 19138 (java) S 19130 19133 897 0 -1 1077944384 13166 0 0 0 1841 40 0 0 20 0 15 0 90789017 14317654016 210627 18446744073709551615 4194304 4196468 140737372846960 140187401931024 140187462100693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19139] ppid=19130 vsize=13982084 memory=842508 CPUtime=18.82 cores=0,2,4,6
/proc/19133/task/19139/stat : 19139 (java) S 19130 19133 897 0 -1 1077944384 14080 0 0 0 1844 38 0 0 20 0 15 0 90789017 14317654016 210627 18446744073709551615 4194304 4196468 140737372846960 140187400878480 140187462100693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19140] ppid=19130 vsize=13982084 memory=842508 CPUtime=1.88 cores=0,2,4,6
/proc/19133/task/19140/stat : 19140 (java) S 19130 19133 897 0 -1 1077944384 62619 0 0 0 158 30 0 0 20 0 15 0 90789019 14317654016 210627 18446744073709551615 4194304 4196468 140737372846960 140187008662256 140187462101634 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19141] ppid=19130 vsize=13982084 memory=842508 CPUtime=0 cores=0,2,4,6
/proc/19133/task/19141/stat : 19141 (java) S 19130 19133 897 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 90789019 14317654016 210627 18446744073709551615 4194304 4196468 140737372846960 140187007608544 140187462100693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19142] ppid=19130 vsize=13982084 memory=870724 CPUtime=0 cores=0,2,4,6
/proc/19133/task/19142/stat : 19142 (java) S 19130 19133 897 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 90789019 14317654016 210627 18446744073709551615 4194304 4196468 140737372846960 140187006555392 140187462100693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19143] ppid=19130 vsize=13982084 memory=848152 CPUtime=0 cores=0,2,4,6
/proc/19133/task/19143/stat : 19143 (java) S 19130 19133 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 90789022 14317654016 210627 18446744073709551615 4194304 4196468 140737372846960 140187005503952 140187462109083 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19144] ppid=19130 vsize=13982084 memory=4116 CPUtime=2.48 cores=0,2,4,6
/proc/19133/task/19144/stat : 19144 (java) S 19130 19133 897 0 -1 1077944384 18139 0 0 0 245 3 0 0 20 0 15 0 90789022 14317654016 210627 18446744073709551615 4194304 4196468 140737372846960 140187004451056 140187462101634 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19145] ppid=19130 vsize=13982084 memory=4116 CPUtime=2.57 cores=0,2,4,6
/proc/19133/task/19145/stat : 19145 (java) S 19130 19133 897 0 -1 1077944384 19828 0 0 0 254 3 0 0 20 0 15 0 90789022 14317654016 210627 18446744073709551615 4194304 4196468 140737372846960 140187003398512 140187462101634 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19146] ppid=19130 vsize=13982084 memory=49884 CPUtime=1.05 cores=0,2,4,6
/proc/19133/task/19146/stat : 19146 (java) S 19130 19133 897 0 -1 1077944384 21107 0 0 0 102 3 0 0 20 0 15 0 90789022 14317654016 210627 18446744073709551615 4194304 4196468 140737372846960 140187002345456 140187462101634 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19147] ppid=19130 vsize=13982084 memory=842508 CPUtime=0 cores=0,2,4,6
/proc/19133/task/19147/stat : 19147 (java) S 19130 19133 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 90789022 14317654016 210627 18446744073709551615 4194304 4196468 140737372846960 140187001293152 140187462100693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19148] ppid=19130 vsize=13982084 memory=865080 CPUtime=1.32 cores=0,2,4,6
/proc/19133/task/19148/stat : 19148 (java) S 19130 19133 897 0 -1 1077944384 1317 0 0 0 63 69 0 0 20 0 15 0 90789027 14317654016 210627 18446744073709551615 4194304 4196468 140737372846960 140187000241200 140187462101634 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
Current children cumulated CPU time: 2505.27 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 842508 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2456.7 s]
/proc/loadavg: 1.15 1.30 1.37 3/213 19395
/proc/meminfo: memFree=29525848/32770624 swapFree=67108860/67108860
[pid=19133] ppid=19130 vsize=13982084 memory=948908 CPUtime=2520.04 cores=0,2,4,6
/proc/19133/stat : 19133 (java) S 19130 19133 897 0 -1 1077944320 264946 0 0 0 251685 319 0 0 20 0 15 0 90789008 14317654016 237227 18446744073709551615 4194304 4196468 140737372846960 140737372829504 140187462090487 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
/proc/19133/statm: 3495521 237227 3833 1 0 3484295 0
[pid=19133/tid=19135] ppid=19130 vsize=13982084 memory=1712 CPUtime=2434.89 cores=0,2,4,6
/proc/19133/task/19135/stat : 19135 (java) R 19130 19133 897 0 -1 4202560 86258 0 0 0 243414 75 0 0 20 0 15 0 90789017 14317654016 237227 18446744073709551615 4194304 4196468 140737372846960 140187466328704 140187088231855 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19136] ppid=19130 vsize=13982084 memory=954548 CPUtime=18.92 cores=0,2,4,6
/proc/19133/task/19136/stat : 19136 (java) S 19130 19133 897 0 -1 1077944384 13510 0 0 0 1854 38 0 0 20 0 15 0 90789017 14317654016 237227 18446744073709551615 4194304 4196468 140737372846960 140187404036624 140187462100693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19137] ppid=19130 vsize=13982084 memory=865080 CPUtime=18.93 cores=0,2,4,6
/proc/19133/task/19137/stat : 19137 (java) S 19130 19133 897 0 -1 1077944384 12770 0 0 0 1853 40 0 0 20 0 15 0 90789017 14317654016 237227 18446744073709551615 4194304 4196468 140737372846960 140187402984080 140187462100693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19138] ppid=19130 vsize=13982084 memory=842508 CPUtime=18.93 cores=0,2,4,6
/proc/19133/task/19138/stat : 19138 (java) S 19130 19133 897 0 -1 1077944384 13432 0 0 0 1852 41 0 0 20 0 15 0 90789017 14317654016 237227 18446744073709551615 4194304 4196468 140737372846960 140187401931024 140187462100693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19139] ppid=19130 vsize=13982084 memory=859436 CPUtime=18.95 cores=0,2,4,6
/proc/19133/task/19139/stat : 19139 (java) S 19130 19133 897 0 -1 1077944384 14395 0 0 0 1855 40 0 0 20 0 15 0 90789017 14317654016 237227 18446744073709551615 4194304 4196468 140737372846960 140187400878480 140187462100693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19140] ppid=19130 vsize=13982084 memory=831224 CPUtime=1.89 cores=0,2,4,6
/proc/19133/task/19140/stat : 19140 (java) S 19130 19133 897 0 -1 1077944384 62729 0 0 0 159 30 0 0 20 0 15 0 90789019 14317654016 237227 18446744073709551615 4194304 4196468 140737372846960 140187008662256 140187462101634 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19141] ppid=19130 vsize=13982084 memory=949344 CPUtime=0 cores=0,2,4,6
/proc/19133/task/19141/stat : 19141 (java) S 19130 19133 897 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 90789019 14317654016 237227 18446744073709551615 4194304 4196468 140737372846960 140187007608544 140187462100693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19142] ppid=19130 vsize=13982084 memory=954548 CPUtime=0 cores=0,2,4,6
/proc/19133/task/19142/stat : 19142 (java) S 19130 19133 897 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 90789019 14317654016 237227 18446744073709551615 4194304 4196468 140737372846960 140187006555392 140187462100693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19143] ppid=19130 vsize=13982084 memory=948908 CPUtime=0 cores=0,2,4,6
/proc/19133/task/19143/stat : 19143 (java) S 19130 19133 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 90789022 14317654016 237227 18446744073709551615 4194304 4196468 140737372846960 140187005503952 140187462109083 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19144] ppid=19130 vsize=13982084 memory=845864 CPUtime=2.48 cores=0,2,4,6
/proc/19133/task/19144/stat : 19144 (java) S 19130 19133 897 0 -1 1077944384 18139 0 0 0 245 3 0 0 20 0 15 0 90789022 14317654016 237227 18446744073709551615 4194304 4196468 140737372846960 140187004451056 140187462101634 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19145] ppid=19130 vsize=13982084 memory=948908 CPUtime=2.57 cores=0,2,4,6
/proc/19133/task/19145/stat : 19145 (java) S 19130 19133 897 0 -1 1077944384 19828 0 0 0 254 3 0 0 20 0 15 0 90789022 14317654016 237227 18446744073709551615 4194304 4196468 140737372846960 140187003398512 140187462101634 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19146] ppid=19130 vsize=13982084 memory=870724 CPUtime=1.05 cores=0,2,4,6
/proc/19133/task/19146/stat : 19146 (java) S 19130 19133 897 0 -1 1077944384 21107 0 0 0 102 3 0 0 20 0 15 0 90789022 14317654016 237227 18446744073709551615 4194304 4196468 140737372846960 140187002345456 140187462101634 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19147] ppid=19130 vsize=13982084 memory=948908 CPUtime=0 cores=0,2,4,6
/proc/19133/task/19147/stat : 19147 (java) S 19130 19133 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 90789022 14317654016 237227 18446744073709551615 4194304 4196468 140737372846960 140187001293152 140187462100693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19148] ppid=19130 vsize=13982084 memory=954548 CPUtime=1.33 cores=0,2,4,6
/proc/19133/task/19148/stat : 19148 (java) S 19130 19133 897 0 -1 1077944384 1317 0 0 0 64 69 0 0 20 0 15 0 90789027 14317654016 237227 18446744073709551615 4194304 4196468 140737372846960 140187000241200 140187462101634 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 948908 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2456.74 s]
# the end of solver process 19133 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.9 s, system=3.20564 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2456.7 s]
/proc/loadavg: 1.15 1.30 1.37 3/213 19395
/proc/meminfo: memFree=29525848/32770624 swapFree=67108860/67108860
[pid=19133] ppid=19130 vsize=13982084 memory=948908 CPUtime=2520.04 cores=0,2,4,6
/proc/19133/stat : 19133 (java) S 19130 19133 897 0 -1 1077944320 264946 0 0 0 251685 319 0 0 20 0 15 0 90789008 14317654016 237227 18446744073709551615 4194304 4196468 140737372846960 140737372829504 140187462090487 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
/proc/19133/statm: 3495521 237227 3833 1 0 3484295 0
[pid=19133/tid=19135] ppid=19130 vsize=13982084 memory=1712 CPUtime=2434.89 cores=0,2,4,6
/proc/19133/task/19135/stat : 19135 (java) R 19130 19133 897 0 -1 4202560 86258 0 0 0 243414 75 0 0 20 0 15 0 90789017 14317654016 237227 18446744073709551615 4194304 4196468 140737372846960 140187466328704 140187088231855 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19136] ppid=19130 vsize=13982084 memory=954548 CPUtime=18.92 cores=0,2,4,6
/proc/19133/task/19136/stat : 19136 (java) S 19130 19133 897 0 -1 1077944384 13510 0 0 0 1854 38 0 0 20 0 15 0 90789017 14317654016 237227 18446744073709551615 4194304 4196468 140737372846960 140187404036624 140187462100693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19137] ppid=19130 vsize=13982084 memory=865080 CPUtime=18.93 cores=0,2,4,6
/proc/19133/task/19137/stat : 19137 (java) S 19130 19133 897 0 -1 1077944384 12770 0 0 0 1853 40 0 0 20 0 15 0 90789017 14317654016 237227 18446744073709551615 4194304 4196468 140737372846960 140187402984080 140187462100693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19138] ppid=19130 vsize=13982084 memory=842508 CPUtime=18.93 cores=0,2,4,6
/proc/19133/task/19138/stat : 19138 (java) S 19130 19133 897 0 -1 1077944384 13432 0 0 0 1852 41 0 0 20 0 15 0 90789017 14317654016 237227 18446744073709551615 4194304 4196468 140737372846960 140187401931024 140187462100693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19139] ppid=19130 vsize=13982084 memory=859436 CPUtime=18.95 cores=0,2,4,6
/proc/19133/task/19139/stat : 19139 (java) S 19130 19133 897 0 -1 1077944384 14395 0 0 0 1855 40 0 0 20 0 15 0 90789017 14317654016 237227 18446744073709551615 4194304 4196468 140737372846960 140187400878480 140187462100693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19140] ppid=19130 vsize=13982084 memory=831224 CPUtime=1.89 cores=0,2,4,6
/proc/19133/task/19140/stat : 19140 (java) S 19130 19133 897 0 -1 1077944384 62729 0 0 0 159 30 0 0 20 0 15 0 90789019 14317654016 237227 18446744073709551615 4194304 4196468 140737372846960 140187008662256 140187462101634 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19141] ppid=19130 vsize=13982084 memory=949344 CPUtime=0 cores=0,2,4,6
/proc/19133/task/19141/stat : 19141 (java) S 19130 19133 897 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 90789019 14317654016 237227 18446744073709551615 4194304 4196468 140737372846960 140187007608544 140187462100693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19142] ppid=19130 vsize=13982084 memory=954548 CPUtime=0 cores=0,2,4,6
/proc/19133/task/19142/stat : 19142 (java) S 19130 19133 897 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 90789019 14317654016 237227 18446744073709551615 4194304 4196468 140737372846960 140187006555392 140187462100693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19143] ppid=19130 vsize=13982084 memory=948908 CPUtime=0 cores=0,2,4,6
/proc/19133/task/19143/stat : 19143 (java) S 19130 19133 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 90789022 14317654016 237227 18446744073709551615 4194304 4196468 140737372846960 140187005503952 140187462109083 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19144] ppid=19130 vsize=13982084 memory=845864 CPUtime=2.48 cores=0,2,4,6
/proc/19133/task/19144/stat : 19144 (java) S 19130 19133 897 0 -1 1077944384 18139 0 0 0 245 3 0 0 20 0 15 0 90789022 14317654016 237227 18446744073709551615 4194304 4196468 140737372846960 140187004451056 140187462101634 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19145] ppid=19130 vsize=13982084 memory=948908 CPUtime=2.57 cores=0,2,4,6
/proc/19133/task/19145/stat : 19145 (java) S 19130 19133 897 0 -1 1077944384 19828 0 0 0 254 3 0 0 20 0 15 0 90789022 14317654016 237227 18446744073709551615 4194304 4196468 140737372846960 140187003398512 140187462101634 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19146] ppid=19130 vsize=13982084 memory=870724 CPUtime=1.05 cores=0,2,4,6
/proc/19133/task/19146/stat : 19146 (java) S 19130 19133 897 0 -1 1077944384 21107 0 0 0 102 3 0 0 20 0 15 0 90789022 14317654016 237227 18446744073709551615 4194304 4196468 140737372846960 140187002345456 140187462101634 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19147] ppid=19130 vsize=13982084 memory=948908 CPUtime=0 cores=0,2,4,6
/proc/19133/task/19147/stat : 19147 (java) S 19130 19133 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 90789022 14317654016 237227 18446744073709551615 4194304 4196468 140737372846960 140187001293152 140187462100693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
[pid=19133/tid=19148] ppid=19130 vsize=13982084 memory=954548 CPUtime=1.33 cores=0,2,4,6
/proc/19133/task/19148/stat : 19148 (java) S 19130 19133 897 0 -1 1077944384 1317 0 0 0 64 69 0 0 20 0 15 0 90789027 14317654016 237227 18446744073709551615 4194304 4196468 140737372846960 140187000241200 140187462101634 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23375872 140737372848498 140737372848681 140737372848681 140737372852175 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 948908 KiB
Child status: 143
Real time (s): 2456.74
CPU time (s): 2520.1
CPU user time (s): 2516.9
CPU system time (s): 3.20564
CPU usage (%): 102.579
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 2209940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.9
system time used= 3.20564
maximum resident set size= 2212908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 265379
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 95456
involuntary context switches= 4178
# summary of solver processes directly reported to runsolver:
# pid: 19133
# total CPU time (s): 2520.1
# total CPU user time (s): 2516.9
# total CPU system time (s): 3.20564
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.5055 second user time and 23.9301 second system time
The end
Begin job on node125 at 2017-08-16 14:00:37 IDJOB=4274773 IDBENCH=124451 IDSOLVER=2667 FILE ID=node125/4274773-1502885684 RUNJOBID= node125-1502870159-16941 PBS_JOBID= Free space on /tmp= 61988 MiB SOLVER NAME= OscaR - Hybrid 2017-07-26 BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-P-n50-k10.xml COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4274773-1502885684/watcher-4274773-1502885684 -o /tmp/evaluation-result-4274773-1502885684/solver-4274773-1502885684 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502870159-16941 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1595987392 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274773-1502885684.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 994883c0320da003cf1ede0b66369d8b RANDOM SEED=1595987392 node125.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 29796080 kB MemAvailable: 30895024 kB Buffers: 310396 kB Cached: 1089516 kB SwapCached: 0 kB Active: 1901096 kB Inactive: 635440 kB Active(anon): 1137216 kB Inactive(anon): 41292 kB Active(file): 763880 kB Inactive(file): 594148 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42276 kB Writeback: 0 kB AnonPages: 1136488 kB Mapped: 69604 kB Shmem: 41636 kB Slab: 139476 kB SReclaimable: 113500 kB SUnreclaim: 25976 kB KernelStack: 3440 kB PageTables: 7744 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1745844 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1064960 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 61948 MiB End job on node125 at 2017-08-16 14:41:34