Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
OscaR - Parallel with EPS 2017-07-26 | SAT (TO) | 1505 | 1920.77 | 245.006 |
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.37/0.40 c version: 2017-07-26 0.37/0.40 c seed: 213679363 0.37/0.40 c timeout: 1920 0.37/0.40 c memlimit: 22000 0.37/0.40 c nbcore: 8 0.37/0.43 c Parsing instance... 1.81/0.93 c Parsing done, starting search... 8.87/4.50 o 2023 9.65/4.53 o 1946 9.65/4.57 o 1867 10.40/4.60 o 1861 10.40/4.67 o 1832 11.19/4.71 o 1826 11.19/4.77 o 1806 12.77/4.92 o 1795 12.77/4.96 o 1792 14.42/5.11 o 1763 14.42/5.15 o 1758 14.42/5.18 o 1742 15.19/5.27 o 1732 15.96/5.31 o 1725 16.72/5.49 o 1678 16.72/5.49 o 1674 16.72/5.49 o 1665 16.72/5.49 o 1661 33.19/7.59 o 1660 71.29/12.38 o 1653 78.52/13.27 o 1652 80.07/13.44 o 1642 85.65/14.18 o 1639 90.42/14.72 o 1635 94.42/15.29 o 1617 96.85/15.55 o 1616 132.67/20.08 o 1602 148.63/22.07 o 1601 148.63/22.08 o 1574 287.98/39.52 o 1566 287.98/39.53 o 1561 287.98/39.54 o 1560 337.24/45.72 o 1548 779.60/101.46 o 1533 1100.60/141.82 o 1522 1100.60/141.83 o 1505 1920.08/244.96 s SATISFIABLE 1920.08/244.97 v <instantiation> 1920.08/244.97 v <list> 1920.08/244.97 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] 1920.08/244.97 v </list> 1920.08/244.97 v <values> 1920.08/244.97 v 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 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 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 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 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 29 87 79 100 51 75 36 100 27 26 100 55 21 88 93 50 75 49 34 100 100 40 65 85 57 84 60 64 14 41 83 18 84 1920.08/244.97 v </values> 1920.08/244.97 v </instantiation>
OK 1505
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-4257355-1501684438/watcher-4257355-1501684438 -o /tmp/evaluation-result-4257355-1501684438/solver-4257355-1501684438 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node133-1501676554-32181 --watchdog 324 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 213679363 --timelimit 1920 --memlimit 22000 --nbcore 8 HOME/instance-4257355-1501684438.xml pid=8274 running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1920 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1950 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 8.95 8.77 8.18 2/177 8277 /proc/meminfo: memFree=31690784/32770624 swapFree=0/258836 [pid=8277] ppid=8274 vsize=23672 CPUtime=0 cores=0-7 /proc/8277/stat : 8277 (runsolver) D 8274 8277 32125 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 16259100 24240128 107 18446744073709551615 4194304 4338465 140733428941488 140733428939128 140402938315479 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 29417472 140733428944996 140733428945475 140733428945475 140733428948938 0 /proc/8277/statm: 5918 107 54 36 0 2156 0 [startup+0.100153 s] /proc/loadavg: 8.95 8.77 8.18 2/177 8277 /proc/meminfo: memFree=31690784/32770624 swapFree=0/258836 [pid=8277] ppid=8274 vsize=23672 CPUtime=0 cores=0-7 /proc/8277/stat : 8277 (runsolver) D 8274 8277 32125 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 16259100 24240128 107 18446744073709551615 4194304 4338465 140733428941488 140733428939128 140402938315479 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 29417472 140733428944996 140733428945475 140733428945475 140733428948938 0 /proc/8277/statm: 5918 107 54 36 0 2156 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 23672 [startup+0.200321 s] /proc/loadavg: 8.95 8.77 8.18 2/177 8277 /proc/meminfo: memFree=31690784/32770624 swapFree=0/258836 [pid=8277] ppid=8274 vsize=25927168 CPUtime=0.05 cores=0-7 /proc/8277/stat : 8277 (java) S 8274 8277 32125 0 -1 1077944320 4729 0 0 0 4 1 0 0 20 0 19 0 16259100 26549420032 5253 18446744073709551615 4194304 4196468 140725723792848 140725723775392 140116894633719 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 10 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 /proc/8277/statm: 6481792 5253 2567 1 0 6471297 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 25927168 [startup+0.300334 s] /proc/loadavg: 8.95 8.77 8.18 2/177 8277 /proc/meminfo: memFree=31690784/32770624 swapFree=0/258836 [pid=8277] ppid=8274 vsize=25996604 CPUtime=0.2 cores=0-7 /proc/8277/stat : 8277 (java) S 8274 8277 32125 0 -1 1077944320 9796 0 0 0 17 3 0 0 20 0 20 0 16259100 26620522496 9086 18446744073709551615 4194304 4196468 140725723792848 140725723775392 140116894633719 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 10 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 /proc/8277/statm: 6499151 9086 3503 1 0 6487938 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 25996604 [startup+0.710101 s] /proc/loadavg: 8.95 8.77 8.18 2/177 8277 /proc/meminfo: memFree=31690784/32770624 swapFree=0/258836 [pid=8277] ppid=8274 vsize=25998672 CPUtime=1.06 cores=0-7 /proc/8277/stat : 8277 (java) S 8274 8277 32125 0 -1 1077944320 13802 0 0 0 100 6 0 0 20 0 20 0 16259100 26622640128 16632 18446744073709551615 4194304 4196468 140725723792848 140725723775392 140116894633719 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 10 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 /proc/8277/statm: 6499668 16632 3719 1 0 6488450 0 Current children cumulated CPU time (s) 1.06 Current children cumulated vsize (KiB) 25998672 [startup+1.50084 s] /proc/loadavg: 8.95 8.77 8.18 4/197 8297 /proc/meminfo: memFree=31597960/32770624 swapFree=0/258852 [pid=8277] ppid=8274 vsize=26002768 CPUtime=3.62 cores=0-7 /proc/8277/stat : 8277 (java) S 8274 8277 32125 0 -1 1077944320 30815 0 0 0 348 14 0 0 20 0 20 0 16259100 26626834432 45123 18446744073709551615 4194304 4196468 140725723792848 140725723775392 140116894633719 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 10 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 /proc/8277/statm: 6500692 45123 3766 1 0 6489474 0 [pid=8277/tid=8279] ppid=8274 vsize=26002768 CPUtime=1.32 cores=0-7 /proc/8277/task/8279/stat : 8279 (java) R 8274 8277 32125 0 -1 4202560 14660 0 0 0 125 7 0 0 20 0 20 0 16259111 26626834432 45123 18446744073709551615 4194304 4196468 140725723792848 140116898868704 140116543941989 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8280] ppid=8274 vsize=26002768 CPUtime=0 cores=0-7 /proc/8277/task/8280/stat : 8280 (java) S 8274 8277 32125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 16259112 26626834432 45123 18446744073709551615 4194304 4196468 140725723792848 140116456831504 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8281] ppid=8274 vsize=26002768 CPUtime=0 cores=0-7 /proc/8277/task/8281/stat : 8281 (java) S 8274 8277 32125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 16259112 26626834432 45123 18446744073709551615 4194304 4196468 140725723792848 140116455778960 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8282] ppid=8274 vsize=26002768 CPUtime=0 cores=0-7 /proc/8277/task/8282/stat : 8282 (java) S 8274 8277 32125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 16259112 26626834432 45123 18446744073709551615 4194304 4196468 140725723792848 140116454725904 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8283] ppid=8274 vsize=26002768 CPUtime=0 cores=0-7 /proc/8277/task/8283/stat : 8283 (java) S 8274 8277 32125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 16259112 26626834432 45123 18446744073709551615 4194304 4196468 140725723792848 140116453673360 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8284] ppid=8274 vsize=26002768 CPUtime=0 cores=0-7 /proc/8277/task/8284/stat : 8284 (java) S 8274 8277 32125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 16259112 26626834432 45123 18446744073709551615 4194304 4196468 140725723792848 140116452621328 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8285] ppid=8274 vsize=26002768 CPUtime=0 cores=0-7 /proc/8277/task/8285/stat : 8285 (java) S 8274 8277 32125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 16259112 26626834432 45123 18446744073709551615 4194304 4196468 140725723792848 140116451568784 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8286] ppid=8274 vsize=26002768 CPUtime=0 cores=0-7 /proc/8277/task/8286/stat : 8286 (java) S 8274 8277 32125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 16259112 26626834432 45123 18446744073709551615 4194304 4196468 140725723792848 140116450515728 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8287] ppid=8274 vsize=26002768 CPUtime=0 cores=0-7 /proc/8277/task/8287/stat : 8287 (java) S 8274 8277 32125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 16259112 26626834432 45123 18446744073709551615 4194304 4196468 140725723792848 140116449463184 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8288] ppid=8274 vsize=26002768 CPUtime=0 cores=0-7 /proc/8277/task/8288/stat : 8288 (java) S 8274 8277 32125 0 -1 1077944384 361 0 0 0 0 0 0 0 20 0 20 0 16259114 26626834432 45123 18446744073709551615 4194304 4196468 140725723792848 140116295051504 140116894644866 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8289] ppid=8274 vsize=26002768 CPUtime=0 cores=0-7 /proc/8277/task/8289/stat : 8289 (java) S 8274 8277 32125 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 16259114 26626834432 45123 18446744073709551615 4194304 4196468 140725723792848 140116293997728 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8290] ppid=8274 vsize=26002768 CPUtime=0 cores=0-7 /proc/8277/task/8290/stat : 8290 (java) S 8274 8277 32125 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 16259114 26626834432 45123 18446744073709551615 4194304 4196468 140725723792848 140116292944624 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8291] ppid=8274 vsize=26002768 CPUtime=0 cores=0-7 /proc/8277/task/8291/stat : 8291 (java) S 8274 8277 32125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 16259117 26626834432 45123 18446744073709551615 4194304 4196468 140725723792848 140116291893200 140116894652315 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8292] ppid=8274 vsize=26002768 CPUtime=0.55 cores=0-7 /proc/8277/task/8292/stat : 8292 (java) R 8274 8277 32125 0 -1 4202560 3003 0 0 0 54 1 0 0 20 0 20 0 16259117 26626834432 45123 18446744073709551615 4194304 4196468 140725723792848 140116290841328 140116875273356 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8293] ppid=8274 vsize=26002768 CPUtime=0.55 cores=0-7 /proc/8277/task/8293/stat : 8293 (java) R 8274 8277 32125 0 -1 4202560 2889 0 0 0 54 1 0 0 20 0 20 0 16259117 26626834432 45123 18446744073709551615 4194304 4196468 140725723792848 140116289788784 140116876153404 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8294] ppid=8274 vsize=26002768 CPUtime=0.5 cores=0-7 /proc/8277/task/8294/stat : 8294 (java) S 8274 8277 32125 0 -1 1077944384 2510 0 0 0 50 0 0 0 20 0 20 0 16259117 26626834432 45123 18446744073709551615 4194304 4196468 140725723792848 140116288735728 140116894644866 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8295] ppid=8274 vsize=26002768 CPUtime=0.65 cores=0-7 /proc/8277/task/8295/stat : 8295 (java) S 8274 8277 32125 0 -1 1077944384 6014 0 0 0 63 2 0 0 20 0 20 0 16259117 26626834432 45123 18446744073709551615 4194304 4196468 140725723792848 140116287683184 140116894644866 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8296] ppid=8274 vsize=26002768 CPUtime=0 cores=0-7 /proc/8277/task/8296/stat : 8296 (java) S 8274 8277 32125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 16259117 26626834432 45123 18446744073709551615 4194304 4196468 140725723792848 140116286630368 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8297] ppid=8274 vsize=26002768 CPUtime=0 cores=0-7 /proc/8277/task/8297/stat : 8297 (java) S 8274 8277 32125 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 16259121 26626834432 45123 18446744073709551615 4194304 4196468 140725723792848 140116285577904 140116894644866 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 Current children cumulated CPU time (s) 3.62 Current children cumulated vsize (KiB) 26002768 [startup+3.10078 s] /proc/loadavg: 8.47 8.67 8.16 2/197 8297 /proc/meminfo: memFree=31476280/32770624 swapFree=0/258852 [pid=8277] ppid=8274 vsize=26002768 CPUtime=5.94 cores=0-7 /proc/8277/stat : 8277 (java) S 8274 8277 32125 0 -1 1077944320 34137 0 0 0 574 20 0 0 20 0 20 0 16259100 26626834432 60365 18446744073709551615 4194304 4196468 140725723792848 140725723775392 140116894633719 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 10 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 /proc/8277/statm: 6500692 60365 3790 1 0 6489474 0 [pid=8277/tid=8279] ppid=8274 vsize=26002768 CPUtime=2.9 cores=0-7 /proc/8277/task/8279/stat : 8279 (java) R 8274 8277 32125 0 -1 4202560 14844 0 0 0 282 8 0 0 20 0 20 0 16259111 26626834432 60365 18446744073709551615 4194304 4196468 140725723792848 140116898869904 140116544472304 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8280] ppid=8274 vsize=26002768 CPUtime=0 cores=0-7 /proc/8277/task/8280/stat : 8280 (java) S 8274 8277 32125 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 16259112 26626834432 60365 18446744073709551615 4194304 4196468 140725723792848 140116456831504 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8281] ppid=8274 vsize=26002768 CPUtime=0 cores=0-7 /proc/8277/task/8281/stat : 8281 (java) S 8274 8277 32125 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 16259112 26626834432 60365 18446744073709551615 4194304 4196468 140725723792848 140116455778960 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8282] ppid=8274 vsize=26002768 CPUtime=0 cores=0-7 /proc/8277/task/8282/stat : 8282 (java) S 8274 8277 32125 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 16259112 26626834432 60365 18446744073709551615 4194304 4196468 140725723792848 140116454725904 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8283] ppid=8274 vsize=26002768 CPUtime=0 cores=0-7 /proc/8277/task/8283/stat : 8283 (java) S 8274 8277 32125 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 20 0 16259112 26626834432 60365 18446744073709551615 4194304 4196468 140725723792848 140116453673360 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8284] ppid=8274 vsize=26002768 CPUtime=0 cores=0-7 /proc/8277/task/8284/stat : 8284 (java) S 8274 8277 32125 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 16259112 26626834432 60365 18446744073709551615 4194304 4196468 140725723792848 140116452621328 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8285] ppid=8274 vsize=26002768 CPUtime=0.01 cores=0-7 /proc/8277/task/8285/stat : 8285 (java) S 8274 8277 32125 0 -1 1077944384 284 0 0 0 1 0 0 0 20 0 20 0 16259112 26626834432 60365 18446744073709551615 4194304 4196468 140725723792848 140116451568784 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8286] ppid=8274 vsize=26002768 CPUtime=0 cores=0-7 /proc/8277/task/8286/stat : 8286 (java) S 8274 8277 32125 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 20 0 16259112 26626834432 60365 18446744073709551615 4194304 4196468 140725723792848 140116450515728 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8287] ppid=8274 vsize=26002768 CPUtime=0 cores=0-7 /proc/8277/task/8287/stat : 8287 (java) S 8274 8277 32125 0 -1 1077944384 199 0 0 0 0 0 0 0 20 0 20 0 16259112 26626834432 60365 18446744073709551615 4194304 4196468 140725723792848 140116449463184 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8288] ppid=8274 vsize=26002768 CPUtime=0 cores=0-7 /proc/8277/task/8288/stat : 8288 (java) S 8274 8277 32125 0 -1 1077944384 581 0 0 0 0 0 0 0 20 0 20 0 16259114 26626834432 60365 18446744073709551615 4194304 4196468 140725723792848 140116295051504 140116894644866 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8289] ppid=8274 vsize=26002768 CPUtime=0 cores=0-7 /proc/8277/task/8289/stat : 8289 (java) S 8274 8277 32125 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 16259114 26626834432 60365 18446744073709551615 4194304 4196468 140725723792848 140116293997792 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8290] ppid=8274 vsize=26002768 CPUtime=0 cores=0-7 /proc/8277/task/8290/stat : 8290 (java) S 8274 8277 32125 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 16259114 26626834432 60365 18446744073709551615 4194304 4196468 140725723792848 140116292944640 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8291] ppid=8274 vsize=26002768 CPUtime=0 cores=0-7 /proc/8277/task/8291/stat : 8291 (java) S 8274 8277 32125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 16259117 26626834432 60365 18446744073709551615 4194304 4196468 140725723792848 140116291893200 140116894652315 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8292] ppid=8274 vsize=26002768 CPUtime=0.85 cores=0-7 /proc/8277/task/8292/stat : 8292 (java) S 8274 8277 32125 0 -1 1077944384 4151 0 0 0 84 1 0 0 20 0 20 0 16259117 26626834432 60365 18446744073709551615 4194304 4196468 140725723792848 140116290841328 140116894644866 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8293] ppid=8274 vsize=26002768 CPUtime=0.75 cores=0-7 /proc/8277/task/8293/stat : 8293 (java) S 8274 8277 32125 0 -1 1077944384 3000 0 0 0 74 1 0 0 20 0 20 0 16259117 26626834432 60365 18446744073709551615 4194304 4196468 140725723792848 140116289788784 140116894644866 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8294] ppid=8274 vsize=26002768 CPUtime=0.57 cores=0-7 /proc/8277/task/8294/stat : 8294 (java) S 8274 8277 32125 0 -1 1077944384 2630 0 0 0 57 0 0 0 20 0 20 0 16259117 26626834432 60365 18446744073709551615 4194304 4196468 140725723792848 140116288735728 140116894644866 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8295] ppid=8274 vsize=26002768 CPUtime=0.69 cores=0-7 /proc/8277/task/8295/stat : 8295 (java) S 8274 8277 32125 0 -1 1077944384 6797 0 0 0 67 2 0 0 20 0 20 0 16259117 26626834432 60365 18446744073709551615 4194304 4196468 140725723792848 140116287683184 140116894644866 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8296] ppid=8274 vsize=26002768 CPUtime=0 cores=0-7 /proc/8277/task/8296/stat : 8296 (java) S 8274 8277 32125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 16259117 26626834432 60365 18446744073709551615 4194304 4196468 140725723792848 140116286630368 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8297] ppid=8274 vsize=26002768 CPUtime=0 cores=0-7 /proc/8277/task/8297/stat : 8297 (java) S 8274 8277 32125 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 16259121 26626834432 60365 18446744073709551615 4194304 4196468 140725723792848 140116285577904 140116894644866 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 Current children cumulated CPU time (s) 5.94 Current children cumulated vsize (KiB) 26002768 [startup+6.30211 s] /proc/loadavg: 8.47 8.67 8.16 13/223 8323 /proc/meminfo: memFree=31380316/32770624 swapFree=0/258864 [pid=8277] ppid=8274 vsize=27739612 CPUtime=23.65 cores=0-7 /proc/8277/stat : 8277 (java) S 8274 8277 32125 0 -1 1077944320 45269 0 0 0 2318 47 0 0 20 0 46 0 16259100 28405362688 119386 18446744073709551615 4194304 4196468 140725723792848 140725723775392 140116894633719 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 10 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 /proc/8277/statm: 6934903 119386 3803 1 0 6923164 0 [pid=8277/tid=8279] ppid=8274 vsize=27739612 CPUtime=3.98 cores=0-7 /proc/8277/task/8279/stat : 8279 (java) S 8274 8277 32125 0 -1 1077944384 16952 0 0 0 389 9 0 0 20 0 46 0 16259111 28405362688 119386 18446744073709551615 4194304 4196468 140725723792848 140116898871424 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8280] ppid=8274 vsize=27739612 CPUtime=0.1 cores=0-7 /proc/8277/task/8280/stat : 8280 (java) S 8274 8277 32125 0 -1 1077944384 116 0 0 0 8 2 0 0 20 0 46 0 16259112 28405362688 119386 18446744073709551615 4194304 4196468 140725723792848 140116456831504 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8281] ppid=8274 vsize=27739612 CPUtime=0.12 cores=0-7 /proc/8277/task/8281/stat : 8281 (java) S 8274 8277 32125 0 -1 1077944384 87 0 0 0 8 4 0 0 20 0 46 0 16259112 28405362688 119386 18446744073709551615 4194304 4196468 140725723792848 140116455778960 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8282] ppid=8274 vsize=27739612 CPUtime=0.08 cores=0-7 /proc/8277/task/8282/stat : 8282 (java) S 8274 8277 32125 0 -1 1077944384 62 0 0 0 6 2 0 0 20 0 46 0 16259112 28405362688 119386 18446744073709551615 4194304 4196468 140725723792848 140116454725904 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8283] ppid=8274 vsize=27739612 CPUtime=0.11 cores=0-7 /proc/8277/task/8283/stat : 8283 (java) S 8274 8277 32125 0 -1 1077944384 144 0 0 0 9 2 0 0 20 0 46 0 16259112 28405362688 119386 18446744073709551615 4194304 4196468 140725723792848 140116453673360 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8284] ppid=8274 vsize=27739612 CPUtime=0.12 cores=0-7 /proc/8277/task/8284/stat : 8284 (java) S 8274 8277 32125 0 -1 1077944384 86 0 0 0 8 4 0 0 20 0 46 0 16259112 28405362688 119386 18446744073709551615 4194304 4196468 140725723792848 140116452621328 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8285] ppid=8274 vsize=27739612 CPUtime=0.12 cores=0-7 /proc/8277/task/8285/stat : 8285 (java) S 8274 8277 32125 0 -1 1077944384 359 0 0 0 9 3 0 0 20 0 46 0 16259112 28405362688 119386 18446744073709551615 4194304 4196468 140725723792848 140116451568784 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8286] ppid=8274 vsize=27739612 CPUtime=0.1 cores=0-7 /proc/8277/task/8286/stat : 8286 (java) S 8274 8277 32125 0 -1 1077944384 95 0 0 0 8 2 0 0 20 0 46 0 16259112 28405362688 119386 18446744073709551615 4194304 4196468 140725723792848 140116450515728 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8287] ppid=8274 vsize=27739612 CPUtime=0.11 cores=0-7 /proc/8277/task/8287/stat : 8287 (java) S 8274 8277 32125 0 -1 1077944384 254 0 0 0 8 3 0 0 20 0 46 0 16259112 28405362688 119386 18446744073709551615 4194304 4196468 140725723792848 140116449463184 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8288] ppid=8274 vsize=27739612 CPUtime=0.02 cores=0-7 /proc/8277/task/8288/stat : 8288 (java) S 8274 8277 32125 0 -1 1077944384 806 0 0 0 2 0 0 0 20 0 46 0 16259114 28405362688 119386 18446744073709551615 4194304 4196468 140725723792848 140116295051504 140116894644866 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8289] ppid=8274 vsize=27739612 CPUtime=0 cores=0-7 /proc/8277/task/8289/stat : 8289 (java) S 8274 8277 32125 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 46 0 16259114 28405362688 119386 18446744073709551615 4194304 4196468 140725723792848 140116293997792 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8290] ppid=8274 vsize=27739612 CPUtime=0 cores=0-7 /proc/8277/task/8290/stat : 8290 (java) S 8274 8277 32125 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 46 0 16259114 28405362688 119386 18446744073709551615 4194304 4196468 140725723792848 140116292944640 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8291] ppid=8274 vsize=27739612 CPUtime=0 cores=0-7 /proc/8277/task/8291/stat : 8291 (java) S 8274 8277 32125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 46 0 16259117 28405362688 119386 18446744073709551615 4194304 4196468 140725723792848 140116291893200 140116894652315 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8292] ppid=8274 vsize=27739612 CPUtime=2.11 cores=0-7 /proc/8277/task/8292/stat : 8292 (java) S 8274 8277 32125 0 -1 1077944384 5651 0 0 0 209 2 0 0 20 0 46 0 16259117 28405362688 119386 18446744073709551615 4194304 4196468 140725723792848 140116290841328 140116894644866 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8293] ppid=8274 vsize=27739612 CPUtime=1.83 cores=0-7 /proc/8277/task/8293/stat : 8293 (java) S 8274 8277 32125 0 -1 1077944384 4786 0 0 0 182 1 0 0 20 0 46 0 16259117 28405362688 119386 18446744073709551615 4194304 4196468 140725723792848 140116289788784 140116894644866 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8294] ppid=8274 vsize=27739612 CPUtime=1.54 cores=0-7 /proc/8277/task/8294/stat : 8294 (java) S 8274 8277 32125 0 -1 1077944384 4888 0 0 0 153 1 0 0 20 0 46 0 16259117 28405362688 119386 18446744073709551615 4194304 4196468 140725723792848 140116288735728 140116894644866 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8295] ppid=8274 vsize=27739612 CPUtime=0.97 cores=0-7 /proc/8277/task/8295/stat : 8295 (java) S 8274 8277 32125 0 -1 1077944384 8349 0 0 0 94 3 0 0 20 0 46 0 16259117 28405362688 119386 18446744073709551615 4194304 4196468 140725723792848 140116287683184 140116894644866 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8296] ppid=8274 vsize=27739612 CPUtime=0 cores=0-7 ################ # More data... # ################ [pid=8277/tid=8296] ppid=8274 vsize=27739612 CPUtime=0 cores=0-7 /proc/8277/task/8296/stat : 8296 (java) S 8274 8277 32125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 16259117 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116286630368 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8297] ppid=8274 vsize=27739612 CPUtime=0.09 cores=0-7 /proc/8277/task/8297/stat : 8297 (java) S 8274 8277 32125 0 -1 1077944384 2322 0 0 0 2 7 0 0 20 0 46 0 16259121 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116285577904 140116894644866 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8298] ppid=8274 vsize=27739612 CPUtime=0 cores=0-7 /proc/8277/task/8298/stat : 8298 (java) S 8274 8277 32125 0 -1 1077944384 483 0 0 0 0 0 0 0 20 0 46 0 16259495 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116275290656 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8299] ppid=8274 vsize=27739612 CPUtime=0.74 cores=0-7 /proc/8277/task/8299/stat : 8299 (java) S 8274 8277 32125 0 -1 1077944384 6513 0 0 0 38 36 0 0 20 0 46 0 16259507 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116272141104 140116894644866 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8300] ppid=8274 vsize=27739612 CPUtime=236.59 cores=0-7 /proc/8277/task/8300/stat : 8300 (java) R 8274 8277 32125 0 -1 4202560 10203 0 0 0 23640 19 0 0 20 0 46 0 16259517 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116268985528 140116543519358 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8301] ppid=8274 vsize=27739612 CPUtime=236.9 cores=0-7 /proc/8277/task/8301/stat : 8301 (java) R 8274 8277 32125 0 -1 4202560 12173 0 0 0 23675 15 0 0 20 0 46 0 16259517 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116267934952 140116876039994 0 4 1 16800974 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8302] ppid=8274 vsize=27739612 CPUtime=236.93 cores=0-7 /proc/8277/task/8302/stat : 8302 (java) R 8274 8277 32125 0 -1 4202560 11449 0 0 0 23679 14 0 0 20 0 46 0 16259518 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116266881896 140116536999230 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8303] ppid=8274 vsize=27739612 CPUtime=236.61 cores=0-7 /proc/8277/task/8303/stat : 8303 (java) R 8274 8277 32125 0 -1 4202560 9973 0 0 0 23644 17 0 0 20 0 46 0 16259520 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116265830960 140116543926026 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8304] ppid=8274 vsize=27739612 CPUtime=0.07 cores=0-7 /proc/8277/task/8304/stat : 8304 (java) S 8274 8277 32125 0 -1 1077944384 90 0 0 0 7 0 0 0 20 0 46 0 16259520 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116264780944 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8305] ppid=8274 vsize=27739612 CPUtime=237.16 cores=0-7 /proc/8277/task/8305/stat : 8305 (java) R 8274 8277 32125 0 -1 4202560 12927 0 0 0 23699 17 0 0 20 0 46 0 16259520 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116263722288 140116543927308 0 4 1 16800974 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8306] ppid=8274 vsize=27739612 CPUtime=0 cores=0-7 /proc/8277/task/8306/stat : 8306 (java) S 8274 8277 32125 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 46 0 16259520 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116262675344 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8307] ppid=8274 vsize=27739612 CPUtime=237 cores=0-7 /proc/8277/task/8307/stat : 8307 (java) R 8274 8277 32125 0 -1 4202560 12399 0 0 0 23681 19 0 0 20 0 46 0 16259520 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116194479152 140116547547563 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8308] ppid=8274 vsize=27739612 CPUtime=236.79 cores=0-7 /proc/8277/task/8308/stat : 8308 (java) R 8274 8277 32125 0 -1 4202560 10348 0 0 0 23664 15 0 0 20 0 46 0 16259520 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116193429728 140116544151647 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8309] ppid=8274 vsize=27739612 CPUtime=0.08 cores=0-7 /proc/8277/task/8309/stat : 8309 (java) S 8274 8277 32125 0 -1 1077944384 101 0 0 0 8 0 0 0 20 0 46 0 16259520 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116192380688 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8310] ppid=8274 vsize=27739612 CPUtime=236.35 cores=0-7 /proc/8277/task/8310/stat : 8310 (java) R 8274 8277 32125 0 -1 4202560 10491 0 0 0 23617 18 0 0 20 0 46 0 16259520 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116191322736 140116543927919 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8311] ppid=8274 vsize=27739612 CPUtime=0 cores=0-7 /proc/8277/task/8311/stat : 8311 (java) S 8274 8277 32125 0 -1 1077944384 231 0 0 0 0 0 0 0 20 0 46 0 16259520 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116190275088 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8312] ppid=8274 vsize=27739612 CPUtime=0 cores=0-7 /proc/8277/task/8312/stat : 8312 (java) S 8274 8277 32125 0 -1 1077944384 204 0 0 0 0 0 0 0 20 0 46 0 16259551 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116187088016 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8313] ppid=8274 vsize=27739612 CPUtime=0 cores=0-7 /proc/8277/task/8313/stat : 8313 (java) S 8274 8277 32125 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 46 0 16259553 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116186035472 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8314] ppid=8274 vsize=27739612 CPUtime=0 cores=0-7 /proc/8277/task/8314/stat : 8314 (java) S 8274 8277 32125 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 46 0 16259556 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116184982416 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8315] ppid=8274 vsize=27739612 CPUtime=0 cores=0-7 /proc/8277/task/8315/stat : 8315 (java) S 8274 8277 32125 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 46 0 16259557 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116183929872 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8316] ppid=8274 vsize=27739612 CPUtime=0 cores=0-7 /proc/8277/task/8316/stat : 8316 (java) S 8274 8277 32125 0 -1 1077944384 175 0 0 0 0 0 0 0 20 0 46 0 16259559 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116182877840 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8317] ppid=8274 vsize=27739612 CPUtime=0 cores=0-7 /proc/8277/task/8317/stat : 8317 (java) S 8274 8277 32125 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 46 0 16259560 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116181825296 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8318] ppid=8274 vsize=27739612 CPUtime=0 cores=0-7 /proc/8277/task/8318/stat : 8318 (java) S 8274 8277 32125 0 -1 1077944384 168 0 0 0 0 0 0 0 20 0 46 0 16259562 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116180772240 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8319] ppid=8274 vsize=27739612 CPUtime=0 cores=0-7 /proc/8277/task/8319/stat : 8319 (java) S 8274 8277 32125 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 46 0 16259564 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116179719472 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8320] ppid=8274 vsize=27739612 CPUtime=0 cores=0-7 /proc/8277/task/8320/stat : 8320 (java) S 8274 8277 32125 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 46 0 16259566 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116178666640 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8321] ppid=8274 vsize=27739612 CPUtime=0 cores=0-7 /proc/8277/task/8321/stat : 8321 (java) S 8274 8277 32125 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 46 0 16259568 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116177614096 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8322] ppid=8274 vsize=27739612 CPUtime=0 cores=0-7 /proc/8277/task/8322/stat : 8322 (java) S 8274 8277 32125 0 -1 1077944384 174 0 0 0 0 0 0 0 20 0 46 0 16259571 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116176561040 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8323] ppid=8274 vsize=27739612 CPUtime=0 cores=0-7 /proc/8277/task/8323/stat : 8323 (java) S 8274 8277 32125 0 -1 1077944384 169 0 0 0 0 0 0 0 20 0 46 0 16259650 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116175508496 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 Current children cumulated CPU time (s) 1920.08 Current children cumulated vsize (KiB) 27739612 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 8277 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+244.902 s] /proc/loadavg: 8.59 8.82 8.35 9/221 8336 /proc/meminfo: memFree=29345080/32770624 swapFree=0/258932 [pid=8277] ppid=8274 vsize=27739612 CPUtime=1920.08 cores=0-7 /proc/8277/stat : 8277 (java) S 8274 8277 32125 0 -1 1077944320 253652 0 0 0 191777 231 0 0 20 0 46 0 16259100 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140725723775392 140116894633719 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 10 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 /proc/8277/statm: 6934903 588060 3811 1 0 6923164 0 [pid=8277/tid=8279] ppid=8274 vsize=27739612 CPUtime=3.98 cores=0-7 /proc/8277/task/8279/stat : 8279 (java) S 8274 8277 32125 0 -1 1077944384 16952 0 0 0 389 9 0 0 20 0 46 0 16259111 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116898871424 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8280] ppid=8274 vsize=27739612 CPUtime=1.71 cores=0-7 /proc/8277/task/8280/stat : 8280 (java) S 8274 8277 32125 0 -1 1077944384 8663 0 0 0 164 7 0 0 20 0 46 0 16259112 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116456831504 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8281] ppid=8274 vsize=27739612 CPUtime=1.68 cores=0-7 /proc/8277/task/8281/stat : 8281 (java) S 8274 8277 32125 0 -1 1077944384 11196 0 0 0 160 8 0 0 20 0 46 0 16259112 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116455778960 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8282] ppid=8274 vsize=27739612 CPUtime=1.69 cores=0-7 /proc/8277/task/8282/stat : 8282 (java) S 8274 8277 32125 0 -1 1077944384 10304 0 0 0 163 6 0 0 20 0 46 0 16259112 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116454725904 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8283] ppid=8274 vsize=27739612 CPUtime=1.69 cores=0-7 /proc/8277/task/8283/stat : 8283 (java) S 8274 8277 32125 0 -1 1077944384 7868 0 0 0 162 7 0 0 20 0 46 0 16259112 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116453673360 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8284] ppid=8274 vsize=27739612 CPUtime=1.7 cores=0-7 /proc/8277/task/8284/stat : 8284 (java) S 8274 8277 32125 0 -1 1077944384 8928 0 0 0 161 9 0 0 20 0 46 0 16259112 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116452621328 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8285] ppid=8274 vsize=27739612 CPUtime=1.7 cores=0-7 /proc/8277/task/8285/stat : 8285 (java) S 8274 8277 32125 0 -1 1077944384 10613 0 0 0 162 8 0 0 20 0 46 0 16259112 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116451568784 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8286] ppid=8274 vsize=27739612 CPUtime=1.66 cores=0-7 /proc/8277/task/8286/stat : 8286 (java) S 8274 8277 32125 0 -1 1077944384 9701 0 0 0 159 7 0 0 20 0 46 0 16259112 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116450515728 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8287] ppid=8274 vsize=27739612 CPUtime=1.68 cores=0-7 /proc/8277/task/8287/stat : 8287 (java) S 8274 8277 32125 0 -1 1077944384 10485 0 0 0 160 8 0 0 20 0 46 0 16259112 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116449463184 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8288] ppid=8274 vsize=27739612 CPUtime=0.38 cores=0-7 /proc/8277/task/8288/stat : 8288 (java) S 8274 8277 32125 0 -1 1077944384 21820 0 0 0 30 8 0 0 20 0 46 0 16259114 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116295051504 140116894644866 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8289] ppid=8274 vsize=27739612 CPUtime=0 cores=0-7 /proc/8277/task/8289/stat : 8289 (java) S 8274 8277 32125 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 46 0 16259114 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116293997792 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8290] ppid=8274 vsize=27739612 CPUtime=0 cores=0-7 /proc/8277/task/8290/stat : 8290 (java) S 8274 8277 32125 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 46 0 16259114 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116292944640 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8291] ppid=8274 vsize=27739612 CPUtime=0 cores=0-7 /proc/8277/task/8291/stat : 8291 (java) S 8274 8277 32125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 46 0 16259117 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116291893200 140116894652315 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8292] ppid=8274 vsize=27739612 CPUtime=2.18 cores=0-7 /proc/8277/task/8292/stat : 8292 (java) S 8274 8277 32125 0 -1 1077944384 8164 0 0 0 215 3 0 0 20 0 46 0 16259117 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116290841328 140116894644866 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8293] ppid=8274 vsize=27739612 CPUtime=1.87 cores=0-7 /proc/8277/task/8293/stat : 8293 (java) S 8274 8277 32125 0 -1 1077944384 8284 0 0 0 185 2 0 0 20 0 46 0 16259117 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116289788784 140116894644866 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8294] ppid=8274 vsize=27739612 CPUtime=1.55 cores=0-7 /proc/8277/task/8294/stat : 8294 (java) S 8274 8277 32125 0 -1 1077944384 5260 0 0 0 154 1 0 0 20 0 46 0 16259117 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116288735728 140116894644866 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8295] ppid=8274 vsize=27739612 CPUtime=1.03 cores=0-7 /proc/8277/task/8295/stat : 8295 (java) S 8274 8277 32125 0 -1 1077944384 12897 0 0 0 99 4 0 0 20 0 46 0 16259117 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116287683184 140116894644866 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8296] ppid=8274 vsize=27739612 CPUtime=0 cores=0-7 /proc/8277/task/8296/stat : 8296 (java) S 8274 8277 32125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 16259117 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116286630368 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8297] ppid=8274 vsize=27739612 CPUtime=0.09 cores=0-7 /proc/8277/task/8297/stat : 8297 (java) S 8274 8277 32125 0 -1 1077944384 2322 0 0 0 2 7 0 0 20 0 46 0 16259121 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116285577904 140116894644866 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8298] ppid=8274 vsize=27739612 CPUtime=0 cores=0-7 /proc/8277/task/8298/stat : 8298 (java) S 8274 8277 32125 0 -1 1077944384 483 0 0 0 0 0 0 0 20 0 46 0 16259495 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116275290656 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8299] ppid=8274 vsize=27739612 CPUtime=0.74 cores=0-7 /proc/8277/task/8299/stat : 8299 (java) S 8274 8277 32125 0 -1 1077944384 6513 0 0 0 38 36 0 0 20 0 46 0 16259507 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116272141104 140116894644866 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8300] ppid=8274 vsize=27739612 CPUtime=236.59 cores=0-7 /proc/8277/task/8300/stat : 8300 (java) R 8274 8277 32125 0 -1 4202560 10203 0 0 0 23640 19 0 0 20 0 46 0 16259517 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116268985528 140116543519358 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8301] ppid=8274 vsize=27739612 CPUtime=236.9 cores=0-7 /proc/8277/task/8301/stat : 8301 (java) R 8274 8277 32125 0 -1 4202560 12173 0 0 0 23675 15 0 0 20 0 46 0 16259517 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116267934952 140116876039994 0 4 1 16800974 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8302] ppid=8274 vsize=27739612 CPUtime=236.93 cores=0-7 /proc/8277/task/8302/stat : 8302 (java) R 8274 8277 32125 0 -1 4202560 11449 0 0 0 23679 14 0 0 20 0 46 0 16259518 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116266881896 140116536999230 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8303] ppid=8274 vsize=27739612 CPUtime=236.61 cores=0-7 /proc/8277/task/8303/stat : 8303 (java) R 8274 8277 32125 0 -1 4202560 9973 0 0 0 23644 17 0 0 20 0 46 0 16259520 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116265830960 140116543926026 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8304] ppid=8274 vsize=27739612 CPUtime=0.07 cores=0-7 /proc/8277/task/8304/stat : 8304 (java) S 8274 8277 32125 0 -1 1077944384 90 0 0 0 7 0 0 0 20 0 46 0 16259520 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116264780944 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8305] ppid=8274 vsize=27739612 CPUtime=237.16 cores=0-7 /proc/8277/task/8305/stat : 8305 (java) R 8274 8277 32125 0 -1 4202560 12927 0 0 0 23699 17 0 0 20 0 46 0 16259520 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116263722288 140116543927308 0 4 1 16800974 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8306] ppid=8274 vsize=27739612 CPUtime=0 cores=0-7 /proc/8277/task/8306/stat : 8306 (java) S 8274 8277 32125 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 46 0 16259520 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116262675344 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8307] ppid=8274 vsize=27739612 CPUtime=237 cores=0-7 /proc/8277/task/8307/stat : 8307 (java) R 8274 8277 32125 0 -1 4202560 12399 0 0 0 23681 19 0 0 20 0 46 0 16259520 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116194479152 140116547547563 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8308] ppid=8274 vsize=27739612 CPUtime=236.79 cores=0-7 /proc/8277/task/8308/stat : 8308 (java) R 8274 8277 32125 0 -1 4202560 10348 0 0 0 23664 15 0 0 20 0 46 0 16259520 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116193429728 140116544151647 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8309] ppid=8274 vsize=27739612 CPUtime=0.08 cores=0-7 /proc/8277/task/8309/stat : 8309 (java) S 8274 8277 32125 0 -1 1077944384 101 0 0 0 8 0 0 0 20 0 46 0 16259520 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116192380688 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8310] ppid=8274 vsize=27739612 CPUtime=236.35 cores=0-7 /proc/8277/task/8310/stat : 8310 (java) R 8274 8277 32125 0 -1 4202560 10491 0 0 0 23617 18 0 0 20 0 46 0 16259520 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116191322736 140116543927919 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8311] ppid=8274 vsize=27739612 CPUtime=0 cores=0-7 /proc/8277/task/8311/stat : 8311 (java) S 8274 8277 32125 0 -1 1077944384 231 0 0 0 0 0 0 0 20 0 46 0 16259520 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116190275088 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8312] ppid=8274 vsize=27739612 CPUtime=0 cores=0-7 /proc/8277/task/8312/stat : 8312 (java) S 8274 8277 32125 0 -1 1077944384 204 0 0 0 0 0 0 0 20 0 46 0 16259551 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116187088016 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8313] ppid=8274 vsize=27739612 CPUtime=0 cores=0-7 /proc/8277/task/8313/stat : 8313 (java) S 8274 8277 32125 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 46 0 16259553 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116186035472 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8314] ppid=8274 vsize=27739612 CPUtime=0 cores=0-7 /proc/8277/task/8314/stat : 8314 (java) S 8274 8277 32125 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 46 0 16259556 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116184982416 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8315] ppid=8274 vsize=27739612 CPUtime=0 cores=0-7 /proc/8277/task/8315/stat : 8315 (java) S 8274 8277 32125 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 46 0 16259557 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116183929872 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8316] ppid=8274 vsize=27739612 CPUtime=0 cores=0-7 /proc/8277/task/8316/stat : 8316 (java) S 8274 8277 32125 0 -1 1077944384 175 0 0 0 0 0 0 0 20 0 46 0 16259559 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116182877840 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8317] ppid=8274 vsize=27739612 CPUtime=0 cores=0-7 /proc/8277/task/8317/stat : 8317 (java) S 8274 8277 32125 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 46 0 16259560 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116181825296 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8318] ppid=8274 vsize=27739612 CPUtime=0 cores=0-7 /proc/8277/task/8318/stat : 8318 (java) S 8274 8277 32125 0 -1 1077944384 168 0 0 0 0 0 0 0 20 0 46 0 16259562 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116180772240 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8319] ppid=8274 vsize=27739612 CPUtime=0 cores=0-7 /proc/8277/task/8319/stat : 8319 (java) S 8274 8277 32125 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 46 0 16259564 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116179719472 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8320] ppid=8274 vsize=27739612 CPUtime=0 cores=0-7 /proc/8277/task/8320/stat : 8320 (java) S 8274 8277 32125 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 46 0 16259566 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116178666640 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8321] ppid=8274 vsize=27739612 CPUtime=0 cores=0-7 /proc/8277/task/8321/stat : 8321 (java) S 8274 8277 32125 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 46 0 16259568 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116177614096 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8322] ppid=8274 vsize=27739612 CPUtime=0 cores=0-7 /proc/8277/task/8322/stat : 8322 (java) S 8274 8277 32125 0 -1 1077944384 174 0 0 0 0 0 0 0 20 0 46 0 16259571 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116176561040 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 [pid=8277/tid=8323] ppid=8274 vsize=27739612 CPUtime=0 cores=0-7 /proc/8277/task/8323/stat : 8323 (java) S 8274 8277 32125 0 -1 1077944384 169 0 0 0 0 0 0 0 20 0 46 0 16259650 28405362688 588060 18446744073709551615 4194304 4196468 140725723792848 140116175508496 140116894643925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20873216 140725723795856 140725723796040 140725723796040 140725723799503 0 Current children cumulated CPU time (s) 1920.08 Current children cumulated vsize (KiB) 27739612 Child status: 143 Real time (s): 245.006 CPU time (s): 1920.77 CPU user time (s): 1918.44 CPU system time (s): 2.33238 CPU usage (%): 783.97 Max. virtual memory (cumulated for all children) (KiB): 27739612 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1918.44 system time used= 2.33238 maximum resident set size= 2353292 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 255649 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= 54676 involuntary context switches= 41155 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.30031 second user time and 2.56489 second system time The end
Begin job on node133 at 2017-08-02 16:19:51 IDJOB=4257355 IDBENCH=124459 IDSOLVER=2641 FILE ID=node133/4257355-1501684438 RUNJOBID= node133-1501676554-32181 PBS_JOBID= Free space on /tmp= 61864 MiB SOLVER NAME= OscaR - Parallel with EPS 2017-07-26 BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n34-k5.xml COMMAND LINE= java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4257355-1501684438/watcher-4257355-1501684438 -o /tmp/evaluation-result-4257355-1501684438/solver-4257355-1501684438 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node133-1501676554-32181 --watchdog 324 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 213679363 --timelimit 1920 --memlimit 22000 --nbcore 8 HOME/instance-4257355-1501684438.xml TIME LIMIT= 1920 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 72c979ceab0684897cea6dc90bd0dbab RANDOM SEED=213679363 node133.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.17 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.17 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.17 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.17 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: 31690212 kB MemAvailable: 32002616 kB Buffers: 143464 kB Cached: 456296 kB SwapCached: 0 kB Active: 386236 kB Inactive: 275568 kB Active(anon): 62564 kB Inactive(anon): 16728 kB Active(file): 323672 kB Inactive(file): 258840 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42312 kB Writeback: 0 kB AnonPages: 49840 kB Mapped: 31056 kB Shmem: 17084 kB Slab: 117504 kB SReclaimable: 91456 kB SUnreclaim: 26048 kB KernelStack: 3264 kB PageTables: 4688 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 286384 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 132480 kB DirectMap2M: 33413120 kB Free space on /tmp at the end= 61820 MiB End job on node133 at 2017-08-02 16:23:56