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 | 250.72099 | 240.035 |
| 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 | 740 |
| Best CPU time to get the best result obtained on this benchmark | 251.90199 |
| 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.22/0.39 c version: 2017-07-26 0.22/0.39 c seed: 1544380604 0.22/0.39 c timeout: 264 0.22/0.39 c memlimit: 11000 0.22/0.39 c nbcore: 4 0.40/0.41 c Parsing instance... 3.33/1.41 c Parsing done, starting first complete search... 3.65/1.89 o 1520 3.65/1.89 o 1511 3.65/1.89 o 1486 3.65/1.89 o 1475 3.65/1.89 o 1473 3.65/1.89 o 1463 3.65/1.89 o 1455 3.65/1.89 o 1449 3.65/1.89 o 1439 3.65/1.89 o 1417 3.65/1.96 o 1414 3.65/1.97 o 1406 6.96/3.54 c First complete search done, starting ALNS search... 193.05/184.09 c ALNS done, starting second complete search 250.67/240.00 s SATISFIABLE 250.67/240.01 v <instantiation> 250.67/240.01 v <list> 250.67/240.01 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] 250.67/240.01 v </list> 250.67/240.01 v <values> 250.67/240.01 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 250.67/240.01 v </values> 250.67/240.01 v </instantiation>
OK 1406
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4256871-1501629521/watcher-4256871-1501629521 -o /tmp/evaluation-result-4256871-1501629521/solver-4256871-1501629521 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501623096-17792 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1544380604 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4256871-1501629521.xml pid=22514 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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 Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.60 1.62 1.62 3/199 22517 /proc/meminfo: memFree=31580852/32770624 swapFree=0/183528 [pid=22517] ppid=22514 vsize=23672 CPUtime=0 cores=0,2,4,6 /proc/22517/stat : 22517 (runsolver) D 22514 22517 3187 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 4862691 24240128 107 18446744073709551615 4194304 4338465 140735637525360 140735637523000 139654423696087 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 35975168 140735637532779 140735637533255 140735637533255 140735637536714 0 /proc/22517/statm: 5918 107 54 36 0 2156 0 [startup+0.100166 s] /proc/loadavg: 1.60 1.62 1.62 3/199 22517 /proc/meminfo: memFree=31580852/32770624 swapFree=0/183528 [pid=22517] ppid=22514 vsize=356952 CPUtime=0 cores=0,2,4,6 /proc/22517/stat : 22517 (java) S 22514 22517 3187 0 -1 1077944320 1693 0 0 0 0 0 0 0 20 0 2 0 4862691 365518848 1369 18446744073709551615 4194304 4196468 140728197344352 140728197326896 139705693048567 0 0 1 16784584 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 /proc/22517/statm: 89238 1881 1032 1 0 79216 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 356952 [startup+0.200374 s] /proc/loadavg: 1.60 1.62 1.62 3/199 22517 /proc/meminfo: memFree=31580852/32770624 swapFree=0/183528 [pid=22517] ppid=22514 vsize=13976388 CPUtime=0.06 cores=0,2,4,6 /proc/22517/stat : 22517 (java) S 22514 22517 3187 0 -1 1077944320 5817 0 0 0 5 1 0 0 20 0 15 0 4862691 14311821312 6328 18446744073709551615 4194304 4196468 140728197344352 140728197326896 139705693048567 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 /proc/22517/statm: 3494097 6328 3212 1 0 3482884 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 13976388 [startup+0.301264 s] /proc/loadavg: 1.60 1.62 1.62 3/199 22517 /proc/meminfo: memFree=31580852/32770624 swapFree=0/183528 [pid=22517] ppid=22514 vsize=13975920 CPUtime=0.22 cores=0,2,4,6 /proc/22517/stat : 22517 (java) S 22514 22517 3187 0 -1 1077944320 10137 0 0 0 20 2 0 0 20 0 15 0 4862691 14311342080 9926 18446744073709551615 4194304 4196468 140728197344352 140728197326896 139705693048567 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 /proc/22517/statm: 3493980 9926 3548 1 0 3482767 0 Current children cumulated CPU time (s) 0.22 Current children cumulated vsize (KiB) 13975920 [startup+0.704216 s] /proc/loadavg: 1.60 1.62 1.62 3/199 22517 /proc/meminfo: memFree=31580852/32770624 swapFree=0/183528 [pid=22517] ppid=22514 vsize=13977988 CPUtime=1.08 cores=0,2,4,6 /proc/22517/stat : 22517 (java) S 22514 22517 3187 0 -1 1077944320 14048 0 0 0 103 5 0 0 20 0 15 0 4862691 14313459712 17354 18446744073709551615 4194304 4196468 140728197344352 140728197326896 139705693048567 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 /proc/22517/statm: 3494497 17354 3727 1 0 3483279 0 Current children cumulated CPU time (s) 1.08 Current children cumulated vsize (KiB) 13977988 [startup+1.50737 s] /proc/loadavg: 1.60 1.62 1.62 6/214 22532 /proc/meminfo: memFree=31469612/32770624 swapFree=0/183664 [pid=22517] ppid=22514 vsize=13982084 CPUtime=3.65 cores=0,2,4,6 /proc/22517/stat : 22517 (java) S 22514 22517 3187 0 -1 1077944320 30783 0 0 0 355 10 0 0 20 0 15 0 4862691 14317654016 44780 18446744073709551615 4194304 4196468 140728197344352 140728197326896 139705693048567 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 /proc/22517/statm: 3495521 44780 3766 1 0 3484303 0 [pid=22517/tid=22519] ppid=22514 vsize=13982084 CPUtime=1.34 cores=0,2,4,6 /proc/22517/task/22519/stat : 22519 (java) R 22514 22517 3187 0 -1 4202560 15924 0 0 0 127 7 0 0 20 0 15 0 4862701 14317654016 44780 18446744073709551615 4194304 4196468 140728197344352 139705697284696 139705303837723 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22520] ppid=22514 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/22517/task/22520/stat : 22520 (java) S 22514 22517 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 4862702 14317654016 44780 18446744073709551615 4194304 4196468 140728197344352 139705627482640 139705693058773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22521] ppid=22514 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/22517/task/22521/stat : 22521 (java) S 22514 22517 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 4862702 14317654016 44780 18446744073709551615 4194304 4196468 140728197344352 139705626430096 139705693058773 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22522] ppid=22514 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/22517/task/22522/stat : 22522 (java) S 22514 22517 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 4862702 14317654016 44780 18446744073709551615 4194304 4196468 140728197344352 139705625377040 139705693058773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22523] ppid=22514 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/22517/task/22523/stat : 22523 (java) S 22514 22517 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 4862702 14317654016 44780 18446744073709551615 4194304 4196468 140728197344352 139705624324496 139705693058773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22524] ppid=22514 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/22517/task/22524/stat : 22524 (java) S 22514 22517 3187 0 -1 1077944384 376 0 0 0 0 0 0 0 20 0 15 0 4862703 14317654016 44780 18446744073709551615 4194304 4196468 140728197344352 139705172212464 139705693059714 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22525] ppid=22514 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/22517/task/22525/stat : 22525 (java) S 22514 22517 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 4862704 14317654016 44780 18446744073709551615 4194304 4196468 140728197344352 139705171158688 139705693058773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22526] ppid=22514 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/22517/task/22526/stat : 22526 (java) S 22514 22517 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 4862704 14317654016 44780 18446744073709551615 4194304 4196468 140728197344352 139705170105584 139705693058773 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22527] ppid=22514 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/22517/task/22527/stat : 22527 (java) S 22514 22517 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4862706 14317654016 44780 18446744073709551615 4194304 4196468 140728197344352 139705169054160 139705693067163 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22528] ppid=22514 vsize=13982084 CPUtime=0.82 cores=0,2,4,6 /proc/22517/task/22528/stat : 22528 (java) R 22514 22517 3187 0 -1 4202560 4374 0 0 0 82 0 0 0 20 0 15 0 4862706 14317654016 44780 18446744073709551615 4194304 4196468 140728197344352 139705167985216 139705676459458 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22529] ppid=22514 vsize=13982084 CPUtime=0.8 cores=0,2,4,6 /proc/22517/task/22529/stat : 22529 (java) R 22514 22517 3187 0 -1 4202560 3968 0 0 0 79 1 0 0 20 0 15 0 4862706 14317654016 44780 18446744073709551615 4194304 4196468 140728197344352 139705166932112 139705678158374 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22530] ppid=22514 vsize=13982084 CPUtime=0.66 cores=0,2,4,6 /proc/22517/task/22530/stat : 22530 (java) S 22514 22517 3187 0 -1 1077944384 4765 0 0 0 66 0 0 0 20 0 15 0 4862706 14317654016 44780 18446744073709551615 4194304 4196468 140728197344352 139705165895664 139705693059714 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22531] ppid=22514 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/22517/task/22531/stat : 22531 (java) S 22514 22517 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4862706 14317654016 44780 18446744073709551615 4194304 4196468 140728197344352 139705164843360 139705693058773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22532] ppid=22514 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/22517/task/22532/stat : 22532 (java) S 22514 22517 3187 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 4862711 14317654016 44780 18446744073709551615 4194304 4196468 140728197344352 139705163791408 139705693059714 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 Current children cumulated CPU time (s) 3.65 Current children cumulated vsize (KiB) 13982084 [startup+3.10071 s] /proc/loadavg: 1.60 1.62 1.62 3/214 22532 /proc/meminfo: memFree=31210036/32770624 swapFree=0/183672 [pid=22517] ppid=22514 vsize=13982084 CPUtime=6.52 cores=0,2,4,6 /proc/22517/stat : 22517 (java) S 22514 22517 3187 0 -1 1077944320 33535 0 0 0 638 14 0 0 20 0 15 0 4862691 14317654016 59386 18446744073709551615 4194304 4196468 140728197344352 140728197326896 139705693048567 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 /proc/22517/statm: 3495521 59386 3788 1 0 3484303 0 [pid=22517/tid=22519] ppid=22514 vsize=13982084 CPUtime=2.9 cores=0,2,4,6 /proc/22517/task/22519/stat : 22519 (java) R 22514 22517 3187 0 -1 4202560 16091 0 0 0 283 7 0 0 20 0 15 0 4862701 14317654016 59386 18446744073709551615 4194304 4196468 140728197344352 139705697284544 139705312362321 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22520] ppid=22514 vsize=13982084 CPUtime=0.01 cores=0,2,4,6 /proc/22517/task/22520/stat : 22520 (java) S 22514 22517 3187 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 15 0 4862702 14317654016 59386 18446744073709551615 4194304 4196468 140728197344352 139705627482640 139705693058773 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22521] ppid=22514 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/22517/task/22521/stat : 22521 (java) S 22514 22517 3187 0 -1 1077944384 409 0 0 0 0 0 0 0 20 0 15 0 4862702 14317654016 59386 18446744073709551615 4194304 4196468 140728197344352 139705626430096 139705693058773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22522] ppid=22514 vsize=13982084 CPUtime=0.01 cores=0,2,4,6 /proc/22517/task/22522/stat : 22522 (java) S 22514 22517 3187 0 -1 1077944384 43 0 0 0 1 0 0 0 20 0 15 0 4862702 14317654016 59386 18446744073709551615 4194304 4196468 140728197344352 139705625377040 139705693058773 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22523] ppid=22514 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/22517/task/22523/stat : 22523 (java) S 22514 22517 3187 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 4862702 14317654016 59386 18446744073709551615 4194304 4196468 140728197344352 139705624324496 139705693058773 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22524] ppid=22514 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/22517/task/22524/stat : 22524 (java) S 22514 22517 3187 0 -1 1077944384 565 0 0 0 0 0 0 0 20 0 15 0 4862703 14317654016 59386 18446744073709551615 4194304 4196468 140728197344352 139705172212464 139705693059714 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22525] ppid=22514 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/22517/task/22525/stat : 22525 (java) S 22514 22517 3187 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 4862704 14317654016 59386 18446744073709551615 4194304 4196468 140728197344352 139705171158688 139705693058773 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22526] ppid=22514 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/22517/task/22526/stat : 22526 (java) S 22514 22517 3187 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 4862704 14317654016 59386 18446744073709551615 4194304 4196468 140728197344352 139705170105584 139705693058773 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22527] ppid=22514 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/22517/task/22527/stat : 22527 (java) S 22514 22517 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4862706 14317654016 59386 18446744073709551615 4194304 4196468 140728197344352 139705169054160 139705693067163 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22528] ppid=22514 vsize=13982084 CPUtime=1.41 cores=0,2,4,6 /proc/22517/task/22528/stat : 22528 (java) S 22514 22517 3187 0 -1 1077944384 5265 0 0 0 139 2 0 0 20 0 15 0 4862706 14317654016 59386 18446744073709551615 4194304 4196468 140728197344352 139705168001264 139705693059714 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22529] ppid=22514 vsize=13982084 CPUtime=1.37 cores=0,2,4,6 /proc/22517/task/22529/stat : 22529 (java) S 22514 22517 3187 0 -1 1077944384 4300 0 0 0 136 1 0 0 20 0 15 0 4862706 14317654016 59386 18446744073709551615 4194304 4196468 140728197344352 139705166948720 139705693059714 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22530] ppid=22514 vsize=13982084 CPUtime=0.72 cores=0,2,4,6 /proc/22517/task/22530/stat : 22530 (java) S 22514 22517 3187 0 -1 1077944384 5397 0 0 0 72 0 0 0 20 0 15 0 4862706 14317654016 59386 18446744073709551615 4194304 4196468 140728197344352 139705165895664 139705693059714 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22531] ppid=22514 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/22517/task/22531/stat : 22531 (java) S 22514 22517 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4862706 14317654016 59386 18446744073709551615 4194304 4196468 140728197344352 139705164843360 139705693058773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22532] ppid=22514 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/22517/task/22532/stat : 22532 (java) S 22514 22517 3187 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 4862711 14317654016 59386 18446744073709551615 4194304 4196468 140728197344352 139705163791408 139705693059714 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 Current children cumulated CPU time (s) 6.52 Current children cumulated vsize (KiB) 13982084 [startup+6.30069 s] /proc/loadavg: 1.63 1.63 1.63 3/214 22532 /proc/meminfo: memFree=30939332/32770624 swapFree=0/183676 [pid=22517] ppid=22514 vsize=13982084 CPUtime=10.94 cores=0,2,4,6 /proc/22517/stat : 22517 (java) S 22514 22517 3187 0 -1 1077944320 34754 0 0 0 1070 24 0 0 20 0 15 0 4862691 14317654016 101967 18446744073709551615 4194304 4196468 140728197344352 140728197326896 139705693048567 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 /proc/22517/statm: 3495521 101967 3799 1 0 3484303 0 [pid=22517/tid=22519] ppid=22514 vsize=13982084 CPUtime=6.04 cores=0,2,4,6 /proc/22517/task/22519/stat : 22519 (java) R 22514 22517 3187 0 -1 4202560 16531 0 0 0 595 9 0 0 20 0 15 0 4862701 14317654016 101967 18446744073709551615 4194304 4196468 140728197344352 139705697284432 139705312792146 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22520] ppid=22514 vsize=13982084 CPUtime=0.06 cores=0,2,4,6 /proc/22517/task/22520/stat : 22520 (java) S 22514 22517 3187 0 -1 1077944384 76 0 0 0 5 1 0 0 20 0 15 0 4862702 14317654016 101967 18446744073709551615 4194304 4196468 140728197344352 139705627482640 139705693058773 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22521] ppid=22514 vsize=13982084 CPUtime=0.05 cores=0,2,4,6 /proc/22517/task/22521/stat : 22521 (java) S 22514 22517 3187 0 -1 1077944384 460 0 0 0 4 1 0 0 20 0 15 0 4862702 14317654016 101967 18446744073709551615 4194304 4196468 140728197344352 139705626430096 139705693058773 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22522] ppid=22514 vsize=13982084 CPUtime=0.07 cores=0,2,4,6 /proc/22517/task/22522/stat : 22522 (java) S 22514 22517 3187 0 -1 1077944384 82 0 0 0 5 2 0 0 20 0 15 0 4862702 14317654016 101967 18446744073709551615 4194304 4196468 140728197344352 139705625377040 139705693058773 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22523] ppid=22514 vsize=13982084 CPUtime=0.05 cores=0,2,4,6 /proc/22517/task/22523/stat : 22523 (java) S 22514 22517 3187 0 -1 1077944384 55 0 0 0 4 1 0 0 20 0 15 0 4862702 14317654016 101967 18446744073709551615 4194304 4196468 140728197344352 139705624324496 139705693058773 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22524] ppid=22514 vsize=13982084 CPUtime=0.01 cores=0,2,4,6 /proc/22517/task/22524/stat : 22524 (java) S 22514 22517 3187 0 -1 1077944384 693 0 0 0 1 0 0 0 20 0 15 0 4862703 14317654016 101967 18446744073709551615 4194304 4196468 140728197344352 139705172212464 139705693059714 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22525] ppid=22514 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/22517/task/22525/stat : 22525 (java) S 22514 22517 3187 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 4862704 14317654016 101967 18446744073709551615 4194304 4196468 140728197344352 139705171158752 139705693058773 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22526] ppid=22514 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/22517/task/22526/stat : 22526 (java) S 22514 22517 3187 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 4862704 14317654016 101967 18446744073709551615 4194304 4196468 140728197344352 139705170105600 139705693058773 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22527] ppid=22514 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/22517/task/22527/stat : 22527 (java) S 22514 22517 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4862706 14317654016 101967 18446744073709551615 4194304 4196468 140728197344352 139705169054160 139705693067163 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22528] ppid=22514 vsize=13982084 CPUtime=1.95 cores=0,2,4,6 /proc/22517/task/22528/stat : 22528 (java) S 22514 22517 3187 0 -1 1077944384 5434 0 0 0 192 3 0 0 20 0 15 0 4862706 14317654016 101967 18446744073709551615 4194304 4196468 140728197344352 139705168001264 139705693059714 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22529] ppid=22514 vsize=13982084 CPUtime=1.77 cores=0,2,4,6 /proc/22517/task/22529/stat : 22529 (java) S 22514 22517 3187 0 -1 1077944384 4428 0 0 0 176 1 0 0 20 0 15 0 4862706 14317654016 101967 18446744073709551615 4194304 4196468 140728197344352 139705166948720 139705693059714 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22530] ppid=22514 vsize=13982084 CPUtime=0.84 cores=0,2,4,6 /proc/22517/task/22530/stat : 22530 (java) S 22514 22517 3187 0 -1 1077944384 5559 0 0 0 83 1 0 0 20 0 15 0 4862706 14317654016 101967 18446744073709551615 4194304 4196468 140728197344352 139705165895664 139705693059714 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22531] ppid=22514 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/22517/task/22531/stat : 22531 (java) S 22514 22517 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4862706 14317654016 101967 18446744073709551615 4194304 4196468 140728197344352 139705164843360 139705693058773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22532] ppid=22514 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/22517/task/22532/stat : 22532 (java) S 22514 22517 3187 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 4862711 14317654016 101967 18446744073709551615 4194304 4196468 140728197344352 139705163791408 139705693059714 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 Current children cumulated CPU time (s) 10.94 Current children cumulated vsize (KiB) 13982084 [startup+12.7007 s] /proc/loadavg: 1.66 1.64 1.63 3/214 22532 /proc/meminfo: memFree=30364972/32770624 swapFree=0/183684 [pid=22517] ppid=22514 vsize=13982084 CPUtime=17.68 cores=0,2,4,6 /proc/22517/stat : 22517 (java) S 22514 22517 3187 0 -1 1077944320 41579 0 0 0 1734 34 0 0 20 0 15 0 4862691 14317654016 169167 18446744073709551615 4194304 4196468 140728197344352 140728197326896 139705693048567 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 /proc/22517/statm: 3495521 169167 3800 1 0 3484303 0 [pid=22517/tid=22519] ppid=22514 vsize=13982084 CPUtime=12.37 cores=0,2,4,6 /proc/22517/task/22519/stat : 22519 (java) R 22514 22517 3187 0 -1 4202560 18192 0 0 0 1224 13 0 0 20 0 15 0 4862701 14317654016 169167 18446744073709551615 4194304 4196468 140728197344352 139705697283280 139705312792163 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22520] ppid=22514 vsize=13982084 CPUtime=0.11 cores=0,2,4,6 /proc/22517/task/22520/stat : 22520 (java) S 22514 22517 3187 0 -1 1077944384 567 0 0 0 8 3 0 0 20 0 15 0 4862702 14317654016 169167 18446744073709551615 4194304 4196468 140728197344352 139705627482640 139705693058773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22521] ppid=22514 vsize=13982084 CPUtime=0.11 cores=0,2,4,6 /proc/22517/task/22521/stat : 22521 (java) S 22514 22517 3187 0 -1 1077944384 642 0 0 0 8 3 0 0 20 0 15 0 4862702 14317654016 169167 18446744073709551615 4194304 4196468 140728197344352 139705626430096 139705693058773 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22522] ppid=22514 vsize=13982084 CPUtime=0.12 cores=0,2,4,6 /proc/22517/task/22522/stat : 22522 (java) S 22514 22517 3187 0 -1 1077944384 1246 0 0 0 9 3 0 0 20 0 15 0 4862702 14317654016 169167 18446744073709551615 4194304 4196468 140728197344352 139705625377040 139705693058773 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22523] ppid=22514 vsize=13982084 CPUtime=0.11 cores=0,2,4,6 /proc/22517/task/22523/stat : 22523 (java) S 22514 22517 3187 0 -1 1077944384 147 0 0 0 8 3 0 0 20 0 15 0 4862702 14317654016 169167 18446744073709551615 4194304 4196468 140728197344352 139705624324496 139705693058773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22524] ppid=22514 vsize=13982084 CPUtime=0.02 cores=0,2,4,6 /proc/22517/task/22524/stat : 22524 (java) S 22514 22517 3187 0 -1 1077944384 1159 0 0 0 2 0 0 0 20 0 15 0 4862703 14317654016 169167 18446744073709551615 4194304 4196468 140728197344352 139705172212464 139705693059714 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22525] ppid=22514 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/22517/task/22525/stat : 22525 (java) S 22514 22517 3187 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 4862704 14317654016 169167 18446744073709551615 4194304 4196468 140728197344352 139705171158752 139705693058773 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22526] ppid=22514 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/22517/task/22526/stat : 22526 (java) S 22514 22517 3187 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 4862704 14317654016 169167 18446744073709551615 4194304 4196468 140728197344352 139705170105600 139705693058773 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22527] ppid=22514 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/22517/task/22527/stat : 22527 (java) S 22514 22517 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4862706 14317654016 169167 18446744073709551615 4194304 4196468 140728197344352 139705169054160 139705693067163 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 ################ # More data... # ################ /proc/22517/task/22531/stat : 22531 (java) S 22514 22517 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4862706 14317654016 304352 18446744073709551615 4194304 4196468 140728197344352 139705164843360 139705693058773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22532] ppid=22514 vsize=13982084 CPUtime=0.05 cores=0,2,4,6 /proc/22517/task/22532/stat : 22532 (java) S 22514 22517 3187 0 -1 1077944384 327 0 0 0 3 2 0 0 20 0 15 0 4862711 14317654016 304352 18446744073709551615 4194304 4196468 140728197344352 139705163791408 139705693059714 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 Current children cumulated CPU time (s) 109.11 Current children cumulated vsize (KiB) 13982084 [startup+162.301 s] /proc/loadavg: 1.64 1.63 1.63 3/212 22537 /proc/meminfo: memFree=30092204/32770624 swapFree=0/183828 [pid=22517] ppid=22514 vsize=13982084 CPUtime=170.78 cores=0,2,4,6 /proc/22517/stat : 22517 (java) S 22514 22517 3187 0 -1 1077944320 66373 0 0 0 16974 104 0 0 20 0 15 0 4862691 14317654016 318806 18446744073709551615 4194304 4196468 140728197344352 140728197326896 139705693048567 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 /proc/22517/statm: 3495521 318806 3807 1 0 3484303 0 [pid=22517/tid=22519] ppid=22514 vsize=13982084 CPUtime=160.92 cores=0,2,4,6 /proc/22517/task/22519/stat : 22519 (java) R 22514 22517 3187 0 -1 4202560 26719 0 0 0 16071 21 0 0 20 0 15 0 4862701 14317654016 318806 18446744073709551615 4194304 4196468 140728197344352 139705697286224 139705313745081 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22520] ppid=22514 vsize=13982084 CPUtime=1.04 cores=0,2,4,6 /proc/22517/task/22520/stat : 22520 (java) S 22514 22517 3187 0 -1 1077944384 1585 0 0 0 87 17 0 0 20 0 15 0 4862702 14317654016 318806 18446744073709551615 4194304 4196468 140728197344352 139705627482640 139705693058773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22521] ppid=22514 vsize=13982084 CPUtime=1.03 cores=0,2,4,6 /proc/22517/task/22521/stat : 22521 (java) S 22514 22517 3187 0 -1 1077944384 1293 0 0 0 86 17 0 0 20 0 15 0 4862702 14317654016 318806 18446744073709551615 4194304 4196468 140728197344352 139705626430096 139705693058773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22522] ppid=22514 vsize=13982084 CPUtime=1.04 cores=0,2,4,6 /proc/22517/task/22522/stat : 22522 (java) S 22514 22517 3187 0 -1 1077944384 1909 0 0 0 86 18 0 0 20 0 15 0 4862702 14317654016 318806 18446744073709551615 4194304 4196468 140728197344352 139705625377040 139705693058773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22523] ppid=22514 vsize=13982084 CPUtime=1.03 cores=0,2,4,6 /proc/22517/task/22523/stat : 22523 (java) S 22514 22517 3187 0 -1 1077944384 1775 0 0 0 86 17 0 0 20 0 15 0 4862702 14317654016 318806 18446744073709551615 4194304 4196468 140728197344352 139705624324496 139705693058773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22524] ppid=22514 vsize=13982084 CPUtime=0.09 cores=0,2,4,6 /proc/22517/task/22524/stat : 22524 (java) S 22514 22517 3187 0 -1 1077944384 2328 0 0 0 8 1 0 0 20 0 15 0 4862703 14317654016 318806 18446744073709551615 4194304 4196468 140728197344352 139705172212464 139705693059714 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22525] ppid=22514 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/22517/task/22525/stat : 22525 (java) S 22514 22517 3187 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 4862704 14317654016 318806 18446744073709551615 4194304 4196468 140728197344352 139705171158752 139705693058773 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22526] ppid=22514 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/22517/task/22526/stat : 22526 (java) S 22514 22517 3187 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 4862704 14317654016 318806 18446744073709551615 4194304 4196468 140728197344352 139705170105600 139705693058773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22527] ppid=22514 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/22517/task/22527/stat : 22527 (java) S 22514 22517 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4862706 14317654016 318806 18446744073709551615 4194304 4196468 140728197344352 139705169054160 139705693067163 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22528] ppid=22514 vsize=13982084 CPUtime=2.33 cores=0,2,4,6 /proc/22517/task/22528/stat : 22528 (java) S 22514 22517 3187 0 -1 1077944384 9241 0 0 0 230 3 0 0 20 0 15 0 4862706 14317654016 318806 18446744073709551615 4194304 4196468 140728197344352 139705168001264 139705693059714 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22529] ppid=22514 vsize=13982084 CPUtime=2.12 cores=0,2,4,6 /proc/22517/task/22529/stat : 22529 (java) S 22514 22517 3187 0 -1 1077944384 9682 0 0 0 210 2 0 0 20 0 15 0 4862706 14317654016 318806 18446744073709551615 4194304 4196468 140728197344352 139705166948720 139705693059714 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22530] ppid=22514 vsize=13982084 CPUtime=0.98 cores=0,2,4,6 /proc/22517/task/22530/stat : 22530 (java) S 22514 22517 3187 0 -1 1077944384 10044 0 0 0 96 2 0 0 20 0 15 0 4862706 14317654016 318806 18446744073709551615 4194304 4196468 140728197344352 139705165895664 139705693059714 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22531] ppid=22514 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/22517/task/22531/stat : 22531 (java) S 22514 22517 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4862706 14317654016 318806 18446744073709551615 4194304 4196468 140728197344352 139705164843360 139705693058773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22532] ppid=22514 vsize=13982084 CPUtime=0.09 cores=0,2,4,6 /proc/22517/task/22532/stat : 22532 (java) S 22514 22517 3187 0 -1 1077944384 344 0 0 0 5 4 0 0 20 0 15 0 4862711 14317654016 318806 18446744073709551615 4194304 4196468 140728197344352 139705163791408 139705693059714 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 Current children cumulated CPU time (s) 170.78 Current children cumulated vsize (KiB) 13982084 [startup+222.301 s] /proc/loadavg: 1.55 1.61 1.62 3/213 22540 /proc/meminfo: memFree=29984752/32770624 swapFree=0/183864 [pid=22517] ppid=22514 vsize=13982084 CPUtime=232.48 cores=0,2,4,6 /proc/22517/stat : 22517 (java) S 22514 22517 3187 0 -1 1077944320 76667 0 0 0 23121 127 0 0 20 0 15 0 4862691 14317654016 338789 18446744073709551615 4194304 4196468 140728197344352 140728197326896 139705693048567 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 /proc/22517/statm: 3495521 338789 3807 1 0 3484303 0 [pid=22517/tid=22519] ppid=22514 vsize=13982084 CPUtime=220.36 cores=0,2,4,6 /proc/22517/task/22519/stat : 22519 (java) R 22514 22517 3187 0 -1 4202560 29288 0 0 0 22015 21 0 0 20 0 15 0 4862701 14317654016 338789 18446744073709551615 4194304 4196468 140728197344352 139705697286720 139705311771616 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22520] ppid=22514 vsize=13982084 CPUtime=1.53 cores=0,2,4,6 /proc/22517/task/22520/stat : 22520 (java) S 22514 22517 3187 0 -1 1077944384 1913 0 0 0 131 22 0 0 20 0 15 0 4862702 14317654016 338789 18446744073709551615 4194304 4196468 140728197344352 139705627482640 139705693058773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22521] ppid=22514 vsize=13982084 CPUtime=1.53 cores=0,2,4,6 /proc/22517/task/22521/stat : 22521 (java) S 22514 22517 3187 0 -1 1077944384 1529 0 0 0 130 23 0 0 20 0 15 0 4862702 14317654016 338789 18446744073709551615 4194304 4196468 140728197344352 139705626430096 139705693058773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22522] ppid=22514 vsize=13982084 CPUtime=1.54 cores=0,2,4,6 /proc/22517/task/22522/stat : 22522 (java) S 22514 22517 3187 0 -1 1077944384 2140 0 0 0 131 23 0 0 20 0 15 0 4862702 14317654016 338789 18446744073709551615 4194304 4196468 140728197344352 139705625377040 139705693058773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22523] ppid=22514 vsize=13982084 CPUtime=1.53 cores=0,2,4,6 /proc/22517/task/22523/stat : 22523 (java) S 22514 22517 3187 0 -1 1077944384 2577 0 0 0 130 23 0 0 20 0 15 0 4862702 14317654016 338789 18446744073709551615 4194304 4196468 140728197344352 139705624324496 139705693058773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22524] ppid=22514 vsize=13982084 CPUtime=0.14 cores=0,2,4,6 /proc/22517/task/22524/stat : 22524 (java) S 22514 22517 3187 0 -1 1077944384 2564 0 0 0 12 2 0 0 20 0 15 0 4862703 14317654016 338789 18446744073709551615 4194304 4196468 140728197344352 139705172212464 139705693059714 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22525] ppid=22514 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/22517/task/22525/stat : 22525 (java) S 22514 22517 3187 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 4862704 14317654016 338789 18446744073709551615 4194304 4196468 140728197344352 139705171158752 139705693058773 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22526] ppid=22514 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/22517/task/22526/stat : 22526 (java) S 22514 22517 3187 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 4862704 14317654016 338789 18446744073709551615 4194304 4196468 140728197344352 139705170105600 139705693058773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22527] ppid=22514 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/22517/task/22527/stat : 22527 (java) S 22514 22517 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4862706 14317654016 338789 18446744073709551615 4194304 4196468 140728197344352 139705169054160 139705693067163 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22528] ppid=22514 vsize=13982084 CPUtime=2.43 cores=0,2,4,6 /proc/22517/task/22528/stat : 22528 (java) S 22514 22517 3187 0 -1 1077944384 12593 0 0 0 240 3 0 0 20 0 15 0 4862706 14317654016 338789 18446744073709551615 4194304 4196468 140728197344352 139705168001264 139705693059714 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22529] ppid=22514 vsize=13982084 CPUtime=2.2 cores=0,2,4,6 /proc/22517/task/22529/stat : 22529 (java) S 22514 22517 3187 0 -1 1077944384 10500 0 0 0 218 2 0 0 20 0 15 0 4862706 14317654016 338789 18446744073709551615 4194304 4196468 140728197344352 139705166948720 139705693059714 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22530] ppid=22514 vsize=13982084 CPUtime=0.99 cores=0,2,4,6 /proc/22517/task/22530/stat : 22530 (java) S 22514 22517 3187 0 -1 1077944384 11727 0 0 0 97 2 0 0 20 0 15 0 4862706 14317654016 338789 18446744073709551615 4194304 4196468 140728197344352 139705165895664 139705693059714 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22531] ppid=22514 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/22517/task/22531/stat : 22531 (java) S 22514 22517 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4862706 14317654016 338789 18446744073709551615 4194304 4196468 140728197344352 139705164843360 139705693058773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22532] ppid=22514 vsize=13982084 CPUtime=0.12 cores=0,2,4,6 /proc/22517/task/22532/stat : 22532 (java) S 22514 22517 3187 0 -1 1077944384 383 0 0 0 7 5 0 0 20 0 15 0 4862711 14317654016 338789 18446744073709551615 4194304 4196468 140728197344352 139705163791408 139705693059714 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 Current children cumulated CPU time (s) 232.48 Current children cumulated vsize (KiB) 13982084 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+240.001 s] /proc/loadavg: 1.48 1.59 1.61 3/213 22617 /proc/meminfo: memFree=30375484/32770624 swapFree=0/183960 [pid=22517] ppid=22514 vsize=13982084 CPUtime=250.67 cores=0,2,4,6 /proc/22517/stat : 22517 (java) S 22514 22517 3187 0 -1 1077944320 77985 0 0 0 24931 136 0 0 20 0 15 0 4862691 14317654016 345063 18446744073709551615 4194304 4196468 140728197344352 140728197326896 139705693048567 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 /proc/22517/statm: 3495521 345063 3807 1 0 3484303 0 [pid=22517/tid=22519] ppid=22514 vsize=13982084 CPUtime=237.88 cores=0,2,4,6 /proc/22517/task/22519/stat : 22519 (java) R 22514 22517 3187 0 -1 4202560 30066 0 0 0 23767 21 0 0 20 0 15 0 4862701 14317654016 345063 18446744073709551615 4194304 4196468 140728197344352 139705697286720 139705313745319 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22520] ppid=22514 vsize=13982084 CPUtime=1.69 cores=0,2,4,6 /proc/22517/task/22520/stat : 22520 (java) S 22514 22517 3187 0 -1 1077944384 1960 0 0 0 145 24 0 0 20 0 15 0 4862702 14317654016 345063 18446744073709551615 4194304 4196468 140728197344352 139705627482640 139705693058773 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22521] ppid=22514 vsize=13982084 CPUtime=1.69 cores=0,2,4,6 /proc/22517/task/22521/stat : 22521 (java) S 22514 22517 3187 0 -1 1077944384 1564 0 0 0 144 25 0 0 20 0 15 0 4862702 14317654016 345063 18446744073709551615 4194304 4196468 140728197344352 139705626430096 139705693058773 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22522] ppid=22514 vsize=13982084 CPUtime=1.7 cores=0,2,4,6 /proc/22517/task/22522/stat : 22522 (java) S 22514 22517 3187 0 -1 1077944384 2177 0 0 0 145 25 0 0 20 0 15 0 4862702 14317654016 345063 18446744073709551615 4194304 4196468 140728197344352 139705625377040 139705693058773 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22523] ppid=22514 vsize=13982084 CPUtime=1.69 cores=0,2,4,6 /proc/22517/task/22523/stat : 22523 (java) S 22514 22517 3187 0 -1 1077944384 2689 0 0 0 144 25 0 0 20 0 15 0 4862702 14317654016 345063 18446744073709551615 4194304 4196468 140728197344352 139705624324496 139705693058773 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22524] ppid=22514 vsize=13982084 CPUtime=0.15 cores=0,2,4,6 /proc/22517/task/22524/stat : 22524 (java) S 22514 22517 3187 0 -1 1077944384 2564 0 0 0 13 2 0 0 20 0 15 0 4862703 14317654016 345063 18446744073709551615 4194304 4196468 140728197344352 139705172212464 139705693059714 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22525] ppid=22514 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/22517/task/22525/stat : 22525 (java) S 22514 22517 3187 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 4862704 14317654016 345063 18446744073709551615 4194304 4196468 140728197344352 139705171158752 139705693058773 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22526] ppid=22514 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/22517/task/22526/stat : 22526 (java) S 22514 22517 3187 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 4862704 14317654016 345063 18446744073709551615 4194304 4196468 140728197344352 139705170105600 139705693058773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22527] ppid=22514 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/22517/task/22527/stat : 22527 (java) S 22514 22517 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4862706 14317654016 345063 18446744073709551615 4194304 4196468 140728197344352 139705169054160 139705693067163 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22528] ppid=22514 vsize=13982084 CPUtime=2.44 cores=0,2,4,6 /proc/22517/task/22528/stat : 22528 (java) S 22514 22517 3187 0 -1 1077944384 12901 0 0 0 241 3 0 0 20 0 15 0 4862706 14317654016 345063 18446744073709551615 4194304 4196468 140728197344352 139705168001264 139705693059714 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22529] ppid=22514 vsize=13982084 CPUtime=2.2 cores=0,2,4,6 /proc/22517/task/22529/stat : 22529 (java) S 22514 22517 3187 0 -1 1077944384 10500 0 0 0 218 2 0 0 20 0 15 0 4862706 14317654016 345063 18446744073709551615 4194304 4196468 140728197344352 139705166948720 139705693059714 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22530] ppid=22514 vsize=13982084 CPUtime=0.99 cores=0,2,4,6 /proc/22517/task/22530/stat : 22530 (java) S 22514 22517 3187 0 -1 1077944384 11727 0 0 0 97 2 0 0 20 0 15 0 4862706 14317654016 345063 18446744073709551615 4194304 4196468 140728197344352 139705165895664 139705693059714 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22531] ppid=22514 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/22517/task/22531/stat : 22531 (java) S 22514 22517 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4862706 14317654016 345063 18446744073709551615 4194304 4196468 140728197344352 139705164843360 139705693058773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22532] ppid=22514 vsize=13982084 CPUtime=0.13 cores=0,2,4,6 /proc/22517/task/22532/stat : 22532 (java) S 22514 22517 3187 0 -1 1077944384 384 0 0 0 7 6 0 0 20 0 15 0 4862711 14317654016 345063 18446744073709551615 4194304 4196468 140728197344352 139705163791408 139705693059714 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 Current children cumulated CPU time (s) 250.67 Current children cumulated vsize (KiB) 13982084 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 22517 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+240.001 s] /proc/loadavg: 1.48 1.59 1.61 3/213 22617 /proc/meminfo: memFree=30375484/32770624 swapFree=0/183960 [pid=22517] ppid=22514 vsize=13982084 CPUtime=250.67 cores=0,2,4,6 /proc/22517/stat : 22517 (java) S 22514 22517 3187 0 -1 1077944320 77985 0 0 0 24931 136 0 0 20 0 15 0 4862691 14317654016 345063 18446744073709551615 4194304 4196468 140728197344352 140728197326896 139705693048567 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 /proc/22517/statm: 3495521 345063 3807 1 0 3484303 0 [pid=22517/tid=22519] ppid=22514 vsize=13982084 CPUtime=237.88 cores=0,2,4,6 /proc/22517/task/22519/stat : 22519 (java) R 22514 22517 3187 0 -1 4202560 30066 0 0 0 23767 21 0 0 20 0 15 0 4862701 14317654016 345063 18446744073709551615 4194304 4196468 140728197344352 139705697286720 139705313745319 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22520] ppid=22514 vsize=13982084 CPUtime=1.69 cores=0,2,4,6 /proc/22517/task/22520/stat : 22520 (java) S 22514 22517 3187 0 -1 1077944384 1960 0 0 0 145 24 0 0 20 0 15 0 4862702 14317654016 345063 18446744073709551615 4194304 4196468 140728197344352 139705627482640 139705693058773 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22521] ppid=22514 vsize=13982084 CPUtime=1.69 cores=0,2,4,6 /proc/22517/task/22521/stat : 22521 (java) S 22514 22517 3187 0 -1 1077944384 1564 0 0 0 144 25 0 0 20 0 15 0 4862702 14317654016 345063 18446744073709551615 4194304 4196468 140728197344352 139705626430096 139705693058773 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22522] ppid=22514 vsize=13982084 CPUtime=1.7 cores=0,2,4,6 /proc/22517/task/22522/stat : 22522 (java) S 22514 22517 3187 0 -1 1077944384 2177 0 0 0 145 25 0 0 20 0 15 0 4862702 14317654016 345063 18446744073709551615 4194304 4196468 140728197344352 139705625377040 139705693058773 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22523] ppid=22514 vsize=13982084 CPUtime=1.69 cores=0,2,4,6 /proc/22517/task/22523/stat : 22523 (java) S 22514 22517 3187 0 -1 1077944384 2689 0 0 0 144 25 0 0 20 0 15 0 4862702 14317654016 345063 18446744073709551615 4194304 4196468 140728197344352 139705624324496 139705693058773 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22524] ppid=22514 vsize=13982084 CPUtime=0.15 cores=0,2,4,6 /proc/22517/task/22524/stat : 22524 (java) S 22514 22517 3187 0 -1 1077944384 2564 0 0 0 13 2 0 0 20 0 15 0 4862703 14317654016 345063 18446744073709551615 4194304 4196468 140728197344352 139705172212464 139705693059714 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22525] ppid=22514 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/22517/task/22525/stat : 22525 (java) S 22514 22517 3187 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 4862704 14317654016 345063 18446744073709551615 4194304 4196468 140728197344352 139705171158752 139705693058773 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22526] ppid=22514 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/22517/task/22526/stat : 22526 (java) S 22514 22517 3187 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 4862704 14317654016 345063 18446744073709551615 4194304 4196468 140728197344352 139705170105600 139705693058773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22527] ppid=22514 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/22517/task/22527/stat : 22527 (java) S 22514 22517 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4862706 14317654016 345063 18446744073709551615 4194304 4196468 140728197344352 139705169054160 139705693067163 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22528] ppid=22514 vsize=13982084 CPUtime=2.44 cores=0,2,4,6 /proc/22517/task/22528/stat : 22528 (java) S 22514 22517 3187 0 -1 1077944384 12901 0 0 0 241 3 0 0 20 0 15 0 4862706 14317654016 345063 18446744073709551615 4194304 4196468 140728197344352 139705168001264 139705693059714 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22529] ppid=22514 vsize=13982084 CPUtime=2.2 cores=0,2,4,6 /proc/22517/task/22529/stat : 22529 (java) S 22514 22517 3187 0 -1 1077944384 10500 0 0 0 218 2 0 0 20 0 15 0 4862706 14317654016 345063 18446744073709551615 4194304 4196468 140728197344352 139705166948720 139705693059714 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22530] ppid=22514 vsize=13982084 CPUtime=0.99 cores=0,2,4,6 /proc/22517/task/22530/stat : 22530 (java) S 22514 22517 3187 0 -1 1077944384 11727 0 0 0 97 2 0 0 20 0 15 0 4862706 14317654016 345063 18446744073709551615 4194304 4196468 140728197344352 139705165895664 139705693059714 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22531] ppid=22514 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/22517/task/22531/stat : 22531 (java) S 22514 22517 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4862706 14317654016 345063 18446744073709551615 4194304 4196468 140728197344352 139705164843360 139705693058773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 [pid=22517/tid=22532] ppid=22514 vsize=13982084 CPUtime=0.13 cores=0,2,4,6 /proc/22517/task/22532/stat : 22532 (java) S 22514 22517 3187 0 -1 1077944384 384 0 0 0 7 6 0 0 20 0 15 0 4862711 14317654016 345063 18446744073709551615 4194304 4196468 140728197344352 139705163791408 139705693059714 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29351936 140728197345686 140728197345868 140728197345868 140728197349327 0 Current children cumulated CPU time (s) 250.67 Current children cumulated vsize (KiB) 13982084 Child status: 143 Real time (s): 240.035 CPU time (s): 250.721 CPU user time (s): 249.349 CPU system time (s): 1.37179 CPU usage (%): 104.452 Max. virtual memory (cumulated for all children) (KiB): 13982084 getrusage(RUSAGE_CHILDREN,...) data: user time used= 249.349 system time used= 1.37179 maximum resident set size= 1380744 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 79095 page faults= 0 swaps= 0 block input operations= 0 block output operations= 8 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 12259 involuntary context switches= 497 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.04662 second user time and 1.51899 second system time The end
Begin job on node135 at 2017-08-02 01:04:40 IDJOB=4256871 IDBENCH=124451 IDSOLVER=2640 FILE ID=node135/4256871-1501629521 RUNJOBID= node135-1501623096-17792 PBS_JOBID= Free space on /tmp= 61800 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-4256871-1501629521/watcher-4256871-1501629521 -o /tmp/evaluation-result-4256871-1501629521/solver-4256871-1501629521 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501623096-17792 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1544380604 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4256871-1501629521.xml TIME LIMIT= 264 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 994883c0320da003cf1ede0b66369d8b RANDOM SEED=1544380604 node135.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.21 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.21 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.21 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.21 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31580852 kB MemAvailable: 31690860 kB Buffers: 45156 kB Cached: 374852 kB SwapCached: 0 kB Active: 645380 kB Inactive: 192120 kB Active(anon): 418336 kB Inactive(anon): 8592 kB Active(file): 227044 kB Inactive(file): 183528 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42644 kB Writeback: 0 kB AnonPages: 417980 kB Mapped: 43156 kB Shmem: 8960 kB Slab: 56252 kB SReclaimable: 30540 kB SUnreclaim: 25712 kB KernelStack: 3504 kB PageTables: 5536 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1642300 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 305152 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 61760 MiB End job on node135 at 2017-08-02 01:08:40