Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
sat4j-CSP 2017-07-05 | ? | 206.097 | 180.476 |
Name | Cutstock/Cutstock-zinc-s1/ Cutstock-t16-7.xml |
MD5SUM | d6761b054431b884cfc6d948dd81b50d |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 1808 |
Best CPU time to get the best result obtained on this benchmark | 1956.1 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 38010 |
Number of constraints | 1832 |
Number of domains | 20 |
Minimum domain size | 2 |
Maximum domain size | 187 |
Distribution of domain sizes | [{"size":2,"count":1810},{"size":6,"count":3620},{"size":16,"count":1810},{"size":19,"count":1810},{"size":25,"count":1810},{"size":26,"count":1810},{"size":43,"count":1810},{"size":73,"count":1810},{"size":98,"count":1810},{"size":109,"count":1810},{"size":110,"count":1810},{"size":130,"count":1810},{"size":132,"count":1810},{"size":158,"count":1810},{"size":165,"count":1810},{"size":171,"count":1810},{"size":178,"count":1810},{"size":182,"count":1810},{"size":186,"count":1810},{"size":187,"count":1810}] |
Minimum variable degree | 3 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":3,"count":38010}] |
Minimum constraint arity | 21 |
Maximum constraint arity | 36200 |
Distribution of constraint arities | [{"arity":21,"count":1810},{"arity":1810,"count":21},{"arity":36200,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":1830}] |
Optimization problem | YES |
Type of objective | min SUM |
205.87/180.23 Exception in thread "main" java.lang.StackOverflowError 205.87/180.23 at java.lang.Exception.<init>(Exception.java:66) 205.87/180.23 at java.lang.RuntimeException.<init>(RuntimeException.java:62) 205.87/180.23 at java.lang.IllegalArgumentException.<init>(IllegalArgumentException.java:52) 205.87/180.23 at java.lang.NumberFormatException.<init>(NumberFormatException.java:55) 205.87/180.23 at java.lang.NumberFormatException.forInputString(NumberFormatException.java:65) 205.87/180.23 at java.lang.Integer.parseInt(Integer.java:580) 205.87/180.23 at java.lang.Integer.valueOf(Integer.java:766) 205.87/180.23 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:76) 205.87/180.23 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.23 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.23 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.23 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.23 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.23 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.23 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.23 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.23 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.23 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.23 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.23 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.23 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.23 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.23 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.23 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.23 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.23 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.23 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.23 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.23 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.23 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.23 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.23 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.23 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.23 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.23 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.23 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.23 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.23 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.23 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.23 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.23 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.23 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.23 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.23 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.23 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.23 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.23 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.23 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.23 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.23 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.23 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.23 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.23 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.23 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.23 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.23 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.23 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.23 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.23 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.24 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseOperatorExpression(Parser.java:90) 205.87/180.25 at org.sat4j.csp.intension.Parser.parseExpression(Parser.java:62) 206.06/180.45 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 206.06/180.45 c This is free software under the dual EPL/GNU LGPL licenses. 206.06/180.45 c See www.sat4j.org for details. 206.06/180.45 c That software uses the Rhino library from the Mozilla project. 206.06/180.45 c version CUSTOM.v20170705 206.06/180.45 c java.runtime.name Java(TM) SE Runtime Environment 206.06/180.45 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 206.06/180.45 c java.vm.version 25.131-b11 206.06/180.45 c java.vm.vendor Oracle Corporation 206.06/180.45 c sun.arch.data.model 64 206.06/180.45 c java.version 1.8.0_131 206.06/180.45 c os.name Linux 206.06/180.45 c os.version 3.10.0-514.16.1.el7.x86_64 206.06/180.45 c os.arch amd64 206.06/180.45 c Free memory 499604488 206.06/180.45 c Max memory 7247757312 206.06/180.45 c Total memory 504889344 206.06/180.45 c Number of processors 4 206.06/180.45 c c --- Begin Solver configuration --- 206.06/180.45 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e 206.06/180.45 c Learn all clauses as in MiniSAT 206.06/180.45 c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 206.06/180.45 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 206.06/180.45 c No reason simplification 206.06/180.45 c Glucose 2.1 dynamic restart strategy 206.06/180.45 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 206.06/180.45 c timeout=2147483s 206.06/180.45 c DB Simplification allowed=false 206.06/180.45 c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1 206.06/180.45 c --- End Solver configuration --- 206.06/180.45 c starts : 0 206.06/180.45 c conflicts : 0 206.06/180.45 c decisions : 0 206.06/180.45 c propagations : 0 206.06/180.45 c inspects : 0 206.06/180.45 c shortcuts : 0 206.06/180.45 c learnt literals : 0 206.06/180.45 c learnt binary clauses : 0 206.06/180.45 c learnt ternary clauses : 0 206.06/180.45 c learnt constraints : 0 206.06/180.45 c ignored constraints : 0 206.06/180.45 c root simplifications : 0 206.06/180.45 c removed literals (reason simplification) : 0 206.06/180.45 c reason swapping (by a shorter reason) : 0 206.06/180.45 c Calls to reduceDB : 0 206.06/180.45 c Number of update (reduction) of LBD : 0 206.06/180.45 c Imported unit clauses : 0 206.06/180.45 c number of reductions to clauses (during analyze) : 0 206.06/180.45 c number of learned constraints concerned by reduction : 0 206.06/180.45 c number of learning phase by resolution : 0 206.06/180.45 c number of learning phase by cutting planes : 0 206.06/180.45 c number of rounding to 1 operations : 0 206.06/180.45 c number of easy rounding to 1 operations (no literal elimination needed) : 0 206.06/180.45 c number of reductions of the coefficients by power 2 : 0 206.06/180.45 c number of right shift for reduction by power 2 : 0 206.06/180.45 c number of reductions of the coefficients by GCD over coefficients : 0 206.06/180.45 c speed (assignments/second) : 0.0 206.06/180.45 c non guided choices 0 206.06/180.45 c learnt constraints type 206.06/180.45 s UNKNOWN
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4257968-1501646490/watcher-4257968-1501646490 -o /tmp/evaluation-result-4257968-1501646490/solver-4257968-1501646490 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501638806-11703 --watchdog 300 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4257968-1501646490.xml pid=20605 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 4.03 2.98 2.68 5/198 20608 /proc/meminfo: memFree=30628560/32770624 swapFree=0/251440 [pid=20608] ppid=20605 vsize=23672 CPUtime=0 cores=0,2,4,6 /proc/20608/stat : 20608 (runsolver) D 20605 20608 18930 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 64302517 24240128 106 18446744073709551615 4194304 4338465 140736289158736 140736289156376 140696164451031 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 27394048 140736289161350 140736289161797 140736289161797 140736289165258 0 /proc/20608/statm: 5918 106 53 36 0 2156 0 [startup+0.100198 s] /proc/loadavg: 4.03 2.98 2.68 5/198 20608 /proc/meminfo: memFree=30628560/32770624 swapFree=0/251440 [pid=20608] ppid=20605 vsize=10151672 CPUtime=0.02 cores=0,2,4,6 /proc/20608/stat : 20608 (java) S 20605 20608 18930 0 -1 1077944320 4059 0 0 0 2 0 0 0 20 0 9 0 64302517 10395312128 5189 18446744073709551615 4194304 4196468 140732564818320 140732564800864 140215656074999 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 /proc/20608/statm: 2537918 5189 2094 1 0 2527423 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 10151672 [startup+0.200326 s] /proc/loadavg: 4.03 2.98 2.68 5/198 20608 /proc/meminfo: memFree=30628560/32770624 swapFree=0/251440 [pid=20608] ppid=20605 vsize=10551156 CPUtime=0.07 cores=0,2,4,6 /proc/20608/stat : 20608 (java) S 20605 20608 18930 0 -1 1077944320 4931 0 0 0 6 1 0 0 20 0 15 0 64302517 10804383744 5910 18446744073709551615 4194304 4196468 140732564818320 140732564800864 140215656074999 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 /proc/20608/statm: 2637789 5910 2600 1 0 2627269 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 10551156 [startup+0.300345 s] /proc/loadavg: 4.03 2.98 2.68 5/198 20608 /proc/meminfo: memFree=30628560/32770624 swapFree=0/251440 [pid=20608] ppid=20605 vsize=10551156 CPUtime=0.22 cores=0,2,4,6 /proc/20608/stat : 20608 (java) S 20605 20608 18930 0 -1 1077944320 8255 0 0 0 20 2 0 0 20 0 15 0 64302517 10804383744 8946 18446744073709551615 4194304 4196468 140732564818320 140732564800864 140215656074999 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 /proc/20608/statm: 2637789 8946 2851 1 0 2627269 0 Current children cumulated CPU time (s) 0.22 Current children cumulated vsize (KiB) 10551156 [startup+0.70067 s] /proc/loadavg: 4.03 2.98 2.68 5/198 20608 /proc/meminfo: memFree=30628560/32770624 swapFree=0/251440 [pid=20608] ppid=20605 vsize=10551232 CPUtime=1.46 cores=0,2,4,6 /proc/20608/stat : 20608 (java) S 20605 20608 18930 0 -1 1077944320 13332 0 0 0 141 5 0 0 20 0 15 0 64302517 10804461568 24206 18446744073709551615 4194304 4196468 140732564818320 140732564800864 140215656074999 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 /proc/20608/statm: 2637808 24206 3055 1 0 2627269 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 10551232 [startup+1.50068 s] /proc/loadavg: 4.03 2.98 2.68 4/213 20623 /proc/meminfo: memFree=29181372/32770624 swapFree=0/251440 [pid=20608] ppid=20605 vsize=10551232 CPUtime=3.28 cores=0,2,4,6 /proc/20608/stat : 20608 (java) S 20605 20608 18930 0 -1 1077944320 17127 0 0 0 290 38 0 0 20 0 15 0 64302517 10804461568 282783 18446744073709551615 4194304 4196468 140732564818320 140732564800864 140215656074999 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 /proc/20608/statm: 2637808 282783 3096 1 0 2627269 0 [pid=20608/tid=20610] ppid=20605 vsize=10551232 CPUtime=1.2 cores=0,2,4,6 /proc/20608/task/20610/stat : 20610 (java) R 20605 20608 18930 0 -1 4202560 8373 0 0 0 104 16 0 0 20 0 15 0 64302524 10804461568 282783 18446744073709551615 4194304 4196468 140732564818320 140215660312272 140215642143118 0 4 1 16800974 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20611] ppid=20605 vsize=10551232 CPUtime=0.13 cores=0,2,4,6 /proc/20608/task/20611/stat : 20611 (java) S 20605 20608 18930 0 -1 1077944384 152 0 0 0 9 4 0 0 20 0 15 0 64302524 10804461568 282783 18446744073709551615 4194304 4196468 140732564818320 140215586495632 140215656085205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20612] ppid=20605 vsize=10551232 CPUtime=0.14 cores=0,2,4,6 /proc/20608/task/20612/stat : 20612 (java) S 20605 20608 18930 0 -1 1077944384 286 0 0 0 9 5 0 0 20 0 15 0 64302524 10804461568 282783 18446744073709551615 4194304 4196468 140732564818320 140215585442832 140215656085205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20613] ppid=20605 vsize=10551232 CPUtime=0.14 cores=0,2,4,6 /proc/20608/task/20613/stat : 20613 (java) S 20605 20608 18930 0 -1 1077944384 207 0 0 0 10 4 0 0 20 0 15 0 64302524 10804461568 282783 18446744073709551615 4194304 4196468 140732564818320 140215584390032 140215656085205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20614] ppid=20605 vsize=10551232 CPUtime=0.14 cores=0,2,4,6 /proc/20608/task/20614/stat : 20614 (java) S 20605 20608 18930 0 -1 1077944384 235 0 0 0 10 4 0 0 20 0 15 0 64302524 10804461568 282783 18446744073709551615 4194304 4196468 140732564818320 140215263947536 140215656085205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20615] ppid=20605 vsize=10551232 CPUtime=0 cores=0,2,4,6 /proc/20608/task/20615/stat : 20615 (java) S 20605 20608 18930 0 -1 1077944384 474 0 0 0 0 0 0 0 20 0 15 0 64302526 10804461568 282783 18446744073709551615 4194304 4196468 140732564818320 140215152556400 140215656086146 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20616] ppid=20605 vsize=10551232 CPUtime=0 cores=0,2,4,6 /proc/20608/task/20616/stat : 20616 (java) S 20605 20608 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64302526 10804461568 282783 18446744073709551615 4194304 4196468 140732564818320 140215151502368 140215656085205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20617] ppid=20605 vsize=10551232 CPUtime=0 cores=0,2,4,6 /proc/20608/task/20617/stat : 20617 (java) S 20605 20608 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64302526 10804461568 282783 18446744073709551615 4194304 4196468 140732564818320 140215150449520 140215656085205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20618] ppid=20605 vsize=10551232 CPUtime=0 cores=0,2,4,6 /proc/20608/task/20618/stat : 20618 (java) S 20605 20608 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64302529 10804461568 282783 18446744073709551615 4194304 4196468 140732564818320 140215149397840 140215656093595 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20619] ppid=20605 vsize=10551232 CPUtime=0.6 cores=0,2,4,6 /proc/20608/task/20619/stat : 20619 (java) S 20605 20608 18930 0 -1 1077944384 2034 0 0 0 60 0 0 0 20 0 15 0 64302529 10804461568 282783 18446744073709551615 4194304 4196468 140732564818320 140215148346224 140215656086146 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20620] ppid=20605 vsize=10551232 CPUtime=0.52 cores=0,2,4,6 /proc/20608/task/20620/stat : 20620 (java) S 20605 20608 18930 0 -1 1077944384 2116 0 0 0 52 0 0 0 20 0 15 0 64302529 10804461568 282783 18446744073709551615 4194304 4196468 140732564818320 140215147293424 140215656086146 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20621] ppid=20605 vsize=10551232 CPUtime=0.33 cores=0,2,4,6 /proc/20608/task/20621/stat : 20621 (java) S 20605 20608 18930 0 -1 1077944384 1893 0 0 0 32 1 0 0 20 0 15 0 64302529 10804461568 282783 18446744073709551615 4194304 4196468 140732564818320 140215146240624 140215656086146 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20622] ppid=20605 vsize=10551232 CPUtime=0 cores=0,2,4,6 /proc/20608/task/20622/stat : 20622 (java) S 20605 20608 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64302529 10804461568 282783 18446744073709551615 4194304 4196468 140732564818320 140215145188064 140215656085205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20623] ppid=20605 vsize=10551232 CPUtime=0 cores=0,2,4,6 /proc/20608/task/20623/stat : 20623 (java) S 20605 20608 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64302536 10804461568 283295 18446744073709551615 4194304 4196468 140732564818320 140215144135344 140215656086146 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 Current children cumulated CPU time (s) 3.28 Current children cumulated vsize (KiB) 10551232 [startup+3.10068 s] /proc/loadavg: 4.03 2.98 2.68 3/213 20623 /proc/meminfo: memFree=26829056/32770624 swapFree=0/251440 [pid=20608] ppid=20605 vsize=10551232 CPUtime=5.42 cores=0,2,4,6 /proc/20608/stat : 20608 (java) S 20605 20608 18930 0 -1 1077944320 20420 0 0 0 460 82 0 0 20 0 15 0 64302517 10804461568 690594 18446744073709551615 4194304 4196468 140732564818320 140732564800864 140215656074999 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 /proc/20608/statm: 2637808 690594 3096 1 0 2627269 0 [pid=20608/tid=20610] ppid=20605 vsize=10551232 CPUtime=2.62 cores=0,2,4,6 /proc/20608/task/20610/stat : 20610 (java) R 20605 20608 18930 0 -1 4202560 10285 0 0 0 225 37 0 0 20 0 15 0 64302524 10804461568 690594 18446744073709551615 4194304 4196468 140732564818320 140215660312528 140215642143124 0 4 1 16800974 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20611] ppid=20605 vsize=10551232 CPUtime=0.3 cores=0,2,4,6 /proc/20608/task/20611/stat : 20611 (java) S 20605 20608 18930 0 -1 1077944384 296 0 0 0 20 10 0 0 20 0 15 0 64302524 10804461568 690594 18446744073709551615 4194304 4196468 140732564818320 140215586495632 140215656085205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20612] ppid=20605 vsize=10551232 CPUtime=0.3 cores=0,2,4,6 /proc/20608/task/20612/stat : 20612 (java) S 20605 20608 18930 0 -1 1077944384 462 0 0 0 20 10 0 0 20 0 15 0 64302524 10804461568 690594 18446744073709551615 4194304 4196468 140732564818320 140215585442832 140215656085205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20613] ppid=20605 vsize=10551232 CPUtime=0.31 cores=0,2,4,6 /proc/20608/task/20613/stat : 20613 (java) S 20605 20608 18930 0 -1 1077944384 336 0 0 0 21 10 0 0 20 0 15 0 64302524 10804461568 690594 18446744073709551615 4194304 4196468 140732564818320 140215584390032 140215656085205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20614] ppid=20605 vsize=10551232 CPUtime=0.3 cores=0,2,4,6 /proc/20608/task/20614/stat : 20614 (java) S 20605 20608 18930 0 -1 1077944384 402 0 0 0 20 10 0 0 20 0 15 0 64302524 10804461568 690594 18446744073709551615 4194304 4196468 140732564818320 140215263947536 140215656085205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20615] ppid=20605 vsize=10551232 CPUtime=0.01 cores=0,2,4,6 /proc/20608/task/20615/stat : 20615 (java) S 20605 20608 18930 0 -1 1077944384 1234 0 0 0 1 0 0 0 20 0 15 0 64302526 10804461568 690594 18446744073709551615 4194304 4196468 140732564818320 140215152556400 140215656086146 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20616] ppid=20605 vsize=10551232 CPUtime=0 cores=0,2,4,6 /proc/20608/task/20616/stat : 20616 (java) S 20605 20608 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64302526 10804461568 690594 18446744073709551615 4194304 4196468 140732564818320 140215151502368 140215656085205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20617] ppid=20605 vsize=10551232 CPUtime=0 cores=0,2,4,6 /proc/20608/task/20617/stat : 20617 (java) S 20605 20608 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64302526 10804461568 690594 18446744073709551615 4194304 4196468 140732564818320 140215150449520 140215656085205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20618] ppid=20605 vsize=10551232 CPUtime=0 cores=0,2,4,6 /proc/20608/task/20618/stat : 20618 (java) S 20605 20608 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64302529 10804461568 690594 18446744073709551615 4194304 4196468 140732564818320 140215149397840 140215656093595 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20619] ppid=20605 vsize=10551232 CPUtime=0.62 cores=0,2,4,6 /proc/20608/task/20619/stat : 20619 (java) S 20605 20608 18930 0 -1 1077944384 2034 0 0 0 62 0 0 0 20 0 15 0 64302529 10804461568 690594 18446744073709551615 4194304 4196468 140732564818320 140215148346224 140215656086146 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20620] ppid=20605 vsize=10551232 CPUtime=0.54 cores=0,2,4,6 /proc/20608/task/20620/stat : 20620 (java) S 20605 20608 18930 0 -1 1077944384 2121 0 0 0 54 0 0 0 20 0 15 0 64302529 10804461568 690594 18446744073709551615 4194304 4196468 140732564818320 140215147293424 140215656086146 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20621] ppid=20605 vsize=10551232 CPUtime=0.33 cores=0,2,4,6 /proc/20608/task/20621/stat : 20621 (java) S 20605 20608 18930 0 -1 1077944384 1893 0 0 0 32 1 0 0 20 0 15 0 64302529 10804461568 690594 18446744073709551615 4194304 4196468 140732564818320 140215146240624 140215656086146 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20622] ppid=20605 vsize=10551232 CPUtime=0 cores=0,2,4,6 /proc/20608/task/20622/stat : 20622 (java) S 20605 20608 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64302529 10804461568 690594 18446744073709551615 4194304 4196468 140732564818320 140215145188064 140215656085205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20623] ppid=20605 vsize=10551232 CPUtime=0 cores=0,2,4,6 /proc/20608/task/20623/stat : 20623 (java) S 20605 20608 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64302536 10804461568 690594 18446744073709551615 4194304 4196468 140732564818320 140215144135344 140215656086146 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 Current children cumulated CPU time (s) 5.42 Current children cumulated vsize (KiB) 10551232 [startup+6.30167 s] /proc/loadavg: 3.86 2.96 2.68 5/213 20623 /proc/meminfo: memFree=26166280/32770624 swapFree=0/251452 [pid=20608] ppid=20605 vsize=10551232 CPUtime=9.6 cores=0,2,4,6 /proc/20608/stat : 20608 (java) S 20605 20608 18930 0 -1 1077944320 28253 0 0 0 872 88 0 0 20 0 15 0 64302517 10804461568 712823 18446744073709551615 4194304 4196468 140732564818320 140732564800864 140215656074999 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 /proc/20608/statm: 2637808 712823 3101 1 0 2627269 0 [pid=20608/tid=20610] ppid=20605 vsize=10551232 CPUtime=5.66 cores=0,2,4,6 /proc/20608/task/20610/stat : 20610 (java) R 20605 20608 18930 0 -1 4202560 11587 0 0 0 529 37 0 0 20 0 15 0 64302524 10804461568 712823 18446744073709551615 4194304 4196468 140732564818320 140215660313152 140215642143118 0 4 1 16800974 0 0 0 -1 6 0 0 6 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20611] ppid=20605 vsize=10551232 CPUtime=0.46 cores=0,2,4,6 /proc/20608/task/20611/stat : 20611 (java) S 20605 20608 18930 0 -1 1077944384 992 0 0 0 34 12 0 0 20 0 15 0 64302524 10804461568 712823 18446744073709551615 4194304 4196468 140732564818320 140215586495632 140215656085205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20612] ppid=20605 vsize=10551232 CPUtime=0.46 cores=0,2,4,6 /proc/20608/task/20612/stat : 20612 (java) S 20605 20608 18930 0 -1 1077944384 1079 0 0 0 35 11 0 0 20 0 15 0 64302524 10804461568 712823 18446744073709551615 4194304 4196468 140732564818320 140215585442832 140215656085205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20613] ppid=20605 vsize=10551232 CPUtime=0.46 cores=0,2,4,6 /proc/20608/task/20613/stat : 20613 (java) S 20605 20608 18930 0 -1 1077944384 800 0 0 0 35 11 0 0 20 0 15 0 64302524 10804461568 712823 18446744073709551615 4194304 4196468 140732564818320 140215584390032 140215656085205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20614] ppid=20605 vsize=10551232 CPUtime=0.45 cores=0,2,4,6 /proc/20608/task/20614/stat : 20614 (java) S 20605 20608 18930 0 -1 1077944384 693 0 0 0 33 12 0 0 20 0 15 0 64302524 10804461568 712823 18446744073709551615 4194304 4196468 140732564818320 140215263947536 140215656085205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20615] ppid=20605 vsize=10551232 CPUtime=0.01 cores=0,2,4,6 /proc/20608/task/20615/stat : 20615 (java) S 20605 20608 18930 0 -1 1077944384 1437 0 0 0 1 0 0 0 20 0 15 0 64302526 10804461568 712823 18446744073709551615 4194304 4196468 140732564818320 140215152556400 140215656086146 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20616] ppid=20605 vsize=10551232 CPUtime=0 cores=0,2,4,6 /proc/20608/task/20616/stat : 20616 (java) S 20605 20608 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64302526 10804461568 712823 18446744073709551615 4194304 4196468 140732564818320 140215151502368 140215656085205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20617] ppid=20605 vsize=10551232 CPUtime=0 cores=0,2,4,6 /proc/20608/task/20617/stat : 20617 (java) S 20605 20608 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64302526 10804461568 712823 18446744073709551615 4194304 4196468 140732564818320 140215150449520 140215656085205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20618] ppid=20605 vsize=10551232 CPUtime=0 cores=0,2,4,6 /proc/20608/task/20618/stat : 20618 (java) S 20605 20608 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64302529 10804461568 712823 18446744073709551615 4194304 4196468 140732564818320 140215149397840 140215656093595 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20619] ppid=20605 vsize=10551232 CPUtime=0.85 cores=0,2,4,6 /proc/20608/task/20619/stat : 20619 (java) S 20605 20608 18930 0 -1 1077944384 3834 0 0 0 85 0 0 0 20 0 15 0 64302529 10804461568 712823 18446744073709551615 4194304 4196468 140732564818320 140215148346224 140215656086146 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20620] ppid=20605 vsize=10551232 CPUtime=0.83 cores=0,2,4,6 /proc/20608/task/20620/stat : 20620 (java) S 20605 20608 18930 0 -1 1077944384 4553 0 0 0 83 0 0 0 20 0 15 0 64302529 10804461568 712823 18446744073709551615 4194304 4196468 140732564818320 140215147293424 140215656086146 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20621] ppid=20605 vsize=10551232 CPUtime=0.33 cores=0,2,4,6 /proc/20608/task/20621/stat : 20621 (java) S 20605 20608 18930 0 -1 1077944384 1896 0 0 0 32 1 0 0 20 0 15 0 64302529 10804461568 712823 18446744073709551615 4194304 4196468 140732564818320 140215146240624 140215656086146 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20622] ppid=20605 vsize=10551232 CPUtime=0 cores=0,2,4,6 /proc/20608/task/20622/stat : 20622 (java) S 20605 20608 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64302529 10804461568 712823 18446744073709551615 4194304 4196468 140732564818320 140215145188064 140215656085205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20623] ppid=20605 vsize=10551232 CPUtime=0 cores=0,2,4,6 /proc/20608/task/20623/stat : 20623 (java) S 20605 20608 18930 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 15 0 64302536 10804461568 712823 18446744073709551615 4194304 4196468 140732564818320 140215144135344 140215656086146 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 Current children cumulated CPU time (s) 9.6 Current children cumulated vsize (KiB) 10551232 [startup+12.7007 s] /proc/loadavg: 3.72 2.94 2.67 3/213 20623 /proc/meminfo: memFree=25978056/32770624 swapFree=0/251460 [pid=20608] ppid=20605 vsize=10551232 CPUtime=16.63 cores=0,2,4,6 /proc/20608/stat : 20608 (java) S 20605 20608 18930 0 -1 1077944320 31813 0 0 0 1569 94 0 0 20 0 15 0 64302517 10804461568 730839 18446744073709551615 4194304 4196468 140732564818320 140732564800864 140215656074999 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 /proc/20608/statm: 2637808 730839 3101 1 0 2627269 0 [pid=20608/tid=20610] ppid=20605 vsize=10551232 CPUtime=11.84 cores=0,2,4,6 /proc/20608/task/20610/stat : 20610 (java) R 20605 20608 18930 0 -1 4202560 14187 0 0 0 1147 37 0 0 20 0 15 0 64302524 10804461568 730839 18446744073709551615 4194304 4196468 140732564818320 140215660313168 140215642143124 0 4 1 16800974 0 0 0 -1 6 0 0 6 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20611] ppid=20605 vsize=10551232 CPUtime=0.66 cores=0,2,4,6 /proc/20608/task/20611/stat : 20611 (java) S 20605 20608 18930 0 -1 1077944384 1325 0 0 0 53 13 0 0 20 0 15 0 64302524 10804461568 730839 18446744073709551615 4194304 4196468 140732564818320 140215586495632 140215656085205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20612] ppid=20605 vsize=10551232 CPUtime=0.67 cores=0,2,4,6 /proc/20608/task/20612/stat : 20612 (java) S 20605 20608 18930 0 -1 1077944384 1131 0 0 0 54 13 0 0 20 0 15 0 64302524 10804461568 730839 18446744073709551615 4194304 4196468 140732564818320 140215585442832 140215656085205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20613] ppid=20605 vsize=10551232 CPUtime=0.67 cores=0,2,4,6 /proc/20608/task/20613/stat : 20613 (java) S 20605 20608 18930 0 -1 1077944384 1004 0 0 0 54 13 0 0 20 0 15 0 64302524 10804461568 730839 18446744073709551615 4194304 4196468 140732564818320 140215584390032 140215656085205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20614] ppid=20605 vsize=10551232 CPUtime=0.66 cores=0,2,4,6 /proc/20608/task/20614/stat : 20614 (java) S 20605 20608 18930 0 -1 1077944384 933 0 0 0 53 13 0 0 20 0 15 0 64302524 10804461568 730839 18446744073709551615 4194304 4196468 140732564818320 140215263947536 140215656085205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20615] ppid=20605 vsize=10551232 CPUtime=0.02 cores=0,2,4,6 /proc/20608/task/20615/stat : 20615 (java) S 20605 20608 18930 0 -1 1077944384 1453 0 0 0 2 0 0 0 20 0 15 0 64302526 10804461568 730839 18446744073709551615 4194304 4196468 140732564818320 140215152556400 140215656086146 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20616] ppid=20605 vsize=10551232 CPUtime=0 cores=0,2,4,6 /proc/20608/task/20616/stat : 20616 (java) S 20605 20608 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64302526 10804461568 730839 18446744073709551615 4194304 4196468 140732564818320 140215151502368 140215656085205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20617] ppid=20605 vsize=10551232 CPUtime=0 cores=0,2,4,6 /proc/20608/task/20617/stat : 20617 (java) S 20605 20608 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64302526 10804461568 730839 18446744073709551615 4194304 4196468 140732564818320 140215150449520 140215656085205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20618] ppid=20605 vsize=10551232 CPUtime=0 cores=0,2,4,6 /proc/20608/task/20618/stat : 20618 (java) S 20605 20608 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64302529 10804461568 730839 18446744073709551615 4194304 4196468 140732564818320 140215149397840 140215656093595 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 ################ # More data... # ################ /proc/20608/task/20616/stat : 20616 (java) S 20605 20608 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64302526 10804461568 895242 18446744073709551615 4194304 4196468 140732564818320 140215151502368 140215656085205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20617] ppid=20605 vsize=10551232 CPUtime=0 cores=0,2,4,6 /proc/20608/task/20617/stat : 20617 (java) S 20605 20608 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64302526 10804461568 895242 18446744073709551615 4194304 4196468 140732564818320 140215150449520 140215656085205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20618] ppid=20605 vsize=10551232 CPUtime=0 cores=0,2,4,6 /proc/20608/task/20618/stat : 20618 (java) S 20605 20608 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64302529 10804461568 895242 18446744073709551615 4194304 4196468 140732564818320 140215149397840 140215656093595 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20619] ppid=20605 vsize=10551232 CPUtime=0.86 cores=0,2,4,6 /proc/20608/task/20619/stat : 20619 (java) S 20605 20608 18930 0 -1 1077944384 4041 0 0 0 86 0 0 0 20 0 15 0 64302529 10804461568 895242 18446744073709551615 4194304 4196468 140732564818320 140215148346224 140215656086146 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20620] ppid=20605 vsize=10551232 CPUtime=0.84 cores=0,2,4,6 /proc/20608/task/20620/stat : 20620 (java) S 20605 20608 18930 0 -1 1077944384 4615 0 0 0 84 0 0 0 20 0 15 0 64302529 10804461568 895242 18446744073709551615 4194304 4196468 140732564818320 140215147293424 140215656086146 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20621] ppid=20605 vsize=10551232 CPUtime=0.33 cores=0,2,4,6 /proc/20608/task/20621/stat : 20621 (java) S 20605 20608 18930 0 -1 1077944384 1906 0 0 0 32 1 0 0 20 0 15 0 64302529 10804461568 895242 18446744073709551615 4194304 4196468 140732564818320 140215146240624 140215656086146 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20622] ppid=20605 vsize=10551232 CPUtime=0 cores=0,2,4,6 /proc/20608/task/20622/stat : 20622 (java) S 20605 20608 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64302529 10804461568 895242 18446744073709551615 4194304 4196468 140732564818320 140215145188064 140215656085205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20623] ppid=20605 vsize=10551232 CPUtime=0.14 cores=0,2,4,6 /proc/20608/task/20623/stat : 20623 (java) S 20605 20608 18930 0 -1 1077944384 160 0 0 0 7 7 0 0 20 0 15 0 64302536 10804461568 895242 18446744073709551615 4194304 4196468 140732564818320 140215144135344 140215656086146 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 Current children cumulated CPU time (s) 201.19 Current children cumulated vsize (KiB) 10551232 [startup+177.601 s] /proc/loadavg: 1.99 2.44 2.52 3/197 20680 /proc/meminfo: memFree=28011952/32770624 swapFree=0/256512 [pid=20608] ppid=20605 vsize=10551232 CPUtime=202.96 cores=0,2,4,6 /proc/20608/stat : 20608 (java) S 20605 20608 18930 0 -1 1077944320 70066 0 0 0 20142 154 0 0 20 0 15 0 64302517 10804461568 896266 18446744073709551615 4194304 4196468 140732564818320 140732564800864 140215656074999 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 /proc/20608/statm: 2637808 896266 3117 1 0 2627269 0 [pid=20608/tid=20610] ppid=20605 vsize=10551232 CPUtime=168.49 cores=0,2,4,6 /proc/20608/task/20610/stat : 20610 (java) R 20605 20608 18930 0 -1 4202560 29378 0 0 0 16810 39 0 0 20 0 15 0 64302524 10804461568 896266 18446744073709551615 4194304 4196468 140732564818320 140215660313200 140215642143124 0 4 1 16800974 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20611] ppid=20605 vsize=10551232 CPUtime=7.84 cores=0,2,4,6 /proc/20608/task/20611/stat : 20611 (java) S 20605 20608 18930 0 -1 1077944384 5622 0 0 0 759 25 0 0 20 0 15 0 64302524 10804461568 896266 18446744073709551615 4194304 4196468 140732564818320 140215586495632 140215656085205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20612] ppid=20605 vsize=10551232 CPUtime=7.82 cores=0,2,4,6 /proc/20608/task/20612/stat : 20612 (java) S 20605 20608 18930 0 -1 1077944384 4545 0 0 0 757 25 0 0 20 0 15 0 64302524 10804461568 896266 18446744073709551615 4194304 4196468 140732564818320 140215585442832 140215656085205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20613] ppid=20605 vsize=10551232 CPUtime=7.84 cores=0,2,4,6 /proc/20608/task/20613/stat : 20613 (java) S 20605 20608 18930 0 -1 1077944384 6124 0 0 0 758 26 0 0 20 0 15 0 64302524 10804461568 896266 18446744073709551615 4194304 4196468 140732564818320 140215584390032 140215656085205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20614] ppid=20605 vsize=10551232 CPUtime=7.79 cores=0,2,4,6 /proc/20608/task/20614/stat : 20614 (java) S 20605 20608 18930 0 -1 1077944384 4702 0 0 0 753 26 0 0 20 0 15 0 64302524 10804461568 896266 18446744073709551615 4194304 4196468 140732564818320 140215263947536 140215656085205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20615] ppid=20605 vsize=10551232 CPUtime=0.92 cores=0,2,4,6 /proc/20608/task/20615/stat : 20615 (java) S 20605 20608 18930 0 -1 1077944384 7617 0 0 0 89 3 0 0 20 0 15 0 64302526 10804461568 896266 18446744073709551615 4194304 4196468 140732564818320 140215152556400 140215656086146 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20616] ppid=20605 vsize=10551232 CPUtime=0 cores=0,2,4,6 /proc/20608/task/20616/stat : 20616 (java) S 20605 20608 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64302526 10804461568 896266 18446744073709551615 4194304 4196468 140732564818320 140215151502368 140215656085205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20617] ppid=20605 vsize=10551232 CPUtime=0 cores=0,2,4,6 /proc/20608/task/20617/stat : 20617 (java) S 20605 20608 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64302526 10804461568 896266 18446744073709551615 4194304 4196468 140732564818320 140215150449520 140215656085205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20618] ppid=20605 vsize=10551232 CPUtime=0 cores=0,2,4,6 /proc/20608/task/20618/stat : 20618 (java) S 20605 20608 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64302529 10804461568 896266 18446744073709551615 4194304 4196468 140732564818320 140215149397840 140215656093595 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20619] ppid=20605 vsize=10551232 CPUtime=0.86 cores=0,2,4,6 /proc/20608/task/20619/stat : 20619 (java) S 20605 20608 18930 0 -1 1077944384 4041 0 0 0 86 0 0 0 20 0 15 0 64302529 10804461568 896266 18446744073709551615 4194304 4196468 140732564818320 140215148346224 140215656086146 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20620] ppid=20605 vsize=10551232 CPUtime=0.84 cores=0,2,4,6 /proc/20608/task/20620/stat : 20620 (java) S 20605 20608 18930 0 -1 1077944384 4615 0 0 0 84 0 0 0 20 0 15 0 64302529 10804461568 896266 18446744073709551615 4194304 4196468 140732564818320 140215147293424 140215656086146 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20621] ppid=20605 vsize=10551232 CPUtime=0.33 cores=0,2,4,6 /proc/20608/task/20621/stat : 20621 (java) S 20605 20608 18930 0 -1 1077944384 1906 0 0 0 32 1 0 0 20 0 15 0 64302529 10804461568 896266 18446744073709551615 4194304 4196468 140732564818320 140215146240624 140215656086146 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20622] ppid=20605 vsize=10551232 CPUtime=0 cores=0,2,4,6 /proc/20608/task/20622/stat : 20622 (java) S 20605 20608 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64302529 10804461568 896266 18446744073709551615 4194304 4196468 140732564818320 140215145188064 140215656085205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20623] ppid=20605 vsize=10551232 CPUtime=0.14 cores=0,2,4,6 /proc/20608/task/20623/stat : 20623 (java) S 20605 20608 18930 0 -1 1077944384 160 0 0 0 7 7 0 0 20 0 15 0 64302536 10804461568 896266 18446744073709551615 4194304 4196468 140732564818320 140215144135344 140215656086146 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 Current children cumulated CPU time (s) 202.96 Current children cumulated vsize (KiB) 10551232 [startup+179.201 s] /proc/loadavg: 1.99 2.44 2.52 3/197 20680 /proc/meminfo: memFree=28009904/32770624 swapFree=0/256512 [pid=20608] ppid=20605 vsize=10551232 CPUtime=204.74 cores=0,2,4,6 /proc/20608/stat : 20608 (java) S 20605 20608 18930 0 -1 1077944320 70080 0 0 0 20320 154 0 0 20 0 15 0 64302517 10804461568 897290 18446744073709551615 4194304 4196468 140732564818320 140732564800864 140215656074999 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 /proc/20608/statm: 2637808 897290 3117 1 0 2627269 0 [pid=20608/tid=20610] ppid=20605 vsize=10551232 CPUtime=170.03 cores=0,2,4,6 /proc/20608/task/20610/stat : 20610 (java) R 20605 20608 18930 0 -1 4202560 29382 0 0 0 16964 39 0 0 20 0 15 0 64302524 10804461568 897290 18446744073709551615 4194304 4196468 140732564818320 140215660313312 140215642143124 0 4 1 16800974 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20611] ppid=20605 vsize=10551232 CPUtime=7.9 cores=0,2,4,6 /proc/20608/task/20611/stat : 20611 (java) S 20605 20608 18930 0 -1 1077944384 5623 0 0 0 765 25 0 0 20 0 15 0 64302524 10804461568 897290 18446744073709551615 4194304 4196468 140732564818320 140215586495632 140215656085205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20612] ppid=20605 vsize=10551232 CPUtime=7.88 cores=0,2,4,6 /proc/20608/task/20612/stat : 20612 (java) S 20605 20608 18930 0 -1 1077944384 4549 0 0 0 763 25 0 0 20 0 15 0 64302524 10804461568 897290 18446744073709551615 4194304 4196468 140732564818320 140215585442832 140215656085205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20613] ppid=20605 vsize=10551232 CPUtime=7.9 cores=0,2,4,6 /proc/20608/task/20613/stat : 20613 (java) S 20605 20608 18930 0 -1 1077944384 6128 0 0 0 764 26 0 0 20 0 15 0 64302524 10804461568 897290 18446744073709551615 4194304 4196468 140732564818320 140215584390032 140215656085205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20614] ppid=20605 vsize=10551232 CPUtime=7.85 cores=0,2,4,6 /proc/20608/task/20614/stat : 20614 (java) S 20605 20608 18930 0 -1 1077944384 4703 0 0 0 759 26 0 0 20 0 15 0 64302524 10804461568 897290 18446744073709551615 4194304 4196468 140732564818320 140215263947536 140215656085205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20615] ppid=20605 vsize=10551232 CPUtime=0.92 cores=0,2,4,6 /proc/20608/task/20615/stat : 20615 (java) S 20605 20608 18930 0 -1 1077944384 7617 0 0 0 89 3 0 0 20 0 15 0 64302526 10804461568 897290 18446744073709551615 4194304 4196468 140732564818320 140215152556400 140215656086146 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20616] ppid=20605 vsize=10551232 CPUtime=0 cores=0,2,4,6 /proc/20608/task/20616/stat : 20616 (java) S 20605 20608 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64302526 10804461568 897290 18446744073709551615 4194304 4196468 140732564818320 140215151502368 140215656085205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20617] ppid=20605 vsize=10551232 CPUtime=0 cores=0,2,4,6 /proc/20608/task/20617/stat : 20617 (java) S 20605 20608 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64302526 10804461568 897290 18446744073709551615 4194304 4196468 140732564818320 140215150449520 140215656085205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20618] ppid=20605 vsize=10551232 CPUtime=0 cores=0,2,4,6 /proc/20608/task/20618/stat : 20618 (java) S 20605 20608 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64302529 10804461568 897290 18446744073709551615 4194304 4196468 140732564818320 140215149397840 140215656093595 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20619] ppid=20605 vsize=10551232 CPUtime=0.86 cores=0,2,4,6 /proc/20608/task/20619/stat : 20619 (java) S 20605 20608 18930 0 -1 1077944384 4041 0 0 0 86 0 0 0 20 0 15 0 64302529 10804461568 897290 18446744073709551615 4194304 4196468 140732564818320 140215148346224 140215656086146 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20620] ppid=20605 vsize=10551232 CPUtime=0.84 cores=0,2,4,6 /proc/20608/task/20620/stat : 20620 (java) S 20605 20608 18930 0 -1 1077944384 4615 0 0 0 84 0 0 0 20 0 15 0 64302529 10804461568 897290 18446744073709551615 4194304 4196468 140732564818320 140215147293424 140215656086146 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20621] ppid=20605 vsize=10551232 CPUtime=0.33 cores=0,2,4,6 /proc/20608/task/20621/stat : 20621 (java) S 20605 20608 18930 0 -1 1077944384 1906 0 0 0 32 1 0 0 20 0 15 0 64302529 10804461568 897290 18446744073709551615 4194304 4196468 140732564818320 140215146240624 140215656086146 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20622] ppid=20605 vsize=10551232 CPUtime=0 cores=0,2,4,6 /proc/20608/task/20622/stat : 20622 (java) S 20605 20608 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64302529 10804461568 897290 18446744073709551615 4194304 4196468 140732564818320 140215145188064 140215656085205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20623] ppid=20605 vsize=10551232 CPUtime=0.15 cores=0,2,4,6 /proc/20608/task/20623/stat : 20623 (java) S 20605 20608 18930 0 -1 1077944384 160 0 0 0 7 8 0 0 20 0 15 0 64302536 10804461568 897290 18446744073709551615 4194304 4196468 140732564818320 140215144135344 140215656086146 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 Current children cumulated CPU time (s) 204.74 Current children cumulated vsize (KiB) 10551232 [startup+180.001 s] /proc/loadavg: 1.99 2.43 2.52 3/197 20680 /proc/meminfo: memFree=28007980/32770624 swapFree=0/256512 [pid=20608] ppid=20605 vsize=10551232 CPUtime=205.59 cores=0,2,4,6 /proc/20608/stat : 20608 (java) S 20605 20608 18930 0 -1 1077944320 70085 0 0 0 20404 155 0 0 20 0 15 0 64302517 10804461568 897802 18446744073709551615 4194304 4196468 140732564818320 140732564800864 140215656074999 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 /proc/20608/statm: 2637808 897802 3117 1 0 2627269 0 [pid=20608/tid=20610] ppid=20605 vsize=10551232 CPUtime=170.81 cores=0,2,4,6 /proc/20608/task/20610/stat : 20610 (java) R 20605 20608 18930 0 -1 4202560 29383 0 0 0 17042 39 0 0 20 0 15 0 64302524 10804461568 897802 18446744073709551615 4194304 4196468 140732564818320 140215660313312 140215642143124 0 4 1 16800974 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20611] ppid=20605 vsize=10551232 CPUtime=7.91 cores=0,2,4,6 /proc/20608/task/20611/stat : 20611 (java) S 20605 20608 18930 0 -1 1077944384 5624 0 0 0 766 25 0 0 20 0 15 0 64302524 10804461568 897802 18446744073709551615 4194304 4196468 140732564818320 140215586495632 140215656085205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20612] ppid=20605 vsize=10551232 CPUtime=7.9 cores=0,2,4,6 /proc/20608/task/20612/stat : 20612 (java) S 20605 20608 18930 0 -1 1077944384 4551 0 0 0 765 25 0 0 20 0 15 0 64302524 10804461568 897802 18446744073709551615 4194304 4196468 140732564818320 140215585442832 140215656085205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20613] ppid=20605 vsize=10551232 CPUtime=7.91 cores=0,2,4,6 /proc/20608/task/20613/stat : 20613 (java) S 20605 20608 18930 0 -1 1077944384 6128 0 0 0 765 26 0 0 20 0 15 0 64302524 10804461568 897802 18446744073709551615 4194304 4196468 140732564818320 140215584390032 140215656085205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20614] ppid=20605 vsize=10551232 CPUtime=7.86 cores=0,2,4,6 /proc/20608/task/20614/stat : 20614 (java) S 20605 20608 18930 0 -1 1077944384 4704 0 0 0 760 26 0 0 20 0 15 0 64302524 10804461568 897802 18446744073709551615 4194304 4196468 140732564818320 140215263947536 140215656085205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20615] ppid=20605 vsize=10551232 CPUtime=0.92 cores=0,2,4,6 /proc/20608/task/20615/stat : 20615 (java) S 20605 20608 18930 0 -1 1077944384 7617 0 0 0 89 3 0 0 20 0 15 0 64302526 10804461568 897802 18446744073709551615 4194304 4196468 140732564818320 140215152556400 140215656086146 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20616] ppid=20605 vsize=10551232 CPUtime=0 cores=0,2,4,6 /proc/20608/task/20616/stat : 20616 (java) S 20605 20608 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64302526 10804461568 897802 18446744073709551615 4194304 4196468 140732564818320 140215151502368 140215656085205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20617] ppid=20605 vsize=10551232 CPUtime=0 cores=0,2,4,6 /proc/20608/task/20617/stat : 20617 (java) S 20605 20608 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64302526 10804461568 897802 18446744073709551615 4194304 4196468 140732564818320 140215150449520 140215656085205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20618] ppid=20605 vsize=10551232 CPUtime=0 cores=0,2,4,6 /proc/20608/task/20618/stat : 20618 (java) S 20605 20608 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64302529 10804461568 897802 18446744073709551615 4194304 4196468 140732564818320 140215149397840 140215656093595 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20619] ppid=20605 vsize=10551232 CPUtime=0.86 cores=0,2,4,6 /proc/20608/task/20619/stat : 20619 (java) S 20605 20608 18930 0 -1 1077944384 4041 0 0 0 86 0 0 0 20 0 15 0 64302529 10804461568 897802 18446744073709551615 4194304 4196468 140732564818320 140215148346224 140215656086146 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20620] ppid=20605 vsize=10551232 CPUtime=0.84 cores=0,2,4,6 /proc/20608/task/20620/stat : 20620 (java) S 20605 20608 18930 0 -1 1077944384 4615 0 0 0 84 0 0 0 20 0 15 0 64302529 10804461568 897802 18446744073709551615 4194304 4196468 140732564818320 140215147293424 140215656086146 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20621] ppid=20605 vsize=10551232 CPUtime=0.33 cores=0,2,4,6 /proc/20608/task/20621/stat : 20621 (java) S 20605 20608 18930 0 -1 1077944384 1906 0 0 0 32 1 0 0 20 0 15 0 64302529 10804461568 897802 18446744073709551615 4194304 4196468 140732564818320 140215146240624 140215656086146 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20622] ppid=20605 vsize=10551232 CPUtime=0 cores=0,2,4,6 /proc/20608/task/20622/stat : 20622 (java) S 20605 20608 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64302529 10804461568 897802 18446744073709551615 4194304 4196468 140732564818320 140215145188064 140215656085205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20623] ppid=20605 vsize=10551232 CPUtime=0.15 cores=0,2,4,6 /proc/20608/task/20623/stat : 20623 (java) S 20605 20608 18930 0 -1 1077944384 160 0 0 0 7 8 0 0 20 0 15 0 64302536 10804461568 897802 18446744073709551615 4194304 4196468 140732564818320 140215144135344 140215656086146 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 Current children cumulated CPU time (s) 205.59 Current children cumulated vsize (KiB) 10551232 [startup+180.401 s] /proc/loadavg: 1.99 2.43 2.52 2/199 20683 /proc/meminfo: memFree=28003896/32770624 swapFree=0/256512 [pid=20608] ppid=20605 vsize=10684360 CPUtime=206.06 cores=0,2,4,6 /proc/20608/stat : 20608 (java) S 20605 20608 18930 0 -1 1077944320 75153 0 0 0 20450 156 0 0 20 0 16 0 64302517 10940784640 898435 18446744073709551615 4194304 4196468 140732564818320 140732564800864 140215656074999 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 /proc/20608/statm: 2671090 898435 3120 1 0 2660551 0 [pid=20608/tid=20610] ppid=20605 vsize=10684360 CPUtime=171.05 cores=0,2,4,6 /proc/20608/task/20610/stat : 20610 (java) S 20605 20608 18930 0 -1 1077944384 31000 0 0 0 17065 40 0 0 20 0 16 0 64302524 10940784640 898435 18446744073709551615 4194304 4196468 140732564818320 140215660315680 140215656085205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20611] ppid=20605 vsize=10684360 CPUtime=7.93 cores=0,2,4,6 /proc/20608/task/20611/stat : 20611 (java) S 20605 20608 18930 0 -1 1077944384 5624 0 0 0 768 25 0 0 20 0 16 0 64302524 10940784640 898435 18446744073709551615 4194304 4196468 140732564818320 140215586495632 140215656085205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20612] ppid=20605 vsize=10684360 CPUtime=7.91 cores=0,2,4,6 /proc/20608/task/20612/stat : 20612 (java) S 20605 20608 18930 0 -1 1077944384 4551 0 0 0 766 25 0 0 20 0 16 0 64302524 10940784640 898435 18446744073709551615 4194304 4196468 140732564818320 140215585442832 140215656085205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20613] ppid=20605 vsize=10684360 CPUtime=7.93 cores=0,2,4,6 /proc/20608/task/20613/stat : 20613 (java) S 20605 20608 18930 0 -1 1077944384 6128 0 0 0 767 26 0 0 20 0 16 0 64302524 10940784640 898435 18446744073709551615 4194304 4196468 140732564818320 140215584390032 140215656085205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20614] ppid=20605 vsize=10684360 CPUtime=7.88 cores=0,2,4,6 /proc/20608/task/20614/stat : 20614 (java) S 20605 20608 18930 0 -1 1077944384 4705 0 0 0 762 26 0 0 20 0 16 0 64302524 10940784640 898435 18446744073709551615 4194304 4196468 140732564818320 140215263947536 140215656085205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20615] ppid=20605 vsize=10684360 CPUtime=0.92 cores=0,2,4,6 /proc/20608/task/20615/stat : 20615 (java) S 20605 20608 18930 0 -1 1077944384 7617 0 0 0 89 3 0 0 20 0 16 0 64302526 10940784640 898435 18446744073709551615 4194304 4196468 140732564818320 140215152556400 140215656086146 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20616] ppid=20605 vsize=10684360 CPUtime=0 cores=0,2,4,6 /proc/20608/task/20616/stat : 20616 (java) S 20605 20608 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 64302526 10940784640 898435 18446744073709551615 4194304 4196468 140732564818320 140215151502368 140215656085205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20617] ppid=20605 vsize=10684360 CPUtime=0 cores=0,2,4,6 /proc/20608/task/20617/stat : 20617 (java) S 20605 20608 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 64302526 10940784640 898435 18446744073709551615 4194304 4196468 140732564818320 140215150449520 140215656085205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20618] ppid=20605 vsize=10684360 CPUtime=0 cores=0,2,4,6 /proc/20608/task/20618/stat : 20618 (java) S 20605 20608 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 64302529 10940784640 898435 18446744073709551615 4194304 4196468 140732564818320 140215149397840 140215656093595 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20619] ppid=20605 vsize=10684360 CPUtime=1 cores=0,2,4,6 /proc/20608/task/20619/stat : 20619 (java) S 20605 20608 18930 0 -1 1077944384 5864 0 0 0 99 1 0 0 20 0 16 0 64302529 10940784640 898435 18446744073709551615 4194304 4196468 140732564818320 140215148346224 140215656086146 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20620] ppid=20605 vsize=10684360 CPUtime=0.86 cores=0,2,4,6 /proc/20608/task/20620/stat : 20620 (java) S 20605 20608 18930 0 -1 1077944384 4940 0 0 0 85 1 0 0 20 0 16 0 64302529 10940784640 898435 18446744073709551615 4194304 4196468 140732564818320 140215147293424 140215656086146 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20621] ppid=20605 vsize=10684360 CPUtime=0.37 cores=0,2,4,6 /proc/20608/task/20621/stat : 20621 (java) S 20605 20608 18930 0 -1 1077944384 3139 0 0 0 36 1 0 0 20 0 16 0 64302529 10940784640 898435 18446744073709551615 4194304 4196468 140732564818320 140215146240624 140215656086146 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20622] ppid=20605 vsize=10684360 CPUtime=0 cores=0,2,4,6 /proc/20608/task/20622/stat : 20622 (java) S 20605 20608 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 64302529 10940784640 898435 18446744073709551615 4194304 4196468 140732564818320 140215145188064 140215656085205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20623] ppid=20605 vsize=10684360 CPUtime=0.15 cores=0,2,4,6 /proc/20608/task/20623/stat : 20623 (java) S 20605 20608 18930 0 -1 1077944384 160 0 0 0 7 8 0 0 20 0 16 0 64302536 10940784640 898435 18446744073709551615 4194304 4196468 140732564818320 140215144135344 140215656086146 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 [pid=20608/tid=20681] ppid=20605 vsize=10684360 CPUtime=0 cores=0,2,4,6 /proc/20608/task/20681/stat : 20681 (java) S 20605 20608 18930 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 16 0 64320543 10940784640 898435 18446744073709551615 4194304 4196468 140732564818320 140215143081104 140215656086146 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33988608 140732564824497 140732564824650 140732564824650 140732564828111 0 Current children cumulated CPU time (s) 206.06 Current children cumulated vsize (KiB) 10684360 Child status: 1 Real time (s): 180.476 CPU time (s): 206.097 CPU user time (s): 204.511 CPU system time (s): 1.58573 CPU usage (%): 114.196 Max. virtual memory (cumulated for all children) (KiB): 10684360 getrusage(RUSAGE_CHILDREN,...) data: user time used= 204.511 system time used= 1.58573 maximum resident set size= 3593840 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 75215 page faults= 0 swaps= 0 block input operations= 0 block output operations= 8 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 11639 involuntary context switches= 1115 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.812166 second user time and 1.34746 second system time The end
Begin job on node132 at 2017-08-02 05:47:12 IDJOB=4257968 IDBENCH=124204 IDSOLVER=2643 FILE ID=node132/4257968-1501646490 RUNJOBID= node132-1501638806-11703 PBS_JOBID= Free space on /tmp= 61876 MiB SOLVER NAME= sat4j-CSP 2017-07-05 BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t16-7.xml COMMAND LINE= java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4257968-1501646490/watcher-4257968-1501646490 -o /tmp/evaluation-result-4257968-1501646490/solver-4257968-1501646490 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501638806-11703 --watchdog 300 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4257968-1501646490.xml TIME LIMIT= 264 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d6761b054431b884cfc6d948dd81b50d RANDOM SEED=1260874347 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.74 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.74 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.74 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.74 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: 30648584 kB MemAvailable: 30836100 kB Buffers: 144300 kB Cached: 339436 kB SwapCached: 0 kB Active: 1433676 kB Inactive: 275884 kB Active(anon): 1226552 kB Inactive(anon): 24444 kB Active(file): 207124 kB Inactive(file): 251440 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 3500 kB Writeback: 0 kB AnonPages: 1174288 kB Mapped: 50576 kB Shmem: 25276 kB Slab: 115848 kB SReclaimable: 89572 kB SUnreclaim: 26276 kB KernelStack: 3536 kB PageTables: 7192 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 3102688 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1083392 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61672 MiB End job on node132 at 2017-08-02 05:50:13