Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j-CSP 2018-07-11 | ? | 48.4353 | 30.1988 |
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 | 184 |
Best CPU time to get the best result obtained on this benchmark | 2520.37 |
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 |
47.84/29.93 Exception in thread "main" java.lang.StackOverflowError 47.84/29.94 at java.lang.Exception.<init>(Exception.java:66) 47.84/29.94 at java.lang.RuntimeException.<init>(RuntimeException.java:62) 47.84/29.94 at java.lang.IllegalArgumentException.<init>(IllegalArgumentException.java:52) 47.84/29.94 at java.lang.NumberFormatException.<init>(NumberFormatException.java:55) 47.84/29.94 at java.lang.NumberFormatException.forInputString(NumberFormatException.java:65) 47.84/29.94 at java.lang.Integer.parseInt(Integer.java:580) 47.84/29.94 at java.lang.Integer.valueOf(Integer.java:766) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:76) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.94 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 47.84/29.95 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 48.33/30.15 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 48.33/30.15 c This is free software under the dual EPL/GNU LGPL licenses. 48.33/30.15 c See www.sat4j.org for details. 48.33/30.15 c That software uses the Rhino library from the Mozilla project. 48.33/30.15 c version 2.3.6-SNAPSHOT 48.33/30.15 c java.runtime.name Java(TM) SE Runtime Environment 48.33/30.15 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 48.33/30.15 c java.vm.version 25.131-b11 48.33/30.15 c java.vm.vendor Oracle Corporation 48.33/30.15 c sun.arch.data.model 64 48.33/30.15 c java.version 1.8.0_131 48.33/30.15 c os.name Linux 48.33/30.15 c os.version 3.10.0-514.16.1.el7.x86_64 48.33/30.15 c os.arch amd64 48.33/30.15 c Free memory 499604488 48.33/30.15 c Max memory 7247757312 48.33/30.15 c Total memory 504889344 48.33/30.15 c Number of processors 4 48.33/30.15 c c --- Begin Solver configuration --- 48.33/30.15 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e 48.33/30.15 c Learn all clauses as in MiniSAT 48.33/30.15 c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 48.33/30.15 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 48.33/30.15 c No reason simplification 48.33/30.15 c Glucose 2.1 dynamic restart strategy 48.33/30.15 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 48.33/30.15 c timeout=2147483s 48.33/30.15 c DB Simplification allowed=false 48.33/30.15 c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1 48.33/30.15 c --- End Solver configuration --- 48.33/30.15 c starts : 0 48.33/30.15 c conflicts : 0 48.33/30.15 c decisions : 0 48.33/30.15 c propagations : 0 48.33/30.15 c inspects : 0 48.33/30.15 c shortcuts : 0 48.33/30.15 c learnt literals : 0 48.33/30.15 c learnt binary clauses : 0 48.33/30.15 c learnt ternary clauses : 0 48.33/30.15 c learnt constraints : 0 48.33/30.15 c ignored constraints : 0 48.33/30.15 c root simplifications : 0 48.33/30.15 c removed literals (reason simplification) : 0 48.33/30.15 c reason swapping (by a shorter reason) : 0 48.33/30.15 c Calls to reduceDB : 0 48.33/30.15 c Number of update (reduction) of LBD : 0 48.33/30.15 c Imported unit clauses : 0 48.33/30.15 c number of reductions to clauses (during analyze) : 0 48.33/30.15 c number of learned constraints concerned by reduction : 0 48.33/30.15 c number of learning phase by resolution : 0 48.33/30.15 c number of learning phase by cutting planes : 0 48.33/30.15 c number of rounding to 1 operations : 0 48.33/30.15 c number of easy rounding to 1 operations (no literal elimination needed) : 0 48.33/30.15 c number of reductions of the coefficients by power 2 : 0 48.33/30.15 c number of right shift for reduction by power 2 : 0 48.33/30.15 c number of reductions of the coefficients by GCD over coefficients : 0 48.33/30.15 c number of ending skipping : 0 48.33/30.15 c number of internal skipping : 0 48.33/30.15 c number of derivation steps : 0 48.33/30.15 c number of skipped derivation steps : 0 48.33/30.15 c number of remaining unassigned : 0 48.33/30.15 c number of remaining assigned : 0 48.33/30.15 c speed (assignments/second) : 0.0 48.33/30.15 c non guided choices : 0 48.33/30.15 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 (7241 MiB free) memory of node 1: 16384 MiB (11883 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289801-1532220330/watcher-4289801-1532220330 -o /tmp/evaluation-result-4289801-1532220330/solver-4289801-1532220330 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532209718-28181 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4289801-1532220330.xml running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=29924, runsolver pid=29921 Current StackSize limit: 8192 KiB [startup+0.100167 s]* /proc/loadavg: 4.79 4.13 3.07 3/219 29939 /proc/meminfo: memFree=19566716/32770624 swapFree=67108860/67108860 [pid=29924] ppid=29921 vsize=10659012 memory=30076 CPUtime=0.12 cores=0,2,4,6 /proc/29924/stat : 29924 (java) S 29921 29924 25837 0 -1 1077944320 6603 0 0 0 11 1 0 0 20 0 15 0 39596204 10914828288 7519 33554432000 4194304 4196468 140730399574592 140730399557136 139627563986679 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 /proc/29924/statm: 2664753 7519 2817 1 0 2627263 0 [pid=29924/tid=29926] ppid=29921 vsize=10659012 memory=-8773748148830375299 CPUtime=0.09 cores=0,2,4,6 /proc/29924/task/29926/stat : 29926 (java) R 29921 29924 25837 0 -1 4202560 4427 0 0 0 8 1 0 0 20 0 15 0 39596204 10914828288 7519 33554432000 4194304 4196468 140730399574592 139627568210304 139627564008605 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29927] ppid=29921 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6 /proc/29924/task/29927/stat : 29927 (java) S 29921 29924 25837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39596205 10914828288 7519 33554432000 4194304 4196468 140730399574592 139627516607120 139627563996885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29928] ppid=29921 vsize=10659012 memory=139959725282944 CPUtime=0 cores=0,2,4,6 /proc/29924/task/29928/stat : 29928 (java) S 29921 29924 25837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39596205 10914828288 7519 33554432000 4194304 4196468 140730399574592 139627515554320 139627563996885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29929] ppid=29921 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6 /proc/29924/task/29929/stat : 29929 (java) S 29921 29924 25837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39596205 10914828288 7519 33554432000 4194304 4196468 140730399574592 139627514501520 139627563996885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29930] ppid=29921 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/29924/task/29930/stat : 29930 (java) S 29921 29924 25837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39596205 10914828288 7519 33554432000 4194304 4196468 140730399574592 139627513448720 139627563996885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29931] ppid=29921 vsize=10659012 memory=139959725282944 CPUtime=0 cores=0,2,4,6 /proc/29924/task/29931/stat : 29931 (java) S 29921 29924 25837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39596206 10914828288 7519 33554432000 4194304 4196468 140730399574592 139627123374960 139627563997826 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29932] ppid=29921 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/29924/task/29932/stat : 29932 (java) S 29921 29924 25837 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39596207 10914828288 7519 33554432000 4194304 4196468 140730399574592 139627122320928 139627563996885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29933] ppid=29921 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6 /proc/29924/task/29933/stat : 29933 (java) S 29921 29924 25837 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39596207 10914828288 7519 33554432000 4194304 4196468 140730399574592 139627121268080 139627563996885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29934] ppid=29921 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6 /proc/29924/task/29934/stat : 29934 (java) S 29921 29924 25837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39596209 10914828288 7519 33554432000 4194304 4196468 140730399574592 139627120216400 139627564005275 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29935] ppid=29921 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6 /proc/29924/task/29935/stat : 29935 (java) S 29921 29924 25837 0 -1 1077944384 445 0 0 0 0 0 0 0 20 0 15 0 39596209 10914828288 7519 33554432000 4194304 4196468 140730399574592 139627119163760 139627563997826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29936] ppid=29921 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/29924/task/29936/stat : 29936 (java) S 29921 29924 25837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39596209 10914828288 7519 33554432000 4194304 4196468 140730399574592 139627118110960 139627563997826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29937] ppid=29921 vsize=10659012 memory=139959725282944 CPUtime=0.02 cores=0,2,4,6 /proc/29924/task/29937/stat : 29937 (java) R 29921 29924 25837 0 -1 4202560 363 0 0 0 2 0 0 0 20 0 15 0 39596209 10914828288 7519 33554432000 4194304 4196468 140730399574592 139627117058160 139627564008026 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29938] ppid=29921 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/29924/task/29938/stat : 29938 (java) S 29921 29924 25837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39596210 10914828288 7519 33554432000 4194304 4196468 140730399574592 139627116005600 139627563996885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29939] ppid=29921 vsize=10659012 memory=139959725282944 CPUtime=0 cores=0,2,4,6 /proc/29924/task/29939/stat : 29939 (java) S 29921 29924 25837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39596210 10914828288 7519 33554432000 4194304 4196468 140730399574592 139627114953904 139627563997826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 10659012 KiB Current children cumulated memory: 30076 KiB [startup+0.210867 s]* /proc/loadavg: 4.79 4.13 3.07 3/219 29939 /proc/meminfo: memFree=19555780/32770624 swapFree=67108860/67108860 [pid=29924] ppid=29921 vsize=10659012 memory=41768 CPUtime=0.33 cores=0,2,4,6 /proc/29924/stat : 29924 (java) S 29921 29924 25837 0 -1 1077944320 8070 0 0 0 30 3 0 0 20 0 15 0 39596204 10914828288 10442 33554432000 4194304 4196468 140730399574592 140730399557136 139627563986679 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 /proc/29924/statm: 2664753 10442 3003 1 0 2627263 0 [pid=29924/tid=29926] ppid=29921 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6 /proc/29924/task/29926/stat : 29926 (java) R 29921 29924 25837 0 -1 4202560 5008 0 0 0 18 2 0 0 20 0 15 0 39596204 10914828288 10442 33554432000 4194304 4196468 140730399574592 139627568222944 139627548030309 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29927] ppid=29921 vsize=10659012 memory=364 CPUtime=0 cores=0,2,4,6 /proc/29924/task/29927/stat : 29927 (java) S 29921 29924 25837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39596205 10914828288 10442 33554432000 4194304 4196468 140730399574592 139627516607120 139627563996885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29928] ppid=29921 vsize=10659012 memory=3546500598674839200 CPUtime=0 cores=0,2,4,6 /proc/29924/task/29928/stat : 29928 (java) S 29921 29924 25837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39596205 10914828288 10442 33554432000 4194304 4196468 140730399574592 139627515554320 139627563996885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29929] ppid=29921 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6 /proc/29924/task/29929/stat : 29929 (java) S 29921 29924 25837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39596205 10914828288 10442 33554432000 4194304 4196468 140730399574592 139627514501520 139627563996885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29930] ppid=29921 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/29924/task/29930/stat : 29930 (java) S 29921 29924 25837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39596205 10914828288 10442 33554432000 4194304 4196468 140730399574592 139627513448720 139627563996885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29931] ppid=29921 vsize=10659012 memory=139959725282944 CPUtime=0 cores=0,2,4,6 /proc/29924/task/29931/stat : 29931 (java) S 29921 29924 25837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39596206 10914828288 10442 33554432000 4194304 4196468 140730399574592 139627123374960 139627563997826 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29932] ppid=29921 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/29924/task/29932/stat : 29932 (java) S 29921 29924 25837 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39596207 10914828288 10442 33554432000 4194304 4196468 140730399574592 139627122320928 139627563996885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29933] ppid=29921 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6 /proc/29924/task/29933/stat : 29933 (java) S 29921 29924 25837 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39596207 10914828288 10442 33554432000 4194304 4196468 140730399574592 139627121268080 139627563996885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29934] ppid=29921 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6 /proc/29924/task/29934/stat : 29934 (java) S 29921 29924 25837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39596209 10914828288 10442 33554432000 4194304 4196468 140730399574592 139627120216400 139627564005275 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29935] ppid=29921 vsize=10659012 memory=0 CPUtime=0.02 cores=0,2,4,6 /proc/29924/task/29935/stat : 29935 (java) S 29921 29924 25837 0 -1 1077944384 643 0 0 0 2 0 0 0 20 0 15 0 39596209 10914828288 10442 33554432000 4194304 4196468 140730399574592 139627119163760 139627563997826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29936] ppid=29921 vsize=10659012 memory=-1 CPUtime=0.02 cores=0,2,4,6 /proc/29924/task/29936/stat : 29936 (java) S 29921 29924 25837 0 -1 1077944384 337 0 0 0 2 0 0 0 20 0 15 0 39596209 10914828288 10442 33554432000 4194304 4196468 140730399574592 139627118110960 139627563997826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29937] ppid=29921 vsize=10659012 memory=139959725282944 CPUtime=0.07 cores=0,2,4,6 /proc/29924/task/29937/stat : 29937 (java) R 29921 29924 25837 0 -1 4202560 716 0 0 0 7 0 0 0 20 0 15 0 39596209 10914828288 10442 33554432000 4194304 4196468 140730399574592 139627117058160 139627556223806 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29938] ppid=29921 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/29924/task/29938/stat : 29938 (java) S 29921 29924 25837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39596210 10914828288 10442 33554432000 4194304 4196468 140730399574592 139627116005600 139627563996885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29939] ppid=29921 vsize=10659012 memory=139959725282944 CPUtime=0 cores=0,2,4,6 /proc/29924/task/29939/stat : 29939 (java) S 29921 29924 25837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39596210 10914828288 10442 33554432000 4194304 4196468 140730399574592 139627114953904 139627563997826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 10659012 KiB Current children cumulated memory: 41768 KiB [startup+0.311666 s]* /proc/loadavg: 4.79 4.13 3.07 5/219 29939 /proc/meminfo: memFree=19541140/32770624 swapFree=67108860/67108860 [pid=29924] ppid=29921 vsize=10659012 memory=54648 CPUtime=0.59 cores=0,2,4,6 /proc/29924/stat : 29924 (java) S 29921 29924 25837 0 -1 1077944320 9730 0 0 0 56 3 0 0 20 0 15 0 39596204 10914828288 13662 33554432000 4194304 4196468 140730399574592 140730399557136 139627563986679 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 /proc/29924/statm: 2664753 13662 3038 1 0 2627263 0 [pid=29924/tid=29926] ppid=29921 vsize=10659012 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6 /proc/29924/task/29926/stat : 29926 (java) R 29921 29924 25837 0 -1 4202560 5350 0 0 0 28 2 0 0 20 0 15 0 39596204 10914828288 13662 33554432000 4194304 4196468 140730399574592 139627568222560 139627564008605 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29927] ppid=29921 vsize=10659012 memory=4294982659 CPUtime=0 cores=0,2,4,6 /proc/29924/task/29927/stat : 29927 (java) S 29921 29924 25837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39596205 10914828288 13662 33554432000 4194304 4196468 140730399574592 139627516607120 139627563996885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29928] ppid=29921 vsize=10659012 memory=3834735368578094752 CPUtime=0 cores=0,2,4,6 /proc/29924/task/29928/stat : 29928 (java) S 29921 29924 25837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39596205 10914828288 13662 33554432000 4194304 4196468 140730399574592 139627515554320 139627563996885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29929] ppid=29921 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6 /proc/29924/task/29929/stat : 29929 (java) S 29921 29924 25837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39596205 10914828288 13662 33554432000 4194304 4196468 140730399574592 139627514501520 139627563996885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29930] ppid=29921 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/29924/task/29930/stat : 29930 (java) S 29921 29924 25837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39596205 10914828288 13662 33554432000 4194304 4196468 140730399574592 139627513448720 139627563996885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29931] ppid=29921 vsize=10659012 memory=139959725282944 CPUtime=0 cores=0,2,4,6 /proc/29924/task/29931/stat : 29931 (java) S 29921 29924 25837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39596206 10914828288 13662 33554432000 4194304 4196468 140730399574592 139627123374960 139627563997826 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29932] ppid=29921 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/29924/task/29932/stat : 29932 (java) S 29921 29924 25837 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39596207 10914828288 13662 33554432000 4194304 4196468 140730399574592 139627122320928 139627563996885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29933] ppid=29921 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6 /proc/29924/task/29933/stat : 29933 (java) S 29921 29924 25837 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39596207 10914828288 13662 33554432000 4194304 4196468 140730399574592 139627121268080 139627563996885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29934] ppid=29921 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6 /proc/29924/task/29934/stat : 29934 (java) S 29921 29924 25837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39596209 10914828288 13662 33554432000 4194304 4196468 140730399574592 139627120216400 139627564005275 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29935] ppid=29921 vsize=10659012 memory=0 CPUtime=0.07 cores=0,2,4,6 /proc/29924/task/29935/stat : 29935 (java) R 29921 29924 25837 0 -1 4202560 1138 0 0 0 7 0 0 0 20 0 15 0 39596209 10914828288 13662 33554432000 4194304 4196468 140730399574592 139627119144776 139627547487111 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29936] ppid=29921 vsize=10659012 memory=-1 CPUtime=0.07 cores=0,2,4,6 /proc/29924/task/29936/stat : 29936 (java) R 29921 29924 25837 0 -1 4202560 835 0 0 0 7 0 0 0 20 0 15 0 39596209 10914828288 13662 33554432000 4194304 4196468 140730399574592 139627118096440 139627545530402 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29937] ppid=29921 vsize=10659012 memory=139959725282944 CPUtime=0.12 cores=0,2,4,6 /proc/29924/task/29937/stat : 29937 (java) R 29921 29924 25837 0 -1 1077944384 1046 0 0 0 12 0 0 0 20 0 15 0 39596209 10914828288 13662 33554432000 4194304 4196468 140730399574592 139627117058160 139627563997826 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29938] ppid=29921 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/29924/task/29938/stat : 29938 (java) S 29921 29924 25837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39596210 10914828288 13662 33554432000 4194304 4196468 140730399574592 139627116005600 139627563996885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29939] ppid=29921 vsize=10659012 memory=139959725282944 CPUtime=0 cores=0,2,4,6 /proc/29924/task/29939/stat : 29939 (java) S 29921 29924 25837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39596210 10914828288 13662 33554432000 4194304 4196468 140730399574592 139627114953904 139627563997826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 Current children cumulated CPU time: 0.59 s Current children cumulated vsize: 10659012 KiB Current children cumulated memory: 54648 KiB [startup+0.710629 s] /proc/loadavg: 4.79 4.13 3.07 3/219 29939 /proc/meminfo: memFree=19487088/32770624 swapFree=67108860/67108860 [pid=29924] ppid=29921 vsize=10659012 memory=260108 CPUtime=1.56 cores=0,2,4,6 /proc/29924/stat : 29924 (java) S 29921 29924 25837 0 -1 1077944320 10637 0 0 0 139 17 0 0 20 0 15 0 39596204 10914828288 65027 33554432000 4194304 4196468 140730399574592 140730399557136 139627563986679 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 /proc/29924/statm: 2664753 65027 3046 1 0 2627263 0 [pid=29924/tid=29926] ppid=29921 vsize=10659012 memory=268512228575306 CPUtime=0.62 cores=0,2,4,6 /proc/29924/task/29926/stat : 29926 (java) S 29921 29924 25837 0 -1 1077944384 5409 0 0 0 59 3 0 0 20 0 15 0 39596204 10914828288 65027 33554432000 4194304 4196468 140730399574592 139627568225824 139627563996885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29927] ppid=29921 vsize=10659012 memory=175223 CPUtime=0.07 cores=0,2,4,6 /proc/29924/task/29927/stat : 29927 (java) R 29921 29924 25837 0 -1 4202560 49 0 0 0 4 3 0 0 20 0 15 0 39596205 10914828288 65027 33554432000 4194304 4196468 140730399574592 139627516607008 139627549014553 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29928] ppid=29921 vsize=10659012 memory=0 CPUtime=0.06 cores=0,2,4,6 /proc/29924/task/29928/stat : 29928 (java) R 29921 29924 25837 0 -1 4202560 51 0 0 0 4 2 0 0 20 0 15 0 39596205 10914828288 65027 33554432000 4194304 4196468 140730399574592 139627515552296 139627549014544 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29929] ppid=29921 vsize=10659012 memory=0 CPUtime=0.07 cores=0,2,4,6 /proc/29924/task/29929/stat : 29929 (java) R 29921 29924 25837 0 -1 4202560 48 0 0 0 4 3 0 0 20 0 15 0 39596205 10914828288 65027 33554432000 4194304 4196468 140730399574592 139627514501720 139627549010382 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29930] ppid=29921 vsize=10659012 memory=7809523229951467568 CPUtime=0.07 cores=0,2,4,6 /proc/29924/task/29930/stat : 29930 (java) R 29921 29924 25837 0 -1 4202560 52 0 0 0 4 3 0 0 20 0 15 0 39596205 10914828288 65027 33554432000 4194304 4196468 140730399574592 139627513446416 139627549014562 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29931] ppid=29921 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6 /proc/29924/task/29931/stat : 29931 (java) S 29921 29924 25837 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 39596206 10914828288 65027 33554432000 4194304 4196468 140730399574592 139627123373472 139627563996885 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29932] ppid=29921 vsize=10659012 memory=-6579862990970053983 CPUtime=0 cores=0,2,4,6 /proc/29924/task/29932/stat : 29932 (java) S 29921 29924 25837 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39596207 10914828288 65027 33554432000 4194304 4196468 140730399574592 139627122320928 139627563996885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29933] ppid=29921 vsize=10659012 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6 /proc/29924/task/29933/stat : 29933 (java) S 29921 29924 25837 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39596207 10914828288 65027 33554432000 4194304 4196468 140730399574592 139627121268080 139627563996885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29934] ppid=29921 vsize=10659012 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6 /proc/29924/task/29934/stat : 29934 (java) S 29921 29924 25837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39596209 10914828288 65027 33554432000 4194304 4196468 140730399574592 139627120216400 139627564005275 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29935] ppid=29921 vsize=10659012 memory=6944652177228980320 CPUtime=0.23 cores=0,2,4,6 /proc/29924/task/29935/stat : 29935 (java) S 29921 29924 25837 0 -1 1077944384 1596 0 0 0 23 0 0 0 20 0 15 0 39596209 10914828288 65027 33554432000 4194304 4196468 140730399574592 139627119163760 139627563997826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29936] ppid=29921 vsize=10659012 memory=0 CPUtime=0.24 cores=0,2,4,6 /proc/29924/task/29936/stat : 29936 (java) S 29921 29924 25837 0 -1 1077944384 914 0 0 0 24 0 0 0 20 0 15 0 39596209 10914828288 65027 33554432000 4194304 4196468 140730399574592 139627118110960 139627563997826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29937] ppid=29921 vsize=10659012 memory=0 CPUtime=0.14 cores=0,2,4,6 /proc/29924/task/29937/stat : 29937 (java) S 29921 29924 25837 0 -1 1077944384 1146 0 0 0 14 0 0 0 20 0 15 0 39596209 10914828288 65027 33554432000 4194304 4196468 140730399574592 139627117058160 139627563997826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29938] ppid=29921 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6 /proc/29924/task/29938/stat : 29938 (java) S 29921 29924 25837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39596210 10914828288 65539 33554432000 4194304 4196468 140730399574592 139627116005600 139627563996885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29939] ppid=29921 vsize=10659012 memory=8720 CPUtime=0 cores=0,2,4,6 /proc/29924/task/29939/stat : 29939 (java) R 29921 29924 25837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39596210 10914828288 65539 33554432000 4194304 4196468 140730399574592 139627114953904 139627563997826 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 Current children cumulated CPU time: 1.56 s Current children cumulated vsize: 10659012 KiB Current children cumulated memory: 260108 KiB [startup+1.50167 s] /proc/loadavg: 4.79 4.13 3.07 4/219 29939 /proc/meminfo: memFree=19298324/32770624 swapFree=67108860/67108860 [pid=29924] ppid=29921 vsize=10659088 memory=415588 CPUtime=3.87 cores=0,2,4,6 /proc/29924/stat : 29924 (java) S 29921 29924 25837 0 -1 1077944320 14580 0 0 0 352 35 0 0 20 0 15 0 39596204 10914906112 103897 33554432000 4194304 4196468 140730399574592 140730399557136 139627563986679 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 /proc/29924/statm: 2664772 103897 3134 1 0 2627263 0 [pid=29924/tid=29926] ppid=29921 vsize=10659088 memory=3303 CPUtime=1.27 cores=0,2,4,6 /proc/29924/task/29926/stat : 29926 (java) R 29921 29924 25837 0 -1 4202560 5839 0 0 0 124 3 0 0 20 0 15 0 39596204 10914906112 103897 33554432000 4194304 4196468 140730399574592 139627568220656 139627192612584 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29927] ppid=29921 vsize=10659088 memory=6791534058613427641 CPUtime=0.19 cores=0,2,4,6 /proc/29924/task/29927/stat : 29927 (java) S 29921 29924 25837 0 -1 1077944384 265 0 0 0 12 7 0 0 20 0 15 0 39596205 10914906112 103897 33554432000 4194304 4196468 140730399574592 139627516607120 139627563996885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29928] ppid=29921 vsize=10659088 memory=0 CPUtime=0.19 cores=0,2,4,6 /proc/29924/task/29928/stat : 29928 (java) S 29921 29924 25837 0 -1 1077944384 204 0 0 0 12 7 0 0 20 0 15 0 39596205 10914906112 103897 33554432000 4194304 4196468 140730399574592 139627515554320 139627563996885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29929] ppid=29921 vsize=10659088 memory=0 CPUtime=0.19 cores=0,2,4,6 /proc/29924/task/29929/stat : 29929 (java) S 29921 29924 25837 0 -1 1077944384 155 0 0 0 12 7 0 0 20 0 15 0 39596205 10914906112 103897 33554432000 4194304 4196468 140730399574592 139627514501520 139627563996885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29930] ppid=29921 vsize=10659088 memory=0 CPUtime=0.19 cores=0,2,4,6 /proc/29924/task/29930/stat : 29930 (java) S 29921 29924 25837 0 -1 1077944384 162 0 0 0 12 7 0 0 20 0 15 0 39596205 10914906112 103897 33554432000 4194304 4196468 140730399574592 139627513448720 139627563996885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29931] ppid=29921 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6 /proc/29924/task/29931/stat : 29931 (java) S 29921 29924 25837 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 39596206 10914906112 103897 33554432000 4194304 4196468 140730399574592 139627123374960 139627563997826 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 ################ # More data... # ################ Current children cumulated CPU time: 43.77 s Current children cumulated vsize: 10661136 KiB Current children cumulated memory: 3438364 KiB [startup+28.8008 s] /proc/loadavg: 3.76 3.95 3.04 6/219 29939 /proc/meminfo: memFree=16142964/32770624 swapFree=67108860/67108860 [pid=29924] ppid=29921 vsize=10661136 memory=3562376 CPUtime=46.4 cores=0,2,4,6 /proc/29924/stat : 29924 (java) S 29921 29924 25837 0 -1 1077944320 59076 0 0 0 4456 184 0 0 20 0 15 0 39596204 10917003264 890594 33554432000 4194304 4196468 140730399574592 140730399557136 139627563986679 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 /proc/29924/statm: 2665284 890594 3182 1 0 2627775 0 [pid=29924/tid=29926] ppid=29921 vsize=10661136 memory=-3117775541953849440 CPUtime=23.82 cores=0,2,4,6 /proc/29924/task/29926/stat : 29926 (java) R 29921 29924 25837 0 -1 4202560 15724 0 0 0 2352 30 0 0 20 0 15 0 39596204 10917003264 890594 33554432000 4194304 4196468 140730399574592 139627568224640 139627190114800 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29927] ppid=29921 vsize=10661136 memory=6791534058613427641 CPUtime=3.66 cores=0,2,4,6 /proc/29924/task/29927/stat : 29927 (java) S 29921 29924 25837 0 -1 1077944384 4487 0 0 0 329 37 0 0 20 0 15 0 39596205 10917003264 890594 33554432000 4194304 4196468 140730399574592 139627516607120 139627563996885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29928] ppid=29921 vsize=10661136 memory=14076 CPUtime=3.64 cores=0,2,4,6 /proc/29924/task/29928/stat : 29928 (java) S 29921 29924 25837 0 -1 1077944384 2341 0 0 0 329 35 0 0 20 0 15 0 39596205 10917003264 890594 33554432000 4194304 4196468 140730399574592 139627515554320 139627563996885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29929] ppid=29921 vsize=10661136 memory=1292 CPUtime=3.61 cores=0,2,4,6 /proc/29924/task/29929/stat : 29929 (java) S 29921 29924 25837 0 -1 1077944384 5371 0 0 0 324 37 0 0 20 0 15 0 39596205 10917003264 890594 33554432000 4194304 4196468 140730399574592 139627514501520 139627563996885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29930] ppid=29921 vsize=10661136 memory=2444 CPUtime=3.64 cores=0,2,4,6 /proc/29924/task/29930/stat : 29930 (java) S 29921 29924 25837 0 -1 1077944384 3813 0 0 0 328 36 0 0 20 0 15 0 39596205 10917003264 890594 33554432000 4194304 4196468 140730399574592 139627513448720 139627563996885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29931] ppid=29921 vsize=10661136 memory=1728 CPUtime=1.06 cores=0,2,4,6 /proc/29924/task/29931/stat : 29931 (java) S 29921 29924 25837 0 -1 1077944384 6206 0 0 0 106 0 0 0 20 0 15 0 39596206 10917003264 890594 33554432000 4194304 4196468 140730399574592 139627123374960 139627563997826 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29932] ppid=29921 vsize=10661136 memory=1948 CPUtime=0 cores=0,2,4,6 /proc/29924/task/29932/stat : 29932 (java) S 29921 29924 25837 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 39596207 10917003264 890594 33554432000 4194304 4196468 140730399574592 139627122320992 139627563996885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29933] ppid=29921 vsize=10661136 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6 /proc/29924/task/29933/stat : 29933 (java) S 29921 29924 25837 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 39596207 10917003264 890594 33554432000 4194304 4196468 140730399574592 139627121268080 139627563996885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29934] ppid=29921 vsize=10661136 memory=648 CPUtime=0 cores=0,2,4,6 /proc/29924/task/29934/stat : 29934 (java) S 29921 29924 25837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39596209 10917003264 890594 33554432000 4194304 4196468 140730399574592 139627120216400 139627564005275 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29935] ppid=29921 vsize=10661136 memory=956 CPUtime=3.27 cores=0,2,4,6 /proc/29924/task/29935/stat : 29935 (java) S 29921 29924 25837 0 -1 1077944384 9238 0 0 0 326 1 0 0 20 0 15 0 39596209 10917003264 890594 33554432000 4194304 4196468 140730399574592 139627119163760 139627563997826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29936] ppid=29921 vsize=10661136 memory=2340 CPUtime=3.02 cores=0,2,4,6 /proc/29924/task/29936/stat : 29936 (java) S 29921 29924 25837 0 -1 1077944384 7570 0 0 0 301 1 0 0 20 0 15 0 39596209 10917003264 890594 33554432000 4194304 4196468 140730399574592 139627118110960 139627563997826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29937] ppid=29921 vsize=10661136 memory=1584 CPUtime=0.57 cores=0,2,4,6 /proc/29924/task/29937/stat : 29937 (java) S 29921 29924 25837 0 -1 1077944384 2888 0 0 0 56 1 0 0 20 0 15 0 39596209 10917003264 890594 33554432000 4194304 4196468 140730399574592 139627117058160 139627563997826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29938] ppid=29921 vsize=10661136 memory=928 CPUtime=0 cores=0,2,4,6 /proc/29924/task/29938/stat : 29938 (java) S 29921 29924 25837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39596210 10917003264 890594 33554432000 4194304 4196468 140730399574592 139627116005600 139627563996885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29939] ppid=29921 vsize=10661136 memory=2236 CPUtime=0.01 cores=0,2,4,6 /proc/29924/task/29939/stat : 29939 (java) S 29921 29924 25837 0 -1 1077944384 45 0 0 0 0 1 0 0 20 0 15 0 39596210 10917003264 890594 33554432000 4194304 4196468 140730399574592 139627114953904 139627563997826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 23 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 Current children cumulated CPU time: 46.4 s Current children cumulated vsize: 10661136 KiB Current children cumulated memory: 3562376 KiB [startup+29.6007 s] /proc/loadavg: 3.76 3.95 3.04 3/219 29939 /proc/meminfo: memFree=16021956/32770624 swapFree=67108860/67108860 [pid=29924] ppid=29921 vsize=10661136 memory=3562376 CPUtime=47.2 cores=0,2,4,6 /proc/29924/stat : 29924 (java) S 29921 29924 25837 0 -1 1077944320 59076 0 0 0 4536 184 0 0 20 0 15 0 39596204 10917003264 890594 33554432000 4194304 4196468 140730399574592 140730399557136 139627563986679 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 /proc/29924/statm: 2665284 890594 3182 1 0 2627775 0 [pid=29924/tid=29926] ppid=29921 vsize=10661136 memory=6791534058613427641 CPUtime=24.62 cores=0,2,4,6 /proc/29924/task/29926/stat : 29926 (java) R 29921 29924 25837 0 -1 4202560 15724 0 0 0 2432 30 0 0 20 0 15 0 39596204 10917003264 890594 33554432000 4194304 4196468 140730399574592 139627568224640 139627196683868 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29927] ppid=29921 vsize=10661136 memory=14076 CPUtime=3.66 cores=0,2,4,6 /proc/29924/task/29927/stat : 29927 (java) S 29921 29924 25837 0 -1 1077944384 4487 0 0 0 329 37 0 0 20 0 15 0 39596205 10917003264 890594 33554432000 4194304 4196468 140730399574592 139627516607120 139627563996885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29928] ppid=29921 vsize=10661136 memory=1292 CPUtime=3.64 cores=0,2,4,6 /proc/29924/task/29928/stat : 29928 (java) S 29921 29924 25837 0 -1 1077944384 2341 0 0 0 329 35 0 0 20 0 15 0 39596205 10917003264 890594 33554432000 4194304 4196468 140730399574592 139627515554320 139627563996885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29929] ppid=29921 vsize=10661136 memory=2444 CPUtime=3.61 cores=0,2,4,6 /proc/29924/task/29929/stat : 29929 (java) S 29921 29924 25837 0 -1 1077944384 5371 0 0 0 324 37 0 0 20 0 15 0 39596205 10917003264 890594 33554432000 4194304 4196468 140730399574592 139627514501520 139627563996885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29930] ppid=29921 vsize=10661136 memory=1728 CPUtime=3.64 cores=0,2,4,6 /proc/29924/task/29930/stat : 29930 (java) S 29921 29924 25837 0 -1 1077944384 3813 0 0 0 328 36 0 0 20 0 15 0 39596205 10917003264 890594 33554432000 4194304 4196468 140730399574592 139627513448720 139627563996885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29931] ppid=29921 vsize=10661136 memory=1948 CPUtime=1.06 cores=0,2,4,6 /proc/29924/task/29931/stat : 29931 (java) S 29921 29924 25837 0 -1 1077944384 6206 0 0 0 106 0 0 0 20 0 15 0 39596206 10917003264 890594 33554432000 4194304 4196468 140730399574592 139627123374960 139627563997826 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29932] ppid=29921 vsize=10661136 memory=1224 CPUtime=0 cores=0,2,4,6 /proc/29924/task/29932/stat : 29932 (java) S 29921 29924 25837 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 39596207 10917003264 890594 33554432000 4194304 4196468 140730399574592 139627122320992 139627563996885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29933] ppid=29921 vsize=10661136 memory=1704 CPUtime=0 cores=0,2,4,6 /proc/29924/task/29933/stat : 29933 (java) S 29921 29924 25837 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 39596207 10917003264 890594 33554432000 4194304 4196468 140730399574592 139627121268080 139627563996885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29934] ppid=29921 vsize=10661136 memory=8720 CPUtime=0 cores=0,2,4,6 /proc/29924/task/29934/stat : 29934 (java) S 29921 29924 25837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39596209 10917003264 890594 33554432000 4194304 4196468 140730399574592 139627120216400 139627564005275 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29935] ppid=29921 vsize=10661136 memory=18472 CPUtime=3.27 cores=0,2,4,6 /proc/29924/task/29935/stat : 29935 (java) S 29921 29924 25837 0 -1 1077944384 9238 0 0 0 326 1 0 0 20 0 15 0 39596209 10917003264 890594 33554432000 4194304 4196468 140730399574592 139627119163760 139627563997826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29936] ppid=29921 vsize=10661136 memory=4048 CPUtime=3.02 cores=0,2,4,6 /proc/29924/task/29936/stat : 29936 (java) S 29921 29924 25837 0 -1 1077944384 7570 0 0 0 301 1 0 0 20 0 15 0 39596209 10917003264 890594 33554432000 4194304 4196468 140730399574592 139627118110960 139627563997826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29937] ppid=29921 vsize=10661136 memory=1792 CPUtime=0.57 cores=0,2,4,6 /proc/29924/task/29937/stat : 29937 (java) S 29921 29924 25837 0 -1 1077944384 2888 0 0 0 56 1 0 0 20 0 15 0 39596209 10917003264 890594 33554432000 4194304 4196468 140730399574592 139627117058160 139627563997826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29938] ppid=29921 vsize=10661136 memory=1240 CPUtime=0 cores=0,2,4,6 /proc/29924/task/29938/stat : 29938 (java) S 29921 29924 25837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39596210 10917003264 890594 33554432000 4194304 4196468 140730399574592 139627116005600 139627563996885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29939] ppid=29921 vsize=10661136 memory=648 CPUtime=0.01 cores=0,2,4,6 /proc/29924/task/29939/stat : 29939 (java) S 29921 29924 25837 0 -1 1077944384 45 0 0 0 0 1 0 0 20 0 15 0 39596210 10917003264 890594 33554432000 4194304 4196468 140730399574592 139627114953904 139627563997826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 23 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 Current children cumulated CPU time: 47.2 s Current children cumulated vsize: 10661136 KiB Current children cumulated memory: 3562376 KiB [startup+30.0007 s]* /proc/loadavg: 3.76 3.95 3.04 4/220 29941 /proc/meminfo: memFree=16019940/32770624 swapFree=67108860/67108860 [pid=29924] ppid=29921 vsize=10794264 memory=3565252 CPUtime=48.13 cores=0,2,4,6 /proc/29924/stat : 29924 (java) S 29921 29924 25837 0 -1 1077944320 67045 0 0 0 4628 185 0 0 20 0 16 0 39596204 11053326336 891313 33554432000 4194304 4196468 140730399574592 140730399557136 139627563986679 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 /proc/29924/statm: 2698566 891313 3185 1 0 2661057 0 [pid=29924/tid=29926] ppid=29921 vsize=10794264 memory=6791534058613427641 CPUtime=24.98 cores=0,2,4,6 /proc/29924/task/29926/stat : 29926 (java) S 29921 29924 25837 0 -1 1077944384 16139 0 0 0 2467 31 0 0 20 0 16 0 39596204 11053326336 891313 33554432000 4194304 4196468 140730399574592 139627568227360 139627563996885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29927] ppid=29921 vsize=10794264 memory=279919124807920 CPUtime=3.66 cores=0,2,4,6 /proc/29924/task/29927/stat : 29927 (java) S 29921 29924 25837 0 -1 1077944384 4487 0 0 0 329 37 0 0 20 0 16 0 39596205 11053326336 891313 33554432000 4194304 4196468 140730399574592 139627516607120 139627563996885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29928] ppid=29921 vsize=10794264 memory=6944656592387989600 CPUtime=3.64 cores=0,2,4,6 /proc/29924/task/29928/stat : 29928 (java) S 29921 29924 25837 0 -1 1077944384 2341 0 0 0 329 35 0 0 20 0 16 0 39596205 11053326336 891313 33554432000 4194304 4196468 140730399574592 139627515554320 139627563996885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29929] ppid=29921 vsize=10794264 memory=-6305710624611067264 CPUtime=3.61 cores=0,2,4,6 /proc/29924/task/29929/stat : 29929 (java) S 29921 29924 25837 0 -1 1077944384 5371 0 0 0 324 37 0 0 20 0 16 0 39596205 11053326336 891313 33554432000 4194304 4196468 140730399574592 139627514501520 139627563996885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29930] ppid=29921 vsize=10794264 memory=-2970219127293635024 CPUtime=3.64 cores=0,2,4,6 /proc/29924/task/29930/stat : 29930 (java) S 29921 29924 25837 0 -1 1077944384 3813 0 0 0 328 36 0 0 20 0 16 0 39596205 11053326336 891313 33554432000 4194304 4196468 140730399574592 139627513448720 139627563996885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29931] ppid=29921 vsize=10794264 memory=4497580499151130995 CPUtime=1.06 cores=0,2,4,6 /proc/29924/task/29931/stat : 29931 (java) S 29921 29924 25837 0 -1 1077944384 6206 0 0 0 106 0 0 0 20 0 16 0 39596206 11053326336 891313 33554432000 4194304 4196468 140730399574592 139627123374960 139627563997826 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29932] ppid=29921 vsize=10794264 memory=-3704326594973231568 CPUtime=0 cores=0,2,4,6 /proc/29924/task/29932/stat : 29932 (java) S 29921 29924 25837 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 16 0 39596207 11053326336 891313 33554432000 4194304 4196468 140730399574592 139627122320992 139627563996885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29933] ppid=29921 vsize=10794264 memory=3562376 CPUtime=0 cores=0,2,4,6 /proc/29924/task/29933/stat : 29933 (java) S 29921 29924 25837 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 16 0 39596207 11053326336 891313 33554432000 4194304 4196468 140730399574592 139627121268080 139627563996885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29934] ppid=29921 vsize=10794264 memory=3562376 CPUtime=0 cores=0,2,4,6 /proc/29924/task/29934/stat : 29934 (java) S 29921 29924 25837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39596209 11053326336 891313 33554432000 4194304 4196468 140730399574592 139627120216400 139627564005275 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29935] ppid=29921 vsize=10794264 memory=303430223234596890 CPUtime=3.54 cores=0,2,4,6 /proc/29924/task/29935/stat : 29935 (java) R 29921 29924 25837 0 -1 4202560 12829 0 0 0 353 1 0 0 20 0 16 0 39596209 11053326336 891313 33554432000 4194304 4196468 140730399574592 139627119150192 139627547897088 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29936] ppid=29921 vsize=10794264 memory=301741394933055803 CPUtime=3.29 cores=0,2,4,6 /proc/29924/task/29936/stat : 29936 (java) R 29921 29924 25837 0 -1 4202560 10729 0 0 0 328 1 0 0 20 0 16 0 39596209 11053326336 891313 33554432000 4194304 4196468 140730399574592 139627118098992 139627545508507 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29937] ppid=29921 vsize=10794264 memory=14695218540710260 CPUtime=0.59 cores=0,2,4,6 /proc/29924/task/29937/stat : 29937 (java) S 29921 29924 25837 0 -1 1077944384 3641 0 0 0 58 1 0 0 20 0 16 0 39596209 11053326336 891313 33554432000 4194304 4196468 140730399574592 139627117058160 139627563997826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29938] ppid=29921 vsize=10794264 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6 /proc/29924/task/29938/stat : 29938 (java) S 29921 29924 25837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39596210 11053326336 891313 33554432000 4194304 4196468 140730399574592 139627116005600 139627563996885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29939] ppid=29921 vsize=10794264 memory=6655300316396806240 CPUtime=0.01 cores=0,2,4,6 /proc/29924/task/29939/stat : 29939 (java) S 29921 29924 25837 0 -1 1077944384 45 0 0 0 0 1 0 0 20 0 16 0 39596210 11053326336 891313 33554432000 4194304 4196468 140730399574592 139627114953904 139627563997826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 23 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29940] ppid=29921 vsize=10794264 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6 /proc/29924/task/29940/stat : 29940 (java) S 29921 29924 25837 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 16 0 39599200 11053326336 891313 33554432000 4194304 4196468 140730399574592 139627111802512 139627563997826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 Current children cumulated CPU time: 48.13 s Current children cumulated vsize: 10794264 KiB Current children cumulated memory: 3565252 KiB [startup+30.1106 s] /proc/loadavg: 3.76 3.95 3.04 4/220 29941 /proc/meminfo: memFree=16019940/32770624 swapFree=67108860/67108860 [pid=29924] ppid=29921 vsize=10794264 memory=3566624 CPUtime=48.33 cores=0,2,4,6 /proc/29924/stat : 29924 (java) S 29921 29924 25837 0 -1 1077944320 67884 0 0 0 4648 185 0 0 20 0 16 0 39596204 11053326336 891656 33554432000 4194304 4196468 140730399574592 140730399557136 139627563986679 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 /proc/29924/statm: 2698566 891656 3185 1 0 2661057 0 [pid=29924/tid=29926] ppid=29921 vsize=10794264 memory=3562376 CPUtime=24.98 cores=0,2,4,6 /proc/29924/task/29926/stat : 29926 (java) S 29921 29924 25837 0 -1 1077944384 16139 0 0 0 2467 31 0 0 20 0 16 0 39596204 11053326336 891656 33554432000 4194304 4196468 140730399574592 139627568227360 139627563996885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29927] ppid=29921 vsize=10794264 memory=3563628 CPUtime=3.66 cores=0,2,4,6 /proc/29924/task/29927/stat : 29927 (java) S 29921 29924 25837 0 -1 1077944384 4487 0 0 0 329 37 0 0 20 0 16 0 39596205 11053326336 891656 33554432000 4194304 4196468 140730399574592 139627516607120 139627563996885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29928] ppid=29921 vsize=10794264 memory=6791534058613427641 CPUtime=3.64 cores=0,2,4,6 /proc/29924/task/29928/stat : 29928 (java) S 29921 29924 25837 0 -1 1077944384 2341 0 0 0 329 35 0 0 20 0 16 0 39596205 11053326336 891656 33554432000 4194304 4196468 140730399574592 139627515554320 139627563996885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29929] ppid=29921 vsize=10794264 memory=1200 CPUtime=3.61 cores=0,2,4,6 /proc/29924/task/29929/stat : 29929 (java) S 29921 29924 25837 0 -1 1077944384 5371 0 0 0 324 37 0 0 20 0 16 0 39596205 11053326336 891656 33554432000 4194304 4196468 140730399574592 139627514501520 139627563996885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29930] ppid=29921 vsize=10794264 memory=6791534058613427641 CPUtime=3.64 cores=0,2,4,6 /proc/29924/task/29930/stat : 29930 (java) S 29921 29924 25837 0 -1 1077944384 3813 0 0 0 328 36 0 0 20 0 16 0 39596205 11053326336 891656 33554432000 4194304 4196468 140730399574592 139627513448720 139627563996885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29931] ppid=29921 vsize=10794264 memory=5933870116656546433 CPUtime=1.06 cores=0,2,4,6 /proc/29924/task/29931/stat : 29931 (java) S 29921 29924 25837 0 -1 1077944384 6206 0 0 0 106 0 0 0 20 0 16 0 39596206 11053326336 891656 33554432000 4194304 4196468 140730399574592 139627123374960 139627563997826 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29932] ppid=29921 vsize=10794264 memory=3212152 CPUtime=0 cores=0,2,4,6 /proc/29924/task/29932/stat : 29932 (java) S 29921 29924 25837 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 16 0 39596207 11053326336 891656 33554432000 4194304 4196468 140730399574592 139627122320992 139627563996885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29933] ppid=29921 vsize=10794264 memory=4132 CPUtime=0 cores=0,2,4,6 /proc/29924/task/29933/stat : 29933 (java) S 29921 29924 25837 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 16 0 39596207 11053326336 891656 33554432000 4194304 4196468 140730399574592 139627121268080 139627563996885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29934] ppid=29921 vsize=10794264 memory=0 CPUtime=0 cores=0,2,4,6 /proc/29924/task/29934/stat : 29934 (java) S 29921 29924 25837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39596209 11053326336 891656 33554432000 4194304 4196468 140730399574592 139627120216400 139627564005275 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29935] ppid=29921 vsize=10794264 memory=327 CPUtime=3.64 cores=0,2,4,6 /proc/29924/task/29935/stat : 29935 (java) R 29921 29924 25837 0 -1 4202560 13546 0 0 0 363 1 0 0 20 0 16 0 39596209 11053326336 891656 33554432000 4194304 4196468 140730399574592 139627119150304 139627545534103 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29936] ppid=29921 vsize=10794264 memory=3562376 CPUtime=3.39 cores=0,2,4,6 /proc/29924/task/29936/stat : 29936 (java) R 29921 29924 25837 0 -1 4202560 10851 0 0 0 338 1 0 0 20 0 16 0 39596209 11053326336 891656 33554432000 4194304 4196468 140730399574592 139627118095920 139627548881838 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29937] ppid=29921 vsize=10794264 memory=3562376 CPUtime=0.59 cores=0,2,4,6 /proc/29924/task/29937/stat : 29937 (java) S 29921 29924 25837 0 -1 1077944384 3641 0 0 0 58 1 0 0 20 0 16 0 39596209 11053326336 891656 33554432000 4194304 4196468 140730399574592 139627117058160 139627563997826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29938] ppid=29921 vsize=10794264 memory=0 CPUtime=0 cores=0,2,4,6 /proc/29924/task/29938/stat : 29938 (java) S 29921 29924 25837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39596210 11053326336 891656 33554432000 4194304 4196468 140730399574592 139627116005600 139627563996885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29939] ppid=29921 vsize=10794264 memory=1 CPUtime=0.01 cores=0,2,4,6 /proc/29924/task/29939/stat : 29939 (java) S 29921 29924 25837 0 -1 1077944384 45 0 0 0 0 1 0 0 20 0 16 0 39596210 11053326336 891656 33554432000 4194304 4196468 140730399574592 139627114953904 139627563997826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 23 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 [pid=29924/tid=29940] ppid=29921 vsize=10794264 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6 /proc/29924/task/29940/stat : 29940 (java) S 29921 29924 25837 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 16 0 39599200 11053326336 891656 33554432000 4194304 4196468 140730399574592 139627111802512 139627563997826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36343808 140730399581297 140730399581449 140730399581449 140730399584207 0 Current children cumulated CPU time: 48.33 s Current children cumulated vsize: 10794264 KiB Current children cumulated memory: 3566624 KiB Child status: 1 Real time (s): 30.1988 CPU time (s): 48.4353 CPU user time (s): 46.561 CPU system time (s): 1.87429 CPU usage (%): 160.388 Max. virtual memory (cumulated for all children) (KiB): 10794264 Max. memory (cumulated for all children) (KiB): 3566624 getrusage(RUSAGE_CHILDREN,...) data: user time used= 46.561 system time used= 1.8743 maximum resident set size= 3567036 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 68003 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= 3177 involuntary context switches= 217 # summary of solver processes directly reported to runsolver: # pid: 29924 # total CPU time (s): 48.4353 # total CPU user time (s): 46.561 # total CPU system time (s): 1.87429 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.17746 second user time and 0.364191 second system time The end
Begin job on node132 at 2018-07-22 02:45:30 IDJOB=4289801 IDBENCH=141493 IDSOLVER=2742 FILE ID=node132/4289801-1532220330 RUNJOBID= node132-1532209718-28181 PBS_JOBID= 21018935 Free space on /tmp= 55112 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-4289801-1532220330/watcher-4289801-1532220330 -o /tmp/evaluation-result-4289801-1532220330/solver-4289801-1532220330 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532209718-28181 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4289801-1532220330.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 65d9088e6e3c6b500cf18d234bd8e6c7 RANDOM SEED=1517406760 node132.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.65 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.65 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.65 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.65 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: 19584016 kB MemAvailable: 30449316 kB Buffers: 228596 kB Cached: 10790444 kB SwapCached: 0 kB Active: 3414932 kB Inactive: 9145480 kB Active(anon): 1544404 kB Inactive(anon): 17040 kB Active(file): 1870528 kB Inactive(file): 9128440 kB Unevictable: 6988 kB Mlocked: 6988 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 19232 kB Writeback: 12 kB AnonPages: 1548556 kB Mapped: 46928 kB Shmem: 17056 kB Slab: 322152 kB SReclaimable: 294792 kB SUnreclaim: 27360 kB KernelStack: 3600 kB PageTables: 8428 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 3181024 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1388544 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 55112 MiB End job on node132 at 2018-07-22 02:46:01