Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Concrete 3.4 | SAT (TO) | 134 | 252.117 | 225.942 |
| Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-036.xml |
| MD5SUM | c07c58ac36c79f91eadbbae5e125078d |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 102 |
| Best CPU time to get the best result obtained on this benchmark | 1920.72 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1331 |
| Number of constraints | 700 |
| Number of domains | 71 |
| Minimum domain size | 2 |
| Maximum domain size | 71 |
| Distribution of domain sizes | [{"size":2,"count":667},{"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":30,"count":1}, {"size":31,"count":2}, {"size":32,"count":1}, {"size":33,"count":2}, {"size":34,"count":1}, {"size":35,"count":2}, {"size":36,"count":1}, {"size":37,"count":1}, {"size":39,"count":1}, {"size":41,"count":1}, {"size":43,"count":1}, {"size":45,"count":1}, {"size":47,"count":1}, {"size":49,"count":1}, {"size":51,"count":1}, {"size":53,"count":1}, {"size":55,"count":1}, {"size":57,"count":1}, {"size":59,"count":1}, {"size":61,"count":1}, {"size":63,"count":1}, {"size":65,"count":1}, {"size":67,"count":1}, {"size":69,"count":1}, {"size":71,"count":1}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 35 |
| Distribution of variable degrees | [{"degree":0,"count":595},{"degree":2,"count":700},{"degree":35,"count":36}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 36 |
| Distribution of constraint arities | [{"arity":2,"count":36},{"arity":3,"count":631},{"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":27,"count":1},{"arity":28,"count":1},{"arity":29,"count":1},{"arity":30,"count":1},{"arity":31,"count":1},{"arity":32,"count":1},{"arity":33,"count":1},{"arity":34,"count":1},{"arity":35,"count":1},{"arity":36,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 665 |
| Distribution of constraint types | [{"type":"intension","count":665},{"type":"sum","count":35}] |
| Optimization problem | YES |
| Type of objective | min SUM |
3.22/2.17 c Concrete v3.4 running 11.57/4.95 o 14910 11.91/5.04 o 11730 13.14/5.41 o 7106 13.78/5.61 o 2242 14.39/5.80 o 2122 14.39/5.83 o 1334 14.39/5.85 o 374 14.39/5.89 o 338 14.69/6.01 o 302 15.35/6.18 o 286 15.63/6.20 o 258 15.63/6.23 o 238 15.63/6.28 o 234 17.03/6.97 o 190 19.62/8.73 o 186 20.81/9.36 o 158 68.81/52.81 o 154 228.79/203.06 o 134 252.05/225.91 java.util.concurrent.TimeoutException 252.05/225.91 at concrete.MAC.mac(MAC.scala:74) 252.05/225.91 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145) 252.05/225.91 at scala.util.Try$.apply(Try.scala:209) 252.05/225.91 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194) 252.05/225.91 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182) 252.05/225.91 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12) 252.05/225.91 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61) 252.05/225.91 at org.scalameter.Measurer$Default.measure(Measurer.scala:131) 252.05/225.91 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51) 252.05/225.91 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61) 252.05/225.91 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181) 252.05/225.91 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194) 252.05/225.91 at concrete.MAC.oneRun(MAC.scala:146) 252.05/225.91 at concrete.MAC.nextSolution(MAC.scala:166) 252.05/225.91 at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196) 252.05/225.91 at concrete.ProblemState.map(ProblemState.scala:203) 252.05/225.91 at concrete.ProblemState.map(ProblemState.scala:188) 252.05/225.91 at concrete.MAC.nextSolution(MAC.scala:195) 252.05/225.91 at concrete.Solver.hasNext(Solver.scala:202) 252.05/225.91 at scala.collection.Iterator.toStream(Iterator.scala:1403) 252.05/225.91 at scala.collection.Iterator.toStream$(Iterator.scala:1402) 252.05/225.91 at concrete.Solver.toStream(Solver.scala:73) 252.05/225.91 at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403) 252.05/225.91 at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169) 252.05/225.91 at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159) 252.05/225.91 at scala.collection.immutable.Stream.foreach(Stream.scala:531) 252.05/225.91 at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157) 252.05/225.91 at scala.util.Success.$anonfun$map$1(Try.scala:251) 252.05/225.91 at scala.util.Success.map(Try.scala:209) 252.05/225.91 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154) 252.05/225.91 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72) 252.05/225.91 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17) 252.05/225.91 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119) 252.05/225.91 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17) 252.05/225.91 at scala.Function0.apply$mcV$sp(Function0.scala:34) 252.05/225.91 at scala.Function0.apply$mcV$sp$(Function0.scala:34) 252.05/225.91 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12) 252.05/225.91 at scala.App.$anonfun$main$1$adapted(App.scala:76) 252.05/225.91 at scala.collection.immutable.List.foreach(List.scala:389) 252.05/225.91 at scala.App.main(App.scala:76) 252.05/225.91 at scala.App.main$(App.scala:74) 252.05/225.91 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17) 252.05/225.91 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 252.05/225.92 v <instantiation cost="134"> 252.05/225.92 v <list> 252.05/225.92 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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[28][0] y[28][1] y[28][2] y[28][3] y[28][4] y[28][5] y[28][6] y[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[31][0] y[31][1] y[31][2] y[31][3] y[32][0] y[32][1] y[32][2] y[33][0] y[33][1] y[34][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] 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] 252.05/225.92 v </list> 252.05/225.92 v <values> 252.05/225.92 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 4 -5 2 -1 2 3 2 3 0 1 0 1 0 1 0 1 -2 -1 0 -1 -4 3 0 3 0 1 -2 1 2 1 -2 1 0 -1 1 16 25 4 1 4 9 4 9 0 1 0 1 0 1 0 1 4 1 0 1 16 9 0 9 0 1 4 1 4 1 4 1 0 1 252.05/225.92 v </values> 252.05/225.92 v </instantiation> 252.05/225.92 s SATISFIABLE
OK 134
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 (14364 MiB free)
memory of node 1: 16384 MiB (15439 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259551-1502647319/watcher-4259551-1502647319 -o /tmp/evaluation-result-4259551-1502647319/solver-4259551-1502647319 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502641620-25474 --watchdog 312 bin/concrete HOME/instance-4259551-1502647319.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=31299, runsolver pid=31296
[startup+0.101883 s]*
/proc/loadavg: 1.67 1.90 1.96 3/209 31337
/proc/meminfo: memFree=30507540/32770624 swapFree=67108860/67108860
[pid=31299] ppid=31296 vsize=9636 memory=1512 CPUtime=0.01 cores=1,3,5,7
/proc/31299/stat : 31299 (bash) S 31296 31299 8289 0 -1 4202496 895 6482 0 0 0 0 0 1 20 0 1 0 112547126 9867264 378 18446744073709551615 4194304 5098028 140725564153200 140725564147208 139797812927488 0 0 5 65536 18446744071580971376 0 0 17 1 0 0 5 0 0 7196144 7232144 9658368 140725564158452 140725564158537 140725564158537 140725564162026 0
/proc/31299/statm: 2409 378 297 221 0 118 0
[pid=31329] ppid=31299 vsize=9636 memory=708 CPUtime=0 cores=1,3,5,7
/proc/31329/stat : 31329 (bash) S 31299 31299 8289 0 -1 4202560 158 0 0 0 0 0 0 0 20 0 1 0 112547134 9867264 177 18446744073709551615 4194304 5098028 140725564153200 140725564145880 139797812753020 0 65536 1 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9658368 140725564158452 140725564158537 140725564158537 140725564162026 0
/proc/31329/statm: 2409 177 96 221 0 118 0
[pid=31330] ppid=31329 vsize=10152492 memory=19516 CPUtime=0.02 cores=1,3,5,7
/proc/31330/stat : 31330 (java) S 31329 31299 8289 0 -1 1077944320 3762 0 0 0 2 0 0 0 20 0 9 0 112547134 10396151808 4879 18446744073709551615 4194304 4196468 140737478287536 140737478270080 140614821900023 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27783168 140737478296152 140737478296166 140737478296166 140737478299599 0
/proc/31330/statm: 2538123 4879 2076 1 0 2527620 0
[pid=31330/tid=31332] ppid=31329 vsize=10152492 memory=8326441112148417179 CPUtime=0.02 cores=1,3,5,7
/proc/31330/task/31332/stat : 31332 (java) R 31329 31299 8289 0 -1 4202560 2428 0 0 0 2 0 0 0 20 0 9 0 112547134 10396151808 4944 18446744073709551615 4194304 4196468 140737478287536 140614826135784 140614821921949 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27783168 140737478296152 140737478296166 140737478296166 140737478299599 0
[pid=31330/tid=31333] ppid=31329 vsize=10152492 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31330/task/31333/stat : 31333 (java) S 31329 31299 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 112547135 10396151808 4944 18446744073709551615 4194304 4196468 140737478287536 140614752320400 140614821910229 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27783168 140737478296152 140737478296166 140737478296166 140737478299599 0
[pid=31330/tid=31334] ppid=31329 vsize=10152492 memory=140215705736832 CPUtime=0 cores=1,3,5,7
/proc/31330/task/31334/stat : 31334 (java) S 31329 31299 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 112547135 10396151808 4944 18446744073709551615 4194304 4196468 140737478287536 140614751267600 140614821910229 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27783168 140737478296152 140737478296166 140737478296166 140737478299599 0
[pid=31330/tid=31335] ppid=31329 vsize=10152492 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31330/task/31335/stat : 31335 (java) S 31329 31299 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 112547135 10396151808 4944 18446744073709551615 4194304 4196468 140737478287536 140614750215312 140614821910229 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27783168 140737478296152 140737478296166 140737478296166 140737478299599 0
[pid=31330/tid=31336] ppid=31329 vsize=10152492 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31330/task/31336/stat : 31336 (java) S 31329 31299 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 112547135 10396151808 4944 18446744073709551615 4194304 4196468 140737478287536 140614749162512 140614821910229 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27783168 140737478296152 140737478296166 140737478296166 140737478299599 0
[pid=31330/tid=31337] ppid=31329 vsize=10152492 memory=140215705736832 CPUtime=0 cores=1,3,5,7
/proc/31330/task/31337/stat : 31337 (java) S 31329 31299 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 112547136 10396151808 4944 18446744073709551615 4194304 4196468 140737478287536 140614317467760 140614821911170 0 0 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27783168 140737478296152 140737478296166 140737478296166 140737478299599 0
[pid=31330/tid=31338] ppid=31329 vsize=10152492 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31330/task/31338/stat : 31338 (java) S 31329 31299 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 112547137 10396151808 4944 18446744073709551615 4194304 4196468 140737478287536 140614316413728 140614821910229 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27783168 140737478296152 140737478296166 140737478296166 140737478299599 0
[pid=31330/tid=31339] ppid=31329 vsize=10152492 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31330/task/31339/stat : 31339 (java) S 31329 31299 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 112547137 10396151808 4944 18446744073709551615 4194304 4196468 140737478287536 140614315361456 140614821910229 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27783168 140737478296152 140737478296166 140737478296166 140737478299599 0
[pid=31331] ppid=31329 vsize=9872 memory=968 CPUtime=0 cores=1,3,5,7
/proc/31331/stat : 31331 (awk) S 31329 31299 8289 0 -1 4202496 393 0 0 0 0 0 0 0 20 0 1 0 112547134 10108928 242 18446744073709551615 4194304 4609284 140723422793120 140723422792296 139662722857984 0 0 1 1216 18446744071580971376 0 0 17 3 0 0 0 0 0 6708720 6711756 32231424 140723422798464 140723422798494 140723422798494 140723422801899 0
/proc/31331/statm: 2468 242 201 102 0 88 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 10181636 KiB
Current children cumulated memory: 22704 KiB
[startup+0.213045 s]*
/proc/loadavg: 1.67 1.90 1.96 3/206 31354
/proc/meminfo: memFree=30511620/32770624 swapFree=67108860/67108860
[pid=31299] ppid=31296 vsize=13574488 memory=18728 CPUtime=0.09 cores=1,3,5,7
/proc/31299/stat : 31299 (java) S 31296 31299 8289 0 -1 1077944320 4887 12347 0 0 2 0 5 2 20 0 9 0 112547126 13900275712 4682 18446744073709551615 4194304 4196468 140732530987664 140732530970208 139802139791095 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 5 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
/proc/31299/statm: 3393622 4682 2083 1 0 3383119 0
[pid=31299/tid=31349] ppid=31296 vsize=13574488 memory=7077796292425249400 CPUtime=0.09 cores=1,3,5,7
/proc/31299/task/31349/stat : 31349 (java) R 31296 31299 8289 0 -1 4202560 2675 12347 0 0 2 0 5 2 20 0 9 0 112547145 13900275712 4682 18446744073709551615 4194304 4196468 140732530987664 139802144031888 139802125897904 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31350] ppid=31296 vsize=13574488 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31299/task/31350/stat : 31350 (java) S 31296 31299 8289 0 -1 1077944384 2 12347 0 0 0 0 5 2 20 0 9 0 112547146 13900275712 4682 18446744073709551615 4194304 4196468 140732530987664 139802059205392 139802139801301 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31351] ppid=31296 vsize=13574488 memory=140215705736832 CPUtime=0.07 cores=1,3,5,7
/proc/31299/task/31351/stat : 31351 (java) S 31296 31299 8289 0 -1 1077944384 1 12347 0 0 0 0 5 2 20 0 9 0 112547146 13900275712 4682 18446744073709551615 4194304 4196468 140732530987664 139801739127696 139802139801301 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31352] ppid=31296 vsize=13574488 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31299/task/31352/stat : 31352 (java) S 31296 31299 8289 0 -1 1077944384 1 12347 0 0 0 0 5 2 20 0 9 0 112547146 13900275712 4682 18446744073709551615 4194304 4196468 140732530987664 139801738075152 139802139801301 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31353] ppid=31296 vsize=13574488 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31299/task/31353/stat : 31353 (java) S 31296 31299 8289 0 -1 1077944384 2 12347 0 0 0 0 5 2 20 0 9 0 112547146 13900275712 4682 18446744073709551615 4194304 4196468 140732530987664 139801737022608 139802139801301 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31354] ppid=31296 vsize=13574488 memory=140215705736832 CPUtime=0.07 cores=1,3,5,7
/proc/31299/task/31354/stat : 31354 (java) S 31296 31299 8289 0 -1 1077944384 2 12347 0 0 0 0 5 2 20 0 9 0 112547147 13900275712 4682 18446744073709551615 4194304 4196468 140732530987664 139801618352112 139802139802242 0 0 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31355] ppid=31296 vsize=13574488 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31299/task/31355/stat : 31355 (java) S 31296 31299 8289 0 -1 1077944384 33 12347 0 0 0 0 5 2 20 0 9 0 112547148 13900275712 4682 18446744073709551615 4194304 4196468 140732530987664 139801617298336 139802139801301 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31356] ppid=31296 vsize=13574488 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31299/task/31356/stat : 31356 (java) S 31296 31299 8289 0 -1 1077944384 21 12347 0 0 0 0 5 2 20 0 9 0 112547148 13900275712 4682 18446744073709551615 4194304 4196468 140732530987664 139801616245808 139802139801301 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13574488 KiB
Current children cumulated memory: 18728 KiB
[startup+0.311331 s]*
/proc/loadavg: 1.67 1.90 1.96 6/214 31362
/proc/meminfo: memFree=30500620/32770624 swapFree=67108860/67108860
[pid=31299] ppid=31296 vsize=13974356 memory=31792 CPUtime=0.2 cores=1,3,5,7
/proc/31299/stat : 31299 (java) S 31296 31299 8289 0 -1 1077944320 6808 12347 0 0 12 1 5 2 20 0 15 0 112547126 14309740544 7948 18446744073709551615 4194304 4196468 140732530987664 140732530970208 139802139791095 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 5 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
/proc/31299/statm: 3493589 7948 2908 1 0 3482965 0
[pid=31299/tid=31349] ppid=31296 vsize=13974356 memory=-8774313645642428999 CPUtime=0.14 cores=1,3,5,7
/proc/31299/task/31349/stat : 31349 (java) R 31296 31299 8289 0 -1 4202560 3312 12347 0 0 7 0 5 2 20 0 15 0 112547145 14309740544 7948 18446744073709551615 4194304 4196468 140732530987664 139802144023408 139802139813021 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31350] ppid=31296 vsize=13974356 memory=140215582826703 CPUtime=0.07 cores=1,3,5,7
/proc/31299/task/31350/stat : 31350 (java) S 31296 31299 8289 0 -1 1077944384 2 12347 0 0 0 0 5 2 20 0 15 0 112547146 14309740544 7948 18446744073709551615 4194304 4196468 140732530987664 139802059205392 139802139801301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31351] ppid=31296 vsize=13974356 memory=140215705736832 CPUtime=0.07 cores=1,3,5,7
/proc/31299/task/31351/stat : 31351 (java) S 31296 31299 8289 0 -1 1077944384 1 12347 0 0 0 0 5 2 20 0 15 0 112547146 14309740544 7948 18446744073709551615 4194304 4196468 140732530987664 139801739127696 139802139801301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31352] ppid=31296 vsize=13974356 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/31299/task/31352/stat : 31352 (java) S 31296 31299 8289 0 -1 1077944384 1 12347 0 0 0 0 5 2 20 0 15 0 112547146 14309740544 7948 18446744073709551615 4194304 4196468 140732530987664 139801738075152 139802139801301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31353] ppid=31296 vsize=13974356 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31299/task/31353/stat : 31353 (java) S 31296 31299 8289 0 -1 1077944384 2 12347 0 0 0 0 5 2 20 0 15 0 112547146 14309740544 7948 18446744073709551615 4194304 4196468 140732530987664 139801737022608 139802139801301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31354] ppid=31296 vsize=13974356 memory=140215705736832 CPUtime=0.07 cores=1,3,5,7
/proc/31299/task/31354/stat : 31354 (java) S 31296 31299 8289 0 -1 1077944384 2 12347 0 0 0 0 5 2 20 0 15 0 112547147 14309740544 7948 18446744073709551615 4194304 4196468 140732530987664 139801618352112 139802139802242 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31355] ppid=31296 vsize=13974356 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31299/task/31355/stat : 31355 (java) S 31296 31299 8289 0 -1 1077944384 33 12347 0 0 0 0 5 2 20 0 15 0 112547148 14309740544 7948 18446744073709551615 4194304 4196468 140732530987664 139801617298336 139802139801301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31356] ppid=31296 vsize=13974356 memory=2273 CPUtime=0.07 cores=1,3,5,7
/proc/31299/task/31356/stat : 31356 (java) S 31296 31299 8289 0 -1 1077944384 21 12347 0 0 0 0 5 2 20 0 15 0 112547148 14309740544 7948 18446744073709551615 4194304 4196468 140732530987664 139801616245744 139802139801301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31357] ppid=31296 vsize=13974356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31299/task/31357/stat : 31357 (java) S 31296 31299 8289 0 -1 1077944384 3 12347 0 0 0 0 5 2 20 0 15 0 112547150 14309740544 8013 18446744073709551615 4194304 4196468 140732530987664 139801615194320 139802139809691 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31358] ppid=31296 vsize=13974356 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31299/task/31358/stat : 31358 (java) S 31296 31299 8289 0 -1 1077944384 608 12347 0 0 1 0 5 2 20 0 15 0 112547151 14309740544 8013 18446744073709551615 4194304 4196468 140732530987664 139801614141936 139802139802242 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31359] ppid=31296 vsize=13974356 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31299/task/31359/stat : 31359 (java) S 31296 31299 8289 0 -1 1077944384 153 12347 0 0 0 0 5 2 20 0 15 0 112547151 14309740544 8013 18446744073709551615 4194304 4196468 140732530987664 139801613089392 139802139802242 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31360] ppid=31296 vsize=13974356 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/31299/task/31360/stat : 31360 (java) S 31296 31299 8289 0 -1 1077944384 514 12347 0 0 2 0 5 2 20 0 15 0 112547151 14309740544 8013 18446744073709551615 4194304 4196468 140732530987664 139801612036848 139802139802242 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31361] ppid=31296 vsize=13974356 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31299/task/31361/stat : 31361 (java) S 31296 31299 8289 0 -1 1077944384 3 12347 0 0 0 0 5 2 20 0 15 0 112547151 14309740544 8013 18446744073709551615 4194304 4196468 140732530987664 139801610984544 139802139801301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31362] ppid=31296 vsize=13974356 memory=140215705736832 CPUtime=0.07 cores=1,3,5,7
/proc/31299/task/31362/stat : 31362 (java) S 31296 31299 8289 0 -1 1077944384 1 12347 0 0 0 0 5 2 20 0 15 0 112547154 14309740544 8013 18446744073709551615 4194304 4196468 140732530987664 139801609931056 139802139802242 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 13974356 KiB
Current children cumulated memory: 31792 KiB
[startup+0.70126 s]
/proc/loadavg: 1.67 1.90 1.96 3/214 31362
/proc/meminfo: memFree=30477292/32770624 swapFree=67108860/67108860
[pid=31299] ppid=31296 vsize=13974784 memory=59364 CPUtime=0.71 cores=1,3,5,7
/proc/31299/stat : 31299 (java) S 31296 31299 8289 0 -1 1077944320 13940 12347 0 0 60 4 5 2 20 0 15 0 112547126 14310178816 14841 18446744073709551615 4194304 4196468 140732530987664 140732530970208 139802139791095 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 5 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
/proc/31299/statm: 3493696 14841 3121 1 0 3482965 0
[pid=31299/tid=31349] ppid=31296 vsize=13974784 memory=0 CPUtime=0.52 cores=1,3,5,7
/proc/31299/task/31349/stat : 31349 (java) R 31296 31299 8289 0 -1 4202560 10285 12347 0 0 42 3 5 2 20 0 15 0 112547145 14310178816 14841 18446744073709551615 4194304 4196468 140732530987664 139802143990512 139802120062514 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31350] ppid=31296 vsize=13974784 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31299/task/31350/stat : 31350 (java) S 31296 31299 8289 0 -1 1077944384 2 12347 0 0 0 0 5 2 20 0 15 0 112547146 14310178816 14841 18446744073709551615 4194304 4196468 140732530987664 139802059205392 139802139801301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31351] ppid=31296 vsize=13974784 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31299/task/31351/stat : 31351 (java) S 31296 31299 8289 0 -1 1077944384 1 12347 0 0 0 0 5 2 20 0 15 0 112547146 14310178816 14841 18446744073709551615 4194304 4196468 140732530987664 139801739127696 139802139801301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31352] ppid=31296 vsize=13974784 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31299/task/31352/stat : 31352 (java) S 31296 31299 8289 0 -1 1077944384 1 12347 0 0 0 0 5 2 20 0 15 0 112547146 14310178816 14841 18446744073709551615 4194304 4196468 140732530987664 139801738075152 139802139801301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31353] ppid=31296 vsize=13974784 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31299/task/31353/stat : 31353 (java) S 31296 31299 8289 0 -1 1077944384 2 12347 0 0 0 0 5 2 20 0 15 0 112547146 14310178816 14841 18446744073709551615 4194304 4196468 140732530987664 139801737022608 139802139801301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31354] ppid=31296 vsize=13974784 memory=170 CPUtime=0.07 cores=1,3,5,7
/proc/31299/task/31354/stat : 31354 (java) S 31296 31299 8289 0 -1 1077944384 6 12347 0 0 0 0 5 2 20 0 15 0 112547147 14310178816 14841 18446744073709551615 4194304 4196468 140732530987664 139801618352112 139802139802242 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31355] ppid=31296 vsize=13974784 memory=1 CPUtime=0.07 cores=1,3,5,7
/proc/31299/task/31355/stat : 31355 (java) S 31296 31299 8289 0 -1 1077944384 33 12347 0 0 0 0 5 2 20 0 15 0 112547148 14310178816 14841 18446744073709551615 4194304 4196468 140732530987664 139801617298336 139802139801301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31356] ppid=31296 vsize=13974784 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31299/task/31356/stat : 31356 (java) S 31296 31299 8289 0 -1 1077944384 21 12347 0 0 0 0 5 2 20 0 15 0 112547148 14310178816 14841 18446744073709551615 4194304 4196468 140732530987664 139801616245744 139802139801301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31357] ppid=31296 vsize=13974784 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31299/task/31357/stat : 31357 (java) S 31296 31299 8289 0 -1 1077944384 3 12347 0 0 0 0 5 2 20 0 15 0 112547150 14310178816 14841 18446744073709551615 4194304 4196468 140732530987664 139801615194320 139802139809691 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31358] ppid=31296 vsize=13974784 memory=26 CPUtime=0.09 cores=1,3,5,7
/proc/31299/task/31358/stat : 31358 (java) S 31296 31299 8289 0 -1 1077944384 627 12347 0 0 2 0 5 2 20 0 15 0 112547151 14310178816 14841 18446744073709551615 4194304 4196468 140732530987664 139801614141936 139802139802242 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31359] ppid=31296 vsize=13974784 memory=52748 CPUtime=0.1 cores=1,3,5,7
/proc/31299/task/31359/stat : 31359 (java) S 31296 31299 8289 0 -1 1077944384 220 12347 0 0 3 0 5 2 20 0 15 0 112547151 14310178816 14841 18446744073709551615 4194304 4196468 140732530987664 139801613089392 139802139802242 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31360] ppid=31296 vsize=13974784 memory=-8774313645642428999 CPUtime=0.17 cores=1,3,5,7
/proc/31299/task/31360/stat : 31360 (java) S 31296 31299 8289 0 -1 1077944384 583 12347 0 0 10 0 5 2 20 0 15 0 112547151 14310178816 14841 18446744073709551615 4194304 4196468 140732530987664 139801612036848 139802139802242 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31361] ppid=31296 vsize=13974784 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31299/task/31361/stat : 31361 (java) S 31296 31299 8289 0 -1 1077944384 3 12347 0 0 0 0 5 2 20 0 15 0 112547151 14310178816 14841 18446744073709551615 4194304 4196468 140732530987664 139801610984544 139802139801301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31362] ppid=31296 vsize=13974784 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31299/task/31362/stat : 31362 (java) S 31296 31299 8289 0 -1 1077944384 1 12347 0 0 0 0 5 2 20 0 15 0 112547154 14310178816 14841 18446744073709551615 4194304 4196468 140732530987664 139801609931056 139802139802242 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
Current children cumulated CPU time: 0.71 s
Current children cumulated vsize: 13974784 KiB
Current children cumulated memory: 59364 KiB
[startup+1.50079 s]
/proc/loadavg: 1.67 1.90 1.96 3/214 31362
/proc/meminfo: memFree=30434620/32770624 swapFree=67108860/67108860
[pid=31299] ppid=31296 vsize=13985408 memory=172872 CPUtime=1.91 cores=1,3,5,7
/proc/31299/stat : 31299 (java) S 31296 31299 8289 0 -1 1077944320 29686 12347 0 0 174 10 5 2 20 0 15 0 112547126 14321057792 43218 18446744073709551615 4194304 4196468 140732530987664 140732530970208 139802139791095 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 5 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
/proc/31299/statm: 3496352 43218 3375 1 0 3485525 0
[pid=31299/tid=31349] ppid=31296 vsize=13985408 memory=1620 CPUtime=1.28 cores=1,3,5,7
/proc/31299/task/31349/stat : 31349 (java) R 31296 31299 8289 0 -1 4202560 22564 12347 0 0 115 6 5 2 20 0 15 0 112547145 14321057792 43218 18446744073709551615 4194304 4196468 140732530987664 139802144018480 139802123834725 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31350] ppid=31296 vsize=13985408 memory=140215705735745 CPUtime=0.08 cores=1,3,5,7
/proc/31299/task/31350/stat : 31350 (java) S 31296 31299 8289 0 -1 1077944384 41 12347 0 0 1 0 5 2 20 0 15 0 112547146 14321057792 43218 18446744073709551615 4194304 4196468 140732530987664 139802059205392 139802139801301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31351] ppid=31296 vsize=13985408 memory=4137280412607091059 CPUtime=0.07 cores=1,3,5,7
/proc/31299/task/31351/stat : 31351 (java) S 31296 31299 8289 0 -1 1077944384 187 12347 0 0 0 0 5 2 20 0 15 0 112547146 14321057792 43218 18446744073709551615 4194304 4196468 140732530987664 139801739127696 139802139801301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31352] ppid=31296 vsize=13985408 memory=7 CPUtime=0.08 cores=1,3,5,7
/proc/31299/task/31352/stat : 31352 (java) S 31296 31299 8289 0 -1 1077944384 55 12347 0 0 1 0 5 2 20 0 15 0 112547146 14321057792 43218 18446744073709551615 4194304 4196468 140732530987664 139801738075152 139802139801301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31353] ppid=31296 vsize=13985408 memory=7 CPUtime=0.08 cores=1,3,5,7
/proc/31299/task/31353/stat : 31353 (java) S 31296 31299 8289 0 -1 1077944384 74 12347 0 0 1 0 5 2 20 0 15 0 112547146 14321057792 43218 18446744073709551615 4194304 4196468 140732530987664 139801737022608 139802139801301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31354] ppid=31296 vsize=13985408 memory=7 CPUtime=0.08 cores=1,3,5,7
/proc/31299/task/31354/stat : 31354 (java) S 31296 31299 8289 0 -1 1077944384 1314 12347 0 0 1 0 5 2 20 0 15 0 112547147 14321057792 43218 18446744073709551615 4194304 4196468 140732530987664 139801618352112 139802139802242 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31355] ppid=31296 vsize=13985408 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/31299/task/31355/stat : 31355 (java) S 31296 31299 8289 0 -1 1077944384 54 12347 0 0 0 0 5 2 20 0 15 0 112547148 14321057792 43218 18446744073709551615 4194304 4196468 140732530987664 139801617298400 139802139801301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31356] ppid=31296 vsize=13985408 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/31299/task/31356/stat : 31356 (java) S 31296 31299 8289 0 -1 1077944384 43 12347 0 0 0 0 5 2 20 0 15 0 112547148 14321057792 43218 18446744073709551615 4194304 4196468 140732530987664 139801616245760 139802139801301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31357] ppid=31296 vsize=13985408 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31299/task/31357/stat : 31357 (java) S 31296 31299 8289 0 -1 1077944384 3 12347 0 0 0 0 5 2 20 0 15 0 112547150 14321057792 43218 18446744073709551615 4194304 4196468 140732530987664 139801615194320 139802139809691 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31358] ppid=31296 vsize=13985408 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/31299/task/31358/stat : 31358 (java) S 31296 31299 8289 0 -1 1077944384 1209 12347 0 0 15 0 5 2 20 0 15 0 112547151 14321057792 43218 18446744073709551615 4194304 4196468 140732530987664 139801614141936 139802139802242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31359] ppid=31296 vsize=13985408 memory=-6662747570986533011 CPUtime=0.19 cores=1,3,5,7
/proc/31299/task/31359/stat : 31359 (java) S 31296 31299 8289 0 -1 1077944384 543 12347 0 0 12 0 5 2 20 0 15 0 112547151 14321057792 43218 18446744073709551615 4194304 4196468 140732530987664 139801613089392 139802139802242 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31360] ppid=31296 vsize=13985408 memory=5937503940875993185 CPUtime=0.3 cores=1,3,5,7
/proc/31299/task/31360/stat : 31360 (java) S 31296 31299 8289 0 -1 1077944384 1438 12347 0 0 23 0 5 2 20 0 15 0 112547151 14321057792 43218 18446744073709551615 4194304 4196468 140732530987664 139801612036848 139802139802242 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31361] ppid=31296 vsize=13985408 memory=5792567211086332000 CPUtime=0.07 cores=1,3,5,7
/proc/31299/task/31361/stat : 31361 (java) S 31296 31299 8289 0 -1 1077944384 3 12347 0 0 0 0 5 2 20 0 15 0 112547151 14321057792 43218 18446744073709551615 4194304 4196468 140732530987664 139801610984544 139802139801301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31362] ppid=31296 vsize=13985408 memory=7666631141572832339 CPUtime=0.07 cores=1,3,5,7
################
# More data... #
################
/proc/31299/task/31349/stat : 31349 (java) R 31296 31299 8289 0 -1 4202560 56585 12347 0 0 16057 27 5 2 20 0 15 0 112547145 14407233536 257617 18446744073709551615 4194304 4196468 140732530987664 139802144025248 139801743120484 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31350] ppid=31296 vsize=14069564 memory=1030468 CPUtime=0.62 cores=1,3,5,7
/proc/31299/task/31350/stat : 31350 (java) S 31296 31299 8289 0 -1 1077944384 591 12347 0 0 52 3 5 2 20 0 15 0 112547146 14407233536 257617 18446744073709551615 4194304 4196468 140732530987664 139802059205392 139802139801301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31351] ppid=31296 vsize=14069564 memory=1030468 CPUtime=0.61 cores=1,3,5,7
/proc/31299/task/31351/stat : 31351 (java) S 31296 31299 8289 0 -1 1077944384 1069 12347 0 0 51 3 5 2 20 0 15 0 112547146 14407233536 257617 18446744073709551615 4194304 4196468 140732530987664 139801739127696 139802139801301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31352] ppid=31296 vsize=14069564 memory=1030468 CPUtime=0.6 cores=1,3,5,7
/proc/31299/task/31352/stat : 31352 (java) S 31296 31299 8289 0 -1 1077944384 4060 12347 0 0 49 4 5 2 20 0 15 0 112547146 14407233536 257617 18446744073709551615 4194304 4196468 140732530987664 139801738075152 139802139801301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31353] ppid=31296 vsize=14069564 memory=1030388 CPUtime=0.61 cores=1,3,5,7
/proc/31299/task/31353/stat : 31353 (java) S 31296 31299 8289 0 -1 1077944384 2050 12347 0 0 51 3 5 2 20 0 15 0 112547146 14407233536 257617 18446744073709551615 4194304 4196468 140732530987664 139801737022608 139802139801301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31354] ppid=31296 vsize=14069564 memory=1724 CPUtime=0.56 cores=1,3,5,7
/proc/31299/task/31354/stat : 31354 (java) S 31296 31299 8289 0 -1 1077944384 4406 12347 0 0 47 2 5 2 20 0 15 0 112547147 14407233536 257617 18446744073709551615 4194304 4196468 140732530987664 139801618352112 139802139802242 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31355] ppid=31296 vsize=14069564 memory=1030468 CPUtime=0.07 cores=1,3,5,7
/proc/31299/task/31355/stat : 31355 (java) S 31296 31299 8289 0 -1 1077944384 60 12347 0 0 0 0 5 2 20 0 15 0 112547148 14407233536 257617 18446744073709551615 4194304 4196468 140732530987664 139801617298464 139802139801301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31356] ppid=31296 vsize=14069564 memory=280431166700064 CPUtime=0.07 cores=1,3,5,7
/proc/31299/task/31356/stat : 31356 (java) S 31296 31299 8289 0 -1 1077944384 50 12347 0 0 0 0 5 2 20 0 15 0 112547148 14407233536 257617 18446744073709551615 4194304 4196468 140732530987664 139801616245760 139802139801301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31357] ppid=31296 vsize=14069564 memory=1030468 CPUtime=0.07 cores=1,3,5,7
/proc/31299/task/31357/stat : 31357 (java) S 31296 31299 8289 0 -1 1077944384 3 12347 0 0 0 0 5 2 20 0 15 0 112547150 14407233536 257617 18446744073709551615 4194304 4196468 140732530987664 139801615194320 139802139809691 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31358] ppid=31296 vsize=14069564 memory=7584172172082901604 CPUtime=10.33 cores=1,3,5,7
/proc/31299/task/31358/stat : 31358 (java) S 31296 31299 8289 0 -1 1077944384 22961 12347 0 0 1021 5 5 2 20 0 15 0 112547151 14407233536 257617 18446744073709551615 4194304 4196468 140732530987664 139801614141936 139802139802242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31359] ppid=31296 vsize=14069564 memory=1200 CPUtime=9.58 cores=1,3,5,7
/proc/31299/task/31359/stat : 31359 (java) S 31296 31299 8289 0 -1 1077944384 18172 12347 0 0 946 5 5 2 20 0 15 0 112547151 14407233536 257617 18446744073709551615 4194304 4196468 140732530987664 139801613089392 139802139802242 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31360] ppid=31296 vsize=14069564 memory=15876 CPUtime=3.84 cores=1,3,5,7
/proc/31299/task/31360/stat : 31360 (java) S 31296 31299 8289 0 -1 1077944384 27000 12347 0 0 370 7 5 2 20 0 15 0 112547151 14407233536 257617 18446744073709551615 4194304 4196468 140732530987664 139801612036848 139802139802242 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31361] ppid=31296 vsize=14069564 memory=1030468 CPUtime=0.07 cores=1,3,5,7
/proc/31299/task/31361/stat : 31361 (java) S 31296 31299 8289 0 -1 1077944384 3 12347 0 0 0 0 5 2 20 0 15 0 112547151 14407233536 257617 18446744073709551615 4194304 4196468 140732530987664 139801610984544 139802139801301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31362] ppid=31296 vsize=14069564 memory=1030468 CPUtime=0.15 cores=1,3,5,7
/proc/31299/task/31362/stat : 31362 (java) S 31296 31299 8289 0 -1 1077944384 191 12347 0 0 3 5 5 2 20 0 15 0 112547154 14407233536 257617 18446744073709551615 4194304 4196468 140732530987664 139801609931056 139802139802242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
Current children cumulated CPU time: 187.29 s
Current children cumulated vsize: 14069564 KiB
Current children cumulated memory: 1030468 KiB
[startup+222.301 s]
/proc/loadavg: 1.32 1.72 1.89 3/217 31507
/proc/meminfo: memFree=29479904/32770624 swapFree=67108860/67108860
[pid=31299] ppid=31296 vsize=14069564 memory=1025924 CPUtime=248.39 cores=1,3,5,7
/proc/31299/stat : 31299 (java) S 31296 31299 8289 0 -1 1077944320 152841 12347 0 0 24759 73 5 2 20 0 15 0 112547126 14407233536 256481 18446744073709551615 4194304 4196468 140732530987664 140732530970208 139802139791095 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 5 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
/proc/31299/statm: 3517391 256481 3487 1 0 3506005 0
[pid=31299/tid=31349] ppid=31296 vsize=14069564 memory=1026160 CPUtime=220.34 cores=1,3,5,7
/proc/31299/task/31349/stat : 31349 (java) R 31296 31299 8289 0 -1 4202560 59409 12347 0 0 21999 28 5 2 20 0 15 0 112547145 14407233536 256481 18446744073709551615 4194304 4196468 140732530987664 139802144025184 139801741843837 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31350] ppid=31296 vsize=14069564 memory=1025648 CPUtime=0.89 cores=1,3,5,7
/proc/31299/task/31350/stat : 31350 (java) S 31296 31299 8289 0 -1 1077944384 3754 12347 0 0 78 4 5 2 20 0 15 0 112547146 14407233536 256481 18446744073709551615 4194304 4196468 140732530987664 139802059205392 139802139801301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31351] ppid=31296 vsize=14069564 memory=1025648 CPUtime=0.89 cores=1,3,5,7
/proc/31299/task/31351/stat : 31351 (java) S 31296 31299 8289 0 -1 1077944384 1187 12347 0 0 77 5 5 2 20 0 15 0 112547146 14407233536 256481 18446744073709551615 4194304 4196468 140732530987664 139801739127696 139802139801301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31352] ppid=31296 vsize=14069564 memory=1025924 CPUtime=0.87 cores=1,3,5,7
/proc/31299/task/31352/stat : 31352 (java) S 31296 31299 8289 0 -1 1077944384 4315 12347 0 0 74 6 5 2 20 0 15 0 112547146 14407233536 256481 18446744073709551615 4194304 4196468 140732530987664 139801738075152 139802139801301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31353] ppid=31296 vsize=14069564 memory=82 CPUtime=0.89 cores=1,3,5,7
/proc/31299/task/31353/stat : 31353 (java) S 31296 31299 8289 0 -1 1077944384 2262 12347 0 0 78 4 5 2 20 0 15 0 112547146 14407233536 256481 18446744073709551615 4194304 4196468 140732530987664 139801737022608 139802139801301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31354] ppid=31296 vsize=14069564 memory=20266 CPUtime=0.79 cores=1,3,5,7
/proc/31299/task/31354/stat : 31354 (java) S 31296 31299 8289 0 -1 1077944384 5093 12347 0 0 69 3 5 2 20 0 15 0 112547147 14407233536 256481 18446744073709551615 4194304 4196468 140732530987664 139801618352112 139802139802242 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31355] ppid=31296 vsize=14069564 memory=1025648 CPUtime=0.07 cores=1,3,5,7
/proc/31299/task/31355/stat : 31355 (java) S 31296 31299 8289 0 -1 1077944384 63 12347 0 0 0 0 5 2 20 0 15 0 112547148 14407233536 256481 18446744073709551615 4194304 4196468 140732530987664 139801617298464 139802139801301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31356] ppid=31296 vsize=14069564 memory=4168 CPUtime=0.07 cores=1,3,5,7
/proc/31299/task/31356/stat : 31356 (java) S 31296 31299 8289 0 -1 1077944384 50 12347 0 0 0 0 5 2 20 0 15 0 112547148 14407233536 256481 18446744073709551615 4194304 4196468 140732530987664 139801616245760 139802139801301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31357] ppid=31296 vsize=14069564 memory=1025648 CPUtime=0.07 cores=1,3,5,7
/proc/31299/task/31357/stat : 31357 (java) S 31296 31299 8289 0 -1 1077944384 3 12347 0 0 0 0 5 2 20 0 15 0 112547150 14407233536 256481 18446744073709551615 4194304 4196468 140732530987664 139801615194320 139802139809691 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31358] ppid=31296 vsize=14069564 memory=4168 CPUtime=10.45 cores=1,3,5,7
/proc/31299/task/31358/stat : 31358 (java) S 31296 31299 8289 0 -1 1077944384 23728 12347 0 0 1033 5 5 2 20 0 15 0 112547151 14407233536 256481 18446744073709551615 4194304 4196468 140732530987664 139801614141936 139802139802242 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31359] ppid=31296 vsize=14069564 memory=1025648 CPUtime=9.69 cores=1,3,5,7
/proc/31299/task/31359/stat : 31359 (java) S 31296 31299 8289 0 -1 1077944384 18619 12347 0 0 957 5 5 2 20 0 15 0 112547151 14407233536 256481 18446744073709551615 4194304 4196468 140732530987664 139801613089392 139802139802242 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31360] ppid=31296 vsize=14069564 memory=4168 CPUtime=3.92 cores=1,3,5,7
/proc/31299/task/31360/stat : 31360 (java) S 31296 31299 8289 0 -1 1077944384 31982 12347 0 0 377 8 5 2 20 0 15 0 112547151 14407233536 256481 18446744073709551615 4194304 4196468 140732530987664 139801612036848 139802139802242 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31361] ppid=31296 vsize=14069564 memory=1025648 CPUtime=0.07 cores=1,3,5,7
/proc/31299/task/31361/stat : 31361 (java) S 31296 31299 8289 0 -1 1077944384 3 12347 0 0 0 0 5 2 20 0 15 0 112547151 14407233536 256481 18446744073709551615 4194304 4196468 140732530987664 139801610984544 139802139801301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31362] ppid=31296 vsize=14069564 memory=288230617509003574 CPUtime=0.18 cores=1,3,5,7
/proc/31299/task/31362/stat : 31362 (java) S 31296 31299 8289 0 -1 1077944384 221 12347 0 0 5 6 5 2 20 0 15 0 112547154 14407233536 256481 18446744073709551615 4194304 4196468 140732530987664 139801609931056 139802139802242 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
Current children cumulated CPU time: 248.39 s
Current children cumulated vsize: 14069564 KiB
Current children cumulated memory: 1025924 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+225.901 s]
/proc/loadavg: 1.38 1.72 1.89 3/217 31508
/proc/meminfo: memFree=29480028/32770624 swapFree=67108860/67108860
[pid=31299] ppid=31296 vsize=14069564 memory=1025984 CPUtime=252.05 cores=1,3,5,7
/proc/31299/stat : 31299 (java) S 31296 31299 8289 0 -1 1077944320 153335 12347 0 0 25124 74 5 2 20 0 15 0 112547126 14407233536 256496 18446744073709551615 4194304 4196468 140732530987664 140732530970208 139802139791095 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 5 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
/proc/31299/statm: 3517391 256496 3487 1 0 3506005 0
[pid=31299/tid=31349] ppid=31296 vsize=14069564 memory=1232 CPUtime=223.91 cores=1,3,5,7
/proc/31299/task/31349/stat : 31349 (java) R 31296 31299 8289 0 -1 4202560 59774 12347 0 0 22356 28 5 2 20 0 15 0 112547145 14407233536 256496 18446744073709551615 4194304 4196468 140732530987664 139802144024688 139801758771632 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31350] ppid=31296 vsize=14069564 memory=1025984 CPUtime=0.91 cores=1,3,5,7
/proc/31299/task/31350/stat : 31350 (java) S 31296 31299 8289 0 -1 1077944384 3780 12347 0 0 80 4 5 2 20 0 15 0 112547146 14407233536 256496 18446744073709551615 4194304 4196468 140732530987664 139802059205392 139802139801301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31351] ppid=31296 vsize=14069564 memory=1025984 CPUtime=0.91 cores=1,3,5,7
/proc/31299/task/31351/stat : 31351 (java) S 31296 31299 8289 0 -1 1077944384 1203 12347 0 0 79 5 5 2 20 0 15 0 112547146 14407233536 256496 18446744073709551615 4194304 4196468 140732530987664 139801739127696 139802139801301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31352] ppid=31296 vsize=14069564 memory=1026160 CPUtime=0.89 cores=1,3,5,7
/proc/31299/task/31352/stat : 31352 (java) S 31296 31299 8289 0 -1 1077944384 4331 12347 0 0 76 6 5 2 20 0 15 0 112547146 14407233536 256496 18446744073709551615 4194304 4196468 140732530987664 139801738075152 139802139801301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31353] ppid=31296 vsize=14069564 memory=1025648 CPUtime=0.9 cores=1,3,5,7
/proc/31299/task/31353/stat : 31353 (java) S 31296 31299 8289 0 -1 1077944384 2299 12347 0 0 79 4 5 2 20 0 15 0 112547146 14407233536 256496 18446744073709551615 4194304 4196468 140732530987664 139801737022608 139802139801301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31354] ppid=31296 vsize=14069564 memory=1025924 CPUtime=0.81 cores=1,3,5,7
/proc/31299/task/31354/stat : 31354 (java) S 31296 31299 8289 0 -1 1077944384 5127 12347 0 0 71 3 5 2 20 0 15 0 112547147 14407233536 256496 18446744073709551615 4194304 4196468 140732530987664 139801618352112 139802139802242 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31355] ppid=31296 vsize=14069564 memory=1025984 CPUtime=0.07 cores=1,3,5,7
/proc/31299/task/31355/stat : 31355 (java) S 31296 31299 8289 0 -1 1077944384 63 12347 0 0 0 0 5 2 20 0 15 0 112547148 14407233536 256496 18446744073709551615 4194304 4196468 140732530987664 139801617298464 139802139801301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31356] ppid=31296 vsize=14069564 memory=1025984 CPUtime=0.07 cores=1,3,5,7
/proc/31299/task/31356/stat : 31356 (java) S 31296 31299 8289 0 -1 1077944384 50 12347 0 0 0 0 5 2 20 0 15 0 112547148 14407233536 256496 18446744073709551615 4194304 4196468 140732530987664 139801616245760 139802139801301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31357] ppid=31296 vsize=14069564 memory=1025984 CPUtime=0.07 cores=1,3,5,7
/proc/31299/task/31357/stat : 31357 (java) S 31296 31299 8289 0 -1 1077944384 3 12347 0 0 0 0 5 2 20 0 15 0 112547150 14407233536 256496 18446744073709551615 4194304 4196468 140732530987664 139801615194320 139802139809691 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31358] ppid=31296 vsize=14069564 memory=1025984 CPUtime=10.45 cores=1,3,5,7
/proc/31299/task/31358/stat : 31358 (java) S 31296 31299 8289 0 -1 1077944384 23728 12347 0 0 1033 5 5 2 20 0 15 0 112547151 14407233536 256496 18446744073709551615 4194304 4196468 140732530987664 139801614141936 139802139802242 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31359] ppid=31296 vsize=14069564 memory=20266 CPUtime=9.69 cores=1,3,5,7
/proc/31299/task/31359/stat : 31359 (java) S 31296 31299 8289 0 -1 1077944384 18619 12347 0 0 957 5 5 2 20 0 15 0 112547151 14407233536 256496 18446744073709551615 4194304 4196468 140732530987664 139801613089392 139802139802242 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31360] ppid=31296 vsize=14069564 memory=1025984 CPUtime=3.92 cores=1,3,5,7
/proc/31299/task/31360/stat : 31360 (java) S 31296 31299 8289 0 -1 1077944384 31982 12347 0 0 377 8 5 2 20 0 15 0 112547151 14407233536 256496 18446744073709551615 4194304 4196468 140732530987664 139801612036848 139802139802242 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31361] ppid=31296 vsize=14069564 memory=1025984 CPUtime=0.07 cores=1,3,5,7
/proc/31299/task/31361/stat : 31361 (java) S 31296 31299 8289 0 -1 1077944384 3 12347 0 0 0 0 5 2 20 0 15 0 112547151 14407233536 256496 18446744073709551615 4194304 4196468 140732530987664 139801610984544 139802139801301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31362] ppid=31296 vsize=14069564 memory=1025984 CPUtime=0.18 cores=1,3,5,7
/proc/31299/task/31362/stat : 31362 (java) S 31296 31299 8289 0 -1 1077944384 221 12347 0 0 5 6 5 2 20 0 15 0 112547154 14407233536 256496 18446744073709551615 4194304 4196468 140732530987664 139801609931056 139802139802242 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 14069564 KiB
Current children cumulated memory: 1025984 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+225.942 s]
# the end of solver process 31299 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.328 s, system=0.788976 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+225.901 s]
/proc/loadavg: 1.38 1.72 1.89 3/217 31508
/proc/meminfo: memFree=29480028/32770624 swapFree=67108860/67108860
[pid=31299] ppid=31296 vsize=14069564 memory=1025984 CPUtime=252.05 cores=1,3,5,7
/proc/31299/stat : 31299 (java) S 31296 31299 8289 0 -1 1077944320 153335 12347 0 0 25124 74 5 2 20 0 15 0 112547126 14407233536 256496 18446744073709551615 4194304 4196468 140732530987664 140732530970208 139802139791095 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 5 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
/proc/31299/statm: 3517391 256496 3487 1 0 3506005 0
[pid=31299/tid=31349] ppid=31296 vsize=14069564 memory=1232 CPUtime=223.91 cores=1,3,5,7
/proc/31299/task/31349/stat : 31349 (java) R 31296 31299 8289 0 -1 4202560 59774 12347 0 0 22356 28 5 2 20 0 15 0 112547145 14407233536 256496 18446744073709551615 4194304 4196468 140732530987664 139802144024688 139801758771632 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31350] ppid=31296 vsize=14069564 memory=1025984 CPUtime=0.91 cores=1,3,5,7
/proc/31299/task/31350/stat : 31350 (java) S 31296 31299 8289 0 -1 1077944384 3780 12347 0 0 80 4 5 2 20 0 15 0 112547146 14407233536 256496 18446744073709551615 4194304 4196468 140732530987664 139802059205392 139802139801301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31351] ppid=31296 vsize=14069564 memory=1025984 CPUtime=0.91 cores=1,3,5,7
/proc/31299/task/31351/stat : 31351 (java) S 31296 31299 8289 0 -1 1077944384 1203 12347 0 0 79 5 5 2 20 0 15 0 112547146 14407233536 256496 18446744073709551615 4194304 4196468 140732530987664 139801739127696 139802139801301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31352] ppid=31296 vsize=14069564 memory=1026160 CPUtime=0.89 cores=1,3,5,7
/proc/31299/task/31352/stat : 31352 (java) S 31296 31299 8289 0 -1 1077944384 4331 12347 0 0 76 6 5 2 20 0 15 0 112547146 14407233536 256496 18446744073709551615 4194304 4196468 140732530987664 139801738075152 139802139801301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31353] ppid=31296 vsize=14069564 memory=1025648 CPUtime=0.9 cores=1,3,5,7
/proc/31299/task/31353/stat : 31353 (java) S 31296 31299 8289 0 -1 1077944384 2299 12347 0 0 79 4 5 2 20 0 15 0 112547146 14407233536 256496 18446744073709551615 4194304 4196468 140732530987664 139801737022608 139802139801301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31354] ppid=31296 vsize=14069564 memory=1025924 CPUtime=0.81 cores=1,3,5,7
/proc/31299/task/31354/stat : 31354 (java) S 31296 31299 8289 0 -1 1077944384 5127 12347 0 0 71 3 5 2 20 0 15 0 112547147 14407233536 256496 18446744073709551615 4194304 4196468 140732530987664 139801618352112 139802139802242 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31355] ppid=31296 vsize=14069564 memory=1025984 CPUtime=0.07 cores=1,3,5,7
/proc/31299/task/31355/stat : 31355 (java) S 31296 31299 8289 0 -1 1077944384 63 12347 0 0 0 0 5 2 20 0 15 0 112547148 14407233536 256496 18446744073709551615 4194304 4196468 140732530987664 139801617298464 139802139801301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31356] ppid=31296 vsize=14069564 memory=1025984 CPUtime=0.07 cores=1,3,5,7
/proc/31299/task/31356/stat : 31356 (java) S 31296 31299 8289 0 -1 1077944384 50 12347 0 0 0 0 5 2 20 0 15 0 112547148 14407233536 256496 18446744073709551615 4194304 4196468 140732530987664 139801616245760 139802139801301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31357] ppid=31296 vsize=14069564 memory=1025984 CPUtime=0.07 cores=1,3,5,7
/proc/31299/task/31357/stat : 31357 (java) S 31296 31299 8289 0 -1 1077944384 3 12347 0 0 0 0 5 2 20 0 15 0 112547150 14407233536 256496 18446744073709551615 4194304 4196468 140732530987664 139801615194320 139802139809691 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31358] ppid=31296 vsize=14069564 memory=1025984 CPUtime=10.45 cores=1,3,5,7
/proc/31299/task/31358/stat : 31358 (java) S 31296 31299 8289 0 -1 1077944384 23728 12347 0 0 1033 5 5 2 20 0 15 0 112547151 14407233536 256496 18446744073709551615 4194304 4196468 140732530987664 139801614141936 139802139802242 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31359] ppid=31296 vsize=14069564 memory=20266 CPUtime=9.69 cores=1,3,5,7
/proc/31299/task/31359/stat : 31359 (java) S 31296 31299 8289 0 -1 1077944384 18619 12347 0 0 957 5 5 2 20 0 15 0 112547151 14407233536 256496 18446744073709551615 4194304 4196468 140732530987664 139801613089392 139802139802242 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31360] ppid=31296 vsize=14069564 memory=1025984 CPUtime=3.92 cores=1,3,5,7
/proc/31299/task/31360/stat : 31360 (java) S 31296 31299 8289 0 -1 1077944384 31982 12347 0 0 377 8 5 2 20 0 15 0 112547151 14407233536 256496 18446744073709551615 4194304 4196468 140732530987664 139801612036848 139802139802242 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31361] ppid=31296 vsize=14069564 memory=1025984 CPUtime=0.07 cores=1,3,5,7
/proc/31299/task/31361/stat : 31361 (java) S 31296 31299 8289 0 -1 1077944384 3 12347 0 0 0 0 5 2 20 0 15 0 112547151 14407233536 256496 18446744073709551615 4194304 4196468 140732530987664 139801610984544 139802139801301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
[pid=31299/tid=31362] ppid=31296 vsize=14069564 memory=1025984 CPUtime=0.18 cores=1,3,5,7
/proc/31299/task/31362/stat : 31362 (java) S 31296 31299 8289 0 -1 1077944384 221 12347 0 0 5 6 5 2 20 0 15 0 112547154 14407233536 256496 18446744073709551615 4194304 4196468 140732530987664 139801609931056 139802139802242 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31293440 140732530993072 140732530995857 140732530995857 140732530999247 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 14069564 KiB
Current children cumulated memory: 1025984 KiB
Child status: 143
Real time (s): 225.942
CPU time (s): 252.117
CPU user time (s): 251.328
CPU system time (s): 0.788976
CPU usage (%): 111.584
Max. virtual memory (cumulated for all children) (KiB): 14071684
Max. memory (cumulated for all children) (KiB): 1049912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.328
system time used= 0.788976
maximum resident set size= 1051964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 170042
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 34352
involuntary context switches= 1654
# summary of solver processes directly reported to runsolver:
# pid: 31299
# total CPU time (s): 252.117
# total CPU user time (s): 251.328
# total CPU system time (s): 0.788976
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.42512 second user time and 2.18797 second system time
The end
Begin job on node133 at 2017-08-13 19:47:51 IDJOB=4259551 IDBENCH=127071 IDSOLVER=2646 FILE ID=node133/4259551-1502647319 RUNJOBID= node133-1502641620-25474 PBS_JOBID= Free space on /tmp= 62008 MiB SOLVER NAME= Concrete 3.4 BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-036.xml COMMAND LINE= bin/concrete BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4259551-1502647319/watcher-4259551-1502647319 -o /tmp/evaluation-result-4259551-1502647319/solver-4259551-1502647319 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502641620-25474 --watchdog 312 bin/concrete HOME/instance-4259551-1502647319.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c07c58ac36c79f91eadbbae5e125078d RANDOM SEED=206662169 node133.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30518584 kB MemAvailable: 31159268 kB Buffers: 238716 kB Cached: 696880 kB SwapCached: 0 kB Active: 1614052 kB Inactive: 186048 kB Active(anon): 805236 kB Inactive(anon): 100804 kB Active(file): 808816 kB Inactive(file): 85244 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 24156 kB Writeback: 4 kB AnonPages: 864032 kB Mapped: 69780 kB Shmem: 41660 kB Slab: 152556 kB SReclaimable: 124916 kB SUnreclaim: 27640 kB KernelStack: 3504 kB PageTables: 6796 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1799052 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 638976 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 132480 kB DirectMap2M: 33413120 kB Free space on /tmp at the end= 61984 MiB End job on node133 at 2017-08-13 19:51:38