Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Concrete 3.8-SuperNG 2018-06-13 | SAT (TO) | 22056 | 2520.12 | 2416.75 |
| Name | TravelingTournament/ TravelingTournament-a3-galaxy16_c18.xml |
| MD5SUM | e08ad5e9bb2dce0f9ded0033a126b6aa |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 20855 |
| Best CPU time to get the best result obtained on this benchmark | 2520.12 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1936 |
| Number of constraints | 8495 |
| Number of domains | 3 |
| Minimum domain size | 2 |
| Maximum domain size | 66 |
| Distribution of domain sizes | [{"size":2,"count":960},{"size":16,"count":480},{"size":66,"count":496}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 50 |
| Distribution of variable degrees | [{"degree":2,"count":976},{"degree":47,"count":448},{"degree":48,"count":480},{"degree":49,"count":30},{"degree":50,"count":2}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 30 |
| Distribution of constraint arities | [{"arity":2,"count":481},{"arity":3,"count":32},{"arity":4,"count":6496},{"arity":5,"count":464},{"arity":16,"count":510},{"arity":18,"count":480},{"arity":30,"count":32}] |
| Number of extensional constraints | 496 |
| Number of intensional constraints | 6977 |
| Distribution of constraint types | [{"type":"extension","count":496},{"type":"intension","count":6977},{"type":"regular","count":16},{"type":"allDifferent","count":30},{"type":"cardinality","count":16},{"type":"element","count":960}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.99/0.74 c Concrete v3.8.1528841891564 running 133.13/96.54 o 23202 134.23/97.19 o 23159 134.37/97.23 o 22993 134.37/97.29 o 22969 134.66/97.32 o 22906 134.92/97.42 o 22893 134.92/97.44 o 22869 220.88/167.06 o 22537 220.98/167.17 o 22354 223.16/169.05 o 22328 226.46/172.37 o 22260 226.56/172.40 o 22218 229.03/174.61 o 22202 229.93/175.59 o 22178 236.53/181.84 o 22166 236.53/181.86 o 22136 236.53/181.88 o 22056 2520.04/2416.71 Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost 2520.04/2416.71 at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24) 2520.04/2416.71 at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53) 2520.04/2416.71 at concrete.BitVectorDomain.$anonfun$filter$1(BitVectorDomain.scala:126) 2520.04/2416.71 at bitvectors.LargeBitVector.filter(LargeBitVector.scala:254) 2520.04/2416.71 at bitvectors.LargeBitVector.filter(LargeBitVector.scala:16) 2520.04/2416.71 at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126) 2520.04/2416.71 at concrete.BitVectorDomain.filter(BitVectorDomain.scala:8) 2520.04/2416.71 at concrete.heuristic.value.BestCost.select(BestCost.scala:53) 2520.04/2416.71 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:102) 2520.04/2416.71 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:102) 2520.04/2416.71 at scala.Function2.$anonfun$tupled$1(Function2.scala:48) 2520.04/2416.71 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:102) 2520.04/2416.71 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:102) 2520.04/2416.71 at scala.Function2.$anonfun$tupled$1(Function2.scala:48) 2520.04/2416.71 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:102) 2520.04/2416.71 at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:108) 2520.04/2416.71 at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42) 2520.04/2416.71 at scala.Option.map(Option.scala:146) 2520.04/2416.71 at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40) 2520.04/2416.71 at concrete.MAC.mac(MAC.scala:203) 2520.04/2416.71 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252) 2520.04/2416.71 at scala.util.Try$.apply(Try.scala:209) 2520.04/2416.71 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194) 2520.04/2416.71 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182) 2520.04/2416.71 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12) 2520.04/2416.71 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61) 2520.04/2416.71 at org.scalameter.Measurer$Default.measure(Measurer.scala:133) 2520.04/2416.71 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51) 2520.04/2416.71 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61) 2520.04/2416.71 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181) 2520.04/2416.71 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194) 2520.04/2416.71 at concrete.MAC.oneRun(MAC.scala:253) 2520.04/2416.71 at concrete.MAC.nextSolution(MAC.scala:272) 2520.04/2416.71 at concrete.MAC.nextSolution(MAC.scala:355) 2520.04/2416.71 at concrete.Solver.hasNext(Solver.scala:166) 2520.04/2416.71 at scala.collection.Iterator.foreach(Iterator.scala:944) 2520.04/2416.71 at scala.collection.Iterator.foreach$(Iterator.scala:944) 2520.04/2416.71 at concrete.Solver.foreach(Solver.scala:68) 2520.04/2416.71 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73) 2520.04/2416.71 at scala.util.Success.$anonfun$map$1(Try.scala:251) 2520.04/2416.71 at scala.util.Success.map(Try.scala:209) 2520.04/2416.71 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68) 2520.04/2416.71 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33) 2520.04/2416.71 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18) 2520.04/2416.71 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121) 2520.04/2416.71 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18) 2520.04/2416.71 at scala.Function0.apply$mcV$sp(Function0.scala:34) 2520.04/2416.71 at scala.Function0.apply$mcV$sp$(Function0.scala:34) 2520.04/2416.71 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12) 2520.04/2416.71 at scala.App.$anonfun$main$1$adapted(App.scala:76) 2520.04/2416.71 at scala.collection.immutable.List.foreach(List.scala:389) 2520.04/2416.71 at scala.App.main(App.scala:76) 2520.04/2416.71 at scala.App.main$(App.scala:74) 2520.04/2416.71 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18) 2520.04/2416.71 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2520.04/2416.72 v <instantiation cost="22056"> 2520.04/2416.72 v <list> 2520.04/2416.72 v o[0][0] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[0][15] o[0][16] o[0][17] o[0][18] o[0][19] o[0][20] o[0][21] o[0][22] o[0][23] o[0][24] o[0][25] o[0][26] o[0][27] o[0][28] o[0][29] o[1][0] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[1][15] o[1][16] o[1][17] o[1][18] o[1][19] o[1][20] o[1][21] o[1][22] o[1][23] o[1][24] o[1][25] o[1][26] o[1][27] o[1][28] o[1][29] o[2][0] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[2][15] o[2][16] o[2][17] o[2][18] o[2][19] o[2][20] o[2][21] o[2][22] o[2][23] o[2][24] o[2][25] o[2][26] o[2][27] o[2][28] o[2][29] o[3][0] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[3][15] o[3][16] o[3][17] o[3][18] o[3][19] o[3][20] o[3][21] o[3][22] o[3][23] o[3][24] o[3][25] o[3][26] o[3][27] o[3][28] o[3][29] o[4][0] o[4][1] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[4][15] o[4][16] o[4][17] o[4][18] o[4][19] o[4][20] o[4][21] o[4][22] o[4][23] o[4][24] o[4][25] o[4][26] o[4][27] o[4][28] o[4][29] o[5][0] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[5][15] o[5][16] o[5][17] o[5][18] o[5][19] o[5][20] o[5][21] o[5][22] o[5][23] o[5][24] o[5][25] o[5][26] o[5][27] o[5][28] o[5][29] o[6][0] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[6][15] o[6][16] o[6][17] o[6][18] o[6][19] o[6][20] o[6][21] o[6][22] o[6][23] o[6][24] o[6][25] o[6][26] o[6][27] o[6][28] o[6][29] o[7][0] o[7][1] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[7][15] o[7][16] o[7][17] o[7][18] o[7][19] o[7][20] o[7][21] o[7][22] o[7][23] o[7][24] o[7][25] o[7][26] o[7][27] o[7][28] o[7][29] o[8][0] o[8][1] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[8][15] o[8][16] o[8][17] o[8][18] o[8][19] o[8][20] o[8][21] o[8][22] o[8][23] o[8][24] o[8][25] o[8][26] o[8][27] o[8][28] o[8][29] o[9][0] o[9][1] o[9][2] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[9][15] o[9][16] o[9][17] o[9][18] o[9][19] o[9][20] o[9][21] o[9][22] o[9][23] o[9][24] o[9][25] o[9][26] o[9][27] o[9][28] o[9][29] o[10][0] o[10][1] o[10][2] o[10][3] o[10][4] o[10][5] o[10][6] o[10][7] o[10][8] o[10][9] o[10][10] o[10][11] o[10][12] o[10][13] o[10][14] o[10][15] o[10][16] o[10][17] o[10][18] o[10][19] o[10][20] o[10][21] o[10][22] o[10][23] o[10][24] o[10][25] o[10][26] o[10][27] o[10][28] o[10][29] o[11][0] o[11][1] o[11][2] o[11][3] o[11][4] o[11][5] o[11][6] o[11][7] o[11][8] o[11][9] o[11][10] o[11][11] o[11][12] o[11][13] o[11][14] o[11][15] o[11][16] o[11][17] o[11][18] o[11][19] o[11][20] o[11][21] o[11][22] o[11][23] o[11][24] o[11][25] o[11][26] o[11][27] o[11][28] o[11][29] o[12][0] o[12][1] o[12][2] o[12][3] o[12][4] o[12][5] o[12][6] o[12][7] o[12][8] o[12][9] o[12][10] o[12][11] o[12][12] o[12][13] o[12][14] o[12][15] o[12][16] o[12][17] o[12][18] o[12][19] o[12][20] o[12][21] o[12][22] o[12][23] o[12][24] o[12][25] o[12][26] o[12][27] o[12][28] o[12][29] o[13][0] o[13][1] o[13][2] o[13][3] o[13][4] o[13][5] o[13][6] o[13][7] o[13][8] o[13][9] o[13][10] o[13][11] o[13][12] o[13][13] o[13][14] o[13][15] o[13][16] o[13][17] o[13][18] o[13][19] o[13][20] o[13][21] o[13][22] o[13][23] o[13][24] o[13][25] o[13][26] o[13][27] o[13][28] o[13][29] o[14][0] o[14][1] o[14][2] o[14][3] o[14][4] o[14][5] o[14][6] o[14][7] o[14][8] o[14][9] o[14][10] o[14][11] o[14][12] o[14][13] o[14][14] o[14][15] o[14][16] o[14][17] o[14][18] o[14][19] o[14][20] o[14][21] o[14][22] o[14][23] o[14][24] o[14][25] o[14][26] o[14][27] o[14][28] o[14][29] o[15][0] o[15][1] o[15][2] o[15][3] o[15][4] o[15][5] o[15][6] o[15][7] o[15][8] o[15][9] o[15][10] o[15][11] o[15][12] o[15][13] o[15][14] o[15][15] o[15][16] o[15][17] o[15][18] o[15][19] o[15][20] o[15][21] o[15][22] o[15][23] o[15][24] o[15][25] o[15][26] o[15][27] o[15][28] o[15][29] h[0][0] h[0][1] h[0][2] h[0][3] h[0][4] h[0][5] h[0][6] h[0][7] h[0][8] h[0][9] h[0][10] h[0][11] h[0][12] h[0][13] h[0][14] h[0][15] h[0][16] h[0][17] h[0][18] h[0][19] h[0][20] h[0][21] h[0][22] h[0][23] h[0][24] h[0][25] h[0][26] h[0][27] h[0][28] h[0][29] h[1][0] h[1][1] h[1][2] h[1][3] h[1][4] h[1][5] h[1][6] h[1][7] h[1][8] h[1][9] h[1][10] h[1][11] h[1][12] h[1][13] h[1][14] h[1][15] h[1][16] h[1][17] h[1][18] h[1][19] h[1][20] h[1][21] h[1][22] h[1][23] h[1][24] h[1][25] h[1][26] h[1][27] h[1][28] h[1][29] h[2][0] h[2][1] h[2][2] h[2][3] h[2][4] h[2][5] h[2][6] h[2][7] h[2][8] h[2][9] h[2][10] h[2][11] h[2][12] h[2][13] h[2][14] h[2][15] h[2][16] h[2][17] h[2][18] h[2][19] h[2][20] h[2][21] h[2][22] h[2][23] h[2][24] h[2][25] h[2][26] h[2][27] h[2][28] h[2][29] h[3][0] h[3][1] h[3][2] h[3][3] h[3][4] h[3][5] h[3][6] h[3][7] h[3][8] h[3][9] h[3][10] h[3][11] h[3][12] h[3][13] h[3][14] h[3][15] h[3][16] h[3][17] h[3][18] h[3][19] h[3][20] h[3][21] h[3][22] h[3][23] h[3][24] h[3][25] h[3][26] h[3][27] h[3][28] h[3][29] h[4][0] h[4][1] h[4][2] h[4][3] h[4][4] h[4][5] h[4][6] h[4][7] h[4][8] h[4][9] h[4][10] h[4][11] h[4][12] h[4][13] h[4][14] h[4][15] h[4][16] h[4][17] h[4][18] h[4][19] h[4][20] h[4][21] h[4][22] h[4][23] h[4][24] h[4][25] h[4][26] h[4][27] h[4][28] h[4][29] h[5][0] h[5][1] h[5][2] h[5][3] h[5][4] h[5][5] h[5][6] h[5][7] h[5][8] h[5][9] h[5][10] h[5][11] h[5][12] h[5][13] h[5][14] h[5][15] h[5][16] h[5][17] h[5][18] h[5][19] h[5][20] h[5][21] h[5][22] h[5][23] h[5][24] h[5][25] h[5][26] h[5][27] h[5][28] h[5][29] h[6][0] h[6][1] h[6][2] h[6][3] h[6][4] h[6][5] h[6][6] h[6][7] h[6][8] h[6][9] h[6][10] h[6][11] h[6][12] h[6][13] h[6][14] h[6][15] h[6][16] h[6][17] h[6][18] h[6][19] h[6][20] h[6][21] h[6][22] h[6][23] h[6][24] h[6][25] h[6][26] h[6][27] h[6][28] h[6][29] h[7][0] h[7][1] h[7][2] h[7][3] h[7][4] h[7][5] h[7][6] h[7][7] h[7][8] h[7][9] h[7][10] h[7][11] h[7][12] h[7][13] h[7][14] h[7][15] h[7][16] h[7][17] h[7][18] h[7][19] h[7][20] h[7][21] h[7][22] h[7][23] h[7][24] h[7][25] h[7][26] h[7][27] h[7][28] h[7][29] h[8][0] h[8][1] h[8][2] h[8][3] h[8][4] h[8][5] h[8][6] h[8][7] h[8][8] h[8][9] h[8][10] h[8][11] h[8][12] h[8][13] h[8][14] h[8][15] h[8][16] h[8][17] h[8][18] h[8][19] h[8][20] h[8][21] h[8][22] h[8][23] h[8][24] h[8][25] h[8][26] h[8][27] h[8][28] h[8][29] h[9][0] h[9][1] h[9][2] h[9][3] h[9][4] h[9][5] h[9][6] h[9][7] h[9][8] h[9][9] h[9][10] h[9][11] h[9][12] h[9][13] h[9][14] h[9][15] h[9][16] h[9][17] h[9][18] h[9][19] h[9][20] h[9][21] h[9][22] h[9][23] h[9][24] h[9][25] h[9][26] h[9][27] h[9][28] h[9][29] h[10][0] h[10][1] h[10][2] h[10][3] h[10][4] h[10][5] h[10][6] h[10][7] h[10][8] h[10][9] h[10][10] h[10][11] h[10][12] h[10][13] h[10][14] h[10][15] h[10][16] h[10][17] h[10][18] h[10][19] h[10][20] h[10][21] h[10][22] h[10][23] h[10][24] h[10][25] h[10][26] h[10][27] h[10][28] h[10][29] h[11][0] h[11][1] h[11][2] h[11][3] h[11][4] h[11][5] h[11][6] h[11][7] h[11][8] h[11][9] h[11][10] h[11][11] h[11][12] h[11][13] h[11][14] h[11][15] h[11][16] h[11][17] h[11][18] h[11][19] h[11][20] h[11][21] h[11][22] h[11][23] h[11][24] h[11][25] h[11][26] h[11][27] h[11][28] h[11][29] h[12][0] h[12][1] h[12][2] h[12][3] h[12][4] h[12][5] h[12][6] h[12][7] h[12][8] h[12][9] h[12][10] h[12][11] h[12][12] h[12][13] h[12][14] h[12][15] h[12][16] h[12][17] h[12][18] h[12][19] h[12][20] h[12][21] h[12][22] h[12][23] h[12][24] h[12][25] h[12][26] h[12][27] h[12][28] h[12][29] h[13][0] h[13][1] h[13][2] h[13][3] h[13][4] h[13][5] h[13][6] h[13][7] h[13][8] h[13][9] h[13][10] h[13][11] h[13][12] h[13][13] h[13][14] h[13][15] h[13][16] h[13][17] h[13][18] h[13][19] h[13][20] h[13][21] h[13][22] h[13][23] h[13][24] h[13][25] h[13][26] h[13][27] h[13][28] h[13][29] h[14][0] h[14][1] h[14][2] h[14][3] h[14][4] h[14][5] h[14][6] h[14][7] h[14][8] h[14][9] h[14][10] h[14][11] h[14][12] h[14][13] h[14][14] h[14][15] h[14][16] h[14][17] h[14][18] h[14][19] h[14][20] h[14][21] h[14][22] h[14][23] h[14][24] h[14][25] h[14][26] h[14][27] h[14][28] h[14][29] h[15][0] h[15][1] h[15][2] h[15][3] h[15][4] h[15][5] h[15][6] h[15][7] h[15][8] h[15][9] h[15][10] h[15][11] h[15][12] h[15][13] h[15][14] h[15][15] h[15][16] h[15][17] h[15][18] h[15][19] h[15][20] h[15][21] h[15][22] h[15][23] h[15][24] h[15][25] h[15][26] h[15][27] h[15][28] h[15][29] a[0][0] a[0][1] a[0][2] a[0][3] a[0][4] a[0][5] a[0][6] a[0][7] a[0][8] a[0][9] a[0][10] a[0][11] a[0][12] a[0][13] a[0][14] a[0][15] a[0][16] a[0][17] a[0][18] a[0][19] a[0][20] a[0][21] a[0][22] a[0][23] a[0][24] a[0][25] a[0][26] a[0][27] a[0][28] a[0][29] a[1][0] a[1][1] a[1][2] a[1][3] a[1][4] a[1][5] a[1][6] a[1][7] a[1][8] a[1][9] a[1][10] a[1][11] a[1][12] a[1][13] a[1][14] a[1][15] a[1][16] a[1][17] a[1][18] a[1][19] a[1][20] a[1][21] a[1][22] a[1][23] a[1][24] a[1][25] a[1][26] a[1][27] a[1][28] a[1][29] a[2][0] a[2][1] a[2][2] a[2][3] a[2][4] a[2][5] a[2][6] a[2][7] a[2][8] a[2][9] a[2][10] a[2][11] a[2][12] a[2][13] a[2][14] a[2][15] a[2][16] a[2][17] a[2][18] a[2][19] a[2][20] a[2][21] a[2][22] a[2][23] a[2][24] a[2][25] a[2][26] a[2][27] a[2][28] a[2][29] a[3][0] a[3][1] a[3][2] a[3][3] a[3][4] a[3][5] a[3][6] a[3][7] a[3][8] a[3][9] a[3][10] a[3][11] a[3][12] a[3][13] a[3][14] a[3][15] a[3][16] a[3][17] a[3][18] a[3][19] a[3][20] a[3][21] a[3][22] a[3][23] a[3][24] a[3][25] a[3][26] a[3][27] a[3][28] a[3][29] a[4][0] a[4][1] a[4][2] a[4][3] a[4][4] a[4][5] a[4][6] a[4][7] a[4][8] a[4][9] a[4][10] a[4][11] a[4][12] a[4][13] a[4][14] a[4][15] a[4][16] a[4][17] a[4][18] a[4][19] a[4][20] a[4][21] a[4][22] a[4][23] a[4][24] a[4][25] a[4][26] a[4][27] a[4][28] a[4][29] a[5][0] a[5][1] a[5][2] a[5][3] a[5][4] a[5][5] a[5][6] a[5][7] a[5][8] a[5][9] a[5][10] a[5][11] a[5][12] a[5][13] a[5][14] a[5][15] a[5][16] a[5][17] a[5][18] a[5][19] a[5][20] a[5][21] a[5][22] a[5][23] a[5][24] a[5][25] a[5][26] a[5][27] a[5][28] a[5][29] a[6][0] a[6][1] a[6][2] a[6][3] a[6][4] a[6][5] a[6][6] a[6][7] a[6][8] a[6][9] a[6][10] a[6][11] a[6][12] a[6][13] a[6][14] a[6][15] a[6][16] a[6][17] a[6][18] a[6][19] a[6][20] a[6][21] a[6][22] a[6][23] a[6][24] a[6][25] a[6][26] a[6][27] a[6][28] a[6][29] a[7][0] a[7][1] a[7][2] a[7][3] a[7][4] a[7][5] a[7][6] a[7][7] a[7][8] a[7][9] a[7][10] a[7][11] a[7][12] a[7][13] a[7][14] a[7][15] a[7][16] a[7][17] a[7][18] a[7][19] a[7][20] a[7][21] a[7][22] a[7][23] a[7][24] a[7][25] a[7][26] a[7][27] a[7][28] a[7][29] a[8][0] a[8][1] a[8][2] a[8][3] a[8][4] a[8][5] a[8][6] a[8][7] a[8][8] a[8][9] a[8][10] a[8][11] a[8][12] a[8][13] a[8][14] a[8][15] a[8][16] a[8][17] a[8][18] a[8][19] a[8][20] a[8][21] a[8][22] a[8][23] a[8][24] a[8][25] a[8][26] a[8][27] a[8][28] a[8][29] a[9][0] a[9][1] a[9][2] a[9][3] a[9][4] a[9][5] a[9][6] a[9][7] a[9][8] a[9][9] a[9][10] a[9][11] a[9][12] a[9][13] a[9][14] a[9][15] a[9][16] a[9][17] a[9][18] a[9][19] a[9][20] a[9][21] a[9][22] a[9][23] a[9][24] a[9][25] a[9][26] a[9][27] a[9][28] a[9][29] a[10][0] a[10][1] a[10][2] a[10][3] a[10][4] a[10][5] a[10][6] a[10][7] a[10][8] a[10][9] a[10][10] a[10][11] a[10][12] a[10][13] a[10][14] a[10][15] a[10][16] a[10][17] a[10][18] a[10][19] a[10][20] a[10][21] a[10][22] a[10][23] a[10][24] a[10][25] a[10][26] a[10][27] a[10][28] a[10][29] a[11][0] a[11][1] a[11][2] a[11][3] a[11][4] a[11][5] a[11][6] a[11][7] a[11][8] a[11][9] a[11][10] a[11][11] a[11][12] a[11][13] a[11][14] a[11][15] a[11][16] a[11][17] a[11][18] a[11][19] a[11][20] a[11][21] a[11][22] a[11][23] a[11][24] a[11][25] a[11][26] a[11][27] a[11][28] a[11][29] a[12][0] a[12][1] a[12][2] a[12][3] a[12][4] a[12][5] a[12][6] a[12][7] a[12][8] a[12][9] a[12][10] a[12][11] a[12][12] a[12][13] a[12][14] a[12][15] a[12][16] a[12][17] a[12][18] a[12][19] a[12][20] a[12][21] a[12][22] a[12][23] a[12][24] a[12][25] a[12][26] a[12][27] a[12][28] a[12][29] a[13][0] a[13][1] a[13][2] a[13][3] a[13][4] a[13][5] a[13][6] a[13][7] a[13][8] a[13][9] a[13][10] a[13][11] a[13][12] a[13][13] a[13][14] a[13][15] a[13][16] a[13][17] a[13][18] a[13][19] a[13][20] a[13][21] a[13][22] a[13][23] a[13][24] a[13][25] a[13][26] a[13][27] a[13][28] a[13][29] a[14][0] a[14][1] a[14][2] a[14][3] a[14][4] a[14][5] a[14][6] a[14][7] a[14][8] a[14][9] a[14][10] a[14][11] a[14][12] a[14][13] a[14][14] a[14][15] a[14][16] a[14][17] a[14][18] a[14][19] a[14][20] a[14][21] a[14][22] a[14][23] a[14][24] a[14][25] a[14][26] a[14][27] a[14][28] a[14][29] a[15][0] a[15][1] a[15][2] a[15][3] a[15][4] a[15][5] a[15][6] a[15][7] a[15][8] a[15][9] a[15][10] a[15][11] a[15][12] a[15][13] a[15][14] a[15][15] a[15][16] a[15][17] a[15][18] a[15][19] a[15][20] a[15][21] a[15][22] a[15][23] a[15][24] a[15][25] a[15][26] a[15][27] a[15][28] a[15][29] t[0][0] t[0][1] t[0][2] t[0][3] t[0][4] t[0][5] t[0][6] t[0][7] t[0][8] t[0][9] t[0][10] t[0][11] t[0][12] t[0][13] t[0][14] t[0][15] t[0][16] t[0][17] t[0][18] t[0][19] t[0][20] t[0][21] t[0][22] t[0][23] t[0][24] t[0][25] t[0][26] t[0][27] t[0][28] t[0][29] t[0][30] t[1][0] t[1][1] t[1][2] t[1][3] t[1][4] t[1][5] t[1][6] t[1][7] t[1][8] t[1][9] t[1][10] t[1][11] t[1][12] t[1][13] t[1][14] t[1][15] t[1][16] t[1][17] t[1][18] t[1][19] t[1][20] t[1][21] t[1][22] t[1][23] t[1][24] t[1][25] t[1][26] t[1][27] t[1][28] t[1][29] t[1][30] t[2][0] t[2][1] t[2][2] t[2][3] t[2][4] t[2][5] t[2][6] t[2][7] t[2][8] t[2][9] t[2][10] t[2][11] t[2][12] t[2][13] t[2][14] t[2][15] t[2][16] t[2][17] t[2][18] t[2][19] t[2][20] t[2][21] t[2][22] t[2][23] t[2][24] t[2][25] t[2][26] t[2][27] t[2][28] t[2][29] t[2][30] t[3][0] t[3][1] t[3][2] t[3][3] t[3][4] t[3][5] t[3][6] t[3][7] t[3][8] t[3][9] t[3][10] t[3][11] t[3][12] t[3][13] t[3][14] t[3][15] t[3][16] t[3][17] t[3][18] t[3][19] t[3][20] t[3][21] t[3][22] t[3][23] t[3][24] t[3][25] t[3][26] t[3][27] t[3][28] t[3][29] t[3][30] t[4][0] t[4][1] t[4][2] t[4][3] t[4][4] t[4][5] t[4][6] t[4][7] t[4][8] t[4][9] t[4][10] t[4][11] t[4][12] t[4][13] t[4][14] t[4][15] t[4][16] t[4][17] t[4][18] t[4][19] t[4][20] t[4][21] t[4][22] t[4][23] t[4][24] t[4][25] t[4][26] t[4][27] t[4][28] t[4][29] t[4][30] t[5][0] t[5][1] t[5][2] t[5][3] t[5][4] t[5][5] t[5][6] t[5][7] t[5][8] t[5][9] t[5][10] t[5][11] t[5][12] t[5][13] t[5][14] t[5][15] t[5][16] t[5][17] t[5][18] t[5][19] t[5][20] t[5][21] t[5][22] t[5][23] t[5][24] t[5][25] t[5][26] t[5][27] t[5][28] t[5][29] t[5][30] t[6][0] t[6][1] t[6][2] t[6][3] t[6][4] t[6][5] t[6][6] t[6][7] t[6][8] t[6][9] t[6][10] t[6][11] t[6][12] t[6][13] t[6][14] t[6][15] t[6][16] t[6][17] t[6][18] t[6][19] t[6][20] t[6][21] t[6][22] t[6][23] t[6][24] t[6][25] t[6][26] t[6][27] t[6][28] t[6][29] t[6][30] t[7][0] t[7][1] t[7][2] t[7][3] t[7][4] t[7][5] t[7][6] t[7][7] t[7][8] t[7][9] t[7][10] t[7][11] t[7][12] t[7][13] t[7][14] t[7][15] t[7][16] t[7][17] t[7][18] t[7][19] t[7][20] t[7][21] t[7][22] t[7][23] t[7][24] t[7][25] t[7][26] t[7][27] t[7][28] t[7][29] t[7][30] t[8][0] t[8][1] t[8][2] t[8][3] t[8][4] t[8][5] t[8][6] t[8][7] t[8][8] t[8][9] t[8][10] t[8][11] t[8][12] t[8][13] t[8][14] t[8][15] t[8][16] t[8][17] t[8][18] t[8][19] t[8][20] t[8][21] t[8][22] t[8][23] t[8][24] t[8][25] t[8][26] t[8][27] t[8][28] t[8][29] t[8][30] t[9][0] t[9][1] t[9][2] t[9][3] t[9][4] t[9][5] t[9][6] t[9][7] t[9][8] t[9][9] t[9][10] t[9][11] t[9][12] t[9][13] t[9][14] t[9][15] t[9][16] t[9][17] t[9][18] t[9][19] t[9][20] t[9][21] t[9][22] t[9][23] t[9][24] t[9][25] t[9][26] t[9][27] t[9][28] t[9][29] t[9][30] t[10][0] t[10][1] t[10][2] t[10][3] t[10][4] t[10][5] t[10][6] t[10][7] t[10][8] t[10][9] t[10][10] t[10][11] t[10][12] t[10][13] t[10][14] t[10][15] t[10][16] t[10][17] t[10][18] t[10][19] t[10][20] t[10][21] t[10][22] t[10][23] t[10][24] t[10][25] t[10][26] t[10][27] t[10][28] t[10][29] t[10][30] t[11][0] t[11][1] t[11][2] t[11][3] t[11][4] t[11][5] t[11][6] t[11][7] t[11][8] t[11][9] t[11][10] t[11][11] t[11][12] t[11][13] t[11][14] t[11][15] t[11][16] t[11][17] t[11][18] t[11][19] t[11][20] t[11][21] t[11][22] t[11][23] t[11][24] t[11][25] t[11][26] t[11][27] t[11][28] t[11][29] t[11][30] t[12][0] t[12][1] t[12][2] t[12][3] t[12][4] t[12][5] t[12][6] t[12][7] t[12][8] t[12][9] t[12][10] t[12][11] t[12][12] t[12][13] t[12][14] t[12][15] t[12][16] t[12][17] t[12][18] t[12][19] t[12][20] t[12][21] t[12][22] t[12][23] t[12][24] t[12][25] t[12][26] t[12][27] t[12][28] t[12][29] t[12][30] t[13][0] t[13][1] t[13][2] t[13][3] t[13][4] t[13][5] t[13][6] t[13][7] t[13][8] t[13][9] t[13][10] t[13][11] t[13][12] t[13][13] t[13][14] t[13][15] t[13][16] t[13][17] t[13][18] t[13][19] t[13][20] t[13][21] t[13][22] t[13][23] t[13][24] t[13][25] t[13][26] t[13][27] t[13][28] t[13][29] t[13][30] t[14][0] t[14][1] t[14][2] t[14][3] t[14][4] t[14][5] t[14][6] t[14][7] t[14][8] t[14][9] t[14][10] t[14][11] t[14][12] t[14][13] t[14][14] t[14][15] t[14][16] t[14][17] t[14][18] t[14][19] t[14][20] t[14][21] t[14][22] t[14][23] t[14][24] t[14][25] t[14][26] t[14][27] t[14][28] t[14][29] t[14][30] t[15][0] t[15][1] t[15][2] t[15][3] t[15][4] t[15][5] t[15][6] t[15][7] t[15][8] t[15][9] t[15][10] t[15][11] t[15][12] t[15][13] t[15][14] t[15][15] t[15][16] t[15][17] t[15][18] t[15][19] t[15][20] t[15][21] t[15][22] t[15][23] t[15][24] t[15][25] t[15][26] t[15][27] t[15][28] t[15][29] t[15][30] 2520.04/2416.72 v </list> 2520.04/2416.72 v <values> 2520.04/2416.72 v 2 4 11 4 14 15 10 10 14 13 9 6 12 9 6 3 15 11 8 8 1 3 12 1 5 13 2 7 7 5 3 2 6 7 11 8 15 6 10 10 3 14 5 11 14 2 9 4 12 12 0 8 13 0 4 9 5 13 15 7 0 1 9 14 5 12 11 11 9 4 6 5 8 4 13 1 8 6 10 7 10 13 15 15 7 3 0 14 12 3 1 5 15 10 8 10 14 12 12 9 1 7 13 8 7 0 14 13 11 11 15 0 4 5 6 2 9 6 4 2 13 0 12 0 12 5 6 15 5 2 7 13 11 2 9 15 10 1 9 14 14 10 3 6 1 7 11 8 3 8 10 3 7 12 2 4 12 14 4 11 8 2 1 6 8 10 13 7 13 15 9 15 14 3 0 11 1 9 6 0 8 7 1 8 9 11 4 1 15 12 2 0 9 5 0 14 12 2 7 13 13 14 10 4 3 15 10 3 5 11 11 6 5 1 10 9 13 9 13 15 4 3 14 14 3 12 11 5 6 2 8 12 8 10 2 4 15 0 0 1 6 15 10 6 3 1 9 13 11 14 5 15 2 3 5 9 2 14 0 0 7 1 7 12 11 12 13 4 10 4 15 14 2 13 6 7 8 7 2 3 0 10 6 0 4 8 1 15 4 10 5 11 11 14 12 1 3 5 13 12 5 11 8 3 7 3 0 0 1 1 13 9 15 15 12 5 4 12 2 9 2 4 6 7 13 14 6 11 8 14 7 10 0 15 1 6 2 2 8 5 14 12 4 1 15 13 7 0 3 3 12 9 9 13 8 5 4 10 14 6 14 13 4 5 4 2 5 3 3 6 15 11 0 13 10 7 6 10 1 1 11 7 0 8 9 8 14 15 2 9 4 12 14 9 15 14 7 8 7 0 10 4 3 12 2 11 5 3 5 6 6 2 1 11 10 0 8 1 9 15 12 9 13 2 0 13 3 5 0 8 11 1 7 7 1 6 3 8 15 4 4 6 5 9 15 10 12 2 11 10 9 8 3 11 13 0 1 4 6 7 12 8 10 10 11 4 0 9 14 5 3 5 2 2 14 6 7 12 1 13 0 1 1 0 0 1 0 1 1 0 1 1 0 0 0 1 0 0 0 1 0 0 1 1 0 1 1 0 1 1 0 1 1 1 0 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 0 0 1 0 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 1 0 0 1 0 0 0 1 1 1 1 1 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 1 1 0 1 1 0 0 1 1 0 0 1 0 0 0 0 1 1 0 1 1 1 0 0 1 0 1 1 0 1 1 0 0 1 0 1 0 0 1 1 0 0 1 1 0 1 1 0 1 0 1 0 0 0 1 1 0 1 0 0 0 1 0 1 1 0 1 1 1 0 0 1 0 0 1 0 1 1 1 0 1 0 0 1 0 0 1 1 0 1 0 0 1 0 1 1 1 0 1 0 1 0 0 1 0 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 1 0 1 0 0 0 1 0 1 1 0 1 1 0 0 0 1 1 0 0 0 1 1 1 0 0 0 1 1 0 1 0 0 0 1 1 1 0 1 1 1 0 0 1 1 1 0 0 1 1 0 0 0 1 1 1 0 0 0 1 1 0 0 0 1 0 0 1 1 1 0 1 0 1 1 1 0 0 1 0 0 1 1 0 0 1 1 1 0 0 1 1 0 1 0 1 0 0 1 0 0 1 0 0 0 1 1 0 0 1 1 1 0 1 1 0 0 0 1 1 0 1 0 1 0 1 0 0 0 1 1 1 1 0 1 0 0 1 1 1 0 1 0 0 1 1 0 0 0 1 0 1 1 1 0 0 1 1 0 1 0 0 1 1 0 0 0 1 1 1 0 1 0 0 1 0 0 1 1 0 0 0 1 1 0 0 1 0 0 1 1 1 0 0 1 1 1 0 1 0 0 0 1 1 0 1 0 1 0 1 1 1 0 0 1 1 0 1 1 0 0 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 1 1 1 0 0 1 0 0 1 0 1 0 0 0 1 0 1 0 0 1 1 0 1 0 0 1 0 0 1 1 1 0 1 1 1 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 1 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 1 1 0 1 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 0 1 1 0 1 1 1 0 0 0 0 0 1 1 1 0 1 1 0 0 1 0 1 0 1 1 0 0 0 1 0 0 1 1 0 0 1 1 0 1 1 1 1 0 0 1 0 0 0 1 1 0 1 0 0 1 0 0 1 1 0 1 0 1 1 0 0 1 1 0 0 1 0 0 1 0 1 0 1 1 1 0 0 1 0 1 1 1 0 1 0 0 1 0 0 0 1 1 0 1 1 0 1 0 0 0 1 0 1 1 0 1 1 0 0 1 0 1 1 0 1 0 0 0 1 0 1 0 1 1 0 1 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 0 1 0 1 1 1 0 1 0 0 1 0 0 1 1 1 0 0 1 1 1 0 0 0 1 1 1 0 0 1 0 1 1 1 0 0 0 1 0 0 0 1 1 0 0 0 1 1 0 0 1 1 1 0 0 0 1 1 1 0 0 1 1 1 0 1 1 0 0 0 1 0 1 0 0 0 1 1 0 1 1 0 0 1 1 0 0 0 1 1 0 0 1 0 1 0 1 1 0 1 1 0 1 1 1 0 0 1 1 0 0 0 1 0 0 1 1 1 0 0 1 0 1 0 1 0 1 1 1 0 0 0 0 1 0 1 1 0 0 0 1 0 1 1 0 0 1 1 1 0 1 0 0 0 1 1 0 0 1 0 1 1 0 0 1 1 1 0 0 0 1 0 1 1 0 1 1 0 0 1 1 1 0 0 1 1 0 1 1 0 0 0 1 1 0 0 0 1 0 1 1 1 0 0 1 0 1 0 1 0 0 0 1 1 0 0 1 0 0 1 1 1 0 0 0 1 0 1 1 1 0 0 0 1 0 1 0 0 0 1 1 0 1 1 0 1 0 1 1 1 0 1 15 15 0 36 70 59 55 55 0 59 59 0 57 30 69 44 59 45 69 48 10 32 34 0 39 39 0 44 44 0 0 32 32 0 0 64 69 46 39 39 65 65 53 93 40 0 22 22 31 31 55 55 0 0 10 10 43 43 64 32 57 44 0 22 43 17 56 48 48 58 58 0 56 27 50 45 45 0 53 53 55 55 0 61 32 59 56 14 34 15 0 0 0 0 0 63 39 73 68 72 27 80 0 32 32 50 50 14 44 34 0 0 66 66 0 51 35 41 0 67 69 47 47 47 91 59 57 73 0 35 35 0 0 45 56 64 70 70 0 90 90 0 55 17 70 74 74 18 39 31 0 21 68 51 0 0 41 41 0 50 50 94 94 35 70 69 42 0 27 27 51 66 41 48 69 69 0 93 93 0 0 40 43 81 39 39 31 31 39 39 0 0 18 18 91 97 88 44 51 69 0 83 83 56 56 59 92 92 0 0 47 47 75 75 27 44 70 0 59 27 40 44 0 41 93 79 57 57 14 14 82 82 0 67 67 0 56 56 90 81 73 69 64 64 0 44 44 0 0 97 39 75 31 0 68 93 69 69 0 0 53 47 41 42 0 84 84 48 44 44 46 0 0 81 81 0 0 21 21 103 103 0 0 69 59 79 0 49 47 34 51 0 0 55 21 46 43 0 103 51 44 105 17 27 30 0 0 93 93 0 51 51 0 0 69 14 69 55 10 65 0 103 103 39 0 0 74 73 101 0 55 55 75 75 66 91 111 10 69 73 0 67 69 55 55 0 70 56 58 0 0 113 113 0 64 68 32 69 0 66 66 105 105 105 105 69 42 35 70 0 0 0 0 90 90 94 35 73 0 0 80 80 97 45 105 0 101 69 59 88 55 55 0 0 57 48 81 0 27 27 48 49 30 0 0 91 17 103 32 0 0 41 41 66 74 91 90 48 61 0 50 41 27 92 0 64 64 69 59 48 104 0 0 0 27 30 17 0 0 91 91 93 39 48 84 0 82 82 53 53 72 72 0 0 70 18 83 0 105 105 0 56 58 10 111 0 0 0 45 45 59 10 31 90 0 0 97 97 39 39 0 0 103 17 105 63 41 69 59 59 91 59 90 97 32 32 2520.04/2416.72 v </values> 2520.04/2416.72 v </instantiation> 2520.04/2416.72 s SATISFIABLE
OK 22056
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 (3910 MiB free)
memory of node 1: 16384 MiB (7793 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295438-1532557013/watcher-4295438-1532557013 -o /tmp/evaluation-result-4295438-1532557013/solver-4295438-1532557013 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532543154-31453 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1907027750 -superng HOME/instance-4295438-1532557013.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=2642, runsolver pid=2639
[startup+0.100139 s]*
/proc/loadavg: 1.68 1.55 1.46 3/206 2699
/proc/meminfo: memFree=11979292/32770624 swapFree=67108860/67108860
[pid=2642] ppid=2639 vsize=9972712 memory=16808 CPUtime=0.08 cores=1,3,5,7
/proc/2642/stat : 2642 (java) S 2639 2642 31421 0 -1 1077944320 4334 13116 0 0 1 0 5 2 20 0 6 0 73264510 10212057088 4202 33554432000 4194304 4196468 140732893561808 140732893544352 140334520794871 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
/proc/2642/statm: 2493178 4202 1934 1 0 2481616 0
[pid=2642/tid=2695] ppid=2639 vsize=9972712 memory=-8171376296011865461 CPUtime=0.07 cores=1,3,5,7
/proc/2642/task/2695/stat : 2695 (java) R 2639 2642 31421 0 -1 4202560 2184 13116 0 0 0 0 5 2 20 0 6 0 73264519 10212057088 4714 33554432000 4194304 4196468 140732893561808 140334492631632 140334506488033 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2696] ppid=2639 vsize=9972712 memory=7948963741541478447 CPUtime=0.07 cores=1,3,5,7
/proc/2642/task/2696/stat : 2696 (java) S 2639 2642 31421 0 -1 1077944384 1 13116 0 0 0 0 5 2 20 0 6 0 73264520 10212057088 4714 33554432000 4194304 4196468 140732893561808 140334525037456 140334520805077 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2697] ppid=2639 vsize=9972712 memory=139705433159296 CPUtime=0.07 cores=1,3,5,7
/proc/2642/task/2697/stat : 2697 (java) S 2639 2642 31421 0 -1 1077944384 1 13116 0 0 0 0 5 2 20 0 6 0 73264520 10212057088 4714 33554432000 4194304 4196468 140732893561808 140334439856912 140334520805077 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2698] ppid=2639 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2642/task/2698/stat : 2698 (java) S 2639 2642 31421 0 -1 1077944384 1 13116 0 0 0 0 5 2 20 0 6 0 73264520 10212057088 4714 33554432000 4194304 4196468 140732893561808 140334438804624 140334520805077 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2699] ppid=2639 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/2642/task/2699/stat : 2699 (java) S 2639 2642 31421 0 -1 1077944384 2 13116 0 0 0 0 5 2 20 0 6 0 73264520 10212057088 4714 33554432000 4194304 4196468 140732893561808 140334437751824 140334520805077 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16808 KiB
[startup+0.209993 s]*
/proc/loadavg: 1.68 1.55 1.46 3/215 2708
/proc/meminfo: memFree=11953632/32770624 swapFree=67108860/67108860
[pid=2642] ppid=2639 vsize=10821524 memory=48800 CPUtime=0.25 cores=1,3,5,7
/proc/2642/stat : 2642 (java) S 2639 2642 31421 0 -1 1077944320 8361 13116 0 0 17 1 5 2 20 0 15 0 73264510 11081240576 12200 33554432000 4194304 4196468 140732893561808 140732893544352 140334520794871 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
/proc/2642/statm: 2705381 12200 2973 1 0 2667804 0
[pid=2642/tid=2695] ppid=2639 vsize=10818904 memory=-8171376296011865461 CPUtime=0.18 cores=1,3,5,7
/proc/2642/task/2695/stat : 2695 (java) D 2639 2642 31421 0 -1 1077944384 5883 13116 0 0 10 1 5 2 20 0 15 0 73264519 11078557696 12427 33554432000 4194304 4196468 140732893561808 140334492619680 140334513474093 0 4 0 16800975 18446744072101785124 0 0 -1 5 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2696] ppid=2639 vsize=10818904 memory=7948963741541478447 CPUtime=0.07 cores=1,3,5,7
/proc/2642/task/2696/stat : 2696 (java) S 2639 2642 31421 0 -1 1077944384 1 13116 0 0 0 0 5 2 20 0 15 0 73264520 11078557696 12427 33554432000 4194304 4196468 140732893561808 140334525037456 140334520805077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2697] ppid=2639 vsize=10818904 memory=139705433159296 CPUtime=0.07 cores=1,3,5,7
/proc/2642/task/2697/stat : 2697 (java) S 2639 2642 31421 0 -1 1077944384 1 13116 0 0 0 0 5 2 20 0 15 0 73264520 11078557696 12427 33554432000 4194304 4196468 140732893561808 140334439856912 140334520805077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2698] ppid=2639 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2642/task/2698/stat : 2698 (java) S 2639 2642 31421 0 -1 1077944384 1 13116 0 0 0 0 5 2 20 0 15 0 73264520 11078557696 12427 33554432000 4194304 4196468 140732893561808 140334438804624 140334520805077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2699] ppid=2639 vsize=10818936 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/2642/task/2699/stat : 2699 (java) S 2639 2642 31421 0 -1 1077944384 2 13116 0 0 0 0 5 2 20 0 15 0 73264520 11078590464 12427 33554432000 4194304 4196468 140732893561808 140334437751824 140334520805077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2700] ppid=2639 vsize=10818936 memory=139705433159296 CPUtime=0.07 cores=1,3,5,7
/proc/2642/task/2700/stat : 2700 (java) S 2639 2642 31421 0 -1 1077944384 2 13116 0 0 0 0 5 2 20 0 15 0 73264521 11078590464 12427 33554432000 4194304 4196468 140732893561808 140334047471728 140334520806018 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2701] ppid=2639 vsize=10818936 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/2642/task/2701/stat : 2701 (java) S 2639 2642 31421 0 -1 1077944384 13 13116 0 0 0 0 5 2 20 0 15 0 73264522 11078590464 12427 33554432000 4194304 4196468 140732893561808 140333962748704 140334520805077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2702] ppid=2639 vsize=10818936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2642/task/2702/stat : 2702 (java) S 2639 2642 31421 0 -1 1077944384 1 13116 0 0 0 0 5 2 20 0 15 0 73264522 11078590464 12427 33554432000 4194304 4196468 140732893561808 140333828531312 140334520805077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2703] ppid=2639 vsize=10818936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2642/task/2703/stat : 2703 (java) S 2639 2642 31421 0 -1 1077944384 2 13116 0 0 0 0 5 2 20 0 15 0 73264525 11078590464 12427 33554432000 4194304 4196468 140732893561808 140333224552528 140334520813467 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2704] ppid=2639 vsize=10818936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2642/task/2704/stat : 2704 (java) S 2639 2642 31421 0 -1 1077944384 493 13116 0 0 1 0 5 2 20 0 15 0 73264525 11078590464 12427 33554432000 4194304 4196468 140732893561808 140334046419568 140334520806018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2705] ppid=2639 vsize=10818936 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/2642/task/2705/stat : 2705 (java) S 2639 2642 31421 0 -1 1077944384 88 13116 0 0 1 0 5 2 20 0 15 0 73264525 11078590464 12427 33554432000 4194304 4196468 140732893561808 140334045366768 140334520806018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2706] ppid=2639 vsize=10818936 memory=139705433159296 CPUtime=0.1 cores=1,3,5,7
/proc/2642/task/2706/stat : 2706 (java) S 2639 2642 31421 0 -1 1077944384 552 13116 0 0 3 0 5 2 20 0 15 0 73264525 11078590464 12427 33554432000 4194304 4196468 140732893561808 140334044314480 140334520806018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2707] ppid=2639 vsize=10818936 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/2642/task/2707/stat : 2707 (java) S 2639 2642 31421 0 -1 1077944384 3 13116 0 0 0 0 5 2 20 0 15 0 73264525 11078590464 12427 33554432000 4194304 4196468 140732893561808 140332754791392 140334520805077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2708] ppid=2639 vsize=10818936 memory=139705433159296 CPUtime=0.07 cores=1,3,5,7
/proc/2642/task/2708/stat : 2708 (java) S 2639 2642 31421 0 -1 1077944384 1 13116 0 0 0 0 5 2 20 0 15 0 73264525 11078590464 12427 33554432000 4194304 4196468 140732893561808 140334043261360 140334520806018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10821524 KiB
Current children cumulated memory: 48800 KiB
[startup+0.310313 s]*
/proc/loadavg: 1.68 1.55 1.46 3/215 2708
/proc/meminfo: memFree=11940112/32770624 swapFree=67108860/67108860
[pid=2642] ppid=2639 vsize=10819352 memory=57584 CPUtime=0.38 cores=1,3,5,7
/proc/2642/stat : 2642 (java) S 2639 2642 31421 0 -1 1077944320 10427 13116 0 0 29 2 5 2 20 0 15 0 73264510 11079016448 14396 33554432000 4194304 4196468 140732893561808 140732893544352 140334520794871 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
/proc/2642/statm: 2704838 14396 3092 1 0 2667149 0
[pid=2642/tid=2695] ppid=2639 vsize=10819352 memory=6935054825532540783 CPUtime=0.27 cores=1,3,5,7
/proc/2642/task/2695/stat : 2695 (java) R 2639 2642 31421 0 -1 4202560 7087 13116 0 0 19 1 5 2 20 0 15 0 73264519 11079016448 14396 33554432000 4194304 4196468 140732893561808 140334492606880 140334501070201 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2696] ppid=2639 vsize=10819352 memory=-8389222452898340213 CPUtime=0.07 cores=1,3,5,7
/proc/2642/task/2696/stat : 2696 (java) S 2639 2642 31421 0 -1 1077944384 1 13116 0 0 0 0 5 2 20 0 15 0 73264520 11079016448 14396 33554432000 4194304 4196468 140732893561808 140334525037456 140334520805077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2697] ppid=2639 vsize=10819352 memory=1328725297981317182 CPUtime=0.07 cores=1,3,5,7
/proc/2642/task/2697/stat : 2697 (java) S 2639 2642 31421 0 -1 1077944384 1 13116 0 0 0 0 5 2 20 0 15 0 73264520 11079016448 14396 33554432000 4194304 4196468 140732893561808 140334439856912 140334520805077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2698] ppid=2639 vsize=10819352 memory=4126316290023845779 CPUtime=0.07 cores=1,3,5,7
/proc/2642/task/2698/stat : 2698 (java) S 2639 2642 31421 0 -1 1077944384 1 13116 0 0 0 0 5 2 20 0 15 0 73264520 11079016448 14396 33554432000 4194304 4196468 140732893561808 140334438804624 140334520805077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2699] ppid=2639 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2642/task/2699/stat : 2699 (java) S 2639 2642 31421 0 -1 1077944384 2 13116 0 0 0 0 5 2 20 0 15 0 73264520 11079016448 14396 33554432000 4194304 4196468 140732893561808 140334437751824 140334520805077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2700] ppid=2639 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2642/task/2700/stat : 2700 (java) S 2639 2642 31421 0 -1 1077944384 2 13116 0 0 0 0 5 2 20 0 15 0 73264521 11079016448 14396 33554432000 4194304 4196468 140732893561808 140334047471728 140334520806018 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2701] ppid=2639 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2642/task/2701/stat : 2701 (java) S 2639 2642 31421 0 -1 1077944384 13 13116 0 0 0 0 5 2 20 0 15 0 73264522 11079016448 14396 33554432000 4194304 4196468 140732893561808 140333962748704 140334520805077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2702] ppid=2639 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2642/task/2702/stat : 2702 (java) S 2639 2642 31421 0 -1 1077944384 1 13116 0 0 0 0 5 2 20 0 15 0 73264522 11079016448 14396 33554432000 4194304 4196468 140732893561808 140333828531312 140334520805077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2703] ppid=2639 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2642/task/2703/stat : 2703 (java) S 2639 2642 31421 0 -1 1077944384 2 13116 0 0 0 0 5 2 20 0 15 0 73264525 11079016448 14396 33554432000 4194304 4196468 140732893561808 140333224552528 140334520813467 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2704] ppid=2639 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2642/task/2704/stat : 2704 (java) S 2639 2642 31421 0 -1 1077944384 494 13116 0 0 1 0 5 2 20 0 15 0 73264525 11079016448 14396 33554432000 4194304 4196468 140732893561808 140334046419568 140334520806018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2705] ppid=2639 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2642/task/2705/stat : 2705 (java) S 2639 2642 31421 0 -1 1077944384 88 13116 0 0 1 0 5 2 20 0 15 0 73264525 11079016448 14396 33554432000 4194304 4196468 140732893561808 140334045366768 140334520806018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2706] ppid=2639 vsize=10819352 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/2642/task/2706/stat : 2706 (java) S 2639 2642 31421 0 -1 1077944384 560 13116 0 0 5 0 5 2 20 0 15 0 73264525 11079016448 14396 33554432000 4194304 4196468 140732893561808 140334044314480 140334520806018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2707] ppid=2639 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2642/task/2707/stat : 2707 (java) S 2639 2642 31421 0 -1 1077944384 3 13116 0 0 0 0 5 2 20 0 15 0 73264525 11079016448 14396 33554432000 4194304 4196468 140732893561808 140332754791392 140334520805077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2708] ppid=2639 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2642/task/2708/stat : 2708 (java) S 2639 2642 31421 0 -1 1077944384 1 13116 0 0 0 0 5 2 20 0 15 0 73264525 11079016448 14396 33554432000 4194304 4196468 140732893561808 140334043261360 140334520806018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 57584 KiB
[startup+0.700751 s]
/proc/loadavg: 1.68 1.55 1.46 3/215 2708
/proc/meminfo: memFree=11930312/32770624 swapFree=67108860/67108860
[pid=2642] ppid=2639 vsize=10819352 memory=90472 CPUtime=0.99 cores=1,3,5,7
/proc/2642/stat : 2642 (java) S 2639 2642 31421 0 -1 1077944320 16752 13116 0 0 89 3 5 2 20 0 15 0 73264510 11079016448 22618 33554432000 4194304 4196468 140732893561808 140732893544352 140334520794871 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
/proc/2642/statm: 2704838 22618 3238 1 0 2667149 0
[pid=2642/tid=2695] ppid=2639 vsize=10819352 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/2642/task/2695/stat : 2695 (java) R 2639 2642 31421 0 -1 4202560 12266 13116 0 0 56 2 5 2 20 0 15 0 73264519 11079016448 22618 33554432000 4194304 4196468 140732893561808 140334492615696 140334505960510 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2696] ppid=2639 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2642/task/2696/stat : 2696 (java) S 2639 2642 31421 0 -1 1077944384 1 13116 0 0 0 0 5 2 20 0 15 0 73264520 11079016448 22618 33554432000 4194304 4196468 140732893561808 140334525037456 140334520805077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2697] ppid=2639 vsize=10819352 memory=8458433173657040949 CPUtime=0.07 cores=1,3,5,7
/proc/2642/task/2697/stat : 2697 (java) S 2639 2642 31421 0 -1 1077944384 1 13116 0 0 0 0 5 2 20 0 15 0 73264520 11079016448 22618 33554432000 4194304 4196468 140732893561808 140334439856912 140334520805077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2698] ppid=2639 vsize=10819352 memory=7084813508723104104 CPUtime=0.07 cores=1,3,5,7
/proc/2642/task/2698/stat : 2698 (java) S 2639 2642 31421 0 -1 1077944384 1 13116 0 0 0 0 5 2 20 0 15 0 73264520 11079016448 22618 33554432000 4194304 4196468 140732893561808 140334438804624 140334520805077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2699] ppid=2639 vsize=10819352 memory=4639059877604708710 CPUtime=0.07 cores=1,3,5,7
/proc/2642/task/2699/stat : 2699 (java) S 2639 2642 31421 0 -1 1077944384 2 13116 0 0 0 0 5 2 20 0 15 0 73264520 11079016448 22618 33554432000 4194304 4196468 140732893561808 140334437751824 140334520805077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2700] ppid=2639 vsize=10819352 memory=3467824627880452160 CPUtime=0.07 cores=1,3,5,7
/proc/2642/task/2700/stat : 2700 (java) S 2639 2642 31421 0 -1 1077944384 5 13116 0 0 0 0 5 2 20 0 15 0 73264521 11079016448 22618 33554432000 4194304 4196468 140732893561808 140334047471728 140334520806018 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2701] ppid=2639 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2642/task/2701/stat : 2701 (java) S 2639 2642 31421 0 -1 1077944384 13 13116 0 0 0 0 5 2 20 0 15 0 73264522 11079016448 22618 33554432000 4194304 4196468 140732893561808 140333962748704 140334520805077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2702] ppid=2639 vsize=10819352 memory=4140 CPUtime=0.07 cores=1,3,5,7
/proc/2642/task/2702/stat : 2702 (java) S 2639 2642 31421 0 -1 1077944384 1 13116 0 0 0 0 5 2 20 0 15 0 73264522 11079016448 22618 33554432000 4194304 4196468 140732893561808 140333828531312 140334520805077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2703] ppid=2639 vsize=10819352 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/2642/task/2703/stat : 2703 (java) S 2639 2642 31421 0 -1 1077944384 2 13116 0 0 0 0 5 2 20 0 15 0 73264525 11079016448 22618 33554432000 4194304 4196468 140732893561808 140333224552528 140334520813467 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2704] ppid=2639 vsize=10819352 memory=2244 CPUtime=0.14 cores=1,3,5,7
/proc/2642/task/2704/stat : 2704 (java) S 2639 2642 31421 0 -1 1077944384 852 13116 0 0 7 0 5 2 20 0 15 0 73264525 11079016448 22618 33554432000 4194304 4196468 140732893561808 140334046419568 140334520806018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2705] ppid=2639 vsize=10819352 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/2642/task/2705/stat : 2705 (java) S 2639 2642 31421 0 -1 1077944384 764 13116 0 0 10 0 5 2 20 0 15 0 73264525 11079016448 22618 33554432000 4194304 4196468 140732893561808 140334045366768 140334520806018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2706] ppid=2639 vsize=10819352 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/2642/task/2706/stat : 2706 (java) S 2639 2642 31421 0 -1 1077944384 652 13116 0 0 13 0 5 2 20 0 15 0 73264525 11079016448 22618 33554432000 4194304 4196468 140732893561808 140334044314480 140334520806018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2707] ppid=2639 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2642/task/2707/stat : 2707 (java) S 2639 2642 31421 0 -1 1077944384 3 13116 0 0 0 0 5 2 20 0 15 0 73264525 11079016448 22618 33554432000 4194304 4196468 140732893561808 140332754791392 140334520805077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2708] ppid=2639 vsize=10819352 memory=30305 CPUtime=0.07 cores=1,3,5,7
/proc/2642/task/2708/stat : 2708 (java) S 2639 2642 31421 0 -1 1077944384 1 13116 0 0 0 0 5 2 20 0 15 0 73264525 11079016448 22618 33554432000 4194304 4196468 140732893561808 140334043261360 140334520806018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 90472 KiB
[startup+1.50971 s]
/proc/loadavg: 1.68 1.55 1.46 3/215 2708
/proc/meminfo: memFree=11884028/32770624 swapFree=67108860/67108860
[pid=2642] ppid=2639 vsize=10828108 memory=215312 CPUtime=3.13 cores=1,3,5,7
/proc/2642/stat : 2642 (java) S 2639 2642 31421 0 -1 1077944320 22852 13116 0 0 299 7 5 2 20 0 15 0 73264510 11087982592 53828 33554432000 4194304 4196468 140732893561808 140732893544352 140334520794871 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
/proc/2642/statm: 2707027 53828 3458 1 0 2668685 0
[pid=2642/tid=2695] ppid=2639 vsize=10828108 memory=0 CPUtime=1.46 cores=1,3,5,7
/proc/2642/task/2695/stat : 2695 (java) R 2639 2642 31421 0 -1 4202560 15102 13116 0 0 133 6 5 2 20 0 15 0 73264519 11087982592 53828 33554432000 4194304 4196468 140732893561808 140334492629280 140334114954279 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2696] ppid=2639 vsize=10828108 memory=124 CPUtime=0.07 cores=1,3,5,7
/proc/2642/task/2696/stat : 2696 (java) S 2639 2642 31421 0 -1 1077944384 1 13116 0 0 0 0 5 2 20 0 15 0 73264520 11087982592 53828 33554432000 4194304 4196468 140732893561808 140334525037456 140334520805077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2697] ppid=2639 vsize=10828108 memory=78 CPUtime=0.07 cores=1,3,5,7
/proc/2642/task/2697/stat : 2697 (java) S 2639 2642 31421 0 -1 1077944384 1 13116 0 0 0 0 5 2 20 0 15 0 73264520 11087982592 53828 33554432000 4194304 4196468 140732893561808 140334439856912 140334520805077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2698] ppid=2639 vsize=10828108 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2642/task/2698/stat : 2698 (java) S 2639 2642 31421 0 -1 1077944384 1 13116 0 0 0 0 5 2 20 0 15 0 73264520 11087982592 53828 33554432000 4194304 4196468 140732893561808 140334438804624 140334520805077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2699] ppid=2639 vsize=10828108 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2642/task/2699/stat : 2699 (java) S 2639 2642 31421 0 -1 1077944384 2 13116 0 0 0 0 5 2 20 0 15 0 73264520 11087982592 53828 33554432000 4194304 4196468 140732893561808 140334437751824 140334520805077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2700] ppid=2639 vsize=10828108 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2642/task/2700/stat : 2700 (java) S 2639 2642 31421 0 -1 1077944384 12 13116 0 0 0 0 5 2 20 0 15 0 73264521 11087982592 53828 33554432000 4194304 4196468 140732893561808 140334047471728 140334520806018 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2701] ppid=2639 vsize=10828108 memory=139705286932314 CPUtime=0.07 cores=1,3,5,7
/proc/2642/task/2701/stat : 2701 (java) S 2639 2642 31421 0 -1 1077944384 13 13116 0 0 0 0 5 2 20 0 15 0 73264522 11087982592 53828 33554432000 4194304 4196468 140732893561808 140333962748704 140334520805077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2702] ppid=2639 vsize=10828108 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2642/task/2702/stat : 2702 (java) S 2639 2642 31421 0 -1 1077944384 1 13116 0 0 0 0 5 2 20 0 15 0 73264522 11087982592 53828 33554432000 4194304 4196468 140732893561808 140333828531312 140334520805077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2703] ppid=2639 vsize=10828108 memory=2986632698767059817 CPUtime=0.07 cores=1,3,5,7
/proc/2642/task/2703/stat : 2703 (java) S 2639 2642 31421 0 -1 1077944384 2 13116 0 0 0 0 5 2 20 0 15 0 73264525 11087982592 53828 33554432000 4194304 4196468 140732893561808 140333224552528 140334520813467 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2704] ppid=2639 vsize=10828108 memory=-2127768701671923703 CPUtime=0.64 cores=1,3,5,7
/proc/2642/task/2704/stat : 2704 (java) R 2639 2642 31421 0 -1 4202560 2268 13116 0 0 57 0 5 2 20 0 15 0 73264525 11087982592 53828 33554432000 4194304 4196468 140732893561808 140334046401136 140334505694414 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2705] ppid=2639 vsize=10828108 memory=-2897801490638248331 CPUtime=0.65 cores=1,3,5,7
/proc/2642/task/2705/stat : 2705 (java) R 2639 2642 31421 0 -1 4202560 1716 13116 0 0 58 0 5 2 20 0 15 0 73264525 11087982592 53828 33554432000 4194304 4196468 140732893561808 140334045345296 140334500481251 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2706] ppid=2639 vsize=10828108 memory=-2746958450906831519 CPUtime=0.55 cores=1,3,5,7
/proc/2642/task/2706/stat : 2706 (java) S 2639 2642 31421 0 -1 1077944384 1541 13116 0 0 48 0 5 2 20 0 15 0 73264525 11087982592 53828 33554432000 4194304 4196468 140732893561808 140334044314480 140334520806018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2707] ppid=2639 vsize=10828108 memory=-6440287458061328268 CPUtime=0.07 cores=1,3,5,7
/proc/2642/task/2707/stat : 2707 (java) S 2639 2642 31421 0 -1 1077944384 3 13116 0 0 0 0 5 2 20 0 15 0 73264525 11087982592 53828 33554432000 4194304 4196468 140732893561808 140332754791392 140334520805077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2708] ppid=2639 vsize=10828108 memory=64 CPUtime=0.07 cores=1,3,5,7
/proc/2642/task/2708/stat : 2708 (java) S 2639 2642 31421 0 -1 1077944384 1 13116 0 0 0 0 5 2 20 0 15 0 73264525 11087982592 53828 33554432000 4194304 4196468 140732893561808 140334043261360 140334520806018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
Current children cumulated CPU time: 3.13 s
Current children cumulated vsize: 10828108 KiB
################
# More data... #
################
/proc/2642/task/2695/stat : 2695 (java) R 2639 2642 31421 0 -1 4202560 248278 13116 0 0 229721 77 5 2 20 0 15 0 73264519 11113168896 1179170 33554432000 4194304 4196468 140732893561808 140334492629456 140334139428848 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2696] ppid=2639 vsize=10852704 memory=4716680 CPUtime=23.44 cores=1,3,5,7
/proc/2642/task/2696/stat : 2696 (java) S 2639 2642 31421 0 -1 1077944384 41633 13116 0 0 2266 71 5 2 20 0 15 0 73264520 11113168896 1179170 33554432000 4194304 4196468 140732893561808 140334525037456 140334520805077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2697] ppid=2639 vsize=10852704 memory=13044 CPUtime=23.33 cores=1,3,5,7
/proc/2642/task/2697/stat : 2697 (java) S 2639 2642 31421 0 -1 1077944384 41219 13116 0 0 2255 71 5 2 20 0 15 0 73264520 11113168896 1179170 33554432000 4194304 4196468 140732893561808 140334439856912 140334520805077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2698] ppid=2639 vsize=10852704 memory=4716680 CPUtime=23.27 cores=1,3,5,7
/proc/2642/task/2698/stat : 2698 (java) S 2639 2642 31421 0 -1 1077944384 43323 13116 0 0 2254 66 5 2 20 0 15 0 73264520 11113168896 1179170 33554432000 4194304 4196468 140732893561808 140334438804624 140334520805077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2699] ppid=2639 vsize=10852704 memory=4716716 CPUtime=23.35 cores=1,3,5,7
/proc/2642/task/2699/stat : 2699 (java) S 2639 2642 31421 0 -1 1077944384 30412 13116 0 0 2260 68 5 2 20 0 15 0 73264520 11113168896 1179170 33554432000 4194304 4196468 140732893561808 140334437751824 140334520805077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2700] ppid=2639 vsize=10852704 memory=4716752 CPUtime=0.77 cores=1,3,5,7
/proc/2642/task/2700/stat : 2700 (java) S 2639 2642 31421 0 -1 1077944384 60415 13116 0 0 62 8 5 2 20 0 15 0 73264521 11113168896 1179170 33554432000 4194304 4196468 140732893561808 140334047471728 140334520806018 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2701] ppid=2639 vsize=10852704 memory=4716716 CPUtime=0.07 cores=1,3,5,7
/proc/2642/task/2701/stat : 2701 (java) S 2639 2642 31421 0 -1 1077944384 19 13116 0 0 0 0 5 2 20 0 15 0 73264522 11113168896 1179170 33554432000 4194304 4196468 140732893561808 140333962748768 140334520805077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2702] ppid=2639 vsize=10852704 memory=4716716 CPUtime=0.07 cores=1,3,5,7
/proc/2642/task/2702/stat : 2702 (java) S 2639 2642 31421 0 -1 1077944384 14 13116 0 0 0 0 5 2 20 0 15 0 73264522 11113168896 1179170 33554432000 4194304 4196468 140732893561808 140333828531328 140334520805077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2703] ppid=2639 vsize=10852704 memory=4716680 CPUtime=0.07 cores=1,3,5,7
/proc/2642/task/2703/stat : 2703 (java) S 2639 2642 31421 0 -1 1077944384 2 13116 0 0 0 0 5 2 20 0 15 0 73264525 11113168896 1179170 33554432000 4194304 4196468 140732893561808 140333224552528 140334520813467 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2704] ppid=2639 vsize=10852704 memory=4716680 CPUtime=14.11 cores=1,3,5,7
/proc/2642/task/2704/stat : 2704 (java) S 2639 2642 31421 0 -1 1077944384 91354 13116 0 0 1397 7 5 2 20 0 15 0 73264525 11113168896 1179170 33554432000 4194304 4196468 140732893561808 140334046419568 140334520806018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2705] ppid=2639 vsize=10852704 memory=8112282956445269571 CPUtime=14.27 cores=1,3,5,7
/proc/2642/task/2705/stat : 2705 (java) S 2639 2642 31421 0 -1 1077944384 101071 13116 0 0 1411 9 5 2 20 0 15 0 73264525 11113168896 1179170 33554432000 4194304 4196468 140732893561808 140334045366768 140334520806018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2706] ppid=2639 vsize=10852704 memory=1836 CPUtime=3.99 cores=1,3,5,7
/proc/2642/task/2706/stat : 2706 (java) S 2639 2642 31421 0 -1 1077944384 57727 13116 0 0 382 10 5 2 20 0 15 0 73264525 11113168896 1179170 33554432000 4194304 4196468 140732893561808 140334044314480 140334520806018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2707] ppid=2639 vsize=10852704 memory=4716680 CPUtime=0.07 cores=1,3,5,7
/proc/2642/task/2707/stat : 2707 (java) S 2639 2642 31421 0 -1 1077944384 3 13116 0 0 0 0 5 2 20 0 15 0 73264525 11113168896 1179170 33554432000 4194304 4196468 140732893561808 140332754791392 140334520805077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2708] ppid=2639 vsize=10852704 memory=1836 CPUtime=1.37 cores=1,3,5,7
/proc/2642/task/2708/stat : 2708 (java) S 2639 2642 31421 0 -1 1077944384 2551 13116 0 0 58 72 5 2 20 0 15 0 73264525 11113168896 1179170 33554432000 4194304 4196468 140732893561808 140334043261360 140334520806018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
Current children cumulated CPU time: 2425.45 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 4716680 KiB
[startup+2382.3 s]
/proc/loadavg: 1.84 1.88 1.80 3/215 3042
/proc/meminfo: memFree=3627296/32770624 swapFree=67108860/67108860
[pid=2642] ppid=2639 vsize=10852704 memory=4680224 CPUtime=2485.56 cores=1,3,5,7
/proc/2642/stat : 2642 (java) S 2639 2642 31421 0 -1 1077944320 733796 13116 0 0 248098 451 5 2 20 0 15 0 73264510 11113168896 1170056 33554432000 4194304 4196468 140732893561808 140732893544352 140334520794871 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
/proc/2642/statm: 2713176 1170056 3537 1 0 2674829 0
[pid=2642/tid=2695] ppid=2639 vsize=10852704 memory=279410574869664 CPUtime=2358.02 cores=1,3,5,7
/proc/2642/task/2695/stat : 2695 (java) R 2639 2642 31421 0 -1 4202560 253722 13116 0 0 235717 78 5 2 20 0 15 0 73264519 11113168896 1170056 33554432000 4194304 4196468 140732893561808 140334492629312 140334132861791 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2696] ppid=2639 vsize=10852704 memory=4706384 CPUtime=23.46 cores=1,3,5,7
/proc/2642/task/2696/stat : 2696 (java) S 2639 2642 31421 0 -1 1077944384 42177 13116 0 0 2268 71 5 2 20 0 15 0 73264520 11113168896 1170056 33554432000 4194304 4196468 140732893561808 140334525037456 140334520805077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2697] ppid=2639 vsize=10852704 memory=4706384 CPUtime=23.35 cores=1,3,5,7
/proc/2642/task/2697/stat : 2697 (java) S 2639 2642 31421 0 -1 1077944384 43031 13116 0 0 2257 71 5 2 20 0 15 0 73264520 11113168896 1170056 33554432000 4194304 4196468 140732893561808 140334439856912 140334520805077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2698] ppid=2639 vsize=10852704 memory=4687916 CPUtime=23.29 cores=1,3,5,7
/proc/2642/task/2698/stat : 2698 (java) S 2639 2642 31421 0 -1 1077944384 43851 13116 0 0 2256 66 5 2 20 0 15 0 73264520 11113168896 1170056 33554432000 4194304 4196468 140732893561808 140334438804624 140334520805077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2699] ppid=2639 vsize=10852704 memory=4680224 CPUtime=23.37 cores=1,3,5,7
/proc/2642/task/2699/stat : 2699 (java) S 2639 2642 31421 0 -1 1077944384 31051 13116 0 0 2262 68 5 2 20 0 15 0 73264520 11113168896 1170056 33554432000 4194304 4196468 140732893561808 140334437751824 140334520805077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2700] ppid=2639 vsize=10852704 memory=4680224 CPUtime=0.79 cores=1,3,5,7
/proc/2642/task/2700/stat : 2700 (java) S 2639 2642 31421 0 -1 1077944384 60743 13116 0 0 63 9 5 2 20 0 15 0 73264521 11113168896 1170056 33554432000 4194304 4196468 140732893561808 140334047471728 140334520806018 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2701] ppid=2639 vsize=10852704 memory=8112282956445269571 CPUtime=0.07 cores=1,3,5,7
/proc/2642/task/2701/stat : 2701 (java) S 2639 2642 31421 0 -1 1077944384 19 13116 0 0 0 0 5 2 20 0 15 0 73264522 11113168896 1170056 33554432000 4194304 4196468 140732893561808 140333962748768 140334520805077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2702] ppid=2639 vsize=10852704 memory=2340 CPUtime=0.07 cores=1,3,5,7
/proc/2642/task/2702/stat : 2702 (java) S 2639 2642 31421 0 -1 1077944384 14 13116 0 0 0 0 5 2 20 0 15 0 73264522 11113168896 1170056 33554432000 4194304 4196468 140732893561808 140333828531328 140334520805077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2703] ppid=2639 vsize=10852704 memory=4680224 CPUtime=0.07 cores=1,3,5,7
/proc/2642/task/2703/stat : 2703 (java) S 2639 2642 31421 0 -1 1077944384 2 13116 0 0 0 0 5 2 20 0 15 0 73264525 11113168896 1170056 33554432000 4194304 4196468 140732893561808 140333224552528 140334520813467 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2704] ppid=2639 vsize=10852704 memory=4680224 CPUtime=14.12 cores=1,3,5,7
/proc/2642/task/2704/stat : 2704 (java) S 2639 2642 31421 0 -1 1077944384 94107 13116 0 0 1398 7 5 2 20 0 15 0 73264525 11113168896 1170056 33554432000 4194304 4196468 140732893561808 140334046419568 140334520806018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2705] ppid=2639 vsize=10852704 memory=4680224 CPUtime=14.28 cores=1,3,5,7
/proc/2642/task/2705/stat : 2705 (java) S 2639 2642 31421 0 -1 1077944384 101467 13116 0 0 1412 9 5 2 20 0 15 0 73264525 11113168896 1170056 33554432000 4194304 4196468 140732893561808 140334045366768 140334520806018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2706] ppid=2639 vsize=10852704 memory=4140 CPUtime=4 cores=1,3,5,7
/proc/2642/task/2706/stat : 2706 (java) S 2639 2642 31421 0 -1 1077944384 58828 13116 0 0 382 11 5 2 20 0 15 0 73264525 11113168896 1170056 33554432000 4194304 4196468 140732893561808 140334044314480 140334520806018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2707] ppid=2639 vsize=10852704 memory=4140 CPUtime=0.07 cores=1,3,5,7
/proc/2642/task/2707/stat : 2707 (java) S 2639 2642 31421 0 -1 1077944384 3 13116 0 0 0 0 5 2 20 0 15 0 73264525 11113168896 1170056 33554432000 4194304 4196468 140732893561808 140332754791392 140334520805077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2708] ppid=2639 vsize=10852704 memory=22024 CPUtime=1.41 cores=1,3,5,7
/proc/2642/task/2708/stat : 2708 (java) S 2639 2642 31421 0 -1 1077944384 2593 13116 0 0 60 74 5 2 20 0 15 0 73264525 11113168896 1170056 33554432000 4194304 4196468 140732893561808 140334043261360 140334520806018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
Current children cumulated CPU time: 2485.56 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 4680224 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2416.7 s]
/proc/loadavg: 1.90 1.89 1.81 3/215 3042
/proc/meminfo: memFree=3667296/32770624 swapFree=67108860/67108860
[pid=2642] ppid=2639 vsize=10852704 memory=4640720 CPUtime=2520.04 cores=1,3,5,7
/proc/2642/stat : 2642 (java) S 2639 2642 31421 0 -1 1077944320 745024 13116 0 0 251543 454 5 2 20 0 15 0 73264510 11113168896 1160180 33554432000 4194304 4196468 140732893561808 140732893544352 140334520794871 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
/proc/2642/statm: 2713176 1160180 3537 1 0 2674829 0
[pid=2642/tid=2695] ppid=2639 vsize=10852704 memory=4706384 CPUtime=2392.4 cores=1,3,5,7
/proc/2642/task/2695/stat : 2695 (java) R 2639 2642 31421 0 -1 4202560 257561 13116 0 0 239154 79 5 2 20 0 15 0 73264519 11113168896 1160180 33554432000 4194304 4196468 140732893561808 140334492630024 140334138920389 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2696] ppid=2639 vsize=10852704 memory=4706384 CPUtime=23.47 cores=1,3,5,7
/proc/2642/task/2696/stat : 2696 (java) S 2639 2642 31421 0 -1 1077944384 43868 13116 0 0 2269 71 5 2 20 0 15 0 73264520 11113168896 1160180 33554432000 4194304 4196468 140732893561808 140334525037456 140334520805077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2697] ppid=2639 vsize=10852704 memory=4640720 CPUtime=23.36 cores=1,3,5,7
/proc/2642/task/2697/stat : 2697 (java) S 2639 2642 31421 0 -1 1077944384 43645 13116 0 0 2258 71 5 2 20 0 15 0 73264520 11113168896 1160180 33554432000 4194304 4196468 140732893561808 140334439856912 140334520805077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2698] ppid=2639 vsize=10852704 memory=4640720 CPUtime=23.3 cores=1,3,5,7
/proc/2642/task/2698/stat : 2698 (java) S 2639 2642 31421 0 -1 1077944384 44339 13116 0 0 2257 66 5 2 20 0 15 0 73264520 11113168896 1160180 33554432000 4194304 4196468 140732893561808 140334438804624 140334520805077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2699] ppid=2639 vsize=10852704 memory=4640720 CPUtime=23.38 cores=1,3,5,7
/proc/2642/task/2699/stat : 2699 (java) S 2639 2642 31421 0 -1 1077944384 31556 13116 0 0 2263 68 5 2 20 0 15 0 73264520 11113168896 1160180 33554432000 4194304 4196468 140732893561808 140334437751824 140334520805077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2700] ppid=2639 vsize=10852704 memory=4640720 CPUtime=0.79 cores=1,3,5,7
/proc/2642/task/2700/stat : 2700 (java) S 2639 2642 31421 0 -1 1077944384 61013 13116 0 0 63 9 5 2 20 0 15 0 73264521 11113168896 1160180 33554432000 4194304 4196468 140732893561808 140334047471728 140334520806018 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2701] ppid=2639 vsize=10852704 memory=4640720 CPUtime=0.07 cores=1,3,5,7
/proc/2642/task/2701/stat : 2701 (java) S 2639 2642 31421 0 -1 1077944384 19 13116 0 0 0 0 5 2 20 0 15 0 73264522 11113168896 1160180 33554432000 4194304 4196468 140732893561808 140333962748768 140334520805077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2702] ppid=2639 vsize=10852704 memory=4640720 CPUtime=0.07 cores=1,3,5,7
/proc/2642/task/2702/stat : 2702 (java) S 2639 2642 31421 0 -1 1077944384 14 13116 0 0 0 0 5 2 20 0 15 0 73264522 11113168896 1160180 33554432000 4194304 4196468 140732893561808 140333828531328 140334520805077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2703] ppid=2639 vsize=10852704 memory=4640720 CPUtime=0.07 cores=1,3,5,7
/proc/2642/task/2703/stat : 2703 (java) S 2639 2642 31421 0 -1 1077944384 2 13116 0 0 0 0 5 2 20 0 15 0 73264525 11113168896 1160180 33554432000 4194304 4196468 140732893561808 140333224552528 140334520813467 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2704] ppid=2639 vsize=10852704 memory=3276 CPUtime=14.13 cores=1,3,5,7
/proc/2642/task/2704/stat : 2704 (java) S 2639 2642 31421 0 -1 1077944384 94603 13116 0 0 1399 7 5 2 20 0 15 0 73264525 11113168896 1160180 33554432000 4194304 4196468 140732893561808 140334046419568 140334520806018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2705] ppid=2639 vsize=10852704 memory=8112282956445269571 CPUtime=14.29 cores=1,3,5,7
/proc/2642/task/2705/stat : 2705 (java) S 2639 2642 31421 0 -1 1077944384 103733 13116 0 0 1413 9 5 2 20 0 15 0 73264525 11113168896 1160180 33554432000 4194304 4196468 140732893561808 140334045366768 140334520806018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2706] ppid=2639 vsize=10852704 memory=932 CPUtime=4.01 cores=1,3,5,7
/proc/2642/task/2706/stat : 2706 (java) S 2639 2642 31421 0 -1 1077944384 59846 13116 0 0 383 11 5 2 20 0 15 0 73264525 11113168896 1160180 33554432000 4194304 4196468 140732893561808 140334044314480 140334520806018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2707] ppid=2639 vsize=10852704 memory=288230574492221466 CPUtime=0.07 cores=1,3,5,7
/proc/2642/task/2707/stat : 2707 (java) S 2639 2642 31421 0 -1 1077944384 3 13116 0 0 0 0 5 2 20 0 15 0 73264525 11113168896 1160180 33554432000 4194304 4196468 140732893561808 140332754791392 140334520805077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2708] ppid=2639 vsize=10852704 memory=288230583166042426 CPUtime=1.43 cores=1,3,5,7
/proc/2642/task/2708/stat : 2708 (java) S 2639 2642 31421 0 -1 1077944384 2634 13116 0 0 61 75 5 2 20 0 15 0 73264525 11113168896 1160180 33554432000 4194304 4196468 140732893561808 140334043261360 140334520806018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 4640720 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2416.75 s]
# the end of solver process 2642 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.51 s, system=4.60502 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2416.7 s]
/proc/loadavg: 1.90 1.89 1.81 3/215 3042
/proc/meminfo: memFree=3667296/32770624 swapFree=67108860/67108860
[pid=2642] ppid=2639 vsize=10852704 memory=4640720 CPUtime=2520.04 cores=1,3,5,7
/proc/2642/stat : 2642 (java) S 2639 2642 31421 0 -1 1077944320 745024 13116 0 0 251543 454 5 2 20 0 15 0 73264510 11113168896 1160180 33554432000 4194304 4196468 140732893561808 140732893544352 140334520794871 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
/proc/2642/statm: 2713176 1160180 3537 1 0 2674829 0
[pid=2642/tid=2695] ppid=2639 vsize=10852704 memory=4706384 CPUtime=2392.4 cores=1,3,5,7
/proc/2642/task/2695/stat : 2695 (java) R 2639 2642 31421 0 -1 4202560 257561 13116 0 0 239154 79 5 2 20 0 15 0 73264519 11113168896 1160180 33554432000 4194304 4196468 140732893561808 140334492630024 140334138920389 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2696] ppid=2639 vsize=10852704 memory=4706384 CPUtime=23.47 cores=1,3,5,7
/proc/2642/task/2696/stat : 2696 (java) S 2639 2642 31421 0 -1 1077944384 43868 13116 0 0 2269 71 5 2 20 0 15 0 73264520 11113168896 1160180 33554432000 4194304 4196468 140732893561808 140334525037456 140334520805077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2697] ppid=2639 vsize=10852704 memory=4640720 CPUtime=23.36 cores=1,3,5,7
/proc/2642/task/2697/stat : 2697 (java) S 2639 2642 31421 0 -1 1077944384 43645 13116 0 0 2258 71 5 2 20 0 15 0 73264520 11113168896 1160180 33554432000 4194304 4196468 140732893561808 140334439856912 140334520805077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2698] ppid=2639 vsize=10852704 memory=4640720 CPUtime=23.3 cores=1,3,5,7
/proc/2642/task/2698/stat : 2698 (java) S 2639 2642 31421 0 -1 1077944384 44339 13116 0 0 2257 66 5 2 20 0 15 0 73264520 11113168896 1160180 33554432000 4194304 4196468 140732893561808 140334438804624 140334520805077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2699] ppid=2639 vsize=10852704 memory=4640720 CPUtime=23.38 cores=1,3,5,7
/proc/2642/task/2699/stat : 2699 (java) S 2639 2642 31421 0 -1 1077944384 31556 13116 0 0 2263 68 5 2 20 0 15 0 73264520 11113168896 1160180 33554432000 4194304 4196468 140732893561808 140334437751824 140334520805077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2700] ppid=2639 vsize=10852704 memory=4640720 CPUtime=0.79 cores=1,3,5,7
/proc/2642/task/2700/stat : 2700 (java) S 2639 2642 31421 0 -1 1077944384 61013 13116 0 0 63 9 5 2 20 0 15 0 73264521 11113168896 1160180 33554432000 4194304 4196468 140732893561808 140334047471728 140334520806018 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2701] ppid=2639 vsize=10852704 memory=4640720 CPUtime=0.07 cores=1,3,5,7
/proc/2642/task/2701/stat : 2701 (java) S 2639 2642 31421 0 -1 1077944384 19 13116 0 0 0 0 5 2 20 0 15 0 73264522 11113168896 1160180 33554432000 4194304 4196468 140732893561808 140333962748768 140334520805077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2702] ppid=2639 vsize=10852704 memory=4640720 CPUtime=0.07 cores=1,3,5,7
/proc/2642/task/2702/stat : 2702 (java) S 2639 2642 31421 0 -1 1077944384 14 13116 0 0 0 0 5 2 20 0 15 0 73264522 11113168896 1160180 33554432000 4194304 4196468 140732893561808 140333828531328 140334520805077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2703] ppid=2639 vsize=10852704 memory=4640720 CPUtime=0.07 cores=1,3,5,7
/proc/2642/task/2703/stat : 2703 (java) S 2639 2642 31421 0 -1 1077944384 2 13116 0 0 0 0 5 2 20 0 15 0 73264525 11113168896 1160180 33554432000 4194304 4196468 140732893561808 140333224552528 140334520813467 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2704] ppid=2639 vsize=10852704 memory=3276 CPUtime=14.13 cores=1,3,5,7
/proc/2642/task/2704/stat : 2704 (java) S 2639 2642 31421 0 -1 1077944384 94603 13116 0 0 1399 7 5 2 20 0 15 0 73264525 11113168896 1160180 33554432000 4194304 4196468 140732893561808 140334046419568 140334520806018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2705] ppid=2639 vsize=10852704 memory=8112282956445269571 CPUtime=14.29 cores=1,3,5,7
/proc/2642/task/2705/stat : 2705 (java) S 2639 2642 31421 0 -1 1077944384 103733 13116 0 0 1413 9 5 2 20 0 15 0 73264525 11113168896 1160180 33554432000 4194304 4196468 140732893561808 140334045366768 140334520806018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2706] ppid=2639 vsize=10852704 memory=932 CPUtime=4.01 cores=1,3,5,7
/proc/2642/task/2706/stat : 2706 (java) S 2639 2642 31421 0 -1 1077944384 59846 13116 0 0 383 11 5 2 20 0 15 0 73264525 11113168896 1160180 33554432000 4194304 4196468 140732893561808 140334044314480 140334520806018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2707] ppid=2639 vsize=10852704 memory=288230574492221466 CPUtime=0.07 cores=1,3,5,7
/proc/2642/task/2707/stat : 2707 (java) S 2639 2642 31421 0 -1 1077944384 3 13116 0 0 0 0 5 2 20 0 15 0 73264525 11113168896 1160180 33554432000 4194304 4196468 140732893561808 140332754791392 140334520805077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
[pid=2642/tid=2708] ppid=2639 vsize=10852704 memory=288230583166042426 CPUtime=1.43 cores=1,3,5,7
/proc/2642/task/2708/stat : 2708 (java) S 2639 2642 31421 0 -1 1077944384 2634 13116 0 0 61 75 5 2 20 0 15 0 73264525 11113168896 1160180 33554432000 4194304 4196468 140732893561808 140334043261360 140334520806018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39796736 140732893563051 140732893566300 140732893566300 140732893568975 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 4640720 KiB
Child status: 143
Real time (s): 2416.75
CPU time (s): 2520.12
CPU user time (s): 2515.51
CPU system time (s): 4.60502
CPU usage (%): 104.277
Max. virtual memory (cumulated for all children) (KiB): 10853352
Max. memory (cumulated for all children) (KiB): 4792960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.51
system time used= 4.60502
maximum resident set size= 4792960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 760900
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 70201
involuntary context switches= 2396
# summary of solver processes directly reported to runsolver:
# pid: 2642
# total CPU time (s): 2520.12
# total CPU user time (s): 2515.51
# total CPU system time (s): 4.60502
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.4173 second user time and 23.7859 second system time
The end
Begin job on node107 at 2018-07-26 00:16:53 IDJOB=4295438 IDBENCH=141548 IDSOLVER=2751 FILE ID=node107/4295438-1532557013 RUNJOBID= node107-1532543154-31453 PBS_JOBID= 21021952 Free space on /tmp= 54500 MiB SOLVER NAME= Concrete 3.8-SuperNG 2018-06-13 BENCH NAME= XCSP18/TravelingTournament/TravelingTournament-a3-galaxy16_c18.xml COMMAND LINE= concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED -superng BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4295438-1532557013/watcher-4295438-1532557013 -o /tmp/evaluation-result-4295438-1532557013/solver-4295438-1532557013 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532543154-31453 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1907027750 -superng HOME/instance-4295438-1532557013.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e08ad5e9bb2dce0f9ded0033a126b6aa RANDOM SEED=1907027750 node107.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.40 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.40 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.40 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.40 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: 11985624 kB MemAvailable: 30910736 kB Buffers: 287220 kB Cached: 18757160 kB SwapCached: 0 kB Active: 5284576 kB Inactive: 14831560 kB Active(anon): 1074504 kB Inactive(anon): 25036 kB Active(file): 4210072 kB Inactive(file): 14806524 kB Unevictable: 7168 kB Mlocked: 7168 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 26892 kB Writeback: 16 kB AnonPages: 1078464 kB Mapped: 53252 kB Shmem: 25228 kB Slab: 364508 kB SReclaimable: 336976 kB SUnreclaim: 27532 kB KernelStack: 3520 kB PageTables: 7800 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1966524 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 819200 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 91520 kB DirectMap2M: 33454080 kB Free space on /tmp at the end= 54472 MiB End job on node107 at 2018-07-26 00:57:10