Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Concrete 3.9.2 | SAT (TO) | 17326 | 252.11 | 222.939 |
| Name | TravelingTournament/ TravelingTournament-a2-galaxy14_c18.xml |
| MD5SUM | 289cb43960e2b184f01d0d99cacee99d |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 17126 |
| Best CPU time to get the best result obtained on this benchmark | 252.078 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1470 |
| Number of constraints | 5725 |
| Number of domains | 3 |
| Minimum domain size | 2 |
| Maximum domain size | 57 |
| Distribution of domain sizes | [{"size":2,"count":728},{"size":14,"count":364},{"size":57,"count":378}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 44 |
| Distribution of variable degrees | [{"degree":2,"count":742},{"degree":41,"count":336},{"degree":42,"count":364},{"degree":43,"count":26},{"degree":44,"count":2}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 26 |
| Distribution of constraint arities | [{"arity":2,"count":365},{"arity":3,"count":28},{"arity":4,"count":4200},{"arity":5,"count":350},{"arity":14,"count":390},{"arity":16,"count":364},{"arity":26,"count":28}] |
| Number of extensional constraints | 378 |
| Number of intensional constraints | 4565 |
| Distribution of constraint types | [{"type":"extension","count":378},{"type":"intension","count":4565},{"type":"regular","count":14},{"type":"allDifferent","count":26},{"type":"cardinality","count":14},{"type":"element","count":728}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.98/0.74 c Concrete v3.9.2.1532736233296 running 101.65/76.44 o 18372 123.86/97.73 o 18340 123.86/97.76 o 18331 130.63/104.22 o 18222 130.63/104.24 o 18161 130.79/104.32 o 18064 134.04/107.47 o 18057 134.95/108.34 o 18033 134.95/108.38 o 17999 135.06/108.48 o 17913 135.06/108.50 o 17906 137.65/110.87 o 17885 137.65/110.88 o 17801 167.83/140.65 o 17794 182.57/155.28 o 17672 183.08/155.79 o 17612 183.93/156.50 o 17596 186.05/158.69 o 17588 187.68/160.22 o 17549 187.68/160.23 o 17341 191.42/163.95 o 17326 252.05/222.90 Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost 252.05/222.90 at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24) 252.05/222.90 at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53) 252.05/222.90 at concrete.BitVectorDomain.$anonfun$filter$1(BitVectorDomain.scala:126) 252.05/222.90 at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142) 252.05/222.90 at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5) 252.05/222.90 at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126) 252.05/222.90 at concrete.BitVectorDomain.filter(BitVectorDomain.scala:8) 252.05/222.90 at concrete.heuristic.value.BestCost.select(BestCost.scala:53) 252.05/222.90 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103) 252.05/222.90 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103) 252.05/222.90 at scala.Function2.$anonfun$tupled$1(Function2.scala:48) 252.05/222.90 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103) 252.05/222.90 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103) 252.05/222.90 at scala.Function2.$anonfun$tupled$1(Function2.scala:48) 252.05/222.90 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103) 252.05/222.90 at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:109) 252.05/222.90 at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42) 252.05/222.90 at scala.Option.map(Option.scala:146) 252.05/222.90 at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40) 252.05/222.90 at concrete.MAC.mac(MAC.scala:203) 252.05/222.90 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252) 252.05/222.90 at scala.util.Try$.apply(Try.scala:209) 252.05/222.90 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194) 252.05/222.90 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182) 252.05/222.90 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12) 252.05/222.90 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61) 252.05/222.90 at org.scalameter.Measurer$Default.measure(Measurer.scala:133) 252.05/222.90 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51) 252.05/222.90 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61) 252.05/222.90 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181) 252.05/222.90 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194) 252.05/222.90 at concrete.MAC.oneRun(MAC.scala:253) 252.05/222.90 at concrete.MAC.nextSolution(MAC.scala:272) 252.05/222.90 at concrete.MAC.nextSolution(MAC.scala:355) 252.05/222.90 at concrete.Solver.hasNext(Solver.scala:166) 252.05/222.90 at scala.collection.Iterator.foreach(Iterator.scala:944) 252.05/222.90 at scala.collection.Iterator.foreach$(Iterator.scala:944) 252.05/222.90 at concrete.Solver.foreach(Solver.scala:68) 252.05/222.90 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73) 252.05/222.90 at scala.util.Success.$anonfun$map$1(Try.scala:251) 252.05/222.90 at scala.util.Success.map(Try.scala:209) 252.05/222.90 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68) 252.05/222.90 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33) 252.05/222.90 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18) 252.05/222.90 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121) 252.05/222.90 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18) 252.05/222.90 at scala.Function0.apply$mcV$sp(Function0.scala:34) 252.05/222.90 at scala.Function0.apply$mcV$sp$(Function0.scala:34) 252.05/222.90 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12) 252.05/222.90 at scala.App.$anonfun$main$1$adapted(App.scala:76) 252.05/222.90 at scala.collection.immutable.List.foreach(List.scala:389) 252.05/222.90 at scala.App.main(App.scala:76) 252.05/222.90 at scala.App.main$(App.scala:74) 252.05/222.90 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18) 252.05/222.90 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 252.05/222.91 v <instantiation cost="17326"> 252.05/222.91 v <list> 252.05/222.91 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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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] 252.05/222.91 v </list> 252.05/222.91 v <values> 252.05/222.91 v 6 9 12 11 7 7 13 1 11 9 2 5 4 6 12 2 4 1 3 10 10 5 8 3 8 13 4 6 10 10 2 9 2 0 12 7 4 6 11 11 3 8 12 0 13 13 7 9 5 8 5 3 9 11 3 7 1 5 1 8 13 5 0 4 6 12 8 0 10 4 11 9 12 3 6 13 7 10 12 5 2 4 8 10 9 13 6 6 12 7 7 8 1 4 11 13 0 5 9 2 11 0 10 1 1 12 9 3 13 8 6 7 5 13 1 2 0 10 10 3 0 2 7 11 11 8 9 12 6 5 7 3 6 12 11 2 11 10 4 2 8 0 13 9 9 12 13 7 6 3 8 0 1 10 1 4 0 1 5 8 12 13 4 12 3 3 11 1 2 0 11 10 7 10 5 8 13 7 2 9 4 9 5 8 11 2 0 0 8 4 10 1 9 3 3 13 13 9 6 5 4 12 1 6 10 11 2 12 13 7 13 6 3 4 7 2 9 10 5 12 12 3 2 1 9 11 10 6 5 4 0 1 0 11 2 0 4 13 10 1 3 11 8 0 7 13 10 5 5 7 8 12 12 2 3 1 4 6 11 6 11 13 1 1 9 3 12 5 7 8 13 11 9 4 4 6 2 6 8 0 0 12 7 5 3 2 10 2 7 0 5 12 5 9 0 12 6 10 1 1 6 13 3 8 2 4 4 13 3 7 9 8 3 4 0 5 6 11 10 6 1 11 3 8 8 2 0 5 1 9 9 7 2 10 13 4 13 7 8 10 8 9 4 6 0 3 2 4 10 9 5 7 7 11 5 3 1 1 6 11 12 2 12 0 0 1 0 1 1 0 1 1 0 0 1 0 0 1 1 0 1 0 1 0 1 1 0 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 1 0 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 0 1 0 1 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 1 1 1 0 1 0 1 1 0 1 0 0 1 0 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 0 1 1 0 0 1 0 0 1 1 0 0 1 1 0 1 0 1 1 0 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 1 0 0 1 0 0 1 1 0 0 1 0 0 1 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 0 1 1 0 1 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 0 0 1 0 1 0 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 0 1 1 1 0 1 0 0 1 0 0 1 1 0 1 1 0 0 1 0 1 0 1 0 0 1 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 0 1 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 1 0 1 0 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 1 0 1 0 1 1 0 1 0 0 0 0 1 0 1 0 0 1 0 1 1 0 1 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 1 0 0 1 1 0 1 1 0 0 1 1 0 0 1 0 1 0 0 1 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 0 1 1 0 1 1 0 0 1 1 0 1 1 0 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 1 0 0 1 0 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 1 1 0 1 0 1 0 1 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 1 0 0 44 44 57 57 0 44 44 0 55 105 51 39 35 36 0 15 15 10 10 55 55 0 48 68 34 59 59 31 31 0 65 55 22 0 10 10 44 44 39 39 64 64 46 81 55 0 64 64 43 43 0 40 41 32 0 58 66 47 0 50 40 22 61 61 15 15 0 48 81 53 55 74 45 49 49 0 56 56 56 56 0 0 41 41 51 21 68 67 67 0 47 88 80 14 14 32 32 0 50 59 34 0 47 58 66 69 69 0 0 0 55 55 91 91 18 18 35 35 31 22 45 74 74 51 34 36 64 64 70 69 21 73 73 0 0 0 0 27 27 44 44 0 51 51 50 53 42 75 93 81 94 94 48 48 41 41 39 10 40 0 35 35 0 39 39 0 88 90 92 0 47 47 70 70 56 15 44 75 75 0 27 42 31 59 59 0 18 55 69 48 48 0 56 15 44 81 21 64 0 79 67 14 0 41 41 59 59 0 90 55 44 69 10 67 0 0 104 41 81 31 31 21 21 53 53 73 73 0 81 80 68 0 68 105 69 0 42 42 0 46 10 48 0 49 15 51 0 103 65 43 105 69 68 0 93 93 0 81 48 79 0 30 30 67 67 55 18 69 0 0 0 66 64 65 0 69 80 101 69 69 0 10 105 103 74 74 0 75 31 73 55 55 0 51 51 55 55 10 10 67 44 55 0 44 44 0 105 105 0 64 64 70 70 66 66 58 45 70 69 69 0 105 68 69 80 51 73 94 94 105 105 88 39 55 0 81 81 0 57 57 0 30 30 0 48 55 101 0 90 41 90 0 0 104 68 93 0 59 34 50 91 74 66 0 41 41 69 44 75 64 64 92 92 90 48 61 0 0 252.05/222.91 v </values> 252.05/222.91 v </instantiation> 252.05/222.92 s SATISFIABLE
OK 17326
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 (14335 MiB free)
memory of node 1: 16384 MiB (12487 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302327-1532898163/watcher-4302327-1532898163 -o /tmp/evaluation-result-4302327-1532898163/solver-4302327-1532898163 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532894133-1620 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1392358438 HOME/instance-4302327-1532898163.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=8055, runsolver pid=8052
[startup+0.100121 s]*
/proc/loadavg: 2.17 1.68 1.64 3/206 8112
/proc/meminfo: memFree=27456940/32770624 swapFree=67108860/67108860
[pid=8055] ppid=8052 vsize=10005480 memory=18596 CPUtime=0.08 cores=0,2,4,6
/proc/8055/stat : 8055 (java) S 8052 8055 22004 0 -1 1077944320 4306 12982 0 0 1 0 4 3 20 0 6 0 107379457 10245611520 4649 33554432000 4194304 4196468 140724368586992 140724368569536 140358748286711 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
/proc/8055/statm: 2501370 4649 1933 1 0 2489808 0
[pid=8055/tid=8108] ppid=8052 vsize=10021560 memory=8326441112148417179 CPUtime=0.08 cores=0,2,4,6
/proc/8055/task/8108/stat : 8108 (java) R 8052 8055 22004 0 -1 4202560 2195 12982 0 0 1 0 4 3 20 0 6 0 107379466 10262077440 4781 33554432000 4194304 4196468 140724368586992 140358720123472 140358732066352 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8109] ppid=8052 vsize=10022588 memory=-7025452035940392864 CPUtime=0.07 cores=0,2,4,6
/proc/8055/task/8109/stat : 8109 (java) S 8052 8055 22004 0 -1 1077944384 1 12982 0 0 0 0 4 3 20 0 6 0 107379467 10263130112 4781 33554432000 4194304 4196468 140724368586992 140358752528656 140358748296917 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8110] ppid=8052 vsize=10022588 memory=140594151405184 CPUtime=0.07 cores=0,2,4,6
/proc/8055/task/8110/stat : 8110 (java) S 8052 8055 22004 0 -1 1077944384 1 12982 0 0 0 0 4 3 20 0 7 0 107379467 10263130112 4781 33554432000 4194304 4196468 140724368586992 140358607247760 140358748296917 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8111] ppid=8052 vsize=10022588 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8055/task/8111/stat : 8111 (java) S 8052 8055 22004 0 -1 1077944384 2 12982 0 0 0 0 4 3 20 0 7 0 107379467 10263130112 4781 33554432000 4194304 4196468 140724368586992 140358606195216 140358748296917 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8112] ppid=8052 vsize=10088124 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/8055/task/8112/stat : 8112 (java) S 8052 8055 22004 0 -1 1077944384 2 12982 0 0 0 0 4 3 20 0 7 0 107379467 10330238976 4781 33554432000 4194304 4196468 140724368586992 140358605142672 140358748296917 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8113] ppid=8052 vsize=10088124 memory=140594151405184 CPUtime=0.07 cores=0,2,4,6
/proc/8055/task/8113/stat : 8113 (java) S 8052 8055 22004 0 -1 1077944384 2 12982 0 0 0 0 4 3 20 0 7 0 107379468 10330238976 4781 33554432000 4194304 4196468 140724368586992 140358173260272 140358748297858 0 0 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18596 KiB
[startup+0.209917 s]*
/proc/loadavg: 2.08 1.67 1.64 4/215 8121
/proc/meminfo: memFree=27436676/32770624 swapFree=67108860/67108860
[pid=8055] ppid=8052 vsize=10985364 memory=46472 CPUtime=0.25 cores=0,2,4,6
/proc/8055/stat : 8055 (java) S 8052 8055 22004 0 -1 1077944320 8305 12982 0 0 16 2 4 3 20 0 15 0 107379457 11249012736 11552 33554432000 4194304 4196468 140724368586992 140724368569536 140358748286711 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
/proc/8055/statm: 2746341 11618 2946 1 0 2708764 0
[pid=8055/tid=8108] ppid=8052 vsize=10982776 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/8055/task/8108/stat : 8108 (java) R 8052 8055 22004 0 -1 4202560 5683 12982 0 0 11 1 4 3 20 0 15 0 107379466 11246362624 11744 33554432000 4194304 4196468 140724368586992 140358720111520 140358740966429 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8109] ppid=8052 vsize=10982776 memory=365 CPUtime=0.07 cores=0,2,4,6
/proc/8055/task/8109/stat : 8109 (java) S 8052 8055 22004 0 -1 1077944384 1 12982 0 0 0 0 4 3 20 0 15 0 107379467 11246362624 11810 33554432000 4194304 4196468 140724368586992 140358752528656 140358748296917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8110] ppid=8052 vsize=10982776 memory=3616589576043738784 CPUtime=0.07 cores=0,2,4,6
/proc/8055/task/8110/stat : 8110 (java) S 8052 8055 22004 0 -1 1077944384 1 12982 0 0 0 0 4 3 20 0 15 0 107379467 11246362624 11810 33554432000 4194304 4196468 140724368586992 140358607247760 140358748296917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8111] ppid=8052 vsize=10982776 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8055/task/8111/stat : 8111 (java) S 8052 8055 22004 0 -1 1077944384 2 12982 0 0 0 0 4 3 20 0 15 0 107379467 11246362624 11810 33554432000 4194304 4196468 140724368586992 140358606195216 140358748296917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8112] ppid=8052 vsize=10982776 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/8055/task/8112/stat : 8112 (java) S 8052 8055 22004 0 -1 1077944384 2 12982 0 0 0 0 4 3 20 0 15 0 107379467 11246362624 11810 33554432000 4194304 4196468 140724368586992 140358605142672 140358748296917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8113] ppid=8052 vsize=10982776 memory=140594151405184 CPUtime=0.07 cores=0,2,4,6
/proc/8055/task/8113/stat : 8113 (java) S 8052 8055 22004 0 -1 1077944384 2 12982 0 0 0 0 4 3 20 0 15 0 107379468 11246362624 11810 33554432000 4194304 4196468 140724368586992 140358173260272 140358748297858 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8114] ppid=8052 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/8055/task/8114/stat : 8114 (java) S 8052 8055 22004 0 -1 1077944384 13 12982 0 0 0 0 4 3 20 0 15 0 107379469 11246329856 11863 33554432000 4194304 4196468 140724368586992 140357531592096 140358748296917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8115] ppid=8052 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8055/task/8115/stat : 8115 (java) S 8052 8055 22004 0 -1 1077944384 1 12982 0 0 0 0 4 3 20 0 15 0 107379469 11246329856 11863 33554432000 4194304 4196468 140724368586992 140357383742960 140358748296917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8116] ppid=8052 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8055/task/8116/stat : 8116 (java) S 8052 8055 22004 0 -1 1077944384 3 12982 0 0 0 0 4 3 20 0 15 0 107379472 11246329856 11863 33554432000 4194304 4196468 140724368586992 140357076343504 140358748305307 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8117] ppid=8052 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8055/task/8117/stat : 8117 (java) S 8052 8055 22004 0 -1 1077944384 353 12982 0 0 1 0 4 3 20 0 15 0 107379472 11246329856 11863 33554432000 4194304 4196468 140724368586992 140358172207088 140358748297858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8118] ppid=8052 vsize=10982776 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/8055/task/8118/stat : 8118 (java) S 8052 8055 22004 0 -1 1077944384 246 12982 0 0 0 0 4 3 20 0 15 0 107379472 11246362624 11863 33554432000 4194304 4196468 140724368586992 140358171154544 140358748297858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8119] ppid=8052 vsize=10982776 memory=140594151405184 CPUtime=0.1 cores=0,2,4,6
/proc/8055/task/8119/stat : 8119 (java) S 8052 8055 22004 0 -1 1077944384 638 12982 0 0 3 0 4 3 20 0 15 0 107379472 11246362624 11863 33554432000 4194304 4196468 140724368586992 140358170102000 140358748297858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8120] ppid=8052 vsize=10982776 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/8055/task/8120/stat : 8120 (java) S 8052 8055 22004 0 -1 1077944384 3 12982 0 0 0 0 4 3 20 0 15 0 107379472 11246362624 11863 33554432000 4194304 4196468 140724368586992 140356645546592 140358748296917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8121] ppid=8052 vsize=10982776 memory=140594151405184 CPUtime=0.07 cores=0,2,4,6
/proc/8055/task/8121/stat : 8121 (java) S 8052 8055 22004 0 -1 1077944384 1 12982 0 0 0 0 4 3 20 0 15 0 107379472 11246362624 11863 33554432000 4194304 4196468 140724368586992 140358169049904 140358748297858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10985364 KiB
Current children cumulated memory: 46472 KiB
[startup+0.310374 s]*
/proc/loadavg: 2.08 1.67 1.64 4/215 8121
/proc/meminfo: memFree=27422660/32770624 swapFree=67108860/67108860
[pid=8055] ppid=8052 vsize=10983192 memory=55332 CPUtime=0.38 cores=0,2,4,6
/proc/8055/stat : 8055 (java) S 8052 8055 22004 0 -1 1077944320 10436 12982 0 0 28 3 4 3 20 0 15 0 107379457 11246788608 13833 33554432000 4194304 4196468 140724368586992 140724368569536 140358748286711 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
/proc/8055/statm: 2745798 13833 3065 1 0 2708109 0
[pid=8055/tid=8108] ppid=8052 vsize=10983192 memory=6935054825532540783 CPUtime=0.29 cores=0,2,4,6
/proc/8055/task/8108/stat : 8108 (java) R 8052 8055 22004 0 -1 4202560 6969 12982 0 0 20 2 4 3 20 0 15 0 107379466 11246788608 13833 33554432000 4194304 4196468 140724368586992 140358720098720 140358740523838 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8109] ppid=8052 vsize=10983192 memory=4126316290023845779 CPUtime=0.07 cores=0,2,4,6
/proc/8055/task/8109/stat : 8109 (java) S 8052 8055 22004 0 -1 1077944384 1 12982 0 0 0 0 4 3 20 0 15 0 107379467 11246788608 13833 33554432000 4194304 4196468 140724368586992 140358752528656 140358748296917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8110] ppid=8052 vsize=10983192 memory=6935054825532540783 CPUtime=0.07 cores=0,2,4,6
/proc/8055/task/8110/stat : 8110 (java) S 8052 8055 22004 0 -1 1077944384 1 12982 0 0 0 0 4 3 20 0 15 0 107379467 11246788608 13833 33554432000 4194304 4196468 140724368586992 140358607247760 140358748296917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8111] ppid=8052 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8055/task/8111/stat : 8111 (java) S 8052 8055 22004 0 -1 1077944384 2 12982 0 0 0 0 4 3 20 0 15 0 107379467 11246788608 13833 33554432000 4194304 4196468 140724368586992 140358606195216 140358748296917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8112] ppid=8052 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8055/task/8112/stat : 8112 (java) S 8052 8055 22004 0 -1 1077944384 2 12982 0 0 0 0 4 3 20 0 15 0 107379467 11246788608 13833 33554432000 4194304 4196468 140724368586992 140358605142672 140358748296917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8113] ppid=8052 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/8055/task/8113/stat : 8113 (java) S 8052 8055 22004 0 -1 1077944384 2 12982 0 0 0 0 4 3 20 0 15 0 107379468 11246788608 13833 33554432000 4194304 4196468 140724368586992 140358173260272 140358748297858 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8114] ppid=8052 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8055/task/8114/stat : 8114 (java) S 8052 8055 22004 0 -1 1077944384 13 12982 0 0 0 0 4 3 20 0 15 0 107379469 11246788608 13833 33554432000 4194304 4196468 140724368586992 140357531592096 140358748296917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8115] ppid=8052 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8055/task/8115/stat : 8115 (java) S 8052 8055 22004 0 -1 1077944384 1 12982 0 0 0 0 4 3 20 0 15 0 107379469 11246788608 13833 33554432000 4194304 4196468 140724368586992 140357383742960 140358748296917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8116] ppid=8052 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8055/task/8116/stat : 8116 (java) S 8052 8055 22004 0 -1 1077944384 3 12982 0 0 0 0 4 3 20 0 15 0 107379472 11246788608 13833 33554432000 4194304 4196468 140724368586992 140357076343504 140358748305307 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8117] ppid=8052 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8055/task/8117/stat : 8117 (java) S 8052 8055 22004 0 -1 1077944384 353 12982 0 0 1 0 4 3 20 0 15 0 107379472 11246788608 13833 33554432000 4194304 4196468 140724368586992 140358172207088 140358748297858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8118] ppid=8052 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8055/task/8118/stat : 8118 (java) S 8052 8055 22004 0 -1 1077944384 249 12982 0 0 1 0 4 3 20 0 15 0 107379472 11246788608 13833 33554432000 4194304 4196468 140724368586992 140358171154544 140358748297858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8119] ppid=8052 vsize=10983192 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/8055/task/8119/stat : 8119 (java) R 8052 8055 22004 0 -1 4202560 656 12982 0 0 5 0 4 3 20 0 15 0 107379472 11246788608 13833 33554432000 4194304 4196468 140724368586992 140358170102000 140358740537216 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8120] ppid=8052 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8055/task/8120/stat : 8120 (java) S 8052 8055 22004 0 -1 1077944384 3 12982 0 0 0 0 4 3 20 0 15 0 107379472 11246788608 13833 33554432000 4194304 4196468 140724368586992 140356645546592 140358748296917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8121] ppid=8052 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8055/task/8121/stat : 8121 (java) S 8052 8055 22004 0 -1 1077944384 1 12982 0 0 0 0 4 3 20 0 15 0 107379472 11246788608 13833 33554432000 4194304 4196468 140724368586992 140358169049904 140358748297858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55332 KiB
[startup+0.700775 s]
/proc/loadavg: 2.08 1.67 1.64 3/215 8121
/proc/meminfo: memFree=27413604/32770624 swapFree=67108860/67108860
[pid=8055] ppid=8052 vsize=10983192 memory=88628 CPUtime=0.98 cores=0,2,4,6
/proc/8055/stat : 8055 (java) S 8052 8055 22004 0 -1 1077944320 16822 12982 0 0 86 5 4 3 20 0 15 0 107379457 11246788608 22157 33554432000 4194304 4196468 140724368586992 140724368569536 140358748286711 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
/proc/8055/statm: 2745798 22157 3238 1 0 2708109 0
[pid=8055/tid=8108] ppid=8052 vsize=10983192 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/8055/task/8108/stat : 8108 (java) R 8052 8055 22004 0 -1 4202560 12250 12982 0 0 56 4 4 3 20 0 15 0 107379466 11246788608 22157 33554432000 4194304 4196468 140724368586992 140358720107536 140358728552596 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8109] ppid=8052 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8055/task/8109/stat : 8109 (java) S 8052 8055 22004 0 -1 1077944384 1 12982 0 0 0 0 4 3 20 0 15 0 107379467 11246788608 22157 33554432000 4194304 4196468 140724368586992 140358752528656 140358748296917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8110] ppid=8052 vsize=10983192 memory=8242257093008373557 CPUtime=0.07 cores=0,2,4,6
/proc/8055/task/8110/stat : 8110 (java) S 8052 8055 22004 0 -1 1077944384 1 12982 0 0 0 0 4 3 20 0 15 0 107379467 11246788608 22157 33554432000 4194304 4196468 140724368586992 140358607247760 140358748296917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8111] ppid=8052 vsize=10983192 memory=7158860088844767568 CPUtime=0.07 cores=0,2,4,6
/proc/8055/task/8111/stat : 8111 (java) S 8052 8055 22004 0 -1 1077944384 2 12982 0 0 0 0 4 3 20 0 15 0 107379467 11246788608 22157 33554432000 4194304 4196468 140724368586992 140358606195216 140358748296917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8112] ppid=8052 vsize=10983192 memory=7588675599774802240 CPUtime=0.07 cores=0,2,4,6
/proc/8055/task/8112/stat : 8112 (java) S 8052 8055 22004 0 -1 1077944384 2 12982 0 0 0 0 4 3 20 0 15 0 107379467 11246788608 22157 33554432000 4194304 4196468 140724368586992 140358605142672 140358748296917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8113] ppid=8052 vsize=10983192 memory=2319389199166351968 CPUtime=0.07 cores=0,2,4,6
/proc/8055/task/8113/stat : 8113 (java) S 8052 8055 22004 0 -1 1077944384 5 12982 0 0 0 0 4 3 20 0 15 0 107379468 11246788608 22157 33554432000 4194304 4196468 140724368586992 140358173260272 140358748297858 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8114] ppid=8052 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8055/task/8114/stat : 8114 (java) S 8052 8055 22004 0 -1 1077944384 13 12982 0 0 0 0 4 3 20 0 15 0 107379469 11246788608 22157 33554432000 4194304 4196468 140724368586992 140357531592096 140358748296917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8115] ppid=8052 vsize=10983192 memory=140594151404049 CPUtime=0.07 cores=0,2,4,6
/proc/8055/task/8115/stat : 8115 (java) S 8052 8055 22004 0 -1 1077944384 1 12982 0 0 0 0 4 3 20 0 15 0 107379469 11246788608 22157 33554432000 4194304 4196468 140724368586992 140357383742960 140358748296917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8116] ppid=8052 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8055/task/8116/stat : 8116 (java) S 8052 8055 22004 0 -1 1077944384 3 12982 0 0 0 0 4 3 20 0 15 0 107379472 11246788608 22157 33554432000 4194304 4196468 140724368586992 140357076343504 140358748305307 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8117] ppid=8052 vsize=10983192 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/8055/task/8117/stat : 8117 (java) S 8052 8055 22004 0 -1 1077944384 952 12982 0 0 9 0 4 3 20 0 15 0 107379472 11246788608 22157 33554432000 4194304 4196468 140724368586992 140358172207088 140358748297858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8118] ppid=8052 vsize=10983192 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/8055/task/8118/stat : 8118 (java) S 8052 8055 22004 0 -1 1077944384 650 12982 0 0 7 0 4 3 20 0 15 0 107379472 11246788608 22157 33554432000 4194304 4196468 140724368586992 140358171154544 140358748297858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8119] ppid=8052 vsize=10983192 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/8055/task/8119/stat : 8119 (java) S 8052 8055 22004 0 -1 1077944384 749 12982 0 0 13 0 4 3 20 0 15 0 107379472 11246788608 22157 33554432000 4194304 4196468 140724368586992 140358170102000 140358748297858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8120] ppid=8052 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8055/task/8120/stat : 8120 (java) S 8052 8055 22004 0 -1 1077944384 3 12982 0 0 0 0 4 3 20 0 15 0 107379472 11246788608 22157 33554432000 4194304 4196468 140724368586992 140356645546592 140358748296917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8121] ppid=8052 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8055/task/8121/stat : 8121 (java) S 8052 8055 22004 0 -1 1077944384 1 12982 0 0 0 0 4 3 20 0 15 0 107379472 11246788608 22157 33554432000 4194304 4196468 140724368586992 140358169049904 140358748297858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88628 KiB
[startup+1.50118 s]
/proc/loadavg: 2.08 1.67 1.64 4/215 8121
/proc/meminfo: memFree=27366776/32770624 swapFree=67108860/67108860
[pid=8055] ppid=8052 vsize=10993996 memory=199416 CPUtime=3.14 cores=0,2,4,6
/proc/8055/stat : 8055 (java) S 8052 8055 22004 0 -1 1077944320 24359 12982 0 0 298 9 4 3 20 0 15 0 107379457 11257851904 49854 33554432000 4194304 4196468 140724368586992 140724368569536 140358748286711 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
/proc/8055/statm: 2748499 49854 3452 1 0 2710157 0
[pid=8055/tid=8108] ppid=8052 vsize=10993996 memory=160436 CPUtime=1.46 cores=0,2,4,6
/proc/8055/task/8108/stat : 8108 (java) R 8052 8055 22004 0 -1 4202560 15266 12982 0 0 133 6 4 3 20 0 15 0 107379466 11257851904 49854 33554432000 4194304 4196468 140724368586992 140358720118672 140358731463294 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8109] ppid=8052 vsize=10993996 memory=288230377057958059 CPUtime=0.07 cores=0,2,4,6
/proc/8055/task/8109/stat : 8109 (java) S 8052 8055 22004 0 -1 1077944384 1 12982 0 0 0 0 4 3 20 0 15 0 107379467 11257851904 49854 33554432000 4194304 4196468 140724368586992 140358752528656 140358748296917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8110] ppid=8052 vsize=10993996 memory=15258134134413744 CPUtime=0.07 cores=0,2,4,6
/proc/8055/task/8110/stat : 8110 (java) S 8052 8055 22004 0 -1 1077944384 1 12982 0 0 0 0 4 3 20 0 15 0 107379467 11257851904 49854 33554432000 4194304 4196468 140724368586992 140358607247760 140358748296917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8111] ppid=8052 vsize=10993996 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8055/task/8111/stat : 8111 (java) S 8052 8055 22004 0 -1 1077944384 2 12982 0 0 0 0 4 3 20 0 15 0 107379467 11257851904 49854 33554432000 4194304 4196468 140724368586992 140358606195216 140358748296917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8112] ppid=8052 vsize=10993996 memory=-3253322038155611931 CPUtime=0.07 cores=0,2,4,6
/proc/8055/task/8112/stat : 8112 (java) S 8052 8055 22004 0 -1 1077944384 2 12982 0 0 0 0 4 3 20 0 15 0 107379467 11257851904 49854 33554432000 4194304 4196468 140724368586992 140358605142672 140358748296917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8113] ppid=8052 vsize=10993996 memory=6944656592455360604 CPUtime=0.07 cores=0,2,4,6
/proc/8055/task/8113/stat : 8113 (java) S 8052 8055 22004 0 -1 1077944384 13 12982 0 0 0 0 4 3 20 0 15 0 107379468 11257851904 49854 33554432000 4194304 4196468 140724368586992 140358173260272 140358748297858 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8114] ppid=8052 vsize=10993996 memory=6656426216303648864 CPUtime=0.07 cores=0,2,4,6
/proc/8055/task/8114/stat : 8114 (java) S 8052 8055 22004 0 -1 1077944384 13 12982 0 0 0 0 4 3 20 0 15 0 107379469 11257851904 49854 33554432000 4194304 4196468 140724368586992 140357531592096 140358748296917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8115] ppid=8052 vsize=10993996 memory=8112282956445269571 CPUtime=0.07 cores=0,2,4,6
/proc/8055/task/8115/stat : 8115 (java) S 8052 8055 22004 0 -1 1077944384 1 12982 0 0 0 0 4 3 20 0 15 0 107379469 11257851904 49854 33554432000 4194304 4196468 140724368586992 140357383742960 140358748296917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8116] ppid=8052 vsize=10993996 memory=2216 CPUtime=0.07 cores=0,2,4,6
/proc/8055/task/8116/stat : 8116 (java) S 8052 8055 22004 0 -1 1077944384 3 12982 0 0 0 0 4 3 20 0 15 0 107379472 11257851904 49854 33554432000 4194304 4196468 140724368586992 140357076343504 140358748305307 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8117] ppid=8052 vsize=10993996 memory=46472 CPUtime=0.67 cores=0,2,4,6
/proc/8055/task/8117/stat : 8117 (java) R 8052 8055 22004 0 -1 4202560 2919 12982 0 0 60 0 4 3 20 0 15 0 107379472 11257851904 49854 33554432000 4194304 4196468 140724368586992 140358172188624 140358725646200 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8118] ppid=8052 vsize=10993996 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/8055/task/8118/stat : 8118 (java) R 8052 8055 22004 0 -1 4202560 2318 12982 0 0 58 0 4 3 20 0 15 0 107379472 11257851904 49854 33554432000 4194304 4196468 140724368586992 140358171140424 140358729812238 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8119] ppid=8052 vsize=10993996 memory=140594009852240 CPUtime=0.52 cores=0,2,4,6
/proc/8055/task/8119/stat : 8119 (java) S 8052 8055 22004 0 -1 1077944384 1627 12982 0 0 45 0 4 3 20 0 15 0 107379472 11257851904 49854 33554432000 4194304 4196468 140724368586992 140358170102000 140358748297858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8120] ppid=8052 vsize=10993996 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8055/task/8120/stat : 8120 (java) S 8052 8055 22004 0 -1 1077944384 3 12982 0 0 0 0 4 3 20 0 15 0 107379472 11257851904 49854 33554432000 4194304 4196468 140724368586992 140356645546592 140358748296917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8121] ppid=8052 vsize=10993996 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8055/task/8121/stat : 8121 (java) S 8052 8055 22004 0 -1 1077944384 1 12982 0 0 0 0 4 3 20 0 15 0 107379472 11257851904 49854 33554432000 4194304 4196468 140724368586992 140358169049904 140358748297858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
################
# More data... #
################
/proc/8055/task/8108/stat : 8108 (java) R 8052 8055 22004 0 -1 4202560 56584 12982 0 0 16079 32 4 3 20 0 15 0 107379466 11348049920 456055 33554432000 4194304 4196468 140724368586992 140358720120432 140358287886464 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8109] ppid=8052 vsize=11082080 memory=1842172 CPUtime=0.86 cores=0,2,4,6
/proc/8055/task/8109/stat : 8109 (java) S 8052 8055 22004 0 -1 1077944384 2605 12982 0 0 62 17 4 3 20 0 15 0 107379467 11348049920 456055 33554432000 4194304 4196468 140724368586992 140358752528656 140358748296917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8110] ppid=8052 vsize=11082080 memory=1263864 CPUtime=0.88 cores=0,2,4,6
/proc/8055/task/8110/stat : 8110 (java) S 8052 8055 22004 0 -1 1077944384 3419 12982 0 0 65 16 4 3 20 0 15 0 107379467 11348049920 456055 33554432000 4194304 4196468 140724368586992 140358607247760 140358748296917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8111] ppid=8052 vsize=11082080 memory=1865768 CPUtime=0.84 cores=0,2,4,6
/proc/8055/task/8111/stat : 8111 (java) S 8052 8055 22004 0 -1 1077944384 3428 12982 0 0 62 15 4 3 20 0 15 0 107379467 11348049920 456055 33554432000 4194304 4196468 140724368586992 140358606195216 140358748296917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8112] ppid=8052 vsize=11082080 memory=1889368 CPUtime=0.88 cores=0,2,4,6
/proc/8055/task/8112/stat : 8112 (java) S 8052 8055 22004 0 -1 1077944384 1180 12982 0 0 65 16 4 3 20 0 15 0 107379467 11348049920 456055 33554432000 4194304 4196468 140724368586992 140358605142672 140358748296917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8113] ppid=8052 vsize=11082080 memory=1917584 CPUtime=0.21 cores=0,2,4,6
/proc/8055/task/8113/stat : 8113 (java) S 8052 8055 22004 0 -1 1077944384 4388 12982 0 0 13 1 4 3 20 0 15 0 107379468 11348049920 456055 33554432000 4194304 4196468 140724368586992 140358173260272 140358748297858 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8114] ppid=8052 vsize=11082080 memory=1865768 CPUtime=0.07 cores=0,2,4,6
/proc/8055/task/8114/stat : 8114 (java) S 8052 8055 22004 0 -1 1077944384 29 12982 0 0 0 0 4 3 20 0 15 0 107379469 11348049920 456055 33554432000 4194304 4196468 140724368586992 140357531592160 140358748296917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8115] ppid=8052 vsize=11082080 memory=1837556 CPUtime=0.07 cores=0,2,4,6
/proc/8055/task/8115/stat : 8115 (java) S 8052 8055 22004 0 -1 1077944384 19 12982 0 0 0 0 4 3 20 0 15 0 107379469 11348049920 456055 33554432000 4194304 4196468 140724368586992 140357383743136 140358748296917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8116] ppid=8052 vsize=11082080 memory=1828324 CPUtime=0.07 cores=0,2,4,6
/proc/8055/task/8116/stat : 8116 (java) S 8052 8055 22004 0 -1 1077944384 3 12982 0 0 0 0 4 3 20 0 15 0 107379472 11348049920 456055 33554432000 4194304 4196468 140724368586992 140357076343504 140358748305307 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8117] ppid=8052 vsize=11082080 memory=1824220 CPUtime=10.82 cores=0,2,4,6
/proc/8055/task/8117/stat : 8117 (java) S 8052 8055 22004 0 -1 1077944384 27689 12982 0 0 1071 4 4 3 20 0 15 0 107379472 11348049920 456055 33554432000 4194304 4196468 140724368586992 140358172207088 140358748297858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8118] ppid=8052 vsize=11082080 memory=1873464 CPUtime=10.99 cores=0,2,4,6
/proc/8055/task/8118/stat : 8118 (java) S 8052 8055 22004 0 -1 1077944384 29078 12982 0 0 1088 4 4 3 20 0 15 0 107379472 11348049920 456055 33554432000 4194304 4196468 140724368586992 140358171154544 140358748297858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8119] ppid=8052 vsize=11082080 memory=1837556 CPUtime=3.52 cores=0,2,4,6
/proc/8055/task/8119/stat : 8119 (java) S 8052 8055 22004 0 -1 1077944384 21304 12982 0 0 340 5 4 3 20 0 15 0 107379472 11348049920 456055 33554432000 4194304 4196468 140724368586992 140358170102000 140358748297858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8120] ppid=8052 vsize=11082080 memory=2424 CPUtime=0.07 cores=0,2,4,6
/proc/8055/task/8120/stat : 8120 (java) S 8052 8055 22004 0 -1 1077944384 3 12982 0 0 0 0 4 3 20 0 15 0 107379472 11348049920 456055 33554432000 4194304 4196468 140724368586992 140356645546592 140358748296917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8121] ppid=8052 vsize=11082080 memory=4104 CPUtime=0.14 cores=0,2,4,6
/proc/8055/task/8121/stat : 8121 (java) S 8052 8055 22004 0 -1 1077944384 566 12982 0 0 3 4 4 3 20 0 15 0 107379472 11348049920 456055 33554432000 4194304 4196468 140724368586992 140358169049904 140358748297858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
Current children cumulated CPU time: 189.81 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1824220 KiB
[startup+222.301 s]
/proc/loadavg: 1.82 1.69 1.66 3/215 8252
/proc/meminfo: memFree=25881520/32770624 swapFree=67108860/67108860
[pid=8055] ppid=8052 vsize=11082080 memory=1613860 CPUtime=251.44 cores=0,2,4,6
/proc/8055/stat : 8055 (java) S 8052 8055 22004 0 -1 1077944320 172904 12982 0 0 25013 124 4 3 20 0 15 0 107379457 11348049920 403465 33554432000 4194304 4196468 140724368586992 140724368569536 140358748286711 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
/proc/8055/statm: 2770520 403465 3535 1 0 2732173 0
[pid=8055/tid=8108] ppid=8052 vsize=11082080 memory=1917584 CPUtime=220.84 cores=0,2,4,6
/proc/8055/task/8108/stat : 8108 (java) R 8052 8055 22004 0 -1 4202560 58791 12982 0 0 22045 32 4 3 20 0 15 0 107379466 11348049920 403465 33554432000 4194304 4196468 140724368586992 140358720122032 140358295436076 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8109] ppid=8052 vsize=11082080 memory=1750352 CPUtime=1.06 cores=0,2,4,6
/proc/8055/task/8109/stat : 8109 (java) S 8052 8055 22004 0 -1 1077944384 2790 12982 0 0 81 18 4 3 20 0 15 0 107379467 11348049920 403465 33554432000 4194304 4196468 140724368586992 140358752528656 140358748296917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8110] ppid=8052 vsize=11082080 memory=1657560 CPUtime=1.08 cores=0,2,4,6
/proc/8055/task/8110/stat : 8110 (java) S 8052 8055 22004 0 -1 1077944384 3549 12982 0 0 84 17 4 3 20 0 15 0 107379467 11348049920 403465 33554432000 4194304 4196468 140724368586992 140358607247760 140358748296917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8111] ppid=8052 vsize=11082080 memory=1630280 CPUtime=1.04 cores=0,2,4,6
/proc/8055/task/8111/stat : 8111 (java) S 8052 8055 22004 0 -1 1077944384 3596 12982 0 0 81 16 4 3 20 0 15 0 107379467 11348049920 403465 33554432000 4194304 4196468 140724368586992 140358606195216 140358748296917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8112] ppid=8052 vsize=11082080 memory=1624640 CPUtime=1.07 cores=0,2,4,6
/proc/8055/task/8112/stat : 8112 (java) S 8052 8055 22004 0 -1 1077944384 3062 12982 0 0 83 17 4 3 20 0 15 0 107379467 11348049920 403465 33554432000 4194304 4196468 140724368586992 140358605142672 140358748296917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8113] ppid=8052 vsize=11082080 memory=0 CPUtime=0.31 cores=0,2,4,6
/proc/8055/task/8113/stat : 8113 (java) S 8052 8055 22004 0 -1 1077944384 4716 12982 0 0 20 4 4 3 20 0 15 0 107379468 11348049920 403465 33554432000 4194304 4196468 140724368586992 140358173260272 140358748297858 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8114] ppid=8052 vsize=11082080 memory=1621560 CPUtime=0.07 cores=0,2,4,6
/proc/8055/task/8114/stat : 8114 (java) S 8052 8055 22004 0 -1 1077944384 29 12982 0 0 0 0 4 3 20 0 15 0 107379469 11348049920 403465 33554432000 4194304 4196468 140724368586992 140357531592160 140358748296917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8115] ppid=8052 vsize=11082080 memory=1615400 CPUtime=0.07 cores=0,2,4,6
/proc/8055/task/8115/stat : 8115 (java) S 8052 8055 22004 0 -1 1077944384 19 12982 0 0 0 0 4 3 20 0 15 0 107379469 11348049920 403465 33554432000 4194304 4196468 140724368586992 140357383743136 140358748296917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8116] ppid=8052 vsize=11082080 memory=1615400 CPUtime=0.07 cores=0,2,4,6
/proc/8055/task/8116/stat : 8116 (java) S 8052 8055 22004 0 -1 1077944384 3 12982 0 0 0 0 4 3 20 0 15 0 107379472 11348049920 403465 33554432000 4194304 4196468 140724368586992 140357076343504 140358748305307 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8117] ppid=8052 vsize=11082080 memory=7 CPUtime=11.67 cores=0,2,4,6
/proc/8055/task/8117/stat : 8117 (java) S 8052 8055 22004 0 -1 1077944384 36842 12982 0 0 1156 4 4 3 20 0 15 0 107379472 11348049920 403465 33554432000 4194304 4196468 140724368586992 140358172207088 140358748297858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8118] ppid=8052 vsize=11082080 memory=1615400 CPUtime=11.17 cores=0,2,4,6
/proc/8055/task/8118/stat : 8118 (java) S 8052 8055 22004 0 -1 1077944384 32666 12982 0 0 1105 5 4 3 20 0 15 0 107379472 11348049920 403465 33554432000 4194304 4196468 140724368586992 140358171154544 140358748297858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8119] ppid=8052 vsize=11082080 memory=1620016 CPUtime=3.56 cores=0,2,4,6
/proc/8055/task/8119/stat : 8119 (java) S 8052 8055 22004 0 -1 1077944384 24049 12982 0 0 344 5 4 3 20 0 15 0 107379472 11348049920 403465 33554432000 4194304 4196468 140724368586992 140358170102000 140358748297858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8120] ppid=8052 vsize=11082080 memory=1622072 CPUtime=0.07 cores=0,2,4,6
/proc/8055/task/8120/stat : 8120 (java) S 8052 8055 22004 0 -1 1077944384 3 12982 0 0 0 0 4 3 20 0 15 0 107379472 11348049920 403465 33554432000 4194304 4196468 140724368586992 140356645546592 140358748296917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8121] ppid=8052 vsize=11082080 memory=4028 CPUtime=0.18 cores=0,2,4,6
/proc/8055/task/8121/stat : 8121 (java) S 8052 8055 22004 0 -1 1077944384 600 12982 0 0 5 6 4 3 20 0 15 0 107379472 11348049920 403465 33554432000 4194304 4196468 140724368586992 140358169049904 140358748297858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
Current children cumulated CPU time: 251.44 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1613860 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+222.901 s]
/proc/loadavg: 1.82 1.69 1.66 3/215 8252
/proc/meminfo: memFree=25881520/32770624 swapFree=67108860/67108860
[pid=8055] ppid=8052 vsize=11082080 memory=1612324 CPUtime=252.05 cores=0,2,4,6
/proc/8055/stat : 8055 (java) S 8052 8055 22004 0 -1 1077944320 172907 12982 0 0 25074 124 4 3 20 0 15 0 107379457 11348049920 403081 33554432000 4194304 4196468 140724368586992 140724368569536 140358748286711 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
/proc/8055/statm: 2770520 403081 3535 1 0 2732173 0
[pid=8055/tid=8108] ppid=8052 vsize=11082080 memory=1615400 CPUtime=221.43 cores=0,2,4,6
/proc/8055/task/8108/stat : 8108 (java) R 8052 8055 22004 0 -1 4202560 58793 12982 0 0 22104 32 4 3 20 0 15 0 107379466 11348049920 403081 33554432000 4194304 4196468 140724368586992 140358720121536 140358277820575 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8109] ppid=8052 vsize=11082080 memory=1615400 CPUtime=1.06 cores=0,2,4,6
/proc/8055/task/8109/stat : 8109 (java) S 8052 8055 22004 0 -1 1077944384 2790 12982 0 0 81 18 4 3 20 0 15 0 107379467 11348049920 403081 33554432000 4194304 4196468 140724368586992 140358752528656 140358748296917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8110] ppid=8052 vsize=11082080 memory=1621560 CPUtime=1.09 cores=0,2,4,6
/proc/8055/task/8110/stat : 8110 (java) S 8052 8055 22004 0 -1 1077944384 3549 12982 0 0 85 17 4 3 20 0 15 0 107379467 11348049920 403081 33554432000 4194304 4196468 140724368586992 140358607247760 140358748296917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8111] ppid=8052 vsize=11082080 memory=0 CPUtime=1.04 cores=0,2,4,6
/proc/8055/task/8111/stat : 8111 (java) S 8052 8055 22004 0 -1 1077944384 3596 12982 0 0 81 16 4 3 20 0 15 0 107379467 11348049920 403081 33554432000 4194304 4196468 140724368586992 140358606195216 140358748296917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8112] ppid=8052 vsize=11082080 memory=1624640 CPUtime=1.08 cores=0,2,4,6
/proc/8055/task/8112/stat : 8112 (java) S 8052 8055 22004 0 -1 1077944384 3063 12982 0 0 84 17 4 3 20 0 15 0 107379467 11348049920 403081 33554432000 4194304 4196468 140724368586992 140358605142672 140358748296917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8113] ppid=8052 vsize=11082080 memory=1630280 CPUtime=0.31 cores=0,2,4,6
/proc/8055/task/8113/stat : 8113 (java) S 8052 8055 22004 0 -1 1077944384 4716 12982 0 0 20 4 4 3 20 0 15 0 107379468 11348049920 403081 33554432000 4194304 4196468 140724368586992 140358173260272 140358748297858 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8114] ppid=8052 vsize=11082080 memory=1657560 CPUtime=0.07 cores=0,2,4,6
/proc/8055/task/8114/stat : 8114 (java) S 8052 8055 22004 0 -1 1077944384 29 12982 0 0 0 0 4 3 20 0 15 0 107379469 11348049920 403081 33554432000 4194304 4196468 140724368586992 140357531592160 140358748296917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8115] ppid=8052 vsize=11082080 memory=1750352 CPUtime=0.07 cores=0,2,4,6
/proc/8055/task/8115/stat : 8115 (java) S 8052 8055 22004 0 -1 1077944384 19 12982 0 0 0 0 4 3 20 0 15 0 107379469 11348049920 403081 33554432000 4194304 4196468 140724368586992 140357383743136 140358748296917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8116] ppid=8052 vsize=11082080 memory=1917584 CPUtime=0.07 cores=0,2,4,6
/proc/8055/task/8116/stat : 8116 (java) S 8052 8055 22004 0 -1 1077944384 3 12982 0 0 0 0 4 3 20 0 15 0 107379472 11348049920 403081 33554432000 4194304 4196468 140724368586992 140357076343504 140358748305307 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8117] ppid=8052 vsize=11082080 memory=1613860 CPUtime=11.67 cores=0,2,4,6
/proc/8055/task/8117/stat : 8117 (java) S 8052 8055 22004 0 -1 1077944384 36842 12982 0 0 1156 4 4 3 20 0 15 0 107379472 11348049920 403081 33554432000 4194304 4196468 140724368586992 140358172207088 140358748297858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8118] ppid=8052 vsize=11082080 memory=1615400 CPUtime=11.17 cores=0,2,4,6
/proc/8055/task/8118/stat : 8118 (java) S 8052 8055 22004 0 -1 1077944384 32666 12982 0 0 1105 5 4 3 20 0 15 0 107379472 11348049920 403081 33554432000 4194304 4196468 140724368586992 140358171154544 140358748297858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8119] ppid=8052 vsize=11082080 memory=7 CPUtime=3.56 cores=0,2,4,6
/proc/8055/task/8119/stat : 8119 (java) S 8052 8055 22004 0 -1 1077944384 24049 12982 0 0 344 5 4 3 20 0 15 0 107379472 11348049920 403081 33554432000 4194304 4196468 140724368586992 140358170102000 140358748297858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8120] ppid=8052 vsize=11082080 memory=1620016 CPUtime=0.07 cores=0,2,4,6
/proc/8055/task/8120/stat : 8120 (java) S 8052 8055 22004 0 -1 1077944384 3 12982 0 0 0 0 4 3 20 0 15 0 107379472 11348049920 403081 33554432000 4194304 4196468 140724368586992 140356645546592 140358748296917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8121] ppid=8052 vsize=11082080 memory=1622072 CPUtime=0.18 cores=0,2,4,6
/proc/8055/task/8121/stat : 8121 (java) S 8052 8055 22004 0 -1 1077944384 600 12982 0 0 5 6 4 3 20 0 15 0 107379472 11348049920 403081 33554432000 4194304 4196468 140724368586992 140358169049904 140358748297858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1612324 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+222.939 s]
# the end of solver process 8055 was just reported to runsolver
# cumulated CPU time of all completed processes: user=250.805 s, system=1.30438 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+222.901 s]
/proc/loadavg: 1.82 1.69 1.66 3/215 8252
/proc/meminfo: memFree=25881520/32770624 swapFree=67108860/67108860
[pid=8055] ppid=8052 vsize=11082080 memory=1612324 CPUtime=252.05 cores=0,2,4,6
/proc/8055/stat : 8055 (java) S 8052 8055 22004 0 -1 1077944320 172907 12982 0 0 25074 124 4 3 20 0 15 0 107379457 11348049920 403081 33554432000 4194304 4196468 140724368586992 140724368569536 140358748286711 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
/proc/8055/statm: 2770520 403081 3535 1 0 2732173 0
[pid=8055/tid=8108] ppid=8052 vsize=11082080 memory=1615400 CPUtime=221.43 cores=0,2,4,6
/proc/8055/task/8108/stat : 8108 (java) R 8052 8055 22004 0 -1 4202560 58793 12982 0 0 22104 32 4 3 20 0 15 0 107379466 11348049920 403081 33554432000 4194304 4196468 140724368586992 140358720121536 140358277820575 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8109] ppid=8052 vsize=11082080 memory=1615400 CPUtime=1.06 cores=0,2,4,6
/proc/8055/task/8109/stat : 8109 (java) S 8052 8055 22004 0 -1 1077944384 2790 12982 0 0 81 18 4 3 20 0 15 0 107379467 11348049920 403081 33554432000 4194304 4196468 140724368586992 140358752528656 140358748296917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8110] ppid=8052 vsize=11082080 memory=1621560 CPUtime=1.09 cores=0,2,4,6
/proc/8055/task/8110/stat : 8110 (java) S 8052 8055 22004 0 -1 1077944384 3549 12982 0 0 85 17 4 3 20 0 15 0 107379467 11348049920 403081 33554432000 4194304 4196468 140724368586992 140358607247760 140358748296917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8111] ppid=8052 vsize=11082080 memory=0 CPUtime=1.04 cores=0,2,4,6
/proc/8055/task/8111/stat : 8111 (java) S 8052 8055 22004 0 -1 1077944384 3596 12982 0 0 81 16 4 3 20 0 15 0 107379467 11348049920 403081 33554432000 4194304 4196468 140724368586992 140358606195216 140358748296917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8112] ppid=8052 vsize=11082080 memory=1624640 CPUtime=1.08 cores=0,2,4,6
/proc/8055/task/8112/stat : 8112 (java) S 8052 8055 22004 0 -1 1077944384 3063 12982 0 0 84 17 4 3 20 0 15 0 107379467 11348049920 403081 33554432000 4194304 4196468 140724368586992 140358605142672 140358748296917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8113] ppid=8052 vsize=11082080 memory=1630280 CPUtime=0.31 cores=0,2,4,6
/proc/8055/task/8113/stat : 8113 (java) S 8052 8055 22004 0 -1 1077944384 4716 12982 0 0 20 4 4 3 20 0 15 0 107379468 11348049920 403081 33554432000 4194304 4196468 140724368586992 140358173260272 140358748297858 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8114] ppid=8052 vsize=11082080 memory=1657560 CPUtime=0.07 cores=0,2,4,6
/proc/8055/task/8114/stat : 8114 (java) S 8052 8055 22004 0 -1 1077944384 29 12982 0 0 0 0 4 3 20 0 15 0 107379469 11348049920 403081 33554432000 4194304 4196468 140724368586992 140357531592160 140358748296917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8115] ppid=8052 vsize=11082080 memory=1750352 CPUtime=0.07 cores=0,2,4,6
/proc/8055/task/8115/stat : 8115 (java) S 8052 8055 22004 0 -1 1077944384 19 12982 0 0 0 0 4 3 20 0 15 0 107379469 11348049920 403081 33554432000 4194304 4196468 140724368586992 140357383743136 140358748296917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8116] ppid=8052 vsize=11082080 memory=1917584 CPUtime=0.07 cores=0,2,4,6
/proc/8055/task/8116/stat : 8116 (java) S 8052 8055 22004 0 -1 1077944384 3 12982 0 0 0 0 4 3 20 0 15 0 107379472 11348049920 403081 33554432000 4194304 4196468 140724368586992 140357076343504 140358748305307 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8117] ppid=8052 vsize=11082080 memory=1613860 CPUtime=11.67 cores=0,2,4,6
/proc/8055/task/8117/stat : 8117 (java) S 8052 8055 22004 0 -1 1077944384 36842 12982 0 0 1156 4 4 3 20 0 15 0 107379472 11348049920 403081 33554432000 4194304 4196468 140724368586992 140358172207088 140358748297858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8118] ppid=8052 vsize=11082080 memory=1615400 CPUtime=11.17 cores=0,2,4,6
/proc/8055/task/8118/stat : 8118 (java) S 8052 8055 22004 0 -1 1077944384 32666 12982 0 0 1105 5 4 3 20 0 15 0 107379472 11348049920 403081 33554432000 4194304 4196468 140724368586992 140358171154544 140358748297858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8119] ppid=8052 vsize=11082080 memory=7 CPUtime=3.56 cores=0,2,4,6
/proc/8055/task/8119/stat : 8119 (java) S 8052 8055 22004 0 -1 1077944384 24049 12982 0 0 344 5 4 3 20 0 15 0 107379472 11348049920 403081 33554432000 4194304 4196468 140724368586992 140358170102000 140358748297858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8120] ppid=8052 vsize=11082080 memory=1620016 CPUtime=0.07 cores=0,2,4,6
/proc/8055/task/8120/stat : 8120 (java) S 8052 8055 22004 0 -1 1077944384 3 12982 0 0 0 0 4 3 20 0 15 0 107379472 11348049920 403081 33554432000 4194304 4196468 140724368586992 140356645546592 140358748296917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
[pid=8055/tid=8121] ppid=8052 vsize=11082080 memory=1622072 CPUtime=0.18 cores=0,2,4,6
/proc/8055/task/8121/stat : 8121 (java) S 8052 8055 22004 0 -1 1077944384 600 12982 0 0 5 6 4 3 20 0 15 0 107379472 11348049920 403081 33554432000 4194304 4196468 140724368586992 140358169049904 140358748297858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36339712 140724368591473 140724368594273 140724368594273 140724368596943 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1612324 KiB
Child status: 143
Real time (s): 222.939
CPU time (s): 252.11
CPU user time (s): 250.805
CPU system time (s): 1.30438
CPU usage (%): 113.085
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 2110612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.805
system time used= 1.30438
maximum resident set size= 2127556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 187812
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19236
involuntary context switches= 606
# summary of solver processes directly reported to runsolver:
# pid: 8055
# total CPU time (s): 252.11
# total CPU user time (s): 250.805
# total CPU system time (s): 1.30438
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.43844 second user time and 2.02777 second system time
The end
Begin job on node151 at 2018-07-29 23:02:43 IDJOB=4302327 IDBENCH=141545 IDSOLVER=2776 FILE ID=node151/4302327-1532898163 RUNJOBID= node151-1532894133-1620 PBS_JOBID= 21022509 Free space on /tmp= 59284 MiB SOLVER NAME= Concrete 3.9.2 BENCH NAME= XCSP18/TravelingTournament/TravelingTournament-a2-galaxy14_c18.xml COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4302327-1532898163/watcher-4302327-1532898163 -o /tmp/evaluation-result-4302327-1532898163/solver-4302327-1532898163 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532894133-1620 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1392358438 HOME/instance-4302327-1532898163.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 289cb43960e2b184f01d0d99cacee99d RANDOM SEED=1392358438 node151.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.87 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.87 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.87 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.87 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: 27467812 kB MemAvailable: 31209176 kB Buffers: 219980 kB Cached: 3794820 kB SwapCached: 0 kB Active: 2200592 kB Inactive: 2631720 kB Active(anon): 767040 kB Inactive(anon): 78188 kB Active(file): 1433552 kB Inactive(file): 2553532 kB Unevictable: 7804 kB Mlocked: 7804 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 27088 kB Writeback: 0 kB AnonPages: 874120 kB Mapped: 58084 kB Shmem: 25224 kB Slab: 168296 kB SReclaimable: 140228 kB SUnreclaim: 28068 kB KernelStack: 3824 kB PageTables: 6852 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2011684 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 655360 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 59260 MiB End job on node151 at 2018-07-29 23:06:26