0.99/0.74 c Concrete v3.9.2.1532736233296 running
9.75/4.32 c 21:48:25.007 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4092. 'extension(x[1][3]=[0‥2], 2) :: init: true :: relation: MDD 1287606099, 2 edges, 3 vertices, 1 tuples
9.75/4.32 c 21:48:25.011 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4093. 'extension(2, x[3][3]=[0‥2]) :: init: true :: relation: MDD 1287606099, 2 edges, 3 vertices, 1 tuples
9.75/4.33 c 21:48:25.018 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4115. 'extension(2, wk[0][0]=[0‥1]) :: init: true :: relation: MDD 1536478396, 3 edges, 3 vertices, 2 tuples
9.75/4.33 c 21:48:25.019 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4116. 'extension(x[4][0]=[0‥2], 2) :: init: true :: relation: MDD 232886115, 2 edges, 3 vertices, 1 tuples
9.75/4.33 c 21:48:25.021 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4142. 'extension(2, wk[0][0]=[0‥1]) :: init: true :: relation: MDD 1368193098, 3 edges, 3 vertices, 2 tuples
9.75/4.33 c 21:48:25.021 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4143. 'extension(2, x[7][0]=[0‥2]) :: init: true :: relation: MDD 232886115, 2 edges, 3 vertices, 1 tuples
9.75/4.33 c 21:48:25.022 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4146. 'extension(2, 2) :: init: true :: relation: MDD 232886115, 2 edges, 3 vertices, 1 tuples
9.75/4.34 c 21:48:25.025 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4169. 'extension(x[7][5]=[0‥2], 2) :: init: true :: relation: MDD 2075899560, 2 edges, 3 vertices, 1 tuples
9.75/4.34 c 21:48:25.025 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4170. 'extension(2, x[9][5]=[0‥2]) :: init: true :: relation: MDD 2075899560, 2 edges, 3 vertices, 1 tuples
9.75/4.34 c 21:48:25.029 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4195. 'extension(x[9][7]=[0‥2], 2) :: init: true :: relation: MDD 164733543, 2 edges, 3 vertices, 1 tuples
9.75/4.34 c 21:48:25.031 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4221. 'extension(x[10][1]=[0‥2], 2) :: init: true :: relation: MDD 1665525689, 2 edges, 3 vertices, 1 tuples
9.75/4.34 c 21:48:25.031 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4222. 'extension(2, x[12][1]=[0‥2]) :: init: true :: relation: MDD 1665525689, 2 edges, 3 vertices, 1 tuples
9.75/4.34 c 21:48:25.034 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4247. 'extension(2, x[12][7]=[0‥2]) :: init: true :: relation: MDD 164733543, 2 edges, 3 vertices, 1 tuples
9.75/4.35 c 21:48:25.035 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4250. 'extension(2, 2) :: init: true :: relation: MDD 164733543, 2 edges, 3 vertices, 1 tuples
9.75/4.35 c 21:48:25.037 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4273. 'extension(2, wk[3][1]=[0‥1]) :: init: true :: relation: MDD 2121645869, 3 edges, 3 vertices, 2 tuples
9.75/4.35 c 21:48:25.038 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4274. 'extension(x[11][3]=[0‥2], 2) :: init: true :: relation: MDD 1287606099, 2 edges, 3 vertices, 1 tuples
9.75/4.35 c 21:48:25.039 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4275. 'extension(2, x[13][3]=[0‥2]) :: init: true :: relation: MDD 1287606099, 2 edges, 3 vertices, 1 tuples
9.75/4.35 c 21:48:25.042 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4300. 'extension(2, wk[2][1]=[0‥1]) :: init: true :: relation: MDD 382252989, 3 edges, 3 vertices, 2 tuples
9.75/4.35 c 21:48:25.043 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4301. 'extension(x[12][2]=[0‥2], 2) :: init: true :: relation: MDD 1318080469, 2 edges, 3 vertices, 1 tuples
9.75/4.36 c 21:48:25.044 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4327. 'extension(2, x[15][2]=[0‥2]) :: init: true :: relation: MDD 1318080469, 2 edges, 3 vertices, 1 tuples
9.75/4.36 c 21:48:25.045 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4330. 'extension(2, 2) :: init: true :: relation: MDD 1318080469, 2 edges, 3 vertices, 1 tuples
9.75/4.36 c 21:48:25.048 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4353. 'extension(x[15][1]=[0‥2], 2) :: init: true :: relation: MDD 1665525689, 2 edges, 3 vertices, 1 tuples
9.75/4.36 c 21:48:25.049 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4354. 'extension(2, x[17][1]=[0‥2]) :: init: true :: relation: MDD 1665525689, 2 edges, 3 vertices, 1 tuples
9.75/4.36 c 21:48:25.052 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4379. 'extension(x[16][5]=[0‥2], 2) :: init: true :: relation: MDD 2075899560, 2 edges, 3 vertices, 1 tuples
9.75/4.36 c 21:48:25.053 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4380. 'extension(2, x[18][5]=[0‥2]) :: init: true :: relation: MDD 2075899560, 2 edges, 3 vertices, 1 tuples
9.75/4.37 c 21:48:25.056 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4405. 'extension(2, wk[8][2]=[0‥1]) :: init: true :: relation: MDD 153443333, 3 edges, 3 vertices, 2 tuples
9.75/4.37 c 21:48:25.056 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4406. 'extension(x[18][8]=[0‥2], 2) :: init: true :: relation: MDD 1420599919, 2 edges, 3 vertices, 1 tuples
9.75/4.37 c 21:48:25.058 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4432. 'extension(2, wk[8][2]=[0‥1]) :: init: true :: relation: MDD 2021854618, 3 edges, 3 vertices, 2 tuples
9.75/4.37 c 21:48:25.058 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4433. 'extension(2, x[21][8]=[0‥2]) :: init: true :: relation: MDD 1420599919, 2 edges, 3 vertices, 1 tuples
9.75/4.37 c 21:48:25.059 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4436. 'extension(2, 2) :: init: true :: relation: MDD 1420599919, 2 edges, 3 vertices, 1 tuples
9.75/4.37 c 21:48:25.062 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4459. 'extension(x[20][9]=[0‥2], 2) :: init: true :: relation: MDD 889753223, 2 edges, 3 vertices, 1 tuples
9.75/4.37 c 21:48:25.063 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4460. 'extension(2, x[22][9]=[0‥2]) :: init: true :: relation: MDD 889753223, 2 edges, 3 vertices, 1 tuples
9.75/4.38 c 21:48:25.065 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4485. 'extension(x[22][4]=[0‥2], 2) :: init: true :: relation: MDD 366828226, 2 edges, 3 vertices, 1 tuples
9.75/4.38 c 21:48:25.067 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4510. 'extension(2, x[25][4]=[0‥2]) :: init: true :: relation: MDD 366828226, 2 edges, 3 vertices, 1 tuples
9.75/4.38 c 21:48:25.068 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4513. 'extension(2, 2) :: init: true :: relation: MDD 366828226, 2 edges, 3 vertices, 1 tuples
9.75/4.38 c 21:48:25.070 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4534. 'extension(x[23][9]=[0‥2], 2) :: init: true :: relation: MDD 889753223, 2 edges, 3 vertices, 1 tuples
9.75/4.38 c 21:48:25.070 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4535. 'extension(2, x[25][9]=[0‥2]) :: init: true :: relation: MDD 889753223, 2 edges, 3 vertices, 1 tuples
9.75/4.38 c 21:48:25.074 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4558. 'extension(x[24][6]=[0‥2], 2) :: init: true :: relation: MDD 668301868, 2 edges, 3 vertices, 1 tuples
9.75/4.39 c 21:48:25.075 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4581. 'extension(2, wk[6][3]=[0‥1]) :: init: true :: relation: MDD 1833707324, 3 edges, 3 vertices, 2 tuples
9.75/4.39 c 21:48:25.076 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4582. 'extension(2, x[27][6]=[0‥2]) :: init: true :: relation: MDD 668301868, 2 edges, 3 vertices, 1 tuples
9.75/4.39 c 21:48:25.076 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4584. 'extension(2, 2) :: init: true :: relation: MDD 668301868, 2 edges, 3 vertices, 1 tuples
9.75/4.40 c 21:48:25.084 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4624. 'extension(x[1][3]=[0‥2]) :: init: true :: relation: Empty MDD
9.75/4.40 c 21:48:25.084 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4626. 'extension(x[3][3]=[0‥2]) :: init: true :: relation: Empty MDD
10.06/4.40 c 21:48:25.085 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4640. 'extension(wk[0][0]=[0‥1]) :: init: true :: relation: Empty MDD
10.06/4.40 c 21:48:25.086 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4642. 'extension(x[4][0]=[0‥2]) :: init: true :: relation: Empty MDD
10.06/4.40 c 21:48:25.086 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4648. 'extension(wk[0][0]=[0‥1]) :: init: true :: relation: Empty MDD
10.06/4.40 c 21:48:25.087 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4650. 'extension(x[7][0]=[0‥2]) :: init: true :: relation: Empty MDD
10.06/4.40 c 21:48:25.088 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4664. 'extension(x[7][5]=[0‥2]) :: init: true :: relation: Empty MDD
10.06/4.40 c 21:48:25.088 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4666. 'extension(x[9][5]=[0‥2]) :: init: true :: relation: Empty MDD
10.06/4.40 c 21:48:25.089 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4680. 'extension(x[9][7]=[0‥2]) :: init: true :: relation: Empty MDD
10.06/4.40 c 21:48:25.090 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4686. 'extension(x[10][1]=[0‥2]) :: init: true :: relation: Empty MDD
10.06/4.40 c 21:48:25.090 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4688. 'extension(x[12][1]=[0‥2]) :: init: true :: relation: Empty MDD
10.06/4.40 c 21:48:25.091 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4702. 'extension(x[12][7]=[0‥2]) :: init: true :: relation: Empty MDD
10.06/4.40 c 21:48:25.092 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4716. 'extension(wk[3][1]=[0‥1]) :: init: true :: relation: Empty MDD
10.06/4.40 c 21:48:25.092 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4718. 'extension(x[11][3]=[0‥2]) :: init: true :: relation: Empty MDD
10.06/4.40 c 21:48:25.092 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4720. 'extension(x[13][3]=[0‥2]) :: init: true :: relation: Empty MDD
10.06/4.40 c 21:48:25.093 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4734. 'extension(wk[2][1]=[0‥1]) :: init: true :: relation: Empty MDD
10.06/4.40 c 21:48:25.094 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4736. 'extension(x[12][2]=[0‥2]) :: init: true :: relation: Empty MDD
10.06/4.40 c 21:48:25.094 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4742. 'extension(x[15][2]=[0‥2]) :: init: true :: relation: Empty MDD
10.06/4.41 c 21:48:25.095 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4756. 'extension(x[15][1]=[0‥2]) :: init: true :: relation: Empty MDD
10.06/4.41 c 21:48:25.095 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4758. 'extension(x[17][1]=[0‥2]) :: init: true :: relation: Empty MDD
10.06/4.41 c 21:48:25.096 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4772. 'extension(x[16][5]=[0‥2]) :: init: true :: relation: Empty MDD
10.06/4.41 c 21:48:25.097 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4774. 'extension(x[18][5]=[0‥2]) :: init: true :: relation: Empty MDD
10.06/4.41 c 21:48:25.100 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4788. 'extension(wk[8][2]=[0‥1]) :: init: true :: relation: Empty MDD
10.06/4.41 c 21:48:25.101 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4790. 'extension(x[18][8]=[0‥2]) :: init: true :: relation: Empty MDD
10.06/4.41 c 21:48:25.101 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4796. 'extension(wk[8][2]=[0‥1]) :: init: true :: relation: Empty MDD
10.06/4.41 c 21:48:25.101 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4798. 'extension(x[21][8]=[0‥2]) :: init: true :: relation: Empty MDD
10.06/4.41 c 21:48:25.102 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4812. 'extension(x[20][9]=[0‥2]) :: init: true :: relation: Empty MDD
10.06/4.42 c 21:48:25.103 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4814. 'extension(x[22][9]=[0‥2]) :: init: true :: relation: Empty MDD
10.06/4.42 c 21:48:25.103 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4828. 'extension(x[22][4]=[0‥2]) :: init: true :: relation: Empty MDD
10.06/4.42 c 21:48:25.104 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4834. 'extension(x[25][4]=[0‥2]) :: init: true :: relation: Empty MDD
10.06/4.42 c 21:48:25.105 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4848. 'extension(x[23][9]=[0‥2]) :: init: true :: relation: Empty MDD
10.06/4.42 c 21:48:25.105 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4850. 'extension(x[25][9]=[0‥2]) :: init: true :: relation: Empty MDD
10.06/4.42 c 21:48:25.106 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4864. 'extension(x[24][6]=[0‥2]) :: init: true :: relation: Empty MDD
10.06/4.42 c 21:48:25.107 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4870. 'extension(wk[6][3]=[0‥1]) :: init: true :: relation: Empty MDD
10.06/4.42 c 21:48:25.107 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 4872. 'extension(x[27][6]=[0‥2]) :: init: true :: relation: Empty MDD
25.02/12.05 o 3745
34.47/19.42 o 3655
34.47/19.43 o 3653
34.47/19.46 o 3652
57.56/40.65 o 3557
57.56/40.66 o 3555
57.56/40.67 o 3554
60.70/43.62 o 3553
60.89/43.74 o 3552
252.01/229.51 Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
252.01/229.51 at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24)
252.01/229.51 at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53)
252.01/229.51 at concrete.BitVectorDomain.$anonfun$filter$1(BitVectorDomain.scala:126)
252.01/229.51 at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142)
252.01/229.51 at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5)
252.01/229.51 at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126)
252.01/229.51 at concrete.IntervalDomain.filter(IntervalDomain.scala:81)
252.01/229.51 at concrete.IntervalDomain.filter(IntervalDomain.scala:7)
252.01/229.51 at concrete.heuristic.value.BestCost.select(BestCost.scala:53)
252.01/229.51 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
252.01/229.51 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
252.01/229.51 at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
252.01/229.51 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
252.01/229.51 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
252.01/229.51 at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
252.01/229.51 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
252.01/229.51 at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:109)
252.01/229.51 at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
252.01/229.51 at scala.Option.map(Option.scala:146)
252.01/229.51 at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
252.01/229.51 at concrete.MAC.mac(MAC.scala:203)
252.01/229.51 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.01/229.51 at scala.util.Try$.apply(Try.scala:209)
252.01/229.51 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.01/229.51 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.01/229.51 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.01/229.51 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.01/229.51 at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.01/229.51 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.01/229.51 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.01/229.51 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.01/229.51 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.01/229.51 at concrete.MAC.oneRun(MAC.scala:253)
252.01/229.51 at concrete.MAC.nextSolution(MAC.scala:272)
252.01/229.51 at concrete.MAC.nextSolution(MAC.scala:355)
252.01/229.51 at concrete.Solver.hasNext(Solver.scala:166)
252.01/229.51 at scala.collection.Iterator.foreach(Iterator.scala:944)
252.01/229.51 at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.01/229.51 at concrete.Solver.foreach(Solver.scala:68)
252.01/229.51 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.01/229.51 at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.01/229.51 at scala.util.Success.map(Try.scala:209)
252.01/229.51 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.01/229.51 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.01/229.51 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.01/229.51 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.01/229.51 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.01/229.51 at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.01/229.51 at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.01/229.51 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.01/229.51 at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.01/229.51 at scala.collection.immutable.List.foreach(List.scala:389)
252.01/229.51 at scala.App.main(App.scala:76)
252.01/229.51 at scala.App.main$(App.scala:74)
252.01/229.51 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.01/229.51 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.01/229.52 v <instantiation cost="3552">
252.01/229.52 v <list>
252.01/229.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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] ps[0][0] ps[0][1] ps[0][2] ps[1][0] ps[1][1] ps[1][2] ps[2][0] ps[2][1] ps[2][2] ps[3][0] ps[3][1] ps[3][2] ps[4][0] ps[4][1] ps[4][2] ps[5][0] ps[5][1] ps[5][2] ps[6][0] ps[6][1] ps[6][2] ps[7][0] ps[7][1] ps[7][2] ps[8][0] ps[8][1] ps[8][2] ps[9][0] ps[9][1] ps[9][2] ds[0][0] ds[0][1] ds[0][2] ds[1][0] ds[1][1] ds[1][2] ds[2][0] ds[2][1] ds[2][2] ds[3][0] ds[3][1] ds[3][2] ds[4][0] ds[4][1] ds[4][2] ds[5][0] ds[5][1] ds[5][2] ds[6][0] ds[6][1] ds[6][2] ds[7][0] ds[7][1] ds[7][2] ds[8][0] ds[8][1] ds[8][2] ds[9][0] ds[9][1] ds[9][2] ds[10][0] ds[10][1] ds[10][2] ds[11][0] ds[11][1] ds[11][2] ds[12][0] ds[12][1] ds[12][2] ds[13][0] ds[13][1] ds[13][2] ds[14][0] ds[14][1] ds[14][2] ds[15][0] ds[15][1] ds[15][2] ds[16][0] ds[16][1] ds[16][2] ds[17][0] ds[17][1] ds[17][2] ds[18][0] ds[18][1] ds[18][2] ds[19][0] ds[19][1] ds[19][2] ds[20][0] ds[20][1] ds[20][2] ds[21][0] ds[21][1] ds[21][2] ds[22][0] ds[22][1] ds[22][2] ds[23][0] ds[23][1] ds[23][2] ds[24][0] ds[24][1] ds[24][2] ds[25][0] ds[25][1] ds[25][2] ds[26][0] ds[26][1] ds[26][2] ds[27][0] ds[27][1] ds[27][2] wk[0][0] wk[0][1] wk[0][2] wk[0][3] wk[1][0] wk[1][1] wk[1][2] wk[1][3] wk[2][0] wk[2][1] wk[2][2] wk[2][3] wk[3][0] wk[3][1] wk[3][2] wk[3][3] wk[4][0] wk[4][1] wk[4][2] wk[4][3] wk[5][0] wk[5][1] wk[5][2] wk[5][3] wk[6][0] wk[6][1] wk[6][2] wk[6][3] wk[7][0] wk[7][1] wk[7][2] wk[7][3] wk[8][0] wk[8][1] wk[8][2] wk[8][3] wk[9][0] wk[9][1] wk[9][2] wk[9][3] cn[0] cn[1] cn[2] cn[3] cn[4] cn[5] cn[6] cn[7] cn[8] cn[9] cn[10] cn[11] cn[12] cn[13] cn[14] cn[15] cn[16] cn[17] cn[18] cn[19] cn[20] cn[21] cn[22] cn[23] cn[24] cn[25] cn[26] cn[27] cn[28] cn[29] cn[30] cn[31] cn[32] cn[33] cn[34] cn[35] cn[36] cn[37] cn[38] cn[39] cn[40] cn[41] cn[42] cn[43] cn[44] cn[45] cn[46] cn[47] cn[48] cn[49] cn[50] cn[51] cf[0] cf[1] cf[2] cf[3] cf[4] cf[5] cf[6] cf[7] cf[8] cf[9] cf[10] cf[11] cf[12] cf[13] cf[14] cf[15] cf[16] cf[17] cf[18] cc[0][0] cc[0][1] cc[0][2] cc[1][0] cc[1][1] cc[1][2] cc[2][0] cc[2][1] cc[2][2] cc[3][0] cc[3][1] cc[3][2] cc[4][0] cc[4][1] cc[4][2] cc[5][0] cc[5][1] cc[5][2] cc[6][0] cc[6][1] cc[6][2] cc[7][0] cc[7][1] cc[7][2] cc[8][0] cc[8][1] cc[8][2] cc[9][0] cc[9][1] cc[9][2] cc[10][0] cc[10][1] cc[10][2] cc[11][0] cc[11][1] cc[11][2] cc[12][0] cc[12][1] cc[12][2] cc[13][0] cc[13][1] cc[13][2] cc[14][0] cc[14][1] cc[14][2] cc[15][0] cc[15][1] cc[15][2] cc[16][0] cc[16][1] cc[16][2] cc[17][0] cc[17][1] cc[17][2] cc[18][0] cc[18][1] cc[18][2] cc[19][0] cc[19][1] cc[19][2] cc[20][0] cc[20][1] cc[20][2] cc[21][0] cc[21][1] cc[21][2] cc[22][0] cc[22][1] cc[22][2] cc[23][0] cc[23][1] cc[23][2] cc[24][0] cc[24][1] cc[24][2] cc[25][0] cc[25][1] cc[25][2] cc[26][0] cc[26][1] cc[26][2] cc[27][0] cc[27][1] cc[27][2]
252.01/229.52 v </list>
252.01/229.52 v <values>
252.01/229.52 v 2 2 2 0 0 1 1 2 2 1 2 0 2 0 0 1 1 2 2 1 0 0 0 2 0 1 1 1 2 1 1 0 0 2 0 1 2 1 2 1 1 0 2 2 2 1 2 1 0 2 2 2 2 2 2 2 0 1 0 2 2 2 0 2 2 2 1 2 0 2 1 0 0 0 0 2 1 2 1 0 1 0 0 0 1 2 1 0 2 0 1 0 1 0 1 1 1 1 2 0 2 2 1 0 1 1 2 2 1 0 2 2 2 0 2 2 2 2 1 0 1 2 2 2 2 2 0 0 2 2 1 2 2 2 0 1 0 0 2 2 1 0 2 1 0 1 2 0 1 0 1 0 0 1 0 1 2 0 1 0 1 2 0 1 2 1 0 0 1 0 2 2 1 2 2 2 0 2 1 0 2 2 1 2 0 2 1 2 1 0 0 0 2 2 0 2 2 2 2 2 1 0 2 0 0 2 2 2 2 2 1 2 2 0 0 2 2 0 0 2 2 2 2 0 1 2 0 0 1 0 2 0 0 2 2 1 0 0 1 0 0 0 0 2 2 1 1 0 1 2 1 0 0 0 2 1 2 1 1 2 2 0 0 0 2 1 2 2 2 2 2 0 0 0 2 1 2 2 2 2 3 13 12 16 0 12 12 4 12 13 3 12 12 4 12 0 16 12 7 9 12 10 6 12 4 12 12 12 4 12 2 3 5 3 3 4 4 4 2 3 4 3 2 3 5 2 1 7 2 1 7 5 3 2 5 3 2 3 6 1 2 4 4 2 1 7 2 1 7 3 2 5 4 4 2 5 4 1 4 4 2 2 2 6 2 3 5 3 0 7 3 1 6 4 1 5 4 2 4 5 2 3 4 3 3 3 4 3 3 1 6 3 1 6 0 1 1 0 0 0 1 1 1 0 0 1 0 0 1 1 0 1 1 0 0 1 0 1 1 1 0 0 1 1 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 3 0 0 0 0 2 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 3 3 0 0 0 0 0 0 0 3 3 0 3 0 2 2 2 0 0 2 2 0 2 2 0 0 0 0 0 0 0 1 1 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 200 0 0 200 0 2 0 0 1 0 0 0 4 0 0 1 0 200 200 0 0 200 0 200 100 0 1 0 0 0 0 0 0 0 0 100 0 0 0 0 0 300 400 0 1 100 0 0 300 0 1 0 0 0 100 0 0 100 0 100 200 0 100 300 0 100 0 0
252.01/229.52 v </values>
252.01/229.52 v </instantiation>
252.01/229.52 s SATISFIABLE
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 (13199 MiB free)
memory of node 1: 16384 MiB (14052 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302423-1532893700/watcher-4302423-1532893700 -o /tmp/evaluation-result-4302423-1532893700/solver-4302423-1532893700 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532893235-14550 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=867670613 HOME/instance-4302423-1532893700.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=15176, runsolver pid=15173
[startup+0.100096 s]*
/proc/loadavg: 1.81 1.61 1.20 4/206 15233
/proc/meminfo: memFree=27898456/32770624 swapFree=67108436/67108860
[pid=15176] ppid=15173 vsize=10005480 memory=14916 CPUtime=0.08 cores=1,3,5,7
/proc/15176/stat : 15176 (java) S 15173 15176 9814 0 -1 1077944320 4415 13207 0 0 1 0 4 3 20 0 6 0 106933183 10245611520 3729 33554432000 4194304 4196468 140720422103968 140720422086512 139861482651383 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
/proc/15176/statm: 2501370 3729 1935 1 0 2489808 0
[pid=15176/tid=15229] ppid=15173 vsize=10005480 memory=4279135704013571723 CPUtime=0.08 cores=1,3,5,7
/proc/15176/task/15229/stat : 15229 (java) R 15173 15176 9814 0 -1 4202560 2257 13207 0 0 1 0 4 3 20 0 6 0 106933192 10245611520 3795 33554432000 4194304 4196468 140720422103968 139861454488144 139861466731900 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15230] ppid=15173 vsize=10005480 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/15176/task/15230/stat : 15230 (java) S 15173 15176 9814 0 -1 1077944384 1 13207 0 0 0 0 4 3 20 0 6 0 106933193 10245611520 3795 33554432000 4194304 4196468 140720422103968 139861486894224 139861482661589 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15231] ppid=15173 vsize=10005480 memory=140310628218496 CPUtime=0.07 cores=1,3,5,7
/proc/15176/task/15231/stat : 15231 (java) S 15173 15176 9814 0 -1 1077944384 2 13207 0 0 0 0 4 3 20 0 6 0 106933193 10245611520 3795 33554432000 4194304 4196468 140720422103968 139861021879312 139861482661589 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15232] ppid=15173 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15176/task/15232/stat : 15232 (java) S 15173 15176 9814 0 -1 1077944384 1 13207 0 0 0 0 4 3 20 0 6 0 106933193 10245611520 3795 33554432000 4194304 4196468 140720422103968 139861020826512 139861482661589 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15233] ppid=15173 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/15176/task/15233/stat : 15233 (java) S 15173 15176 9814 0 -1 1077944384 2 13207 0 0 0 0 4 3 20 0 6 0 106933193 10245611520 3795 33554432000 4194304 4196468 140720422103968 139861019773712 139861482661589 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 14916 KiB
[startup+0.210058 s]*
/proc/loadavg: 1.81 1.61 1.20 6/215 15242
/proc/meminfo: memFree=27835380/32770624 swapFree=67108436/67108860
[pid=15176] ppid=15173 vsize=10982744 memory=43188 CPUtime=0.25 cores=1,3,5,7
/proc/15176/stat : 15176 (java) S 15173 15176 9814 0 -1 1077944320 8039 13207 0 0 17 1 4 3 20 0 15 0 106933183 11246329856 10797 33554432000 4194304 4196468 140720422103968 140720422086512 139861482651383 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
/proc/15176/statm: 2745686 10797 2965 1 0 2708109 0
[pid=15176/tid=15229] ppid=15173 vsize=10982744 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/15176/task/15229/stat : 15229 (java) R 15173 15176 9814 0 -1 4202560 4692 13207 0 0 10 1 4 3 20 0 15 0 106933192 11246329856 10995 33554432000 4194304 4196468 140720422103968 139861454474992 139861462927197 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15230] ppid=15173 vsize=10982744 memory=345 CPUtime=0.07 cores=1,3,5,7
/proc/15176/task/15230/stat : 15230 (java) S 15173 15176 9814 0 -1 1077944384 1 13207 0 0 0 0 4 3 20 0 15 0 106933193 11246329856 10995 33554432000 4194304 4196468 140720422103968 139861486894224 139861482661589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15231] ppid=15173 vsize=10982744 memory=140310628233795 CPUtime=0.07 cores=1,3,5,7
/proc/15176/task/15231/stat : 15231 (java) S 15173 15176 9814 0 -1 1077944384 2 13207 0 0 0 0 4 3 20 0 15 0 106933193 11246329856 10995 33554432000 4194304 4196468 140720422103968 139861021879312 139861482661589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15232] ppid=15173 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15176/task/15232/stat : 15232 (java) S 15173 15176 9814 0 -1 1077944384 1 13207 0 0 0 0 4 3 20 0 15 0 106933193 11246329856 10995 33554432000 4194304 4196468 140720422103968 139861020826512 139861482661589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15233] ppid=15173 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/15176/task/15233/stat : 15233 (java) S 15173 15176 9814 0 -1 1077944384 2 13207 0 0 0 0 4 3 20 0 15 0 106933193 11246329856 10995 33554432000 4194304 4196468 140720422103968 139861019773712 139861482661589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15234] ppid=15173 vsize=10982744 memory=140310628218496 CPUtime=0.07 cores=1,3,5,7
/proc/15176/task/15234/stat : 15234 (java) S 15173 15176 9814 0 -1 1077944384 2 13207 0 0 0 0 4 3 20 0 15 0 106933194 11246329856 10995 33554432000 4194304 4196468 140720422103968 139860908157296 139861482662530 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15235] ppid=15173 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/15176/task/15235/stat : 15235 (java) S 15173 15176 9814 0 -1 1077944384 13 13207 0 0 0 0 4 3 20 0 15 0 106933195 11246329856 10995 33554432000 4194304 4196468 140720422103968 139860254909472 139861482661589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15236] ppid=15173 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15176/task/15236/stat : 15236 (java) S 15173 15176 9814 0 -1 1077944384 1 13207 0 0 0 0 4 3 20 0 15 0 106933195 11246329856 10995 33554432000 4194304 4196468 140720422103968 139860107060080 139861482661589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15237] ppid=15173 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15176/task/15237/stat : 15237 (java) S 15173 15176 9814 0 -1 1077944384 3 13207 0 0 0 0 4 3 20 0 15 0 106933198 11246329856 10995 33554432000 4194304 4196468 140720422103968 139859799660368 139861482669979 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15238] ppid=15173 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15176/task/15238/stat : 15238 (java) S 15173 15176 9814 0 -1 1077944384 425 13207 0 0 1 0 4 3 20 0 15 0 106933198 11246329856 11061 33554432000 4194304 4196468 140720422103968 139860907105136 139861482662530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15239] ppid=15173 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15176/task/15239/stat : 15239 (java) S 15173 15176 9814 0 -1 1077944384 198 13207 0 0 1 0 4 3 20 0 15 0 106933198 11246329856 11061 33554432000 4194304 4196468 140720422103968 139860906052336 139861482662530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15240] ppid=15173 vsize=10982744 memory=140310628218496 CPUtime=0.1 cores=1,3,5,7
/proc/15176/task/15240/stat : 15240 (java) S 15173 15176 9814 0 -1 1077944384 668 13207 0 0 3 0 4 3 20 0 15 0 106933198 11246329856 11061 33554432000 4194304 4196468 140720422103968 139860904999536 139861482662530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15241] ppid=15173 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/15176/task/15241/stat : 15241 (java) S 15173 15176 9814 0 -1 1077944384 3 13207 0 0 0 0 4 3 20 0 15 0 106933198 11246329856 11061 33554432000 4194304 4196468 140720422103968 139859368864480 139861482661589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15242] ppid=15173 vsize=10982744 memory=140310628218496 CPUtime=0.07 cores=1,3,5,7
/proc/15176/task/15242/stat : 15242 (java) S 15173 15176 9814 0 -1 1077944384 1 13207 0 0 0 0 4 3 20 0 15 0 106933198 11246329856 11061 33554432000 4194304 4196468 140720422103968 139860903946928 139861482662530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 43188 KiB
[startup+0.310285 s]*
/proc/loadavg: 1.81 1.61 1.20 4/215 15242
/proc/meminfo: memFree=27814040/32770624 swapFree=67108436/67108860
[pid=15176] ppid=15173 vsize=10983192 memory=55488 CPUtime=0.38 cores=1,3,5,7
/proc/15176/stat : 15176 (java) S 15173 15176 9814 0 -1 1077944320 10904 13207 0 0 29 2 4 3 20 0 15 0 106933183 11246788608 13872 33554432000 4194304 4196468 140720422103968 140720422086512 139861482651383 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
/proc/15176/statm: 2745798 13872 3113 1 0 2708109 0
[pid=15176/tid=15229] ppid=15173 vsize=10983192 memory=6791534058613427641 CPUtime=0.27 cores=1,3,5,7
/proc/15176/task/15229/stat : 15229 (java) R 15173 15176 9814 0 -1 4202560 7353 13207 0 0 19 1 4 3 20 0 15 0 106933192 11246788608 13872 33554432000 4194304 4196468 140720422103968 139861454463392 139861482665247 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15230] ppid=15173 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15176/task/15230/stat : 15230 (java) S 15173 15176 9814 0 -1 1077944384 1 13207 0 0 0 0 4 3 20 0 15 0 106933193 11246788608 13872 33554432000 4194304 4196468 140720422103968 139861486894224 139861482661589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15231] ppid=15173 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15176/task/15231/stat : 15231 (java) S 15173 15176 9814 0 -1 1077944384 2 13207 0 0 0 0 4 3 20 0 15 0 106933193 11246788608 13872 33554432000 4194304 4196468 140720422103968 139861021879312 139861482661589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15232] ppid=15173 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15176/task/15232/stat : 15232 (java) S 15173 15176 9814 0 -1 1077944384 1 13207 0 0 0 0 4 3 20 0 15 0 106933193 11246788608 13872 33554432000 4194304 4196468 140720422103968 139861020826512 139861482661589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15233] ppid=15173 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15176/task/15233/stat : 15233 (java) S 15173 15176 9814 0 -1 1077944384 2 13207 0 0 0 0 4 3 20 0 15 0 106933193 11246788608 13872 33554432000 4194304 4196468 140720422103968 139861019773712 139861482661589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15234] ppid=15173 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15176/task/15234/stat : 15234 (java) S 15173 15176 9814 0 -1 1077944384 2 13207 0 0 0 0 4 3 20 0 15 0 106933194 11246788608 13872 33554432000 4194304 4196468 140720422103968 139860908157296 139861482662530 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15235] ppid=15173 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/15176/task/15235/stat : 15235 (java) S 15173 15176 9814 0 -1 1077944384 13 13207 0 0 0 0 4 3 20 0 15 0 106933195 11246788608 13872 33554432000 4194304 4196468 140720422103968 139860254909472 139861482661589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15236] ppid=15173 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15176/task/15236/stat : 15236 (java) S 15173 15176 9814 0 -1 1077944384 1 13207 0 0 0 0 4 3 20 0 15 0 106933195 11246788608 13872 33554432000 4194304 4196468 140720422103968 139860107060080 139861482661589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15237] ppid=15173 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15176/task/15237/stat : 15237 (java) S 15173 15176 9814 0 -1 1077944384 3 13207 0 0 0 0 4 3 20 0 15 0 106933198 11246788608 13872 33554432000 4194304 4196468 140720422103968 139859799660368 139861482669979 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15238] ppid=15173 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15176/task/15238/stat : 15238 (java) S 15173 15176 9814 0 -1 1077944384 431 13207 0 0 1 0 4 3 20 0 15 0 106933198 11246788608 13872 33554432000 4194304 4196468 140720422103968 139860907105136 139861482662530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15239] ppid=15173 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15176/task/15239/stat : 15239 (java) S 15173 15176 9814 0 -1 1077944384 203 13207 0 0 1 0 4 3 20 0 15 0 106933198 11246788608 13872 33554432000 4194304 4196468 140720422103968 139860906052336 139861482662530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15240] ppid=15173 vsize=10983192 memory=140310628218496 CPUtime=0.12 cores=1,3,5,7
/proc/15176/task/15240/stat : 15240 (java) S 15173 15176 9814 0 -1 1077944384 699 13207 0 0 5 0 4 3 20 0 15 0 106933198 11246788608 13872 33554432000 4194304 4196468 140720422103968 139860904999536 139861482662530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15241] ppid=15173 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/15176/task/15241/stat : 15241 (java) S 15173 15176 9814 0 -1 1077944384 3 13207 0 0 0 0 4 3 20 0 15 0 106933198 11246788608 13872 33554432000 4194304 4196468 140720422103968 139859368864480 139861482661589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15242] ppid=15173 vsize=10983192 memory=140310628218496 CPUtime=0.07 cores=1,3,5,7
/proc/15176/task/15242/stat : 15242 (java) S 15173 15176 9814 0 -1 1077944384 1 13207 0 0 0 0 4 3 20 0 15 0 106933198 11246788608 13872 33554432000 4194304 4196468 140720422103968 139860903946928 139861482662530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55488 KiB
[startup+0.700762 s]
/proc/loadavg: 1.81 1.61 1.20 3/215 15242
/proc/meminfo: memFree=27799280/32770624 swapFree=67108436/67108860
[pid=15176] ppid=15173 vsize=10983192 memory=88000 CPUtime=0.99 cores=1,3,5,7
/proc/15176/stat : 15176 (java) S 15173 15176 9814 0 -1 1077944320 17150 13207 0 0 87 5 4 3 20 0 15 0 106933183 11246788608 22000 33554432000 4194304 4196468 140720422103968 140720422086512 139861482651383 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
/proc/15176/statm: 2745798 22000 3238 1 0 2708109 0
[pid=15176/tid=15229] ppid=15173 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/15176/task/15229/stat : 15229 (java) R 15173 15176 9814 0 -1 4202560 12387 13207 0 0 56 3 4 3 20 0 15 0 106933192 11246788608 22000 33554432000 4194304 4196468 140720422103968 139861454471672 139861482673309 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15230] ppid=15173 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15176/task/15230/stat : 15230 (java) S 15173 15176 9814 0 -1 1077944384 1 13207 0 0 0 0 4 3 20 0 15 0 106933193 11246788608 22000 33554432000 4194304 4196468 140720422103968 139861486894224 139861482661589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15231] ppid=15173 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15176/task/15231/stat : 15231 (java) S 15173 15176 9814 0 -1 1077944384 2 13207 0 0 0 0 4 3 20 0 15 0 106933193 11246788608 22000 33554432000 4194304 4196468 140720422103968 139861021879312 139861482661589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15232] ppid=15173 vsize=10983192 memory=140310474797872 CPUtime=0.07 cores=1,3,5,7
/proc/15176/task/15232/stat : 15232 (java) S 15173 15176 9814 0 -1 1077944384 1 13207 0 0 0 0 4 3 20 0 15 0 106933193 11246788608 22000 33554432000 4194304 4196468 140720422103968 139861020826512 139861482661589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15233] ppid=15173 vsize=10983192 memory=140312286593625 CPUtime=0.07 cores=1,3,5,7
/proc/15176/task/15233/stat : 15233 (java) S 15173 15176 9814 0 -1 1077944384 2 13207 0 0 0 0 4 3 20 0 15 0 106933193 11246788608 22000 33554432000 4194304 4196468 140720422103968 139861019773712 139861482661589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15234] ppid=15173 vsize=10983192 memory=1388 CPUtime=0.07 cores=1,3,5,7
/proc/15176/task/15234/stat : 15234 (java) S 15173 15176 9814 0 -1 1077944384 5 13207 0 0 0 0 4 3 20 0 15 0 106933194 11246788608 22000 33554432000 4194304 4196468 140720422103968 139860908157296 139861482662530 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15235] ppid=15173 vsize=10983192 memory=4639098309541127525 CPUtime=0.07 cores=1,3,5,7
/proc/15176/task/15235/stat : 15235 (java) S 15173 15176 9814 0 -1 1077944384 13 13207 0 0 0 0 4 3 20 0 15 0 106933195 11246788608 22000 33554432000 4194304 4196468 140720422103968 139860254909472 139861482661589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15236] ppid=15173 vsize=10983192 memory=8027477668130812270 CPUtime=0.07 cores=1,3,5,7
/proc/15176/task/15236/stat : 15236 (java) S 15173 15176 9814 0 -1 1077944384 1 13207 0 0 0 0 4 3 20 0 15 0 106933195 11246788608 22000 33554432000 4194304 4196468 140720422103968 139860107060080 139861482661589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15237] ppid=15173 vsize=10983192 memory=17424 CPUtime=0.07 cores=1,3,5,7
/proc/15176/task/15237/stat : 15237 (java) S 15173 15176 9814 0 -1 1077944384 3 13207 0 0 0 0 4 3 20 0 15 0 106933198 11246788608 22000 33554432000 4194304 4196468 140720422103968 139859799660368 139861482669979 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15238] ppid=15173 vsize=10983192 memory=16148 CPUtime=0.16 cores=1,3,5,7
/proc/15176/task/15238/stat : 15238 (java) S 15173 15176 9814 0 -1 1077944384 1094 13207 0 0 9 0 4 3 20 0 15 0 106933198 11246788608 22000 33554432000 4194304 4196468 140720422103968 139860907105136 139861482662530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15239] ppid=15173 vsize=10983192 memory=4004 CPUtime=0.14 cores=1,3,5,7
/proc/15176/task/15239/stat : 15239 (java) S 15173 15176 9814 0 -1 1077944384 579 13207 0 0 7 0 4 3 20 0 15 0 106933198 11246788608 22000 33554432000 4194304 4196468 140720422103968 139860906052336 139861482662530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15240] ppid=15173 vsize=10983192 memory=636 CPUtime=0.2 cores=1,3,5,7
/proc/15176/task/15240/stat : 15240 (java) S 15173 15176 9814 0 -1 1077944384 869 13207 0 0 13 0 4 3 20 0 15 0 106933198 11246788608 22000 33554432000 4194304 4196468 140720422103968 139860904999536 139861482662530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15241] ppid=15173 vsize=10983192 memory=1780 CPUtime=0.07 cores=1,3,5,7
/proc/15176/task/15241/stat : 15241 (java) S 15173 15176 9814 0 -1 1077944384 3 13207 0 0 0 0 4 3 20 0 15 0 106933198 11246788608 22000 33554432000 4194304 4196468 140720422103968 139859368864480 139861482661589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15242] ppid=15173 vsize=10983192 memory=1236 CPUtime=0.07 cores=1,3,5,7
/proc/15176/task/15242/stat : 15242 (java) S 15173 15176 9814 0 -1 1077944384 1 13207 0 0 0 0 4 3 20 0 15 0 106933198 11246788608 22000 33554432000 4194304 4196468 140720422103968 139860903946928 139861482662530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88000 KiB
[startup+1.50728 s]
/proc/loadavg: 1.81 1.61 1.20 5/215 15242
/proc/meminfo: memFree=27746252/32770624 swapFree=67108436/67108860
[pid=15176] ppid=15173 vsize=10998092 memory=192292 CPUtime=2.99 cores=1,3,5,7
/proc/15176/stat : 15176 (java) S 15173 15176 9814 0 -1 1077944320 27152 13207 0 0 281 11 4 3 20 0 15 0 106933183 11262046208 48073 33554432000 4194304 4196468 140720422103968 140720422086512 139861482651383 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
/proc/15176/statm: 2749523 48073 3472 1 0 2711181 0
[pid=15176/tid=15229] ppid=15173 vsize=10998092 memory=64652 CPUtime=1.42 cores=1,3,5,7
/proc/15176/task/15229/stat : 15229 (java) R 15173 15176 9814 0 -1 4202560 17354 13207 0 0 129 6 4 3 20 0 15 0 106933192 11262046208 48073 33554432000 4194304 4196468 140720422103968 139861454453024 139861304072780 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15230] ppid=15173 vsize=10998092 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/15176/task/15230/stat : 15230 (java) S 15173 15176 9814 0 -1 1077944384 52 13207 0 0 1 0 4 3 20 0 15 0 106933193 11262046208 48073 33554432000 4194304 4196468 140720422103968 139861486894224 139861482661589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15231] ppid=15173 vsize=10998092 memory=280620949627040 CPUtime=0.08 cores=1,3,5,7
/proc/15176/task/15231/stat : 15231 (java) S 15173 15176 9814 0 -1 1077944384 165 13207 0 0 1 0 4 3 20 0 15 0 106933193 11262046208 48073 33554432000 4194304 4196468 140720422103968 139861021879312 139861482661589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15232] ppid=15173 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15176/task/15232/stat : 15232 (java) S 15173 15176 9814 0 -1 1077944384 18 13207 0 0 1 0 4 3 20 0 15 0 106933193 11262046208 48073 33554432000 4194304 4196468 140720422103968 139861020826512 139861482661589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15233] ppid=15173 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15176/task/15233/stat : 15233 (java) S 15173 15176 9814 0 -1 1077944384 23 13207 0 0 1 0 4 3 20 0 15 0 106933193 11262046208 48073 33554432000 4194304 4196468 140720422103968 139861019773712 139861482661589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15234] ppid=15173 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15176/task/15234/stat : 15234 (java) S 15173 15176 9814 0 -1 1077944384 49 13207 0 0 1 0 4 3 20 0 15 0 106933194 11262046208 48073 33554432000 4194304 4196468 140720422103968 139860908157296 139861482662530 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15235] ppid=15173 vsize=10998092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15176/task/15235/stat : 15235 (java) S 15173 15176 9814 0 -1 1077944384 13 13207 0 0 0 0 4 3 20 0 15 0 106933195 11262046208 48073 33554432000 4194304 4196468 140720422103968 139860254909472 139861482661589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15236] ppid=15173 vsize=10998092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15176/task/15236/stat : 15236 (java) S 15173 15176 9814 0 -1 1077944384 1 13207 0 0 0 0 4 3 20 0 15 0 106933195 11262046208 48073 33554432000 4194304 4196468 140720422103968 139860107060080 139861482661589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15237] ppid=15173 vsize=10998092 memory=-5921431000321636112 CPUtime=0.07 cores=1,3,5,7
/proc/15176/task/15237/stat : 15237 (java) S 15173 15176 9814 0 -1 1077944384 3 13207 0 0 0 0 4 3 20 0 15 0 106933198 11262046208 48073 33554432000 4194304 4196468 140720422103968 139859799660368 139861482669979 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15238] ppid=15173 vsize=10998092 memory=0 CPUtime=0.56 cores=1,3,5,7
/proc/15176/task/15238/stat : 15238 (java) R 15173 15176 9814 0 -1 4202560 3041 13207 0 0 49 0 4 3 20 0 15 0 106933198 11262046208 48073 33554432000 4194304 4196468 140720422103968 139860907085104 139861467766659 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15239] ppid=15173 vsize=10998092 memory=0 CPUtime=0.55 cores=1,3,5,7
/proc/15176/task/15239/stat : 15239 (java) R 15173 15176 9814 0 -1 4202560 2340 13207 0 0 48 0 4 3 20 0 15 0 106933198 11262046208 48073 33554432000 4194304 4196468 140720422103968 139860906038848 139861467533296 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15240] ppid=15173 vsize=10998092 memory=6791534058613427641 CPUtime=0.52 cores=1,3,5,7
/proc/15176/task/15240/stat : 15240 (java) R 15173 15176 9814 0 -1 4202560 1902 13207 0 0 45 0 4 3 20 0 15 0 106933198 11262046208 48073 33554432000 4194304 4196468 140720422103968 139860904999536 139861482672730 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15241] ppid=15173 vsize=10998092 memory=4638778398332698720 CPUtime=0.07 cores=1,3,5,7
/proc/15176/task/15241/stat : 15241 (java) S 15173 15176 9814 0 -1 1077944384 3 13207 0 0 0 0 4 3 20 0 15 0 106933198 11262046208 48073 33554432000 4194304 4196468 140720422103968 139859368864480 139861482661589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15242] ppid=15173 vsize=10998092 memory=280620949871488 CPUtime=0.07 cores=1,3,5,7
/proc/15176/task/15242/stat : 15242 (java) S 15173 15176 9814 0 -1 1077944384 1 13207 0 0 0 0 4 3 20 0 15 0 106933198 11262046208 48073 33554432000 4194304 4196468 140720422103968 139860903946928 139861482662530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
Current children cumulated CPU time: 2.99 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
/proc/15176/task/15229/stat : 15229 (java) R 15173 15176 9814 0 -1 4202560 59758 13207 0 0 16089 25 4 3 20 0 15 0 106933192 11348049920 273757 33554432000 4194304 4196468 140720422103968 139861454486304 139861074545287 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15230] ppid=15173 vsize=11082080 memory=1095028 CPUtime=0.59 cores=1,3,5,7
/proc/15176/task/15230/stat : 15230 (java) S 15173 15176 9814 0 -1 1077944384 1538 13207 0 0 47 5 4 3 20 0 15 0 106933193 11348049920 273757 33554432000 4194304 4196468 140720422103968 139861486894224 139861482661589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15231] ppid=15173 vsize=11082080 memory=1095028 CPUtime=0.58 cores=1,3,5,7
/proc/15176/task/15231/stat : 15231 (java) S 15173 15176 9814 0 -1 1077944384 1824 13207 0 0 45 6 4 3 20 0 15 0 106933193 11348049920 273757 33554432000 4194304 4196468 140720422103968 139861021879312 139861482661589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15232] ppid=15173 vsize=11082080 memory=1095028 CPUtime=0.6 cores=1,3,5,7
/proc/15176/task/15232/stat : 15232 (java) S 15173 15176 9814 0 -1 1077944384 1678 13207 0 0 47 6 4 3 20 0 15 0 106933193 11348049920 273757 33554432000 4194304 4196468 140720422103968 139861020826512 139861482661589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15233] ppid=15173 vsize=11082080 memory=0 CPUtime=0.58 cores=1,3,5,7
/proc/15176/task/15233/stat : 15233 (java) S 15173 15176 9814 0 -1 1077944384 6294 13207 0 0 45 6 4 3 20 0 15 0 106933193 11348049920 273757 33554432000 4194304 4196468 140720422103968 139861019773712 139861482661589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15234] ppid=15173 vsize=11082080 memory=1095028 CPUtime=0.44 cores=1,3,5,7
/proc/15176/task/15234/stat : 15234 (java) S 15173 15176 9814 0 -1 1077944384 5525 13207 0 0 35 2 4 3 20 0 15 0 106933194 11348049920 273757 33554432000 4194304 4196468 140720422103968 139860908157296 139861482662530 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15235] ppid=15173 vsize=11082080 memory=1095028 CPUtime=0.07 cores=1,3,5,7
/proc/15176/task/15235/stat : 15235 (java) S 15173 15176 9814 0 -1 1077944384 17 13207 0 0 0 0 4 3 20 0 15 0 106933195 11348049920 273757 33554432000 4194304 4196468 140720422103968 139860254909536 139861482661589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15236] ppid=15173 vsize=11082080 memory=65 CPUtime=0.07 cores=1,3,5,7
/proc/15176/task/15236/stat : 15236 (java) S 15173 15176 9814 0 -1 1077944384 5 13207 0 0 0 0 4 3 20 0 15 0 106933195 11348049920 273757 33554432000 4194304 4196468 140720422103968 139860107060096 139861482661589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15237] ppid=15173 vsize=11082080 memory=1170804 CPUtime=0.07 cores=1,3,5,7
/proc/15176/task/15237/stat : 15237 (java) S 15173 15176 9814 0 -1 1077944384 3 13207 0 0 0 0 4 3 20 0 15 0 106933198 11348049920 273757 33554432000 4194304 4196468 140720422103968 139859799660368 139861482669979 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15238] ppid=15173 vsize=11082080 memory=4140 CPUtime=8.27 cores=1,3,5,7
/proc/15176/task/15238/stat : 15238 (java) S 15173 15176 9814 0 -1 1077944384 28183 13207 0 0 816 4 4 3 20 0 15 0 106933198 11348049920 273757 33554432000 4194304 4196468 140720422103968 139860907105136 139861482662530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15239] ppid=15173 vsize=11082080 memory=1095028 CPUtime=7.66 cores=1,3,5,7
/proc/15176/task/15239/stat : 15239 (java) S 15173 15176 9814 0 -1 1077944384 28059 13207 0 0 755 4 4 3 20 0 15 0 106933198 11348049920 273757 33554432000 4194304 4196468 140720422103968 139860906052336 139861482662530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15240] ppid=15173 vsize=11082080 memory=30508 CPUtime=3.23 cores=1,3,5,7
/proc/15176/task/15240/stat : 15240 (java) S 15173 15176 9814 0 -1 1077944384 24381 13207 0 0 311 5 4 3 20 0 15 0 106933198 11348049920 273757 33554432000 4194304 4196468 140720422103968 139860904999536 139861482662530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15241] ppid=15173 vsize=11082080 memory=1095028 CPUtime=0.07 cores=1,3,5,7
/proc/15176/task/15241/stat : 15241 (java) S 15173 15176 9814 0 -1 1077944384 3 13207 0 0 0 0 4 3 20 0 15 0 106933198 11348049920 273757 33554432000 4194304 4196468 140720422103968 139859368864480 139861482661589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15242] ppid=15173 vsize=11082080 memory=1095028 CPUtime=0.15 cores=1,3,5,7
/proc/15176/task/15242/stat : 15242 (java) S 15173 15176 9814 0 -1 1077944384 1945 13207 0 0 3 5 4 3 20 0 15 0 106933198 11348049920 273757 33554432000 4194304 4196468 140720422103968 139860903946928 139861482662530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
Current children cumulated CPU time: 182.8 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1095028 KiB
[startup+222.301 s]
/proc/loadavg: 2.06 1.91 1.42 5/216 15381
/proc/meminfo: memFree=26698328/32770624 swapFree=67108436/67108860
[pid=15176] ppid=15173 vsize=11082080 memory=1082780 CPUtime=244.6 cores=1,3,5,7
/proc/15176/stat : 15176 (java) S 15173 15176 9814 0 -1 1077944320 173899 13207 0 0 24376 77 4 3 20 0 15 0 106933183 11348049920 270695 33554432000 4194304 4196468 140720422103968 140720422086512 139861482651383 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
/proc/15176/statm: 2770520 270695 3531 1 0 2732173 0
[pid=15176/tid=15229] ppid=15173 vsize=11082080 memory=1082768 CPUtime=220.62 cores=1,3,5,7
/proc/15176/task/15229/stat : 15229 (java) R 15173 15176 9814 0 -1 4202560 61228 13207 0 0 22028 27 4 3 20 0 15 0 106933192 11348049920 270695 33554432000 4194304 4196468 140720422103968 139861454486768 139861075119512 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15230] ppid=15173 vsize=11082080 memory=1082768 CPUtime=0.87 cores=1,3,5,7
/proc/15176/task/15230/stat : 15230 (java) S 15173 15176 9814 0 -1 1077944384 1577 13207 0 0 74 6 4 3 20 0 15 0 106933193 11348049920 270695 33554432000 4194304 4196468 140720422103968 139861486894224 139861482661589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15231] ppid=15173 vsize=11082080 memory=1780 CPUtime=0.86 cores=1,3,5,7
/proc/15176/task/15231/stat : 15231 (java) S 15173 15176 9814 0 -1 1077944384 3106 13207 0 0 72 7 4 3 20 0 15 0 106933193 11348049920 270695 33554432000 4194304 4196468 140720422103968 139861021879312 139861482661589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15232] ppid=15173 vsize=11082080 memory=1082780 CPUtime=0.88 cores=1,3,5,7
/proc/15176/task/15232/stat : 15232 (java) S 15173 15176 9814 0 -1 1077944384 1783 13207 0 0 74 7 4 3 20 0 15 0 106933193 11348049920 270695 33554432000 4194304 4196468 140720422103968 139861020826512 139861482661589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15233] ppid=15173 vsize=11082080 memory=1082768 CPUtime=0.87 cores=1,3,5,7
/proc/15176/task/15233/stat : 15233 (java) S 15173 15176 9814 0 -1 1077944384 6922 13207 0 0 73 7 4 3 20 0 15 0 106933193 11348049920 270695 33554432000 4194304 4196468 140720422103968 139861019773712 139861482661589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15234] ppid=15173 vsize=11082080 memory=1082768 CPUtime=0.68 cores=1,3,5,7
/proc/15176/task/15234/stat : 15234 (java) S 15173 15176 9814 0 -1 1077944384 5857 13207 0 0 57 4 4 3 20 0 15 0 106933194 11348049920 270695 33554432000 4194304 4196468 140720422103968 139860908157296 139861482662530 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15235] ppid=15173 vsize=11082080 memory=280620950713104 CPUtime=0.07 cores=1,3,5,7
/proc/15176/task/15235/stat : 15235 (java) S 15173 15176 9814 0 -1 1077944384 17 13207 0 0 0 0 4 3 20 0 15 0 106933195 11348049920 270695 33554432000 4194304 4196468 140720422103968 139860254909536 139861482661589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15236] ppid=15173 vsize=11082080 memory=6944656592387989600 CPUtime=0.07 cores=1,3,5,7
/proc/15176/task/15236/stat : 15236 (java) S 15173 15176 9814 0 -1 1077944384 5 13207 0 0 0 0 4 3 20 0 15 0 106933195 11348049920 270695 33554432000 4194304 4196468 140720422103968 139860107060096 139861482661589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15237] ppid=15173 vsize=11082080 memory=1082780 CPUtime=0.07 cores=1,3,5,7
/proc/15176/task/15237/stat : 15237 (java) S 15173 15176 9814 0 -1 1077944384 3 13207 0 0 0 0 4 3 20 0 15 0 106933198 11348049920 270695 33554432000 4194304 4196468 140720422103968 139859799660368 139861482669979 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15238] ppid=15173 vsize=11082080 memory=1082780 CPUtime=8.7 cores=1,3,5,7
/proc/15176/task/15238/stat : 15238 (java) S 15173 15176 9814 0 -1 1077944384 30036 13207 0 0 858 5 4 3 20 0 15 0 106933198 11348049920 270695 33554432000 4194304 4196468 140720422103968 139860907105136 139861482662530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15239] ppid=15173 vsize=11082080 memory=1082780 CPUtime=8.1 cores=1,3,5,7
/proc/15176/task/15239/stat : 15239 (java) S 15173 15176 9814 0 -1 1077944384 31891 13207 0 0 798 5 4 3 20 0 15 0 106933198 11348049920 270695 33554432000 4194304 4196468 140720422103968 139860906052336 139861482662530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15240] ppid=15173 vsize=11082080 memory=4140 CPUtime=3.38 cores=1,3,5,7
/proc/15176/task/15240/stat : 15240 (java) S 15173 15176 9814 0 -1 1077944384 27304 13207 0 0 326 5 4 3 20 0 15 0 106933198 11348049920 270695 33554432000 4194304 4196468 140720422103968 139860904999536 139861482662530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15241] ppid=15173 vsize=11082080 memory=1082780 CPUtime=0.07 cores=1,3,5,7
/proc/15176/task/15241/stat : 15241 (java) S 15173 15176 9814 0 -1 1077944384 3 13207 0 0 0 0 4 3 20 0 15 0 106933198 11348049920 270695 33554432000 4194304 4196468 140720422103968 139859368864480 139861482661589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15242] ppid=15173 vsize=11082080 memory=1082780 CPUtime=0.19 cores=1,3,5,7
/proc/15176/task/15242/stat : 15242 (java) S 15173 15176 9814 0 -1 1077944384 1978 13207 0 0 5 7 4 3 20 0 15 0 106933198 11348049920 270695 33554432000 4194304 4196468 140720422103968 139860903946928 139861482662530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
Current children cumulated CPU time: 244.6 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1082780 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+229.501 s]
/proc/loadavg: 2.12 1.93 1.43 3/216 15381
/proc/meminfo: memFree=26440004/32770624 swapFree=67108436/67108860
[pid=15176] ppid=15173 vsize=11082080 memory=1082780 CPUtime=252.01 cores=1,3,5,7
/proc/15176/stat : 15176 (java) S 15173 15176 9814 0 -1 1077944320 174001 13207 0 0 25116 78 4 3 20 0 15 0 106933183 11348049920 270695 33554432000 4194304 4196468 140720422103968 140720422086512 139861482651383 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
/proc/15176/statm: 2770520 270695 3531 1 0 2732173 0
[pid=15176/tid=15229] ppid=15173 vsize=11082080 memory=1082768 CPUtime=227.74 cores=1,3,5,7
/proc/15176/task/15229/stat : 15229 (java) R 15173 15176 9814 0 -1 4202560 61315 13207 0 0 22740 27 4 3 20 0 15 0 106933192 11348049920 270695 33554432000 4194304 4196468 140720422103968 139861454486192 139861059112962 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15230] ppid=15173 vsize=11082080 memory=1082780 CPUtime=0.9 cores=1,3,5,7
/proc/15176/task/15230/stat : 15230 (java) S 15173 15176 9814 0 -1 1077944384 1577 13207 0 0 77 6 4 3 20 0 15 0 106933193 11348049920 270695 33554432000 4194304 4196468 140720422103968 139861486894224 139861482661589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15231] ppid=15173 vsize=11082080 memory=1082780 CPUtime=0.91 cores=1,3,5,7
/proc/15176/task/15231/stat : 15231 (java) S 15173 15176 9814 0 -1 1077944384 3107 13207 0 0 76 8 4 3 20 0 15 0 106933193 11348049920 270695 33554432000 4194304 4196468 140720422103968 139861021879312 139861482661589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15232] ppid=15173 vsize=11082080 memory=1082780 CPUtime=0.91 cores=1,3,5,7
/proc/15176/task/15232/stat : 15232 (java) S 15173 15176 9814 0 -1 1077944384 1783 13207 0 0 77 7 4 3 20 0 15 0 106933193 11348049920 270695 33554432000 4194304 4196468 140720422103968 139861020826512 139861482661589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15233] ppid=15173 vsize=11082080 memory=1082780 CPUtime=0.9 cores=1,3,5,7
/proc/15176/task/15233/stat : 15233 (java) S 15173 15176 9814 0 -1 1077944384 6923 13207 0 0 76 7 4 3 20 0 15 0 106933193 11348049920 270695 33554432000 4194304 4196468 140720422103968 139861019773712 139861482661589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15234] ppid=15173 vsize=11082080 memory=1082780 CPUtime=0.71 cores=1,3,5,7
/proc/15176/task/15234/stat : 15234 (java) S 15173 15176 9814 0 -1 1077944384 5859 13207 0 0 60 4 4 3 20 0 15 0 106933194 11348049920 270695 33554432000 4194304 4196468 140720422103968 139860908157296 139861482662530 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15235] ppid=15173 vsize=11082080 memory=1082780 CPUtime=0.07 cores=1,3,5,7
/proc/15176/task/15235/stat : 15235 (java) S 15173 15176 9814 0 -1 1077944384 17 13207 0 0 0 0 4 3 20 0 15 0 106933195 11348049920 270695 33554432000 4194304 4196468 140720422103968 139860254909536 139861482661589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15236] ppid=15173 vsize=11082080 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/15176/task/15236/stat : 15236 (java) S 15173 15176 9814 0 -1 1077944384 5 13207 0 0 0 0 4 3 20 0 15 0 106933195 11348049920 270695 33554432000 4194304 4196468 140720422103968 139860107060096 139861482661589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15237] ppid=15173 vsize=11082080 memory=1612 CPUtime=0.07 cores=1,3,5,7
/proc/15176/task/15237/stat : 15237 (java) S 15173 15176 9814 0 -1 1077944384 3 13207 0 0 0 0 4 3 20 0 15 0 106933198 11348049920 270695 33554432000 4194304 4196468 140720422103968 139859799660368 139861482669979 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15238] ppid=15173 vsize=11082080 memory=872 CPUtime=8.75 cores=1,3,5,7
/proc/15176/task/15238/stat : 15238 (java) S 15173 15176 9814 0 -1 1077944384 30037 13207 0 0 863 5 4 3 20 0 15 0 106933198 11348049920 270695 33554432000 4194304 4196468 140720422103968 139860907105136 139861482662530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15239] ppid=15173 vsize=11082080 memory=8076 CPUtime=8.15 cores=1,3,5,7
/proc/15176/task/15239/stat : 15239 (java) S 15173 15176 9814 0 -1 1077944384 31895 13207 0 0 803 5 4 3 20 0 15 0 106933198 11348049920 270695 33554432000 4194304 4196468 140720422103968 139860906052336 139861482662530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15240] ppid=15173 vsize=11082080 memory=1082780 CPUtime=3.4 cores=1,3,5,7
/proc/15176/task/15240/stat : 15240 (java) S 15173 15176 9814 0 -1 1077944384 27310 13207 0 0 328 5 4 3 20 0 15 0 106933198 11348049920 270695 33554432000 4194304 4196468 140720422103968 139860904999536 139861482662530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15241] ppid=15173 vsize=11082080 memory=1082780 CPUtime=0.07 cores=1,3,5,7
/proc/15176/task/15241/stat : 15241 (java) S 15173 15176 9814 0 -1 1077944384 3 13207 0 0 0 0 4 3 20 0 15 0 106933198 11348049920 270695 33554432000 4194304 4196468 140720422103968 139859368864480 139861482661589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15242] ppid=15173 vsize=11082080 memory=4140 CPUtime=0.19 cores=1,3,5,7
/proc/15176/task/15242/stat : 15242 (java) S 15173 15176 9814 0 -1 1077944384 1978 13207 0 0 5 7 4 3 20 0 15 0 106933198 11348049920 270695 33554432000 4194304 4196468 140720422103968 139860903946928 139861482662530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
Current children cumulated CPU time: 252.01 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1082780 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+229.544 s]
# the end of solver process 15176 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.232 s, system=0.847469 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+229.501 s]
/proc/loadavg: 2.12 1.93 1.43 3/216 15381
/proc/meminfo: memFree=26440004/32770624 swapFree=67108436/67108860
[pid=15176] ppid=15173 vsize=11082080 memory=1082780 CPUtime=252.01 cores=1,3,5,7
/proc/15176/stat : 15176 (java) S 15173 15176 9814 0 -1 1077944320 174001 13207 0 0 25116 78 4 3 20 0 15 0 106933183 11348049920 270695 33554432000 4194304 4196468 140720422103968 140720422086512 139861482651383 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
/proc/15176/statm: 2770520 270695 3531 1 0 2732173 0
[pid=15176/tid=15229] ppid=15173 vsize=11082080 memory=1082768 CPUtime=227.74 cores=1,3,5,7
/proc/15176/task/15229/stat : 15229 (java) R 15173 15176 9814 0 -1 4202560 61315 13207 0 0 22740 27 4 3 20 0 15 0 106933192 11348049920 270695 33554432000 4194304 4196468 140720422103968 139861454486192 139861059112962 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15230] ppid=15173 vsize=11082080 memory=1082780 CPUtime=0.9 cores=1,3,5,7
/proc/15176/task/15230/stat : 15230 (java) S 15173 15176 9814 0 -1 1077944384 1577 13207 0 0 77 6 4 3 20 0 15 0 106933193 11348049920 270695 33554432000 4194304 4196468 140720422103968 139861486894224 139861482661589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15231] ppid=15173 vsize=11082080 memory=1082780 CPUtime=0.91 cores=1,3,5,7
/proc/15176/task/15231/stat : 15231 (java) S 15173 15176 9814 0 -1 1077944384 3107 13207 0 0 76 8 4 3 20 0 15 0 106933193 11348049920 270695 33554432000 4194304 4196468 140720422103968 139861021879312 139861482661589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15232] ppid=15173 vsize=11082080 memory=1082780 CPUtime=0.91 cores=1,3,5,7
/proc/15176/task/15232/stat : 15232 (java) S 15173 15176 9814 0 -1 1077944384 1783 13207 0 0 77 7 4 3 20 0 15 0 106933193 11348049920 270695 33554432000 4194304 4196468 140720422103968 139861020826512 139861482661589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15233] ppid=15173 vsize=11082080 memory=1082780 CPUtime=0.9 cores=1,3,5,7
/proc/15176/task/15233/stat : 15233 (java) S 15173 15176 9814 0 -1 1077944384 6923 13207 0 0 76 7 4 3 20 0 15 0 106933193 11348049920 270695 33554432000 4194304 4196468 140720422103968 139861019773712 139861482661589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15234] ppid=15173 vsize=11082080 memory=1082780 CPUtime=0.71 cores=1,3,5,7
/proc/15176/task/15234/stat : 15234 (java) S 15173 15176 9814 0 -1 1077944384 5859 13207 0 0 60 4 4 3 20 0 15 0 106933194 11348049920 270695 33554432000 4194304 4196468 140720422103968 139860908157296 139861482662530 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15235] ppid=15173 vsize=11082080 memory=1082780 CPUtime=0.07 cores=1,3,5,7
/proc/15176/task/15235/stat : 15235 (java) S 15173 15176 9814 0 -1 1077944384 17 13207 0 0 0 0 4 3 20 0 15 0 106933195 11348049920 270695 33554432000 4194304 4196468 140720422103968 139860254909536 139861482661589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15236] ppid=15173 vsize=11082080 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/15176/task/15236/stat : 15236 (java) S 15173 15176 9814 0 -1 1077944384 5 13207 0 0 0 0 4 3 20 0 15 0 106933195 11348049920 270695 33554432000 4194304 4196468 140720422103968 139860107060096 139861482661589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15237] ppid=15173 vsize=11082080 memory=1612 CPUtime=0.07 cores=1,3,5,7
/proc/15176/task/15237/stat : 15237 (java) S 15173 15176 9814 0 -1 1077944384 3 13207 0 0 0 0 4 3 20 0 15 0 106933198 11348049920 270695 33554432000 4194304 4196468 140720422103968 139859799660368 139861482669979 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15238] ppid=15173 vsize=11082080 memory=872 CPUtime=8.75 cores=1,3,5,7
/proc/15176/task/15238/stat : 15238 (java) S 15173 15176 9814 0 -1 1077944384 30037 13207 0 0 863 5 4 3 20 0 15 0 106933198 11348049920 270695 33554432000 4194304 4196468 140720422103968 139860907105136 139861482662530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15239] ppid=15173 vsize=11082080 memory=8076 CPUtime=8.15 cores=1,3,5,7
/proc/15176/task/15239/stat : 15239 (java) S 15173 15176 9814 0 -1 1077944384 31895 13207 0 0 803 5 4 3 20 0 15 0 106933198 11348049920 270695 33554432000 4194304 4196468 140720422103968 139860906052336 139861482662530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15240] ppid=15173 vsize=11082080 memory=1082780 CPUtime=3.4 cores=1,3,5,7
/proc/15176/task/15240/stat : 15240 (java) S 15173 15176 9814 0 -1 1077944384 27310 13207 0 0 328 5 4 3 20 0 15 0 106933198 11348049920 270695 33554432000 4194304 4196468 140720422103968 139860904999536 139861482662530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15241] ppid=15173 vsize=11082080 memory=1082780 CPUtime=0.07 cores=1,3,5,7
/proc/15176/task/15241/stat : 15241 (java) S 15173 15176 9814 0 -1 1077944384 3 13207 0 0 0 0 4 3 20 0 15 0 106933198 11348049920 270695 33554432000 4194304 4196468 140720422103968 139859368864480 139861482661589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
[pid=15176/tid=15242] ppid=15173 vsize=11082080 memory=4140 CPUtime=0.19 cores=1,3,5,7
/proc/15176/task/15242/stat : 15242 (java) S 15173 15176 9814 0 -1 1077944384 1978 13207 0 0 5 7 4 3 20 0 15 0 106933198 11348049920 270695 33554432000 4194304 4196468 140720422103968 139860903946928 139861482662530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7421952 140720422111858 140720422114657 140720422114657 140720422117327 0
Current children cumulated CPU time: 252.01 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1082780 KiB
Child status: 143
Real time (s): 229.544
CPU time (s): 252.08
CPU user time (s): 251.232
CPU system time (s): 0.847469
CPU usage (%): 109.818
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 1208268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.232
system time used= 0.847469
maximum resident set size= 1210796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 188212
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28370
involuntary context switches= 529
# summary of solver processes directly reported to runsolver:
# pid: 15176
# total CPU time (s): 252.08
# total CPU user time (s): 251.232
# total CPU system time (s): 0.847469
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.39426 second user time and 2.25374 second system time
The end