Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
OscaR - Parallel with EPS 2017-07-26 | SAT (TO) | 564 | 19967.801 | 2520.1399 |
Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-057.xml |
MD5SUM | d88ca393bf757462df4053a6ee529819 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 388 |
Best CPU time to get the best result obtained on this benchmark | 2400.09 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 3305 |
Number of constraints | 1708 |
Number of domains | 113 |
Minimum domain size | 2 |
Maximum domain size | 113 |
Distribution of domain sizes | [{"size":2,"count":1654},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":65,"count":1}, {"size":67,"count":1}, {"size":69,"count":1}, {"size":71,"count":1}, {"size":73,"count":1}, {"size":75,"count":1}, {"size":77,"count":1}, {"size":79,"count":1}, {"size":81,"count":1}, {"size":83,"count":1}, {"size":85,"count":1}, {"size":87,"count":1}, {"size":89,"count":1}, {"size":91,"count":1}, {"size":93,"count":1}, {"size":95,"count":1}, {"size":97,"count":1}, {"size":99,"count":1}, {"size":101,"count":1}, {"size":103,"count":1}, {"size":105,"count":1}, {"size":107,"count":1}, {"size":109,"count":1}, {"size":111,"count":1}, {"size":113,"count":1}] |
Minimum variable degree | 0 |
Maximum variable degree | 56 |
Distribution of variable degrees | [{"degree":0,"count":1540},{"degree":2,"count":1708},{"degree":56,"count":57}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 57 |
Distribution of constraint arities | [{"arity":2,"count":57},{"arity":3,"count":1597},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},"...",{"arity":33,"count":1}, {"arity":34,"count":1}, {"arity":35,"count":1}, {"arity":36,"count":1}, {"arity":37,"count":1}, {"arity":38,"count":1}, {"arity":39,"count":1}, {"arity":40,"count":1}, {"arity":41,"count":1}, {"arity":42,"count":1}, {"arity":43,"count":1}, {"arity":44,"count":1}, {"arity":45,"count":1}, {"arity":46,"count":1}, {"arity":47,"count":1}, {"arity":48,"count":1}, {"arity":49,"count":1}, {"arity":50,"count":1}, {"arity":51,"count":1}, {"arity":52,"count":1}, {"arity":53,"count":1}, {"arity":54,"count":1}, {"arity":55,"count":1}, {"arity":56,"count":1}, {"arity":57,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 1652 |
Distribution of constraint types | [{"type":"intension","count":1652},{"type":"sum","count":56}] |
Optimization problem | YES |
Type of objective | min SUM |
0.29/0.25 c version: 2017-07-26 0.29/0.25 c seed: 1321832766 0.29/0.25 c timeout: 20160 0.29/0.25 c memlimit: 11000 0.29/0.25 c nbcore: 8 0.29/0.28 c Parsing instance... 2.56/0.92 c Parsing done, starting search... 11.44/3.82 o 31712 11.44/3.82 o 26840 11.44/3.82 o 15160 11.44/3.83 o 12480 11.44/3.88 o 10180 11.44/3.90 o 10056 11.44/3.90 o 10004 11.44/3.90 o 8016 12.13/3.92 o 7472 12.13/3.94 o 6096 12.13/3.94 o 4824 12.13/3.96 o 4712 12.13/3.97 o 3564 12.98/4.09 o 3532 13.77/4.11 o 2700 14.47/4.20 o 2264 15.26/4.36 o 1788 18.41/4.71 o 1688 18.41/4.72 o 1632 18.41/4.72 o 1588 18.41/4.74 o 1556 22.35/5.22 o 1528 22.35/5.26 o 1524 23.15/5.31 o 1480 23.15/5.32 o 1448 27.11/5.89 o 1436 27.11/5.89 o 1336 27.90/5.91 o 1320 27.90/5.93 o 1296 27.90/5.94 o 1264 27.90/5.94 o 1168 40.58/7.57 o 1152 40.58/7.57 o 1124 40.58/7.58 o 1108 59.66/9.99 o 1056 59.66/10.00 o 1044 61.44/10.19 o 932 140.16/20.04 o 920 140.97/20.12 o 900 140.97/20.14 o 848 162.42/22.87 o 804 163.19/22.94 o 800 163.19/22.95 o 772 163.19/22.99 o 768 164.83/23.19 o 752 166.36/23.33 o 708 166.36/23.33 o 704 635.06/82.14 o 692 922.55/118.28 o 660 1198.74/153.07 o 608 2359.20/299.64 o 604 3907.51/494.63 o 600 5209.80/658.57 o 596 6116.49/772.69 o 576 7572.98/955.92 o 564 19966.81/2520.09 s SATISFIABLE 19966.81/2520.11 v <instantiation> 19966.81/2520.11 v <list> 19966.81/2520.11 v x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[0][39] y[0][40] y[0][41] y[0][42] y[0][43] y[0][44] y[0][45] y[0][46] y[0][47] y[0][48] y[0][49] y[0][50] y[0][51] y[0][52] y[0][53] y[0][54] y[0][55] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[1][38] y[1][39] y[1][40] y[1][41] y[1][42] y[1][43] y[1][44] y[1][45] y[1][46] y[1][47] y[1][48] y[1][49] y[1][50] y[1][51] y[1][52] y[1][53] y[1][54] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[2][37] y[2][38] y[2][39] y[2][40] y[2][41] y[2][42] y[2][43] y[2][44] y[2][45] y[2][46] y[2][47] y[2][48] y[2][49] y[2][50] y[2][51] y[2][52] y[2][53] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[3][36] y[3][37] y[3][38] y[3][39] y[3][40] y[3][41] y[3][42] y[3][43] y[3][44] y[3][45] y[3][46] y[3][47] y[3][48] y[3][49] y[3][50] y[3][51] y[3][52] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[4][35] y[4][36] y[4][37] y[4][38] y[4][39] y[4][40] y[4][41] y[4][42] y[4][43] y[4][44] y[4][45] y[4][46] y[4][47] y[4][48] y[4][49] y[4][50] y[4][51] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][30] y[5][31] y[5][32] y[5][33] y[5][34] y[5][35] y[5][36] y[5][37] y[5][38] y[5][39] y[5][40] y[5][41] y[5][42] y[5][43] y[5][44] y[5][45] y[5][46] y[5][47] y[5][48] y[5][49] y[5][50] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][30] y[6][31] y[6][32] y[6][33] y[6][34] y[6][35] y[6][36] y[6][37] y[6][38] y[6][39] y[6][40] y[6][41] y[6][42] y[6][43] y[6][44] y[6][45] y[6][46] y[6][47] y[6][48] y[6][49] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][30] y[7][31] y[7][32] y[7][33] y[7][34] y[7][35] y[7][36] y[7][37] y[7][38] y[7][39] y[7][40] y[7][41] y[7][42] y[7][43] y[7][44] y[7][45] y[7][46] y[7][47] y[7][48] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][30] y[8][31] y[8][32] y[8][33] y[8][34] y[8][35] y[8][36] y[8][37] y[8][38] y[8][39] y[8][40] y[8][41] y[8][42] y[8][43] y[8][44] y[8][45] y[8][46] y[8][47] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][30] y[9][31] y[9][32] y[9][33] y[9][34] y[9][35] y[9][36] y[9][37] y[9][38] y[9][39] y[9][40] y[9][41] y[9][42] y[9][43] y[9][44] y[9][45] y[9][46] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][30] y[10][31] y[10][32] y[10][33] y[10][34] y[10][35] y[10][36] y[10][37] y[10][38] y[10][39] y[10][40] y[10][41] y[10][42] y[10][43] y[10][44] y[10][45] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[11][30] y[11][31] y[11][32] y[11][33] y[11][34] y[11][35] y[11][36] y[11][37] y[11][38] y[11][39] y[11][40] y[11][41] y[11][42] y[11][43] y[11][44] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[12][29] y[12][30] y[12][31] y[12][32] y[12][33] y[12][34] y[12][35] y[12][36] y[12][37] y[12][38] y[12][39] y[12][40] y[12][41] y[12][42] y[12][43] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[13][28] y[13][29] y[13][30] y[13][31] y[13][32] y[13][33] y[13][34] y[13][35] y[13][36] y[13][37] y[13][38] y[13][39] y[13][40] y[13][41] y[13][42] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[14][27] y[14][28] y[14][29] y[14][30] y[14][31] y[14][32] y[14][33] y[14][34] y[14][35] y[14][36] y[14][37] y[14][38] y[14][39] y[14][40] y[14][41] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[15][26] y[15][27] y[15][28] y[15][29] y[15][30] y[15][31] y[15][32] y[15][33] y[15][34] y[15][35] y[15][36] y[15][37] y[15][38] y[15][39] y[15][40] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[16][26] y[16][27] y[16][28] y[16][29] y[16][30] y[16][31] y[16][32] y[16][33] y[16][34] y[16][35] y[16][36] y[16][37] y[16][38] y[16][39] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[17][28] y[17][29] y[17][30] y[17][31] y[17][32] y[17][33] y[17][34] y[17][35] y[17][36] y[17][37] y[17][38] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[18][28] y[18][29] y[18][30] y[18][31] y[18][32] y[18][33] y[18][34] y[18][35] y[18][36] y[18][37] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[19][28] y[19][29] y[19][30] y[19][31] y[19][32] y[19][33] y[19][34] y[19][35] y[19][36] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][20] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[20][28] y[20][29] y[20][30] y[20][31] y[20][32] y[20][33] y[20][34] y[20][35] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[21][28] y[21][29] y[21][30] y[21][31] y[21][32] y[21][33] y[21][34] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[22][19] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[22][25] y[22][26] y[22][27] y[22][28] y[22][29] y[22][30] y[22][31] y[22][32] y[22][33] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[23][18] y[23][19] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[23][25] y[23][26] y[23][27] y[23][28] y[23][29] y[23][30] y[23][31] y[23][32] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[24][17] y[24][18] y[24][19] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] y[24][25] y[24][26] y[24][27] y[24][28] y[24][29] y[24][30] y[24][31] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[25][16] y[25][17] y[25][18] y[25][19] y[25][20] y[25][21] y[25][22] y[25][23] y[25][24] y[25][25] y[25][26] y[25][27] y[25][28] y[25][29] y[25][30] y[26][0] y[26][1] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[26][15] y[26][16] y[26][17] y[26][18] y[26][19] y[26][20] y[26][21] y[26][22] y[26][23] y[26][24] y[26][25] y[26][26] y[26][27] y[26][28] y[26][29] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[27][10] y[27][11] y[27][12] y[27][13] y[27][14] y[27][15] y[27][16] y[27][17] y[27][18] y[27][19] y[27][20] y[27][21] y[27][22] y[27][23] y[27][24] y[27][25] y[27][26] y[27][27] y[27][28] y[28][0] y[28][1] y[28][2] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[28][10] y[28][11] y[28][12] y[28][13] y[28][14] y[28][15] y[28][16] y[28][17] y[28][18] y[28][19] y[28][20] y[28][21] y[28][22] y[28][23] y[28][24] y[28][25] y[28][26] y[28][27] y[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[29][10] y[29][11] y[29][12] y[29][13] y[29][14] y[29][15] y[29][16] y[29][17] y[29][18] y[29][19] y[29][20] y[29][21] y[29][22] y[29][23] y[29][24] y[29][25] y[29][26] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[30][9] y[30][10] y[30][11] y[30][12] y[30][13] y[30][14] y[30][15] y[30][16] y[30][17] y[30][18] y[30][19] y[30][20] y[30][21] y[30][22] y[30][23] y[30][24] y[30][25] y[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[31][8] y[31][9] y[31][10] y[31][11] y[31][12] y[31][13] y[31][14] y[31][15] y[31][16] y[31][17] y[31][18] y[31][19] y[31][20] y[31][21] y[31][22] y[31][23] y[31][24] y[32][0] y[32][1] y[32][2] y[32][3] y[32][4] y[32][5] y[32][6] y[32][7] y[32][8] y[32][9] y[32][10] y[32][11] y[32][12] y[32][13] y[32][14] y[32][15] y[32][16] y[32][17] y[32][18] y[32][19] y[32][20] y[32][21] y[32][22] y[32][23] y[33][0] y[33][1] y[33][2] y[33][3] y[33][4] y[33][5] y[33][6] y[33][7] y[33][8] y[33][9] y[33][10] y[33][11] y[33][12] y[33][13] y[33][14] y[33][15] y[33][16] y[33][17] y[33][18] y[33][19] y[33][20] y[33][21] y[33][22] y[34][0] y[34][1] y[34][2] y[34][3] y[34][4] y[34][5] y[34][6] y[34][7] y[34][8] y[34][9] y[34][10] y[34][11] y[34][12] y[34][13] y[34][14] y[34][15] y[34][16] y[34][17] y[34][18] y[34][19] y[34][20] y[34][21] y[35][0] y[35][1] y[35][2] y[35][3] y[35][4] y[35][5] y[35][6] y[35][7] y[35][8] y[35][9] y[35][10] y[35][11] y[35][12] y[35][13] y[35][14] y[35][15] y[35][16] y[35][17] y[35][18] y[35][19] y[35][20] y[36][0] y[36][1] y[36][2] y[36][3] y[36][4] y[36][5] y[36][6] y[36][7] y[36][8] y[36][9] y[36][10] y[36][11] y[36][12] y[36][13] y[36][14] y[36][15] y[36][16] y[36][17] y[36][18] y[36][19] y[37][0] y[37][1] y[37][2] y[37][3] y[37][4] y[37][5] y[37][6] y[37][7] y[37][8] y[37][9] y[37][10] y[37][11] y[37][12] y[37][13] y[37][14] y[37][15] y[37][16] y[37][17] y[37][18] y[38][0] y[38][1] y[38][2] y[38][3] y[38][4] y[38][5] y[38][6] y[38][7] y[38][8] y[38][9] y[38][10] y[38][11] y[38][12] y[38][13] y[38][14] y[38][15] y[38][16] y[38][17] y[39][0] y[39][1] y[39][2] y[39][3] y[39][4] y[39][5] y[39][6] y[39][7] y[39][8] y[39][9] y[39][10] y[39][11] y[39][12] y[39][13] y[39][14] y[39][15] y[39][16] y[40][0] y[40][1] y[40][2] y[40][3] y[40][4] y[40][5] y[40][6] y[40][7] y[40][8] y[40][9] y[40][10] y[40][11] y[40][12] y[40][13] y[40][14] y[40][15] y[41][0] y[41][1] y[41][2] y[41][3] y[41][4] y[41][5] y[41][6] y[41][7] y[41][8] y[41][9] y[41][10] y[41][11] y[41][12] y[41][13] y[41][14] y[42][0] y[42][1] y[42][2] y[42][3] y[42][4] y[42][5] y[42][6] y[42][7] y[42][8] y[42][9] y[42][10] y[42][11] y[42][12] y[42][13] y[43][0] y[43][1] y[43][2] y[43][3] y[43][4] y[43][5] y[43][6] y[43][7] y[43][8] y[43][9] y[43][10] y[43][11] y[43][12] y[44][0] y[44][1] y[44][2] y[44][3] y[44][4] y[44][5] y[44][6] y[44][7] y[44][8] y[44][9] y[44][10] y[44][11] y[45][0] y[45][1] y[45][2] y[45][3] y[45][4] y[45][5] y[45][6] y[45][7] y[45][8] y[45][9] y[45][10] y[46][0] y[46][1] y[46][2] y[46][3] y[46][4] y[46][5] y[46][6] y[46][7] y[46][8] y[46][9] y[47][0] y[47][1] y[47][2] y[47][3] y[47][4] y[47][5] y[47][6] y[47][7] y[47][8] y[48][0] y[48][1] y[48][2] y[48][3] y[48][4] y[48][5] y[48][6] y[48][7] y[49][0] y[49][1] y[49][2] y[49][3] y[49][4] y[49][5] y[49][6] y[50][0] y[50][1] y[50][2] y[50][3] y[50][4] y[50][5] y[51][0] y[51][1] y[51][2] y[51][3] y[51][4] y[52][0] y[52][1] y[52][2] y[52][3] y[53][0] y[53][1] y[53][2] y[54][0] y[54][1] y[55][0] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] s[54] s[55] 19966.81/2520.12 v </list> 19966.81/2520.12 v <values> 19966.81/2520.12 v 1 1 1 1 1 1 1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 1 1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 1 1 1 -1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 1 1 1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 1 1 -1 1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 1 -1 1 -1 1 1 1 1 1 1 -1 -1 -1 1 1 -1 1 1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 1 -1 -1 1 1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 1 1 1 -1 -1 -1 1 1 1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 1 1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 1 1 -1 1 -1 1 1 1 1 1 1 1 1 1 1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 1 -1 1 -1 1 -1 1 1 1 1 1 -1 1 1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 1 1 1 -1 1 1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 1 1 1 -1 -1 1 1 -1 1 1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 1 1 1 -1 1 1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 1 1 1 1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 1 -1 1 1 1 1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 1 1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 1 1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 1 1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 1 1 1 1 -1 -1 -1 1 1 -1 1 -1 1 1 1 -1 1 -1 1 1 -1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 1 1 -1 1 1 1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 1 1 1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 -1 1 1 1 1 1 1 -1 1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 1 1 1 -1 1 1 1 -1 1 1 -1 -1 -1 1 -1 1 1 1 -1 1 1 1 1 -1 -1 1 -1 -1 1 1 -1 1 1 1 -1 1 -1 1 1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 1 -1 1 1 1 -1 1 1 -1 1 -1 1 1 1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 1 1 1 1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 1 1 -1 1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 1 -1 -1 1 1 1 -1 1 1 -1 1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 1 -1 1 1 1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 1 1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 1 1 1 1 1 -1 -1 1 -1 1 1 1 1 1 1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 4 3 -2 5 4 3 2 3 0 -1 0 -3 0 3 -2 1 0 3 -2 -5 0 1 6 3 6 -1 6 5 -4 -1 -2 3 2 -1 0 -3 2 -1 2 1 0 -1 2 1 0 1 2 5 6 7 6 5 4 3 2 1 16 9 4 25 16 9 4 9 0 1 0 9 0 9 4 1 0 9 4 25 0 1 36 9 36 1 36 25 16 1 4 9 4 1 0 9 4 1 4 1 0 1 4 1 0 1 4 25 36 49 36 25 16 9 4 1 19966.81/2520.12 v </values> 19966.81/2520.12 v </instantiation>
OK 564
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (11584 MiB free) memory of node 1: 16384 MiB (14880 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4275029-1502738825/watcher-4275029-1502738825 -o /tmp/evaluation-result-4275029-1502738825/solver-4275029-1502738825 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1502730400-1596 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1321832766 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275029-1502738825.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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 Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=2098, runsolver pid=2095 [startup+0.10013 s]* /proc/loadavg: 8.20 8.69 8.80 2/199 2119 /proc/meminfo: memFree=27082652/32770624 swapFree=67108860/67108860 [pid=2098] ppid=2095 vsize=14325320 memory=33016 CPUtime=0.12 cores=0-7 /proc/2098/stat : 2098 (java) S 2095 2098 1569 0 -1 1077944320 8161 0 0 0 11 1 0 0 20 0 20 0 106963603 14669127680 8254 33554432000 4194304 4196468 140728792810256 140728792792800 139926097895159 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 /proc/2098/statm: 3581330 8254 3404 1 0 3569050 0 [pid=2098/tid=2100] ppid=2095 vsize=14325320 memory=1399051139730258233 CPUtime=0.09 cores=0-7 /proc/2098/task/2100/stat : 2100 (java) R 2095 2098 1569 0 -1 4202560 6093 0 0 0 8 1 0 0 20 0 20 0 106963604 14669127680 8254 33554432000 4194304 4196468 140728792810256 139926102111840 139926081975646 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2101] ppid=2095 vsize=14325320 memory=3677534773662714415 CPUtime=0 cores=0-7 /proc/2098/task/2101/stat : 2101 (java) S 2095 2098 1569 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106963605 14669127680 8254 33554432000 4194304 4196468 140728792810256 139926012963728 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2102] ppid=2095 vsize=14325320 memory=140265733346944 CPUtime=0 cores=0-7 /proc/2098/task/2102/stat : 2102 (java) S 2095 2098 1569 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 106963605 14669127680 8254 33554432000 4194304 4196468 140728792810256 139926011910928 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2103] ppid=2095 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/2098/task/2103/stat : 2103 (java) S 2095 2098 1569 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106963605 14669127680 8254 33554432000 4194304 4196468 140728792810256 139926010858640 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2104] ppid=2095 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/2098/task/2104/stat : 2104 (java) S 2095 2098 1569 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106963605 14669127680 8254 33554432000 4194304 4196468 140728792810256 139926009805840 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2105] ppid=2095 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/2098/task/2105/stat : 2105 (java) S 2095 2098 1569 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106963605 14669127680 8254 33554432000 4194304 4196468 140728792810256 139925689198992 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2106] ppid=2095 vsize=14325320 memory=-1 CPUtime=0 cores=0-7 /proc/2098/task/2106/stat : 2106 (java) S 2095 2098 1569 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106963605 14669127680 8254 33554432000 4194304 4196468 140728792810256 139925688146192 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2107] ppid=2095 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/2098/task/2107/stat : 2107 (java) S 2095 2098 1569 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106963605 14669127680 8254 33554432000 4194304 4196468 140728792810256 139925687093904 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2108] ppid=2095 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/2098/task/2108/stat : 2108 (java) S 2095 2098 1569 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106963605 14669127680 8254 33554432000 4194304 4196468 140728792810256 139925686041104 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2109] ppid=2095 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/2098/task/2109/stat : 2109 (java) S 2095 2098 1569 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106963606 14669127680 8254 33554432000 4194304 4196468 140728792810256 139925421197936 139926097906306 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2110] ppid=2095 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/2098/task/2110/stat : 2110 (java) S 2095 2098 1569 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 106963606 14669127680 8254 33554432000 4194304 4196468 140728792810256 139925420143904 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2112] ppid=2095 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/2098/task/2112/stat : 2112 (java) S 2095 2098 1569 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 106963607 14669127680 8254 33554432000 4194304 4196468 140728792810256 139925419091568 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2113] ppid=2095 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/2098/task/2113/stat : 2113 (java) S 2095 2098 1569 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106963609 14669127680 8254 33554432000 4194304 4196468 140728792810256 139925418039888 139926097913755 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2114] ppid=2095 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/2098/task/2114/stat : 2114 (java) S 2095 2098 1569 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 106963609 14669127680 8254 33554432000 4194304 4196468 140728792810256 139925416986736 139926097906306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2115] ppid=2095 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/2098/task/2115/stat : 2115 (java) S 2095 2098 1569 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 106963609 14669127680 8254 33554432000 4194304 4196468 140728792810256 139925415933936 139926097906306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2116] ppid=2095 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/2098/task/2116/stat : 2116 (java) S 2095 2098 1569 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 106963609 14669127680 8254 33554432000 4194304 4196468 140728792810256 139925414881648 139926097906306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2117] ppid=2095 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7 /proc/2098/task/2117/stat : 2117 (java) S 2095 2098 1569 0 -1 1077944384 387 0 0 0 1 0 0 0 20 0 20 0 106963609 14669127680 8254 33554432000 4194304 4196468 140728792810256 139925413828848 139926097906306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2118] ppid=2095 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/2098/task/2118/stat : 2118 (java) S 2095 2098 1569 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 106963609 14669127680 8254 33554432000 4194304 4196468 140728792810256 139925412776800 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2119] ppid=2095 vsize=14325320 memory=-1 CPUtime=0 cores=0-7 /proc/2098/task/2119/stat : 2119 (java) S 2095 2098 1569 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106963609 14669127680 8254 33554432000 4194304 4196468 140728792810256 139925411724080 139926097906306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 14325320 KiB Current children cumulated memory: 33016 KiB [startup+0.210524 s]* /proc/loadavg: 8.20 8.69 8.80 3/199 2119 /proc/meminfo: memFree=27072656/32770624 swapFree=67108860/67108860 [pid=2098] ppid=2095 vsize=14325320 memory=42356 CPUtime=0.29 cores=0-7 /proc/2098/stat : 2098 (java) S 2095 2098 1569 0 -1 1077944320 9231 0 0 0 27 2 0 0 20 0 20 0 106963603 14669127680 10589 33554432000 4194304 4196468 140728792810256 140728792792800 139926097895159 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 /proc/2098/statm: 3581330 10589 3600 1 0 3569050 0 [pid=2098/tid=2100] ppid=2095 vsize=14325320 memory=32758254098972862 CPUtime=0.19 cores=0-7 /proc/2098/task/2100/stat : 2100 (java) R 2095 2098 1569 0 -1 4202560 6772 0 0 0 18 1 0 0 20 0 20 0 106963604 14669127680 10589 33554432000 4194304 4196468 140728792810256 139926102120240 139926081975646 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2101] ppid=2095 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/2098/task/2101/stat : 2101 (java) S 2095 2098 1569 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106963605 14669127680 10589 33554432000 4194304 4196468 140728792810256 139926012963728 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2102] ppid=2095 vsize=14325320 memory=140265733369326 CPUtime=0 cores=0-7 /proc/2098/task/2102/stat : 2102 (java) S 2095 2098 1569 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 106963605 14669127680 10589 33554432000 4194304 4196468 140728792810256 139926011910928 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2103] ppid=2095 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/2098/task/2103/stat : 2103 (java) S 2095 2098 1569 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106963605 14669127680 10589 33554432000 4194304 4196468 140728792810256 139926010858640 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2104] ppid=2095 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/2098/task/2104/stat : 2104 (java) S 2095 2098 1569 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106963605 14669127680 10589 33554432000 4194304 4196468 140728792810256 139926009805840 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2105] ppid=2095 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/2098/task/2105/stat : 2105 (java) S 2095 2098 1569 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106963605 14669127680 10589 33554432000 4194304 4196468 140728792810256 139925689198992 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2106] ppid=2095 vsize=14325320 memory=-1 CPUtime=0 cores=0-7 /proc/2098/task/2106/stat : 2106 (java) S 2095 2098 1569 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106963605 14669127680 10589 33554432000 4194304 4196468 140728792810256 139925688146192 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2107] ppid=2095 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/2098/task/2107/stat : 2107 (java) S 2095 2098 1569 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106963605 14669127680 10589 33554432000 4194304 4196468 140728792810256 139925687093904 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2108] ppid=2095 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/2098/task/2108/stat : 2108 (java) S 2095 2098 1569 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106963605 14669127680 10589 33554432000 4194304 4196468 140728792810256 139925686041104 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2109] ppid=2095 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/2098/task/2109/stat : 2109 (java) S 2095 2098 1569 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 106963606 14669127680 10589 33554432000 4194304 4196468 140728792810256 139925421197936 139926097906306 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2110] ppid=2095 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/2098/task/2110/stat : 2110 (java) S 2095 2098 1569 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 106963606 14669127680 10589 33554432000 4194304 4196468 140728792810256 139925420143904 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2112] ppid=2095 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/2098/task/2112/stat : 2112 (java) S 2095 2098 1569 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 106963607 14669127680 10589 33554432000 4194304 4196468 140728792810256 139925419091568 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2113] ppid=2095 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/2098/task/2113/stat : 2113 (java) S 2095 2098 1569 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106963609 14669127680 10589 33554432000 4194304 4196468 140728792810256 139925418039888 139926097913755 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2114] ppid=2095 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/2098/task/2114/stat : 2114 (java) S 2095 2098 1569 0 -1 1077944384 475 0 0 0 0 0 0 0 20 0 20 0 106963609 14669127680 10589 33554432000 4194304 4196468 140728792810256 139925416986736 139926097906306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2115] ppid=2095 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7 /proc/2098/task/2115/stat : 2115 (java) S 2095 2098 1569 0 -1 1077944384 125 0 0 0 1 0 0 0 20 0 20 0 106963609 14669127680 10589 33554432000 4194304 4196468 140728792810256 139925415933936 139926097906306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2116] ppid=2095 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/2098/task/2116/stat : 2116 (java) S 2095 2098 1569 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 106963609 14669127680 10589 33554432000 4194304 4196468 140728792810256 139925414881648 139926097906306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2117] ppid=2095 vsize=14325320 memory=0 CPUtime=0.05 cores=0-7 /proc/2098/task/2117/stat : 2117 (java) R 2095 2098 1569 0 -1 4202560 438 0 0 0 5 0 0 0 20 0 20 0 106963609 14669127680 10589 33554432000 4194304 4196468 140728792810256 139925413828848 139926076434230 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2118] ppid=2095 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/2098/task/2118/stat : 2118 (java) S 2095 2098 1569 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 106963609 14669127680 10589 33554432000 4194304 4196468 140728792810256 139925412776800 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2119] ppid=2095 vsize=14325320 memory=-1 CPUtime=0 cores=0-7 /proc/2098/task/2119/stat : 2119 (java) S 2095 2098 1569 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106963609 14669127680 10589 33554432000 4194304 4196468 140728792810256 139925411724080 139926097906306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 Current children cumulated CPU time: 0.29 s Current children cumulated vsize: 14325320 KiB Current children cumulated memory: 42356 KiB [startup+0.310252 s]* /proc/loadavg: 8.20 8.69 8.80 2/199 2119 /proc/meminfo: memFree=27065088/32770624 swapFree=67108860/67108860 [pid=2098] ppid=2095 vsize=14325340 memory=50948 CPUtime=0.47 cores=0-7 /proc/2098/stat : 2098 (java) S 2095 2098 1569 0 -1 1077944320 10495 0 0 0 44 3 0 0 20 0 20 0 106963603 14669148160 12737 33554432000 4194304 4196468 140728792810256 140728792792800 139926097895159 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 /proc/2098/statm: 3581335 12737 3709 1 0 3569050 0 [pid=2098/tid=2100] ppid=2095 vsize=14325340 memory=1399051139730258233 CPUtime=0.29 cores=0-7 /proc/2098/task/2100/stat : 2100 (java) R 2095 2098 1569 0 -1 4202560 7541 0 0 0 27 2 0 0 20 0 20 0 106963604 14669148160 12737 33554432000 4194304 4196468 140728792810256 139926102123664 139925689355573 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2101] ppid=2095 vsize=14325340 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/2098/task/2101/stat : 2101 (java) S 2095 2098 1569 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106963605 14669148160 12737 33554432000 4194304 4196468 140728792810256 139926012963728 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2102] ppid=2095 vsize=14325340 memory=16444 CPUtime=0 cores=0-7 /proc/2098/task/2102/stat : 2102 (java) S 2095 2098 1569 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 106963605 14669148160 12737 33554432000 4194304 4196468 140728792810256 139926011910928 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2103] ppid=2095 vsize=14325340 memory=18168 CPUtime=0 cores=0-7 /proc/2098/task/2103/stat : 2103 (java) S 2095 2098 1569 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106963605 14669148160 12737 33554432000 4194304 4196468 140728792810256 139926010858640 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2104] ppid=2095 vsize=14325340 memory=0 CPUtime=0 cores=0-7 /proc/2098/task/2104/stat : 2104 (java) S 2095 2098 1569 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106963605 14669148160 12737 33554432000 4194304 4196468 140728792810256 139926009805840 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2105] ppid=2095 vsize=14325340 memory=0 CPUtime=0 cores=0-7 /proc/2098/task/2105/stat : 2105 (java) S 2095 2098 1569 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106963605 14669148160 12737 33554432000 4194304 4196468 140728792810256 139925689198992 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2106] ppid=2095 vsize=14325340 memory=0 CPUtime=0 cores=0-7 /proc/2098/task/2106/stat : 2106 (java) S 2095 2098 1569 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106963605 14669148160 12737 33554432000 4194304 4196468 140728792810256 139925688146192 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2107] ppid=2095 vsize=14325340 memory=0 CPUtime=0 cores=0-7 /proc/2098/task/2107/stat : 2107 (java) S 2095 2098 1569 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106963605 14669148160 12737 33554432000 4194304 4196468 140728792810256 139925687093904 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2108] ppid=2095 vsize=14325340 memory=0 CPUtime=0 cores=0-7 /proc/2098/task/2108/stat : 2108 (java) S 2095 2098 1569 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106963605 14669148160 12737 33554432000 4194304 4196468 140728792810256 139925686041104 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2109] ppid=2095 vsize=14325340 memory=0 CPUtime=0 cores=0-7 /proc/2098/task/2109/stat : 2109 (java) S 2095 2098 1569 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 106963606 14669148160 12737 33554432000 4194304 4196468 140728792810256 139925421197936 139926097906306 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2110] ppid=2095 vsize=14325340 memory=1970350607106051 CPUtime=0 cores=0-7 /proc/2098/task/2110/stat : 2110 (java) S 2095 2098 1569 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 106963606 14669148160 12737 33554432000 4194304 4196468 140728792810256 139925420143904 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2112] ppid=2095 vsize=14325340 memory=2110616186055236 CPUtime=0 cores=0-7 /proc/2098/task/2112/stat : 2112 (java) S 2095 2098 1569 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 106963607 14669148160 12737 33554432000 4194304 4196468 140728792810256 139925419091568 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2113] ppid=2095 vsize=14325340 memory=2110616186055300 CPUtime=0 cores=0-7 /proc/2098/task/2113/stat : 2113 (java) S 2095 2098 1569 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106963609 14669148160 12737 33554432000 4194304 4196468 140728792810256 139925418039888 139926097913755 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2114] ppid=2095 vsize=14325340 memory=2110616186029476 CPUtime=0.02 cores=0-7 /proc/2098/task/2114/stat : 2114 (java) S 2095 2098 1569 0 -1 1077944384 671 0 0 0 2 0 0 0 20 0 20 0 106963609 14669148160 12737 33554432000 4194304 4196468 140728792810256 139925416986736 139926097906306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2115] ppid=2095 vsize=14325340 memory=2110616186031780 CPUtime=0.03 cores=0-7 /proc/2098/task/2115/stat : 2115 (java) R 2095 2098 1569 0 -1 1077944384 313 0 0 0 3 0 0 0 20 0 20 0 106963609 14669148160 12737 33554432000 4194304 4196468 140728792810256 139925415933936 139926097906306 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2116] ppid=2095 vsize=14325340 memory=2110616186034084 CPUtime=0.02 cores=0-7 /proc/2098/task/2116/stat : 2116 (java) R 2095 2098 1569 0 -1 1077944384 111 0 0 0 2 0 0 0 20 0 20 0 106963609 14669148160 12737 33554432000 4194304 4196468 140728792810256 139925414881648 139926097906306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2117] ppid=2095 vsize=14325340 memory=2110616186036388 CPUtime=0.08 cores=0-7 /proc/2098/task/2117/stat : 2117 (java) S 2095 2098 1569 0 -1 1077944384 481 0 0 0 8 0 0 0 20 0 20 0 106963609 14669148160 12737 33554432000 4194304 4196468 140728792810256 139925413828848 139926097906306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2118] ppid=2095 vsize=14325340 memory=0 CPUtime=0 cores=0-7 /proc/2098/task/2118/stat : 2118 (java) S 2095 2098 1569 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 106963609 14669148160 12737 33554432000 4194304 4196468 140728792810256 139925412776800 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2119] ppid=2095 vsize=14325340 memory=-1 CPUtime=0 cores=0-7 /proc/2098/task/2119/stat : 2119 (java) S 2095 2098 1569 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106963609 14669148160 12737 33554432000 4194304 4196468 140728792810256 139925411724080 139926097906306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 Current children cumulated CPU time: 0.47 s Current children cumulated vsize: 14325340 KiB Current children cumulated memory: 50948 KiB [startup+0.700908 s] /proc/loadavg: 8.20 8.69 8.80 3/199 2119 /proc/meminfo: memFree=27049020/32770624 swapFree=67108860/67108860 [pid=2098] ppid=2095 vsize=14327388 memory=96572 CPUtime=1.64 cores=0-7 /proc/2098/stat : 2098 (java) S 2095 2098 1569 0 -1 1077944320 15713 0 0 0 159 5 0 0 20 0 20 0 106963603 14671245312 24143 33554432000 4194304 4196468 140728792810256 140728792792800 139926097895159 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 /proc/2098/statm: 3581847 24143 3777 1 0 3569562 0 [pid=2098/tid=2100] ppid=2095 vsize=14327388 memory=0 CPUtime=0.67 cores=0-7 /proc/2098/task/2100/stat : 2100 (java) R 2095 2098 1569 0 -1 4202560 8460 0 0 0 64 3 0 0 20 0 20 0 106963604 14671245312 24143 33554432000 4194304 4196468 140728792810256 139926102127888 139926077605600 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2101] ppid=2095 vsize=14327388 memory=0 CPUtime=0 cores=0-7 /proc/2098/task/2101/stat : 2101 (java) S 2095 2098 1569 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106963605 14671245312 24143 33554432000 4194304 4196468 140728792810256 139926012963728 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2102] ppid=2095 vsize=14327388 memory=280531158246080 CPUtime=0 cores=0-7 /proc/2098/task/2102/stat : 2102 (java) S 2095 2098 1569 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 106963605 14671245312 24143 33554432000 4194304 4196468 140728792810256 139926011910928 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2103] ppid=2095 vsize=14327388 memory=0 CPUtime=0 cores=0-7 /proc/2098/task/2103/stat : 2103 (java) S 2095 2098 1569 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106963605 14671245312 24143 33554432000 4194304 4196468 140728792810256 139926010858640 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2104] ppid=2095 vsize=14327388 memory=5700 CPUtime=0 cores=0-7 /proc/2098/task/2104/stat : 2104 (java) S 2095 2098 1569 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106963605 14671245312 24143 33554432000 4194304 4196468 140728792810256 139926009805840 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2105] ppid=2095 vsize=14327388 memory=4616 CPUtime=0 cores=0-7 /proc/2098/task/2105/stat : 2105 (java) S 2095 2098 1569 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106963605 14671245312 24143 33554432000 4194304 4196468 140728792810256 139925689198992 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2106] ppid=2095 vsize=14327388 memory=792 CPUtime=0 cores=0-7 /proc/2098/task/2106/stat : 2106 (java) S 2095 2098 1569 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106963605 14671245312 24143 33554432000 4194304 4196468 140728792810256 139925688146192 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2107] ppid=2095 vsize=14327388 memory=1424 CPUtime=0 cores=0-7 /proc/2098/task/2107/stat : 2107 (java) S 2095 2098 1569 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106963605 14671245312 24143 33554432000 4194304 4196468 140728792810256 139925687093904 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2108] ppid=2095 vsize=14327388 memory=1936 CPUtime=0 cores=0-7 /proc/2098/task/2108/stat : 2108 (java) S 2095 2098 1569 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106963605 14671245312 24143 33554432000 4194304 4196468 140728792810256 139925686041104 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2109] ppid=2095 vsize=14327388 memory=1224 CPUtime=0 cores=0-7 /proc/2098/task/2109/stat : 2109 (java) S 2095 2098 1569 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 106963606 14671245312 24143 33554432000 4194304 4196468 140728792810256 139925421197936 139926097906306 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 ################ # More data... # ################ /proc/2098/task/2122/stat : 2122 (java) R 2095 2098 1569 0 -1 4202560 52622 0 0 0 248032 47 0 0 20 0 46 0 106963935 16456065024 187360 33554432000 4194304 4196468 140728792810256 139925193210240 139925702490325 0 4 0 16800975 0 0 0 -1 1 0 0 21 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2123] ppid=2095 vsize=16070376 memory=4148 CPUtime=2483.08 cores=0-7 /proc/2098/task/2123/stat : 2123 (java) R 2095 2098 1569 0 -1 4202560 54888 0 0 0 248254 54 0 0 20 0 46 0 106963935 16456065024 187360 33554432000 4194304 4196468 140728792810256 139925192157504 139925703666874 0 4 0 16800975 0 0 0 -1 5 0 0 30 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2124] ppid=2095 vsize=16070376 memory=2424 CPUtime=2483.21 cores=0-7 /proc/2098/task/2124/stat : 2124 (java) R 2095 2098 1569 0 -1 4202560 52625 0 0 0 248268 53 0 0 20 0 46 0 106963936 16456065024 187360 33554432000 4194304 4196468 140728792810256 139925191105288 139925698704363 0 4 0 16800975 0 0 0 -1 2 0 0 23 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2125] ppid=2095 vsize=16070376 memory=1580 CPUtime=2483.21 cores=0-7 /proc/2098/task/2125/stat : 2125 (java) R 2095 2098 1569 0 -1 4202560 50332 0 0 0 248269 52 0 0 20 0 46 0 106963938 16456065024 187360 33554432000 4194304 4196468 140728792810256 139925190052304 139925703178319 0 4 0 16800975 0 0 0 -1 7 0 0 33 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2126] ppid=2095 vsize=16070376 memory=928 CPUtime=2485.56 cores=0-7 /proc/2098/task/2126/stat : 2126 (java) R 2095 2098 1569 0 -1 4202560 51872 0 0 0 248505 51 0 0 20 0 46 0 106963938 16456065024 187360 33554432000 4194304 4196468 140728792810256 139925189002816 139925703666787 0 4 0 16800975 0 0 0 -1 6 0 0 29 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2127] ppid=2095 vsize=16070376 memory=4100 CPUtime=0.16 cores=0-7 /proc/2098/task/2127/stat : 2127 (java) S 2095 2098 1569 0 -1 1077944384 75 0 0 0 16 0 0 0 20 0 46 0 106963943 16456065024 187360 33554432000 4194304 4196468 140728792810256 139925187954064 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2128] ppid=2095 vsize=16070376 memory=2244 CPUtime=2482.16 cores=0-7 /proc/2098/task/2128/stat : 2128 (java) R 2095 2098 1569 0 -1 4202560 53675 0 0 0 248163 53 0 0 20 0 46 0 106963943 16456065024 187360 33554432000 4194304 4196468 140728792810256 139925186895176 139925703020859 0 4 0 16800975 0 0 0 -1 0 0 0 31 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2129] ppid=2095 vsize=16070376 memory=1152 CPUtime=0.18 cores=0-7 /proc/2098/task/2129/stat : 2129 (java) S 2095 2098 1569 0 -1 1077944384 93 0 0 0 18 0 0 0 20 0 46 0 106963943 16456065024 187360 33554432000 4194304 4196468 140728792810256 139925185848976 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2130] ppid=2095 vsize=16070376 memory=1224 CPUtime=0.17 cores=0-7 /proc/2098/task/2130/stat : 2130 (java) S 2095 2098 1569 0 -1 1077944384 99 0 0 0 17 0 0 0 20 0 46 0 106963943 16456065024 187360 33554432000 4194304 4196468 140728792810256 139925184795664 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2131] ppid=2095 vsize=16070376 memory=1716 CPUtime=2481.37 cores=0-7 /proc/2098/task/2131/stat : 2131 (java) R 2095 2098 1569 0 -1 4202560 56464 0 0 0 248087 50 0 0 20 0 46 0 106963943 16456065024 187360 33554432000 4194304 4196468 140728792810256 139925183736664 139925703020883 0 4 0 16800975 0 0 0 -1 4 0 0 30 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2132] ppid=2095 vsize=16070376 memory=10596 CPUtime=2483.98 cores=0-7 /proc/2098/task/2132/stat : 2132 (java) R 2095 2098 1569 0 -1 4202560 56579 0 0 0 248349 49 0 0 20 0 46 0 106963972 16456065024 187360 33554432000 4194304 4196468 140728792810256 139925182683816 139925703020805 0 4 0 16800975 0 0 0 -1 3 0 0 33 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2133] ppid=2095 vsize=16070376 memory=1200 CPUtime=0 cores=0-7 /proc/2098/task/2133/stat : 2133 (java) S 2095 2098 1569 0 -1 1077944384 249 0 0 0 0 0 0 0 20 0 46 0 106963972 16456065024 187360 33554432000 4194304 4196468 140728792810256 139925181637776 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2134] ppid=2095 vsize=16070376 memory=15872 CPUtime=0 cores=0-7 /proc/2098/task/2134/stat : 2134 (java) S 2095 2098 1569 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 46 0 106963972 16456065024 187360 33554432000 4194304 4196468 140728792810256 139925180585488 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2135] ppid=2095 vsize=16070376 memory=4044 CPUtime=0 cores=0-7 /proc/2098/task/2135/stat : 2135 (java) S 2095 2098 1569 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 46 0 106963972 16456065024 187360 33554432000 4194304 4196468 140728792810256 139925179532688 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2136] ppid=2095 vsize=16070376 memory=16444 CPUtime=0 cores=0-7 /proc/2098/task/2136/stat : 2136 (java) S 2095 2098 1569 0 -1 1077944384 454 0 0 0 0 0 0 0 20 0 46 0 106963986 16456065024 187360 33554432000 4194304 4196468 140728792810256 139925176346384 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2137] ppid=2095 vsize=16070376 memory=18200 CPUtime=0 cores=0-7 /proc/2098/task/2137/stat : 2137 (java) S 2095 2098 1569 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 46 0 106963986 16456065024 187360 33554432000 4194304 4196468 140728792810256 139925175293584 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2138] ppid=2095 vsize=16070376 memory=1796 CPUtime=0 cores=0-7 /proc/2098/task/2138/stat : 2138 (java) S 2095 2098 1569 0 -1 1077944384 425 0 0 0 0 0 0 0 20 0 46 0 106963986 16456065024 187360 33554432000 4194304 4196468 140728792810256 139925174240272 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2139] ppid=2095 vsize=16070376 memory=636 CPUtime=0 cores=0-7 /proc/2098/task/2139/stat : 2139 (java) S 2095 2098 1569 0 -1 1077944384 281 0 0 0 0 0 0 0 20 0 46 0 106963987 16456065024 187360 33554432000 4194304 4196468 140728792810256 139925173187472 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2140] ppid=2095 vsize=16070376 memory=288230574492221466 CPUtime=0 cores=0-7 /proc/2098/task/2140/stat : 2140 (java) S 2095 2098 1569 0 -1 1077944384 671 0 0 0 0 0 0 0 20 0 46 0 106963987 16456065024 187360 33554432000 4194304 4196468 140728792810256 139925172135184 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2141] ppid=2095 vsize=16070376 memory=288230596050944315 CPUtime=0 cores=0-7 /proc/2098/task/2141/stat : 2141 (java) S 2095 2098 1569 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 46 0 106963988 16456065024 187360 33554432000 4194304 4196468 140728792810256 139925171082384 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2142] ppid=2095 vsize=16070376 memory=14981074384062293 CPUtime=0 cores=0-7 /proc/2098/task/2142/stat : 2142 (java) S 2095 2098 1569 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 46 0 106963988 16456065024 187360 33554432000 4194304 4196468 140728792810256 139925170030096 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2143] ppid=2095 vsize=16070376 memory=2424 CPUtime=0 cores=0-7 /proc/2098/task/2143/stat : 2143 (java) S 2095 2098 1569 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 46 0 106963989 16456065024 187360 33554432000 4194304 4196468 140728792810256 139925168977072 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2144] ppid=2095 vsize=16070376 memory=1580 CPUtime=0 cores=0-7 /proc/2098/task/2144/stat : 2144 (java) S 2095 2098 1569 0 -1 1077944384 240 0 0 0 0 0 0 0 20 0 46 0 106963989 16456065024 187360 33554432000 4194304 4196468 140728792810256 139925167925008 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2145] ppid=2095 vsize=16070376 memory=928 CPUtime=0 cores=0-7 /proc/2098/task/2145/stat : 2145 (java) S 2095 2098 1569 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 46 0 106963989 16456065024 187360 33554432000 4194304 4196468 140728792810256 139925166872208 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 Current children cumulated CPU time: 19966.8 s Current children cumulated vsize: 16070376 KiB Current children cumulated memory: 749440 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.14 s] # the end of solver process 2098 was just reported to runsolver # cumulated CPU time of all completed processes: user=19958.9 s, system=8.8832 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2520.13 s] /proc/loadavg: 8.70 8.72 8.73 9/225 2202 /proc/meminfo: memFree=26353196/32770624 swapFree=67108860/67108860 [pid=2098] ppid=2095 vsize=16203504 memory=749480 CPUtime=19967.8 cores=0-7 /proc/2098/stat : 2098 (java) S 2095 2098 1569 0 -1 1077944320 1206435 0 0 0 1995892 886 0 0 20 0 46 0 106963603 16592388096 187370 33554432000 4194304 4196468 140728792810256 140728792792800 139926097895159 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 /proc/2098/statm: 4050876 187370 3872 1 0 4038070 0 [pid=2098/tid=2100] ppid=2095 vsize=16203504 memory=749952 CPUtime=3.24 cores=0-7 /proc/2098/task/2100/stat : 2100 (java) S 2095 2098 1569 0 -1 1077944384 14304 0 0 0 317 7 0 0 20 0 46 0 106963604 16592388096 187370 33554432000 4194304 4196468 140728792810256 139926102132864 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2101] ppid=2095 vsize=16203504 memory=749952 CPUtime=9.72 cores=0-7 /proc/2098/task/2101/stat : 2101 (java) S 2095 2098 1569 0 -1 1077944384 70284 0 0 0 929 43 0 0 20 0 46 0 106963605 16592388096 187370 33554432000 4194304 4196468 140728792810256 139926012963728 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2102] ppid=2095 vsize=16203504 memory=699680 CPUtime=9.83 cores=0-7 /proc/2098/task/2102/stat : 2102 (java) S 2095 2098 1569 0 -1 1077944384 69812 0 0 0 940 43 0 0 20 0 46 0 106963605 16592388096 187370 33554432000 4194304 4196468 140728792810256 139926011910928 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2103] ppid=2095 vsize=16203504 memory=702248 CPUtime=9.72 cores=0-7 /proc/2098/task/2103/stat : 2103 (java) S 2095 2098 1569 0 -1 1077944384 66912 0 0 0 928 44 0 0 20 0 46 0 106963605 16592388096 187370 33554432000 4194304 4196468 140728792810256 139926010858640 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2104] ppid=2095 vsize=16203504 memory=708916 CPUtime=9.79 cores=0-7 /proc/2098/task/2104/stat : 2104 (java) S 2095 2098 1569 0 -1 1077944384 67616 0 0 0 936 43 0 0 20 0 46 0 106963605 16592388096 187370 33554432000 4194304 4196468 140728792810256 139926009805840 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2105] ppid=2095 vsize=16203504 memory=749440 CPUtime=9.7 cores=0-7 /proc/2098/task/2105/stat : 2105 (java) S 2095 2098 1569 0 -1 1077944384 67313 0 0 0 925 45 0 0 20 0 46 0 106963605 16592388096 187370 33554432000 4194304 4196468 140728792810256 139925689198992 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2106] ppid=2095 vsize=16203504 memory=4100 CPUtime=9.68 cores=0-7 /proc/2098/task/2106/stat : 2106 (java) S 2095 2098 1569 0 -1 1077944384 62588 0 0 0 924 44 0 0 20 0 46 0 106963605 16592388096 187370 33554432000 4194304 4196468 140728792810256 139925688146192 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2107] ppid=2095 vsize=16203504 memory=56 CPUtime=9.79 cores=0-7 /proc/2098/task/2107/stat : 2107 (java) S 2095 2098 1569 0 -1 1077944384 76057 0 0 0 936 43 0 0 20 0 46 0 106963605 16592388096 187370 33554432000 4194304 4196468 140728792810256 139925687093904 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2108] ppid=2095 vsize=16203504 memory=15254835616772978 CPUtime=9.79 cores=0-7 /proc/2098/task/2108/stat : 2108 (java) S 2095 2098 1569 0 -1 1077944384 61208 0 0 0 935 44 0 0 20 0 46 0 106963605 16592388096 187370 33554432000 4194304 4196468 140728792810256 139925686041104 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2109] ppid=2095 vsize=16203504 memory=751584 CPUtime=6.85 cores=0-7 /proc/2098/task/2109/stat : 2109 (java) R 2095 2098 1569 0 -1 1077944384 136264 0 0 0 565 120 0 0 20 0 46 0 106963606 16592388096 187370 33554432000 4194304 4196468 140728792810256 139925421197936 139926097906306 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2110] ppid=2095 vsize=16203504 memory=749536 CPUtime=0 cores=0-7 /proc/2098/task/2110/stat : 2110 (java) S 2095 2098 1569 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 46 0 106963606 16592388096 187370 33554432000 4194304 4196468 140728792810256 139925420143968 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2112] ppid=2095 vsize=16203504 memory=738956 CPUtime=0.01 cores=0-7 /proc/2098/task/2112/stat : 2112 (java) S 2095 2098 1569 0 -1 1077944384 43 0 0 0 1 0 0 0 20 0 46 0 106963607 16592388096 187370 33554432000 4194304 4196468 140728792810256 139925419091584 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2113] ppid=2095 vsize=16203504 memory=280531159534304 CPUtime=0 cores=0-7 /proc/2098/task/2113/stat : 2113 (java) R 2095 2098 1569 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 46 0 106963609 16592388096 187370 33554432000 4194304 4196468 140728792810256 139925418039888 139926097913755 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2114] ppid=2095 vsize=16203504 memory=288230377007612191 CPUtime=2.81 cores=0-7 /proc/2098/task/2114/stat : 2114 (java) S 2095 2098 1569 0 -1 1077944384 15946 0 0 0 277 4 0 0 20 0 46 0 106963609 16592388096 187370 33554432000 4194304 4196468 140728792810256 139925416986736 139926097906306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2115] ppid=2095 vsize=16203504 memory=715360 CPUtime=2.6 cores=0-7 /proc/2098/task/2115/stat : 2115 (java) S 2095 2098 1569 0 -1 1077944384 10283 0 0 0 257 3 0 0 20 0 46 0 106963609 16592388096 187370 33554432000 4194304 4196468 140728792810256 139925415933936 139926097906306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2116] ppid=2095 vsize=16203504 memory=1200 CPUtime=2.55 cores=0-7 /proc/2098/task/2116/stat : 2116 (java) S 2095 2098 1569 0 -1 1077944384 7561 0 0 0 255 0 0 0 20 0 46 0 106963609 16592388096 187370 33554432000 4194304 4196468 140728792810256 139925414881648 139926097906306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2117] ppid=2095 vsize=16203504 memory=15872 CPUtime=1.22 cores=0-7 /proc/2098/task/2117/stat : 2117 (java) S 2095 2098 1569 0 -1 1077944384 25051 0 0 0 118 4 0 0 20 0 46 0 106963609 16592388096 187370 33554432000 4194304 4196468 140728792810256 139925413828848 139926097906306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2118] ppid=2095 vsize=16203504 memory=4044 CPUtime=0 cores=0-7 /proc/2098/task/2118/stat : 2118 (java) S 2095 2098 1569 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 106963609 16592388096 187370 33554432000 4194304 4196468 140728792810256 139925412776800 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2120] ppid=2095 vsize=16203504 memory=708916 CPUtime=0 cores=0-7 /proc/2098/task/2120/stat : 2120 (java) S 2095 2098 1569 0 -1 1077944384 782 0 0 0 0 0 0 0 20 0 46 0 106963913 16592388096 187370 33554432000 4194304 4196468 140728792810256 139925405631904 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2121] ppid=2095 vsize=16203504 memory=960 CPUtime=4.5 cores=0-7 /proc/2098/task/2121/stat : 2121 (java) R 2095 2098 1569 0 -1 1077944384 15229 0 0 0 215 235 0 0 20 0 46 0 106963925 16592388096 187370 33554432000 4194304 4196468 140728792810256 139925196367392 139926097906306 0 4 0 16800975 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2122] ppid=2095 vsize=16203504 memory=762556 CPUtime=2480.9 cores=0-7 /proc/2098/task/2122/stat : 2122 (java) R 2095 2098 1569 0 -1 4202560 52622 0 0 0 248043 47 0 0 20 0 46 0 106963935 16592388096 187370 33554432000 4194304 4196468 140728792810256 139925193210376 139925701998843 0 4 0 16800975 0 0 0 -1 1 0 0 21 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2123] ppid=2095 vsize=16203504 memory=762556 CPUtime=2483.2 cores=0-7 /proc/2098/task/2123/stat : 2123 (java) R 2095 2098 1569 0 -1 4202560 54888 0 0 0 248266 54 0 0 20 0 46 0 106963935 16592388096 187370 33554432000 4194304 4196468 140728792810256 139925192157640 139925702846749 0 4 0 16800975 0 0 0 -1 5 0 0 30 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2124] ppid=2095 vsize=16203504 memory=748704 CPUtime=2483.33 cores=0-7 /proc/2098/task/2124/stat : 2124 (java) R 2095 2098 1569 0 -1 4202560 52625 0 0 0 248280 53 0 0 20 0 46 0 106963936 16592388096 187370 33554432000 4194304 4196468 140728792810256 139925191105288 139925702847671 0 4 0 16800975 0 0 0 -1 2 0 0 23 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2125] ppid=2095 vsize=16203504 memory=4616 CPUtime=2483.32 cores=0-7 /proc/2098/task/2125/stat : 2125 (java) R 2095 2098 1569 0 -1 4202560 50332 0 0 0 248280 52 0 0 20 0 46 0 106963938 16592388096 187370 33554432000 4194304 4196468 140728792810256 139925190052304 139925701998552 0 4 0 16800975 0 0 0 -1 7 0 0 33 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2126] ppid=2095 vsize=16203504 memory=792 CPUtime=2485.68 cores=0-7 /proc/2098/task/2126/stat : 2126 (java) R 2095 2098 1569 0 -1 4202560 51872 0 0 0 248517 51 0 0 20 0 46 0 106963938 16592388096 187370 33554432000 4194304 4196468 140728792810256 139925189002816 139925703021416 0 4 0 16800975 0 0 0 -1 6 0 0 29 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2127] ppid=2095 vsize=16203504 memory=1424 CPUtime=0.16 cores=0-7 /proc/2098/task/2127/stat : 2127 (java) S 2095 2098 1569 0 -1 1077944384 75 0 0 0 16 0 0 0 20 0 46 0 106963943 16592388096 187370 33554432000 4194304 4196468 140728792810256 139925187954064 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2128] ppid=2095 vsize=16203504 memory=0 CPUtime=2482.27 cores=0-7 /proc/2098/task/2128/stat : 2128 (java) R 2095 2098 1569 0 -1 4202560 53675 0 0 0 248174 53 0 0 20 0 46 0 106963943 16592388096 187370 33554432000 4194304 4196468 140728792810256 139925186895176 139925703666856 0 4 0 16800975 0 0 0 -1 0 0 0 31 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2129] ppid=2095 vsize=16203504 memory=443 CPUtime=0.18 cores=0-7 /proc/2098/task/2129/stat : 2129 (java) S 2095 2098 1569 0 -1 1077944384 93 0 0 0 18 0 0 0 20 0 46 0 106963943 16592388096 187370 33554432000 4194304 4196468 140728792810256 139925185848976 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2130] ppid=2095 vsize=16203504 memory=244425 CPUtime=0.17 cores=0-7 /proc/2098/task/2130/stat : 2130 (java) S 2095 2098 1569 0 -1 1077944384 99 0 0 0 17 0 0 0 20 0 46 0 106963943 16592388096 187370 33554432000 4194304 4196468 140728792810256 139925184795664 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2131] ppid=2095 vsize=16203504 memory=8112282956445269571 CPUtime=2481.49 cores=0-7 /proc/2098/task/2131/stat : 2131 (java) R 2095 2098 1569 0 -1 4202560 56464 0 0 0 248099 50 0 0 20 0 46 0 106963943 16592388096 187370 33554432000 4194304 4196468 140728792810256 139925183736664 139925701998751 0 4 0 16800975 0 0 0 -1 4 0 0 30 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2132] ppid=2095 vsize=16203504 memory=280531159252392 CPUtime=2484.1 cores=0-7 /proc/2098/task/2132/stat : 2132 (java) R 2095 2098 1569 0 -1 4202560 56579 0 0 0 248361 49 0 0 20 0 46 0 106963972 16592388096 187370 33554432000 4194304 4196468 140728792810256 139925182683816 139925703020883 0 4 0 16800975 0 0 0 -1 3 0 0 33 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2133] ppid=2095 vsize=16203504 memory=280531159090352 CPUtime=0 cores=0-7 /proc/2098/task/2133/stat : 2133 (java) S 2095 2098 1569 0 -1 1077944384 249 0 0 0 0 0 0 0 20 0 46 0 106963972 16592388096 187370 33554432000 4194304 4196468 140728792810256 139925181637776 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2134] ppid=2095 vsize=16203504 memory=707376 CPUtime=0 cores=0-7 /proc/2098/task/2134/stat : 2134 (java) S 2095 2098 1569 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 46 0 106963972 16592388096 187370 33554432000 4194304 4196468 140728792810256 139925180585488 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2135] ppid=2095 vsize=16203504 memory=11040 CPUtime=0 cores=0-7 /proc/2098/task/2135/stat : 2135 (java) S 2095 2098 1569 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 46 0 106963972 16592388096 187370 33554432000 4194304 4196468 140728792810256 139925179532688 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2136] ppid=2095 vsize=16203504 memory=0 CPUtime=0 cores=0-7 /proc/2098/task/2136/stat : 2136 (java) S 2095 2098 1569 0 -1 1077944384 454 0 0 0 0 0 0 0 20 0 46 0 106963986 16592388096 187370 33554432000 4194304 4196468 140728792810256 139925176346384 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2137] ppid=2095 vsize=16203504 memory=713532 CPUtime=0 cores=0-7 /proc/2098/task/2137/stat : 2137 (java) S 2095 2098 1569 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 46 0 106963986 16592388096 187370 33554432000 4194304 4196468 140728792810256 139925175293584 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2138] ppid=2095 vsize=16203504 memory=2396 CPUtime=0 cores=0-7 /proc/2098/task/2138/stat : 2138 (java) S 2095 2098 1569 0 -1 1077944384 425 0 0 0 0 0 0 0 20 0 46 0 106963986 16592388096 187370 33554432000 4194304 4196468 140728792810256 139925174240272 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2139] ppid=2095 vsize=16203504 memory=1728 CPUtime=0 cores=0-7 /proc/2098/task/2139/stat : 2139 (java) S 2095 2098 1569 0 -1 1077944384 281 0 0 0 0 0 0 0 20 0 46 0 106963987 16592388096 187370 33554432000 4194304 4196468 140728792810256 139925173187472 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2140] ppid=2095 vsize=16203504 memory=1200 CPUtime=0 cores=0-7 /proc/2098/task/2140/stat : 2140 (java) S 2095 2098 1569 0 -1 1077944384 671 0 0 0 0 0 0 0 20 0 46 0 106963987 16592388096 187370 33554432000 4194304 4196468 140728792810256 139925172135184 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2141] ppid=2095 vsize=16203504 memory=15872 CPUtime=0 cores=0-7 /proc/2098/task/2141/stat : 2141 (java) S 2095 2098 1569 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 46 0 106963988 16592388096 187370 33554432000 4194304 4196468 140728792810256 139925171082384 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2142] ppid=2095 vsize=16203504 memory=4044 CPUtime=0 cores=0-7 /proc/2098/task/2142/stat : 2142 (java) S 2095 2098 1569 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 46 0 106963988 16592388096 187370 33554432000 4194304 4196468 140728792810256 139925170030096 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2143] ppid=2095 vsize=16203504 memory=699228 CPUtime=0 cores=0-7 /proc/2098/task/2143/stat : 2143 (java) S 2095 2098 1569 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 46 0 106963989 16592388096 187370 33554432000 4194304 4196468 140728792810256 139925168977072 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2144] ppid=2095 vsize=16203504 memory=699228 CPUtime=0 cores=0-7 /proc/2098/task/2144/stat : 2144 (java) S 2095 2098 1569 0 -1 1077944384 240 0 0 0 0 0 0 0 20 0 46 0 106963989 16592388096 187370 33554432000 4194304 4196468 140728792810256 139925167925008 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 [pid=2098/tid=2145] ppid=2095 vsize=16203504 memory=6628 CPUtime=0 cores=0-7 /proc/2098/task/2145/stat : 2145 (java) S 2095 2098 1569 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 46 0 106963989 16592388096 187370 33554432000 4194304 4196468 140728792810256 139925166872208 139926097905365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19345408 140728792818785 140728792818971 140728792818971 140728792821711 0 Current children cumulated CPU time: 19967.8 s Current children cumulated vsize: 16203504 KiB Current children cumulated memory: 749480 KiB Child status: 143 Real time (s): 2520.14 CPU time (s): 19967.8 CPU user time (s): 19958.9 CPU system time (s): 8.8832 CPU usage (%): 792.329 Max. virtual memory (cumulated for all children) (KiB): 16203504 Max. memory (cumulated for all children) (KiB): 2898228 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19958.9 system time used= 8.8832 maximum resident set size= 2899296 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1206478 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3808 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 602034 involuntary context switches= 421146 # summary of solver processes directly reported to runsolver: # pid: 2098 # total CPU time (s): 19967.8 # total CPU user time (s): 19958.9 # total CPU system time (s): 8.8832 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 28.462 second user time and 33.2697 second system time The end
Begin job on node150 at 2017-08-14 21:12:46 IDJOB=4275029 IDBENCH=127059 IDSOLVER=2668 FILE ID=node150/4275029-1502738825 RUNJOBID= node150-1502730400-1596 PBS_JOBID= 20629048 Free space on /tmp= 61636 MiB SOLVER NAME= OscaR - Parallel with EPS 2017-07-26 BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-057.xml COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4275029-1502738825/watcher-4275029-1502738825 -o /tmp/evaluation-result-4275029-1502738825/solver-4275029-1502738825 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1502730400-1596 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1321832766 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275029-1502738825.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= d88ca393bf757462df4053a6ee529819 RANDOM SEED=1321832766 node150.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 : 5332.89 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 : 5332.89 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 : 5332.89 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 : 5332.89 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: 27100736 kB MemAvailable: 31975312 kB Buffers: 279576 kB Cached: 4870868 kB SwapCached: 0 kB Active: 770292 kB Inactive: 4432672 kB Active(anon): 55596 kB Inactive(anon): 25068 kB Active(file): 714696 kB Inactive(file): 4407604 kB Unevictable: 6228 kB Mlocked: 6228 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42124 kB Writeback: 0 kB AnonPages: 59104 kB Mapped: 45184 kB Shmem: 25224 kB Slab: 162372 kB SReclaimable: 136224 kB SUnreclaim: 26148 kB KernelStack: 3184 kB PageTables: 4656 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323108 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 61596 MiB End job on node150 at 2017-08-14 21:54:46