Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Concrete 3.9.2 | SAT (TO) | 196 | 2520.09 | 2461.54 |
| Name | StillLife/ StillLife-wastage-21_c18.xml |
| MD5SUM | a6f0507a9e94bceb0819229116432592 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 232 |
| Best CPU time to get the best result obtained on this benchmark | 194.302 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1082 |
| Number of constraints | 659 |
| Number of domains | 4 |
| Minimum domain size | 2 |
| Maximum domain size | 1059 |
| Distribution of domain sizes | [{"size":2,"count":529},{"size":3,"count":529},{"size":442,"count":1},{"size":1059,"count":23}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 24 |
| Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":526},{"degree":3,"count":26},{"degree":4,"count":84},{"degree":8,"count":80},{"degree":9,"count":361},{"degree":24,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 25 |
| Distribution of constraint arities | [{"arity":2,"count":107},{"arity":3,"count":84},{"arity":10,"count":441},{"arity":23,"count":4},{"arity":24,"count":1},{"arity":25,"count":22}] |
| Number of extensional constraints | 525 |
| Number of intensional constraints | 106 |
| Distribution of constraint types | [{"type":"extension","count":525},{"type":"intension","count":106},{"type":"sum","count":24},{"type":"instantiation","count":4}] |
| Optimization problem | YES |
| Type of objective | max VAR |
1.00/0.74 c Concrete v3.9.2.1532736233296 running 9.89/4.14 c 04:42:23.613 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 2920. 'extension(false, x[1][1]=[0‥1], x[2][1]=[0‥1]) :: init: true :: relation: MDD 973174587, 3 edges, 4 vertices, 1 tuples 11.07/4.57 c 04:42:23.644 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 2980. 'extension(false, x[1][21]=[0‥1], x[2][21]=[0‥1]) :: init: true :: relation: MDD 1744579245, 3 edges, 4 vertices, 1 tuples 11.07/4.57 c 04:42:23.646 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 2987. 'extension(x[20][1]=[0‥1], x[21][1]=[0‥1], false) :: init: true :: relation: MDD 973174587, 3 edges, 4 vertices, 1 tuples 11.07/4.57 c 04:42:23.664 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3047. 'extension(x[20][21]=[0‥1], x[21][21]=[0‥1], false) :: init: true :: relation: MDD 1744579245, 3 edges, 4 vertices, 1 tuples 11.07/4.57 c 04:42:23.666 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3052. 'extension(false, x[1][1]=[0‥1], x[1][2]=[0‥1]) :: init: true :: relation: MDD 1370709582, 3 edges, 4 vertices, 1 tuples 11.07/4.57 c 04:42:23.682 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3112. 'extension(false, x[21][1]=[0‥1], x[21][2]=[0‥1]) :: init: true :: relation: MDD 1730129134, 3 edges, 4 vertices, 1 tuples 11.07/4.57 c 04:42:23.684 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3115. 'extension(x[1][20]=[0‥1], x[1][21]=[0‥1], false) :: init: true :: relation: MDD 1370709582, 3 edges, 4 vertices, 1 tuples 11.07/4.57 c 04:42:23.701 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3175. 'extension(x[21][20]=[0‥1], x[21][21]=[0‥1], false) :: init: true :: relation: MDD 1730129134, 3 edges, 4 vertices, 1 tuples 11.07/4.57 c 04:42:23.703 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3179. 'extension(x[1][1]=[0‥1], x[2][1]=[0‥1]) :: init: true :: relation: Empty MDD 11.07/4.57 c 04:42:23.716 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3217. 'extension(x[1][21]=[0‥1], x[2][21]=[0‥1]) :: init: true :: relation: Empty MDD 11.07/4.57 c 04:42:23.717 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3221. 'extension(x[20][1]=[0‥1], x[21][1]=[0‥1]) :: init: true :: relation: Empty MDD 11.07/4.57 c 04:42:23.724 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3259. 'extension(x[20][21]=[0‥1], x[21][21]=[0‥1]) :: init: true :: relation: Empty MDD 11.07/4.57 c 04:42:23.725 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3263. 'extension(x[1][1]=[0‥1], x[1][2]=[0‥1]) :: init: true :: relation: Empty MDD 11.07/4.57 c 04:42:23.732 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3303. 'extension(x[21][1]=[0‥1], x[21][2]=[0‥1]) :: init: true :: relation: Empty MDD 11.07/4.57 c 04:42:23.733 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3309. 'extension(x[1][20]=[0‥1], x[1][21]=[0‥1]) :: init: true :: relation: Empty MDD 11.07/4.57 c 04:42:23.740 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3349. 'extension(x[21][20]=[0‥1], x[21][21]=[0‥1]) :: init: true :: relation: Empty MDD 17.39/7.37 o 176 17.71/7.47 o 177 17.71/7.49 o 178 18.00/7.51 o 179 18.00/7.54 o 180 18.00/7.55 o 181 18.00/7.57 o 182 18.00/7.58 o 183 18.00/7.60 o 184 18.30/7.61 o 185 19.27/8.06 o 186 19.27/8.07 o 187 19.27/8.08 o 188 20.82/8.91 o 189 21.01/9.09 o 190 31.20/17.42 o 191 149.77/129.71 o 192 151.02/131.00 o 193 160.36/140.18 o 194 164.42/144.17 o 195 788.91/758.99 o 196 2520.04/2461.51 Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost 2520.04/2461.51 at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24) 2520.04/2461.51 at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53) 2520.04/2461.51 at concrete.BitVectorDomain.$anonfun$filter$1(BitVectorDomain.scala:126) 2520.04/2461.51 at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142) 2520.04/2461.51 at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5) 2520.04/2461.51 at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126) 2520.04/2461.51 at concrete.IntervalDomain.filter(IntervalDomain.scala:81) 2520.04/2461.51 at concrete.IntervalDomain.filter(IntervalDomain.scala:7) 2520.04/2461.51 at concrete.heuristic.value.BestCost.select(BestCost.scala:53) 2520.04/2461.51 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103) 2520.04/2461.51 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103) 2520.04/2461.51 at scala.Function2.$anonfun$tupled$1(Function2.scala:48) 2520.04/2461.51 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103) 2520.04/2461.51 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103) 2520.04/2461.51 at scala.Function2.$anonfun$tupled$1(Function2.scala:48) 2520.04/2461.51 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103) 2520.04/2461.51 at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:109) 2520.04/2461.51 at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42) 2520.04/2461.51 at scala.Option.map(Option.scala:146) 2520.04/2461.51 at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40) 2520.04/2461.51 at concrete.MAC.mac(MAC.scala:203) 2520.04/2461.51 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252) 2520.04/2461.51 at scala.util.Try$.apply(Try.scala:209) 2520.04/2461.51 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194) 2520.04/2461.51 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182) 2520.04/2461.51 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12) 2520.04/2461.51 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61) 2520.04/2461.51 at org.scalameter.Measurer$Default.measure(Measurer.scala:133) 2520.04/2461.51 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51) 2520.04/2461.51 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61) 2520.04/2461.51 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181) 2520.04/2461.51 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194) 2520.04/2461.51 at concrete.MAC.oneRun(MAC.scala:253) 2520.04/2461.51 at concrete.MAC.nextSolution(MAC.scala:272) 2520.04/2461.51 at concrete.MAC.nextSolution(MAC.scala:355) 2520.04/2461.51 at concrete.Solver.hasNext(Solver.scala:166) 2520.04/2461.51 at scala.collection.Iterator.foreach(Iterator.scala:944) 2520.04/2461.51 at scala.collection.Iterator.foreach$(Iterator.scala:944) 2520.04/2461.52 at concrete.Solver.foreach(Solver.scala:68) 2520.04/2461.52 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73) 2520.04/2461.52 at scala.util.Success.$anonfun$map$1(Try.scala:251) 2520.04/2461.52 at scala.util.Success.map(Try.scala:209) 2520.04/2461.52 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68) 2520.04/2461.52 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33) 2520.04/2461.52 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18) 2520.04/2461.52 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121) 2520.04/2461.52 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18) 2520.04/2461.52 at scala.Function0.apply$mcV$sp(Function0.scala:34) 2520.04/2461.52 at scala.Function0.apply$mcV$sp$(Function0.scala:34) 2520.04/2461.52 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12) 2520.04/2461.52 at scala.App.$anonfun$main$1$adapted(App.scala:76) 2520.04/2461.52 at scala.collection.immutable.List.foreach(List.scala:389) 2520.04/2461.52 at scala.App.main(App.scala:76) 2520.04/2461.52 at scala.App.main$(App.scala:74) 2520.04/2461.52 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18) 2520.04/2461.52 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2520.04/2461.52 v <instantiation cost="196"> 2520.04/2461.52 v <list> 2520.04/2461.52 v x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] z 2520.04/2461.52 v </list> 2520.04/2461.52 v <values> 2520.04/2461.52 v 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 1 0 1 1 0 0 0 1 1 0 1 0 0 1 0 0 1 1 0 1 0 1 0 1 1 0 0 1 0 0 1 0 1 1 0 0 0 1 1 0 1 0 1 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 1 1 0 1 1 0 1 0 1 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 1 0 0 0 0 1 0 1 1 0 0 0 1 0 1 0 1 0 1 0 0 1 0 0 1 1 0 1 1 0 0 0 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 1 1 0 1 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 0 0 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 0 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 1 1 1 0 0 1 1 0 0 0 0 0 1 1 0 1 0 0 1 0 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 1 1 1 0 0 1 1 1 1 0 0 0 1 1 1 1 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 1 0 1 1 1 1 1 1 0 1 1 0 0 0 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 1 0 1 1 0 0 1 0 0 0 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 1 0 0 1 1 1 0 0 1 0 0 0 0 1 1 1 1 2 0 0 0 0 1 0 1 1 0 2 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 2 0 0 0 0 0 1 0 0 0 0 2 0 0 0 1 0 0 1 1 2 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 2 1 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 2 2 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 2 2 1 1 0 0 2 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 2 1 1 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 1 1 2 2 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 2 2 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 2 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 2 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 2 1 1 1 1 2 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 1 1 2 2 1 1 0 0 0 0 0 2 0 0 0 0 0 0 0 1 1 0 2 1 0 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 0 0 1 1 0 11 24 26 35 40 48 57 66 75 84 91 99 108 112 122 127 131 134 138 147 157 171 182 196 2520.04/2461.52 v </values> 2520.04/2461.52 v </instantiation> 2520.04/2461.53 s SATISFIABLE
OK 196
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 (4733 MiB free)
memory of node 1: 16384 MiB (1375 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304147-1534041739/watcher-4304147-1534041739 -o /tmp/evaluation-result-4304147-1534041739/solver-4304147-1534041739 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534040371-15154 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1469482604 HOME/instance-4304147-1534041739.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=15428, runsolver pid=15425
[startup+0.100118 s]*
/proc/loadavg: 1.59 1.38 1.41 3/210 15485
/proc/meminfo: memFree=6250516/32770624 swapFree=67108860/67108860
[pid=15428] ppid=15425 vsize=10005480 memory=17220 CPUtime=0.1 cores=1,3,5,7
/proc/15428/stat : 15428 (java) S 15425 15428 13534 0 -1 1077944320 4481 13136 0 0 1 1 5 3 20 0 6 0 221737062 10245611520 4305 33554432000 4194304 4196468 140731482010640 140731481993184 140003823607543 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
/proc/15428/statm: 2501370 4305 1934 1 0 2489808 0
[pid=15428/tid=15481] ppid=15425 vsize=10005480 memory=5852835220496416925 CPUtime=0.08 cores=1,3,5,7
/proc/15428/task/15481/stat : 15481 (java) R 15425 15428 13534 0 -1 4202560 2285 13136 0 0 0 0 5 3 20 0 6 0 221737071 10245611520 4305 33554432000 4194304 4196468 140731482010640 140003795444304 140003816704379 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15482] ppid=15425 vsize=10005480 memory=5793855613876177337 CPUtime=0.08 cores=1,3,5,7
/proc/15428/task/15482/stat : 15482 (java) S 15425 15428 13534 0 -1 1077944384 1 13136 0 0 0 0 5 3 20 0 6 0 221737072 10245611520 4305 33554432000 4194304 4196468 140731482010640 140003827849872 140003823617749 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15483] ppid=15425 vsize=10005480 memory=140362866284160 CPUtime=0.08 cores=1,3,5,7
/proc/15428/task/15483/stat : 15483 (java) S 15425 15428 13534 0 -1 1077944384 1 13136 0 0 0 0 5 3 20 0 6 0 221737072 10245611520 4305 33554432000 4194304 4196468 140731482010640 140003721775632 140003823617749 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15484] ppid=15425 vsize=10005480 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15428/task/15484/stat : 15484 (java) S 15425 15428 13534 0 -1 1077944384 1 13136 0 0 0 0 5 3 20 0 6 0 221737072 10245611520 4305 33554432000 4194304 4196468 140731482010640 140003362056592 140003823617749 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15485] ppid=15425 vsize=10005480 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15428/task/15485/stat : 15485 (java) S 15425 15428 13534 0 -1 1077944384 2 13136 0 0 0 0 5 3 20 0 6 0 221737072 10245611520 4305 33554432000 4194304 4196468 140731482010640 140003361003792 140003823617749 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 17220 KiB
[startup+0.210063 s]*
/proc/loadavg: 1.59 1.38 1.41 3/219 15494
/proc/meminfo: memFree=6226596/32770624 swapFree=67108860/67108860
[pid=15428] ppid=15425 vsize=10985364 memory=46232 CPUtime=0.26 cores=1,3,5,7
/proc/15428/stat : 15428 (java) S 15425 15428 13534 0 -1 1077944320 8649 13136 0 0 16 2 5 3 20 0 15 0 221737062 11249012736 11558 33554432000 4194304 4196468 140731482010640 140731481993184 140003823607543 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
/proc/15428/statm: 2746341 11558 2952 1 0 2708764 0
[pid=15428/tid=15481] ppid=15425 vsize=10982744 memory=-8540663193526752614 CPUtime=0.19 cores=1,3,5,7
/proc/15428/task/15481/stat : 15481 (java) D 15425 15428 13534 0 -1 1077944384 5205 13136 0 0 10 1 5 3 20 0 15 0 221737071 11246329856 11310 33554432000 4194304 4196468 140731482010640 140003795432352 140003816286765 0 4 0 16800975 18446744072101641764 0 0 -1 5 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15482] ppid=15425 vsize=10982744 memory=4211974089071074698 CPUtime=0.08 cores=1,3,5,7
/proc/15428/task/15482/stat : 15482 (java) S 15425 15428 13534 0 -1 1077944384 1 13136 0 0 0 0 5 3 20 0 15 0 221737072 11246329856 11310 33554432000 4194304 4196468 140731482010640 140003827849872 140003823617749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15483] ppid=15425 vsize=10982744 memory=140362866284160 CPUtime=0.08 cores=1,3,5,7
/proc/15428/task/15483/stat : 15483 (java) S 15425 15428 13534 0 -1 1077944384 1 13136 0 0 0 0 5 3 20 0 15 0 221737072 11246329856 11310 33554432000 4194304 4196468 140731482010640 140003721775632 140003823617749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15484] ppid=15425 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15428/task/15484/stat : 15484 (java) S 15425 15428 13534 0 -1 1077944384 1 13136 0 0 0 0 5 3 20 0 15 0 221737072 11246329856 11310 33554432000 4194304 4196468 140731482010640 140003362056592 140003823617749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15485] ppid=15425 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15428/task/15485/stat : 15485 (java) S 15425 15428 13534 0 -1 1077944384 2 13136 0 0 0 0 5 3 20 0 15 0 221737072 11246329856 11310 33554432000 4194304 4196468 140731482010640 140003361003792 140003823617749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15486] ppid=15425 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15428/task/15486/stat : 15486 (java) S 15425 15428 13534 0 -1 1077944384 2 13136 0 0 0 0 5 3 20 0 15 0 221737073 11246329856 11310 33554432000 4194304 4196468 140731482010640 140003249216368 140003823618690 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15487] ppid=15425 vsize=10982776 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15428/task/15487/stat : 15487 (java) S 15425 15428 13534 0 -1 1077944384 13 13136 0 0 0 0 5 3 20 0 15 0 221737074 11246362624 11310 33554432000 4194304 4196468 140731482010640 140002592810528 140003823617749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15488] ppid=15425 vsize=10982776 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15428/task/15488/stat : 15488 (java) S 15425 15428 13534 0 -1 1077944384 1 13136 0 0 0 0 5 3 20 0 15 0 221737074 11246362624 11310 33554432000 4194304 4196468 140731482010640 140002444961136 140003823617749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15489] ppid=15425 vsize=10982776 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15428/task/15489/stat : 15489 (java) S 15425 15428 13534 0 -1 1077944384 3 13136 0 0 0 0 5 3 20 0 15 0 221737076 11246362624 11310 33554432000 4194304 4196468 140731482010640 140002137561424 140003823626139 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15490] ppid=15425 vsize=10982776 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/15428/task/15490/stat : 15490 (java) S 15425 15428 13534 0 -1 1077944384 356 13136 0 0 1 0 5 3 20 0 15 0 221737076 11246362624 11375 33554432000 4194304 4196468 140731482010640 140003248163184 140003823618690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15491] ppid=15425 vsize=10982776 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15428/task/15491/stat : 15491 (java) S 15425 15428 13534 0 -1 1077944384 259 13136 0 0 0 0 5 3 20 0 15 0 221737076 11246362624 11375 33554432000 4194304 4196468 140731482010640 140003247110384 140003823618690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15492] ppid=15425 vsize=10982776 memory=140362866284160 CPUtime=0.11 cores=1,3,5,7
/proc/15428/task/15492/stat : 15492 (java) S 15425 15428 13534 0 -1 1077944384 608 13136 0 0 3 0 5 3 20 0 15 0 221737076 11246362624 11375 33554432000 4194304 4196468 140731482010640 140003246057584 140003823618690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15493] ppid=15425 vsize=10982776 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15428/task/15493/stat : 15493 (java) S 15425 15428 13534 0 -1 1077944384 3 13136 0 0 0 0 5 3 20 0 15 0 221737077 11246362624 11441 33554432000 4194304 4196468 140731482010640 140001706764512 140003823617749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15494] ppid=15425 vsize=10982776 memory=140362866284160 CPUtime=0.08 cores=1,3,5,7
/proc/15428/task/15494/stat : 15494 (java) S 15425 15428 13534 0 -1 1077944384 1 13136 0 0 0 0 5 3 20 0 15 0 221737077 11246362624 11441 33554432000 4194304 4196468 140731482010640 140003245006000 140003823618690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10985364 KiB
Current children cumulated memory: 46232 KiB
[startup+0.31045 s]*
/proc/loadavg: 1.59 1.38 1.41 3/219 15494
/proc/meminfo: memFree=6213696/32770624 swapFree=67108860/67108860
[pid=15428] ppid=15425 vsize=10983192 memory=55700 CPUtime=0.39 cores=1,3,5,7
/proc/15428/stat : 15428 (java) S 15425 15428 13534 0 -1 1077944320 10509 13136 0 0 28 3 5 3 20 0 15 0 221737062 11246788608 13925 33554432000 4194304 4196468 140731482010640 140731481993184 140003823607543 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
/proc/15428/statm: 2745798 13925 3071 1 0 2708109 0
[pid=15428/tid=15481] ppid=15425 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/15428/task/15481/stat : 15481 (java) R 15425 15428 13534 0 -1 4202560 7060 13136 0 0 19 2 5 3 20 0 15 0 221737071 11246788608 13925 33554432000 4194304 4196468 140731482010640 140003795419552 140003816707460 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15482] ppid=15425 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15428/task/15482/stat : 15482 (java) S 15425 15428 13534 0 -1 1077944384 1 13136 0 0 0 0 5 3 20 0 15 0 221737072 11246788608 13925 33554432000 4194304 4196468 140731482010640 140003827849872 140003823617749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15483] ppid=15425 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15428/task/15483/stat : 15483 (java) S 15425 15428 13534 0 -1 1077944384 1 13136 0 0 0 0 5 3 20 0 15 0 221737072 11246788608 13925 33554432000 4194304 4196468 140731482010640 140003721775632 140003823617749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15484] ppid=15425 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15428/task/15484/stat : 15484 (java) S 15425 15428 13534 0 -1 1077944384 1 13136 0 0 0 0 5 3 20 0 15 0 221737072 11246788608 13925 33554432000 4194304 4196468 140731482010640 140003362056592 140003823617749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15485] ppid=15425 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15428/task/15485/stat : 15485 (java) S 15425 15428 13534 0 -1 1077944384 2 13136 0 0 0 0 5 3 20 0 15 0 221737072 11246788608 13925 33554432000 4194304 4196468 140731482010640 140003361003792 140003823617749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15486] ppid=15425 vsize=10983192 memory=140362866284159 CPUtime=0.08 cores=1,3,5,7
/proc/15428/task/15486/stat : 15486 (java) S 15425 15428 13534 0 -1 1077944384 2 13136 0 0 0 0 5 3 20 0 15 0 221737073 11246788608 13925 33554432000 4194304 4196468 140731482010640 140003249216368 140003823618690 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15487] ppid=15425 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15428/task/15487/stat : 15487 (java) S 15425 15428 13534 0 -1 1077944384 13 13136 0 0 0 0 5 3 20 0 15 0 221737074 11246788608 13925 33554432000 4194304 4196468 140731482010640 140002592810528 140003823617749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15488] ppid=15425 vsize=10983192 memory=140362866284160 CPUtime=0.08 cores=1,3,5,7
/proc/15428/task/15488/stat : 15488 (java) S 15425 15428 13534 0 -1 1077944384 1 13136 0 0 0 0 5 3 20 0 15 0 221737074 11246788608 13925 33554432000 4194304 4196468 140731482010640 140002444961136 140003823617749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15489] ppid=15425 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15428/task/15489/stat : 15489 (java) S 15425 15428 13534 0 -1 1077944384 3 13136 0 0 0 0 5 3 20 0 15 0 221737076 11246788608 13925 33554432000 4194304 4196468 140731482010640 140002137561424 140003823626139 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15490] ppid=15425 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/15428/task/15490/stat : 15490 (java) S 15425 15428 13534 0 -1 1077944384 357 13136 0 0 1 0 5 3 20 0 15 0 221737076 11246788608 13925 33554432000 4194304 4196468 140731482010640 140003248163184 140003823618690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15491] ppid=15425 vsize=10983192 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/15428/task/15491/stat : 15491 (java) S 15425 15428 13534 0 -1 1077944384 259 13136 0 0 1 0 5 3 20 0 15 0 221737076 11246788608 13925 33554432000 4194304 4196468 140731482010640 140003247110384 140003823618690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15492] ppid=15425 vsize=10983192 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/15428/task/15492/stat : 15492 (java) R 15425 15428 13534 0 -1 4202560 616 13136 0 0 5 0 5 3 20 0 15 0 221737076 11246788608 13925 33554432000 4194304 4196468 140731482010640 140003246057584 140003815844670 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15493] ppid=15425 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15428/task/15493/stat : 15493 (java) S 15425 15428 13534 0 -1 1077944384 3 13136 0 0 0 0 5 3 20 0 15 0 221737077 11246788608 13925 33554432000 4194304 4196468 140731482010640 140001706764512 140003823617749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15494] ppid=15425 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15428/task/15494/stat : 15494 (java) S 15425 15428 13534 0 -1 1077944384 1 13136 0 0 0 0 5 3 20 0 15 0 221737077 11246788608 13925 33554432000 4194304 4196468 140731482010640 140003245006000 140003823618690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55700 KiB
[startup+0.70076 s]
/proc/loadavg: 1.59 1.38 1.41 3/219 15494
/proc/meminfo: memFree=6203524/32770624 swapFree=67108860/67108860
[pid=15428] ppid=15425 vsize=10983192 memory=88876 CPUtime=1 cores=1,3,5,7
/proc/15428/stat : 15428 (java) S 15425 15428 13534 0 -1 1077944320 16774 13136 0 0 86 6 5 3 20 0 15 0 221737062 11246788608 22219 33554432000 4194304 4196468 140731482010640 140731481993184 140003823607543 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
/proc/15428/statm: 2745798 22219 3238 1 0 2708109 0
[pid=15428/tid=15481] ppid=15425 vsize=10983192 memory=60308 CPUtime=0.67 cores=1,3,5,7
/proc/15428/task/15481/stat : 15481 (java) R 15425 15428 13534 0 -1 4202560 12250 13136 0 0 55 4 5 3 20 0 15 0 221737071 11246788608 22219 33554432000 4194304 4196468 140731482010640 140003795428368 140003805172516 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15482] ppid=15425 vsize=10983192 memory=4580 CPUtime=0.08 cores=1,3,5,7
/proc/15428/task/15482/stat : 15482 (java) S 15425 15428 13534 0 -1 1077944384 1 13136 0 0 0 0 5 3 20 0 15 0 221737072 11246788608 22219 33554432000 4194304 4196468 140731482010640 140003827849872 140003823617749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15483] ppid=15425 vsize=10983192 memory=140362752762355 CPUtime=0.08 cores=1,3,5,7
/proc/15428/task/15483/stat : 15483 (java) S 15425 15428 13534 0 -1 1077944384 1 13136 0 0 0 0 5 3 20 0 15 0 221737072 11246788608 22219 33554432000 4194304 4196468 140731482010640 140003721775632 140003823617749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15484] ppid=15425 vsize=10983192 memory=140363826201483 CPUtime=0.08 cores=1,3,5,7
/proc/15428/task/15484/stat : 15484 (java) S 15425 15428 13534 0 -1 1077944384 1 13136 0 0 0 0 5 3 20 0 15 0 221737072 11246788608 22219 33554432000 4194304 4196468 140731482010640 140003362056592 140003823617749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15485] ppid=15425 vsize=10983192 memory=1788 CPUtime=0.08 cores=1,3,5,7
/proc/15428/task/15485/stat : 15485 (java) S 15425 15428 13534 0 -1 1077944384 2 13136 0 0 0 0 5 3 20 0 15 0 221737072 11246788608 22219 33554432000 4194304 4196468 140731482010640 140003361003792 140003823617749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15486] ppid=15425 vsize=10983192 memory=6296143700806424935 CPUtime=0.08 cores=1,3,5,7
/proc/15428/task/15486/stat : 15486 (java) S 15425 15428 13534 0 -1 1077944384 5 13136 0 0 0 0 5 3 20 0 15 0 221737073 11246788608 22219 33554432000 4194304 4196468 140731482010640 140003249216368 140003823618690 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15487] ppid=15425 vsize=10983192 memory=8099279071866868837 CPUtime=0.08 cores=1,3,5,7
/proc/15428/task/15487/stat : 15487 (java) S 15425 15428 13534 0 -1 1077944384 13 13136 0 0 0 0 5 3 20 0 15 0 221737074 11246788608 22219 33554432000 4194304 4196468 140731482010640 140002592810528 140003823617749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15488] ppid=15425 vsize=10983192 memory=6004820471124940137 CPUtime=0.08 cores=1,3,5,7
/proc/15428/task/15488/stat : 15488 (java) S 15425 15428 13534 0 -1 1077944384 1 13136 0 0 0 0 5 3 20 0 15 0 221737074 11246788608 22219 33554432000 4194304 4196468 140731482010640 140002444961136 140003823617749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15489] ppid=15425 vsize=10983192 memory=3054156605368933524 CPUtime=0.08 cores=1,3,5,7
/proc/15428/task/15489/stat : 15489 (java) S 15425 15428 13534 0 -1 1077944384 3 13136 0 0 0 0 5 3 20 0 15 0 221737076 11246788608 22219 33554432000 4194304 4196468 140731482010640 140002137561424 140003823626139 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15490] ppid=15425 vsize=10983192 memory=8326441112149131689 CPUtime=0.15 cores=1,3,5,7
/proc/15428/task/15490/stat : 15490 (java) S 15425 15428 13534 0 -1 1077944384 743 13136 0 0 7 0 5 3 20 0 15 0 221737076 11246788608 22219 33554432000 4194304 4196468 140731482010640 140003248163184 140003823618690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15491] ppid=15425 vsize=10983192 memory=-7025452035940392864 CPUtime=0.16 cores=1,3,5,7
/proc/15428/task/15491/stat : 15491 (java) S 15425 15428 13534 0 -1 1077944384 864 13136 0 0 8 0 5 3 20 0 15 0 221737076 11246788608 22219 33554432000 4194304 4196468 140731482010640 140003247110384 140003823618690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15492] ppid=15425 vsize=10983192 memory=6944656592452807326 CPUtime=0.21 cores=1,3,5,7
/proc/15428/task/15492/stat : 15492 (java) S 15425 15428 13534 0 -1 1077944384 693 13136 0 0 13 0 5 3 20 0 15 0 221737076 11246788608 22219 33554432000 4194304 4196468 140731482010640 140003246057584 140003823618690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15493] ppid=15425 vsize=10983192 memory=-9178176116494409632 CPUtime=0.08 cores=1,3,5,7
/proc/15428/task/15493/stat : 15493 (java) S 15425 15428 13534 0 -1 1077944384 3 13136 0 0 0 0 5 3 20 0 15 0 221737077 11246788608 22219 33554432000 4194304 4196468 140731482010640 140001706764512 140003823617749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15494] ppid=15425 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15428/task/15494/stat : 15494 (java) S 15425 15428 13534 0 -1 1077944384 1 13136 0 0 0 0 5 3 20 0 15 0 221737077 11246788608 22219 33554432000 4194304 4196468 140731482010640 140003245006000 140003823618690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88876 KiB
[startup+1.50145 s]
/proc/loadavg: 1.59 1.38 1.41 3/219 15494
/proc/meminfo: memFree=6157688/32770624 swapFree=67108860/67108860
[pid=15428] ppid=15425 vsize=10998092 memory=189780 CPUtime=2.92 cores=1,3,5,7
/proc/15428/stat : 15428 (java) S 15425 15428 13534 0 -1 1077944320 26727 13136 0 0 273 11 5 3 20 0 15 0 221737062 11262046208 47445 33554432000 4194304 4196468 140731482010640 140731481993184 140003823607543 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
/proc/15428/statm: 2749523 47445 3468 1 0 2711181 0
[pid=15428/tid=15481] ppid=15425 vsize=10998092 memory=0 CPUtime=1.42 cores=1,3,5,7
/proc/15428/task/15481/stat : 15481 (java) R 15425 15428 13534 0 -1 4202560 17187 13136 0 0 128 6 5 3 20 0 15 0 221737071 11262046208 47445 33554432000 4194304 4196468 140731482010640 140003795417328 140003807688030 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15482] ppid=15425 vsize=10998092 memory=102744 CPUtime=0.09 cores=1,3,5,7
/proc/15428/task/15482/stat : 15482 (java) S 15425 15428 13534 0 -1 1077944384 173 13136 0 0 1 0 5 3 20 0 15 0 221737072 11262046208 47445 33554432000 4194304 4196468 140731482010640 140003827849872 140003823617749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15483] ppid=15425 vsize=10998092 memory=5790086053191909267 CPUtime=0.09 cores=1,3,5,7
/proc/15428/task/15483/stat : 15483 (java) S 15425 15428 13534 0 -1 1077944384 14 13136 0 0 1 0 5 3 20 0 15 0 221737072 11262046208 47445 33554432000 4194304 4196468 140731482010640 140003721775632 140003823617749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15484] ppid=15425 vsize=10998092 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/15428/task/15484/stat : 15484 (java) S 15425 15428 13534 0 -1 1077944384 44 13136 0 0 1 0 5 3 20 0 15 0 221737072 11262046208 47445 33554432000 4194304 4196468 140731482010640 140003362056592 140003823617749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15485] ppid=15425 vsize=10998092 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/15428/task/15485/stat : 15485 (java) S 15425 15428 13534 0 -1 1077944384 34 13136 0 0 1 0 5 3 20 0 15 0 221737072 11262046208 47445 33554432000 4194304 4196468 140731482010640 140003361003792 140003823617749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15486] ppid=15425 vsize=10998092 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/15428/task/15486/stat : 15486 (java) S 15425 15428 13534 0 -1 1077944384 47 13136 0 0 1 0 5 3 20 0 15 0 221737073 11262046208 47445 33554432000 4194304 4196468 140731482010640 140003249216368 140003823618690 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15487] ppid=15425 vsize=10998092 memory=-6221781267475802396 CPUtime=0.08 cores=1,3,5,7
/proc/15428/task/15487/stat : 15487 (java) S 15425 15428 13534 0 -1 1077944384 13 13136 0 0 0 0 5 3 20 0 15 0 221737074 11262046208 47445 33554432000 4194304 4196468 140731482010640 140002592810528 140003823617749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15488] ppid=15425 vsize=10998092 memory=4132 CPUtime=0.08 cores=1,3,5,7
/proc/15428/task/15488/stat : 15488 (java) S 15425 15428 13534 0 -1 1077944384 2 13136 0 0 0 0 5 3 20 0 15 0 221737074 11262046208 47445 33554432000 4194304 4196468 140731482010640 140002444961136 140003823617749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15489] ppid=15425 vsize=10998092 memory=2192 CPUtime=0.08 cores=1,3,5,7
/proc/15428/task/15489/stat : 15489 (java) S 15425 15428 13534 0 -1 1077944384 3 13136 0 0 0 0 5 3 20 0 15 0 221737076 11262046208 47445 33554432000 4194304 4196468 140731482010640 140002137561424 140003823626139 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15490] ppid=15425 vsize=10998092 memory=0 CPUtime=0.54 cores=1,3,5,7
/proc/15428/task/15490/stat : 15490 (java) R 15425 15428 13534 0 -1 4202560 2525 13136 0 0 45 1 5 3 20 0 15 0 221737076 11262046208 47445 33554432000 4194304 4196468 140731482010640 140003248144384 140003815896862 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15491] ppid=15425 vsize=10998092 memory=206874616066717 CPUtime=0.56 cores=1,3,5,7
/proc/15428/task/15491/stat : 15491 (java) R 15425 15428 13534 0 -1 4202560 2767 13136 0 0 47 1 5 3 20 0 15 0 221737076 11262046208 47445 33554432000 4194304 4196468 140731482010640 140003247090352 140003808732248 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15492] ppid=15425 vsize=10998092 memory=1086964 CPUtime=0.51 cores=1,3,5,7
/proc/15428/task/15492/stat : 15492 (java) R 15425 15428 13534 0 -1 4202560 1723 13136 0 0 43 0 5 3 20 0 15 0 221737076 11262046208 47445 33554432000 4194304 4196468 140731482010640 140003246057584 140003823628890 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15493] ppid=15425 vsize=10998092 memory=4638778419807998288 CPUtime=0.08 cores=1,3,5,7
/proc/15428/task/15493/stat : 15493 (java) S 15425 15428 13534 0 -1 1077944384 3 13136 0 0 0 0 5 3 20 0 15 0 221737077 11262046208 47445 33554432000 4194304 4196468 140731482010640 140001706764512 140003823617749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15494] ppid=15425 vsize=10998092 memory=4639059873309409377 CPUtime=0.08 cores=1,3,5,7
/proc/15428/task/15494/stat : 15494 (java) S 15425 15428 13534 0 -1 1077944384 1 13136 0 0 0 0 5 3 20 0 15 0 221737077 11262046208 47445 33554432000 4194304 4196468 140731482010640 140003245006000 140003823618690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
Current children cumulated CPU time: 2.92 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
/proc/15428/task/15481/stat : 15481 (java) R 15425 15428 13534 0 -1 4202560 93277 13136 0 0 235679 54 5 3 20 0 15 0 221737071 11348049920 243388 33554432000 4194304 4196468 140731482010640 140003795441616 140003414721293 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15482] ppid=15425 vsize=11082080 memory=973552 CPUtime=12.75 cores=1,3,5,7
/proc/15428/task/15482/stat : 15482 (java) S 15425 15428 13534 0 -1 1077944384 14285 13136 0 0 1214 53 5 3 20 0 15 0 221737072 11348049920 243388 33554432000 4194304 4196468 140731482010640 140003827849872 140003823617749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15483] ppid=15425 vsize=11082080 memory=973552 CPUtime=12.72 cores=1,3,5,7
/proc/15428/task/15483/stat : 15483 (java) S 15425 15428 13534 0 -1 1077944384 16901 13136 0 0 1207 57 5 3 20 0 15 0 221737072 11348049920 243388 33554432000 4194304 4196468 140731482010640 140003721775632 140003823617749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15484] ppid=15425 vsize=11082080 memory=1252 CPUtime=12.74 cores=1,3,5,7
/proc/15428/task/15484/stat : 15484 (java) S 15425 15428 13534 0 -1 1077944384 17524 13136 0 0 1210 56 5 3 20 0 15 0 221737072 11348049920 243388 33554432000 4194304 4196468 140731482010640 140003362056592 140003823617749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15485] ppid=15425 vsize=11082080 memory=3560 CPUtime=12.75 cores=1,3,5,7
/proc/15428/task/15485/stat : 15485 (java) S 15425 15428 13534 0 -1 1077944384 20984 13136 0 0 1209 58 5 3 20 0 15 0 221737072 11348049920 243388 33554432000 4194304 4196468 140731482010640 140003361003792 140003823617749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15486] ppid=15425 vsize=11082080 memory=1828 CPUtime=10.24 cores=1,3,5,7
/proc/15428/task/15486/stat : 15486 (java) S 15425 15428 13534 0 -1 1077944384 20865 13136 0 0 958 58 5 3 20 0 15 0 221737073 11348049920 243388 33554432000 4194304 4196468 140731482010640 140003249216368 140003823618690 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15487] ppid=15425 vsize=11082080 memory=792 CPUtime=0.08 cores=1,3,5,7
/proc/15428/task/15487/stat : 15487 (java) S 15425 15428 13534 0 -1 1077944384 16 13136 0 0 0 0 5 3 20 0 15 0 221737074 11348049920 243388 33554432000 4194304 4196468 140731482010640 140002592810592 140003823617749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15488] ppid=15425 vsize=11082080 memory=973552 CPUtime=0.08 cores=1,3,5,7
/proc/15428/task/15488/stat : 15488 (java) S 15425 15428 13534 0 -1 1077944384 2 13136 0 0 0 0 5 3 20 0 15 0 221737074 11348049920 243388 33554432000 4194304 4196468 140731482010640 140002444961312 140003823617749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15489] ppid=15425 vsize=11082080 memory=973552 CPUtime=0.08 cores=1,3,5,7
/proc/15428/task/15489/stat : 15489 (java) S 15425 15428 13534 0 -1 1077944384 3 13136 0 0 0 0 5 3 20 0 15 0 221737076 11348049920 243388 33554432000 4194304 4196468 140731482010640 140002137561424 140003823626139 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15490] ppid=15425 vsize=11082080 memory=973552 CPUtime=8.21 cores=1,3,5,7
/proc/15428/task/15490/stat : 15490 (java) S 15425 15428 13534 0 -1 1077944384 36973 13136 0 0 806 7 5 3 20 0 15 0 221737076 11348049920 243388 33554432000 4194304 4196468 140731482010640 140003248163184 140003823618690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15491] ppid=15425 vsize=11082080 memory=1828 CPUtime=7.75 cores=1,3,5,7
/proc/15428/task/15491/stat : 15491 (java) S 15425 15428 13534 0 -1 1077944384 32851 13136 0 0 761 6 5 3 20 0 15 0 221737076 11348049920 243388 33554432000 4194304 4196468 140731482010640 140003247110384 140003823618690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15492] ppid=15425 vsize=11082080 memory=973552 CPUtime=3.95 cores=1,3,5,7
/proc/15428/task/15492/stat : 15492 (java) S 15425 15428 13534 0 -1 1077944384 41010 13136 0 0 381 6 5 3 20 0 15 0 221737076 11348049920 243388 33554432000 4194304 4196468 140731482010640 140003246057584 140003823618690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15493] ppid=15425 vsize=11082080 memory=973552 CPUtime=0.08 cores=1,3,5,7
/proc/15428/task/15493/stat : 15493 (java) S 15425 15428 13534 0 -1 1077944384 3 13136 0 0 0 0 5 3 20 0 15 0 221737077 11348049920 243388 33554432000 4194304 4196468 140731482010640 140001706764512 140003823617749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15494] ppid=15425 vsize=11082080 memory=1232 CPUtime=1.38 cores=1,3,5,7
/proc/15428/task/15494/stat : 15494 (java) S 15425 15428 13534 0 -1 1077944384 1584 13136 0 0 58 72 5 3 20 0 15 0 221737077 11348049920 243388 33554432000 4194304 4196468 140731482010640 140003245006000 140003823618690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
Current children cumulated CPU time: 2439.3 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 973552 KiB
[startup+2442.3 s]
/proc/loadavg: 1.27 1.34 1.40 3/220 15727
/proc/meminfo: memFree=5321608/32770624 swapFree=67108860/67108860
[pid=15428] ppid=15425 vsize=11082080 memory=977724 CPUtime=2500.51 cores=1,3,5,7
/proc/15428/stat : 15428 (java) S 15425 15428 13534 0 -1 1077944320 300274 13136 0 0 249665 378 5 3 20 0 15 0 221737062 11348049920 244431 33554432000 4194304 4196468 140731482010640 140731481993184 140003823607543 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
/proc/15428/statm: 2770520 244431 3530 1 0 2732173 0
[pid=15428/tid=15481] ppid=15425 vsize=11082080 memory=975676 CPUtime=2416.78 cores=1,3,5,7
/proc/15428/task/15481/stat : 15481 (java) R 15425 15428 13534 0 -1 4202560 93766 13136 0 0 241615 55 5 3 20 0 15 0 221737071 11348049920 244431 33554432000 4194304 4196468 140731482010640 140003795443312 140003414725426 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15482] ppid=15425 vsize=11082080 memory=975676 CPUtime=13.09 cores=1,3,5,7
/proc/15428/task/15482/stat : 15482 (java) S 15425 15428 13534 0 -1 1077944384 14313 13136 0 0 1247 54 5 3 20 0 15 0 221737072 11348049920 244431 33554432000 4194304 4196468 140731482010640 140003827849872 140003823617749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15483] ppid=15425 vsize=11082080 memory=977724 CPUtime=13.05 cores=1,3,5,7
/proc/15428/task/15483/stat : 15483 (java) S 15425 15428 13534 0 -1 1077944384 16929 13136 0 0 1239 58 5 3 20 0 15 0 221737072 11348049920 244431 33554432000 4194304 4196468 140731482010640 140003721775632 140003823617749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15484] ppid=15425 vsize=11082080 memory=3560 CPUtime=13.07 cores=1,3,5,7
/proc/15428/task/15484/stat : 15484 (java) S 15425 15428 13534 0 -1 1077944384 17537 13136 0 0 1242 57 5 3 20 0 15 0 221737072 11348049920 244431 33554432000 4194304 4196468 140731482010640 140003362056592 140003823617749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15485] ppid=15425 vsize=11082080 memory=975676 CPUtime=13.07 cores=1,3,5,7
/proc/15428/task/15485/stat : 15485 (java) S 15425 15428 13534 0 -1 1077944384 20995 13136 0 0 1240 59 5 3 20 0 15 0 221737072 11348049920 244431 33554432000 4194304 4196468 140731482010640 140003361003792 140003823617749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15486] ppid=15425 vsize=11082080 memory=975676 CPUtime=10.52 cores=1,3,5,7
/proc/15428/task/15486/stat : 15486 (java) S 15425 15428 13534 0 -1 1077944384 20895 13136 0 0 985 59 5 3 20 0 15 0 221737073 11348049920 244431 33554432000 4194304 4196468 140731482010640 140003249216368 140003823618690 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15487] ppid=15425 vsize=11082080 memory=975676 CPUtime=0.08 cores=1,3,5,7
/proc/15428/task/15487/stat : 15487 (java) S 15425 15428 13534 0 -1 1077944384 16 13136 0 0 0 0 5 3 20 0 15 0 221737074 11348049920 244431 33554432000 4194304 4196468 140731482010640 140002592810592 140003823617749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15488] ppid=15425 vsize=11082080 memory=3560 CPUtime=0.08 cores=1,3,5,7
/proc/15428/task/15488/stat : 15488 (java) S 15425 15428 13534 0 -1 1077944384 2 13136 0 0 0 0 5 3 20 0 15 0 221737074 11348049920 244431 33554432000 4194304 4196468 140731482010640 140002444961312 140003823617749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15489] ppid=15425 vsize=11082080 memory=975676 CPUtime=0.08 cores=1,3,5,7
/proc/15428/task/15489/stat : 15489 (java) S 15425 15428 13534 0 -1 1077944384 3 13136 0 0 0 0 5 3 20 0 15 0 221737076 11348049920 244431 33554432000 4194304 4196468 140731482010640 140002137561424 140003823626139 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15490] ppid=15425 vsize=11082080 memory=975676 CPUtime=8.28 cores=1,3,5,7
/proc/15428/task/15490/stat : 15490 (java) S 15425 15428 13534 0 -1 1077944384 37323 13136 0 0 813 7 5 3 20 0 15 0 221737076 11348049920 244431 33554432000 4194304 4196468 140731482010640 140003248163184 140003823618690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15491] ppid=15425 vsize=11082080 memory=975676 CPUtime=7.89 cores=1,3,5,7
/proc/15428/task/15491/stat : 15491 (java) S 15425 15428 13534 0 -1 1077944384 33624 13136 0 0 775 6 5 3 20 0 15 0 221737076 11348049920 244431 33554432000 4194304 4196468 140731482010640 140003247110384 140003823618690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15492] ppid=15425 vsize=11082080 memory=3560 CPUtime=3.95 cores=1,3,5,7
/proc/15428/task/15492/stat : 15492 (java) S 15425 15428 13534 0 -1 1077944384 41082 13136 0 0 381 6 5 3 20 0 15 0 221737076 11348049920 244431 33554432000 4194304 4196468 140731482010640 140003246057584 140003823618690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15493] ppid=15425 vsize=11082080 memory=975676 CPUtime=0.08 cores=1,3,5,7
/proc/15428/task/15493/stat : 15493 (java) S 15425 15428 13534 0 -1 1077944384 3 13136 0 0 0 0 5 3 20 0 15 0 221737077 11348049920 244431 33554432000 4194304 4196468 140731482010640 140001706764512 140003823617749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15494] ppid=15425 vsize=11082080 memory=975676 CPUtime=1.42 cores=1,3,5,7
/proc/15428/task/15494/stat : 15494 (java) S 15425 15428 13534 0 -1 1077944384 1593 13136 0 0 60 74 5 3 20 0 15 0 221737077 11348049920 244431 33554432000 4194304 4196468 140731482010640 140003245006000 140003823618690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
Current children cumulated CPU time: 2500.51 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 977724 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2461.5 s]
/proc/loadavg: 1.27 1.33 1.39 3/220 15727
/proc/meminfo: memFree=5321612/32770624 swapFree=67108860/67108860
[pid=15428] ppid=15425 vsize=11082080 memory=977724 CPUtime=2520.04 cores=1,3,5,7
/proc/15428/stat : 15428 (java) S 15425 15428 13534 0 -1 1077944320 300964 13136 0 0 251615 381 5 3 20 0 15 0 221737062 11348049920 244431 33554432000 4194304 4196468 140731482010640 140731481993184 140003823607543 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
/proc/15428/statm: 2770520 244431 3530 1 0 2732173 0
[pid=15428/tid=15481] ppid=15425 vsize=11082080 memory=977724 CPUtime=2435.76 cores=1,3,5,7
/proc/15428/task/15481/stat : 15481 (java) S 15425 15428 13534 0 -1 1077944384 94067 13136 0 0 243513 55 5 3 20 0 15 0 221737071 11348049920 244431 33554432000 4194304 4196468 140731482010640 140003795441680 140003823617749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15482] ppid=15425 vsize=11082080 memory=973552 CPUtime=13.19 cores=1,3,5,7
/proc/15428/task/15482/stat : 15482 (java) S 15425 15428 13534 0 -1 1077944384 14318 13136 0 0 1257 54 5 3 20 0 15 0 221737072 11348049920 244431 33554432000 4194304 4196468 140731482010640 140003827849872 140003823617749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15483] ppid=15425 vsize=11082080 memory=977724 CPUtime=13.16 cores=1,3,5,7
/proc/15428/task/15483/stat : 15483 (java) S 15425 15428 13534 0 -1 1077944384 16942 13136 0 0 1250 58 5 3 20 0 15 0 221737072 11348049920 244431 33554432000 4194304 4196468 140731482010640 140003721775632 140003823617749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15484] ppid=15425 vsize=11082080 memory=977724 CPUtime=13.19 cores=1,3,5,7
/proc/15428/task/15484/stat : 15484 (java) S 15425 15428 13534 0 -1 1077944384 17657 13136 0 0 1253 58 5 3 20 0 15 0 221737072 11348049920 244431 33554432000 4194304 4196468 140731482010640 140003362056592 140003823617749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15485] ppid=15425 vsize=11082080 memory=977724 CPUtime=13.19 cores=1,3,5,7
/proc/15428/task/15485/stat : 15485 (java) S 15425 15428 13534 0 -1 1077944384 21042 13136 0 0 1251 60 5 3 20 0 15 0 221737072 11348049920 244431 33554432000 4194304 4196468 140731482010640 140003361003792 140003823617749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15486] ppid=15425 vsize=11082080 memory=1195 CPUtime=10.61 cores=1,3,5,7
/proc/15428/task/15486/stat : 15486 (java) S 15425 15428 13534 0 -1 1077944384 21077 13136 0 0 994 59 5 3 20 0 15 0 221737073 11348049920 244431 33554432000 4194304 4196468 140731482010640 140003249214880 140003823617749 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15487] ppid=15425 vsize=11082080 memory=977724 CPUtime=0.08 cores=1,3,5,7
/proc/15428/task/15487/stat : 15487 (java) S 15425 15428 13534 0 -1 1077944384 16 13136 0 0 0 0 5 3 20 0 15 0 221737074 11348049920 244431 33554432000 4194304 4196468 140731482010640 140002592810592 140003823617749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15488] ppid=15425 vsize=11082080 memory=1712 CPUtime=0.08 cores=1,3,5,7
/proc/15428/task/15488/stat : 15488 (java) S 15425 15428 13534 0 -1 1077944384 2 13136 0 0 0 0 5 3 20 0 15 0 221737074 11348049920 244431 33554432000 4194304 4196468 140731482010640 140002444961312 140003823617749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15489] ppid=15425 vsize=11082080 memory=8808 CPUtime=0.08 cores=1,3,5,7
/proc/15428/task/15489/stat : 15489 (java) S 15425 15428 13534 0 -1 1077944384 3 13136 0 0 0 0 5 3 20 0 15 0 221737076 11348049920 244431 33554432000 4194304 4196468 140731482010640 140002137561424 140003823626139 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15490] ppid=15425 vsize=11082080 memory=977724 CPUtime=8.28 cores=1,3,5,7
/proc/15428/task/15490/stat : 15490 (java) S 15425 15428 13534 0 -1 1077944384 37325 13136 0 0 813 7 5 3 20 0 15 0 221737076 11348049920 244431 33554432000 4194304 4196468 140731482010640 140003248163184 140003823618690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15491] ppid=15425 vsize=11082080 memory=1232 CPUtime=7.89 cores=1,3,5,7
/proc/15428/task/15491/stat : 15491 (java) S 15425 15428 13534 0 -1 1077944384 33626 13136 0 0 775 6 5 3 20 0 15 0 221737076 11348049920 244431 33554432000 4194304 4196468 140731482010640 140003247110384 140003823618690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15492] ppid=15425 vsize=11082080 memory=977724 CPUtime=3.95 cores=1,3,5,7
/proc/15428/task/15492/stat : 15492 (java) S 15425 15428 13534 0 -1 1077944384 41084 13136 0 0 381 6 5 3 20 0 15 0 221737076 11348049920 244431 33554432000 4194304 4196468 140731482010640 140003246057584 140003823618690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15493] ppid=15425 vsize=11082080 memory=1408 CPUtime=0.08 cores=1,3,5,7
/proc/15428/task/15493/stat : 15493 (java) S 15425 15428 13534 0 -1 1077944384 3 13136 0 0 0 0 5 3 20 0 15 0 221737077 11348049920 244431 33554432000 4194304 4196468 140731482010640 140001706764512 140003823617749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15494] ppid=15425 vsize=11082080 memory=977724 CPUtime=1.43 cores=1,3,5,7
/proc/15428/task/15494/stat : 15494 (java) S 15425 15428 13534 0 -1 1077944384 1609 13136 0 0 60 75 5 3 20 0 15 0 221737077 11348049920 244431 33554432000 4194304 4196468 140731482010640 140003245006000 140003823618690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 977724 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2461.54 s]
# the end of solver process 15428 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.23 s, system=3.85711 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2461.5 s]
/proc/loadavg: 1.27 1.33 1.39 3/220 15727
/proc/meminfo: memFree=5321612/32770624 swapFree=67108860/67108860
[pid=15428] ppid=15425 vsize=11082080 memory=977724 CPUtime=2520.04 cores=1,3,5,7
/proc/15428/stat : 15428 (java) S 15425 15428 13534 0 -1 1077944320 300964 13136 0 0 251615 381 5 3 20 0 15 0 221737062 11348049920 244431 33554432000 4194304 4196468 140731482010640 140731481993184 140003823607543 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
/proc/15428/statm: 2770520 244431 3530 1 0 2732173 0
[pid=15428/tid=15481] ppid=15425 vsize=11082080 memory=977724 CPUtime=2435.76 cores=1,3,5,7
/proc/15428/task/15481/stat : 15481 (java) S 15425 15428 13534 0 -1 1077944384 94067 13136 0 0 243513 55 5 3 20 0 15 0 221737071 11348049920 244431 33554432000 4194304 4196468 140731482010640 140003795441680 140003823617749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15482] ppid=15425 vsize=11082080 memory=973552 CPUtime=13.19 cores=1,3,5,7
/proc/15428/task/15482/stat : 15482 (java) S 15425 15428 13534 0 -1 1077944384 14318 13136 0 0 1257 54 5 3 20 0 15 0 221737072 11348049920 244431 33554432000 4194304 4196468 140731482010640 140003827849872 140003823617749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15483] ppid=15425 vsize=11082080 memory=977724 CPUtime=13.16 cores=1,3,5,7
/proc/15428/task/15483/stat : 15483 (java) S 15425 15428 13534 0 -1 1077944384 16942 13136 0 0 1250 58 5 3 20 0 15 0 221737072 11348049920 244431 33554432000 4194304 4196468 140731482010640 140003721775632 140003823617749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15484] ppid=15425 vsize=11082080 memory=977724 CPUtime=13.19 cores=1,3,5,7
/proc/15428/task/15484/stat : 15484 (java) S 15425 15428 13534 0 -1 1077944384 17657 13136 0 0 1253 58 5 3 20 0 15 0 221737072 11348049920 244431 33554432000 4194304 4196468 140731482010640 140003362056592 140003823617749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15485] ppid=15425 vsize=11082080 memory=977724 CPUtime=13.19 cores=1,3,5,7
/proc/15428/task/15485/stat : 15485 (java) S 15425 15428 13534 0 -1 1077944384 21042 13136 0 0 1251 60 5 3 20 0 15 0 221737072 11348049920 244431 33554432000 4194304 4196468 140731482010640 140003361003792 140003823617749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15486] ppid=15425 vsize=11082080 memory=1195 CPUtime=10.61 cores=1,3,5,7
/proc/15428/task/15486/stat : 15486 (java) S 15425 15428 13534 0 -1 1077944384 21077 13136 0 0 994 59 5 3 20 0 15 0 221737073 11348049920 244431 33554432000 4194304 4196468 140731482010640 140003249214880 140003823617749 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15487] ppid=15425 vsize=11082080 memory=977724 CPUtime=0.08 cores=1,3,5,7
/proc/15428/task/15487/stat : 15487 (java) S 15425 15428 13534 0 -1 1077944384 16 13136 0 0 0 0 5 3 20 0 15 0 221737074 11348049920 244431 33554432000 4194304 4196468 140731482010640 140002592810592 140003823617749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15488] ppid=15425 vsize=11082080 memory=1712 CPUtime=0.08 cores=1,3,5,7
/proc/15428/task/15488/stat : 15488 (java) S 15425 15428 13534 0 -1 1077944384 2 13136 0 0 0 0 5 3 20 0 15 0 221737074 11348049920 244431 33554432000 4194304 4196468 140731482010640 140002444961312 140003823617749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15489] ppid=15425 vsize=11082080 memory=8808 CPUtime=0.08 cores=1,3,5,7
/proc/15428/task/15489/stat : 15489 (java) S 15425 15428 13534 0 -1 1077944384 3 13136 0 0 0 0 5 3 20 0 15 0 221737076 11348049920 244431 33554432000 4194304 4196468 140731482010640 140002137561424 140003823626139 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15490] ppid=15425 vsize=11082080 memory=977724 CPUtime=8.28 cores=1,3,5,7
/proc/15428/task/15490/stat : 15490 (java) S 15425 15428 13534 0 -1 1077944384 37325 13136 0 0 813 7 5 3 20 0 15 0 221737076 11348049920 244431 33554432000 4194304 4196468 140731482010640 140003248163184 140003823618690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15491] ppid=15425 vsize=11082080 memory=1232 CPUtime=7.89 cores=1,3,5,7
/proc/15428/task/15491/stat : 15491 (java) S 15425 15428 13534 0 -1 1077944384 33626 13136 0 0 775 6 5 3 20 0 15 0 221737076 11348049920 244431 33554432000 4194304 4196468 140731482010640 140003247110384 140003823618690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15492] ppid=15425 vsize=11082080 memory=977724 CPUtime=3.95 cores=1,3,5,7
/proc/15428/task/15492/stat : 15492 (java) S 15425 15428 13534 0 -1 1077944384 41084 13136 0 0 381 6 5 3 20 0 15 0 221737076 11348049920 244431 33554432000 4194304 4196468 140731482010640 140003246057584 140003823618690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15493] ppid=15425 vsize=11082080 memory=1408 CPUtime=0.08 cores=1,3,5,7
/proc/15428/task/15493/stat : 15493 (java) S 15425 15428 13534 0 -1 1077944384 3 13136 0 0 0 0 5 3 20 0 15 0 221737077 11348049920 244431 33554432000 4194304 4196468 140731482010640 140001706764512 140003823617749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
[pid=15428/tid=15494] ppid=15425 vsize=11082080 memory=977724 CPUtime=1.43 cores=1,3,5,7
/proc/15428/task/15494/stat : 15494 (java) S 15425 15428 13534 0 -1 1077944384 1609 13136 0 0 60 75 5 3 20 0 15 0 221737077 11348049920 244431 33554432000 4194304 4196468 140731482010640 140003245006000 140003823618690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39383040 140731482012268 140731482015068 140731482015068 140731482017743 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 977724 KiB
Child status: 143
Real time (s): 2461.54
CPU time (s): 2520.09
CPU user time (s): 2516.23
CPU system time (s): 3.85711
CPU usage (%): 102.379
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 1137764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.23
system time used= 3.85711
maximum resident set size= 1138804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 315346
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 272451
involuntary context switches= 7656
# summary of solver processes directly reported to runsolver:
# pid: 15428
# total CPU time (s): 2520.09
# total CPU user time (s): 2516.23
# total CPU system time (s): 3.85711
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.9613 second user time and 24.0663 second system time
The end
Begin job on node135 at 2018-08-12 04:42:19 IDJOB=4304147 IDBENCH=141037 IDSOLVER=2780 FILE ID=node135/4304147-1534041739 RUNJOBID= node135-1534040371-15154 PBS_JOBID= 21036964 Free space on /tmp= 42548 MiB SOLVER NAME= Concrete 3.9.2 BENCH NAME= XCSP18/StillLife/StillLife-wastage-21_c18.xml COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4304147-1534041739/watcher-4304147-1534041739 -o /tmp/evaluation-result-4304147-1534041739/solver-4304147-1534041739 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534040371-15154 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1469482604 HOME/instance-4304147-1534041739.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a6f0507a9e94bceb0819229116432592 RANDOM SEED=1469482604 node135.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.50 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.50 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.50 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.50 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: 6256416 kB MemAvailable: 30905048 kB Buffers: 239164 kB Cached: 24323052 kB SwapCached: 0 kB Active: 10387776 kB Inactive: 15225860 kB Active(anon): 1000680 kB Inactive(anon): 103132 kB Active(file): 9387096 kB Inactive(file): 15122728 kB Unevictable: 7244 kB Mlocked: 7244 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 26544 kB Writeback: 0 kB AnonPages: 1060564 kB Mapped: 74372 kB Shmem: 49824 kB Slab: 595692 kB SReclaimable: 567268 kB SUnreclaim: 28424 kB KernelStack: 3648 kB PageTables: 7688 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2198652 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 806912 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 93568 kB DirectMap2M: 33452032 kB Free space on /tmp at the end= 42524 MiB End job on node135 at 2018-08-12 05:23:21