Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Concrete 3.8 2018-06-13 | ? | 310.371 | 222.129 |
Name | CrosswordDesign/ CrosswordDesign-10-4-rom_c18.xml |
MD5SUM | 1ce90bfeea193be77ab92ac06e9a3657 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 84 |
Best CPU time to get the best result obtained on this benchmark | 2520.4 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 340 |
Number of constraints | 80 |
Number of domains | 5 |
Minimum domain size | 2 |
Maximum domain size | 102325 |
Distribution of domain sizes | [{"size":2,"count":20},{"size":11,"count":140},{"size":27,"count":100},{"size":102325,"count":80}] |
Minimum variable degree | 1 |
Maximum variable degree | 8 |
Distribution of variable degrees | [{"degree":1,"count":100},{"degree":2,"count":140},{"degree":8,"count":100}] |
Minimum constraint arity | 13 |
Maximum constraint arity | 14 |
Distribution of constraint arities | [{"arity":13,"count":20},{"arity":14,"count":60}] |
Number of extensional constraints | 80 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":80}] |
Optimization problem | YES |
Type of objective | max SUM |
1.00/0.74 c Concrete v3.8.1528841891564 running 310.15/222.03 Exception in thread "main" java.lang.reflect.InvocationTargetException 310.15/222.03 at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) 310.15/222.03 at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62) 310.15/222.03 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 310.15/222.03 at java.lang.reflect.Method.invoke(Method.java:498) 310.15/222.03 at concrete.Solver$.apply(Solver.scala:61) 310.15/222.03 at concrete.runner.CSPOMRunner.$anonfun$load$3(CSPOMRunner.scala:42) 310.15/222.03 at scala.util.Success.flatMap(Try.scala:247) 310.15/222.03 at concrete.runner.CSPOMRunner.$anonfun$load$2(CSPOMRunner.scala:39) 310.15/222.03 at scala.util.Success.flatMap(Try.scala:247) 310.15/222.03 at concrete.runner.CSPOMRunner.load(CSPOMRunner.scala:38) 310.15/222.03 at concrete.runner.CSPOMRunner.load$(CSPOMRunner.scala:36) 310.15/222.03 at concrete.runner.XCSP3Concrete$.load(XCSP3Concrete.scala:18) 310.15/222.03 at concrete.runner.CSPOMRunner.$anonfun$load$1(CSPOMRunner.scala:33) 310.15/222.03 at scala.util.Success.flatMap(Try.scala:247) 310.15/222.03 at concrete.runner.CSPOMRunner.load(CSPOMRunner.scala:33) 310.15/222.03 at concrete.runner.CSPOMRunner.load$(CSPOMRunner.scala:32) 310.15/222.03 at concrete.runner.XCSP3Concrete$.load(XCSP3Concrete.scala:18) 310.15/222.03 at concrete.runner.ConcreteRunner.$anonfun$run$1(ConcreteRunner.scala:64) 310.15/222.03 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182) 310.15/222.03 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12) 310.15/222.03 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61) 310.15/222.03 at org.scalameter.Measurer$Default.measure(Measurer.scala:133) 310.15/222.03 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51) 310.15/222.03 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61) 310.15/222.03 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181) 310.15/222.03 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:63) 310.15/222.03 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33) 310.15/222.03 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18) 310.15/222.03 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121) 310.15/222.03 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18) 310.15/222.03 at scala.Function0.apply$mcV$sp(Function0.scala:34) 310.15/222.03 at scala.Function0.apply$mcV$sp$(Function0.scala:34) 310.15/222.04 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12) 310.15/222.04 at scala.App.$anonfun$main$1$adapted(App.scala:76) 310.15/222.04 at scala.collection.immutable.List.foreach(List.scala:389) 310.15/222.04 at scala.App.main(App.scala:76) 310.15/222.04 at scala.App.main$(App.scala:74) 310.15/222.04 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18) 310.15/222.04 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 310.15/222.04 Caused by: java.lang.StackOverflowError 310.15/222.04 at mdd.BDD$$Lambda$667/1396483609.get$Lambda(Unknown Source) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:97) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.04 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.04 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.04 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.04 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 at mdd.TSSet.onceOrElse(TSSet.scala:22) 310.15/222.05 at mdd.BDD.traverse$2(BDD.scala:101) 310.15/222.05 at mdd.BDD.$anonfun$fastIdentify$1(BDD.scala:98) 310.15/222.05 at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.java:12) 310.15/222.05 s UNKNOWN
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 (6448 MiB free) memory of node 1: 16384 MiB (12973 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293981-1532399290/watcher-4293981-1532399290 -o /tmp/evaluation-result-4293981-1532399290/solver-4293981-1532399290 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532371073-15153 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=891807281 HOME/instance-4293981-1532399290.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=20428, runsolver pid=20425 [startup+0.100094 s]* /proc/loadavg: 1.57 1.54 1.56 3/206 20485 /proc/meminfo: memFree=19882292/32770624 swapFree=67108860/67108860 [pid=20428] ppid=20425 vsize=9972712 memory=17216 CPUtime=0.09 cores=1,3,5,7 /proc/20428/stat : 20428 (java) S 20425 20428 15121 0 -1 1077944320 4445 12989 0 0 1 0 5 3 20 0 6 0 57492264 10212057088 4304 33554432000 4194304 4196468 140728683404384 140728683386928 140587973701367 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 /proc/20428/statm: 2493178 4304 1934 1 0 2481616 0 [pid=20428/tid=20481] ppid=20425 vsize=9972712 memory=4279135704013569934 CPUtime=0.08 cores=1,3,5,7 /proc/20428/task/20481/stat : 20481 (java) R 20425 20428 15121 0 -1 4202560 2255 12989 0 0 0 0 5 3 20 0 6 0 57492273 10212057088 4304 33554432000 4194304 4196468 140728683404384 140587945538128 140587957781884 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20482] ppid=20425 vsize=9972712 memory=8257237230052613020 CPUtime=0.08 cores=1,3,5,7 /proc/20428/task/20482/stat : 20482 (java) S 20425 20428 15121 0 -1 1077944384 1 12989 0 0 0 0 5 3 20 0 6 0 57492273 10212057088 4304 33554432000 4194304 4196468 140728683404384 140587977943696 140587973711573 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20483] ppid=20425 vsize=9972712 memory=140642603832960 CPUtime=0.08 cores=1,3,5,7 /proc/20428/task/20483/stat : 20483 (java) S 20425 20428 15121 0 -1 1077944384 1 12989 0 0 0 0 5 3 20 0 6 0 57492273 10212057088 4304 33554432000 4194304 4196468 140728683404384 140587546892816 140587973711573 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20484] ppid=20425 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7 /proc/20428/task/20484/stat : 20484 (java) S 20425 20428 15121 0 -1 1077944384 1 12989 0 0 0 0 5 3 20 0 6 0 57492273 10212057088 4304 33554432000 4194304 4196468 140728683404384 140587545840016 140587973711573 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20485] ppid=20425 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7 /proc/20428/task/20485/stat : 20485 (java) S 20425 20428 15121 0 -1 1077944384 2 12989 0 0 0 0 5 3 20 0 6 0 57492273 10212057088 4304 33554432000 4194304 4196468 140728683404384 140587544787216 140587973711573 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 Current children cumulated CPU time: 0.09 s Current children cumulated vsize: 9972712 KiB Current children cumulated memory: 17216 KiB [startup+0.209979 s]* /proc/loadavg: 1.57 1.54 1.56 3/215 20494 /proc/meminfo: memFree=19857332/32770624 swapFree=67108860/67108860 [pid=20428] ppid=20425 vsize=10818904 memory=45656 CPUtime=0.26 cores=1,3,5,7 /proc/20428/stat : 20428 (java) S 20425 20428 15121 0 -1 1077944320 8125 12989 0 0 17 1 5 3 20 0 15 0 57492264 11078557696 11414 33554432000 4194304 4196468 140728683404384 140728683386928 140587973701367 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 /proc/20428/statm: 2704726 11414 2961 1 0 2667149 0 [pid=20428/tid=20481] ppid=20425 vsize=10818904 memory=-6517102902069810590 CPUtime=0.2 cores=1,3,5,7 /proc/20428/task/20481/stat : 20481 (java) R 20425 20428 15121 0 -1 4202560 4738 12989 0 0 11 1 5 3 20 0 15 0 57492273 11078557696 11480 33554432000 4194304 4196468 140728683404384 140587945497408 140587965938494 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20482] ppid=20425 vsize=10818904 memory=-7025452035940392864 CPUtime=0.08 cores=1,3,5,7 /proc/20428/task/20482/stat : 20482 (java) S 20425 20428 15121 0 -1 1077944384 1 12989 0 0 0 0 5 3 20 0 15 0 57492273 11078557696 11480 33554432000 4194304 4196468 140728683404384 140587977943696 140587973711573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20483] ppid=20425 vsize=10818904 memory=140642603832960 CPUtime=0.08 cores=1,3,5,7 /proc/20428/task/20483/stat : 20483 (java) S 20425 20428 15121 0 -1 1077944384 1 12989 0 0 0 0 5 3 20 0 15 0 57492273 11078557696 11480 33554432000 4194304 4196468 140728683404384 140587546892816 140587973711573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20484] ppid=20425 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7 /proc/20428/task/20484/stat : 20484 (java) S 20425 20428 15121 0 -1 1077944384 1 12989 0 0 0 0 5 3 20 0 15 0 57492273 11078557696 11480 33554432000 4194304 4196468 140728683404384 140587545840016 140587973711573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20485] ppid=20425 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7 /proc/20428/task/20485/stat : 20485 (java) S 20425 20428 15121 0 -1 1077944384 2 12989 0 0 0 0 5 3 20 0 15 0 57492273 11078557696 11480 33554432000 4194304 4196468 140728683404384 140587544787216 140587973711573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20486] ppid=20425 vsize=10818904 memory=140642603832960 CPUtime=0.08 cores=1,3,5,7 /proc/20428/task/20486/stat : 20486 (java) S 20425 20428 15121 0 -1 1077944384 2 12989 0 0 0 0 5 3 20 0 15 0 57492275 11078557696 11480 33554432000 4194304 4196468 140728683404384 140586976799600 140587973712514 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20487] ppid=20425 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7 /proc/20428/task/20487/stat : 20487 (java) S 20425 20428 15121 0 -1 1077944384 13 12989 0 0 0 0 5 3 20 0 15 0 57492275 11078557696 11480 33554432000 4194304 4196468 140728683404384 140586896057888 140587973711573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20488] ppid=20425 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7 /proc/20428/task/20488/stat : 20488 (java) S 20425 20428 15121 0 -1 1077944384 1 12989 0 0 0 0 5 3 20 0 15 0 57492276 11078557696 11480 33554432000 4194304 4196468 140728683404384 140586761839984 140587973711573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20489] ppid=20425 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7 /proc/20428/task/20489/stat : 20489 (java) S 20425 20428 15121 0 -1 1077944384 3 12989 0 0 0 0 5 3 20 0 15 0 57492278 11078557696 11480 33554432000 4194304 4196468 140728683404384 140586521549136 140587973719963 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20490] ppid=20425 vsize=10818904 memory=0 CPUtime=0.09 cores=1,3,5,7 /proc/20428/task/20490/stat : 20490 (java) S 20425 20428 15121 0 -1 1077944384 419 12989 0 0 1 0 5 3 20 0 15 0 57492278 11078557696 11480 33554432000 4194304 4196468 140728683404384 140586975746416 140587973712514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20491] ppid=20425 vsize=10818904 memory=-1 CPUtime=0.09 cores=1,3,5,7 /proc/20428/task/20491/stat : 20491 (java) S 20425 20428 15121 0 -1 1077944384 180 12989 0 0 1 0 5 3 20 0 15 0 57492278 11078557696 11480 33554432000 4194304 4196468 140728683404384 140586974693616 140587973712514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20492] ppid=20425 vsize=10818904 memory=140642603832960 CPUtime=0.11 cores=1,3,5,7 /proc/20428/task/20492/stat : 20492 (java) S 20425 20428 15121 0 -1 1077944384 617 12989 0 0 3 0 5 3 20 0 15 0 57492278 11078557696 11480 33554432000 4194304 4196468 140728683404384 140586973640816 140587973712514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20493] ppid=20425 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7 /proc/20428/task/20493/stat : 20493 (java) S 20425 20428 15121 0 -1 1077944384 3 12989 0 0 0 0 5 3 20 0 15 0 57492279 11078557696 11480 33554432000 4194304 4196468 140728683404384 140586487990496 140587973711573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20494] ppid=20425 vsize=10818904 memory=140642603832960 CPUtime=0.08 cores=1,3,5,7 /proc/20428/task/20494/stat : 20494 (java) S 20425 20428 15121 0 -1 1077944384 1 12989 0 0 0 0 5 3 20 0 15 0 57492279 11078557696 11480 33554432000 4194304 4196468 140728683404384 140586972589232 140587973712514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 Current children cumulated CPU time: 0.26 s Current children cumulated vsize: 10818904 KiB Current children cumulated memory: 45656 KiB [startup+0.310339 s]* /proc/loadavg: 1.57 1.54 1.56 3/215 20494 /proc/meminfo: memFree=19846044/32770624 swapFree=67108860/67108860 [pid=20428] ppid=20425 vsize=10819352 memory=56636 CPUtime=0.39 cores=1,3,5,7 /proc/20428/stat : 20428 (java) S 20425 20428 15121 0 -1 1077944320 10709 12989 0 0 29 2 5 3 20 0 15 0 57492264 11079016448 14159 33554432000 4194304 4196468 140728683404384 140728683386928 140587973701367 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 /proc/20428/statm: 2704838 14159 3080 1 0 2667149 0 [pid=20428/tid=20481] ppid=20425 vsize=10819352 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7 /proc/20428/task/20481/stat : 20481 (java) R 20425 20428 15121 0 -1 4202560 7263 12989 0 0 19 2 5 3 20 0 15 0 57492273 11079016448 14159 33554432000 4194304 4196468 140728683404384 140587945513376 140587957781854 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20482] ppid=20425 vsize=10819352 memory=7300986251812819024 CPUtime=0.08 cores=1,3,5,7 /proc/20428/task/20482/stat : 20482 (java) S 20425 20428 15121 0 -1 1077944384 1 12989 0 0 0 0 5 3 20 0 15 0 57492273 11079016448 14159 33554432000 4194304 4196468 140728683404384 140587977943696 140587973711573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20483] ppid=20425 vsize=10819352 memory=2076 CPUtime=0.08 cores=1,3,5,7 /proc/20428/task/20483/stat : 20483 (java) S 20425 20428 15121 0 -1 1077944384 1 12989 0 0 0 0 5 3 20 0 15 0 57492273 11079016448 14159 33554432000 4194304 4196468 140728683404384 140587546892816 140587973711573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20484] ppid=20425 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7 /proc/20428/task/20484/stat : 20484 (java) S 20425 20428 15121 0 -1 1077944384 1 12989 0 0 0 0 5 3 20 0 15 0 57492273 11079016448 14159 33554432000 4194304 4196468 140728683404384 140587545840016 140587973711573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20485] ppid=20425 vsize=10819352 memory=4126316290023845779 CPUtime=0.08 cores=1,3,5,7 /proc/20428/task/20485/stat : 20485 (java) S 20425 20428 15121 0 -1 1077944384 2 12989 0 0 0 0 5 3 20 0 15 0 57492273 11079016448 14159 33554432000 4194304 4196468 140728683404384 140587544787216 140587973711573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20486] ppid=20425 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7 /proc/20428/task/20486/stat : 20486 (java) S 20425 20428 15121 0 -1 1077944384 2 12989 0 0 0 0 5 3 20 0 15 0 57492275 11079016448 14159 33554432000 4194304 4196468 140728683404384 140586976799600 140587973712514 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20487] ppid=20425 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7 /proc/20428/task/20487/stat : 20487 (java) S 20425 20428 15121 0 -1 1077944384 13 12989 0 0 0 0 5 3 20 0 15 0 57492275 11079016448 14159 33554432000 4194304 4196468 140728683404384 140586896057888 140587973711573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20488] ppid=20425 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7 /proc/20428/task/20488/stat : 20488 (java) S 20425 20428 15121 0 -1 1077944384 1 12989 0 0 0 0 5 3 20 0 15 0 57492276 11079016448 14159 33554432000 4194304 4196468 140728683404384 140586761839984 140587973711573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20489] ppid=20425 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7 /proc/20428/task/20489/stat : 20489 (java) S 20425 20428 15121 0 -1 1077944384 3 12989 0 0 0 0 5 3 20 0 15 0 57492278 11079016448 14159 33554432000 4194304 4196468 140728683404384 140586521549136 140587973719963 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20490] ppid=20425 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7 /proc/20428/task/20490/stat : 20490 (java) S 20425 20428 15121 0 -1 1077944384 421 12989 0 0 1 0 5 3 20 0 15 0 57492278 11079016448 14159 33554432000 4194304 4196468 140728683404384 140586975746416 140587973712514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20491] ppid=20425 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7 /proc/20428/task/20491/stat : 20491 (java) S 20425 20428 15121 0 -1 1077944384 180 12989 0 0 1 0 5 3 20 0 15 0 57492278 11079016448 14159 33554432000 4194304 4196468 140728683404384 140586974693616 140587973712514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20492] ppid=20425 vsize=10819352 memory=0 CPUtime=0.13 cores=1,3,5,7 /proc/20428/task/20492/stat : 20492 (java) S 20425 20428 15121 0 -1 1077944384 627 12989 0 0 5 0 5 3 20 0 15 0 57492278 11079016448 14159 33554432000 4194304 4196468 140728683404384 140586973640816 140587973712514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20493] ppid=20425 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7 /proc/20428/task/20493/stat : 20493 (java) S 20425 20428 15121 0 -1 1077944384 3 12989 0 0 0 0 5 3 20 0 15 0 57492279 11079016448 14159 33554432000 4194304 4196468 140728683404384 140586487990496 140587973711573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20494] ppid=20425 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7 /proc/20428/task/20494/stat : 20494 (java) S 20425 20428 15121 0 -1 1077944384 1 12989 0 0 0 0 5 3 20 0 15 0 57492279 11079016448 14159 33554432000 4194304 4196468 140728683404384 140586972589232 140587973712514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 Current children cumulated CPU time: 0.39 s Current children cumulated vsize: 10819352 KiB Current children cumulated memory: 56636 KiB [startup+0.700775 s] /proc/loadavg: 1.57 1.54 1.56 3/215 20494 /proc/meminfo: memFree=19834880/32770624 swapFree=67108860/67108860 [pid=20428] ppid=20425 vsize=10819352 memory=88584 CPUtime=1 cores=1,3,5,7 /proc/20428/stat : 20428 (java) S 20425 20428 15121 0 -1 1077944320 16770 12989 0 0 88 4 5 3 20 0 15 0 57492264 11079016448 22146 33554432000 4194304 4196468 140728683404384 140728683386928 140587973701367 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 /proc/20428/statm: 2704838 22146 3242 1 0 2667149 0 [pid=20428/tid=20481] ppid=20425 vsize=10819352 memory=0 CPUtime=0.67 cores=1,3,5,7 /proc/20428/task/20481/stat : 20481 (java) R 20425 20428 15121 0 -1 4202560 12287 12989 0 0 56 3 5 3 20 0 15 0 57492273 11079016448 22146 33554432000 4194304 4196468 140728683404384 140587945521656 140587957781854 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20482] ppid=20425 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7 /proc/20428/task/20482/stat : 20482 (java) S 20425 20428 15121 0 -1 1077944384 1 12989 0 0 0 0 5 3 20 0 15 0 57492273 11079016448 22146 33554432000 4194304 4196468 140728683404384 140587977943696 140587973711573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20483] ppid=20425 vsize=10819352 memory=4136 CPUtime=0.08 cores=1,3,5,7 /proc/20428/task/20483/stat : 20483 (java) S 20425 20428 15121 0 -1 1077944384 1 12989 0 0 0 0 5 3 20 0 15 0 57492273 11079016448 22146 33554432000 4194304 4196468 140728683404384 140587546892816 140587973711573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20484] ppid=20425 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7 /proc/20428/task/20484/stat : 20484 (java) S 20425 20428 15121 0 -1 1077944384 1 12989 0 0 0 0 5 3 20 0 15 0 57492273 11079016448 22146 33554432000 4194304 4196468 140728683404384 140587545840016 140587973711573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20485] ppid=20425 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7 /proc/20428/task/20485/stat : 20485 (java) S 20425 20428 15121 0 -1 1077944384 2 12989 0 0 0 0 5 3 20 0 15 0 57492273 11079016448 22146 33554432000 4194304 4196468 140728683404384 140587544787216 140587973711573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20486] ppid=20425 vsize=10819352 memory=4420 CPUtime=0.08 cores=1,3,5,7 /proc/20428/task/20486/stat : 20486 (java) S 20425 20428 15121 0 -1 1077944384 5 12989 0 0 0 0 5 3 20 0 15 0 57492275 11079016448 22146 33554432000 4194304 4196468 140728683404384 140586976799600 140587973712514 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20487] ppid=20425 vsize=10819352 memory=6628 CPUtime=0.08 cores=1,3,5,7 /proc/20428/task/20487/stat : 20487 (java) S 20425 20428 15121 0 -1 1077944384 13 12989 0 0 0 0 5 3 20 0 15 0 57492275 11079016448 22146 33554432000 4194304 4196468 140728683404384 140586896057888 140587973711573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20488] ppid=20425 vsize=10819352 memory=8836 CPUtime=0.08 cores=1,3,5,7 /proc/20428/task/20488/stat : 20488 (java) S 20425 20428 15121 0 -1 1077944384 1 12989 0 0 0 0 5 3 20 0 15 0 57492276 11079016448 22146 33554432000 4194304 4196468 140728683404384 140586761839984 140587973711573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20489] ppid=20425 vsize=10819352 memory=11044 CPUtime=0.08 cores=1,3,5,7 /proc/20428/task/20489/stat : 20489 (java) S 20425 20428 15121 0 -1 1077944384 3 12989 0 0 0 0 5 3 20 0 15 0 57492278 11079016448 22146 33554432000 4194304 4196468 140728683404384 140586521549136 140587973719963 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20490] ppid=20425 vsize=10819352 memory=13252 CPUtime=0.18 cores=1,3,5,7 /proc/20428/task/20490/stat : 20490 (java) S 20425 20428 15121 0 -1 1077944384 1056 12989 0 0 10 0 5 3 20 0 15 0 57492278 11079016448 22146 33554432000 4194304 4196468 140728683404384 140586975746416 140587973712514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20491] ppid=20425 vsize=10819352 memory=15460 CPUtime=0.14 cores=1,3,5,7 /proc/20428/task/20491/stat : 20491 (java) S 20425 20428 15121 0 -1 1077944384 535 12989 0 0 6 0 5 3 20 0 15 0 57492278 11079016448 22146 33554432000 4194304 4196468 140728683404384 140586974693616 140587973712514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20492] ppid=20425 vsize=10819352 memory=17668 CPUtime=0.21 cores=1,3,5,7 /proc/20428/task/20492/stat : 20492 (java) S 20425 20428 15121 0 -1 1077944384 669 12989 0 0 13 0 5 3 20 0 15 0 57492278 11079016448 22146 33554432000 4194304 4196468 140728683404384 140586973640816 140587973712514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20493] ppid=20425 vsize=10819352 memory=19876 CPUtime=0.08 cores=1,3,5,7 /proc/20428/task/20493/stat : 20493 (java) S 20425 20428 15121 0 -1 1077944384 3 12989 0 0 0 0 5 3 20 0 15 0 57492279 11079016448 22146 33554432000 4194304 4196468 140728683404384 140586487990496 140587973711573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20494] ppid=20425 vsize=10819352 memory=22084 CPUtime=0.08 cores=1,3,5,7 /proc/20428/task/20494/stat : 20494 (java) S 20425 20428 15121 0 -1 1077944384 1 12989 0 0 0 0 5 3 20 0 15 0 57492279 11079016448 22146 33554432000 4194304 4196468 140728683404384 140586972589232 140587973712514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 Current children cumulated CPU time: 1 s Current children cumulated vsize: 10819352 KiB Current children cumulated memory: 88584 KiB [startup+1.51224 s] /proc/loadavg: 1.57 1.54 1.56 5/215 20494 /proc/meminfo: memFree=19790720/32770624 swapFree=67108860/67108860 [pid=20428] ppid=20425 vsize=10828108 memory=334948 CPUtime=2.87 cores=1,3,5,7 /proc/20428/stat : 20428 (java) S 20425 20428 15121 0 -1 1077944320 21981 12989 0 0 261 18 5 3 20 0 15 0 57492264 11087982592 83737 33554432000 4194304 4196468 140728683404384 140728683386928 140587973701367 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 /proc/20428/statm: 2707027 83737 3466 1 0 2668685 0 [pid=20428/tid=20481] ppid=20425 vsize=10828108 memory=0 CPUtime=1.41 cores=1,3,5,7 /proc/20428/task/20481/stat : 20481 (java) S 20425 20428 15121 0 -1 1077944384 15052 12989 0 0 127 6 5 3 20 0 15 0 57492273 11087982592 83737 33554432000 4194304 4196468 140728683404384 140587945535648 140587973711573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20482] ppid=20425 vsize=10828108 memory=0 CPUtime=0.12 cores=1,3,5,7 /proc/20428/task/20482/stat : 20482 (java) R 20425 20428 15121 0 -1 4202560 51 12989 0 0 2 2 5 3 20 0 15 0 57492273 11087982592 83737 33554432000 4194304 4196468 140728683404384 140587977943696 140587966329575 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20483] ppid=20425 vsize=10828108 memory=0 CPUtime=0.12 cores=1,3,5,7 /proc/20428/task/20483/stat : 20483 (java) R 20425 20428 15121 0 -1 4202560 41 12989 0 0 2 2 5 3 20 0 15 0 57492273 11087982592 83737 33554432000 4194304 4196468 140728683404384 140587546893016 140587966329575 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20484] ppid=20425 vsize=10828108 memory=0 CPUtime=0.12 cores=1,3,5,7 /proc/20428/task/20484/stat : 20484 (java) R 20425 20428 15121 0 -1 4202560 299 12989 0 0 2 2 5 3 20 0 15 0 57492273 11087982592 83737 33554432000 4194304 4196468 140728683404384 140587545840216 140587966804268 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20485] ppid=20425 vsize=10828108 memory=0 CPUtime=0.12 cores=1,3,5,7 /proc/20428/task/20485/stat : 20485 (java) R 20425 20428 15121 0 -1 4202560 298 12989 0 0 2 2 5 3 20 0 15 0 57492273 11087982592 83737 33554432000 4194304 4196468 140728683404384 140587544787336 140587966329575 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20486] ppid=20425 vsize=10828108 memory=1399103955520229747 CPUtime=0.08 cores=1,3,5,7 /proc/20428/task/20486/stat : 20486 (java) S 20425 20428 15121 0 -1 1077944384 85 12989 0 0 0 0 5 3 20 0 15 0 57492275 11087982592 83737 33554432000 4194304 4196468 140728683404384 140586976798112 140587973711573 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20487] ppid=20425 vsize=10828108 memory=281284924483840 CPUtime=0.08 cores=1,3,5,7 /proc/20428/task/20487/stat : 20487 (java) S 20425 20428 15121 0 -1 1077944384 15 12989 0 0 0 0 5 3 20 0 15 0 57492275 11087982592 83737 33554432000 4194304 4196468 140728683404384 140586896057888 140587973711573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20488] ppid=20425 vsize=10828108 memory=0 CPUtime=0.08 cores=1,3,5,7 /proc/20428/task/20488/stat : 20488 (java) S 20425 20428 15121 0 -1 1077944384 3 12989 0 0 0 0 5 3 20 0 15 0 57492276 11087982592 83737 33554432000 4194304 4196468 140728683404384 140586761839984 140587973711573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20489] ppid=20425 vsize=10828108 memory=1228 CPUtime=0.08 cores=1,3,5,7 /proc/20428/task/20489/stat : 20489 (java) S 20425 20428 15121 0 -1 1077944384 3 12989 0 0 0 0 5 3 20 0 15 0 57492278 11087982592 83737 33554432000 4194304 4196468 140728683404384 140586521549136 140587973719963 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20490] ppid=20425 vsize=10828108 memory=1704 CPUtime=0.55 cores=1,3,5,7 /proc/20428/task/20490/stat : 20490 (java) S 20425 20428 15121 0 -1 1077944384 1666 12989 0 0 47 0 5 3 20 0 15 0 57492278 11087982592 83737 33554432000 4194304 4196468 140728683404384 140586975731408 140587973711573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20491] ppid=20425 vsize=10828108 memory=9924 CPUtime=0.49 cores=1,3,5,7 /proc/20428/task/20491/stat : 20491 (java) S 20425 20428 15121 0 -1 1077944384 1052 12989 0 0 41 0 5 3 20 0 15 0 57492278 11087982592 83737 33554432000 4194304 4196468 140728683404384 140586974693616 140587973712514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20492] ppid=20425 vsize=10828108 memory=5788 CPUtime=0.42 cores=1,3,5,7 /proc/20428/task/20492/stat : 20492 (java) S 20425 20428 15121 0 -1 1077944384 1220 12989 0 0 34 0 5 3 20 0 15 0 57492278 11087982592 83737 33554432000 4194304 4196468 140728683404384 140586973640816 140587973712514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20493] ppid=20425 vsize=10828108 memory=1936 CPUtime=0.08 cores=1,3,5,7 /proc/20428/task/20493/stat : 20493 (java) S 20425 20428 15121 0 -1 1077944384 3 12989 0 0 0 0 5 3 20 0 15 0 57492279 11087982592 83737 33554432000 4194304 4196468 140728683404384 140586487990496 140587973711573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20494] ppid=20425 vsize=10828108 memory=1196 CPUtime=0.08 cores=1,3,5,7 /proc/20428/task/20494/stat : 20494 (java) S 20425 20428 15121 0 -1 1077944384 1 12989 0 0 0 0 5 3 20 0 15 0 57492279 11087982592 83737 33554432000 4194304 4196468 140728683404384 140586972589232 140587973712514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 Current children cumulated CPU time: 2.87 s Current children cumulated vsize: 10828108 KiB ################ # More data... # ################ [startup+219.201 s] /proc/loadavg: 1.85 1.70 1.62 3/216 20505 /proc/meminfo: memFree=14282452/32770624 swapFree=67108860/67108860 [pid=20428] ppid=20425 vsize=10846560 memory=5438740 CPUtime=306.29 cores=1,3,5,7 /proc/20428/stat : 20428 (java) S 20425 20428 15121 0 -1 1077944320 378790 12989 0 0 30187 434 5 3 20 0 15 0 57492264 11106877440 1359685 33554432000 4194304 4196468 140728683404384 140728683386928 140587973701367 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 /proc/20428/statm: 2711640 1359685 3512 1 0 2673293 0 [pid=20428/tid=20481] ppid=20425 vsize=10846560 memory=1408 CPUtime=189.92 cores=1,3,5,7 /proc/20428/task/20481/stat : 20481 (java) R 20425 20428 15121 0 -1 4202560 61374 12989 0 0 18946 38 5 3 20 0 15 0 57492273 11106877440 1359685 33554432000 4194304 4196468 140728683404384 140587945531680 140587583212880 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20482] ppid=20425 vsize=10846560 memory=3140 CPUtime=26.69 cores=1,3,5,7 /proc/20428/task/20482/stat : 20482 (java) S 20425 20428 15121 0 -1 1077944384 63337 12989 0 0 2567 94 5 3 20 0 15 0 57492273 11106877440 1359685 33554432000 4194304 4196468 140728683404384 140587977943696 140587973711573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20483] ppid=20425 vsize=10846560 memory=6791534058613427641 CPUtime=26.68 cores=1,3,5,7 /proc/20428/task/20483/stat : 20483 (java) S 20425 20428 15121 0 -1 1077944384 74859 12989 0 0 2567 93 5 3 20 0 15 0 57492273 11106877440 1359685 33554432000 4194304 4196468 140728683404384 140587546892816 140587973711573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20484] ppid=20425 vsize=10846560 memory=2892 CPUtime=26.58 cores=1,3,5,7 /proc/20428/task/20484/stat : 20484 (java) S 20425 20428 15121 0 -1 1077944384 52255 12989 0 0 2555 95 5 3 20 0 15 0 57492273 11106877440 1359685 33554432000 4194304 4196468 140728683404384 140587545840016 140587973711573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20485] ppid=20425 vsize=10846560 memory=2672 CPUtime=26.57 cores=1,3,5,7 /proc/20428/task/20485/stat : 20485 (java) S 20425 20428 15121 0 -1 1077944384 65293 12989 0 0 2555 94 5 3 20 0 15 0 57492273 11106877440 1359685 33554432000 4194304 4196468 140728683404384 140587544787216 140587973711573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20486] ppid=20425 vsize=10846560 memory=4104 CPUtime=2.55 cores=1,3,5,7 /proc/20428/task/20486/stat : 20486 (java) S 20425 20428 15121 0 -1 1077944384 25410 12989 0 0 244 3 5 3 20 0 15 0 57492275 11106877440 1359685 33554432000 4194304 4196468 140728683404384 140586976799600 140587973712514 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20487] ppid=20425 vsize=10846560 memory=5467980 CPUtime=0.08 cores=1,3,5,7 /proc/20428/task/20487/stat : 20487 (java) S 20425 20428 15121 0 -1 1077944384 19 12989 0 0 0 0 5 3 20 0 15 0 57492275 11106877440 1359685 33554432000 4194304 4196468 140728683404384 140586896057952 140587973711573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20488] ppid=20425 vsize=10846560 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7 /proc/20428/task/20488/stat : 20488 (java) S 20425 20428 15121 0 -1 1077944384 5 12989 0 0 0 0 5 3 20 0 15 0 57492276 11106877440 1359685 33554432000 4194304 4196468 140728683404384 140586761840000 140587973711573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20489] ppid=20425 vsize=10846560 memory=4126316290023845779 CPUtime=0.08 cores=1,3,5,7 /proc/20428/task/20489/stat : 20489 (java) S 20425 20428 15121 0 -1 1077944384 3 12989 0 0 0 0 5 3 20 0 15 0 57492278 11106877440 1359685 33554432000 4194304 4196468 140728683404384 140586521549136 140587973719963 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20490] ppid=20425 vsize=10846560 memory=8836 CPUtime=2.97 cores=1,3,5,7 /proc/20428/task/20490/stat : 20490 (java) S 20425 20428 15121 0 -1 1077944384 8901 12989 0 0 287 2 5 3 20 0 15 0 57492278 11106877440 1359685 33554432000 4194304 4196468 140728683404384 140586975746416 140587973712514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20491] ppid=20425 vsize=10846560 memory=5467980 CPUtime=3.2 cores=1,3,5,7 /proc/20428/task/20491/stat : 20491 (java) S 20425 20428 15121 0 -1 1077944384 8280 12989 0 0 311 1 5 3 20 0 15 0 57492278 11106877440 1359685 33554432000 4194304 4196468 140728683404384 140586974693616 140587973712514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20492] ppid=20425 vsize=10846560 memory=4136 CPUtime=1.51 cores=1,3,5,7 /proc/20428/task/20492/stat : 20492 (java) S 20425 20428 15121 0 -1 1077944384 16277 12989 0 0 141 2 5 3 20 0 15 0 57492278 11106877440 1359685 33554432000 4194304 4196468 140728683404384 140586973640816 140587973712514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20493] ppid=20425 vsize=10846560 memory=18252 CPUtime=0.08 cores=1,3,5,7 /proc/20428/task/20493/stat : 20493 (java) S 20425 20428 15121 0 -1 1077944384 3 12989 0 0 0 0 5 3 20 0 15 0 57492279 11106877440 1359685 33554432000 4194304 4196468 140728683404384 140586487990496 140587973711573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20494] ppid=20425 vsize=10846560 memory=2420 CPUtime=0.22 cores=1,3,5,7 /proc/20428/task/20494/stat : 20494 (java) S 20425 20428 15121 0 -1 1077944384 582 12989 0 0 6 8 5 3 20 0 15 0 57492279 11106877440 1359685 33554432000 4194304 4196468 140728683404384 140586972589232 140587973712514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 Current children cumulated CPU time: 306.29 s Current children cumulated vsize: 10846560 KiB Current children cumulated memory: 5438740 KiB [startup+220.801 s] /proc/loadavg: 1.85 1.70 1.62 3/216 20505 /proc/meminfo: memFree=14282528/32770624 swapFree=67108860/67108860 [pid=20428] ppid=20425 vsize=10846560 memory=5438740 CPUtime=307.96 cores=1,3,5,7 /proc/20428/stat : 20428 (java) S 20425 20428 15121 0 -1 1077944320 381052 12989 0 0 30353 435 5 3 20 0 15 0 57492264 11106877440 1359685 33554432000 4194304 4196468 140728683404384 140728683386928 140587973701367 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 /proc/20428/statm: 2711640 1359685 3512 1 0 2673293 0 [pid=20428/tid=20481] ppid=20425 vsize=10846560 memory=5467980 CPUtime=191.5 cores=1,3,5,7 /proc/20428/task/20481/stat : 20481 (java) R 20425 20428 15121 0 -1 4202560 61377 12989 0 0 19104 38 5 3 20 0 15 0 57492273 11106877440 1359685 33554432000 4194304 4196468 140728683404384 140587945530448 140587581014912 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20482] ppid=20425 vsize=10846560 memory=1196 CPUtime=26.71 cores=1,3,5,7 /proc/20428/task/20482/stat : 20482 (java) S 20425 20428 15121 0 -1 1077944384 63756 12989 0 0 2569 94 5 3 20 0 15 0 57492273 11106877440 1359685 33554432000 4194304 4196468 140728683404384 140587977943696 140587973711573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20483] ppid=20425 vsize=10846560 memory=5438740 CPUtime=26.69 cores=1,3,5,7 /proc/20428/task/20483/stat : 20483 (java) S 20425 20428 15121 0 -1 1077944384 75276 12989 0 0 2568 93 5 3 20 0 15 0 57492273 11106877440 1359685 33554432000 4194304 4196468 140728683404384 140587546892816 140587973711573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20484] ppid=20425 vsize=10846560 memory=-7384474665255210089 CPUtime=26.6 cores=1,3,5,7 /proc/20428/task/20484/stat : 20484 (java) S 20425 20428 15121 0 -1 1077944384 52671 12989 0 0 2557 95 5 3 20 0 15 0 57492273 11106877440 1359685 33554432000 4194304 4196468 140728683404384 140587545840016 140587973711573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20485] ppid=20425 vsize=10846560 memory=-6586668835053300882 CPUtime=26.6 cores=1,3,5,7 /proc/20428/task/20485/stat : 20485 (java) S 20425 20428 15121 0 -1 1077944384 65712 12989 0 0 2557 95 5 3 20 0 15 0 57492273 11106877440 1359685 33554432000 4194304 4196468 140728683404384 140587544787216 140587973711573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20486] ppid=20425 vsize=10846560 memory=6791534058613427641 CPUtime=2.55 cores=1,3,5,7 /proc/20428/task/20486/stat : 20486 (java) S 20425 20428 15121 0 -1 1077944384 25417 12989 0 0 244 3 5 3 20 0 15 0 57492275 11106877440 1359685 33554432000 4194304 4196468 140728683404384 140586976799600 140587973712514 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20487] ppid=20425 vsize=10846560 memory=10968 CPUtime=0.08 cores=1,3,5,7 /proc/20428/task/20487/stat : 20487 (java) S 20425 20428 15121 0 -1 1077944384 19 12989 0 0 0 0 5 3 20 0 15 0 57492275 11106877440 1359685 33554432000 4194304 4196468 140728683404384 140586896057952 140587973711573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20488] ppid=20425 vsize=10846560 memory=644 CPUtime=0.08 cores=1,3,5,7 /proc/20428/task/20488/stat : 20488 (java) S 20425 20428 15121 0 -1 1077944384 5 12989 0 0 0 0 5 3 20 0 15 0 57492276 11106877440 1359685 33554432000 4194304 4196468 140728683404384 140586761840000 140587973711573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20489] ppid=20425 vsize=10846560 memory=1792 CPUtime=0.08 cores=1,3,5,7 /proc/20428/task/20489/stat : 20489 (java) S 20425 20428 15121 0 -1 1077944384 3 12989 0 0 0 0 5 3 20 0 15 0 57492278 11106877440 1359685 33554432000 4194304 4196468 140728683404384 140586521549136 140587973719963 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20490] ppid=20425 vsize=10846560 memory=2308 CPUtime=2.97 cores=1,3,5,7 /proc/20428/task/20490/stat : 20490 (java) S 20425 20428 15121 0 -1 1077944384 8901 12989 0 0 287 2 5 3 20 0 15 0 57492278 11106877440 1359685 33554432000 4194304 4196468 140728683404384 140586975746416 140587973712514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20491] ppid=20425 vsize=10846560 memory=4516 CPUtime=3.2 cores=1,3,5,7 /proc/20428/task/20491/stat : 20491 (java) S 20425 20428 15121 0 -1 1077944384 8280 12989 0 0 311 1 5 3 20 0 15 0 57492278 11106877440 1359685 33554432000 4194304 4196468 140728683404384 140586974693616 140587973712514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20492] ppid=20425 vsize=10846560 memory=6724 CPUtime=1.51 cores=1,3,5,7 /proc/20428/task/20492/stat : 20492 (java) S 20425 20428 15121 0 -1 1077944384 16858 12989 0 0 141 2 5 3 20 0 15 0 57492278 11106877440 1359685 33554432000 4194304 4196468 140728683404384 140586973640816 140587973712514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20493] ppid=20425 vsize=10846560 memory=8932 CPUtime=0.08 cores=1,3,5,7 /proc/20428/task/20493/stat : 20493 (java) S 20425 20428 15121 0 -1 1077944384 3 12989 0 0 0 0 5 3 20 0 15 0 57492279 11106877440 1359685 33554432000 4194304 4196468 140728683404384 140586487990496 140587973711573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20494] ppid=20425 vsize=10846560 memory=5467980 CPUtime=0.22 cores=1,3,5,7 /proc/20428/task/20494/stat : 20494 (java) S 20425 20428 15121 0 -1 1077944384 582 12989 0 0 6 8 5 3 20 0 15 0 57492279 11106877440 1359685 33554432000 4194304 4196468 140728683404384 140586972589232 140587973712514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 Current children cumulated CPU time: 307.96 s Current children cumulated vsize: 10846560 KiB Current children cumulated memory: 5438740 KiB [startup+221.601 s] /proc/loadavg: 1.85 1.70 1.62 3/216 20505 /proc/meminfo: memFree=14282528/32770624 swapFree=67108860/67108860 [pid=20428] ppid=20425 vsize=10846560 memory=5371664 CPUtime=308.85 cores=1,3,5,7 /proc/20428/stat : 20428 (java) S 20425 20428 15121 0 -1 1077944320 385480 12989 0 0 30442 435 5 3 20 0 15 0 57492264 11106877440 1342916 33554432000 4194304 4196468 140728683404384 140728683386928 140587973701367 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 /proc/20428/statm: 2711640 1342916 3512 1 0 2673293 0 [pid=20428/tid=20481] ppid=20425 vsize=10846560 memory=1292 CPUtime=192.28 cores=1,3,5,7 /proc/20428/task/20481/stat : 20481 (java) R 20425 20428 15121 0 -1 4202560 63033 12989 0 0 19181 39 5 3 20 0 15 0 57492273 11106877440 1342916 33554432000 4194304 4196468 140728683404384 140587945523728 140587957781884 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20482] ppid=20425 vsize=10846560 memory=1728 CPUtime=26.73 cores=1,3,5,7 /proc/20428/task/20482/stat : 20482 (java) S 20425 20428 15121 0 -1 1077944384 63756 12989 0 0 2571 94 5 3 20 0 15 0 57492273 11106877440 1342916 33554432000 4194304 4196468 140728683404384 140587977943696 140587973711573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20483] ppid=20425 vsize=10846560 memory=6791534058613427641 CPUtime=26.72 cores=1,3,5,7 /proc/20428/task/20483/stat : 20483 (java) S 20425 20428 15121 0 -1 1077944384 75276 12989 0 0 2571 93 5 3 20 0 15 0 57492273 11106877440 1342916 33554432000 4194304 4196468 140728683404384 140587546892816 140587973711573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20484] ppid=20425 vsize=10846560 memory=8368 CPUtime=26.62 cores=1,3,5,7 /proc/20428/task/20484/stat : 20484 (java) S 20425 20428 15121 0 -1 1077944384 52671 12989 0 0 2559 95 5 3 20 0 15 0 57492273 11106877440 1342916 33554432000 4194304 4196468 140728683404384 140587545840016 140587973711573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20485] ppid=20425 vsize=10846560 memory=4616 CPUtime=26.62 cores=1,3,5,7 /proc/20428/task/20485/stat : 20485 (java) S 20425 20428 15121 0 -1 1077944384 65712 12989 0 0 2559 95 5 3 20 0 15 0 57492273 11106877440 1342916 33554432000 4194304 4196468 140728683404384 140587544787216 140587973711573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20486] ppid=20425 vsize=10846560 memory=1424 CPUtime=2.55 cores=1,3,5,7 /proc/20428/task/20486/stat : 20486 (java) S 20425 20428 15121 0 -1 1077944384 25417 12989 0 0 244 3 5 3 20 0 15 0 57492275 11106877440 1342916 33554432000 4194304 4196468 140728683404384 140586976799600 140587973712514 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20487] ppid=20425 vsize=10846560 memory=15868 CPUtime=0.08 cores=1,3,5,7 /proc/20428/task/20487/stat : 20487 (java) S 20425 20428 15121 0 -1 1077944384 19 12989 0 0 0 0 5 3 20 0 15 0 57492275 11106877440 1342916 33554432000 4194304 4196468 140728683404384 140586896057952 140587973711573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20488] ppid=20425 vsize=10846560 memory=5371536 CPUtime=0.08 cores=1,3,5,7 /proc/20428/task/20488/stat : 20488 (java) S 20425 20428 15121 0 -1 1077944384 5 12989 0 0 0 0 5 3 20 0 15 0 57492276 11106877440 1342916 33554432000 4194304 4196468 140728683404384 140586761840000 140587973711573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20489] ppid=20425 vsize=10846560 memory=796 CPUtime=0.08 cores=1,3,5,7 /proc/20428/task/20489/stat : 20489 (java) S 20425 20428 15121 0 -1 1077944384 3 12989 0 0 0 0 5 3 20 0 15 0 57492278 11106877440 1342916 33554432000 4194304 4196468 140728683404384 140586521549136 140587973719963 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20490] ppid=20425 vsize=10846560 memory=1012 CPUtime=2.98 cores=1,3,5,7 /proc/20428/task/20490/stat : 20490 (java) R 20425 20428 15121 0 -1 4202560 9417 12989 0 0 288 2 5 3 20 0 15 0 57492278 11106877440 1342916 33554432000 4194304 4196468 140728683404384 140586975730608 140587973722714 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20491] ppid=20425 vsize=10846560 memory=1228 CPUtime=3.21 cores=1,3,5,7 /proc/20428/task/20491/stat : 20491 (java) R 20425 20428 15121 0 -1 4202560 8472 12989 0 0 312 1 5 3 20 0 15 0 57492278 11106877440 1342916 33554432000 4194304 4196468 140728683404384 140586974677040 140587966801214 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20492] ppid=20425 vsize=10846560 memory=1704 CPUtime=1.52 cores=1,3,5,7 /proc/20428/task/20492/stat : 20492 (java) S 20425 20428 15121 0 -1 1077944384 18930 12989 0 0 142 2 5 3 20 0 15 0 57492278 11106877440 1342916 33554432000 4194304 4196468 140728683404384 140586973640816 140587973712514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20493] ppid=20425 vsize=10846560 memory=9924 CPUtime=0.08 cores=1,3,5,7 /proc/20428/task/20493/stat : 20493 (java) S 20425 20428 15121 0 -1 1077944384 3 12989 0 0 0 0 5 3 20 0 15 0 57492279 11106877440 1342916 33554432000 4194304 4196468 140728683404384 140586487990496 140587973711573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20494] ppid=20425 vsize=10846560 memory=5788 CPUtime=0.23 cores=1,3,5,7 /proc/20428/task/20494/stat : 20494 (java) S 20425 20428 15121 0 -1 1077944384 582 12989 0 0 7 8 5 3 20 0 15 0 57492279 11106877440 1342916 33554432000 4194304 4196468 140728683404384 140586972589232 140587973712514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 Current children cumulated CPU time: 308.85 s Current children cumulated vsize: 10846560 KiB Current children cumulated memory: 5371664 KiB [startup+222.001 s]* /proc/loadavg: 1.85 1.70 1.62 5/216 20505 /proc/meminfo: memFree=14304908/32770624 swapFree=67108860/67108860 [pid=20428] ppid=20425 vsize=10914144 memory=5418520 CPUtime=310.15 cores=1,3,5,7 /proc/20428/stat : 20428 (java) S 20425 20428 15121 0 -1 1077944320 413645 12989 0 0 30569 438 5 3 20 0 15 0 57492264 11176083456 1354630 33554432000 4194304 4196468 140728683404384 140728683386928 140587973701367 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 /proc/20428/statm: 2728536 1354630 3513 1 0 2690189 0 [pid=20428/tid=20481] ppid=20425 vsize=10914144 memory=4224004 CPUtime=192.68 cores=1,3,5,7 /proc/20428/task/20481/stat : 20481 (java) R 20425 20428 15121 0 -1 4202560 79712 12989 0 0 19220 40 5 3 20 0 15 0 57492273 11176083456 1354630 33554432000 4194304 4196468 140728683404384 140587945531792 140587589608203 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20482] ppid=20425 vsize=10914144 memory=1408 CPUtime=26.73 cores=1,3,5,7 /proc/20428/task/20482/stat : 20482 (java) S 20425 20428 15121 0 -1 1077944384 63756 12989 0 0 2571 94 5 3 20 0 15 0 57492273 11176083456 1354630 33554432000 4194304 4196468 140728683404384 140587977943696 140587973711573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20483] ppid=20425 vsize=10914144 memory=4126316290023845779 CPUtime=26.72 cores=1,3,5,7 /proc/20428/task/20483/stat : 20483 (java) S 20425 20428 15121 0 -1 1077944384 75276 12989 0 0 2571 93 5 3 20 0 15 0 57492273 11176083456 1354630 33554432000 4194304 4196468 140728683404384 140587546892816 140587973711573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20484] ppid=20425 vsize=10914144 memory=2672 CPUtime=26.62 cores=1,3,5,7 /proc/20428/task/20484/stat : 20484 (java) S 20425 20428 15121 0 -1 1077944384 52671 12989 0 0 2559 95 5 3 20 0 15 0 57492273 11176083456 1354630 33554432000 4194304 4196468 140728683404384 140587545840016 140587973711573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20485] ppid=20425 vsize=10914144 memory=4104 CPUtime=26.62 cores=1,3,5,7 /proc/20428/task/20485/stat : 20485 (java) S 20425 20428 15121 0 -1 1077944384 65712 12989 0 0 2559 95 5 3 20 0 15 0 57492273 11176083456 1354630 33554432000 4194304 4196468 140728683404384 140587544787216 140587973711573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20486] ppid=20425 vsize=10914144 memory=1408 CPUtime=2.55 cores=1,3,5,7 /proc/20428/task/20486/stat : 20486 (java) S 20425 20428 15121 0 -1 1077944384 25422 12989 0 0 244 3 5 3 20 0 15 0 57492275 11176083456 1354630 33554432000 4194304 4196468 140728683404384 140586976799600 140587973712514 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20487] ppid=20425 vsize=10914144 memory=3296 CPUtime=0.08 cores=1,3,5,7 /proc/20428/task/20487/stat : 20487 (java) S 20425 20428 15121 0 -1 1077944384 19 12989 0 0 0 0 5 3 20 0 15 0 57492275 11176083456 1354630 33554432000 4194304 4196468 140728683404384 140586896057952 140587973711573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20488] ppid=20425 vsize=10914144 memory=4225028 CPUtime=0.08 cores=1,3,5,7 /proc/20428/task/20488/stat : 20488 (java) S 20425 20428 15121 0 -1 1077944384 5 12989 0 0 0 0 5 3 20 0 15 0 57492276 11176083456 1354630 33554432000 4194304 4196468 140728683404384 140586761840000 140587973711573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20489] ppid=20425 vsize=10914144 memory=1408 CPUtime=0.08 cores=1,3,5,7 /proc/20428/task/20489/stat : 20489 (java) S 20425 20428 15121 0 -1 1077944384 3 12989 0 0 0 0 5 3 20 0 15 0 57492278 11176083456 1354630 33554432000 4194304 4196468 140728683404384 140586521549136 140587973719963 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20490] ppid=20425 vsize=10914144 memory=3140 CPUtime=3.35 cores=1,3,5,7 /proc/20428/task/20490/stat : 20490 (java) R 20425 20428 15121 0 -1 4202560 13687 12989 0 0 324 3 5 3 20 0 15 0 57492278 11176083456 1354630 33554432000 4194304 4196468 140728683404384 140586975727432 140587955245090 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20491] ppid=20425 vsize=10914144 memory=5377940 CPUtime=3.62 cores=1,3,5,7 /proc/20428/task/20491/stat : 20491 (java) R 20425 20428 15121 0 -1 4202560 14189 12989 0 0 352 2 5 3 20 0 15 0 57492278 11176083456 1354630 33554432000 4194304 4196468 140728683404384 140586974679112 140587958809070 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20492] ppid=20425 vsize=10914144 memory=8368 CPUtime=1.64 cores=1,3,5,7 /proc/20428/task/20492/stat : 20492 (java) S 20425 20428 15121 0 -1 1077944384 20416 12989 0 0 153 3 5 3 20 0 15 0 57492278 11176083456 1354630 33554432000 4194304 4196468 140728683404384 140586973640816 140587973712514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20493] ppid=20425 vsize=10914144 memory=4616 CPUtime=0.08 cores=1,3,5,7 /proc/20428/task/20493/stat : 20493 (java) S 20425 20428 15121 0 -1 1077944384 3 12989 0 0 0 0 5 3 20 0 15 0 57492279 11176083456 1354630 33554432000 4194304 4196468 140728683404384 140586487990496 140587973711573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 [pid=20428/tid=20494] ppid=20425 vsize=10914144 memory=5347220 CPUtime=0.23 cores=1,3,5,7 /proc/20428/task/20494/stat : 20494 (java) S 20425 20428 15121 0 -1 1077944384 582 12989 0 0 7 8 5 3 20 0 15 0 57492279 11176083456 1354630 33554432000 4194304 4196468 140728683404384 140586972589232 140587973712514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8839168 140728683412079 140728683414876 140728683414876 140728683417551 0 Current children cumulated CPU time: 310.15 s Current children cumulated vsize: 10914144 KiB Current children cumulated memory: 5418520 KiB [startup+222.111 s]* /proc/loadavg: 1.85 1.70 1.62 3/203 20506 /proc/meminfo: memFree=18541828/32770624 swapFree=67108860/67108860 Current children cumulated CPU time: 0 s Current children cumulated vsize: 0 KiB Current children cumulated memory: 0 KiB Child status: 1 Real time (s): 222.129 CPU time (s): 310.371 CPU user time (s): 305.897 CPU system time (s): 4.47429 CPU usage (%): 139.726 Max. virtual memory (cumulated for all children) (KiB): 10914144 Max. memory (cumulated for all children) (KiB): 5504916 getrusage(RUSAGE_CHILDREN,...) data: user time used= 305.897 system time used= 4.47429 maximum resident set size= 5504916 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 427707 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= 15658 involuntary context switches= 1180 # summary of solver processes directly reported to runsolver: # pid: 20428 # total CPU time (s): 310.371 # total CPU user time (s): 305.897 # total CPU system time (s): 4.47429 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.62037 second user time and 1.96139 second system time The end
Begin job on node105 at 2018-07-24 04:28:11 IDJOB=4293981 IDBENCH=141306 IDSOLVER=2750 FILE ID=node105/4293981-1532399290 RUNJOBID= node105-1532371073-15153 PBS_JOBID= 21021573 Free space on /tmp= 44784 MiB SOLVER NAME= Concrete 3.8 2018-06-13 BENCH NAME= XCSP18/CrosswordDesign/CrosswordDesign-10-4-rom_c18.xml COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293981-1532399290/watcher-4293981-1532399290 -o /tmp/evaluation-result-4293981-1532399290/solver-4293981-1532399290 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532371073-15153 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=891807281 HOME/instance-4293981-1532399290.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1ce90bfeea193be77ab92ac06e9a3657 RANDOM SEED=891807281 node105.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.32 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.32 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.32 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.32 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: 19887776 kB MemAvailable: 27890516 kB Buffers: 209680 kB Cached: 7936584 kB SwapCached: 0 kB Active: 5571000 kB Inactive: 6672044 kB Active(anon): 4051048 kB Inactive(anon): 65448 kB Active(file): 1519952 kB Inactive(file): 6606596 kB Unevictable: 7336 kB Mlocked: 7336 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 54812 kB Writeback: 0 kB AnonPages: 4113788 kB Mapped: 50888 kB Shmem: 17036 kB Slab: 332520 kB SReclaimable: 304652 kB SUnreclaim: 27868 kB KernelStack: 3792 kB PageTables: 13252 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 5516168 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 3860480 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 130432 kB DirectMap2M: 33415168 kB Free space on /tmp at the end= 44756 MiB End job on node105 at 2018-07-24 04:31:53