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-SuperNG | SAT (TO) | 15786 | 252.112 | 209.749 |
| Name | TravelingTournament/ TravelingTournament-a3-galaxy14_c18.xml |
| MD5SUM | 7a3ba77b7a6be046779b0525cfa105c0 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 14558 |
| Best CPU time to get the best result obtained on this benchmark | 252.059 |
| 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.97/0.75 c Concrete v3.9.2.1532736233296 running 61.82/34.37 o 16559 62.35/34.69 o 16511 62.54/34.71 o 16474 62.54/34.73 o 16461 62.54/34.76 o 16376 62.54/34.79 o 16315 65.93/37.27 o 16254 66.08/37.30 o 16217 66.49/37.63 o 16189 66.49/37.65 o 16098 66.59/37.74 o 16084 148.70/112.41 o 16081 148.90/112.69 o 15933 151.31/115.06 o 15908 170.25/129.70 o 15786 252.04/209.70 Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost 252.04/209.70 at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24) 252.04/209.70 at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53) 252.04/209.70 at concrete.BitVectorDomain.$anonfun$filter$1(BitVectorDomain.scala:126) 252.04/209.70 at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142) 252.04/209.70 at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5) 252.04/209.70 at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126) 252.04/209.70 at concrete.BitVectorDomain.filter(BitVectorDomain.scala:8) 252.04/209.70 at concrete.heuristic.value.BestCost.select(BestCost.scala:53) 252.04/209.70 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103) 252.04/209.70 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103) 252.04/209.70 at scala.Function2.$anonfun$tupled$1(Function2.scala:48) 252.04/209.70 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103) 252.04/209.70 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103) 252.04/209.70 at scala.Function2.$anonfun$tupled$1(Function2.scala:48) 252.04/209.70 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103) 252.04/209.70 at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:109) 252.04/209.70 at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42) 252.04/209.70 at scala.Option.map(Option.scala:146) 252.04/209.70 at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40) 252.04/209.70 at concrete.MAC.mac(MAC.scala:203) 252.04/209.70 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252) 252.04/209.70 at scala.util.Try$.apply(Try.scala:209) 252.04/209.70 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194) 252.04/209.70 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182) 252.04/209.70 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12) 252.04/209.70 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61) 252.04/209.70 at org.scalameter.Measurer$Default.measure(Measurer.scala:133) 252.04/209.70 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51) 252.04/209.70 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61) 252.04/209.70 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181) 252.04/209.70 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194) 252.04/209.70 at concrete.MAC.oneRun(MAC.scala:253) 252.04/209.70 at concrete.MAC.nextSolution(MAC.scala:272) 252.04/209.70 at concrete.MAC.nextSolution(MAC.scala:355) 252.04/209.70 at concrete.Solver.hasNext(Solver.scala:166) 252.04/209.70 at scala.collection.Iterator.foreach(Iterator.scala:944) 252.04/209.70 at scala.collection.Iterator.foreach$(Iterator.scala:944) 252.04/209.70 at concrete.Solver.foreach(Solver.scala:68) 252.04/209.70 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73) 252.04/209.70 at scala.util.Success.$anonfun$map$1(Try.scala:251) 252.04/209.70 at scala.util.Success.map(Try.scala:209) 252.04/209.70 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68) 252.04/209.70 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33) 252.04/209.70 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18) 252.04/209.70 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121) 252.04/209.70 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18) 252.04/209.70 at scala.Function0.apply$mcV$sp(Function0.scala:34) 252.04/209.70 at scala.Function0.apply$mcV$sp$(Function0.scala:34) 252.04/209.70 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12) 252.04/209.71 at scala.App.$anonfun$main$1$adapted(App.scala:76) 252.04/209.71 at scala.collection.immutable.List.foreach(List.scala:389) 252.04/209.71 at scala.App.main(App.scala:76) 252.04/209.71 at scala.App.main$(App.scala:74) 252.04/209.71 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18) 252.04/209.71 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 252.04/209.72 v <instantiation cost="15786"> 252.04/209.72 v <list> 252.04/209.72 v o[0][0] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[0][15] o[0][16] o[0][17] o[0][18] o[0][19] o[0][20] o[0][21] o[0][22] o[0][23] o[0][24] o[0][25] o[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.04/209.72 v </list> 252.04/209.72 v <values> 252.04/209.72 v 5 10 6 11 1 2 13 12 11 9 6 8 7 8 4 2 1 10 7 3 12 3 9 4 5 13 13 11 2 6 0 4 8 10 5 3 9 7 2 11 12 3 0 8 10 13 6 9 12 5 4 7 11 4 1 12 13 0 6 4 9 6 3 11 1 13 7 0 8 7 8 9 5 5 3 10 12 10 8 9 4 9 4 5 11 13 10 1 2 6 12 7 5 1 10 11 13 0 8 0 2 6 7 12 10 2 3 13 3 1 9 2 7 8 5 10 9 5 0 6 7 12 12 6 11 11 13 0 1 8 0 8 10 7 8 3 7 6 1 11 4 13 10 4 3 12 13 9 9 12 2 2 6 1 0 11 12 7 0 1 7 11 2 5 13 2 0 3 8 9 10 4 12 13 11 4 1 10 5 3 8 9 9 6 8 5 6 12 5 9 4 12 10 1 0 3 2 11 4 2 0 8 13 13 10 11 3 1 3 5 7 10 5 13 1 11 12 4 13 0 6 0 9 10 2 1 2 7 3 12 11 9 6 4 7 3 13 3 12 10 4 7 2 0 1 12 4 6 8 13 11 5 5 2 10 1 0 8 11 6 4 0 5 8 11 9 12 1 3 13 7 4 5 12 6 8 3 0 1 11 9 6 7 2 13 2 2 1 12 0 10 6 3 8 0 5 12 2 13 1 13 7 9 3 6 10 4 4 8 7 9 5 6 13 11 2 9 7 10 0 8 7 11 9 3 10 1 5 6 4 4 5 0 8 1 13 2 3 1 12 9 4 2 8 0 3 6 10 8 5 11 2 11 9 5 6 3 1 7 7 4 12 10 0 1 0 0 1 1 1 0 1 0 0 1 0 1 1 1 0 0 1 0 0 0 1 1 0 0 1 1 0 0 1 0 1 0 0 0 1 0 1 1 1 0 0 1 1 1 0 0 1 1 1 0 0 0 1 1 0 1 0 0 0 1 1 0 1 0 0 0 1 0 1 1 0 0 1 1 0 1 1 1 1 1 0 0 0 1 1 1 0 1 0 0 1 1 1 0 0 0 1 0 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 0 1 1 0 1 1 1 0 0 1 0 0 1 1 0 0 0 0 1 1 1 0 0 1 0 1 0 1 0 0 1 1 1 0 0 1 0 1 0 1 1 0 1 1 0 0 1 1 1 0 0 0 1 1 0 0 0 1 1 0 1 1 1 0 0 0 1 1 0 0 0 1 0 1 0 1 1 1 0 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 1 0 0 0 1 1 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 1 1 1 0 0 1 1 1 0 1 1 0 1 1 0 0 1 1 0 0 0 1 1 1 0 0 0 1 0 0 1 1 1 0 1 0 1 0 0 0 1 0 1 1 0 1 0 0 1 0 0 1 1 1 0 1 1 1 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 1 0 0 1 1 1 0 0 1 0 0 1 0 1 1 0 1 0 1 1 1 0 1 0 0 0 1 1 1 0 0 1 0 0 0 1 0 0 0 1 1 0 1 1 0 1 0 1 1 1 0 0 1 1 1 0 1 0 0 0 0 1 1 0 0 0 1 0 1 1 0 1 0 0 0 1 1 0 1 1 1 0 0 1 1 0 0 1 1 0 1 0 1 1 1 0 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 1 0 0 1 0 1 1 1 0 0 1 0 1 1 1 0 1 0 0 1 1 0 0 1 0 0 0 0 0 1 1 1 0 0 0 1 0 1 1 0 0 0 1 1 1 0 1 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 1 0 0 1 0 0 0 1 1 0 1 1 0 0 1 1 1 1 0 0 0 1 1 0 1 0 1 0 1 1 0 0 0 1 1 0 1 0 1 0 0 1 0 0 1 1 0 0 0 1 1 1 0 0 1 1 1 0 0 1 0 0 0 1 1 1 0 0 1 1 1 0 1 0 1 0 0 0 1 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 0 1 1 1 0 0 1 1 0 0 1 1 1 0 0 1 1 1 0 0 1 0 0 0 1 1 0 0 0 1 0 0 1 0 0 1 1 0 0 1 1 1 0 0 0 1 1 1 0 1 1 0 0 0 1 0 1 0 1 1 1 0 1 0 0 1 0 1 1 0 1 1 0 0 0 1 0 0 0 1 0 1 1 1 0 0 1 1 0 1 1 1 0 0 0 1 1 0 0 0 1 1 0 1 1 0 1 0 0 1 0 1 0 0 0 1 0 1 1 1 0 0 0 1 1 0 1 1 1 0 1 1 1 0 0 1 0 0 1 0 1 0 0 0 1 1 0 0 0 1 0 1 1 1 0 55 75 44 0 0 59 59 55 105 51 48 48 0 0 15 22 10 44 14 80 57 0 36 35 39 0 0 64 58 22 10 10 46 73 51 40 43 43 0 0 55 80 32 0 0 64 92 39 0 0 31 64 44 58 58 0 48 48 15 44 18 45 0 47 47 22 64 41 56 53 53 0 49 81 50 0 55 55 0 0 0 0 0 67 55 35 41 0 0 32 32 47 88 80 0 0 69 10 69 50 68 48 15 47 14 14 0 0 45 47 51 0 31 43 55 64 64 35 51 74 0 36 36 0 0 73 88 18 70 69 91 0 21 21 39 48 73 51 0 0 48 59 27 44 44 75 75 35 51 41 0 0 81 30 94 50 50 40 40 0 0 88 88 0 39 44 59 0 0 92 61 15 44 0 69 103 74 18 0 70 70 0 0 27 41 68 31 0 0 59 31 42 48 90 90 79 79 0 0 44 10 34 14 0 64 45 56 0 41 41 69 10 67 0 0 68 68 0 73 51 75 104 0 81 73 21 0 31 44 51 68 0 46 22 56 81 0 69 69 0 0 0 79 14 67 0 0 103 103 0 49 49 0 30 73 55 0 93 69 44 81 0 0 43 10 48 68 69 69 74 74 0 0 10 10 101 101 69 50 41 69 51 51 0 73 73 55 10 65 103 69 75 0 0 55 55 0 0 0 55 55 70 47 68 69 0 105 48 58 64 64 41 67 0 0 10 74 70 0 0 105 81 44 0 90 69 105 30 30 0 57 57 90 90 0 0 101 101 94 27 18 73 0 0 81 46 55 48 47 80 64 64 93 55 45 61 0 50 50 0 104 104 69 69 0 0 75 27 92 0 0 41 41 90 101 55 59 252.04/209.72 v </values> 252.04/209.72 v </instantiation> 252.04/209.72 s SATISFIABLE
OK 15786
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 (12694 MiB free)
memory of node 1: 16384 MiB (14273 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302684-1532898524/watcher-4302684-1532898524 -o /tmp/evaluation-result-4302684-1532898524/solver-4302684-1532898524 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532893331-28701 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1276836625 -superng HOME/instance-4302684-1532898524.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=4055, runsolver pid=4052
[startup+0.101991 s]*
/proc/loadavg: 1.53 1.71 1.77 2/209 4112
/proc/meminfo: memFree=27604032/32770624 swapFree=67108744/67108860
[pid=4055] ppid=4052 vsize=10005480 memory=18332 CPUtime=0.08 cores=1,3,5,7
/proc/4055/stat : 4055 (java) S 4052 4055 19273 0 -1 1077944320 4193 13258 0 0 1 0 4 3 20 0 6 0 107415615 10245611520 4517 33554432000 4194304 4196468 140731134129840 140731134112384 139866426560247 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
/proc/4055/statm: 2501370 4583 1931 1 0 2489808 0
[pid=4055/tid=4108] ppid=4052 vsize=10005480 memory=-8171376296011865461 CPUtime=0.07 cores=1,3,5,7
/proc/4055/task/4108/stat : 4108 (java) R 4052 4055 19273 0 -1 4202560 2023 13258 0 0 0 0 4 3 20 0 6 0 107415625 10245611520 4583 33554432000 4194304 4196468 140731134129840 139866398397008 139866426582173 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4109] ppid=4052 vsize=10005480 memory=5792869726567804975 CPUtime=0.07 cores=1,3,5,7
/proc/4055/task/4109/stat : 4109 (java) S 4052 4055 19273 0 -1 1077944384 2 13258 0 0 0 0 4 3 20 0 6 0 107415625 10245611520 4583 33554432000 4194304 4196468 140731134129840 139866430802192 139866426570453 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4110] ppid=4052 vsize=10005480 memory=140104032609920 CPUtime=0.07 cores=1,3,5,7
/proc/4055/task/4110/stat : 4110 (java) S 4052 4055 19273 0 -1 1077944384 2 13258 0 0 0 0 4 3 20 0 6 0 107415625 10245611520 4583 33554432000 4194304 4196468 140731134129840 139866285521296 139866426570453 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4111] ppid=4052 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4055/task/4111/stat : 4111 (java) S 4052 4055 19273 0 -1 1077944384 1 13258 0 0 0 0 4 3 20 0 6 0 107415625 10245611520 4583 33554432000 4194304 4196468 140731134129840 139866284468752 139866426570453 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4112] ppid=4052 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4055/task/4112/stat : 4112 (java) S 4052 4055 19273 0 -1 1077944384 1 13258 0 0 0 0 4 3 20 0 6 0 107415625 10245611520 4583 33554432000 4194304 4196468 140731134129840 139866283416208 139866426570453 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18332 KiB
[startup+0.210112 s]*
/proc/loadavg: 1.53 1.71 1.77 3/218 4121
/proc/meminfo: memFree=27584688/32770624 swapFree=67108744/67108860
[pid=4055] ppid=4052 vsize=10982744 memory=41532 CPUtime=0.24 cores=1,3,5,7
/proc/4055/stat : 4055 (java) S 4052 4055 19273 0 -1 1077944320 6559 13258 0 0 15 2 4 3 20 0 15 0 107415615 11246329856 10383 33554432000 4194304 4196468 140731134129840 140731134112384 139866426560247 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
/proc/4055/statm: 2745686 10383 2958 1 0 2708109 0
[pid=4055/tid=4108] ppid=4052 vsize=10982744 memory=8389772277269004345 CPUtime=0.17 cores=1,3,5,7
/proc/4055/task/4108/stat : 4108 (java) R 4052 4055 19273 0 -1 4202560 3118 13258 0 0 9 1 4 3 20 0 15 0 107415625 11246329856 10383 33554432000 4194304 4196468 140731134129840 139866398373256 139866411725800 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4109] ppid=4052 vsize=10982744 memory=288292155783643159 CPUtime=0.07 cores=1,3,5,7
/proc/4055/task/4109/stat : 4109 (java) S 4052 4055 19273 0 -1 1077944384 2 13258 0 0 0 0 4 3 20 0 15 0 107415625 11246329856 10383 33554432000 4194304 4196468 140731134129840 139866430802192 139866426570453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4110] ppid=4052 vsize=10982744 memory=140104032629476 CPUtime=0.07 cores=1,3,5,7
/proc/4055/task/4110/stat : 4110 (java) S 4052 4055 19273 0 -1 1077944384 2 13258 0 0 0 0 4 3 20 0 15 0 107415625 11246329856 10383 33554432000 4194304 4196468 140731134129840 139866285521296 139866426570453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4111] ppid=4052 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4055/task/4111/stat : 4111 (java) S 4052 4055 19273 0 -1 1077944384 1 13258 0 0 0 0 4 3 20 0 15 0 107415625 11246329856 10383 33554432000 4194304 4196468 140731134129840 139866284468752 139866426570453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4112] ppid=4052 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4055/task/4112/stat : 4112 (java) S 4052 4055 19273 0 -1 1077944384 1 13258 0 0 0 0 4 3 20 0 15 0 107415625 11246329856 10383 33554432000 4194304 4196468 140731134129840 139866283416208 139866426570453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4113] ppid=4052 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4055/task/4113/stat : 4113 (java) S 4052 4055 19273 0 -1 1077944384 2 13258 0 0 0 0 4 3 20 0 15 0 107415627 11246329856 10383 33554432000 4194304 4196468 140731134129840 139865852307952 139866426571394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4114] ppid=4052 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4055/task/4114/stat : 4114 (java) S 4052 4055 19273 0 -1 1077944384 13 13258 0 0 0 0 4 3 20 0 15 0 107415628 11246329856 10383 33554432000 4194304 4196468 140731134129840 139865274443168 139866426570453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4115] ppid=4052 vsize=10982744 memory=140104032609920 CPUtime=0.07 cores=1,3,5,7
/proc/4055/task/4115/stat : 4115 (java) S 4052 4055 19273 0 -1 1077944384 1 13258 0 0 0 0 4 3 20 0 15 0 107415628 11246329856 10383 33554432000 4194304 4196468 140731134129840 139865073116656 139866426570453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4116] ppid=4052 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4055/task/4116/stat : 4116 (java) S 4052 4055 19273 0 -1 1077944384 3 13258 0 0 0 0 4 3 20 0 15 0 107415630 11246329856 10383 33554432000 4194304 4196468 140731134129840 139864765717200 139866426578843 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4117] ppid=4052 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4055/task/4117/stat : 4117 (java) S 4052 4055 19273 0 -1 1077944384 417 13258 0 0 1 0 4 3 20 0 15 0 107415630 11246329856 10383 33554432000 4194304 4196468 140731134129840 139865851254768 139866426571394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4118] ppid=4052 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/4055/task/4118/stat : 4118 (java) S 4052 4055 19273 0 -1 1077944384 192 13258 0 0 1 0 4 3 20 0 15 0 107415630 11246329856 10383 33554432000 4194304 4196468 140731134129840 139865850202224 139866426571394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4119] ppid=4052 vsize=10982744 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/4055/task/4119/stat : 4119 (java) S 4052 4055 19273 0 -1 1077944384 611 13258 0 0 2 0 4 3 20 0 15 0 107415631 11246329856 10383 33554432000 4194304 4196468 140731134129840 139865849149680 139866426571394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4120] ppid=4052 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4055/task/4120/stat : 4120 (java) S 4052 4055 19273 0 -1 1077944384 3 13258 0 0 0 0 4 3 20 0 15 0 107415631 11246329856 10383 33554432000 4194304 4196468 140731134129840 139864334920288 139866426570453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4121] ppid=4052 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4055/task/4121/stat : 4121 (java) S 4052 4055 19273 0 -1 1077944384 1 13258 0 0 0 0 4 3 20 0 15 0 107415631 11246329856 10383 33554432000 4194304 4196468 140731134129840 139865848097584 139866426571394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 41532 KiB
[startup+0.320155 s]*
/proc/loadavg: 1.53 1.71 1.77 3/218 4121
/proc/meminfo: memFree=27571664/32770624 swapFree=67108744/67108860
[pid=4055] ppid=4052 vsize=10983192 memory=56020 CPUtime=0.37 cores=1,3,5,7
/proc/4055/stat : 4055 (java) S 4052 4055 19273 0 -1 1077944320 10079 13258 0 0 27 3 4 3 20 0 15 0 107415615 11246788608 14005 33554432000 4194304 4196468 140731134129840 140731134112384 139866426560247 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
/proc/4055/statm: 2745798 14005 3077 1 0 2708109 0
[pid=4055/tid=4108] ppid=4052 vsize=10983192 memory=6935054825532540783 CPUtime=0.27 cores=1,3,5,7
/proc/4055/task/4108/stat : 4108 (java) R 4052 4055 19273 0 -1 4202560 6815 13258 0 0 18 2 4 3 20 0 15 0 107415625 11246788608 14203 33554432000 4194304 4196468 140731134129840 139866398349776 139866410640734 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4109] ppid=4052 vsize=10983192 memory=4872558044660077418 CPUtime=0.07 cores=1,3,5,7
/proc/4055/task/4109/stat : 4109 (java) S 4052 4055 19273 0 -1 1077944384 2 13258 0 0 0 0 4 3 20 0 15 0 107415625 11246788608 14203 33554432000 4194304 4196468 140731134129840 139866430802192 139866426570453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4110] ppid=4052 vsize=10983192 memory=-2843871790113604766 CPUtime=0.07 cores=1,3,5,7
/proc/4055/task/4110/stat : 4110 (java) S 4052 4055 19273 0 -1 1077944384 2 13258 0 0 0 0 4 3 20 0 15 0 107415625 11246788608 14203 33554432000 4194304 4196468 140731134129840 139866285521296 139866426570453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4111] ppid=4052 vsize=10983192 memory=-8412656567334364540 CPUtime=0.07 cores=1,3,5,7
/proc/4055/task/4111/stat : 4111 (java) S 4052 4055 19273 0 -1 1077944384 1 13258 0 0 0 0 4 3 20 0 15 0 107415625 11246788608 14203 33554432000 4194304 4196468 140731134129840 139866284468752 139866426570453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4112] ppid=4052 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4055/task/4112/stat : 4112 (java) S 4052 4055 19273 0 -1 1077944384 1 13258 0 0 0 0 4 3 20 0 15 0 107415625 11246788608 14203 33554432000 4194304 4196468 140731134129840 139866283416208 139866426570453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4113] ppid=4052 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4055/task/4113/stat : 4113 (java) S 4052 4055 19273 0 -1 1077944384 2 13258 0 0 0 0 4 3 20 0 15 0 107415627 11246788608 14203 33554432000 4194304 4196468 140731134129840 139865852307952 139866426571394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4114] ppid=4052 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4055/task/4114/stat : 4114 (java) S 4052 4055 19273 0 -1 1077944384 13 13258 0 0 0 0 4 3 20 0 15 0 107415628 11246788608 14203 33554432000 4194304 4196468 140731134129840 139865274443168 139866426570453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4115] ppid=4052 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4055/task/4115/stat : 4115 (java) S 4052 4055 19273 0 -1 1077944384 1 13258 0 0 0 0 4 3 20 0 15 0 107415628 11246788608 14203 33554432000 4194304 4196468 140731134129840 139865073116656 139866426570453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4116] ppid=4052 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4055/task/4116/stat : 4116 (java) S 4052 4055 19273 0 -1 1077944384 3 13258 0 0 0 0 4 3 20 0 15 0 107415630 11246788608 14203 33554432000 4194304 4196468 140731134129840 139864765717200 139866426578843 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4117] ppid=4052 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4055/task/4117/stat : 4117 (java) S 4052 4055 19273 0 -1 1077944384 419 13258 0 0 1 0 4 3 20 0 15 0 107415630 11246788608 14203 33554432000 4194304 4196468 140731134129840 139865851254768 139866426571394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4118] ppid=4052 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4055/task/4118/stat : 4118 (java) S 4052 4055 19273 0 -1 1077944384 192 13258 0 0 1 0 4 3 20 0 15 0 107415630 11246788608 14203 33554432000 4194304 4196468 140731134129840 139865850202224 139866426571394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4119] ppid=4052 vsize=10983192 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/4055/task/4119/stat : 4119 (java) S 4052 4055 19273 0 -1 1077944384 621 13258 0 0 4 0 4 3 20 0 15 0 107415631 11246788608 14203 33554432000 4194304 4196468 140731134129840 139865849149680 139866426571394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4120] ppid=4052 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4055/task/4120/stat : 4120 (java) S 4052 4055 19273 0 -1 1077944384 3 13258 0 0 0 0 4 3 20 0 15 0 107415631 11246788608 14203 33554432000 4194304 4196468 140731134129840 139864334920288 139866426570453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4121] ppid=4052 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4055/task/4121/stat : 4121 (java) S 4052 4055 19273 0 -1 1077944384 1 13258 0 0 0 0 4 3 20 0 15 0 107415631 11246788608 14203 33554432000 4194304 4196468 140731134129840 139865848097584 139866426571394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56020 KiB
[startup+0.700825 s]
/proc/loadavg: 1.53 1.71 1.77 3/218 4121
/proc/meminfo: memFree=27560996/32770624 swapFree=67108744/67108860
[pid=4055] ppid=4052 vsize=10983192 memory=88928 CPUtime=0.97 cores=1,3,5,7
/proc/4055/stat : 4055 (java) S 4052 4055 19273 0 -1 1077944320 16362 13258 0 0 85 5 4 3 20 0 15 0 107415615 11246788608 22232 33554432000 4194304 4196468 140731134129840 140731134112384 139866426560247 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
/proc/4055/statm: 2745798 22232 3238 1 0 2708109 0
[pid=4055/tid=4108] ppid=4052 vsize=10983192 memory=30744 CPUtime=0.64 cores=1,3,5,7
/proc/4055/task/4108/stat : 4108 (java) R 4052 4055 19273 0 -1 4202560 11840 13258 0 0 54 3 4 3 20 0 15 0 107415625 11246788608 22232 33554432000 4194304 4196468 140731134129840 139866398383248 139866408123803 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4109] ppid=4052 vsize=10983192 memory=280207827144464 CPUtime=0.07 cores=1,3,5,7
/proc/4055/task/4109/stat : 4109 (java) S 4052 4055 19273 0 -1 1077944384 2 13258 0 0 0 0 4 3 20 0 15 0 107415625 11246788608 22232 33554432000 4194304 4196468 140731134129840 139866430802192 139866426570453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4110] ppid=4052 vsize=10983192 memory=2493161408257 CPUtime=0.07 cores=1,3,5,7
/proc/4055/task/4110/stat : 4110 (java) S 4052 4055 19273 0 -1 1077944384 2 13258 0 0 0 0 4 3 20 0 15 0 107415625 11246788608 22232 33554432000 4194304 4196468 140731134129840 139866285521296 139866426570453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4111] ppid=4052 vsize=10983192 memory=2523226179329 CPUtime=0.07 cores=1,3,5,7
/proc/4055/task/4111/stat : 4111 (java) S 4052 4055 19273 0 -1 1077944384 1 13258 0 0 0 0 4 3 20 0 15 0 107415625 11246788608 22232 33554432000 4194304 4196468 140731134129840 139866284468752 139866426570453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4112] ppid=4052 vsize=10983192 memory=2548995983105 CPUtime=0.07 cores=1,3,5,7
/proc/4055/task/4112/stat : 4112 (java) S 4052 4055 19273 0 -1 1077944384 1 13258 0 0 0 0 4 3 20 0 15 0 107415625 11246788608 22232 33554432000 4194304 4196468 140731134129840 139866283416208 139866426570453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4113] ppid=4052 vsize=10983192 memory=2561880884993 CPUtime=0.07 cores=1,3,5,7
/proc/4055/task/4113/stat : 4113 (java) S 4052 4055 19273 0 -1 1077944384 5 13258 0 0 0 0 4 3 20 0 15 0 107415627 11246788608 22232 33554432000 4194304 4196468 140731134129840 139865852307952 139866426571394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4114] ppid=4052 vsize=10983192 memory=2570470819585 CPUtime=0.07 cores=1,3,5,7
/proc/4055/task/4114/stat : 4114 (java) S 4052 4055 19273 0 -1 1077944384 13 13258 0 0 0 0 4 3 20 0 15 0 107415628 11246788608 22232 33554432000 4194304 4196468 140731134129840 139865274443168 139866426570453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4115] ppid=4052 vsize=10983192 memory=2630600361729 CPUtime=0.07 cores=1,3,5,7
/proc/4055/task/4115/stat : 4115 (java) S 4052 4055 19273 0 -1 1077944384 1 13258 0 0 0 0 4 3 20 0 15 0 107415628 11246788608 22232 33554432000 4194304 4196468 140731134129840 139865073116656 139866426570453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4116] ppid=4052 vsize=10983192 memory=19773292 CPUtime=0.07 cores=1,3,5,7
/proc/4055/task/4116/stat : 4116 (java) S 4052 4055 19273 0 -1 1077944384 3 13258 0 0 0 0 4 3 20 0 15 0 107415630 11246788608 22232 33554432000 4194304 4196468 140731134129840 139864765717200 139866426578843 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4117] ppid=4052 vsize=10983192 memory=-7453528518462155811 CPUtime=0.14 cores=1,3,5,7
/proc/4055/task/4117/stat : 4117 (java) S 4052 4055 19273 0 -1 1077944384 845 13258 0 0 7 0 4 3 20 0 15 0 107415630 11246788608 22232 33554432000 4194304 4196468 140731134129840 139865851254768 139866426571394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4118] ppid=4052 vsize=10983192 memory=280207827707456 CPUtime=0.17 cores=1,3,5,7
/proc/4055/task/4118/stat : 4118 (java) S 4052 4055 19273 0 -1 1077944384 780 13258 0 0 10 0 4 3 20 0 15 0 107415630 11246788608 22232 33554432000 4194304 4196468 140731134129840 139865850202224 139866426571394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4119] ppid=4052 vsize=10983192 memory=140106128163449 CPUtime=0.19 cores=1,3,5,7
/proc/4055/task/4119/stat : 4119 (java) S 4052 4055 19273 0 -1 1077944384 673 13258 0 0 12 0 4 3 20 0 15 0 107415631 11246788608 22232 33554432000 4194304 4196468 140731134129840 139865849149680 139866426571394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4120] ppid=4052 vsize=10983192 memory=142820547494549 CPUtime=0.07 cores=1,3,5,7
/proc/4055/task/4120/stat : 4120 (java) S 4052 4055 19273 0 -1 1077944384 3 13258 0 0 0 0 4 3 20 0 15 0 107415631 11246788608 22232 33554432000 4194304 4196468 140731134129840 139864334920288 139866426570453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4121] ppid=4052 vsize=10983192 memory=140106128163726 CPUtime=0.07 cores=1,3,5,7
/proc/4055/task/4121/stat : 4121 (java) S 4052 4055 19273 0 -1 1077944384 1 13258 0 0 0 0 4 3 20 0 15 0 107415631 11246788608 22232 33554432000 4194304 4196468 140731134129840 139865848097584 139866426571394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88928 KiB
[startup+1.50115 s]
/proc/loadavg: 1.53 1.71 1.77 3/218 4121
/proc/meminfo: memFree=27517908/32770624 swapFree=67108744/67108860
[pid=4055] ppid=4052 vsize=10993996 memory=200296 CPUtime=3.1 cores=1,3,5,7
/proc/4055/stat : 4055 (java) S 4052 4055 19273 0 -1 1077944320 23542 13258 0 0 293 10 4 3 20 0 15 0 107415615 11257851904 50074 33554432000 4194304 4196468 140731134129840 140731134112384 139866426560247 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
/proc/4055/statm: 2748499 50074 3451 1 0 2710157 0
[pid=4055/tid=4108] ppid=4052 vsize=10993996 memory=117 CPUtime=1.44 cores=1,3,5,7
/proc/4055/task/4108/stat : 4108 (java) R 4052 4055 19273 0 -1 4202560 14918 13258 0 0 130 7 4 3 20 0 15 0 107415625 11257851904 50074 33554432000 4194304 4196468 140731134129840 139866398391328 139866410640734 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4109] ppid=4052 vsize=10993996 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4055/task/4109/stat : 4109 (java) S 4052 4055 19273 0 -1 1077944384 2 13258 0 0 0 0 4 3 20 0 15 0 107415625 11257851904 50074 33554432000 4194304 4196468 140731134129840 139866430802192 139866426570453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4110] ppid=4052 vsize=10993996 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4055/task/4110/stat : 4110 (java) S 4052 4055 19273 0 -1 1077944384 2 13258 0 0 0 0 4 3 20 0 15 0 107415625 11257851904 50074 33554432000 4194304 4196468 140731134129840 139866285521296 139866426570453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4111] ppid=4052 vsize=10993996 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4055/task/4111/stat : 4111 (java) S 4052 4055 19273 0 -1 1077944384 1 13258 0 0 0 0 4 3 20 0 15 0 107415625 11257851904 50074 33554432000 4194304 4196468 140731134129840 139866284468752 139866426570453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4112] ppid=4052 vsize=10993996 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4055/task/4112/stat : 4112 (java) S 4052 4055 19273 0 -1 1077944384 1 13258 0 0 0 0 4 3 20 0 15 0 107415625 11257851904 50074 33554432000 4194304 4196468 140731134129840 139866283416208 139866426570453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4113] ppid=4052 vsize=10993996 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4055/task/4113/stat : 4113 (java) S 4052 4055 19273 0 -1 1077944384 13 13258 0 0 0 0 4 3 20 0 15 0 107415627 11257851904 50074 33554432000 4194304 4196468 140731134129840 139865852307952 139866426571394 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4114] ppid=4052 vsize=10993996 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4055/task/4114/stat : 4114 (java) S 4052 4055 19273 0 -1 1077944384 13 13258 0 0 0 0 4 3 20 0 15 0 107415628 11257851904 50074 33554432000 4194304 4196468 140731134129840 139865274443168 139866426570453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4115] ppid=4052 vsize=10993996 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4055/task/4115/stat : 4115 (java) S 4052 4055 19273 0 -1 1077944384 1 13258 0 0 0 0 4 3 20 0 15 0 107415628 11257851904 50074 33554432000 4194304 4196468 140731134129840 139865073116656 139866426570453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4116] ppid=4052 vsize=10993996 memory=280207827200960 CPUtime=0.07 cores=1,3,5,7
/proc/4055/task/4116/stat : 4116 (java) S 4052 4055 19273 0 -1 1077944384 3 13258 0 0 0 0 4 3 20 0 15 0 107415630 11257851904 50074 33554432000 4194304 4196468 140731134129840 139864765717200 139866426578843 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4117] ppid=4052 vsize=10993996 memory=6152568437464001118 CPUtime=0.63 cores=1,3,5,7
/proc/4055/task/4117/stat : 4117 (java) R 4052 4055 19273 0 -1 4202560 2904 13258 0 0 56 0 4 3 20 0 15 0 107415630 11257851904 50074 33554432000 4194304 4196468 140731134129840 139865851241280 139866411667871 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4118] ppid=4052 vsize=10993996 memory=7739551891143877734 CPUtime=0.67 cores=1,3,5,7
/proc/4055/task/4118/stat : 4118 (java) R 4052 4055 19273 0 -1 4202560 1875 13258 0 0 60 0 4 3 20 0 15 0 107415630 11257851904 50074 33554432000 4194304 4196468 140731134129840 139865850194712 139866406396599 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4119] ppid=4052 vsize=10993996 memory=6082231609290744938 CPUtime=0.53 cores=1,3,5,7
/proc/4055/task/4119/stat : 4119 (java) S 4052 4055 19273 0 -1 1077944384 1613 13258 0 0 45 1 4 3 20 0 15 0 107415631 11257851904 50074 33554432000 4194304 4196468 140731134129840 139865849149680 139866426571394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4120] ppid=4052 vsize=10993996 memory=7524226784899591272 CPUtime=0.07 cores=1,3,5,7
/proc/4055/task/4120/stat : 4120 (java) S 4052 4055 19273 0 -1 1077944384 3 13258 0 0 0 0 4 3 20 0 15 0 107415631 11257851904 50074 33554432000 4194304 4196468 140731134129840 139864334920288 139866426570453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4121] ppid=4052 vsize=10993996 memory=8030590389594123627 CPUtime=0.07 cores=1,3,5,7
/proc/4055/task/4121/stat : 4121 (java) S 4052 4055 19273 0 -1 1077944384 1 13258 0 0 0 0 4 3 20 0 15 0 107415631 11257851904 50074 33554432000 4194304 4196468 140731134129840 139865848097584 139866426571394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 10993996 KiB
################
# More data... #
################
/proc/4055/task/4108/stat : 4108 (java) R 4052 4055 19273 0 -1 4202560 65990 13258 0 0 9827 42 4 3 20 0 15 0 107415625 11348049920 887573 33554432000 4194304 4196468 140731134129840 139866398391680 139865965838947 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4109] ppid=4052 vsize=11082080 memory=11116 CPUtime=3.16 cores=1,3,5,7
/proc/4055/task/4109/stat : 4109 (java) S 4052 4055 19273 0 -1 1077944384 3886 13258 0 0 265 44 4 3 20 0 15 0 107415625 11348049920 887573 33554432000 4194304 4196468 140731134129840 139866430802192 139866426570453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4110] ppid=4052 vsize=11082080 memory=30748 CPUtime=3.16 cores=1,3,5,7
/proc/4055/task/4110/stat : 4110 (java) S 4052 4055 19273 0 -1 1077944384 3703 13258 0 0 265 44 4 3 20 0 15 0 107415625 11348049920 887573 33554432000 4194304 4196468 140731134129840 139866285521296 139866426570453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4111] ppid=4052 vsize=11082080 memory=4096 CPUtime=3.13 cores=1,3,5,7
/proc/4055/task/4111/stat : 4111 (java) S 4052 4055 19273 0 -1 1077944384 4177 13258 0 0 261 45 4 3 20 0 15 0 107415625 11348049920 887573 33554432000 4194304 4196468 140731134129840 139866284468752 139866426570453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4112] ppid=4052 vsize=11082080 memory=3550292 CPUtime=3.15 cores=1,3,5,7
/proc/4055/task/4112/stat : 4112 (java) S 4052 4055 19273 0 -1 1077944384 2645 13258 0 0 264 44 4 3 20 0 15 0 107415625 11348049920 887573 33554432000 4194304 4196468 140731134129840 139866283416208 139866426570453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4113] ppid=4052 vsize=11082080 memory=3550292 CPUtime=0.22 cores=1,3,5,7
/proc/4055/task/4113/stat : 4113 (java) S 4052 4055 19273 0 -1 1077944384 9267 13258 0 0 14 1 4 3 20 0 15 0 107415627 11348049920 887573 33554432000 4194304 4196468 140731134129840 139865852307952 139866426571394 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4114] ppid=4052 vsize=11082080 memory=3550292 CPUtime=0.07 cores=1,3,5,7
/proc/4055/task/4114/stat : 4114 (java) S 4052 4055 19273 0 -1 1077944384 18 13258 0 0 0 0 4 3 20 0 15 0 107415628 11348049920 887573 33554432000 4194304 4196468 140731134129840 139865274443296 139866426570453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4115] ppid=4052 vsize=11082080 memory=3 CPUtime=0.07 cores=1,3,5,7
/proc/4055/task/4115/stat : 4115 (java) S 4052 4055 19273 0 -1 1077944384 12 13258 0 0 0 0 4 3 20 0 15 0 107415628 11348049920 887573 33554432000 4194304 4196468 140731134129840 139865073116672 139866426570453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4116] ppid=4052 vsize=11082080 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4055/task/4116/stat : 4116 (java) S 4052 4055 19273 0 -1 1077944384 3 13258 0 0 0 0 4 3 20 0 15 0 107415630 11348049920 887573 33554432000 4194304 4196468 140731134129840 139864765717200 139866426578843 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4117] ppid=4052 vsize=11082080 memory=0 CPUtime=11.63 cores=1,3,5,7
/proc/4055/task/4117/stat : 4117 (java) S 4052 4055 19273 0 -1 1077944384 19801 13258 0 0 1152 4 4 3 20 0 15 0 107415630 11348049920 887573 33554432000 4194304 4196468 140731134129840 139865851254768 139866426571394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4118] ppid=4052 vsize=11082080 memory=33 CPUtime=11.68 cores=1,3,5,7
/proc/4055/task/4118/stat : 4118 (java) S 4052 4055 19273 0 -1 1077944384 18519 13258 0 0 1158 3 4 3 20 0 15 0 107415630 11348049920 887573 33554432000 4194304 4196468 140731134129840 139865850202224 139866426571394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4119] ppid=4052 vsize=11082080 memory=3431508 CPUtime=3.66 cores=1,3,5,7
/proc/4055/task/4119/stat : 4119 (java) S 4052 4055 19273 0 -1 1077944384 20201 13258 0 0 353 6 4 3 20 0 15 0 107415631 11348049920 887573 33554432000 4194304 4196468 140731134129840 139865849149680 139866426571394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 18 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4120] ppid=4052 vsize=11082080 memory=30748 CPUtime=0.07 cores=1,3,5,7
/proc/4055/task/4120/stat : 4120 (java) S 4052 4055 19273 0 -1 1077944384 3 13258 0 0 0 0 4 3 20 0 15 0 107415631 11348049920 887573 33554432000 4194304 4196468 140731134129840 139864334920288 139866426570453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4121] ppid=4052 vsize=11082080 memory=1292 CPUtime=0.12 cores=1,3,5,7
/proc/4055/task/4121/stat : 4121 (java) S 4052 4055 19273 0 -1 1077944384 126 13258 0 0 2 3 4 3 20 0 15 0 107415631 11348049920 887573 33554432000 4194304 4196468 140731134129840 139865848097584 139866426571394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 15 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
Current children cumulated CPU time: 138.15 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 3550292 KiB
[startup+162.301 s]
/proc/loadavg: 1.95 1.79 1.79 3/219 4259
/proc/meminfo: memFree=21727660/32770624 swapFree=67108744/67108860
[pid=4055] ppid=4052 vsize=11082080 memory=3717976 CPUtime=203.28 cores=1,3,5,7
/proc/4055/stat : 4055 (java) S 4052 4055 19273 0 -1 1077944320 171957 13258 0 0 20065 256 4 3 20 0 15 0 107415615 11348049920 929494 33554432000 4194304 4196468 140731134129840 140731134112384 139866426560247 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
/proc/4055/statm: 2770520 929494 3535 1 0 2732173 0
[pid=4055/tid=4108] ppid=4052 vsize=11082080 memory=3717976 CPUtime=157.01 cores=1,3,5,7
/proc/4055/task/4108/stat : 4108 (java) R 4052 4055 19273 0 -1 4202560 71286 13258 0 0 15651 43 4 3 20 0 15 0 107415625 11348049920 929494 33554432000 4194304 4196468 140731134129840 139866398395008 139865986271550 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4109] ppid=4052 vsize=11082080 memory=3717808 CPUtime=4.84 cores=1,3,5,7
/proc/4055/task/4109/stat : 4109 (java) S 4052 4055 19273 0 -1 1077944384 4330 13258 0 0 430 47 4 3 20 0 15 0 107415625 11348049920 929494 33554432000 4194304 4196468 140731134129840 139866430802192 139866426570453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4110] ppid=4052 vsize=11082080 memory=3717808 CPUtime=4.83 cores=1,3,5,7
/proc/4055/task/4110/stat : 4110 (java) S 4052 4055 19273 0 -1 1077944384 5217 13258 0 0 428 48 4 3 20 0 15 0 107415625 11348049920 929494 33554432000 4194304 4196468 140731134129840 139866285521296 139866426570453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4111] ppid=4052 vsize=11082080 memory=3717808 CPUtime=4.81 cores=1,3,5,7
/proc/4055/task/4111/stat : 4111 (java) S 4052 4055 19273 0 -1 1077944384 4680 13258 0 0 425 49 4 3 20 0 15 0 107415625 11348049920 929494 33554432000 4194304 4196468 140731134129840 139866284468752 139866426570453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4112] ppid=4052 vsize=11082080 memory=3717976 CPUtime=4.82 cores=1,3,5,7
/proc/4055/task/4112/stat : 4112 (java) S 4052 4055 19273 0 -1 1077944384 2994 13258 0 0 428 47 4 3 20 0 15 0 107415625 11348049920 929494 33554432000 4194304 4196468 140731134129840 139866283416208 139866426570453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4113] ppid=4052 vsize=11082080 memory=3717976 CPUtime=0.29 cores=1,3,5,7
/proc/4055/task/4113/stat : 4113 (java) S 4052 4055 19273 0 -1 1077944384 20409 13258 0 0 20 2 4 3 20 0 15 0 107415627 11348049920 929494 33554432000 4194304 4196468 140731134129840 139865852307952 139866426571394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4114] ppid=4052 vsize=11082080 memory=3717976 CPUtime=0.07 cores=1,3,5,7
/proc/4055/task/4114/stat : 4114 (java) S 4052 4055 19273 0 -1 1077944384 18 13258 0 0 0 0 4 3 20 0 15 0 107415628 11348049920 929494 33554432000 4194304 4196468 140731134129840 139865274443296 139866426570453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4115] ppid=4052 vsize=11082080 memory=3717808 CPUtime=0.07 cores=1,3,5,7
/proc/4055/task/4115/stat : 4115 (java) S 4052 4055 19273 0 -1 1077944384 12 13258 0 0 0 0 4 3 20 0 15 0 107415628 11348049920 929494 33554432000 4194304 4196468 140731134129840 139865073116672 139866426570453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4116] ppid=4052 vsize=11082080 memory=1228 CPUtime=0.07 cores=1,3,5,7
/proc/4055/task/4116/stat : 4116 (java) S 4052 4055 19273 0 -1 1077944384 3 13258 0 0 0 0 4 3 20 0 15 0 107415630 11348049920 929494 33554432000 4194304 4196468 140731134129840 139864765717200 139866426578843 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4117] ppid=4052 vsize=11082080 memory=1712 CPUtime=11.65 cores=1,3,5,7
/proc/4055/task/4117/stat : 4117 (java) S 4052 4055 19273 0 -1 1077944384 20496 13258 0 0 1154 4 4 3 20 0 15 0 107415630 11348049920 929494 33554432000 4194304 4196468 140731134129840 139865851254768 139866426571394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4118] ppid=4052 vsize=11082080 memory=3717976 CPUtime=11.73 cores=1,3,5,7
/proc/4055/task/4118/stat : 4118 (java) S 4052 4055 19273 0 -1 1077944384 18694 13258 0 0 1163 3 4 3 20 0 15 0 107415630 11348049920 929494 33554432000 4194304 4196468 140731134129840 139865850202224 139866426571394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4119] ppid=4052 vsize=11082080 memory=3717976 CPUtime=3.67 cores=1,3,5,7
/proc/4055/task/4119/stat : 4119 (java) S 4052 4055 19273 0 -1 1077944384 21386 13258 0 0 354 6 4 3 20 0 15 0 107415631 11348049920 929494 33554432000 4194304 4196468 140731134129840 139865849149680 139866426571394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 18 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4120] ppid=4052 vsize=11082080 memory=1008 CPUtime=0.07 cores=1,3,5,7
/proc/4055/task/4120/stat : 4120 (java) S 4052 4055 19273 0 -1 1077944384 3 13258 0 0 0 0 4 3 20 0 15 0 107415631 11348049920 929494 33554432000 4194304 4196468 140731134129840 139864334920288 139866426570453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4121] ppid=4052 vsize=11082080 memory=5404 CPUtime=0.16 cores=1,3,5,7
/proc/4055/task/4121/stat : 4121 (java) S 4052 4055 19273 0 -1 1077944384 237 13258 0 0 4 5 4 3 20 0 15 0 107415631 11348049920 929494 33554432000 4194304 4196468 140731134129840 139865848097584 139866426571394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
Current children cumulated CPU time: 203.28 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 3717976 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+209.701 s]
/proc/loadavg: 1.90 1.80 1.79 3/220 4261
/proc/meminfo: memFree=21303436/32770624 swapFree=67108744/67108860
[pid=4055] ppid=4052 vsize=11082080 memory=3796708 CPUtime=252.04 cores=1,3,5,7
/proc/4055/stat : 4055 (java) S 4052 4055 19273 0 -1 1077944320 184721 13258 0 0 24929 268 4 3 20 0 15 0 107415615 11348049920 949177 33554432000 4194304 4196468 140731134129840 140731134112384 139866426560247 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
/proc/4055/statm: 2770520 949177 3535 1 0 2732173 0
[pid=4055/tid=4108] ppid=4052 vsize=11082080 memory=3796708 CPUtime=203.99 cores=1,3,5,7
/proc/4055/task/4108/stat : 4108 (java) R 4052 4055 19273 0 -1 4202560 77517 13258 0 0 20348 44 4 3 20 0 15 0 107415625 11348049920 949177 33554432000 4194304 4196468 140731134129840 139866398390608 139865986274157 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4109] ppid=4052 vsize=11082080 memory=3796344 CPUtime=5.25 cores=1,3,5,7
/proc/4055/task/4109/stat : 4109 (java) S 4052 4055 19273 0 -1 1077944384 4521 13258 0 0 469 49 4 3 20 0 15 0 107415625 11348049920 949177 33554432000 4194304 4196468 140731134129840 139866430802192 139866426570453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4110] ppid=4052 vsize=11082080 memory=3788152 CPUtime=5.24 cores=1,3,5,7
/proc/4055/task/4110/stat : 4110 (java) S 4052 4055 19273 0 -1 1077944384 5331 13258 0 0 467 50 4 3 20 0 15 0 107415625 11348049920 949177 33554432000 4194304 4196468 140731134129840 139866285521296 139866426570453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4111] ppid=4052 vsize=11082080 memory=3756940 CPUtime=5.23 cores=1,3,5,7
/proc/4055/task/4111/stat : 4111 (java) S 4052 4055 19273 0 -1 1077944384 4953 13258 0 0 465 51 4 3 20 0 15 0 107415625 11348049920 949177 33554432000 4194304 4196468 140731134129840 139866284468752 139866426570453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4112] ppid=4052 vsize=11082080 memory=3796708 CPUtime=5.24 cores=1,3,5,7
/proc/4055/task/4112/stat : 4112 (java) S 4052 4055 19273 0 -1 1077944384 4407 13258 0 0 468 49 4 3 20 0 15 0 107415625 11348049920 949177 33554432000 4194304 4196468 140731134129840 139866283416208 139866426570453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4113] ppid=4052 vsize=11082080 memory=3796708 CPUtime=0.3 cores=1,3,5,7
/proc/4055/task/4113/stat : 4113 (java) S 4052 4055 19273 0 -1 1077944384 20684 13258 0 0 21 2 4 3 20 0 15 0 107415627 11348049920 949177 33554432000 4194304 4196468 140731134129840 139865852307952 139866426571394 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4114] ppid=4052 vsize=11082080 memory=3785612 CPUtime=0.07 cores=1,3,5,7
/proc/4055/task/4114/stat : 4114 (java) S 4052 4055 19273 0 -1 1077944384 18 13258 0 0 0 0 4 3 20 0 15 0 107415628 11348049920 949177 33554432000 4194304 4196468 140731134129840 139865274443296 139866426570453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4115] ppid=4052 vsize=11082080 memory=3796708 CPUtime=0.07 cores=1,3,5,7
/proc/4055/task/4115/stat : 4115 (java) S 4052 4055 19273 0 -1 1077944384 12 13258 0 0 0 0 4 3 20 0 15 0 107415628 11348049920 949177 33554432000 4194304 4196468 140731134129840 139865073116672 139866426570453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4116] ppid=4052 vsize=11082080 memory=4096 CPUtime=0.07 cores=1,3,5,7
/proc/4055/task/4116/stat : 4116 (java) S 4052 4055 19273 0 -1 1077944384 3 13258 0 0 0 0 4 3 20 0 15 0 107415630 11348049920 949177 33554432000 4194304 4196468 140731134129840 139864765717200 139866426578843 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4117] ppid=4052 vsize=11082080 memory=30748 CPUtime=11.68 cores=1,3,5,7
/proc/4055/task/4117/stat : 4117 (java) S 4052 4055 19273 0 -1 1077944384 21477 13258 0 0 1157 4 4 3 20 0 15 0 107415630 11348049920 949177 33554432000 4194304 4196468 140731134129840 139865851254768 139866426571394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4118] ppid=4052 vsize=11082080 memory=4616 CPUtime=11.74 cores=1,3,5,7
/proc/4055/task/4118/stat : 4118 (java) S 4052 4055 19273 0 -1 1077944384 19852 13258 0 0 1164 3 4 3 20 0 15 0 107415630 11348049920 949177 33554432000 4194304 4196468 140731134129840 139865850202224 139866426571394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4119] ppid=4052 vsize=11082080 memory=1424 CPUtime=3.72 cores=1,3,5,7
/proc/4055/task/4119/stat : 4119 (java) S 4052 4055 19273 0 -1 1077944384 23507 13258 0 0 358 7 4 3 20 0 15 0 107415631 11348049920 949177 33554432000 4194304 4196468 140731134129840 139865849149680 139866426571394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 18 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4120] ppid=4052 vsize=11082080 memory=3227704 CPUtime=0.07 cores=1,3,5,7
/proc/4055/task/4120/stat : 4120 (java) S 4052 4055 19273 0 -1 1077944384 3 13258 0 0 0 0 4 3 20 0 15 0 107415631 11348049920 949177 33554432000 4194304 4196468 140731134129840 139864334920288 139866426570453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4121] ppid=4052 vsize=11082080 memory=1796 CPUtime=0.18 cores=1,3,5,7
/proc/4055/task/4121/stat : 4121 (java) S 4052 4055 19273 0 -1 1077944384 244 13258 0 0 5 6 4 3 20 0 15 0 107415631 11348049920 949177 33554432000 4194304 4196468 140731134129840 139865848097584 139866426571394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 15 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
Current children cumulated CPU time: 252.04 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 3796708 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+209.749 s]
# the end of solver process 4055 was just reported to runsolver
# cumulated CPU time of all completed processes: user=249.36 s, system=2.75148 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+209.701 s]
/proc/loadavg: 1.90 1.80 1.79 3/220 4261
/proc/meminfo: memFree=21303436/32770624 swapFree=67108744/67108860
[pid=4055] ppid=4052 vsize=11082080 memory=3796708 CPUtime=252.04 cores=1,3,5,7
/proc/4055/stat : 4055 (java) S 4052 4055 19273 0 -1 1077944320 184721 13258 0 0 24929 268 4 3 20 0 15 0 107415615 11348049920 949177 33554432000 4194304 4196468 140731134129840 140731134112384 139866426560247 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
/proc/4055/statm: 2770520 949177 3535 1 0 2732173 0
[pid=4055/tid=4108] ppid=4052 vsize=11082080 memory=3796708 CPUtime=203.99 cores=1,3,5,7
/proc/4055/task/4108/stat : 4108 (java) R 4052 4055 19273 0 -1 4202560 77517 13258 0 0 20348 44 4 3 20 0 15 0 107415625 11348049920 949177 33554432000 4194304 4196468 140731134129840 139866398390608 139865986274157 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4109] ppid=4052 vsize=11082080 memory=3796344 CPUtime=5.25 cores=1,3,5,7
/proc/4055/task/4109/stat : 4109 (java) S 4052 4055 19273 0 -1 1077944384 4521 13258 0 0 469 49 4 3 20 0 15 0 107415625 11348049920 949177 33554432000 4194304 4196468 140731134129840 139866430802192 139866426570453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4110] ppid=4052 vsize=11082080 memory=3788152 CPUtime=5.24 cores=1,3,5,7
/proc/4055/task/4110/stat : 4110 (java) S 4052 4055 19273 0 -1 1077944384 5331 13258 0 0 467 50 4 3 20 0 15 0 107415625 11348049920 949177 33554432000 4194304 4196468 140731134129840 139866285521296 139866426570453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4111] ppid=4052 vsize=11082080 memory=3756940 CPUtime=5.23 cores=1,3,5,7
/proc/4055/task/4111/stat : 4111 (java) S 4052 4055 19273 0 -1 1077944384 4953 13258 0 0 465 51 4 3 20 0 15 0 107415625 11348049920 949177 33554432000 4194304 4196468 140731134129840 139866284468752 139866426570453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4112] ppid=4052 vsize=11082080 memory=3796708 CPUtime=5.24 cores=1,3,5,7
/proc/4055/task/4112/stat : 4112 (java) S 4052 4055 19273 0 -1 1077944384 4407 13258 0 0 468 49 4 3 20 0 15 0 107415625 11348049920 949177 33554432000 4194304 4196468 140731134129840 139866283416208 139866426570453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4113] ppid=4052 vsize=11082080 memory=3796708 CPUtime=0.3 cores=1,3,5,7
/proc/4055/task/4113/stat : 4113 (java) S 4052 4055 19273 0 -1 1077944384 20684 13258 0 0 21 2 4 3 20 0 15 0 107415627 11348049920 949177 33554432000 4194304 4196468 140731134129840 139865852307952 139866426571394 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4114] ppid=4052 vsize=11082080 memory=3785612 CPUtime=0.07 cores=1,3,5,7
/proc/4055/task/4114/stat : 4114 (java) S 4052 4055 19273 0 -1 1077944384 18 13258 0 0 0 0 4 3 20 0 15 0 107415628 11348049920 949177 33554432000 4194304 4196468 140731134129840 139865274443296 139866426570453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4115] ppid=4052 vsize=11082080 memory=3796708 CPUtime=0.07 cores=1,3,5,7
/proc/4055/task/4115/stat : 4115 (java) S 4052 4055 19273 0 -1 1077944384 12 13258 0 0 0 0 4 3 20 0 15 0 107415628 11348049920 949177 33554432000 4194304 4196468 140731134129840 139865073116672 139866426570453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4116] ppid=4052 vsize=11082080 memory=4096 CPUtime=0.07 cores=1,3,5,7
/proc/4055/task/4116/stat : 4116 (java) S 4052 4055 19273 0 -1 1077944384 3 13258 0 0 0 0 4 3 20 0 15 0 107415630 11348049920 949177 33554432000 4194304 4196468 140731134129840 139864765717200 139866426578843 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4117] ppid=4052 vsize=11082080 memory=30748 CPUtime=11.68 cores=1,3,5,7
/proc/4055/task/4117/stat : 4117 (java) S 4052 4055 19273 0 -1 1077944384 21477 13258 0 0 1157 4 4 3 20 0 15 0 107415630 11348049920 949177 33554432000 4194304 4196468 140731134129840 139865851254768 139866426571394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4118] ppid=4052 vsize=11082080 memory=4616 CPUtime=11.74 cores=1,3,5,7
/proc/4055/task/4118/stat : 4118 (java) S 4052 4055 19273 0 -1 1077944384 19852 13258 0 0 1164 3 4 3 20 0 15 0 107415630 11348049920 949177 33554432000 4194304 4196468 140731134129840 139865850202224 139866426571394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4119] ppid=4052 vsize=11082080 memory=1424 CPUtime=3.72 cores=1,3,5,7
/proc/4055/task/4119/stat : 4119 (java) S 4052 4055 19273 0 -1 1077944384 23507 13258 0 0 358 7 4 3 20 0 15 0 107415631 11348049920 949177 33554432000 4194304 4196468 140731134129840 139865849149680 139866426571394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 18 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4120] ppid=4052 vsize=11082080 memory=3227704 CPUtime=0.07 cores=1,3,5,7
/proc/4055/task/4120/stat : 4120 (java) S 4052 4055 19273 0 -1 1077944384 3 13258 0 0 0 0 4 3 20 0 15 0 107415631 11348049920 949177 33554432000 4194304 4196468 140731134129840 139864334920288 139866426570453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
[pid=4055/tid=4121] ppid=4052 vsize=11082080 memory=1796 CPUtime=0.18 cores=1,3,5,7
/proc/4055/task/4121/stat : 4121 (java) S 4052 4055 19273 0 -1 1077944384 244 13258 0 0 5 6 4 3 20 0 15 0 107415631 11348049920 949177 33554432000 4194304 4196468 140731134129840 139865848097584 139866426571394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 15 0 0 6293624 6294260 29536256 140731134134888 140731134137697 140731134137697 140731134140367 0
Current children cumulated CPU time: 252.04 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 3796708 KiB
Child status: 143
Real time (s): 209.749
CPU time (s): 252.112
CPU user time (s): 249.36
CPU system time (s): 2.75148
CPU usage (%): 120.197
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 3796708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 249.36
system time used= 2.75148
maximum resident set size= 3799324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 199078
page faults= 0
swaps= 0
block input operations= 0
block output operations= 424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17485
involuntary context switches= 508
# summary of solver processes directly reported to runsolver:
# pid: 4055
# total CPU time (s): 252.112
# total CPU user time (s): 249.36
# total CPU system time (s): 2.75148
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.28968 second user time and 2.06456 second system time
The end
Begin job on node134 at 2018-07-29 23:08:44 IDJOB=4302684 IDBENCH=141552 IDSOLVER=2777 FILE ID=node134/4302684-1532898524 RUNJOBID= node134-1532893331-28701 PBS_JOBID= 21022511 Free space on /tmp= 60932 MiB SOLVER NAME= Concrete 3.9.2-SuperNG BENCH NAME= XCSP18/TravelingTournament/TravelingTournament-a3-galaxy14_c18.xml COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED -superng BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4302684-1532898524/watcher-4302684-1532898524 -o /tmp/evaluation-result-4302684-1532898524/solver-4302684-1532898524 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532893331-28701 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1276836625 -superng HOME/instance-4302684-1532898524.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7a3ba77b7a6be046779b0525cfa105c0 RANDOM SEED=1276836625 node134.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.68 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.68 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.68 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.68 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: 27615096 kB MemAvailable: 31269248 kB Buffers: 211208 kB Cached: 3712472 kB SwapCached: 0 kB Active: 2407796 kB Inactive: 2270284 kB Active(anon): 703192 kB Inactive(anon): 78480 kB Active(file): 1704604 kB Inactive(file): 2191804 kB Unevictable: 7364 kB Mlocked: 7364 kB SwapTotal: 67108860 kB SwapFree: 67108744 kB Dirty: 26912 kB Writeback: 0 kB AnonPages: 773360 kB Mapped: 58052 kB Shmem: 25132 kB Slab: 175804 kB SReclaimable: 147160 kB SUnreclaim: 28644 kB KernelStack: 3840 kB PageTables: 6824 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1916316 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 550912 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 60908 MiB End job on node134 at 2018-07-29 23:12:14