| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j-CSP 2018-07-11 | ? | 46.5317 | 29.3573 |
| Name | PeacableArmies/ PeacableArmies-m1-50_c18.xml |
| MD5SUM | 65d9088e6e3c6b500cf18d234bd8e6c7 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 174 |
| Best CPU time to get the best result obtained on this benchmark | 252.072 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 5000 |
| Number of constraints | 409201 |
| Number of domains | 1 |
| Minimum domain size | 2 |
| Maximum domain size | 2 |
| Distribution of domain sizes | [{"size":2,"count":5000}] |
| Minimum variable degree | 149 |
| Maximum variable degree | 198 |
| Distribution of variable degrees | [{"degree":149,"count":196},{"degree":150,"count":196},{"degree":151,"count":188},{"degree":152,"count":188},{"degree":153,"count":180},{"degree":154,"count":180},{"degree":155,"count":172},{"degree":156,"count":172},{"degree":157,"count":164},{"degree":158,"count":164},{"degree":159,"count":156},{"degree":160,"count":156},{"degree":161,"count":148},{"degree":162,"count":148},{"degree":163,"count":140},{"degree":164,"count":140},{"degree":165,"count":132},{"degree":166,"count":132},{"degree":167,"count":124},{"degree":168,"count":124},{"degree":169,"count":116},{"degree":170,"count":116},{"degree":171,"count":108},{"degree":172,"count":108},{"degree":173,"count":100},{"degree":174,"count":100},{"degree":175,"count":92},{"degree":176,"count":92},{"degree":177,"count":84},{"degree":178,"count":84},{"degree":179,"count":76},{"degree":180,"count":76},{"degree":181,"count":68},{"degree":182,"count":68},{"degree":183,"count":60},{"degree":184,"count":60},{"degree":185,"count":52},{"degree":186,"count":52},{"degree":187,"count":44},{"degree":188,"count":44},{"degree":189,"count":36},{"degree":190,"count":36},{"degree":191,"count":28},{"degree":192,"count":28},{"degree":193,"count":20},{"degree":194,"count":20},{"degree":195,"count":12},{"degree":196,"count":12},{"degree":197,"count":4},{"degree":198,"count":4}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 5000 |
| Distribution of constraint arities | [{"arity":2,"count":409200},{"arity":5000,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 409200 |
| Distribution of constraint types | [{"type":"intension","count":409200},{"type":"sum","count":1}] |
| Optimization problem | YES |
| Type of objective | max SUM |
45.76/29.09 Exception in thread "main" java.lang.StackOverflowError 45.76/29.09 at java.util.HashMap.hash(HashMap.java:338) 45.76/29.09 at java.util.HashMap.put(HashMap.java:611) 45.76/29.09 at java.util.HashSet.add(HashSet.java:219) 45.76/29.09 at org.sat4j.csp.intension.VarExpression.<init>(VarExpression.java:37) 45.76/29.09 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:78) 45.76/29.09 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.09 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.09 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.09 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.09 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.09 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.09 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.09 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.09 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 45.76/29.10 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 46.08/29.11 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 46.46/29.31 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 46.46/29.31 c This is free software under the dual EPL/GNU LGPL licenses. 46.46/29.31 c See www.sat4j.org for details. 46.46/29.31 c That software uses the Rhino library from the Mozilla project. 46.46/29.31 c version 2.3.6-SNAPSHOT 46.46/29.31 c java.runtime.name Java(TM) SE Runtime Environment 46.46/29.31 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 46.46/29.31 c java.vm.version 25.131-b11 46.46/29.31 c java.vm.vendor Oracle Corporation 46.46/29.31 c sun.arch.data.model 64 46.46/29.31 c java.version 1.8.0_131 46.46/29.31 c os.name Linux 46.46/29.31 c os.version 3.10.0-514.16.1.el7.x86_64 46.46/29.31 c os.arch amd64 46.46/29.31 c Free memory 499604488 46.46/29.31 c Max memory 7247757312 46.46/29.31 c Total memory 504889344 46.46/29.31 c Number of processors 4 46.46/29.31 c c --- Begin Solver configuration --- 46.46/29.31 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e 46.46/29.31 c Learn all clauses as in MiniSAT 46.46/29.31 c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 46.46/29.31 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 46.46/29.31 c No reason simplification 46.46/29.31 c Glucose 2.1 dynamic restart strategy 46.46/29.31 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 46.46/29.31 c timeout=2147483s 46.46/29.31 c DB Simplification allowed=false 46.46/29.31 c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1 46.46/29.31 c --- End Solver configuration --- 46.46/29.31 c starts : 0 46.46/29.31 c conflicts : 0 46.46/29.31 c decisions : 0 46.46/29.31 c propagations : 0 46.46/29.31 c inspects : 0 46.46/29.31 c shortcuts : 0 46.46/29.31 c learnt literals : 0 46.46/29.31 c learnt binary clauses : 0 46.46/29.31 c learnt ternary clauses : 0 46.46/29.31 c learnt constraints : 0 46.46/29.31 c ignored constraints : 0 46.46/29.31 c root simplifications : 0 46.46/29.31 c removed literals (reason simplification) : 0 46.46/29.31 c reason swapping (by a shorter reason) : 0 46.46/29.31 c Calls to reduceDB : 0 46.46/29.31 c Number of update (reduction) of LBD : 0 46.46/29.31 c Imported unit clauses : 0 46.46/29.31 c number of reductions to clauses (during analyze) : 0 46.46/29.31 c number of learned constraints concerned by reduction : 0 46.46/29.31 c number of learning phase by resolution : 0 46.46/29.31 c number of learning phase by cutting planes : 0 46.46/29.31 c number of rounding to 1 operations : 0 46.46/29.31 c number of easy rounding to 1 operations (no literal elimination needed) : 0 46.46/29.31 c number of reductions of the coefficients by power 2 : 0 46.46/29.31 c number of right shift for reduction by power 2 : 0 46.46/29.31 c number of reductions of the coefficients by GCD over coefficients : 0 46.46/29.31 c number of ending skipping : 0 46.46/29.31 c number of internal skipping : 0 46.46/29.31 c number of derivation steps : 0 46.46/29.31 c number of skipped derivation steps : 0 46.46/29.31 c number of remaining unassigned : 0 46.46/29.31 c number of remaining assigned : 0 46.46/29.31 c speed (assignments/second) : 0.0 46.46/29.31 c non guided choices : 0 46.46/29.31 s UNKNOWN
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (11773 MiB free)
memory of node 1: 16384 MiB (15817 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301979-1532886204/watcher-4301979-1532886204 -o /tmp/evaluation-result-4301979-1532886204/solver-4301979-1532886204 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532879536-13547 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4301979-1532886204.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=19512, runsolver pid=19509
[startup+0.100141 s]*
/proc/loadavg: 2.05 2.40 2.49 2/218 19527
/proc/meminfo: memFree=28235756/32770624 swapFree=67108860/67108860
[pid=19512] ppid=19509 vsize=10659012 memory=31524 CPUtime=0.13 cores=1,3,5,7
/proc/19512/stat : 19512 (java) S 19509 19512 13514 0 -1 1077944320 6439 0 0 0 12 1 0 0 20 0 15 0 106183575 10914828288 7881 33554432000 4194304 4196468 140727834660672 140727834643216 140394432335607 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
/proc/19512/statm: 2664753 7881 2819 1 0 2627263 0
[pid=19512/tid=19514] ppid=19509 vsize=10659012 memory=-8701690554791924606 CPUtime=0.08 cores=1,3,5,7
/proc/19512/task/19514/stat : 19514 (java) R 19509 19512 13514 0 -1 4202560 4279 0 0 0 8 0 0 0 20 0 15 0 106183575 10914828288 7881 33554432000 4194304 4196468 140727834660672 140394436556736 140394416416094 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19515] ppid=19509 vsize=10659012 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/19512/task/19515/stat : 19515 (java) S 19509 19512 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106183576 10914828288 7881 33554432000 4194304 4196468 140727834660672 140394369027216 140394432345813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19516] ppid=19509 vsize=10659012 memory=140546112980608 CPUtime=0 cores=1,3,5,7
/proc/19512/task/19516/stat : 19516 (java) S 19509 19512 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106183576 10914828288 7881 33554432000 4194304 4196468 140727834660672 140394367974416 140394432345813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19517] ppid=19509 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19512/task/19517/stat : 19517 (java) S 19509 19512 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106183576 10914828288 7881 33554432000 4194304 4196468 140727834660672 140394366921616 140394432345813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19518] ppid=19509 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19512/task/19518/stat : 19518 (java) S 19509 19512 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106183576 10914828288 7881 33554432000 4194304 4196468 140727834660672 140394365868816 140394432345813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19519] ppid=19509 vsize=10659012 memory=140546112980608 CPUtime=0 cores=1,3,5,7
/proc/19512/task/19519/stat : 19519 (java) S 19509 19512 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106183577 10914828288 7881 33554432000 4194304 4196468 140727834660672 140393668618608 140394432346754 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19520] ppid=19509 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19512/task/19520/stat : 19520 (java) S 19509 19512 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106183578 10914828288 7881 33554432000 4194304 4196468 140727834660672 140393667564576 140394432345813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19521] ppid=19509 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19512/task/19521/stat : 19521 (java) S 19509 19512 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106183578 10914828288 7881 33554432000 4194304 4196468 140727834660672 140393666511728 140394432345813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19522] ppid=19509 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19512/task/19522/stat : 19522 (java) S 19509 19512 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106183580 10914828288 7881 33554432000 4194304 4196468 140727834660672 140393665460048 140394432354203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19523] ppid=19509 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19512/task/19523/stat : 19523 (java) R 19509 19512 13514 0 -1 1077944384 442 0 0 0 0 0 0 0 20 0 15 0 106183580 10914828288 7881 33554432000 4194304 4196468 140727834660672 140393664408432 140394432346754 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19524] ppid=19509 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19512/task/19524/stat : 19524 (java) S 19509 19512 13514 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106183580 10914828288 7881 33554432000 4194304 4196468 140727834660672 140393663355632 140394432346754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19525] ppid=19509 vsize=10659012 memory=140546112980608 CPUtime=0.02 cores=1,3,5,7
/proc/19512/task/19525/stat : 19525 (java) R 19509 19512 13514 0 -1 1077944384 350 0 0 0 2 0 0 0 20 0 15 0 106183580 10914828288 7881 33554432000 4194304 4196468 140727834660672 140393662302832 140394432346754 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19526] ppid=19509 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19512/task/19526/stat : 19526 (java) S 19509 19512 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106183580 10914828288 7881 33554432000 4194304 4196468 140727834660672 140393661250272 140394432345813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19527] ppid=19509 vsize=10659012 memory=140546112980608 CPUtime=0 cores=1,3,5,7
/proc/19512/task/19527/stat : 19527 (java) S 19509 19512 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106183581 10914828288 7881 33554432000 4194304 4196468 140727834660672 140393660197552 140394432346754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 31524 KiB
[startup+0.210642 s]*
/proc/loadavg: 2.05 2.40 2.49 4/218 19527
/proc/meminfo: memFree=28224864/32770624 swapFree=67108860/67108860
[pid=19512] ppid=19509 vsize=10659012 memory=42504 CPUtime=0.33 cores=1,3,5,7
/proc/19512/stat : 19512 (java) S 19509 19512 13514 0 -1 1077944320 7674 0 0 0 31 2 0 0 20 0 15 0 106183575 10914828288 10626 33554432000 4194304 4196468 140727834660672 140727834643216 140394432335607 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
/proc/19512/statm: 2664753 10626 3007 1 0 2627263 0
[pid=19512/tid=19514] ppid=19509 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/19512/task/19514/stat : 19514 (java) R 19509 19512 13514 0 -1 4202560 4621 0 0 0 19 1 0 0 20 0 15 0 106183575 10914828288 10626 33554432000 4194304 4196468 140727834660672 140394436572208 140394432357533 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19515] ppid=19509 vsize=10659012 memory=331 CPUtime=0 cores=1,3,5,7
/proc/19512/task/19515/stat : 19515 (java) S 19509 19512 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106183576 10914828288 10626 33554432000 4194304 4196468 140727834660672 140394369027216 140394432345813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19516] ppid=19509 vsize=10659012 memory=140546113612017 CPUtime=0 cores=1,3,5,7
/proc/19512/task/19516/stat : 19516 (java) S 19509 19512 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106183576 10914828288 10626 33554432000 4194304 4196468 140727834660672 140394367974416 140394432345813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19517] ppid=19509 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19512/task/19517/stat : 19517 (java) S 19509 19512 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106183576 10914828288 10626 33554432000 4194304 4196468 140727834660672 140394366921616 140394432345813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19518] ppid=19509 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19512/task/19518/stat : 19518 (java) S 19509 19512 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106183576 10914828288 10626 33554432000 4194304 4196468 140727834660672 140394365868816 140394432345813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19519] ppid=19509 vsize=10659012 memory=140546112980608 CPUtime=0 cores=1,3,5,7
/proc/19512/task/19519/stat : 19519 (java) S 19509 19512 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106183577 10914828288 10626 33554432000 4194304 4196468 140727834660672 140393668618608 140394432346754 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19520] ppid=19509 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19512/task/19520/stat : 19520 (java) S 19509 19512 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106183578 10914828288 10626 33554432000 4194304 4196468 140727834660672 140393667564576 140394432345813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19521] ppid=19509 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19512/task/19521/stat : 19521 (java) S 19509 19512 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106183578 10914828288 10626 33554432000 4194304 4196468 140727834660672 140393666511728 140394432345813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19522] ppid=19509 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19512/task/19522/stat : 19522 (java) S 19509 19512 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106183580 10914828288 10626 33554432000 4194304 4196468 140727834660672 140393665460048 140394432354203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19523] ppid=19509 vsize=10659012 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/19512/task/19523/stat : 19523 (java) S 19509 19512 13514 0 -1 1077944384 741 0 0 0 2 0 0 0 20 0 15 0 106183580 10914828288 10626 33554432000 4194304 4196468 140727834660672 140393664408432 140394432346754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19524] ppid=19509 vsize=10659012 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/19512/task/19524/stat : 19524 (java) S 19509 19512 13514 0 -1 1077944384 272 0 0 0 2 0 0 0 20 0 15 0 106183580 10914828288 10626 33554432000 4194304 4196468 140727834660672 140393663355632 140394432346754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19525] ppid=19509 vsize=10659012 memory=140546112980608 CPUtime=0.07 cores=1,3,5,7
/proc/19512/task/19525/stat : 19525 (java) S 19509 19512 13514 0 -1 1077944384 677 0 0 0 7 0 0 0 20 0 15 0 106183580 10914828288 10626 33554432000 4194304 4196468 140727834660672 140393662302832 140394432346754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19526] ppid=19509 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19512/task/19526/stat : 19526 (java) S 19509 19512 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106183580 10914828288 10626 33554432000 4194304 4196468 140727834660672 140393661250272 140394432345813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19527] ppid=19509 vsize=10659012 memory=140546112980608 CPUtime=0 cores=1,3,5,7
/proc/19512/task/19527/stat : 19527 (java) S 19509 19512 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106183581 10914828288 10626 33554432000 4194304 4196468 140727834660672 140393660197552 140394432346754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 42504 KiB
[startup+0.310526 s]*
/proc/loadavg: 2.05 2.40 2.49 6/218 19527
/proc/meminfo: memFree=28211092/32770624 swapFree=67108860/67108860
[pid=19512] ppid=19509 vsize=10659012 memory=54560 CPUtime=0.6 cores=1,3,5,7
/proc/19512/stat : 19512 (java) S 19509 19512 13514 0 -1 1077944320 9248 0 0 0 58 2 0 0 20 0 15 0 106183575 10914828288 13640 33554432000 4194304 4196468 140727834660672 140727834643216 140394432335607 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
/proc/19512/statm: 2664753 13640 3038 1 0 2627263 0
[pid=19512/tid=19514] ppid=19509 vsize=10659012 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/19512/task/19514/stat : 19514 (java) R 19509 19512 13514 0 -1 4202560 4890 0 0 0 29 1 0 0 20 0 15 0 106183575 10914828288 13640 33554432000 4194304 4196468 140727834660672 140394436572704 140394042091216 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19515] ppid=19509 vsize=10659012 memory=4294977825 CPUtime=0 cores=1,3,5,7
/proc/19512/task/19515/stat : 19515 (java) S 19509 19512 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106183576 10914828288 13640 33554432000 4194304 4196468 140727834660672 140394369027216 140394432345813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19516] ppid=19509 vsize=10659012 memory=140546113609743 CPUtime=0 cores=1,3,5,7
/proc/19512/task/19516/stat : 19516 (java) S 19509 19512 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106183576 10914828288 13640 33554432000 4194304 4196468 140727834660672 140394367974416 140394432345813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19517] ppid=19509 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19512/task/19517/stat : 19517 (java) S 19509 19512 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106183576 10914828288 13640 33554432000 4194304 4196468 140727834660672 140394366921616 140394432345813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19518] ppid=19509 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19512/task/19518/stat : 19518 (java) S 19509 19512 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106183576 10914828288 13640 33554432000 4194304 4196468 140727834660672 140394365868816 140394432345813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19519] ppid=19509 vsize=10659012 memory=140546112980608 CPUtime=0 cores=1,3,5,7
/proc/19512/task/19519/stat : 19519 (java) S 19509 19512 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106183577 10914828288 13640 33554432000 4194304 4196468 140727834660672 140393668618608 140394432346754 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19520] ppid=19509 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19512/task/19520/stat : 19520 (java) S 19509 19512 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106183578 10914828288 13640 33554432000 4194304 4196468 140727834660672 140393667564576 140394432345813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19521] ppid=19509 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19512/task/19521/stat : 19521 (java) S 19509 19512 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106183578 10914828288 13640 33554432000 4194304 4196468 140727834660672 140393666511728 140394432345813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19522] ppid=19509 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19512/task/19522/stat : 19522 (java) S 19509 19512 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106183580 10914828288 13640 33554432000 4194304 4196468 140727834660672 140393665460048 140394432354203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19523] ppid=19509 vsize=10659012 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19512/task/19523/stat : 19523 (java) R 19509 19512 13514 0 -1 4202560 1246 0 0 0 7 0 0 0 20 0 15 0 106183580 10914828288 13640 33554432000 4194304 4196468 140727834660672 140393664390024 140394410352595 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19524] ppid=19509 vsize=10659012 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19512/task/19524/stat : 19524 (java) R 19509 19512 13514 0 -1 4202560 758 0 0 0 7 0 0 0 20 0 15 0 106183580 10914828288 13640 33554432000 4194304 4196468 140727834660672 140393663335704 140394417461060 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19525] ppid=19509 vsize=10659012 memory=140546112980608 CPUtime=0.12 cores=1,3,5,7
/proc/19512/task/19525/stat : 19525 (java) R 19509 19512 13514 0 -1 1077944384 988 0 0 0 12 0 0 0 20 0 15 0 106183580 10914828288 13640 33554432000 4194304 4196468 140727834660672 140393662302832 140394432346754 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19526] ppid=19509 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19512/task/19526/stat : 19526 (java) S 19509 19512 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106183580 10914828288 13640 33554432000 4194304 4196468 140727834660672 140393661250272 140394432345813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19527] ppid=19509 vsize=10659012 memory=140546112980608 CPUtime=0 cores=1,3,5,7
/proc/19512/task/19527/stat : 19527 (java) S 19509 19512 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106183581 10914828288 13640 33554432000 4194304 4196468 140727834660672 140393660197552 140394432346754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 54560 KiB
[startup+0.700956 s]
/proc/loadavg: 2.05 2.40 2.49 3/218 19527
/proc/meminfo: memFree=28154868/32770624 swapFree=67108860/67108860
[pid=19512] ppid=19509 vsize=10659012 memory=258256 CPUtime=1.53 cores=1,3,5,7
/proc/19512/stat : 19512 (java) S 19509 19512 13514 0 -1 1077944320 10137 0 0 0 137 16 0 0 20 0 15 0 106183575 10914828288 64564 33554432000 4194304 4196468 140727834660672 140727834643216 140394432335607 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
/proc/19512/statm: 2664753 64564 3060 1 0 2627263 0
[pid=19512/tid=19514] ppid=19509 vsize=10659012 memory=16884 CPUtime=0.61 cores=1,3,5,7
/proc/19512/task/19514/stat : 19514 (java) S 19509 19512 13514 0 -1 1077944384 4948 0 0 0 59 2 0 0 20 0 15 0 106183575 10914828288 64564 33554432000 4194304 4196468 140727834660672 140394436574752 140394432345813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19515] ppid=19509 vsize=10659012 memory=2324 CPUtime=0.06 cores=1,3,5,7
/proc/19512/task/19515/stat : 19515 (java) R 19509 19512 13514 0 -1 4202560 54 0 0 0 3 3 0 0 20 0 15 0 106183576 10914828288 64564 33554432000 4194304 4196468 140727834660672 140394369027216 140394425432308 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19516] ppid=19509 vsize=10659012 memory=1584 CPUtime=0.06 cores=1,3,5,7
/proc/19512/task/19516/stat : 19516 (java) R 19509 19512 13514 0 -1 4202560 45 0 0 0 3 3 0 0 20 0 15 0 106183576 10914828288 64564 33554432000 4194304 4196468 140727834660672 140394367974616 140394417363490 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19517] ppid=19509 vsize=10659012 memory=496 CPUtime=0.06 cores=1,3,5,7
/proc/19512/task/19517/stat : 19517 (java) R 19509 19512 13514 0 -1 4202560 52 0 0 0 4 2 0 0 20 0 15 0 106183576 10914828288 64564 33554432000 4194304 4196468 140727834660672 140394366921816 140394417363472 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19518] ppid=19509 vsize=10659012 memory=928 CPUtime=0.06 cores=1,3,5,7
/proc/19512/task/19518/stat : 19518 (java) R 19509 19512 13514 0 -1 4202560 45 0 0 0 4 2 0 0 20 0 15 0 106183576 10914828288 65076 33554432000 4194304 4196468 140727834660672 140394365868816 140394417363490 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19519] ppid=19509 vsize=10659012 memory=1172 CPUtime=0 cores=1,3,5,7
/proc/19512/task/19519/stat : 19519 (java) S 19509 19512 13514 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 106183577 10914828288 65076 33554432000 4194304 4196468 140727834660672 140393668617120 140394432345813 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19520] ppid=19509 vsize=10659012 memory=1968 CPUtime=0 cores=1,3,5,7
/proc/19512/task/19520/stat : 19520 (java) S 19509 19512 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106183578 10914828288 65076 33554432000 4194304 4196468 140727834660672 140393667564576 140394432345813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19521] ppid=19509 vsize=10659012 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/19512/task/19521/stat : 19521 (java) S 19509 19512 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106183578 10914828288 65076 33554432000 4194304 4196468 140727834660672 140393666511728 140394432345813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19522] ppid=19509 vsize=10659012 memory=7379241883359864663 CPUtime=0 cores=1,3,5,7
/proc/19512/task/19522/stat : 19522 (java) S 19509 19512 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106183580 10914828288 65076 33554432000 4194304 4196468 140727834660672 140393665460048 140394432354203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19523] ppid=19509 vsize=10659012 memory=6081108994580573287 CPUtime=0.24 cores=1,3,5,7
/proc/19512/task/19523/stat : 19523 (java) S 19509 19512 13514 0 -1 1077944384 1672 0 0 0 24 0 0 0 20 0 15 0 106183580 10914828288 65076 33554432000 4194304 4196468 140727834660672 140393664408432 140394432346754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19524] ppid=19509 vsize=10659012 memory=5788647689011156329 CPUtime=0.24 cores=1,3,5,7
/proc/19512/task/19524/stat : 19524 (java) S 19509 19512 13514 0 -1 1077944384 873 0 0 0 24 0 0 0 20 0 15 0 106183580 10914828288 65076 33554432000 4194304 4196468 140727834660672 140393663355632 140394432346754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19525] ppid=19509 vsize=10659012 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/19512/task/19525/stat : 19525 (java) S 19509 19512 13514 0 -1 1077944384 1077 0 0 0 14 0 0 0 20 0 15 0 106183580 10914828288 65076 33554432000 4194304 4196468 140727834660672 140393662302832 140394432346754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19526] ppid=19509 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19512/task/19526/stat : 19526 (java) S 19509 19512 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106183580 10914828288 65076 33554432000 4194304 4196468 140727834660672 140393661250272 140394432345813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19527] ppid=19509 vsize=10659012 memory=756 CPUtime=0 cores=1,3,5,7
/proc/19512/task/19527/stat : 19527 (java) S 19509 19512 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106183581 10914828288 65076 33554432000 4194304 4196468 140727834660672 140393660197552 140394432346754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
Current children cumulated CPU time: 1.53 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 258256 KiB
[startup+1.50083 s]
/proc/loadavg: 2.05 2.40 2.49 6/218 19527
/proc/meminfo: memFree=27967696/32770624 swapFree=67108860/67108860
[pid=19512] ppid=19509 vsize=10659088 memory=414420 CPUtime=3.88 cores=1,3,5,7
/proc/19512/stat : 19512 (java) S 19509 19512 13514 0 -1 1077944320 13805 0 0 0 355 33 0 0 20 0 15 0 106183575 10914906112 103605 33554432000 4194304 4196468 140727834660672 140727834643216 140394432335607 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
/proc/19512/statm: 2664772 103605 3132 1 0 2627263 0
[pid=19512/tid=19514] ppid=19509 vsize=10659088 memory=414192 CPUtime=1.27 cores=1,3,5,7
/proc/19512/task/19514/stat : 19514 (java) R 19509 19512 13514 0 -1 4202560 5377 0 0 0 124 3 0 0 20 0 15 0 106183575 10914906112 103605 33554432000 4194304 4196468 140727834660672 140394436571360 140394043409472 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19515] ppid=19509 vsize=10659088 memory=33 CPUtime=0.18 cores=1,3,5,7
/proc/19512/task/19515/stat : 19515 (java) S 19509 19512 13514 0 -1 1077944384 177 0 0 0 12 6 0 0 20 0 15 0 106183576 10914906112 103605 33554432000 4194304 4196468 140727834660672 140394369027216 140394432345813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19516] ppid=19509 vsize=10659088 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/19512/task/19516/stat : 19516 (java) S 19509 19512 13514 0 -1 1077944384 328 0 0 0 12 6 0 0 20 0 15 0 106183576 10914906112 103605 33554432000 4194304 4196468 140727834660672 140394367974416 140394432345813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19517] ppid=19509 vsize=10659088 memory=6791534058613427641 CPUtime=0.17 cores=1,3,5,7
/proc/19512/task/19517/stat : 19517 (java) S 19509 19512 13514 0 -1 1077944384 155 0 0 0 11 6 0 0 20 0 15 0 106183576 10914906112 103605 33554432000 4194304 4196468 140727834660672 140394366921616 140394432345813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19518] ppid=19509 vsize=10659088 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/19512/task/19518/stat : 19518 (java) S 19509 19512 13514 0 -1 1077944384 111 0 0 0 11 6 0 0 20 0 15 0 106183576 10914906112 103605 33554432000 4194304 4196468 140727834660672 140394365868816 140394432345813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19519] ppid=19509 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19512/task/19519/stat : 19519 (java) S 19509 19512 13514 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 106183577 10914906112 103605 33554432000 4194304 4196468 140727834660672 140393668618608 140394432346754 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
################
# More data... #
################
[pid=19512/tid=19526] ppid=19509 vsize=10661136 memory=281091920304704 CPUtime=0 cores=1,3,5,7
/proc/19512/task/19526/stat : 19526 (java) S 19509 19512 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106183580 10917003264 798190 33554432000 4194304 4196468 140727834660672 140393661250272 140394432345813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19527] ppid=19509 vsize=10661136 memory=2319553943308481062 CPUtime=0 cores=1,3,5,7
/proc/19512/task/19527/stat : 19527 (java) S 19509 19512 13514 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 106183581 10917003264 798190 33554432000 4194304 4196468 140727834660672 140393660197552 140394432346754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 24 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
Current children cumulated CPU time: 42.83 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 3192760 KiB
[startup+28.0008 s]*
/proc/loadavg: 1.93 2.34 2.47 3/218 19527
/proc/meminfo: memFree=25066844/32770624 swapFree=67108860/67108860
[pid=19512] ppid=19509 vsize=10661136 memory=3192760 CPUtime=43.64 cores=1,3,5,7
/proc/19512/stat : 19512 (java) S 19509 19512 13514 0 -1 1077944320 51754 0 0 0 4183 181 0 0 20 0 15 0 106183575 10917003264 798190 33554432000 4194304 4196468 140727834660672 140727834643216 140394432335607 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
/proc/19512/statm: 2665284 798190 3183 1 0 2627775 0
[pid=19512/tid=19514] ppid=19509 vsize=10661136 memory=6791534058613427641 CPUtime=23.77 cores=1,3,5,7
/proc/19512/task/19514/stat : 19514 (java) R 19509 19512 13514 0 -1 4202560 13975 0 0 0 2350 27 0 0 20 0 15 0 106183575 10917003264 798190 33554432000 4194304 4196468 140727834660672 140394436573520 140394413741924 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19515] ppid=19509 vsize=10661136 memory=4126316290023845779 CPUtime=3.03 cores=1,3,5,7
/proc/19512/task/19515/stat : 19515 (java) S 19509 19512 13514 0 -1 1077944384 2881 0 0 0 266 37 0 0 20 0 15 0 106183576 10917003264 798190 33554432000 4194304 4196468 140727834660672 140394369027216 140394432345813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19516] ppid=19509 vsize=10661136 memory=409208 CPUtime=3.03 cores=1,3,5,7
/proc/19512/task/19516/stat : 19516 (java) S 19509 19512 13514 0 -1 1077944384 3558 0 0 0 267 36 0 0 20 0 15 0 106183576 10917003264 798190 33554432000 4194304 4196468 140727834660672 140394367974416 140394432345813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19517] ppid=19509 vsize=10661136 memory=1404 CPUtime=3.02 cores=1,3,5,7
/proc/19512/task/19517/stat : 19517 (java) S 19509 19512 13514 0 -1 1077944384 2303 0 0 0 266 36 0 0 20 0 15 0 106183576 10917003264 798190 33554432000 4194304 4196468 140727834660672 140394366921616 140394432345813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19518] ppid=19509 vsize=10661136 memory=2604 CPUtime=3.04 cores=1,3,5,7
/proc/19512/task/19518/stat : 19518 (java) S 19509 19512 13514 0 -1 1077944384 4692 0 0 0 267 37 0 0 20 0 15 0 106183576 10917003264 798190 33554432000 4194304 4196468 140727834660672 140394365868816 140394432345813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19519] ppid=19509 vsize=10661136 memory=2666504 CPUtime=0.83 cores=1,3,5,7
/proc/19512/task/19519/stat : 19519 (java) S 19509 19512 13514 0 -1 1077944384 4901 0 0 0 83 0 0 0 20 0 15 0 106183577 10917003264 798190 33554432000 4194304 4196468 140727834660672 140393668618608 140394432346754 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19520] ppid=19509 vsize=10661136 memory=33 CPUtime=0 cores=1,3,5,7
/proc/19512/task/19520/stat : 19520 (java) S 19509 19512 13514 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 106183578 10917003264 798190 33554432000 4194304 4196468 140727834660672 140393667564640 140394432345813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19521] ppid=19509 vsize=10661136 memory=8099531882097107024 CPUtime=0 cores=1,3,5,7
/proc/19512/task/19521/stat : 19521 (java) S 19509 19512 13514 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 106183578 10917003264 798190 33554432000 4194304 4196468 140727834660672 140393666511744 140394432345813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19522] ppid=19509 vsize=10661136 memory=3088116 CPUtime=0 cores=1,3,5,7
/proc/19512/task/19522/stat : 19522 (java) S 19509 19512 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106183580 10917003264 798190 33554432000 4194304 4196468 140727834660672 140393665460048 140394432354203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19523] ppid=19509 vsize=10661136 memory=6940161746104510037 CPUtime=2.98 cores=1,3,5,7
/proc/19512/task/19523/stat : 19523 (java) S 19509 19512 13514 0 -1 1077944384 6826 0 0 0 297 1 0 0 20 0 15 0 106183580 10917003264 798190 33554432000 4194304 4196468 140727834660672 140393664408432 140394432346754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19524] ppid=19509 vsize=10661136 memory=2666504 CPUtime=3.26 cores=1,3,5,7
/proc/19512/task/19524/stat : 19524 (java) S 19509 19512 13514 0 -1 1077944384 7807 0 0 0 325 1 0 0 20 0 15 0 106183580 10917003264 798190 33554432000 4194304 4196468 140727834660672 140393663355632 140394432346754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19525] ppid=19509 vsize=10661136 memory=3086068 CPUtime=0.57 cores=1,3,5,7
/proc/19512/task/19525/stat : 19525 (java) S 19509 19512 13514 0 -1 1077944384 3355 0 0 0 56 1 0 0 20 0 15 0 106183580 10917003264 798190 33554432000 4194304 4196468 140727834660672 140393662302832 140394432346754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19526] ppid=19509 vsize=10661136 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/19512/task/19526/stat : 19526 (java) S 19509 19512 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106183580 10917003264 798190 33554432000 4194304 4196468 140727834660672 140393661250272 140394432345813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19527] ppid=19509 vsize=10661136 memory=30256 CPUtime=0 cores=1,3,5,7
/proc/19512/task/19527/stat : 19527 (java) S 19509 19512 13514 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 106183581 10917003264 798190 33554432000 4194304 4196468 140727834660672 140393660197552 140394432346754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 24 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
Current children cumulated CPU time: 43.64 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 3192760 KiB
[startup+28.8008 s]
/proc/loadavg: 1.93 2.34 2.47 3/218 19527
/proc/meminfo: memFree=25066844/32770624 swapFree=67108860/67108860
[pid=19512] ppid=19509 vsize=10661136 memory=3348652 CPUtime=45.33 cores=1,3,5,7
/proc/19512/stat : 19512 (java) S 19509 19512 13514 0 -1 1077944320 52262 0 0 0 4337 196 0 0 20 0 15 0 106183575 10917003264 837163 33554432000 4194304 4196468 140727834660672 140727834643216 140394432335607 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
/proc/19512/statm: 2665284 837163 3183 1 0 2627775 0
[pid=19512/tid=19514] ppid=19509 vsize=10661136 memory=3360 CPUtime=24.26 cores=1,3,5,7
/proc/19512/task/19514/stat : 19514 (java) R 19509 19512 13514 0 -1 4202560 13986 0 0 0 2399 27 0 0 20 0 15 0 106183575 10917003264 837163 33554432000 4194304 4196468 140727834660672 140394436573712 140394414286831 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19515] ppid=19509 vsize=10661136 memory=6791534058613427641 CPUtime=3.33 cores=1,3,5,7
/proc/19512/task/19515/stat : 19515 (java) S 19509 19512 13514 0 -1 1077944384 3016 0 0 0 292 41 0 0 20 0 15 0 106183576 10917003264 837163 33554432000 4194304 4196468 140727834660672 140394369027216 140394432345813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19516] ppid=19509 vsize=10661136 memory=2204 CPUtime=3.33 cores=1,3,5,7
/proc/19512/task/19516/stat : 19516 (java) S 19509 19512 13514 0 -1 1077944384 3647 0 0 0 293 40 0 0 20 0 15 0 106183576 10917003264 837163 33554432000 4194304 4196468 140727834660672 140394367974416 140394432345813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19517] ppid=19509 vsize=10661136 memory=1240 CPUtime=3.32 cores=1,3,5,7
/proc/19512/task/19517/stat : 19517 (java) S 19509 19512 13514 0 -1 1077944384 2424 0 0 0 292 40 0 0 20 0 15 0 106183576 10917003264 837163 33554432000 4194304 4196468 140727834660672 140394366921616 140394432345813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19518] ppid=19509 vsize=10661136 memory=3192760 CPUtime=3.34 cores=1,3,5,7
/proc/19512/task/19518/stat : 19518 (java) S 19509 19512 13514 0 -1 1077944384 4839 0 0 0 294 40 0 0 20 0 15 0 106183576 10917003264 837163 33554432000 4194304 4196468 140727834660672 140394365868816 140394432345813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19519] ppid=19509 vsize=10661136 memory=3192760 CPUtime=0.83 cores=1,3,5,7
/proc/19512/task/19519/stat : 19519 (java) S 19509 19512 13514 0 -1 1077944384 4906 0 0 0 83 0 0 0 20 0 15 0 106183577 10917003264 837163 33554432000 4194304 4196468 140727834660672 140393668618608 140394432346754 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19520] ppid=19509 vsize=10661136 memory=3360 CPUtime=0 cores=1,3,5,7
/proc/19512/task/19520/stat : 19520 (java) S 19509 19512 13514 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 106183578 10917003264 837163 33554432000 4194304 4196468 140727834660672 140393667564640 140394432345813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19521] ppid=19509 vsize=10661136 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/19512/task/19521/stat : 19521 (java) S 19509 19512 13514 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 106183578 10917003264 837163 33554432000 4194304 4196468 140727834660672 140393666511744 140394432345813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19522] ppid=19509 vsize=10661136 memory=288230617509013780 CPUtime=0 cores=1,3,5,7
/proc/19512/task/19522/stat : 19522 (java) S 19509 19512 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106183580 10917003264 837163 33554432000 4194304 4196468 140727834660672 140393665460048 140394432354203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19523] ppid=19509 vsize=10661136 memory=13847486485771928 CPUtime=2.98 cores=1,3,5,7
/proc/19512/task/19523/stat : 19523 (java) S 19509 19512 13514 0 -1 1077944384 6826 0 0 0 297 1 0 0 20 0 15 0 106183580 10917003264 837163 33554432000 4194304 4196468 140727834660672 140393664408432 140394432346754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19524] ppid=19509 vsize=10661136 memory=0 CPUtime=3.26 cores=1,3,5,7
/proc/19512/task/19524/stat : 19524 (java) S 19509 19512 13514 0 -1 1077944384 7807 0 0 0 325 1 0 0 20 0 15 0 106183580 10917003264 837163 33554432000 4194304 4196468 140727834660672 140393663355632 140394432346754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19525] ppid=19509 vsize=10661136 memory=0 CPUtime=0.57 cores=1,3,5,7
/proc/19512/task/19525/stat : 19525 (java) S 19509 19512 13514 0 -1 1077944384 3355 0 0 0 56 1 0 0 20 0 15 0 106183580 10917003264 837163 33554432000 4194304 4196468 140727834660672 140393662302832 140394432346754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19526] ppid=19509 vsize=10661136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19512/task/19526/stat : 19526 (java) S 19509 19512 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106183580 10917003264 837163 33554432000 4194304 4196468 140727834660672 140393661250272 140394432345813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19527] ppid=19509 vsize=10661136 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/19512/task/19527/stat : 19527 (java) S 19509 19512 13514 0 -1 1077944384 64 0 0 0 0 1 0 0 20 0 15 0 106183581 10917003264 837163 33554432000 4194304 4196468 140727834660672 140393660197552 140394432346754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 24 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
Current children cumulated CPU time: 45.33 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 3348652 KiB
[startup+29.2008 s]
/proc/loadavg: 1.93 2.34 2.47 5/218 19527
/proc/meminfo: memFree=24909956/32770624 swapFree=67108860/67108860
[pid=19512] ppid=19509 vsize=10794264 memory=3354600 CPUtime=46.26 cores=1,3,5,7
/proc/19512/stat : 19512 (java) S 19509 19512 13514 0 -1 1077944320 60249 0 0 0 4430 196 0 0 20 0 16 0 106183575 11053326336 838650 33554432000 4194304 4196468 140727834660672 140727834643216 140394432335607 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
/proc/19512/statm: 2698566 838650 3185 1 0 2661057 0
[pid=19512/tid=19514] ppid=19509 vsize=10794264 memory=15535236834396114 CPUtime=24.57 cores=1,3,5,7
/proc/19512/task/19514/stat : 19514 (java) S 19509 19512 13514 0 -1 1077944384 14361 0 0 0 2430 27 0 0 20 0 16 0 106183575 11053326336 838650 33554432000 4194304 4196468 140727834660672 140394436576288 140394432345813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19515] ppid=19509 vsize=10794264 memory=2724 CPUtime=3.33 cores=1,3,5,7
/proc/19512/task/19515/stat : 19515 (java) S 19509 19512 13514 0 -1 1077944384 3016 0 0 0 292 41 0 0 20 0 16 0 106183576 11053326336 838650 33554432000 4194304 4196468 140727834660672 140394369027216 140394432345813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19516] ppid=19509 vsize=10794264 memory=1256 CPUtime=3.33 cores=1,3,5,7
/proc/19512/task/19516/stat : 19516 (java) S 19509 19512 13514 0 -1 1077944384 3647 0 0 0 293 40 0 0 20 0 16 0 106183576 11053326336 838650 33554432000 4194304 4196468 140727834660672 140394367974416 140394432345813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19517] ppid=19509 vsize=10794264 memory=10368 CPUtime=3.32 cores=1,3,5,7
/proc/19512/task/19517/stat : 19517 (java) S 19509 19512 13514 0 -1 1077944384 2424 0 0 0 292 40 0 0 20 0 16 0 106183576 11053326336 838650 33554432000 4194304 4196468 140727834660672 140394366921616 140394432345813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19518] ppid=19509 vsize=10794264 memory=1700 CPUtime=3.34 cores=1,3,5,7
/proc/19512/task/19518/stat : 19518 (java) S 19509 19512 13514 0 -1 1077944384 4839 0 0 0 294 40 0 0 20 0 16 0 106183576 11053326336 838650 33554432000 4194304 4196468 140727834660672 140394365868816 140394432345813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19519] ppid=19509 vsize=10794264 memory=1172 CPUtime=0.83 cores=1,3,5,7
/proc/19512/task/19519/stat : 19519 (java) S 19509 19512 13514 0 -1 1077944384 4906 0 0 0 83 0 0 0 20 0 16 0 106183577 11053326336 838650 33554432000 4194304 4196468 140727834660672 140393668618608 140394432346754 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19520] ppid=19509 vsize=10794264 memory=1812 CPUtime=0 cores=1,3,5,7
/proc/19512/task/19520/stat : 19520 (java) S 19509 19512 13514 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 106183578 11053326336 838650 33554432000 4194304 4196468 140727834660672 140393667564640 140394432345813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19521] ppid=19509 vsize=10794264 memory=1020 CPUtime=0 cores=1,3,5,7
/proc/19512/task/19521/stat : 19521 (java) S 19509 19512 13514 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 16 0 106183578 11053326336 838650 33554432000 4194304 4196468 140727834660672 140393666511744 140394432345813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19522] ppid=19509 vsize=10794264 memory=5456 CPUtime=0 cores=1,3,5,7
/proc/19512/task/19522/stat : 19522 (java) S 19509 19512 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106183580 11053326336 838650 33554432000 4194304 4196468 140727834660672 140393665460048 140394432354203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19523] ppid=19509 vsize=10794264 memory=756 CPUtime=3.27 cores=1,3,5,7
/proc/19512/task/19523/stat : 19523 (java) R 19509 19512 13514 0 -1 4202560 10194 0 0 0 326 1 0 0 20 0 16 0 106183580 11053326336 838650 33554432000 4194304 4196468 140727834660672 140393664399040 140394411590381 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19524] ppid=19509 vsize=10794264 memory=14572 CPUtime=3.56 cores=1,3,5,7
/proc/19512/task/19524/stat : 19524 (java) R 19509 19512 13514 0 -1 4202560 11266 0 0 0 355 1 0 0 20 0 16 0 106183580 11053326336 838650 33554432000 4194304 4196468 140727834660672 140393663343200 140394412028707 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19525] ppid=19509 vsize=10794264 memory=12708 CPUtime=0.59 cores=1,3,5,7
/proc/19512/task/19525/stat : 19525 (java) S 19509 19512 13514 0 -1 1077944384 4091 0 0 0 58 1 0 0 20 0 16 0 106183580 11053326336 838650 33554432000 4194304 4196468 140727834660672 140393662302832 140394432346754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19526] ppid=19509 vsize=10794264 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/19512/task/19526/stat : 19526 (java) S 19509 19512 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106183580 11053326336 838650 33554432000 4194304 4196468 140727834660672 140393661250272 140394432345813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19527] ppid=19509 vsize=10794264 memory=3036 CPUtime=0.01 cores=1,3,5,7
/proc/19512/task/19527/stat : 19527 (java) S 19509 19512 13514 0 -1 1077944384 64 0 0 0 0 1 0 0 20 0 16 0 106183581 11053326336 838650 33554432000 4194304 4196468 140727834660672 140393660197552 140394432346754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 24 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
Current children cumulated CPU time: 46.26 s
Current children cumulated vsize: 10794264 KiB
Current children cumulated memory: 3354600 KiB
[startup+29.3008 s]
/proc/loadavg: 1.93 2.34 2.47 5/218 19527
/proc/meminfo: memFree=24909956/32770624 swapFree=67108860/67108860
[pid=19512] ppid=19509 vsize=10794264 memory=3361416 CPUtime=46.46 cores=1,3,5,7
/proc/19512/stat : 19512 (java) S 19509 19512 13514 0 -1 1077944320 61992 0 0 0 4450 196 0 0 20 0 16 0 106183575 11053326336 840354 33554432000 4194304 4196468 140727834660672 140727834643216 140394432335607 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
/proc/19512/statm: 2698566 840354 3185 1 0 2661057 0
[pid=19512/tid=19514] ppid=19509 vsize=10794264 memory=3351496 CPUtime=24.57 cores=1,3,5,7
/proc/19512/task/19514/stat : 19514 (java) S 19509 19512 13514 0 -1 1077944384 14361 0 0 0 2430 27 0 0 20 0 16 0 106183575 11053326336 840354 33554432000 4194304 4196468 140727834660672 140394436576288 140394432345813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19515] ppid=19509 vsize=10794264 memory=56 CPUtime=3.33 cores=1,3,5,7
/proc/19512/task/19515/stat : 19515 (java) S 19509 19512 13514 0 -1 1077944384 3016 0 0 0 292 41 0 0 20 0 16 0 106183576 11053326336 840354 33554432000 4194304 4196468 140727834660672 140394369027216 140394432345813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19516] ppid=19509 vsize=10794264 memory=3088116 CPUtime=3.33 cores=1,3,5,7
/proc/19512/task/19516/stat : 19516 (java) S 19509 19512 13514 0 -1 1077944384 3647 0 0 0 293 40 0 0 20 0 16 0 106183576 11053326336 840354 33554432000 4194304 4196468 140727834660672 140394367974416 140394432345813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19517] ppid=19509 vsize=10794264 memory=1700 CPUtime=3.32 cores=1,3,5,7
/proc/19512/task/19517/stat : 19517 (java) S 19509 19512 13514 0 -1 1077944384 2424 0 0 0 292 40 0 0 20 0 16 0 106183576 11053326336 840354 33554432000 4194304 4196468 140727834660672 140394366921616 140394432345813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19518] ppid=19509 vsize=10794264 memory=2204 CPUtime=3.34 cores=1,3,5,7
/proc/19512/task/19518/stat : 19518 (java) S 19509 19512 13514 0 -1 1077944384 4839 0 0 0 294 40 0 0 20 0 16 0 106183576 11053326336 840354 33554432000 4194304 4196468 140727834660672 140394365868816 140394432345813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19519] ppid=19509 vsize=10794264 memory=1240 CPUtime=0.83 cores=1,3,5,7
/proc/19512/task/19519/stat : 19519 (java) S 19509 19512 13514 0 -1 1077944384 4906 0 0 0 83 0 0 0 20 0 16 0 106183577 11053326336 840354 33554432000 4194304 4196468 140727834660672 140393668618608 140394432346754 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19520] ppid=19509 vsize=10794264 memory=1520 CPUtime=0 cores=1,3,5,7
/proc/19512/task/19520/stat : 19520 (java) S 19509 19512 13514 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 106183578 11053326336 840354 33554432000 4194304 4196468 140727834660672 140393667564640 140394432345813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19521] ppid=19509 vsize=10794264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19512/task/19521/stat : 19521 (java) S 19509 19512 13514 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 16 0 106183578 11053326336 840354 33554432000 4194304 4196468 140727834660672 140393666511744 140394432345813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19522] ppid=19509 vsize=10794264 memory=298 CPUtime=0 cores=1,3,5,7
/proc/19512/task/19522/stat : 19522 (java) S 19509 19512 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106183580 11053326336 840354 33554432000 4194304 4196468 140727834660672 140393665460048 140394432354203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19523] ppid=19509 vsize=10794264 memory=2543524 CPUtime=3.37 cores=1,3,5,7
/proc/19512/task/19523/stat : 19523 (java) R 19509 19512 13514 0 -1 4202560 10917 0 0 0 336 1 0 0 20 0 16 0 106183580 11053326336 840354 33554432000 4194304 4196468 140727834660672 140393664399040 140394413879324 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19524] ppid=19509 vsize=10794264 memory=3192760 CPUtime=3.66 cores=1,3,5,7
/proc/19512/task/19524/stat : 19524 (java) R 19509 19512 13514 0 -1 4202560 12291 0 0 0 365 1 0 0 20 0 16 0 106183580 11053326336 840354 33554432000 4194304 4196468 140727834660672 140393663343200 140394413856516 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19525] ppid=19509 vsize=10794264 memory=1240 CPUtime=0.59 cores=1,3,5,7
/proc/19512/task/19525/stat : 19525 (java) S 19509 19512 13514 0 -1 1077944384 4091 0 0 0 58 1 0 0 20 0 16 0 106183580 11053326336 840354 33554432000 4194304 4196468 140727834660672 140393662302832 140394432346754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19526] ppid=19509 vsize=10794264 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/19512/task/19526/stat : 19526 (java) S 19509 19512 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106183580 11053326336 840354 33554432000 4194304 4196468 140727834660672 140393661250272 140394432345813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
[pid=19512/tid=19527] ppid=19509 vsize=10794264 memory=30256 CPUtime=0.01 cores=1,3,5,7
/proc/19512/task/19527/stat : 19527 (java) S 19509 19512 13514 0 -1 1077944384 64 0 0 0 0 1 0 0 20 0 16 0 106183581 11053326336 840354 33554432000 4194304 4196468 140727834660672 140393660197552 140394432346754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 24 0 0 6293624 6294260 35319808 140727834666102 140727834666254 140727834666254 140727834669007 0
Current children cumulated CPU time: 46.46 s
Current children cumulated vsize: 10794264 KiB
Current children cumulated memory: 3361416 KiB
Child status: 1
Real time (s): 29.3573
CPU time (s): 46.5317
CPU user time (s): 44.5448
CPU system time (s): 1.98693
CPU usage (%): 158.501
Max. virtual memory (cumulated for all children) (KiB): 10794264
Max. memory (cumulated for all children) (KiB): 3361416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 44.5448
system time used= 1.98693
maximum resident set size= 3361500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62034
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3597
involuntary context switches= 194
# summary of solver processes directly reported to runsolver:
# pid: 19512
# total CPU time (s): 46.5317
# total CPU user time (s): 44.5448
# total CPU system time (s): 1.98693
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.168749 second user time and 0.362671 second system time
The end
Begin job on node136 at 2018-07-29 19:43:24 IDJOB=4301979 IDBENCH=141493 IDSOLVER=2773 FILE ID=node136/4301979-1532886204 RUNJOBID= node136-1532879536-13547 PBS_JOBID= 21022516 Free space on /tmp= 60208 MiB SOLVER NAME= Sat4j-CSP 2018-07-11 BENCH NAME= XCSP18/PeacableArmies/PeacableArmies-m1-50_c18.xml COMMAND LINE= java -DCompetitionOutput -jar DIR/sat4j-csp-final.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4301979-1532886204/watcher-4301979-1532886204 -o /tmp/evaluation-result-4301979-1532886204/solver-4301979-1532886204 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532879536-13547 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4301979-1532886204.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 65d9088e6e3c6b500cf18d234bd8e6c7 RANDOM SEED=1421256195 node136.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 28254136 kB MemAvailable: 31574728 kB Buffers: 214288 kB Cached: 3376944 kB SwapCached: 0 kB Active: 2089156 kB Inactive: 1952920 kB Active(anon): 402280 kB Inactive(anon): 76480 kB Active(file): 1686876 kB Inactive(file): 1876440 kB Unevictable: 7328 kB Mlocked: 7328 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 19320 kB Writeback: 0 kB AnonPages: 458124 kB Mapped: 46620 kB Shmem: 25228 kB Slab: 174040 kB SReclaimable: 146220 kB SUnreclaim: 27820 kB KernelStack: 3552 kB PageTables: 6216 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1572016 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 352256 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 60208 MiB End job on node136 at 2018-07-29 19:43:54