| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| R1: Concrete 3.4 | ? | 827.073 | 405.572 |
| Name | MagicSquare/MagicSquare-mdd-s1/ MagicSquare-15-mdd.xml |
| MD5SUM | eb9d91ed4b70703bb0e2b52375e1b8aa |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 225 |
| Number of constraints | 33 |
| Number of domains | 1 |
| Minimum domain size | 225 |
| Maximum domain size | 225 |
| Distribution of domain sizes | [{"size":225,"count":225}] |
| Minimum variable degree | 3 |
| Maximum variable degree | 5 |
| Distribution of variable degrees | [{"degree":3,"count":196},{"degree":4,"count":28},{"degree":5,"count":1}] |
| Minimum constraint arity | 15 |
| Maximum constraint arity | 225 |
| Distribution of constraint arities | [{"arity":15,"count":32},{"arity":225,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"mdd","count":32},{"type":"allDifferent","count":1}] |
| Optimization problem | NO |
| Type of objective |
3.75/2.11 c Concrete v3.4 running 826.91/405.50 Exception in thread "main" java.lang.StackOverflowError 826.91/405.51 at bitvectors.BitVector.$plus$(BitVector.scala:123) 826.91/405.51 at bitvectors.LargeBitVector.$plus(LargeBitVector.scala:15) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:315) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.51 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.51 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.51 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.51 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.52 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:323) 826.91/405.52 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.52 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.52 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 at mdd.TSSet.once(TSSet.scala:35) 826.91/405.53 at mdd.BDDNode.fillFound(BDD.scala:313) 826.91/405.53 at mdd.BDDNode.$anonfun$fillFound$1(BDD.scala:324) 826.91/405.53 at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12) 826.91/405.53 s UNKNOWN
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4248289-1500745360/watcher-4248289-1500745360 -o /tmp/evaluation-result-4248289-1500745360/solver-4248289-1500745360 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1500745234-20229 --watchdog 2560 bin/concrete HOME/instance-4248289-1500745360.xml pid=21186 running on 8 cores: 1,3,5,7,9,11,13,15 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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 Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 4.02 2.29 1.73 3/265 21189 /proc/meminfo: memFree=27690948/32770624 swapFree=5832/381856 [pid=21189] ppid=21186 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21189/stat : 21189 (bash) S 21186 21189 16458 0 -1 4202496 685 1534 0 0 0 0 0 0 20 0 1 0 9804878 9736192 350 33554432000 4194304 5098028 140720668757424 140720668755064 139887518170112 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 0 0 0 7196144 7232144 29642752 140720668759310 140720668759395 140720668759395 140720668762094 0 /proc/21189/statm: 2377 350 278 221 0 86 0 [startup+0.100134 s] /proc/loadavg: 4.02 2.29 1.73 3/265 21189 /proc/meminfo: memFree=27690948/32770624 swapFree=5832/381856 [pid=21189] ppid=21186 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/21189/stat : 21189 (bash) S 21186 21189 16458 0 -1 4202496 879 6420 0 0 0 0 0 1 20 0 1 0 9804878 9871360 377 33554432000 4194304 5098028 140720668757424 140720668751432 139887518170112 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 0 0 0 7196144 7232144 29642752 140720668759310 140720668759395 140720668759395 140720668762094 0 /proc/21189/statm: 2410 377 296 221 0 119 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 9640 [startup+0.200308 s] /proc/loadavg: 4.02 2.29 1.73 3/265 21189 /proc/meminfo: memFree=27690948/32770624 swapFree=5832/381856 [pid=21189] ppid=21186 vsize=10435860 CPUtime=0.19 cores=1,3,5,7,9,11,13,15 /proc/21189/stat : 21189 (java) S 21186 21189 16458 0 -1 1077944320 4855 12377 0 0 7 1 8 3 20 0 13 0 9804878 10686320640 5747 33554432000 4194304 4196468 140725886984336 140725886966880 140629902692087 0 0 0 16800971 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 /proc/21189/statm: 2608965 5747 2171 1 0 2597403 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 10435860 [startup+0.300306 s] /proc/loadavg: 4.02 2.29 1.73 3/265 21189 /proc/meminfo: memFree=27690948/32770624 swapFree=5832/381856 [pid=21189] ppid=21186 vsize=10902392 CPUtime=0.37 cores=1,3,5,7,9,11,13,15 /proc/21189/stat : 21189 (java) S 21186 21189 16458 0 -1 1077944320 7636 12377 0 0 25 1 8 3 20 0 20 0 9804878 11164049408 9919 33554432000 4194304 4196468 140725886984336 140725886966880 140629902692087 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 /proc/21189/statm: 2725598 9919 2995 1 0 2713890 0 Current children cumulated CPU time (s) 0.37 Current children cumulated vsize (KiB) 10902392 [startup+0.700213 s] /proc/loadavg: 4.02 2.29 1.73 3/265 21189 /proc/meminfo: memFree=27690948/32770624 swapFree=5832/381856 [pid=21189] ppid=21186 vsize=10902720 CPUtime=0.96 cores=1,3,5,7,9,11,13,15 /proc/21189/stat : 21189 (java) S 21186 21189 16458 0 -1 1077944320 12803 12377 0 0 82 3 8 3 20 0 20 0 9804878 11164385280 16666 33554432000 4194304 4196468 140725886984336 140725886966880 140629902692087 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 /proc/21189/statm: 2725680 16666 3218 1 0 2713890 0 Current children cumulated CPU time (s) 0.96 Current children cumulated vsize (KiB) 10902720 [startup+1.50082 s] /proc/loadavg: 3.86 2.29 1.73 3/285 21262 /proc/meminfo: memFree=27583128/32770624 swapFree=5832/381532 [pid=21189] ppid=21186 vsize=10915392 CPUtime=2.3 cores=1,3,5,7,9,11,13,15 /proc/21189/stat : 21189 (java) S 21186 21189 16458 0 -1 1077944320 25297 12377 0 0 206 13 8 3 20 0 20 0 9804878 11177361408 44613 33554432000 4194304 4196468 140725886984336 140725886966880 140629902692087 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 /proc/21189/statm: 2728848 44613 3411 1 0 2716962 0 [pid=21189/tid=21244] ppid=21186 vsize=10915392 CPUtime=1.43 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21244/stat : 21244 (java) R 21186 21189 16458 0 -1 4202560 18247 12377 0 0 128 4 8 3 20 0 20 0 9804890 11177361408 44613 33554432000 4194304 4196468 140725886984336 140629906920448 140629886735717 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21245] ppid=21186 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21245/stat : 21245 (java) S 21186 21189 16458 0 -1 1077944384 115 12377 0 0 0 0 8 3 20 0 20 0 9804891 11177361408 44613 33554432000 4194304 4196468 140725886984336 140629855312400 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21246] ppid=21186 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21246/stat : 21246 (java) S 21186 21189 16458 0 -1 1077944384 19 12377 0 0 0 0 8 3 20 0 20 0 9804891 11177361408 44613 33554432000 4194304 4196468 140725886984336 140629854259856 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21247] ppid=21186 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21247/stat : 21247 (java) S 21186 21189 16458 0 -1 1077944384 29 12377 0 0 0 0 8 3 20 0 20 0 9804891 11177361408 44613 33554432000 4194304 4196468 140725886984336 140629853206800 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21248] ppid=21186 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21248/stat : 21248 (java) S 21186 21189 16458 0 -1 1077944384 22 12377 0 0 0 0 8 3 20 0 20 0 9804891 11177361408 44613 33554432000 4194304 4196468 140725886984336 140629852154256 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21249] ppid=21186 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21249/stat : 21249 (java) S 21186 21189 16458 0 -1 1077944384 35 12377 0 0 1 0 8 3 20 0 20 0 9804891 11177361408 44613 33554432000 4194304 4196468 140725886984336 140629851102224 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21250] ppid=21186 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21250/stat : 21250 (java) S 21186 21189 16458 0 -1 1077944384 11 12377 0 0 1 0 8 3 20 0 20 0 9804891 11177361408 44613 33554432000 4194304 4196468 140725886984336 140629850049680 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21251] ppid=21186 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21251/stat : 21251 (java) S 21186 21189 16458 0 -1 1077944384 18 12377 0 0 0 0 8 3 20 0 20 0 9804891 11177361408 44613 33554432000 4194304 4196468 140725886984336 140629848996624 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21252] ppid=21186 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21252/stat : 21252 (java) S 21186 21189 16458 0 -1 1077944384 12 12377 0 0 0 0 8 3 20 0 20 0 9804891 11177361408 44613 33554432000 4194304 4196468 140725886984336 140629847944080 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21253] ppid=21186 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21253/stat : 21253 (java) S 21186 21189 16458 0 -1 1077944384 627 12377 0 0 1 0 8 3 20 0 20 0 9804894 11177361408 44613 33554432000 4194304 4196468 140725886984336 140629444475120 140629902703234 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21254] ppid=21186 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21254/stat : 21254 (java) S 21186 21189 16458 0 -1 1077944384 36 12377 0 0 0 0 8 3 20 0 20 0 9804894 11177361408 44613 33554432000 4194304 4196468 140725886984336 140628718511264 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21255] ppid=21186 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21255/stat : 21255 (java) S 21186 21189 16458 0 -1 1077944384 43 12377 0 0 0 0 8 3 20 0 20 0 9804895 11177361408 44613 33554432000 4194304 4196468 140725886984336 140628717458176 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21256] ppid=21186 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21256/stat : 21256 (java) S 21186 21189 16458 0 -1 1077944384 1 12377 0 0 0 0 8 3 20 0 20 0 9804899 11177361408 44613 33554432000 4194304 4196468 140725886984336 140628716406736 140629902710683 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21257] ppid=21186 vsize=10915392 CPUtime=0.24 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21257/stat : 21257 (java) S 21186 21189 16458 0 -1 1077944384 1102 12377 0 0 13 0 8 3 20 0 20 0 9804899 11177361408 44613 33554432000 4194304 4196468 140725886984336 140628715354864 140629902703234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21258] ppid=21186 vsize=10915392 CPUtime=0.23 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21258/stat : 21258 (java) S 21186 21189 16458 0 -1 1077944384 1018 12377 0 0 11 1 8 3 20 0 20 0 9804899 11177361408 44613 33554432000 4194304 4196468 140725886984336 140628714302320 140629902703234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21259] ppid=21186 vsize=10915392 CPUtime=0.25 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21259/stat : 21259 (java) S 21186 21189 16458 0 -1 1077944384 505 12377 0 0 14 0 8 3 20 0 20 0 9804899 11177361408 44613 33554432000 4194304 4196468 140725886984336 140628713249264 140629902703234 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21260] ppid=21186 vsize=10915392 CPUtime=0.39 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21260/stat : 21260 (java) R 21186 21189 16458 0 -1 4202560 1322 12377 0 0 28 0 8 3 20 0 20 0 9804899 11177361408 44613 33554432000 4194304 4196468 140725886984336 140628712194680 140629884255678 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21261] ppid=21186 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21261/stat : 21261 (java) S 21186 21189 16458 0 -1 1077944384 3 12377 0 0 0 0 8 3 20 0 20 0 9804899 11177361408 44613 33554432000 4194304 4196468 140725886984336 140628711143904 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21262] ppid=21186 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21262/stat : 21262 (java) S 21186 21189 16458 0 -1 1077944384 3 12377 0 0 0 0 8 3 20 0 20 0 9804899 11177361408 44613 33554432000 4194304 4196468 140725886984336 140628710091440 140629902703234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 Current children cumulated CPU time (s) 2.3 Current children cumulated vsize (KiB) 10915392 [startup+3.10083 s] /proc/loadavg: 3.86 2.29 1.73 5/285 21262 /proc/meminfo: memFree=27502776/32770624 swapFree=5832/381900 [pid=21189] ppid=21186 vsize=10921724 CPUtime=7.8 cores=1,3,5,7,9,11,13,15 /proc/21189/stat : 21189 (java) S 21186 21189 16458 0 -1 1077944320 39052 12377 0 0 606 163 8 3 20 0 20 0 9804878 11183845376 218812 33554432000 4194304 4196468 140725886984336 140725886966880 140629902692087 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 /proc/21189/statm: 2730431 218812 3491 1 0 2717986 0 [pid=21189/tid=21244] ppid=21186 vsize=10921724 CPUtime=2.7 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21244/stat : 21244 (java) R 21186 21189 16458 0 -1 4202560 22452 12377 0 0 242 17 8 3 20 0 20 0 9804890 11183845376 218812 33554432000 4194304 4196468 140725886984336 140629906923896 140629534137218 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21245] ppid=21186 vsize=10921724 CPUtime=0.42 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21245/stat : 21245 (java) S 21186 21189 16458 0 -1 1077944384 408 12377 0 0 11 20 8 3 20 0 20 0 9804891 11183845376 218812 33554432000 4194304 4196468 140725886984336 140629855312400 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21246] ppid=21186 vsize=10921724 CPUtime=0.43 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21246/stat : 21246 (java) S 21186 21189 16458 0 -1 1077944384 328 12377 0 0 17 15 8 3 20 0 20 0 9804891 11183845376 218812 33554432000 4194304 4196468 140725886984336 140629854259856 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21247] ppid=21186 vsize=10921724 CPUtime=0.4 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21247/stat : 21247 (java) S 21186 21189 16458 0 -1 1077944384 277 12377 0 0 12 17 8 3 20 0 20 0 9804891 11183845376 218812 33554432000 4194304 4196468 140725886984336 140629853206800 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21248] ppid=21186 vsize=10921724 CPUtime=0.37 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21248/stat : 21248 (java) S 21186 21189 16458 0 -1 1077944384 214 12377 0 0 13 13 8 3 20 0 20 0 9804891 11183845376 218812 33554432000 4194304 4196468 140725886984336 140629852154256 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21249] ppid=21186 vsize=10921724 CPUtime=0.4 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21249/stat : 21249 (java) S 21186 21189 16458 0 -1 1077944384 187 12377 0 0 12 17 8 3 20 0 20 0 9804891 11183845376 218812 33554432000 4194304 4196468 140725886984336 140629851102224 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21250] ppid=21186 vsize=10921724 CPUtime=0.37 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21250/stat : 21250 (java) S 21186 21189 16458 0 -1 1077944384 245 12377 0 0 12 14 8 3 20 0 20 0 9804891 11183845376 218812 33554432000 4194304 4196468 140725886984336 140629850049680 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21251] ppid=21186 vsize=10921724 CPUtime=0.4 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21251/stat : 21251 (java) S 21186 21189 16458 0 -1 1077944384 221 12377 0 0 12 17 8 3 20 0 20 0 9804891 11183845376 218812 33554432000 4194304 4196468 140725886984336 140629848996624 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21252] ppid=21186 vsize=10921724 CPUtime=0.43 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21252/stat : 21252 (java) S 21186 21189 16458 0 -1 1077944384 246 12377 0 0 12 20 8 3 20 0 20 0 9804891 11183845376 218812 33554432000 4194304 4196468 140725886984336 140629847944080 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21253] ppid=21186 vsize=10921724 CPUtime=0.13 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21253/stat : 21253 (java) S 21186 21189 16458 0 -1 1077944384 2909 12377 0 0 2 0 8 3 20 0 20 0 9804894 11183845376 218812 33554432000 4194304 4196468 140725886984336 140629444475120 140629902703234 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21254] ppid=21186 vsize=10921724 CPUtime=0.11 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21254/stat : 21254 (java) S 21186 21189 16458 0 -1 1077944384 39 12377 0 0 0 0 8 3 20 0 20 0 9804894 11183845376 218812 33554432000 4194304 4196468 140725886984336 140628718511328 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21255] ppid=21186 vsize=10921724 CPUtime=0.11 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21255/stat : 21255 (java) S 21186 21189 16458 0 -1 1077944384 47 12377 0 0 0 0 8 3 20 0 20 0 9804895 11183845376 218812 33554432000 4194304 4196468 140725886984336 140628717458176 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21256] ppid=21186 vsize=10921724 CPUtime=0.11 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21256/stat : 21256 (java) S 21186 21189 16458 0 -1 1077944384 1 12377 0 0 0 0 8 3 20 0 20 0 9804899 11183845376 218812 33554432000 4194304 4196468 140725886984336 140628716406736 140629902710683 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21257] ppid=21186 vsize=10921724 CPUtime=0.66 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21257/stat : 21257 (java) S 21186 21189 16458 0 -1 1077944384 2018 12377 0 0 54 1 8 3 20 0 20 0 9804899 11183845376 218812 33554432000 4194304 4196468 140725886984336 140628715354864 140629902703234 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21258] ppid=21186 vsize=10921724 CPUtime=0.97 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21258/stat : 21258 (java) S 21186 21189 16458 0 -1 1077944384 3761 12377 0 0 85 1 8 3 20 0 20 0 9804899 11183845376 218812 33554432000 4194304 4196468 140725886984336 140628714302320 140629902703234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21259] ppid=21186 vsize=10921724 CPUtime=0.56 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21259/stat : 21259 (java) S 21186 21189 16458 0 -1 1077944384 941 12377 0 0 45 0 8 3 20 0 20 0 9804899 11183845376 218812 33554432000 4194304 4196468 140725886984336 140628713249264 140629902703234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21260] ppid=21186 vsize=10921724 CPUtime=0.81 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21260/stat : 21260 (java) S 21186 21189 16458 0 -1 1077944384 2622 12377 0 0 69 1 8 3 20 0 20 0 9804899 11183845376 218812 33554432000 4194304 4196468 140725886984336 140628712196720 140629902703234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21261] ppid=21186 vsize=10921724 CPUtime=0.11 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21261/stat : 21261 (java) S 21186 21189 16458 0 -1 1077944384 3 12377 0 0 0 0 8 3 20 0 20 0 9804899 11183845376 218812 33554432000 4194304 4196468 140725886984336 140628711143904 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21262] ppid=21186 vsize=10921724 CPUtime=0.11 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21262/stat : 21262 (java) S 21186 21189 16458 0 -1 1077944384 4 12377 0 0 0 0 8 3 20 0 20 0 9804899 11183845376 218812 33554432000 4194304 4196468 140725886984336 140628710091440 140629902703234 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 Current children cumulated CPU time (s) 7.8 Current children cumulated vsize (KiB) 10921724 [startup+6.30129 s] /proc/loadavg: 3.71 2.28 1.73 6/285 21262 /proc/meminfo: memFree=26678152/32770624 swapFree=5832/381908 [pid=21189] ppid=21186 vsize=10921724 CPUtime=13.93 cores=1,3,5,7,9,11,13,15 /proc/21189/stat : 21189 (java) S 21186 21189 16458 0 -1 1077944320 44332 12377 0 0 1159 223 8 3 20 0 20 0 9804878 11183845376 251706 33554432000 4194304 4196468 140725886984336 140725886966880 140629902692087 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 /proc/21189/statm: 2730431 251706 3492 1 0 2717986 0 [pid=21189/tid=21244] ppid=21186 vsize=10921724 CPUtime=5.53 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21244/stat : 21244 (java) R 21186 21189 16458 0 -1 4202560 22534 12377 0 0 525 17 8 3 20 0 20 0 9804890 11183845376 251706 33554432000 4194304 4196468 140725886984336 140629906923336 140629534438743 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21245] ppid=21186 vsize=10921724 CPUtime=0.78 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21245/stat : 21245 (java) S 21186 21189 16458 0 -1 1077944384 631 12377 0 0 39 28 8 3 20 0 20 0 9804891 11183845376 251706 33554432000 4194304 4196468 140725886984336 140629855312400 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21246] ppid=21186 vsize=10921724 CPUtime=0.77 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21246/stat : 21246 (java) S 21186 21189 16458 0 -1 1077944384 452 12377 0 0 44 22 8 3 20 0 20 0 9804891 11183845376 251706 33554432000 4194304 4196468 140725886984336 140629854259856 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21247] ppid=21186 vsize=10921724 CPUtime=0.76 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21247/stat : 21247 (java) S 21186 21189 16458 0 -1 1077944384 372 12377 0 0 40 25 8 3 20 0 20 0 9804891 11183845376 251706 33554432000 4194304 4196468 140725886984336 140629853206800 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21248] ppid=21186 vsize=10921724 CPUtime=0.72 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21248/stat : 21248 (java) S 21186 21189 16458 0 -1 1077944384 312 12377 0 0 40 21 8 3 20 0 20 0 9804891 11183845376 251706 33554432000 4194304 4196468 140725886984336 140629852154256 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21249] ppid=21186 vsize=10921724 CPUtime=0.73 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21249/stat : 21249 (java) S 21186 21189 16458 0 -1 1077944384 286 12377 0 0 38 24 8 3 20 0 20 0 9804891 11183845376 251706 33554432000 4194304 4196468 140725886984336 140629851102224 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21250] ppid=21186 vsize=10921724 CPUtime=0.71 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21250/stat : 21250 (java) S 21186 21189 16458 0 -1 1077944384 337 12377 0 0 39 21 8 3 20 0 20 0 9804891 11183845376 251706 33554432000 4194304 4196468 140725886984336 140629850049680 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21251] ppid=21186 vsize=10921724 CPUtime=0.76 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21251/stat : 21251 (java) S 21186 21189 16458 0 -1 1077944384 339 12377 0 0 40 25 8 3 20 0 20 0 9804891 11183845376 251706 33554432000 4194304 4196468 140725886984336 140629848996624 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21252] ppid=21186 vsize=10921724 CPUtime=0.76 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21252/stat : 21252 (java) S 21186 21189 16458 0 -1 1077944384 330 12377 0 0 38 27 8 3 20 0 20 0 9804891 11183845376 251706 33554432000 4194304 4196468 140725886984336 140629847944080 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21253] ppid=21186 vsize=10921724 CPUtime=0.17 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21253/stat : 21253 (java) S 21186 21189 16458 0 -1 1077944384 4993 12377 0 0 6 0 8 3 20 0 20 0 9804894 11183845376 251706 33554432000 4194304 4196468 140725886984336 140629444475120 140629902703234 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21254] ppid=21186 vsize=10921724 CPUtime=0.11 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21254/stat : 21254 (java) S 21186 21189 16458 0 -1 1077944384 39 12377 0 0 0 0 8 3 20 0 20 0 9804894 11183845376 251706 33554432000 4194304 4196468 140725886984336 140628718511328 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21255] ppid=21186 vsize=10921724 CPUtime=0.11 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21255/stat : 21255 (java) S 21186 21189 16458 0 -1 1077944384 47 12377 0 0 0 0 8 3 20 0 20 0 9804895 11183845376 251706 33554432000 4194304 4196468 140725886984336 140628717458176 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21256] ppid=21186 vsize=10921724 CPUtime=0.11 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21256/stat : 21256 (java) S 21186 21189 16458 0 -1 1077944384 1 12377 0 0 0 0 8 3 20 0 20 0 9804899 11183845376 251706 33554432000 4194304 4196468 140725886984336 140628716406736 140629902710683 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21257] ppid=21186 vsize=10921724 CPUtime=0.81 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21257/stat : 21257 (java) R 21186 21189 16458 0 -1 4202560 2355 12377 0 0 69 1 8 3 20 0 20 0 9804899 11183845376 251706 33554432000 4194304 4196468 140725886984336 140628715340960 140629881938625 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21258] ppid=21186 vsize=10921724 CPUtime=1.12 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21258/stat : 21258 (java) R 21186 21189 16458 0 -1 4202560 3886 12377 0 0 100 1 8 3 20 0 20 0 9804899 11183845376 251706 33554432000 4194304 4196468 140725886984336 140628714283520 140629880439463 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21259] ppid=21186 vsize=10921724 CPUtime=0.73 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21259/stat : 21259 (java) R 21186 21189 16458 0 -1 4202560 1554 12377 0 0 61 1 8 3 20 0 20 0 9804899 11183845376 251706 33554432000 4194304 4196468 140725886984336 140628713235520 140629882545616 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21260] ppid=21186 vsize=10921724 CPUtime=0.86 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21260/stat : 21260 (java) S 21186 21189 16458 0 -1 1077944384 3258 12377 0 0 74 1 8 3 20 0 20 0 9804899 11183845376 251706 33554432000 4194304 4196468 140725886984336 140628712196720 140629902703234 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21261] ppid=21186 vsize=10921724 CPUtime=0.11 cores=1,3,5,7,9,11,13,15 ################ # More data... # ################ [pid=21189/tid=21251] ppid=21186 vsize=10995452 CPUtime=58.37 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21251/stat : 21251 (java) R 21186 21189 16458 0 -1 4202560 13819 12377 0 0 5561 265 8 3 20 0 20 0 9804891 11259342848 1579829 33554432000 4194304 4196468 140725886984336 140629848996824 140629887390903 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21252] ppid=21186 vsize=10995452 CPUtime=58.23 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21252/stat : 21252 (java) R 21186 21189 16458 0 -1 4202560 17453 12377 0 0 5543 269 8 3 20 0 20 0 9804891 11259342848 1579829 33554432000 4194304 4196468 140725886984336 140629847944280 140629884301892 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21253] ppid=21186 vsize=10995452 CPUtime=2.49 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21253/stat : 21253 (java) S 21186 21189 16458 0 -1 1077944384 40016 12377 0 0 233 5 8 3 20 0 20 0 9804894 11259342848 1579829 33554432000 4194304 4196468 140725886984336 140629444473744 140629902702293 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21254] ppid=21186 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21254/stat : 21254 (java) S 21186 21189 16458 0 -1 1077944384 65 12377 0 0 0 0 8 3 20 0 20 0 9804894 11259342848 1579829 33554432000 4194304 4196468 140725886984336 140628718510896 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21255] ppid=21186 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21255/stat : 21255 (java) S 21186 21189 16458 0 -1 1077944384 75 12377 0 0 0 0 8 3 20 0 20 0 9804895 11259342848 1579829 33554432000 4194304 4196468 140725886984336 140628717458176 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21256] ppid=21186 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21256/stat : 21256 (java) S 21186 21189 16458 0 -1 1077944384 1 12377 0 0 0 0 8 3 20 0 20 0 9804899 11259342848 1579829 33554432000 4194304 4196468 140725886984336 140628716406736 140629902710683 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21257] ppid=21186 vsize=10995452 CPUtime=2.56 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21257/stat : 21257 (java) S 21186 21189 16458 0 -1 1077944384 11723 12377 0 0 242 3 8 3 20 0 20 0 9804899 11259342848 1579829 33554432000 4194304 4196468 140725886984336 140628715345264 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21258] ppid=21186 vsize=10995452 CPUtime=3.44 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21258/stat : 21258 (java) S 21186 21189 16458 0 -1 1077944384 15251 12377 0 0 329 4 8 3 20 0 20 0 9804899 11259342848 1579829 33554432000 4194304 4196468 140725886984336 140628714287216 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21259] ppid=21186 vsize=10995452 CPUtime=2.44 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21259/stat : 21259 (java) S 21186 21189 16458 0 -1 1077944384 8715 12377 0 0 231 2 8 3 20 0 20 0 9804899 11259342848 1579829 33554432000 4194304 4196468 140725886984336 140628713229904 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21260] ppid=21186 vsize=10995452 CPUtime=1.59 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21260/stat : 21260 (java) S 21186 21189 16458 0 -1 1077944384 18938 12377 0 0 145 3 8 3 20 0 20 0 9804899 11259342848 1579829 33554432000 4194304 4196468 140725886984336 140628712196480 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21261] ppid=21186 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21261/stat : 21261 (java) S 21186 21189 16458 0 -1 1077944384 3 12377 0 0 0 0 8 3 20 0 20 0 9804899 11259342848 1579829 33554432000 4194304 4196468 140725886984336 140628711143904 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21262] ppid=21186 vsize=10995452 CPUtime=0.32 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21262/stat : 21262 (java) S 21186 21189 16458 0 -1 1077944384 752 12377 0 0 11 10 8 3 20 0 20 0 9804899 11259342848 1579829 33554432000 4194304 4196468 140725886984336 140628710091440 140629902703234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 Current children cumulated CPU time (s) 821.42 Current children cumulated vsize (KiB) 10995452 [startup+405.201 s] /proc/loadavg: 6.44 6.04 3.69 10/281 21406 /proc/meminfo: memFree=24143708/32770624 swapFree=5832/382228 [pid=21189] ppid=21186 vsize=10995452 CPUtime=824.62 cores=1,3,5,7,9,11,13,15 /proc/21189/stat : 21189 (java) S 21186 21189 16458 0 -1 1077944320 318962 12377 0 0 80248 2203 8 3 20 0 20 0 9804878 11259342848 1579834 33554432000 4194304 4196468 140725886984336 140725886966880 140629902692087 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 /proc/21189/statm: 2748863 1579834 3506 1 0 2736418 0 [pid=21189/tid=21244] ppid=21186 vsize=10995452 CPUtime=342.96 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21244/stat : 21244 (java) S 21186 21189 16458 0 -1 1077944384 84644 12377 0 0 34255 30 8 3 20 0 20 0 9804890 11259342848 1579834 33554432000 4194304 4196468 140725886984336 140629906929856 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21245] ppid=21186 vsize=10995452 CPUtime=58.58 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21245/stat : 21245 (java) R 21186 21189 16458 0 -1 4202560 17929 12377 0 0 5578 269 8 3 20 0 20 0 9804891 11259342848 1579834 33554432000 4194304 4196468 140725886984336 140629855312600 140629887391472 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21246] ppid=21186 vsize=10995452 CPUtime=58.92 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21246/stat : 21246 (java) R 21186 21189 16458 0 -1 4202560 16327 12377 0 0 5616 265 8 3 20 0 20 0 9804891 11259342848 1579834 33554432000 4194304 4196468 140725886984336 140629854260056 140629887688580 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21247] ppid=21186 vsize=10995452 CPUtime=59 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21247/stat : 21247 (java) R 21186 21189 16458 0 -1 4202560 16658 12377 0 0 5621 268 8 3 20 0 20 0 9804891 11259342848 1579834 33554432000 4194304 4196468 140725886984336 140629853207000 140629887688443 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21248] ppid=21186 vsize=10995452 CPUtime=58.84 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21248/stat : 21248 (java) R 21186 21189 16458 0 -1 4202560 18059 12377 0 0 5599 274 8 3 20 0 20 0 9804891 11259342848 1579834 33554432000 4194304 4196468 140725886984336 140629852154144 140629884301824 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21249] ppid=21186 vsize=10995452 CPUtime=58.59 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21249/stat : 21249 (java) R 21186 21189 16458 0 -1 4202560 17689 12377 0 0 5593 255 8 3 20 0 20 0 9804891 11259342848 1579834 33554432000 4194304 4196468 140725886984336 140629851102424 140629887688749 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21250] ppid=21186 vsize=10995452 CPUtime=58.86 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21250/stat : 21250 (java) R 21186 21189 16458 0 -1 4202560 18716 12377 0 0 5600 275 8 3 20 0 20 0 9804891 11259342848 1579834 33554432000 4194304 4196468 140725886984336 140629850049880 140629887688511 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21251] ppid=21186 vsize=10995452 CPUtime=58.77 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21251/stat : 21251 (java) R 21186 21189 16458 0 -1 4202560 13819 12377 0 0 5601 265 8 3 20 0 20 0 9804891 11259342848 1579834 33554432000 4194304 4196468 140725886984336 140629848996824 140629887688698 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21252] ppid=21186 vsize=10995452 CPUtime=58.63 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21252/stat : 21252 (java) R 21186 21189 16458 0 -1 4202560 17453 12377 0 0 5583 269 8 3 20 0 20 0 9804891 11259342848 1579834 33554432000 4194304 4196468 140725886984336 140629847944280 140629887688749 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21253] ppid=21186 vsize=10995452 CPUtime=2.49 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21253/stat : 21253 (java) S 21186 21189 16458 0 -1 1077944384 40016 12377 0 0 233 5 8 3 20 0 20 0 9804894 11259342848 1579834 33554432000 4194304 4196468 140725886984336 140629444473744 140629902702293 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21254] ppid=21186 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21254/stat : 21254 (java) S 21186 21189 16458 0 -1 1077944384 65 12377 0 0 0 0 8 3 20 0 20 0 9804894 11259342848 1579834 33554432000 4194304 4196468 140725886984336 140628718510896 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21255] ppid=21186 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21255/stat : 21255 (java) S 21186 21189 16458 0 -1 1077944384 75 12377 0 0 0 0 8 3 20 0 20 0 9804895 11259342848 1579834 33554432000 4194304 4196468 140725886984336 140628717458176 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21256] ppid=21186 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21256/stat : 21256 (java) S 21186 21189 16458 0 -1 1077944384 1 12377 0 0 0 0 8 3 20 0 20 0 9804899 11259342848 1579834 33554432000 4194304 4196468 140725886984336 140628716406736 140629902710683 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21257] ppid=21186 vsize=10995452 CPUtime=2.56 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21257/stat : 21257 (java) S 21186 21189 16458 0 -1 1077944384 11723 12377 0 0 242 3 8 3 20 0 20 0 9804899 11259342848 1579834 33554432000 4194304 4196468 140725886984336 140628715345264 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21258] ppid=21186 vsize=10995452 CPUtime=3.44 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21258/stat : 21258 (java) S 21186 21189 16458 0 -1 1077944384 15251 12377 0 0 329 4 8 3 20 0 20 0 9804899 11259342848 1579834 33554432000 4194304 4196468 140725886984336 140628714287216 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21259] ppid=21186 vsize=10995452 CPUtime=2.44 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21259/stat : 21259 (java) S 21186 21189 16458 0 -1 1077944384 8715 12377 0 0 231 2 8 3 20 0 20 0 9804899 11259342848 1579834 33554432000 4194304 4196468 140725886984336 140628713229904 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21260] ppid=21186 vsize=10995452 CPUtime=1.59 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21260/stat : 21260 (java) S 21186 21189 16458 0 -1 1077944384 18938 12377 0 0 145 3 8 3 20 0 20 0 9804899 11259342848 1579834 33554432000 4194304 4196468 140725886984336 140628712196480 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21261] ppid=21186 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21261/stat : 21261 (java) S 21186 21189 16458 0 -1 1077944384 3 12377 0 0 0 0 8 3 20 0 20 0 9804899 11259342848 1579834 33554432000 4194304 4196468 140725886984336 140628711143904 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21262] ppid=21186 vsize=10995452 CPUtime=0.32 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21262/stat : 21262 (java) S 21186 21189 16458 0 -1 1077944384 752 12377 0 0 11 10 8 3 20 0 20 0 9804899 11259342848 1579834 33554432000 4194304 4196468 140725886984336 140628710091440 140629902703234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 Current children cumulated CPU time (s) 824.62 Current children cumulated vsize (KiB) 10995452 [startup+405.401 s] /proc/loadavg: 6.44 6.04 3.69 10/281 21406 /proc/meminfo: memFree=24143708/32770624 swapFree=5832/382228 [pid=21189] ppid=21186 vsize=10995452 CPUtime=826.21 cores=1,3,5,7,9,11,13,15 /proc/21189/stat : 21189 (java) S 21186 21189 16458 0 -1 1077944320 319016 12377 0 0 80407 2203 8 3 20 0 20 0 9804878 11259342848 1579834 33554432000 4194304 4196468 140725886984336 140725886966880 140629902692087 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 /proc/21189/statm: 2748863 1579834 3506 1 0 2736418 0 [pid=21189/tid=21244] ppid=21186 vsize=10995452 CPUtime=342.96 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21244/stat : 21244 (java) S 21186 21189 16458 0 -1 1077944384 84644 12377 0 0 34255 30 8 3 20 0 20 0 9804890 11259342848 1579834 33554432000 4194304 4196468 140725886984336 140629906929856 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21245] ppid=21186 vsize=10995452 CPUtime=58.78 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21245/stat : 21245 (java) R 21186 21189 16458 0 -1 4202560 17949 12377 0 0 5598 269 8 3 20 0 20 0 9804891 11259342848 1579834 33554432000 4194304 4196468 140725886984336 140629855312600 140629884245328 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21246] ppid=21186 vsize=10995452 CPUtime=59.12 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21246/stat : 21246 (java) R 21186 21189 16458 0 -1 4202560 16348 12377 0 0 5636 265 8 3 20 0 20 0 9804891 11259342848 1579834 33554432000 4194304 4196468 140725886984336 140629854260056 140629884301795 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21247] ppid=21186 vsize=10995452 CPUtime=59.2 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21247/stat : 21247 (java) R 21186 21189 16458 0 -1 4202560 16658 12377 0 0 5641 268 8 3 20 0 20 0 9804891 11259342848 1579834 33554432000 4194304 4196468 140725886984336 140629853206920 140629895320295 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21248] ppid=21186 vsize=10995452 CPUtime=59.04 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21248/stat : 21248 (java) R 21186 21189 16458 0 -1 4202560 18059 12377 0 0 5619 274 8 3 20 0 20 0 9804891 11259342848 1579834 33554432000 4194304 4196468 140725886984336 140629852154376 140629895320295 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21249] ppid=21186 vsize=10995452 CPUtime=58.79 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21249/stat : 21249 (java) R 21186 21189 16458 0 -1 4202560 17702 12377 0 0 5613 255 8 3 20 0 20 0 9804891 11259342848 1579834 33554432000 4194304 4196468 140725886984336 140629851102344 140629895320295 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21250] ppid=21186 vsize=10995452 CPUtime=59.06 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21250/stat : 21250 (java) R 21186 21189 16458 0 -1 4202560 18716 12377 0 0 5620 275 8 3 20 0 20 0 9804891 11259342848 1579834 33554432000 4194304 4196468 140725886984336 140629850049880 140629887688439 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21251] ppid=21186 vsize=10995452 CPUtime=58.97 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21251/stat : 21251 (java) R 21186 21189 16458 0 -1 4202560 13819 12377 0 0 5621 265 8 3 20 0 20 0 9804891 11259342848 1579834 33554432000 4194304 4196468 140725886984336 140629848996744 140629895320295 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21252] ppid=21186 vsize=10995452 CPUtime=58.82 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21252/stat : 21252 (java) R 21186 21189 16458 0 -1 4202560 17453 12377 0 0 5602 269 8 3 20 0 20 0 9804891 11259342848 1579834 33554432000 4194304 4196468 140725886984336 140629847944200 140629888450896 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21253] ppid=21186 vsize=10995452 CPUtime=2.49 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21253/stat : 21253 (java) S 21186 21189 16458 0 -1 1077944384 40016 12377 0 0 233 5 8 3 20 0 20 0 9804894 11259342848 1579834 33554432000 4194304 4196468 140725886984336 140629444473744 140629902702293 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21254] ppid=21186 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21254/stat : 21254 (java) S 21186 21189 16458 0 -1 1077944384 65 12377 0 0 0 0 8 3 20 0 20 0 9804894 11259342848 1579834 33554432000 4194304 4196468 140725886984336 140628718510896 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21255] ppid=21186 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21255/stat : 21255 (java) S 21186 21189 16458 0 -1 1077944384 75 12377 0 0 0 0 8 3 20 0 20 0 9804895 11259342848 1579834 33554432000 4194304 4196468 140725886984336 140628717458176 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21256] ppid=21186 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21256/stat : 21256 (java) S 21186 21189 16458 0 -1 1077944384 1 12377 0 0 0 0 8 3 20 0 20 0 9804899 11259342848 1579834 33554432000 4194304 4196468 140725886984336 140628716406736 140629902710683 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21257] ppid=21186 vsize=10995452 CPUtime=2.56 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21257/stat : 21257 (java) S 21186 21189 16458 0 -1 1077944384 11723 12377 0 0 242 3 8 3 20 0 20 0 9804899 11259342848 1579834 33554432000 4194304 4196468 140725886984336 140628715345264 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21258] ppid=21186 vsize=10995452 CPUtime=3.44 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21258/stat : 21258 (java) S 21186 21189 16458 0 -1 1077944384 15251 12377 0 0 329 4 8 3 20 0 20 0 9804899 11259342848 1579834 33554432000 4194304 4196468 140725886984336 140628714287216 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21259] ppid=21186 vsize=10995452 CPUtime=2.44 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21259/stat : 21259 (java) S 21186 21189 16458 0 -1 1077944384 8715 12377 0 0 231 2 8 3 20 0 20 0 9804899 11259342848 1579834 33554432000 4194304 4196468 140725886984336 140628713229904 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21260] ppid=21186 vsize=10995452 CPUtime=1.59 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21260/stat : 21260 (java) S 21186 21189 16458 0 -1 1077944384 18938 12377 0 0 145 3 8 3 20 0 20 0 9804899 11259342848 1579834 33554432000 4194304 4196468 140725886984336 140628712196480 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21261] ppid=21186 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21261/stat : 21261 (java) S 21186 21189 16458 0 -1 1077944384 3 12377 0 0 0 0 8 3 20 0 20 0 9804899 11259342848 1579834 33554432000 4194304 4196468 140725886984336 140628711143904 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21262] ppid=21186 vsize=10995452 CPUtime=0.32 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21262/stat : 21262 (java) S 21186 21189 16458 0 -1 1077944384 752 12377 0 0 11 10 8 3 20 0 20 0 9804899 11259342848 1579834 33554432000 4194304 4196468 140725886984336 140628710091440 140629902703234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 Current children cumulated CPU time (s) 826.21 Current children cumulated vsize (KiB) 10995452 [startup+405.501 s] /proc/loadavg: 6.44 6.04 3.69 10/281 21406 /proc/meminfo: memFree=24143708/32770624 swapFree=5832/382228 [pid=21189] ppid=21186 vsize=10995452 CPUtime=826.91 cores=1,3,5,7,9,11,13,15 /proc/21189/stat : 21189 (java) S 21186 21189 16458 0 -1 1077944320 319016 12377 0 0 80477 2203 8 3 20 0 20 0 9804878 11259342848 1579834 33554432000 4194304 4196468 140725886984336 140725886966880 140629902692087 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 /proc/21189/statm: 2748863 1579834 3506 1 0 2736418 0 [pid=21189/tid=21244] ppid=21186 vsize=10995452 CPUtime=342.96 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21244/stat : 21244 (java) S 21186 21189 16458 0 -1 1077944384 84644 12377 0 0 34255 30 8 3 20 0 20 0 9804890 11259342848 1579834 33554432000 4194304 4196468 140725886984336 140629906929856 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21245] ppid=21186 vsize=10995452 CPUtime=58.87 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21245/stat : 21245 (java) S 21186 21189 16458 0 -1 1077944384 17949 12377 0 0 5607 269 8 3 20 0 20 0 9804891 11259342848 1579834 33554432000 4194304 4196468 140725886984336 140629855312400 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21246] ppid=21186 vsize=10995452 CPUtime=59.2 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21246/stat : 21246 (java) S 21186 21189 16458 0 -1 1077944384 16348 12377 0 0 5644 265 8 3 20 0 20 0 9804891 11259342848 1579834 33554432000 4194304 4196468 140725886984336 140629854259856 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21247] ppid=21186 vsize=10995452 CPUtime=59.28 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21247/stat : 21247 (java) S 21186 21189 16458 0 -1 1077944384 16658 12377 0 0 5649 268 8 3 20 0 20 0 9804891 11259342848 1579834 33554432000 4194304 4196468 140725886984336 140629853206800 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21248] ppid=21186 vsize=10995452 CPUtime=59.12 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21248/stat : 21248 (java) S 21186 21189 16458 0 -1 1077944384 18059 12377 0 0 5627 274 8 3 20 0 20 0 9804891 11259342848 1579834 33554432000 4194304 4196468 140725886984336 140629852154256 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21249] ppid=21186 vsize=10995452 CPUtime=58.87 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21249/stat : 21249 (java) S 21186 21189 16458 0 -1 1077944384 17702 12377 0 0 5621 255 8 3 20 0 20 0 9804891 11259342848 1579834 33554432000 4194304 4196468 140725886984336 140629851102224 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21250] ppid=21186 vsize=10995452 CPUtime=59.15 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21250/stat : 21250 (java) S 21186 21189 16458 0 -1 1077944384 18716 12377 0 0 5629 275 8 3 20 0 20 0 9804891 11259342848 1579834 33554432000 4194304 4196468 140725886984336 140629850049680 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21251] ppid=21186 vsize=10995452 CPUtime=59.05 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21251/stat : 21251 (java) S 21186 21189 16458 0 -1 1077944384 13819 12377 0 0 5629 265 8 3 20 0 20 0 9804891 11259342848 1579834 33554432000 4194304 4196468 140725886984336 140629848996624 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21252] ppid=21186 vsize=10995452 CPUtime=58.91 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21252/stat : 21252 (java) S 21186 21189 16458 0 -1 1077944384 17453 12377 0 0 5611 269 8 3 20 0 20 0 9804891 11259342848 1579834 33554432000 4194304 4196468 140725886984336 140629847944080 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21253] ppid=21186 vsize=10995452 CPUtime=2.51 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21253/stat : 21253 (java) R 21186 21189 16458 0 -1 4202560 40016 12377 0 0 235 5 8 3 20 0 20 0 9804894 11259342848 1579834 33554432000 4194304 4196468 140725886984336 140629444473632 140629881062267 0 0 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21254] ppid=21186 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21254/stat : 21254 (java) S 21186 21189 16458 0 -1 1077944384 65 12377 0 0 0 0 8 3 20 0 20 0 9804894 11259342848 1579834 33554432000 4194304 4196468 140725886984336 140628718510896 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21255] ppid=21186 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21255/stat : 21255 (java) S 21186 21189 16458 0 -1 1077944384 75 12377 0 0 0 0 8 3 20 0 20 0 9804895 11259342848 1579834 33554432000 4194304 4196468 140725886984336 140628717458176 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21256] ppid=21186 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21256/stat : 21256 (java) S 21186 21189 16458 0 -1 1077944384 1 12377 0 0 0 0 8 3 20 0 20 0 9804899 11259342848 1579834 33554432000 4194304 4196468 140725886984336 140628716406736 140629902710683 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21257] ppid=21186 vsize=10995452 CPUtime=2.56 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21257/stat : 21257 (java) S 21186 21189 16458 0 -1 1077944384 11723 12377 0 0 242 3 8 3 20 0 20 0 9804899 11259342848 1579834 33554432000 4194304 4196468 140725886984336 140628715345264 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21258] ppid=21186 vsize=10995452 CPUtime=3.44 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21258/stat : 21258 (java) S 21186 21189 16458 0 -1 1077944384 15251 12377 0 0 329 4 8 3 20 0 20 0 9804899 11259342848 1579834 33554432000 4194304 4196468 140725886984336 140628714287216 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21259] ppid=21186 vsize=10995452 CPUtime=2.44 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21259/stat : 21259 (java) S 21186 21189 16458 0 -1 1077944384 8715 12377 0 0 231 2 8 3 20 0 20 0 9804899 11259342848 1579834 33554432000 4194304 4196468 140725886984336 140628713229904 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21260] ppid=21186 vsize=10995452 CPUtime=1.59 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21260/stat : 21260 (java) S 21186 21189 16458 0 -1 1077944384 18938 12377 0 0 145 3 8 3 20 0 20 0 9804899 11259342848 1579834 33554432000 4194304 4196468 140725886984336 140628712196480 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21261] ppid=21186 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21261/stat : 21261 (java) S 21186 21189 16458 0 -1 1077944384 3 12377 0 0 0 0 8 3 20 0 20 0 9804899 11259342848 1579834 33554432000 4194304 4196468 140725886984336 140628711143904 140629902702293 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 [pid=21189/tid=21262] ppid=21186 vsize=10995452 CPUtime=0.32 cores=1,3,5,7,9,11,13,15 /proc/21189/task/21262/stat : 21262 (java) S 21186 21189 16458 0 -1 1077944384 752 12377 0 0 11 10 8 3 20 0 20 0 9804899 11259342848 1579834 33554432000 4194304 4196468 140725886984336 140628710091440 140629902703234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23195648 140725886991041 140725886993815 140725886993815 140725886996431 0 Current children cumulated CPU time (s) 826.91 Current children cumulated vsize (KiB) 10995452 Child status: 1 Real time (s): 405.572 CPU time (s): 827.073 CPU user time (s): 804.956 CPU system time (s): 22.1174 CPU usage (%): 203.928 Max. virtual memory (cumulated for all children) (KiB): 10997568 getrusage(RUSAGE_CHILDREN,...) data: user time used= 804.956 system time used= 22.1174 maximum resident set size= 6319624 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 331635 page faults= 0 swaps= 0 block input operations= 0 block output operations= 744 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 28570 involuntary context switches= 51483 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 3.03247 second user time and 3.88395 second system time The end
Begin job on node119 at 2017-07-22 19:42:42 IDJOB=4248289 IDBENCH=133263 IDSOLVER=2630 FILE ID=node119/4248289-1500745360 RUNJOBID= node119-1500745234-20229 PBS_JOBID= 20623350 Free space on /tmp= 61688 MiB SOLVER NAME= Concrete 3.4 BENCH NAME= XCSP17/MagicSquare/MagicSquare-mdd-s1/MagicSquare-15-mdd.xml COMMAND LINE= bin/concrete BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4248289-1500745360/watcher-4248289-1500745360 -o /tmp/evaluation-result-4248289-1500745360/solver-4248289-1500745360 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1500745234-20229 --watchdog 2560 bin/concrete HOME/instance-4248289-1500745360.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= eb9d91ed4b70703bb0e2b52375e1b8aa RANDOM SEED=906485923 node119.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /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 : 8 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.98 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.98 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.98 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 : 2267.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.98 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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: processor : 8 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 : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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.98 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2533.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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.98 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2533.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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.98 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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.98 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 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 : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: 27691740 kB MemAvailable: 28313540 kB Buffers: 156120 kB Cached: 744072 kB SwapCached: 0 kB Active: 4244664 kB Inactive: 390556 kB Active(anon): 3738084 kB Inactive(anon): 8700 kB Active(file): 506580 kB Inactive(file): 381856 kB Unevictable: 5832 kB Mlocked: 5832 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 145108 kB Writeback: 0 kB AnonPages: 3732892 kB Mapped: 44340 kB Shmem: 8844 kB Slab: 132260 kB SReclaimable: 98396 kB SUnreclaim: 33864 kB KernelStack: 4560 kB PageTables: 12420 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 4345148 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 3540992 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 136576 kB DirectMap2M: 33409024 kB Free space on /tmp at the end= 61708 MiB End job on node119 at 2017-07-22 19:49:28