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) | 1604 | 250.25101 | 240.037 |
| Name | Vrp/Vrp-zinc-s1/ Vrp-A-n34-k5.xml |
| MD5SUM | 72c979ceab0684897cea6dc90bd0dbab |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 789 |
| Best CPU time to get the best result obtained on this benchmark | 251.90401 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1190 |
| Number of constraints | 1155 |
| Number of domains | 3 |
| Minimum domain size | 1 |
| Maximum domain size | 101 |
| Distribution of domain sizes | [{"size":1,"count":34},{"size":2,"count":1122},{"size":101,"count":33}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 65 |
| Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":34},{"degree":2,"count":66},{"degree":4,"count":1056},{"degree":65,"count":33}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 33 |
| Distribution of constraint arities | [{"arity":1,"count":33},{"arity":3,"count":1056},{"arity":33,"count":66}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 33 |
| Distribution of constraint types | [{"type":"intension","count":33},{"type":"sum","count":1056},{"type":"count","count":66}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.22/0.39 c version: 2017-07-26 0.22/0.39 c seed: 1761328190 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... 2.25/1.20 c Parsing done, starting first complete search... 2.57/1.27 o 2105 2.57/1.28 o 2029 2.57/1.29 o 1949 2.90/1.30 o 1946 2.90/1.31 o 1912 3.21/1.44 o 1906 3.21/1.46 o 1878 3.21/1.48 o 1844 3.53/1.58 o 1843 3.53/1.61 o 1795 4.29/1.83 o 1793 4.50/1.96 o 1789 4.50/1.97 o 1780 4.50/1.97 o 1742 4.50/1.97 o 1731 4.50/1.98 o 1721 5.26/2.52 o 1719 5.26/2.55 o 1715 5.88/3.10 o 1707 6.60/3.85 o 1691 6.60/3.85 o 1688 6.60/3.86 o 1686 6.60/3.86 o 1683 7.25/4.44 o 1681 7.60/4.79 o 1680 7.60/4.79 o 1675 7.60/4.79 o 1671 9.62/6.76 o 1642 10.73/7.82 o 1604 18.18/15.24 c First complete search done, starting ALNS search... 204.94/195.94 c ALNS done, starting second complete search 250.20/240.01 s SATISFIABLE 250.20/240.01 v <instantiation> 250.20/240.01 v <list> 250.20/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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] 250.20/240.01 v </list> 250.20/240.01 v <values> 250.20/240.01 v 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 23 99 24 100 29 93 55 80 42 61 100 85 56 77 66 34 81 14 49 100 60 87 44 69 100 20 37 64 49 48 10 96 100 250.20/240.01 v </values> 250.20/240.01 v </instantiation>
OK 1604
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-4256858-1501629643/watcher-4256858-1501629643 -o /tmp/evaluation-result-4256858-1501629643/solver-4256858-1501629643 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node131-1501623034-14465 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1761328190 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4256858-1501629643.xml pid=18961 running on 4 cores: 1,3,5,7 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.52 1.50 1.57 4/195 18964 /proc/meminfo: memFree=31672304/32770624 swapFree=0/201868 [pid=18964] ppid=18961 vsize=23672 CPUtime=0 cores=1,3,5,7 /proc/18964/stat : 18964 (runsolver) D 18961 18964 5131 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 11584603 24240128 108 18446744073709551615 4194304 4338465 140722359033632 140722359031272 139823789728471 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 17666048 140722359038058 140722359038534 140722359038534 140722359041994 0 /proc/18964/statm: 5918 108 54 36 0 2156 0 [startup+0.100112 s] /proc/loadavg: 1.52 1.50 1.57 4/195 18964 /proc/meminfo: memFree=31672304/32770624 swapFree=0/201868 [pid=18964] ppid=18961 vsize=13573664 CPUtime=0.02 cores=1,3,5,7 /proc/18964/stat : 18964 (java) S 18961 18964 5131 0 -1 1077944320 4162 0 0 0 2 0 0 0 20 0 9 0 11584603 13899431936 4810 18446744073709551615 4194304 4196468 140734130284784 140734130267328 139874586296055 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 6 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 /proc/18964/statm: 3393416 4810 2098 1 0 3382921 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 13573664 [startup+0.205279 s] /proc/loadavg: 1.52 1.50 1.57 4/195 18964 /proc/meminfo: memFree=31672304/32770624 swapFree=0/201868 [pid=18964] ppid=18961 vsize=13973048 CPUtime=0.06 cores=1,3,5,7 /proc/18964/stat : 18964 (java) S 18961 18964 5131 0 -1 1077944320 5861 0 0 0 6 0 0 0 20 0 15 0 11584603 14308401152 5568 18446744073709551615 4194304 4196468 140734130284784 140734130267328 139874586296055 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 6 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 /proc/18964/statm: 3493262 5568 2584 1 0 3482767 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 13973048 [startup+0.300211 s] /proc/loadavg: 1.52 1.50 1.57 4/195 18964 /proc/meminfo: memFree=31672304/32770624 swapFree=0/201868 [pid=18964] ppid=18961 vsize=13975920 CPUtime=0.22 cores=1,3,5,7 /proc/18964/stat : 18964 (java) S 18961 18964 5131 0 -1 1077944320 10085 0 0 0 20 2 0 0 20 0 15 0 11584603 14311342080 9798 18446744073709551615 4194304 4196468 140734130284784 140734130267328 139874586296055 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 6 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 /proc/18964/statm: 3493980 9798 3506 1 0 3482767 0 Current children cumulated CPU time (s) 0.22 Current children cumulated vsize (KiB) 13975920 [startup+0.700213 s] /proc/loadavg: 1.52 1.50 1.57 4/195 18964 /proc/meminfo: memFree=31672304/32770624 swapFree=0/201868 [pid=18964] ppid=18961 vsize=13977988 CPUtime=1.06 cores=1,3,5,7 /proc/18964/stat : 18964 (java) S 18961 18964 5131 0 -1 1077944320 13916 0 0 0 102 4 0 0 20 0 15 0 11584603 14313459712 17250 18446744073709551615 4194304 4196468 140734130284784 140734130267328 139874586296055 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 6 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 /proc/18964/statm: 3494497 17250 3721 1 0 3483279 0 Current children cumulated CPU time (s) 1.06 Current children cumulated vsize (KiB) 13977988 [startup+1.50086 s] /proc/loadavg: 1.52 1.50 1.57 3/210 18979 /proc/meminfo: memFree=31477172/32770624 swapFree=0/201876 [pid=18964] ppid=18961 vsize=13982084 CPUtime=3.53 cores=1,3,5,7 /proc/18964/stat : 18964 (java) S 18961 18964 5131 0 -1 1077944320 32544 0 0 0 344 9 0 0 20 0 15 0 11584603 14317654016 43524 18446744073709551615 4194304 4196468 140734130284784 140734130267328 139874586296055 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 6 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 /proc/18964/statm: 3495521 43524 3767 1 0 3484303 0 [pid=18964/tid=18966] ppid=18961 vsize=13982084 CPUtime=1.34 cores=1,3,5,7 /proc/18964/task/18966/stat : 18966 (java) R 18961 18964 5131 0 -1 4202560 14948 0 0 0 129 5 0 0 20 0 15 0 11584609 14317654016 43524 18446744073709551615 4194304 4196468 140734130284784 139874590533744 139874224513173 0 4 1 16800974 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18967] ppid=18961 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/18964/task/18967/stat : 18967 (java) S 18961 18964 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11584610 14317654016 43524 18446744073709551615 4194304 4196468 140734130284784 139874543262352 139874586306261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18968] ppid=18961 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/18964/task/18968/stat : 18968 (java) S 18961 18964 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11584610 14317654016 43524 18446744073709551615 4194304 4196468 140734130284784 139874542209552 139874586306261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18969] ppid=18961 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/18964/task/18969/stat : 18969 (java) S 18961 18964 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11584610 14317654016 43524 18446744073709551615 4194304 4196468 140734130284784 139874541156752 139874586306261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18970] ppid=18961 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/18964/task/18970/stat : 18970 (java) S 18961 18964 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11584610 14317654016 43524 18446744073709551615 4194304 4196468 140734130284784 139874540103952 139874586306261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18971] ppid=18961 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/18964/task/18971/stat : 18971 (java) S 18961 18964 5131 0 -1 1077944384 405 0 0 0 0 0 0 0 20 0 15 0 11584611 14317654016 43524 18446744073709551615 4194304 4196468 140734130284784 139874064653168 139874586307202 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18972] ppid=18961 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/18964/task/18972/stat : 18972 (java) S 18961 18964 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11584612 14317654016 43524 18446744073709551615 4194304 4196468 140734130284784 139874063599136 139874586306261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18973] ppid=18961 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/18964/task/18973/stat : 18973 (java) S 18961 18964 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11584612 14317654016 43524 18446744073709551615 4194304 4196468 140734130284784 139874062546288 139874586306261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18974] ppid=18961 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/18964/task/18974/stat : 18974 (java) S 18961 18964 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11584614 14317654016 43524 18446744073709551615 4194304 4196468 140734130284784 139874061494608 139874586314651 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18975] ppid=18961 vsize=13982084 CPUtime=0.73 cores=1,3,5,7 /proc/18964/task/18975/stat : 18975 (java) R 18961 18964 5131 0 -1 4202560 4801 0 0 0 73 0 0 0 20 0 15 0 11584614 14317654016 43524 18446744073709551615 4194304 4196468 140734130284784 139874060428256 139874563890832 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18976] ppid=18961 vsize=13982084 CPUtime=0.77 cores=1,3,5,7 /proc/18964/task/18976/stat : 18976 (java) R 18961 18964 5131 0 -1 4202560 4234 0 0 0 76 1 0 0 20 0 15 0 11584614 14317654016 43524 18446744073709551615 4194304 4196468 140734130284784 139874059377040 139874569508359 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18977] ppid=18961 vsize=13982084 CPUtime=0.65 cores=1,3,5,7 /proc/18964/task/18977/stat : 18977 (java) S 18961 18964 5131 0 -1 1077944384 6780 0 0 0 64 1 0 0 20 0 15 0 11584614 14317654016 43524 18446744073709551615 4194304 4196468 140734130284784 139874058336368 139874586307202 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18978] ppid=18961 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/18964/task/18978/stat : 18978 (java) S 18961 18964 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11584615 14317654016 43524 18446744073709551615 4194304 4196468 140734130284784 139874057283808 139874586306261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18979] ppid=18961 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/18964/task/18979/stat : 18979 (java) S 18961 18964 5131 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 11584622 14317654016 43524 18446744073709551615 4194304 4196468 140734130284784 139874056232112 139874586307202 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 Current children cumulated CPU time (s) 3.53 Current children cumulated vsize (KiB) 13982084 [startup+3.10067 s] /proc/loadavg: 1.56 1.51 1.57 3/210 18979 /proc/meminfo: memFree=31366656/32770624 swapFree=0/201884 [pid=18964] ppid=18961 vsize=13982084 CPUtime=5.88 cores=1,3,5,7 /proc/18964/stat : 18964 (java) S 18961 18964 5131 0 -1 1077944320 35057 0 0 0 577 11 0 0 20 0 15 0 11584603 14317654016 59709 18446744073709551615 4194304 4196468 140734130284784 140734130267328 139874586296055 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 6 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 /proc/18964/statm: 3495521 59709 3796 1 0 3484303 0 [pid=18964/tid=18966] ppid=18961 vsize=13982084 CPUtime=2.91 cores=1,3,5,7 /proc/18964/task/18966/stat : 18966 (java) R 18961 18964 5131 0 -1 4202560 15095 0 0 0 285 6 0 0 20 0 15 0 11584609 14317654016 59709 18446744073709551615 4194304 4196468 140734130284784 139874590534400 139874225266653 0 4 1 16800974 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18967] ppid=18961 vsize=13982084 CPUtime=0.01 cores=1,3,5,7 /proc/18964/task/18967/stat : 18967 (java) S 18961 18964 5131 0 -1 1077944384 85 0 0 0 1 0 0 0 20 0 15 0 11584610 14317654016 59709 18446744073709551615 4194304 4196468 140734130284784 139874543262352 139874586306261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18968] ppid=18961 vsize=13982084 CPUtime=0.01 cores=1,3,5,7 /proc/18964/task/18968/stat : 18968 (java) S 18961 18964 5131 0 -1 1077944384 41 0 0 0 1 0 0 0 20 0 15 0 11584610 14317654016 59709 18446744073709551615 4194304 4196468 140734130284784 139874542209552 139874586306261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18969] ppid=18961 vsize=13982084 CPUtime=0.01 cores=1,3,5,7 /proc/18964/task/18969/stat : 18969 (java) S 18961 18964 5131 0 -1 1077944384 295 0 0 0 1 0 0 0 20 0 15 0 11584610 14317654016 59709 18446744073709551615 4194304 4196468 140734130284784 139874541156752 139874586306261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18970] ppid=18961 vsize=13982084 CPUtime=0.01 cores=1,3,5,7 /proc/18964/task/18970/stat : 18970 (java) S 18961 18964 5131 0 -1 1077944384 190 0 0 0 1 0 0 0 20 0 15 0 11584610 14317654016 59709 18446744073709551615 4194304 4196468 140734130284784 139874540103952 139874586306261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18971] ppid=18961 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/18964/task/18971/stat : 18971 (java) S 18961 18964 5131 0 -1 1077944384 579 0 0 0 0 0 0 0 20 0 15 0 11584611 14317654016 59709 18446744073709551615 4194304 4196468 140734130284784 139874064653168 139874586307202 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18972] ppid=18961 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/18964/task/18972/stat : 18972 (java) S 18961 18964 5131 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 11584612 14317654016 59709 18446744073709551615 4194304 4196468 140734130284784 139874063599200 139874586306261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18973] ppid=18961 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/18964/task/18973/stat : 18973 (java) S 18961 18964 5131 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 11584612 14317654016 59709 18446744073709551615 4194304 4196468 140734130284784 139874062546304 139874586306261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18974] ppid=18961 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/18964/task/18974/stat : 18974 (java) S 18961 18964 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11584614 14317654016 59709 18446744073709551615 4194304 4196468 140734130284784 139874061494608 139874586314651 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18975] ppid=18961 vsize=13982084 CPUtime=1.08 cores=1,3,5,7 /proc/18964/task/18975/stat : 18975 (java) S 18961 18964 5131 0 -1 1077944384 5454 0 0 0 108 0 0 0 20 0 15 0 11584614 14317654016 59709 18446744073709551615 4194304 4196468 140734130284784 139874060441968 139874586307202 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18976] ppid=18961 vsize=13982084 CPUtime=1.1 cores=1,3,5,7 /proc/18964/task/18976/stat : 18976 (java) S 18961 18964 5131 0 -1 1077944384 4433 0 0 0 109 1 0 0 20 0 15 0 11584614 14317654016 59709 18446744073709551615 4194304 4196468 140734130284784 139874059389168 139874586307202 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18977] ppid=18961 vsize=13982084 CPUtime=0.67 cores=1,3,5,7 /proc/18964/task/18977/stat : 18977 (java) S 18961 18964 5131 0 -1 1077944384 7452 0 0 0 66 1 0 0 20 0 15 0 11584614 14317654016 59709 18446744073709551615 4194304 4196468 140734130284784 139874058336368 139874586307202 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18978] ppid=18961 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/18964/task/18978/stat : 18978 (java) S 18961 18964 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11584615 14317654016 59709 18446744073709551615 4194304 4196468 140734130284784 139874057283808 139874586306261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18979] ppid=18961 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/18964/task/18979/stat : 18979 (java) S 18961 18964 5131 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 11584622 14317654016 59709 18446744073709551615 4194304 4196468 140734130284784 139874056232112 139874586307202 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 Current children cumulated CPU time (s) 5.88 Current children cumulated vsize (KiB) 13982084 [startup+6.30068 s] /proc/loadavg: 1.56 1.51 1.57 4/210 18979 /proc/meminfo: memFree=31138060/32770624 swapFree=0/201888 [pid=18964] ppid=18961 vsize=13982084 CPUtime=9.22 cores=1,3,5,7 /proc/18964/stat : 18964 (java) S 18961 18964 5131 0 -1 1077944320 35513 0 0 0 910 12 0 0 20 0 15 0 11584603 14317654016 59853 18446744073709551615 4194304 4196468 140734130284784 140734130267328 139874586296055 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 6 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 /proc/18964/statm: 3495521 59853 3796 1 0 3484303 0 [pid=18964/tid=18966] ppid=18961 vsize=13982084 CPUtime=6.1 cores=1,3,5,7 /proc/18964/task/18966/stat : 18966 (java) R 18961 18964 5131 0 -1 4202560 15305 0 0 0 604 6 0 0 20 0 15 0 11584609 14317654016 59853 18446744073709551615 4194304 4196468 140734130284784 139874590534384 139874224927057 0 4 1 16800974 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18967] ppid=18961 vsize=13982084 CPUtime=0.02 cores=1,3,5,7 /proc/18964/task/18967/stat : 18967 (java) S 18961 18964 5131 0 -1 1077944384 86 0 0 0 2 0 0 0 20 0 15 0 11584610 14317654016 59853 18446744073709551615 4194304 4196468 140734130284784 139874543262352 139874586306261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18968] ppid=18961 vsize=13982084 CPUtime=0.02 cores=1,3,5,7 /proc/18964/task/18968/stat : 18968 (java) S 18961 18964 5131 0 -1 1077944384 41 0 0 0 2 0 0 0 20 0 15 0 11584610 14317654016 59853 18446744073709551615 4194304 4196468 140734130284784 139874542209552 139874586306261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18969] ppid=18961 vsize=13982084 CPUtime=0.02 cores=1,3,5,7 /proc/18964/task/18969/stat : 18969 (java) S 18961 18964 5131 0 -1 1077944384 296 0 0 0 2 0 0 0 20 0 15 0 11584610 14317654016 59853 18446744073709551615 4194304 4196468 140734130284784 139874541156752 139874586306261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18970] ppid=18961 vsize=13982084 CPUtime=0.02 cores=1,3,5,7 /proc/18964/task/18970/stat : 18970 (java) S 18961 18964 5131 0 -1 1077944384 197 0 0 0 2 0 0 0 20 0 15 0 11584610 14317654016 59853 18446744073709551615 4194304 4196468 140734130284784 139874540103952 139874586306261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18971] ppid=18961 vsize=13982084 CPUtime=0.01 cores=1,3,5,7 /proc/18964/task/18971/stat : 18971 (java) S 18961 18964 5131 0 -1 1077944384 580 0 0 0 1 0 0 0 20 0 15 0 11584611 14317654016 59853 18446744073709551615 4194304 4196468 140734130284784 139874064653168 139874586307202 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18972] ppid=18961 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/18964/task/18972/stat : 18972 (java) S 18961 18964 5131 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 11584612 14317654016 59853 18446744073709551615 4194304 4196468 140734130284784 139874063599200 139874586306261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18973] ppid=18961 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/18964/task/18973/stat : 18973 (java) S 18961 18964 5131 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 11584612 14317654016 59853 18446744073709551615 4194304 4196468 140734130284784 139874062546304 139874586306261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18974] ppid=18961 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/18964/task/18974/stat : 18974 (java) S 18961 18964 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11584614 14317654016 59853 18446744073709551615 4194304 4196468 140734130284784 139874061494608 139874586314651 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18975] ppid=18961 vsize=13982084 CPUtime=1.13 cores=1,3,5,7 /proc/18964/task/18975/stat : 18975 (java) S 18961 18964 5131 0 -1 1077944384 5583 0 0 0 113 0 0 0 20 0 15 0 11584614 14317654016 59853 18446744073709551615 4194304 4196468 140734130284784 139874060441968 139874586307202 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18976] ppid=18961 vsize=13982084 CPUtime=1.13 cores=1,3,5,7 /proc/18964/task/18976/stat : 18976 (java) S 18961 18964 5131 0 -1 1077944384 4451 0 0 0 112 1 0 0 20 0 15 0 11584614 14317654016 59853 18446744073709551615 4194304 4196468 140734130284784 139874059389168 139874586307202 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18977] ppid=18961 vsize=13982084 CPUtime=0.69 cores=1,3,5,7 /proc/18964/task/18977/stat : 18977 (java) S 18961 18964 5131 0 -1 1077944384 7525 0 0 0 68 1 0 0 20 0 15 0 11584614 14317654016 59853 18446744073709551615 4194304 4196468 140734130284784 139874058336368 139874586307202 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18978] ppid=18961 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/18964/task/18978/stat : 18978 (java) S 18961 18964 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11584615 14317654016 59853 18446744073709551615 4194304 4196468 140734130284784 139874057283808 139874586306261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18979] ppid=18961 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/18964/task/18979/stat : 18979 (java) S 18961 18964 5131 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 11584622 14317654016 59853 18446744073709551615 4194304 4196468 140734130284784 139874056232112 139874586307202 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 Current children cumulated CPU time (s) 9.22 Current children cumulated vsize (KiB) 13982084 [startup+12.7007 s] /proc/loadavg: 1.63 1.53 1.57 3/210 18979 /proc/meminfo: memFree=31117832/32770624 swapFree=0/201900 [pid=18964] ppid=18961 vsize=13982084 CPUtime=15.68 cores=1,3,5,7 /proc/18964/stat : 18964 (java) S 18961 18964 5131 0 -1 1077944320 38287 0 0 0 1554 14 0 0 20 0 15 0 11584603 14317654016 60011 18446744073709551615 4194304 4196468 140734130284784 140734130267328 139874586296055 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 6 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 /proc/18964/statm: 3495521 60011 3796 1 0 3484303 0 [pid=18964/tid=18966] ppid=18961 vsize=13982084 CPUtime=12.46 cores=1,3,5,7 /proc/18964/task/18966/stat : 18966 (java) R 18961 18964 5131 0 -1 4202560 15862 0 0 0 1240 6 0 0 20 0 15 0 11584609 14317654016 60011 18446744073709551615 4194304 4196468 140734130284784 139874590534384 139874224961005 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18967] ppid=18961 vsize=13982084 CPUtime=0.04 cores=1,3,5,7 /proc/18964/task/18967/stat : 18967 (java) S 18961 18964 5131 0 -1 1077944384 167 0 0 0 4 0 0 0 20 0 15 0 11584610 14317654016 60011 18446744073709551615 4194304 4196468 140734130284784 139874543262352 139874586306261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18968] ppid=18961 vsize=13982084 CPUtime=0.04 cores=1,3,5,7 /proc/18964/task/18968/stat : 18968 (java) S 18961 18964 5131 0 -1 1077944384 173 0 0 0 4 0 0 0 20 0 15 0 11584610 14317654016 60011 18446744073709551615 4194304 4196468 140734130284784 139874542209552 139874586306261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18969] ppid=18961 vsize=13982084 CPUtime=0.05 cores=1,3,5,7 /proc/18964/task/18969/stat : 18969 (java) S 18961 18964 5131 0 -1 1077944384 1395 0 0 0 4 1 0 0 20 0 15 0 11584610 14317654016 60011 18446744073709551615 4194304 4196468 140734130284784 139874541156752 139874586306261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18970] ppid=18961 vsize=13982084 CPUtime=0.04 cores=1,3,5,7 /proc/18964/task/18970/stat : 18970 (java) S 18961 18964 5131 0 -1 1077944384 645 0 0 0 4 0 0 0 20 0 15 0 11584610 14317654016 60011 18446744073709551615 4194304 4196468 140734130284784 139874540103952 139874586306261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18971] ppid=18961 vsize=13982084 CPUtime=0.01 cores=1,3,5,7 /proc/18964/task/18971/stat : 18971 (java) S 18961 18964 5131 0 -1 1077944384 811 0 0 0 1 0 0 0 20 0 15 0 11584611 14317654016 60011 18446744073709551615 4194304 4196468 140734130284784 139874064653168 139874586307202 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18972] ppid=18961 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/18964/task/18972/stat : 18972 (java) S 18961 18964 5131 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 11584612 14317654016 60011 18446744073709551615 4194304 4196468 140734130284784 139874063599200 139874586306261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18973] ppid=18961 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/18964/task/18973/stat : 18973 (java) S 18961 18964 5131 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 11584612 14317654016 60011 18446744073709551615 4194304 4196468 140734130284784 139874062546304 139874586306261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18974] ppid=18961 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/18964/task/18974/stat : 18974 (java) S 18961 18964 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11584614 14317654016 60011 18446744073709551615 4194304 4196468 140734130284784 139874061494608 139874586314651 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 ################ # More data... # ################ /proc/18964/task/18978/stat : 18978 (java) S 18961 18964 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11584615 14317654016 175090 18446744073709551615 4194304 4196468 140734130284784 139874057283808 139874586306261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18979] ppid=18961 vsize=13982084 CPUtime=0.04 cores=1,3,5,7 /proc/18964/task/18979/stat : 18979 (java) S 18961 18964 5131 0 -1 1077944384 303 0 0 0 1 3 0 0 20 0 15 0 11584622 14317654016 175090 18446744073709551615 4194304 4196468 140734130284784 139874056232112 139874586307202 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 Current children cumulated CPU time (s) 108.92 Current children cumulated vsize (KiB) 13982084 [startup+162.301 s] /proc/loadavg: 1.60 1.55 1.58 3/209 18984 /proc/meminfo: memFree=29829892/32770624 swapFree=0/201972 [pid=18964] ppid=18961 vsize=13982084 CPUtime=170.41 cores=1,3,5,7 /proc/18964/stat : 18964 (java) S 18961 18964 5131 0 -1 1077944320 79885 0 0 0 16976 65 0 0 20 0 15 0 11584603 14317654016 190837 18446744073709551615 4194304 4196468 140734130284784 140734130267328 139874586296055 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 6 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 /proc/18964/statm: 3495521 190837 3808 1 0 3484303 0 [pid=18964/tid=18966] ppid=18961 vsize=13982084 CPUtime=160.69 cores=1,3,5,7 /proc/18964/task/18966/stat : 18966 (java) R 18961 18964 5131 0 -1 4202560 28579 0 0 0 16052 17 0 0 20 0 15 0 11584609 14317654016 190837 18446744073709551615 4194304 4196468 140734130284784 139874590533728 139874226215591 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18967] ppid=18961 vsize=13982084 CPUtime=1.12 cores=1,3,5,7 /proc/18964/task/18967/stat : 18967 (java) S 18961 18964 5131 0 -1 1077944384 1764 0 0 0 103 9 0 0 20 0 15 0 11584610 14317654016 190837 18446744073709551615 4194304 4196468 140734130284784 139874543262352 139874586306261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18968] ppid=18961 vsize=13982084 CPUtime=1.12 cores=1,3,5,7 /proc/18964/task/18968/stat : 18968 (java) S 18961 18964 5131 0 -1 1077944384 2399 0 0 0 104 8 0 0 20 0 15 0 11584610 14317654016 190837 18446744073709551615 4194304 4196468 140734130284784 139874542209552 139874586306261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18969] ppid=18961 vsize=13982084 CPUtime=1.11 cores=1,3,5,7 /proc/18964/task/18969/stat : 18969 (java) S 18961 18964 5131 0 -1 1077944384 2875 0 0 0 102 9 0 0 20 0 15 0 11584610 14317654016 190837 18446744073709551615 4194304 4196468 140734130284784 139874541156752 139874586306261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18970] ppid=18961 vsize=13982084 CPUtime=1.12 cores=1,3,5,7 /proc/18964/task/18970/stat : 18970 (java) S 18961 18964 5131 0 -1 1077944384 2181 0 0 0 104 8 0 0 20 0 15 0 11584610 14317654016 190837 18446744073709551615 4194304 4196468 140734130284784 139874540103952 139874586306261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18971] ppid=18961 vsize=13982084 CPUtime=0.19 cores=1,3,5,7 /proc/18964/task/18971/stat : 18971 (java) S 18961 18964 5131 0 -1 1077944384 2292 0 0 0 16 3 0 0 20 0 15 0 11584611 14317654016 190837 18446744073709551615 4194304 4196468 140734130284784 139874064653168 139874586307202 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18972] ppid=18961 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/18964/task/18972/stat : 18972 (java) S 18961 18964 5131 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 11584612 14317654016 190837 18446744073709551615 4194304 4196468 140734130284784 139874063599200 139874586306261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18973] ppid=18961 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/18964/task/18973/stat : 18973 (java) S 18961 18964 5131 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 11584612 14317654016 190837 18446744073709551615 4194304 4196468 140734130284784 139874062546304 139874586306261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18974] ppid=18961 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/18964/task/18974/stat : 18974 (java) S 18961 18964 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11584614 14317654016 190837 18446744073709551615 4194304 4196468 140734130284784 139874061494608 139874586314651 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18975] ppid=18961 vsize=13982084 CPUtime=1.93 cores=1,3,5,7 /proc/18964/task/18975/stat : 18975 (java) S 18961 18964 5131 0 -1 1077944384 11587 0 0 0 192 1 0 0 20 0 15 0 11584614 14317654016 190837 18446744073709551615 4194304 4196468 140734130284784 139874060441968 139874586307202 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18976] ppid=18961 vsize=13982084 CPUtime=2.05 cores=1,3,5,7 /proc/18964/task/18976/stat : 18976 (java) S 18961 18964 5131 0 -1 1077944384 12354 0 0 0 203 2 0 0 20 0 15 0 11584614 14317654016 190837 18446744073709551615 4194304 4196468 140734130284784 139874059389168 139874586307202 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18977] ppid=18961 vsize=13982084 CPUtime=0.92 cores=1,3,5,7 /proc/18964/task/18977/stat : 18977 (java) S 18961 18964 5131 0 -1 1077944384 14080 0 0 0 90 2 0 0 20 0 15 0 11584614 14317654016 190837 18446744073709551615 4194304 4196468 140734130284784 139874058336368 139874586307202 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18978] ppid=18961 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/18964/task/18978/stat : 18978 (java) S 18961 18964 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11584615 14317654016 190837 18446744073709551615 4194304 4196468 140734130284784 139874057283808 139874586306261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18979] ppid=18961 vsize=13982084 CPUtime=0.08 cores=1,3,5,7 /proc/18964/task/18979/stat : 18979 (java) S 18961 18964 5131 0 -1 1077944384 325 0 0 0 3 5 0 0 20 0 15 0 11584622 14317654016 190837 18446744073709551615 4194304 4196468 140734130284784 139874056232112 139874586307202 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 Current children cumulated CPU time (s) 170.41 Current children cumulated vsize (KiB) 13982084 [startup+222.301 s] /proc/loadavg: 1.70 1.59 1.59 3/209 18992 /proc/meminfo: memFree=29720176/32770624 swapFree=0/202008 [pid=18964] ppid=18961 vsize=13982084 CPUtime=232.05 cores=1,3,5,7 /proc/18964/stat : 18964 (java) S 18961 18964 5131 0 -1 1077944320 90239 0 0 0 23118 87 0 0 20 0 15 0 11584603 14317654016 213122 18446744073709551615 4194304 4196468 140734130284784 140734130267328 139874586296055 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 6 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 /proc/18964/statm: 3495521 213122 3808 1 0 3484303 0 [pid=18964/tid=18966] ppid=18961 vsize=13982084 CPUtime=220.05 cores=1,3,5,7 /proc/18964/task/18966/stat : 18966 (java) R 18961 18964 5131 0 -1 4202560 32423 0 0 0 21987 18 0 0 20 0 15 0 11584609 14317654016 213122 18446744073709551615 4194304 4196468 140734130284784 139874590534064 139874226216423 0 4 1 16800974 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18967] ppid=18961 vsize=13982084 CPUtime=1.61 cores=1,3,5,7 /proc/18964/task/18967/stat : 18967 (java) S 18961 18964 5131 0 -1 1077944384 2149 0 0 0 148 13 0 0 20 0 15 0 11584610 14317654016 213122 18446744073709551615 4194304 4196468 140734130284784 139874543262352 139874586306261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18968] ppid=18961 vsize=13982084 CPUtime=1.62 cores=1,3,5,7 /proc/18964/task/18968/stat : 18968 (java) S 18961 18964 5131 0 -1 1077944384 2639 0 0 0 149 13 0 0 20 0 15 0 11584610 14317654016 213122 18446744073709551615 4194304 4196468 140734130284784 139874542209552 139874586306261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18969] ppid=18961 vsize=13982084 CPUtime=1.6 cores=1,3,5,7 /proc/18964/task/18969/stat : 18969 (java) S 18961 18964 5131 0 -1 1077944384 3109 0 0 0 147 13 0 0 20 0 15 0 11584610 14317654016 213122 18446744073709551615 4194304 4196468 140734130284784 139874541156752 139874586306261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18970] ppid=18961 vsize=13982084 CPUtime=1.61 cores=1,3,5,7 /proc/18964/task/18970/stat : 18970 (java) S 18961 18964 5131 0 -1 1077944384 2420 0 0 0 149 12 0 0 20 0 15 0 11584610 14317654016 213122 18446744073709551615 4194304 4196468 140734130284784 139874540103952 139874586306261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18971] ppid=18961 vsize=13982084 CPUtime=0.26 cores=1,3,5,7 /proc/18964/task/18971/stat : 18971 (java) S 18961 18964 5131 0 -1 1077944384 2294 0 0 0 22 4 0 0 20 0 15 0 11584611 14317654016 213122 18446744073709551615 4194304 4196468 140734130284784 139874064653168 139874586307202 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18972] ppid=18961 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/18964/task/18972/stat : 18972 (java) S 18961 18964 5131 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 11584612 14317654016 213122 18446744073709551615 4194304 4196468 140734130284784 139874063599200 139874586306261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18973] ppid=18961 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/18964/task/18973/stat : 18973 (java) S 18961 18964 5131 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 11584612 14317654016 213122 18446744073709551615 4194304 4196468 140734130284784 139874062546304 139874586306261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18974] ppid=18961 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/18964/task/18974/stat : 18974 (java) S 18961 18964 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11584614 14317654016 213122 18446744073709551615 4194304 4196468 140734130284784 139874061494608 139874586314651 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18975] ppid=18961 vsize=13982084 CPUtime=2.01 cores=1,3,5,7 /proc/18964/task/18975/stat : 18975 (java) S 18961 18964 5131 0 -1 1077944384 12977 0 0 0 200 1 0 0 20 0 15 0 11584614 14317654016 213122 18446744073709551615 4194304 4196468 140734130284784 139874060441968 139874586307202 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18976] ppid=18961 vsize=13982084 CPUtime=2.12 cores=1,3,5,7 /proc/18964/task/18976/stat : 18976 (java) S 18961 18964 5131 0 -1 1077944384 15096 0 0 0 210 2 0 0 20 0 15 0 11584614 14317654016 213122 18446744073709551615 4194304 4196468 140734130284784 139874059389168 139874586307202 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18977] ppid=18961 vsize=13982084 CPUtime=0.94 cores=1,3,5,7 /proc/18964/task/18977/stat : 18977 (java) S 18961 18964 5131 0 -1 1077944384 15349 0 0 0 91 3 0 0 20 0 15 0 11584614 14317654016 213122 18446744073709551615 4194304 4196468 140734130284784 139874058336368 139874586307202 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18978] ppid=18961 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/18964/task/18978/stat : 18978 (java) S 18961 18964 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11584615 14317654016 213122 18446744073709551615 4194304 4196468 140734130284784 139874057283808 139874586306261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18979] ppid=18961 vsize=13982084 CPUtime=0.11 cores=1,3,5,7 /proc/18964/task/18979/stat : 18979 (java) S 18961 18964 5131 0 -1 1077944384 334 0 0 0 4 7 0 0 20 0 15 0 11584622 14317654016 213122 18446744073709551615 4194304 4196468 140734130284784 139874056232112 139874586307202 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 Current children cumulated CPU time (s) 232.05 Current children cumulated vsize (KiB) 13982084 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+240.007 s] /proc/loadavg: 1.61 1.58 1.59 2/192 19026 /proc/meminfo: memFree=30990232/32770624 swapFree=0/202032 [pid=18964] ppid=18961 vsize=13982084 CPUtime=250.2 cores=1,3,5,7 /proc/18964/stat : 18964 (java) S 18961 18964 5131 0 -1 1077944320 92328 0 0 0 24928 92 0 0 20 0 15 0 11584603 14317654016 212853 18446744073709551615 4194304 4196468 140734130284784 140734130267328 139874586296055 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 6 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 /proc/18964/statm: 3495521 212853 3808 1 0 3484303 0 [pid=18964/tid=18966] ppid=18961 vsize=13982084 CPUtime=237.56 cores=1,3,5,7 /proc/18964/task/18966/stat : 18966 (java) R 18961 18964 5131 0 -1 4202560 32903 0 0 0 23738 18 0 0 20 0 15 0 11584609 14317654016 212853 18446744073709551615 4194304 4196468 140734130284784 139874590534176 139874226216448 0 4 1 16800974 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18967] ppid=18961 vsize=13982084 CPUtime=1.77 cores=1,3,5,7 /proc/18964/task/18967/stat : 18967 (java) S 18961 18964 5131 0 -1 1077944384 2855 0 0 0 162 15 0 0 20 0 15 0 11584610 14317654016 212853 18446744073709551615 4194304 4196468 140734130284784 139874543262352 139874586306261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18968] ppid=18961 vsize=13982084 CPUtime=1.77 cores=1,3,5,7 /proc/18964/task/18968/stat : 18968 (java) S 18961 18964 5131 0 -1 1077944384 2736 0 0 0 163 14 0 0 20 0 15 0 11584610 14317654016 212853 18446744073709551615 4194304 4196468 140734130284784 139874542209552 139874586306261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18969] ppid=18961 vsize=13982084 CPUtime=1.76 cores=1,3,5,7 /proc/18964/task/18969/stat : 18969 (java) S 18961 18964 5131 0 -1 1077944384 3501 0 0 0 161 15 0 0 20 0 15 0 11584610 14317654016 212853 18446744073709551615 4194304 4196468 140734130284784 139874541156752 139874586306261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18970] ppid=18961 vsize=13982084 CPUtime=1.76 cores=1,3,5,7 /proc/18964/task/18970/stat : 18970 (java) S 18961 18964 5131 0 -1 1077944384 2563 0 0 0 163 13 0 0 20 0 15 0 11584610 14317654016 212853 18446744073709551615 4194304 4196468 140734130284784 139874540103952 139874586306261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18971] ppid=18961 vsize=13982084 CPUtime=0.29 cores=1,3,5,7 /proc/18964/task/18971/stat : 18971 (java) S 18961 18964 5131 0 -1 1077944384 2541 0 0 0 24 5 0 0 20 0 15 0 11584611 14317654016 212853 18446744073709551615 4194304 4196468 140734130284784 139874064653168 139874586307202 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18972] ppid=18961 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/18964/task/18972/stat : 18972 (java) S 18961 18964 5131 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 11584612 14317654016 212853 18446744073709551615 4194304 4196468 140734130284784 139874063599200 139874586306261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18973] ppid=18961 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/18964/task/18973/stat : 18973 (java) S 18961 18964 5131 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 11584612 14317654016 212853 18446744073709551615 4194304 4196468 140734130284784 139874062546304 139874586306261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18974] ppid=18961 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/18964/task/18974/stat : 18974 (java) S 18961 18964 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11584614 14317654016 212853 18446744073709551615 4194304 4196468 140734130284784 139874061494608 139874586314651 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18975] ppid=18961 vsize=13982084 CPUtime=2.01 cores=1,3,5,7 /proc/18964/task/18975/stat : 18975 (java) S 18961 18964 5131 0 -1 1077944384 12979 0 0 0 200 1 0 0 20 0 15 0 11584614 14317654016 212853 18446744073709551615 4194304 4196468 140734130284784 139874060441968 139874586307202 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18976] ppid=18961 vsize=13982084 CPUtime=2.12 cores=1,3,5,7 /proc/18964/task/18976/stat : 18976 (java) S 18961 18964 5131 0 -1 1077944384 15098 0 0 0 210 2 0 0 20 0 15 0 11584614 14317654016 212853 18446744073709551615 4194304 4196468 140734130284784 139874059389168 139874586307202 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18977] ppid=18961 vsize=13982084 CPUtime=0.94 cores=1,3,5,7 /proc/18964/task/18977/stat : 18977 (java) S 18961 18964 5131 0 -1 1077944384 15351 0 0 0 91 3 0 0 20 0 15 0 11584614 14317654016 212853 18446744073709551615 4194304 4196468 140734130284784 139874058336368 139874586307202 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18978] ppid=18961 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/18964/task/18978/stat : 18978 (java) S 18961 18964 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11584615 14317654016 212853 18446744073709551615 4194304 4196468 140734130284784 139874057283808 139874586306261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18979] ppid=18961 vsize=13982084 CPUtime=0.13 cores=1,3,5,7 /proc/18964/task/18979/stat : 18979 (java) S 18961 18964 5131 0 -1 1077944384 352 0 0 0 5 8 0 0 20 0 15 0 11584622 14317654016 212853 18446744073709551615 4194304 4196468 140734130284784 139874056232112 139874586307202 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 Current children cumulated CPU time (s) 250.2 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 18964 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+240.007 s] /proc/loadavg: 1.61 1.58 1.59 2/192 19026 /proc/meminfo: memFree=30990232/32770624 swapFree=0/202032 [pid=18964] ppid=18961 vsize=13982084 CPUtime=250.2 cores=1,3,5,7 /proc/18964/stat : 18964 (java) S 18961 18964 5131 0 -1 1077944320 92328 0 0 0 24928 92 0 0 20 0 15 0 11584603 14317654016 212853 18446744073709551615 4194304 4196468 140734130284784 140734130267328 139874586296055 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 6 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 /proc/18964/statm: 3495521 212853 3808 1 0 3484303 0 [pid=18964/tid=18966] ppid=18961 vsize=13982084 CPUtime=237.56 cores=1,3,5,7 /proc/18964/task/18966/stat : 18966 (java) R 18961 18964 5131 0 -1 4202560 32903 0 0 0 23738 18 0 0 20 0 15 0 11584609 14317654016 212853 18446744073709551615 4194304 4196468 140734130284784 139874590534176 139874226216448 0 4 1 16800974 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18967] ppid=18961 vsize=13982084 CPUtime=1.77 cores=1,3,5,7 /proc/18964/task/18967/stat : 18967 (java) S 18961 18964 5131 0 -1 1077944384 2855 0 0 0 162 15 0 0 20 0 15 0 11584610 14317654016 212853 18446744073709551615 4194304 4196468 140734130284784 139874543262352 139874586306261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18968] ppid=18961 vsize=13982084 CPUtime=1.77 cores=1,3,5,7 /proc/18964/task/18968/stat : 18968 (java) S 18961 18964 5131 0 -1 1077944384 2736 0 0 0 163 14 0 0 20 0 15 0 11584610 14317654016 212853 18446744073709551615 4194304 4196468 140734130284784 139874542209552 139874586306261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18969] ppid=18961 vsize=13982084 CPUtime=1.76 cores=1,3,5,7 /proc/18964/task/18969/stat : 18969 (java) S 18961 18964 5131 0 -1 1077944384 3501 0 0 0 161 15 0 0 20 0 15 0 11584610 14317654016 212853 18446744073709551615 4194304 4196468 140734130284784 139874541156752 139874586306261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18970] ppid=18961 vsize=13982084 CPUtime=1.76 cores=1,3,5,7 /proc/18964/task/18970/stat : 18970 (java) S 18961 18964 5131 0 -1 1077944384 2563 0 0 0 163 13 0 0 20 0 15 0 11584610 14317654016 212853 18446744073709551615 4194304 4196468 140734130284784 139874540103952 139874586306261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18971] ppid=18961 vsize=13982084 CPUtime=0.29 cores=1,3,5,7 /proc/18964/task/18971/stat : 18971 (java) S 18961 18964 5131 0 -1 1077944384 2541 0 0 0 24 5 0 0 20 0 15 0 11584611 14317654016 212853 18446744073709551615 4194304 4196468 140734130284784 139874064653168 139874586307202 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18972] ppid=18961 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/18964/task/18972/stat : 18972 (java) S 18961 18964 5131 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 11584612 14317654016 212853 18446744073709551615 4194304 4196468 140734130284784 139874063599200 139874586306261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18973] ppid=18961 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/18964/task/18973/stat : 18973 (java) S 18961 18964 5131 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 11584612 14317654016 212853 18446744073709551615 4194304 4196468 140734130284784 139874062546304 139874586306261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18974] ppid=18961 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/18964/task/18974/stat : 18974 (java) S 18961 18964 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11584614 14317654016 212853 18446744073709551615 4194304 4196468 140734130284784 139874061494608 139874586314651 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18975] ppid=18961 vsize=13982084 CPUtime=2.01 cores=1,3,5,7 /proc/18964/task/18975/stat : 18975 (java) S 18961 18964 5131 0 -1 1077944384 12979 0 0 0 200 1 0 0 20 0 15 0 11584614 14317654016 212853 18446744073709551615 4194304 4196468 140734130284784 139874060441968 139874586307202 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18976] ppid=18961 vsize=13982084 CPUtime=2.12 cores=1,3,5,7 /proc/18964/task/18976/stat : 18976 (java) S 18961 18964 5131 0 -1 1077944384 15098 0 0 0 210 2 0 0 20 0 15 0 11584614 14317654016 212853 18446744073709551615 4194304 4196468 140734130284784 139874059389168 139874586307202 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18977] ppid=18961 vsize=13982084 CPUtime=0.94 cores=1,3,5,7 /proc/18964/task/18977/stat : 18977 (java) S 18961 18964 5131 0 -1 1077944384 15351 0 0 0 91 3 0 0 20 0 15 0 11584614 14317654016 212853 18446744073709551615 4194304 4196468 140734130284784 139874058336368 139874586307202 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18978] ppid=18961 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/18964/task/18978/stat : 18978 (java) S 18961 18964 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11584615 14317654016 212853 18446744073709551615 4194304 4196468 140734130284784 139874057283808 139874586306261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 [pid=18964/tid=18979] ppid=18961 vsize=13982084 CPUtime=0.13 cores=1,3,5,7 /proc/18964/task/18979/stat : 18979 (java) S 18961 18964 5131 0 -1 1077944384 352 0 0 0 5 8 0 0 20 0 15 0 11584622 14317654016 212853 18446744073709551615 4194304 4196468 140734130284784 139874056232112 139874586307202 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39002112 140734130286997 140734130287179 140734130287179 140734130290639 0 Current children cumulated CPU time (s) 250.2 Current children cumulated vsize (KiB) 13982084 Child status: 143 Real time (s): 240.037 CPU time (s): 250.251 CPU user time (s): 249.313 CPU system time (s): 0.937688 CPU usage (%): 104.255 Max. virtual memory (cumulated for all children) (KiB): 13982084 getrusage(RUSAGE_CHILDREN,...) data: user time used= 249.313 system time used= 0.937688 maximum resident set size= 857080 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 94379 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= 15919 involuntary context switches= 540 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.877062 second user time and 1.68522 second system time The end
Begin job on node131 at 2017-08-02 01:06:46 IDJOB=4256858 IDBENCH=124459 IDSOLVER=2640 FILE ID=node131/4256858-1501629643 RUNJOBID= node131-1501623034-14465 PBS_JOBID= Free space on /tmp= 61904 MiB SOLVER NAME= OscaR - Hybrid 2017-07-26 BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n34-k5.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-4256858-1501629643/watcher-4256858-1501629643 -o /tmp/evaluation-result-4256858-1501629643/solver-4256858-1501629643 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node131-1501623034-14465 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1761328190 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4256858-1501629643.xml TIME LIMIT= 264 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 72c979ceab0684897cea6dc90bd0dbab RANDOM SEED=1761328190 node131.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 : 5334.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31677096 kB MemAvailable: 31875716 kB Buffers: 101568 kB Cached: 379736 kB SwapCached: 0 kB Active: 481204 kB Inactive: 210400 kB Active(anon): 210804 kB Inactive(anon): 8532 kB Active(file): 270400 kB Inactive(file): 201868 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 84896 kB Writeback: 4 kB AnonPages: 178120 kB Mapped: 44444 kB Shmem: 8872 kB Slab: 109408 kB SReclaimable: 84372 kB SUnreclaim: 25036 kB KernelStack: 3440 kB PageTables: 4888 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1242804 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 94208 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61860 MiB End job on node131 at 2017-08-02 01:10:46