| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| sat4j-CSP 2017-07-05 | ? | 1686.3 | 458.612 |
| Name | Cutstock/Cutstock-zinc-s1/ Cutstock-t04-6.xml |
| MD5SUM | 4f6b0364d1c2702efbd3acc25cc5ef4e |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 199 |
| Best CPU time to get the best result obtained on this benchmark | 2400.06 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 4704 |
| Number of constraints | 246 |
| Number of domains | 20 |
| Minimum domain size | 2 |
| Maximum domain size | 160 |
| Distribution of domain sizes | [{"size":2,"count":224},{"size":8,"count":224},{"size":12,"count":224},{"size":36,"count":448},{"size":42,"count":224},{"size":75,"count":224},{"size":79,"count":224},{"size":93,"count":224},{"size":110,"count":224},{"size":117,"count":224},{"size":121,"count":224},{"size":123,"count":224},{"size":126,"count":224},{"size":139,"count":224},{"size":141,"count":224},{"size":142,"count":224},{"size":149,"count":224},{"size":153,"count":224},{"size":158,"count":224},{"size":160,"count":224}] |
| Minimum variable degree | 3 |
| Maximum variable degree | 3 |
| Distribution of variable degrees | [{"degree":3,"count":4704}] |
| Minimum constraint arity | 21 |
| Maximum constraint arity | 4480 |
| Distribution of constraint arities | [{"arity":21,"count":224},{"arity":224,"count":21},{"arity":4480,"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":244}] |
| Optimization problem | YES |
| Type of objective | min SUM |
1603.35/436.36 Aug 13, 2017 1:14:26 PM org.sat4j.reader.XMLCSP3Reader parseInstance 1603.35/436.36 INFO: Runtime exception 1603.35/436.36 java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeExpression(TseitinBasedIntensionCtrEncoder.java:77) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encode(TseitinBasedIntensionCtrEncoder.java:58) 1603.35/436.36 at org.sat4j.csp.constraints3.CountingCtrBuilder.buildCtrSum(CountingCtrBuilder.java:88) 1603.35/436.36 at org.sat4j.csp.constraints3.CountingCtrBuilder.buildCtrSum(CountingCtrBuilder.java:50) 1603.35/436.36 at org.sat4j.reader.XMLCSP3Reader.buildCtrSum(XMLCSP3Reader.java:571) 1603.35/436.36 at org.xcsp.parser.loaders.CtrLoaderInteger.sum(CtrLoaderInteger.java:477) 1603.35/436.36 at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:151) 1603.35/436.36 at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:457) 1603.35/436.36 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:373) 1603.35/436.36 at org.xcsp.parser.XCallbacks.loadBlock(XCallbacks.java:392) 1603.35/436.36 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:366) 1603.35/436.36 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:353) 1603.35/436.36 at org.sat4j.reader.XMLCSP3Reader.loadInstance(XMLCSP3Reader.java:328) 1603.35/436.36 at org.sat4j.reader.XMLCSP3Reader.parseInstance(XMLCSP3Reader.java:293) 1603.35/436.36 at org.sat4j.reader.Reader.parseInstance(Reader.java:73) 1603.35/436.36 at org.sat4j.AbstractLauncher.readProblem(AbstractLauncher.java:201) 1603.35/436.36 at org.sat4j.csp.CSPLauncher.readProblem(CSPLauncher.java:95) 1603.35/436.36 at org.sat4j.AbstractLauncher.run(AbstractLauncher.java:255) 1603.35/436.36 at org.sat4j.csp.CSPLauncher.main(CSPLauncher.java:119) 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) 1603.35/436.36 at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 19 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 24 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) 1603.35/436.36 at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 25 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 30 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) 1603.35/436.36 at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 31 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 36 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) 1603.35/436.36 at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 37 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 42 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) 1603.35/436.36 at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 43 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 48 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) 1603.35/436.36 at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 49 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 54 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) 1603.35/436.36 at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 55 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 60 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) 1603.35/436.36 at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 61 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 66 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) 1603.35/436.36 at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 67 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 72 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) 1603.35/436.36 at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 73 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 78 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) 1603.35/436.36 at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 79 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 84 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) 1603.35/436.36 at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 85 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 90 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) 1603.35/436.36 at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 91 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 96 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) 1603.35/436.36 at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 97 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 102 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) 1603.35/436.36 at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 103 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 108 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) 1603.35/436.36 at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 109 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 114 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 115 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 119 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 120 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 124 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 125 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 129 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 130 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 134 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 135 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 139 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 140 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 144 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 145 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 149 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 150 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 154 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 155 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 159 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 160 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 164 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 165 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 169 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 170 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 174 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 175 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 179 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 180 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 184 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 185 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 189 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 190 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 194 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 195 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 199 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 200 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 204 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 205 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 209 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 210 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 214 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 215 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 219 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 220 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 224 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 225 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 229 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 230 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 234 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 235 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 239 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 240 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 244 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 245 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 249 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 250 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 254 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 255 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 259 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 260 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 264 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 265 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 269 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 270 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 274 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 275 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 279 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 280 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 284 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 285 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 289 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 290 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 294 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 295 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 299 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 300 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 304 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 305 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 309 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 310 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 314 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 315 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 319 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 320 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 324 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 325 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 329 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 330 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 334 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 335 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 339 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 340 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 344 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 345 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 349 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 350 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 354 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 355 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 359 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 360 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 364 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 365 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 369 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 370 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 374 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 375 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 379 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 380 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 384 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 385 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 389 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 390 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 394 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 395 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 399 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 400 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 404 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 405 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 409 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 410 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 414 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 415 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 419 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 420 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 424 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 425 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 429 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 430 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 434 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 435 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 439 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 440 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 444 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 445 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 449 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 450 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 454 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 455 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 459 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 460 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 464 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 465 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 469 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 470 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 474 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 475 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 479 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 480 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 ... 484 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 ... 485 more 1603.35/436.36 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:127) 1603.35/436.36 ... 489 more 1603.35/436.36 Caused by: java.lang.reflect.InvocationTargetException 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor3.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:125) 1603.35/436.36 ... 489 more 1603.35/436.36 Caused by: java.lang.OutOfMemoryError: GC overhead limit exceeded 1603.35/436.36 at java.lang.Integer.valueOf(Integer.java:832) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.buildImplVar(TseitinBasedIntensionCtrEncoder.java:520) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorAdd(TseitinBasedIntensionCtrEncoder.java:158) 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor3.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:125) 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1603.35/436.36 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1603.35/436.36 at java.lang.reflect.Method.invoke(Method.java:498) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1603.35/436.36 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1603.35/436.36 1646.32/447.86 Exception in thread "Thread-1" java.lang.OutOfMemoryError: GC overhead limit exceeded 1646.32/447.86 at java.util.logging.LogManager.reset(LogManager.java:1321) 1646.32/447.86 at java.util.logging.LogManager$Cleaner.run(LogManager.java:239) 1686.18/458.51 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 1686.18/458.51 c This is free software under the dual EPL/GNU LGPL licenses. 1686.18/458.51 c See www.sat4j.org for details. 1686.18/458.51 c That software uses the Rhino library from the Mozilla project. 1686.18/458.51 c version CUSTOM.v20170705 1686.18/458.51 c java.runtime.name Java(TM) SE Runtime Environment 1686.18/458.51 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 1686.18/458.51 c java.vm.version 25.131-b11 1686.18/458.51 c java.vm.vendor Oracle Corporation 1686.18/458.51 c sun.arch.data.model 64 1686.18/458.51 c java.version 1.8.0_131 1686.18/458.51 c os.name Linux 1686.18/458.51 c os.version 3.10.0-514.16.1.el7.x86_64 1686.18/458.51 c os.arch amd64 1686.18/458.51 c Free memory 499604488 1686.18/458.51 c Max memory 7247757312 1686.18/458.51 c Total memory 504889344 1686.18/458.51 c Number of processors 4 1686.18/458.51 c c --- Begin Solver configuration --- 1686.18/458.51 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e 1686.18/458.51 c Learn all clauses as in MiniSAT 1686.18/458.51 c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 1686.18/458.51 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 1686.18/458.51 c No reason simplification 1686.18/458.51 c Glucose 2.1 dynamic restart strategy 1686.18/458.51 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 1686.18/458.51 c timeout=2147483s 1686.18/458.51 c DB Simplification allowed=false 1686.18/458.51 c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1 1686.18/458.51 c --- End Solver configuration --- 1686.18/458.51 c starts : 0 1686.18/458.51 c conflicts : 0 1686.18/458.51 c decisions : 0 1686.18/458.51 c propagations : 0 1686.18/458.51 c inspects : 0 1686.18/458.51 c shortcuts : 0 1686.18/458.51 c learnt literals : 0 1686.18/458.51 c learnt binary clauses : 0 1686.18/458.51 c learnt ternary clauses : 0 1686.18/458.51 c learnt constraints : 0 1686.18/458.51 c ignored constraints : 0 1686.18/458.51 c root simplifications : 0 1686.18/458.51 c removed literals (reason simplification) : 0 1686.18/458.51 c reason swapping (by a shorter reason) : 0 1686.18/458.51 c Calls to reduceDB : 0 1686.18/458.51 c Number of update (reduction) of LBD : 0 1686.18/458.51 c Imported unit clauses : 0 1686.18/458.51 c number of reductions to clauses (during analyze) : 0 1686.18/458.51 c number of learned constraints concerned by reduction : 0 1686.18/458.51 c number of learning phase by resolution : 0 1686.18/458.51 c number of learning phase by cutting planes : 0 1686.18/458.51 c number of rounding to 1 operations : 0 1686.18/458.51 c number of easy rounding to 1 operations (no literal elimination needed) : 0 1686.18/458.51 c number of reductions of the coefficients by power 2 : 0 1686.18/458.51 c number of right shift for reduction by power 2 : 0 1686.18/458.51 c number of reductions of the coefficients by GCD over coefficients : 0 1686.18/458.51 c speed (assignments/second) : 0.0 1686.18/458.51 c non guided choices 0 1686.18/458.51 c learnt constraints type 1686.18/458.51 s UNKNOWN
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (12083 MiB free)
memory of node 1: 16384 MiB (15469 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4262877-1502623303/watcher-4262877-1502623303 -o /tmp/evaluation-result-4262877-1502623303/solver-4262877-1502623303 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502619490-21335 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4262877-1502623303.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=21893, runsolver pid=21890
Current StackSize limit: 8192 KiB
[startup+0.100152 s]*
/proc/loadavg: 4.50 3.24 2.61 3/208 21902
/proc/meminfo: memFree=28202768/32770624 swapFree=67108860/67108860
[pid=21893] ppid=21890 vsize=10484492 memory=22340 CPUtime=0.05 cores=1,3,5,7
/proc/21893/stat : 21893 (java) S 21890 21893 8289 0 -1 1077944320 4544 0 0 0 5 0 0 0 20 0 14 0 110145488 10736119808 5585 18446744073709551615 4194304 4196468 140729727754208 140729727736752 139755631476471 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 4 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
/proc/21893/statm: 2621123 5585 2577 1 0 2610620 0
[pid=21893/tid=21895] ppid=21890 vsize=10484492 memory=-6439968830534014599 CPUtime=0.04 cores=1,3,5,7
/proc/21893/task/21895/stat : 21895 (java) D 21890 21893 8289 0 -1 4202560 2655 0 0 0 4 0 0 0 20 0 14 0 110145493 10736119808 5585 18446744073709551615 4194304 4196468 140729727754208 139755635713952 139755631498493 0 4 1 16800974 18446744071580418449 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21896] ppid=21890 vsize=10484492 memory=6735269665564437106 CPUtime=0 cores=1,3,5,7
/proc/21893/task/21896/stat : 21896 (java) S 21890 21893 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 110145494 10736119808 5585 18446744073709551615 4194304 4196468 140729727754208 139755561896464 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21897] ppid=21890 vsize=10484492 memory=140242192496256 CPUtime=0 cores=1,3,5,7
/proc/21893/task/21897/stat : 21897 (java) S 21890 21893 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 110145494 10736119808 5585 18446744073709551615 4194304 4196468 140729727754208 139755560843920 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21898] ppid=21890 vsize=10484492 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21893/task/21898/stat : 21898 (java) S 21890 21893 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 110145494 10736119808 5585 18446744073709551615 4194304 4196468 140729727754208 139755559790864 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21899] ppid=21890 vsize=10484492 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21893/task/21899/stat : 21899 (java) S 21890 21893 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 110145494 10736119808 5585 18446744073709551615 4194304 4196468 140729727754208 139755558738320 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21900] ppid=21890 vsize=10484492 memory=140242192496256 CPUtime=0 cores=1,3,5,7
/proc/21893/task/21900/stat : 21900 (java) S 21890 21893 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 110145495 10736119808 5585 18446744073709551615 4194304 4196468 140729727754208 139755126725360 139755631487618 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21901] ppid=21890 vsize=10484492 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21893/task/21901/stat : 21901 (java) S 21890 21893 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 110145496 10736119808 5585 18446744073709551615 4194304 4196468 140729727754208 139755125671584 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21902] ppid=21890 vsize=10484492 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21893/task/21902/stat : 21902 (java) S 21890 21893 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 110145496 10736119808 5585 18446744073709551615 4194304 4196468 140729727754208 139755124618480 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21903] ppid=21890 vsize=10484492 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21893/task/21903/stat : 21903 (java) S 21890 21893 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 110145498 10736119808 5585 18446744073709551615 4194304 4196468 140729727754208 139755123567056 139755631495067 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21904] ppid=21890 vsize=10484492 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21893/task/21904/stat : 21904 (java) S 21890 21893 8289 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 14 0 110145498 10736119808 5585 18446744073709551615 4194304 4196468 140729727754208 139755122514160 139755631487618 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21905] ppid=21890 vsize=10484492 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21893/task/21905/stat : 21905 (java) S 21890 21893 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 110145498 10736119808 5585 18446744073709551615 4194304 4196468 140729727754208 139755121461616 139755631487618 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21906] ppid=21890 vsize=10484492 memory=140242192496256 CPUtime=0 cores=1,3,5,7
/proc/21893/task/21906/stat : 21906 (java) S 21890 21893 8289 0 -1 1077944384 219 0 0 0 0 0 0 0 20 0 14 0 110145498 10736119808 5585 18446744073709551615 4194304 4196468 140729727754208 139755120408560 139755631487618 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21907] ppid=21890 vsize=10484492 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21893/task/21907/stat : 21907 (java) S 21890 21893 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 110145498 10736119808 5585 18446744073709551615 4194304 4196468 140729727754208 139755119356256 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 10484492 KiB
Current children cumulated memory: 22340 KiB
[startup+0.210389 s]*
/proc/loadavg: 4.50 3.24 2.61 3/214 21908
/proc/meminfo: memFree=28195352/32770624 swapFree=67108860/67108860
[pid=21893] ppid=21890 vsize=10551156 memory=30816 CPUtime=0.12 cores=1,3,5,7
/proc/21893/stat : 21893 (java) S 21890 21893 8289 0 -1 1077944320 7305 0 0 0 10 2 0 0 20 0 15 0 110145488 10804383744 7704 18446744073709551615 4194304 4196468 140729727754208 140729727736752 139755631476471 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 4 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
/proc/21893/statm: 2637789 7704 2812 1 0 2627261 0
[pid=21893/tid=21895] ppid=21890 vsize=10551156 memory=8318255677412212789 CPUtime=0.08 cores=1,3,5,7
/proc/21893/task/21895/stat : 21895 (java) R 21890 21893 8289 0 -1 4202560 5220 0 0 0 7 1 0 0 20 0 15 0 110145493 10804383744 7704 18446744073709551615 4194304 4196468 140729727754208 139755635664816 139755615556958 0 4 1 16800974 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21896] ppid=21890 vsize=10551156 memory=330 CPUtime=0 cores=1,3,5,7
/proc/21893/task/21896/stat : 21896 (java) S 21890 21893 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 110145494 10804383744 7704 18446744073709551615 4194304 4196468 140729727754208 139755561896464 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21897] ppid=21890 vsize=10551156 memory=140242193455860 CPUtime=0 cores=1,3,5,7
/proc/21893/task/21897/stat : 21897 (java) S 21890 21893 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 110145494 10804383744 7704 18446744073709551615 4194304 4196468 140729727754208 139755560843920 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21898] ppid=21890 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21893/task/21898/stat : 21898 (java) S 21890 21893 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 110145494 10804383744 7704 18446744073709551615 4194304 4196468 140729727754208 139755559790864 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21899] ppid=21890 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21893/task/21899/stat : 21899 (java) S 21890 21893 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 110145494 10804383744 7704 18446744073709551615 4194304 4196468 140729727754208 139755558738320 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21900] ppid=21890 vsize=10551156 memory=140242192496256 CPUtime=0 cores=1,3,5,7
/proc/21893/task/21900/stat : 21900 (java) S 21890 21893 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 110145495 10804383744 7704 18446744073709551615 4194304 4196468 140729727754208 139755126725360 139755631487618 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21901] ppid=21890 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21893/task/21901/stat : 21901 (java) S 21890 21893 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 110145496 10804383744 7704 18446744073709551615 4194304 4196468 140729727754208 139755125671584 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21902] ppid=21890 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21893/task/21902/stat : 21902 (java) S 21890 21893 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 110145496 10804383744 7704 18446744073709551615 4194304 4196468 140729727754208 139755124618480 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21903] ppid=21890 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21893/task/21903/stat : 21903 (java) S 21890 21893 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 110145498 10804383744 7704 18446744073709551615 4194304 4196468 140729727754208 139755123567056 139755631495067 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21904] ppid=21890 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21893/task/21904/stat : 21904 (java) S 21890 21893 8289 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 110145498 10804383744 7704 18446744073709551615 4194304 4196468 140729727754208 139755122514160 139755631487618 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21905] ppid=21890 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21893/task/21905/stat : 21905 (java) S 21890 21893 8289 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 15 0 110145498 10804383744 7704 18446744073709551615 4194304 4196468 140729727754208 139755121461616 139755631487618 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21906] ppid=21890 vsize=10551156 memory=140242192496256 CPUtime=0.01 cores=1,3,5,7
/proc/21893/task/21906/stat : 21906 (java) R 21890 21893 8289 0 -1 4202560 282 0 0 0 1 0 0 0 20 0 15 0 110145498 10804383744 7704 18446744073709551615 4194304 4196468 140729727754208 139755120408560 139755623713598 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21907] ppid=21890 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21893/task/21907/stat : 21907 (java) S 21890 21893 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 110145498 10804383744 7704 18446744073709551615 4194304 4196468 140729727754208 139755119356256 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21908] ppid=21890 vsize=10551156 memory=140242192496256 CPUtime=0 cores=1,3,5,7
/proc/21893/task/21908/stat : 21908 (java) S 21890 21893 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 110145506 10804383744 7704 18446744073709551615 4194304 4196468 140729727754208 139755118304304 139755631487618 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 30816 KiB
[startup+0.310446 s]*
/proc/loadavg: 4.50 3.24 2.61 5/214 21908
/proc/meminfo: memFree=28188080/32770624 swapFree=67108860/67108860
[pid=21893] ppid=21890 vsize=10551156 memory=38644 CPUtime=0.27 cores=1,3,5,7
/proc/21893/stat : 21893 (java) S 21890 21893 8289 0 -1 1077944320 8441 0 0 0 25 2 0 0 20 0 15 0 110145488 10804383744 9661 18446744073709551615 4194304 4196468 140729727754208 140729727736752 139755631476471 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 4 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
/proc/21893/statm: 2637789 9661 2910 1 0 2627261 0
[pid=21893/tid=21895] ppid=21890 vsize=10551156 memory=-8774313645642428999 CPUtime=0.19 cores=1,3,5,7
/proc/21893/task/21895/stat : 21895 (java) R 21890 21893 8289 0 -1 4202560 5637 0 0 0 17 2 0 0 20 0 15 0 110145493 10804383744 9727 18446744073709551615 4194304 4196468 140729727754208 139755635712192 139755232840400 0 4 1 16800974 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21896] ppid=21890 vsize=10551156 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/21893/task/21896/stat : 21896 (java) S 21890 21893 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 110145494 10804383744 9727 18446744073709551615 4194304 4196468 140729727754208 139755561896464 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21897] ppid=21890 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21893/task/21897/stat : 21897 (java) S 21890 21893 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 110145494 10804383744 9727 18446744073709551615 4194304 4196468 140729727754208 139755560843920 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21898] ppid=21890 vsize=10551156 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/21893/task/21898/stat : 21898 (java) S 21890 21893 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 110145494 10804383744 9727 18446744073709551615 4194304 4196468 140729727754208 139755559790864 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21899] ppid=21890 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21893/task/21899/stat : 21899 (java) S 21890 21893 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 110145494 10804383744 9727 18446744073709551615 4194304 4196468 140729727754208 139755558738320 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21900] ppid=21890 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21893/task/21900/stat : 21900 (java) S 21890 21893 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 110145495 10804383744 9727 18446744073709551615 4194304 4196468 140729727754208 139755126725360 139755631487618 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21901] ppid=21890 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21893/task/21901/stat : 21901 (java) S 21890 21893 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 110145496 10804383744 9727 18446744073709551615 4194304 4196468 140729727754208 139755125671584 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21902] ppid=21890 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21893/task/21902/stat : 21902 (java) S 21890 21893 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 110145496 10804383744 9727 18446744073709551615 4194304 4196468 140729727754208 139755124618480 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21903] ppid=21890 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21893/task/21903/stat : 21903 (java) S 21890 21893 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 110145498 10804383744 9727 18446744073709551615 4194304 4196468 140729727754208 139755123567056 139755631495067 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21904] ppid=21890 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21893/task/21904/stat : 21904 (java) R 21890 21893 8289 0 -1 4202560 371 0 0 0 0 0 0 0 20 0 15 0 110145498 10804383744 9727 18446744073709551615 4194304 4196468 140729727754208 139755122514160 139755616898128 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21905] ppid=21890 vsize=10551156 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/21893/task/21905/stat : 21905 (java) R 21890 21893 8289 0 -1 1077944384 285 0 0 0 1 0 0 0 20 0 15 0 110145498 10804383744 9727 18446744073709551615 4194304 4196468 140729727754208 139755121461616 139755631487618 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21906] ppid=21890 vsize=10551156 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/21893/task/21906/stat : 21906 (java) R 21890 21893 8289 0 -1 4202560 795 0 0 0 5 0 0 0 20 0 15 0 110145498 10804383744 9727 18446744073709551615 4194304 4196468 140729727754208 139755120403096 139755624573212 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21907] ppid=21890 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21893/task/21907/stat : 21907 (java) S 21890 21893 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 110145498 10804383744 9727 18446744073709551615 4194304 4196468 140729727754208 139755119356256 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21908] ppid=21890 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21893/task/21908/stat : 21908 (java) S 21890 21893 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 110145506 10804383744 9727 18446744073709551615 4194304 4196468 140729727754208 139755118304304 139755631487618 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 38644 KiB
[startup+0.70673 s]
/proc/loadavg: 4.30 3.22 2.60 6/214 21908
/proc/meminfo: memFree=28174260/32770624 swapFree=67108860/67108860
[pid=21893] ppid=21890 vsize=10551232 memory=331596 CPUtime=1.34 cores=1,3,5,7
/proc/21893/stat : 21893 (java) S 21890 21893 8289 0 -1 1077944320 11417 0 0 0 122 12 0 0 20 0 15 0 110145488 10804461568 82899 18446744073709551615 4194304 4196468 140729727754208 140729727736752 139755631476471 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 4 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
/proc/21893/statm: 2637808 82899 3083 1 0 2627261 0
[pid=21893/tid=21895] ppid=21890 vsize=10551232 memory=4639928530797549157 CPUtime=0.52 cores=1,3,5,7
/proc/21893/task/21895/stat : 21895 (java) S 21890 21893 8289 0 -1 1077944384 7015 0 0 0 46 6 0 0 20 0 15 0 110145493 10804461568 82899 18446744073709551615 4194304 4196468 140729727754208 139755635713584 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21896] ppid=21890 vsize=10551232 memory=4168 CPUtime=0.03 cores=1,3,5,7
/proc/21893/task/21896/stat : 21896 (java) R 21890 21893 8289 0 -1 4202560 30 0 0 0 2 1 0 0 20 0 15 0 110145494 10804461568 82899 18446744073709551615 4194304 4196468 140729727754208 139755561896464 139755616498592 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21897] ppid=21890 vsize=10551232 memory=53160 CPUtime=0.01 cores=1,3,5,7
/proc/21893/task/21897/stat : 21897 (java) R 21890 21893 8289 0 -1 4202560 24 0 0 0 1 0 0 0 20 0 15 0 110145494 10804461568 82899 18446744073709551615 4194304 4196468 140729727754208 139755560843920 139755616503890 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21898] ppid=21890 vsize=10551232 memory=1296 CPUtime=0.01 cores=1,3,5,7
/proc/21893/task/21898/stat : 21898 (java) R 21890 21893 8289 0 -1 4202560 26 0 0 0 1 0 0 0 20 0 15 0 110145494 10804461568 82899 18446744073709551615 4194304 4196468 140729727754208 139755559790864 139755616500169 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21899] ppid=21890 vsize=10551232 memory=1228 CPUtime=0.03 cores=1,3,5,7
/proc/21893/task/21899/stat : 21899 (java) R 21890 21893 8289 0 -1 4202560 38 0 0 0 2 1 0 0 20 0 15 0 110145494 10804461568 82899 18446744073709551615 4194304 4196468 140729727754208 139755558738520 139755616500169 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21900] ppid=21890 vsize=10551232 memory=14356 CPUtime=0 cores=1,3,5,7
/proc/21893/task/21900/stat : 21900 (java) S 21890 21893 8289 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 110145495 10804461568 82899 18446744073709551615 4194304 4196468 140729727754208 139755126723872 139755631486677 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21901] ppid=21890 vsize=10551232 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/21893/task/21901/stat : 21901 (java) S 21890 21893 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 110145496 10804461568 82899 18446744073709551615 4194304 4196468 140729727754208 139755125671584 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21902] ppid=21890 vsize=10551232 memory=2012 CPUtime=0 cores=1,3,5,7
/proc/21893/task/21902/stat : 21902 (java) S 21890 21893 8289 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 110145496 10804461568 82899 18446744073709551615 4194304 4196468 140729727754208 139755124618480 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21903] ppid=21890 vsize=10551232 memory=11136 CPUtime=0 cores=1,3,5,7
/proc/21893/task/21903/stat : 21903 (java) S 21890 21893 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 110145498 10804461568 82899 18446744073709551615 4194304 4196468 140729727754208 139755123567056 139755631495067 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21904] ppid=21890 vsize=10551232 memory=5788 CPUtime=0.21 cores=1,3,5,7
/proc/21893/task/21904/stat : 21904 (java) S 21890 21893 8289 0 -1 1077944384 805 0 0 0 21 0 0 0 20 0 15 0 110145498 10804461568 82899 18446744073709551615 4194304 4196468 140729727754208 139755122514160 139755631487618 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21905] ppid=21890 vsize=10551232 memory=4612 CPUtime=0.22 cores=1,3,5,7
/proc/21893/task/21905/stat : 21905 (java) S 21890 21893 8289 0 -1 1077944384 898 0 0 0 22 0 0 0 20 0 15 0 110145498 10804461568 82899 18446744073709551615 4194304 4196468 140729727754208 139755121446608 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21906] ppid=21890 vsize=10551232 memory=1436 CPUtime=0.22 cores=1,3,5,7
/proc/21893/task/21906/stat : 21906 (java) S 21890 21893 8289 0 -1 1077944384 1136 0 0 0 22 0 0 0 20 0 15 0 110145498 10804461568 82899 18446744073709551615 4194304 4196468 140729727754208 139755120408560 139755631487618 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21907] ppid=21890 vsize=10551232 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/21893/task/21907/stat : 21907 (java) S 21890 21893 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 110145498 10804461568 82899 18446744073709551615 4194304 4196468 140729727754208 139755119356256 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21908] ppid=21890 vsize=10551232 memory=15876 CPUtime=0 cores=1,3,5,7
/proc/21893/task/21908/stat : 21908 (java) S 21890 21893 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 110145506 10804461568 82899 18446744073709551615 4194304 4196468 140729727754208 139755118304304 139755631487618 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
Current children cumulated CPU time: 1.34 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 331596 KiB
[startup+1.50176 s]
/proc/loadavg: 4.30 3.22 2.60 6/214 21909
/proc/meminfo: memFree=27592528/32770624 swapFree=67108860/67108860
[pid=21893] ppid=21890 vsize=10551232 memory=1190636 CPUtime=2.58 cores=1,3,5,7
/proc/21893/stat : 21893 (java) S 21890 21893 8289 0 -1 1077944320 13740 0 0 0 217 41 0 0 20 0 15 0 110145488 10804461568 297659 18446744073709551615 4194304 4196468 140729727754208 140729727736752 139755631476471 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 4 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
/proc/21893/statm: 2637808 297659 3096 1 0 2627261 0
[pid=21893/tid=21895] ppid=21890 vsize=10551232 memory=229 CPUtime=1.17 cores=1,3,5,7
/proc/21893/task/21895/stat : 21895 (java) R 21890 21893 8289 0 -1 4202560 7625 0 0 0 100 17 0 0 20 0 15 0 110145493 10804461568 297659 18446744073709551615 4194304 4196468 140729727754208 139755635713632 139755617544596 0 4 1 16800974 0 0 0 -1 7 0 0 6 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21896] ppid=21890 vsize=10551232 memory=100 CPUtime=0.17 cores=1,3,5,7
/proc/21893/task/21896/stat : 21896 (java) S 21890 21893 8289 0 -1 1077944384 202 0 0 0 12 5 0 0 20 0 15 0 110145494 10804461568 297659 18446744073709551615 4194304 4196468 140729727754208 139755561896464 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21897] ppid=21890 vsize=10551232 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/21893/task/21897/stat : 21897 (java) S 21890 21893 8289 0 -1 1077944384 204 0 0 0 11 5 0 0 20 0 15 0 110145494 10804461568 297659 18446744073709551615 4194304 4196468 140729727754208 139755560843920 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21898] ppid=21890 vsize=10551232 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/21893/task/21898/stat : 21898 (java) S 21890 21893 8289 0 -1 1077944384 202 0 0 0 11 5 0 0 20 0 15 0 110145494 10804461568 297659 18446744073709551615 4194304 4196468 140729727754208 139755559790864 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21899] ppid=21890 vsize=10551232 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/21893/task/21899/stat : 21899 (java) S 21890 21893 8289 0 -1 1077944384 120 0 0 0 10 5 0 0 20 0 15 0 110145494 10804461568 297659 18446744073709551615 4194304 4196468 140729727754208 139755558738320 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21900] ppid=21890 vsize=10551232 memory=4168 CPUtime=0 cores=1,3,5,7
/proc/21893/task/21900/stat : 21900 (java) S 21890 21893 8289 0 -1 1077944384 981 0 0 0 0 0 0 0 20 0 15 0 110145495 10804461568 297659 18446744073709551615 4194304 4196468 140729727754208 139755126725360 139755631487618 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21901] ppid=21890 vsize=10551232 memory=53160 CPUtime=0 cores=1,3,5,7
/proc/21893/task/21901/stat : 21901 (java) S 21890 21893 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 110145496 10804461568 297659 18446744073709551615 4194304 4196468 140729727754208 139755125671584 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
################
# More data... #
################
/proc/21893/task/21895/stat : 21895 (java) S 21890 21893 8289 0 -1 1077944384 20568 0 0 0 1836 41 0 0 20 0 16 0 110145493 11010146304 2092959 18446744073709551615 4194304 4196468 140729727754208 139755635717152 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21896] ppid=21890 vsize=10752096 memory=8371728 CPUtime=408.51 cores=1,3,5,7
/proc/21893/task/21896/stat : 21896 (java) R 21890 21893 8289 0 -1 4202560 994195 0 0 0 40676 175 0 0 20 0 16 0 110145494 11010146304 2092959 18446744073709551615 4194304 4196468 140729727754208 139755561896272 139755624104679 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21897] ppid=21890 vsize=10752096 memory=1228 CPUtime=407.07 cores=1,3,5,7
/proc/21893/task/21897/stat : 21897 (java) R 21890 21893 8289 0 -1 4202560 568995 0 0 0 40536 171 0 0 20 0 16 0 110145494 11010146304 2092959 18446744073709551615 4194304 4196468 140729727754208 139755560844120 139755616465936 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21898] ppid=21890 vsize=10752096 memory=8371612 CPUtime=407.8 cores=1,3,5,7
/proc/21893/task/21898/stat : 21898 (java) R 21890 21893 8289 0 -1 4202560 663766 0 0 0 40624 156 0 0 20 0 16 0 110145494 11010146304 2092959 18446744073709551615 4194304 4196468 140729727754208 139755559790672 139755624104679 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21899] ppid=21890 vsize=10752096 memory=8371612 CPUtime=407.45 cores=1,3,5,7
/proc/21893/task/21899/stat : 21899 (java) R 21890 21893 8289 0 -1 4202560 728713 0 0 0 40578 167 0 0 20 0 16 0 110145494 11010146304 2092959 18446744073709551615 4194304 4196468 140729727754208 139755558738440 139755624104679 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21900] ppid=21890 vsize=10752096 memory=8370968 CPUtime=20.93 cores=1,3,5,7
/proc/21893/task/21900/stat : 21900 (java) S 21890 21893 8289 0 -1 1077944384 82126 0 0 0 2088 5 0 0 20 0 16 0 110145495 11010146304 2092959 18446744073709551615 4194304 4196468 140729727754208 139755126723904 139755631486677 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21901] ppid=21890 vsize=10752096 memory=4288 CPUtime=0 cores=1,3,5,7
/proc/21893/task/21901/stat : 21901 (java) S 21890 21893 8289 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 110145496 11010146304 2092959 18446744073709551615 4194304 4196468 140729727754208 139755125671648 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21902] ppid=21890 vsize=10752096 memory=2164 CPUtime=0 cores=1,3,5,7
/proc/21893/task/21902/stat : 21902 (java) S 21890 21893 8289 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 16 0 110145496 11010146304 2092959 18446744073709551615 4194304 4196468 140729727754208 139755124617600 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21903] ppid=21890 vsize=10752096 memory=928 CPUtime=0 cores=1,3,5,7
/proc/21893/task/21903/stat : 21903 (java) S 21890 21893 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 110145498 11010146304 2092959 18446744073709551615 4194304 4196468 140729727754208 139755123567056 139755631495067 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21904] ppid=21890 vsize=10752096 memory=-8774313645642428999 CPUtime=0.46 cores=1,3,5,7
/proc/21893/task/21904/stat : 21904 (java) S 21890 21893 8289 0 -1 1077944384 2281 0 0 0 46 0 0 0 20 0 16 0 110145498 11010146304 2092959 18446744073709551615 4194304 4196468 140729727754208 139755122513920 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21905] ppid=21890 vsize=10752096 memory=1716 CPUtime=0.43 cores=1,3,5,7
/proc/21893/task/21905/stat : 21905 (java) S 21890 21893 8289 0 -1 1077944384 2077 0 0 0 43 0 0 0 20 0 16 0 110145498 11010146304 2092959 18446744073709551615 4194304 4196468 140729727754208 139755121461664 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21906] ppid=21890 vsize=10752096 memory=1228 CPUtime=0.28 cores=1,3,5,7
/proc/21893/task/21906/stat : 21906 (java) S 21890 21893 8289 0 -1 1077944384 3363 0 0 0 28 0 0 0 20 0 16 0 110145498 11010146304 2092959 18446744073709551615 4194304 4196468 140729727754208 139755120404432 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21907] ppid=21890 vsize=10752096 memory=14356 CPUtime=0 cores=1,3,5,7
/proc/21893/task/21907/stat : 21907 (java) S 21890 21893 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 110145498 11010146304 2092959 18446744073709551615 4194304 4196468 140729727754208 139755119356256 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21908] ppid=21890 vsize=10752096 memory=4612 CPUtime=0.3 cores=1,3,5,7
/proc/21893/task/21908/stat : 21908 (java) S 21890 21893 8289 0 -1 1077944384 367 0 0 0 20 10 0 0 20 0 16 0 110145506 11010146304 2092959 18446744073709551615 4194304 4196468 140729727754208 139755118304304 139755631487618 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=22098] ppid=21890 vsize=10752096 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/21893/task/22098/stat : 22098 (java) S 21890 21893 8289 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 16 0 110189125 11010146304 2092959 18446744073709551615 4194304 4196468 140729727754208 139755115151280 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
Current children cumulated CPU time: 1672.11 s
Current children cumulated vsize: 10752096 KiB
Current children cumulated memory: 8371836 KiB
[startup+456.001 s]*
/proc/loadavg: 5.01 4.42 3.37 6/215 22099
/proc/meminfo: memFree=22358508/32770624 swapFree=67108860/67108860
[pid=21893] ppid=21890 vsize=10752096 memory=8371836 CPUtime=1678.34 cores=1,3,5,7
/proc/21893/stat : 21893 (java) S 21890 21893 8289 0 -1 1077944320 3068046 0 0 0 167110 724 0 0 20 0 16 0 110145488 11010146304 2092959 18446744073709551615 4194304 4196468 140729727754208 140729727736752 139755631476471 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 4 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
/proc/21893/statm: 2688024 2092959 3162 1 0 2677439 0
[pid=21893/tid=21895] ppid=21890 vsize=10752096 memory=928 CPUtime=18.77 cores=1,3,5,7
/proc/21893/task/21895/stat : 21895 (java) S 21890 21893 8289 0 -1 1077944384 20568 0 0 0 1836 41 0 0 20 0 16 0 110145493 11010146304 2092959 18446744073709551615 4194304 4196468 140729727754208 139755635717152 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21896] ppid=21890 vsize=10752096 memory=1620 CPUtime=410.06 cores=1,3,5,7
/proc/21893/task/21896/stat : 21896 (java) R 21890 21893 8289 0 -1 4202560 994195 0 0 0 40830 176 0 0 20 0 16 0 110145494 11010146304 2092959 18446744073709551615 4194304 4196468 140729727754208 139755561896272 139755624104679 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21897] ppid=21890 vsize=10752096 memory=4872558044660077418 CPUtime=408.67 cores=1,3,5,7
/proc/21893/task/21897/stat : 21897 (java) R 21890 21893 8289 0 -1 4202560 568995 0 0 0 40696 171 0 0 20 0 16 0 110145494 11010146304 2092959 18446744073709551615 4194304 4196468 140729727754208 139755560844120 139755616176323 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21898] ppid=21890 vsize=10752096 memory=2164 CPUtime=409.35 cores=1,3,5,7
/proc/21893/task/21898/stat : 21898 (java) R 21890 21893 8289 0 -1 4202560 663766 0 0 0 40778 157 0 0 20 0 16 0 110145494 11010146304 2092959 18446744073709551615 4194304 4196468 140729727754208 139755559790672 139755624104679 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21899] ppid=21890 vsize=10752096 memory=928 CPUtime=408.98 cores=1,3,5,7
/proc/21893/task/21899/stat : 21899 (java) R 21890 21893 8289 0 -1 4202560 728713 0 0 0 40730 168 0 0 20 0 16 0 110145494 11010146304 2092959 18446744073709551615 4194304 4196468 140729727754208 139755558738440 139755624104679 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21900] ppid=21890 vsize=10752096 memory=1620 CPUtime=20.93 cores=1,3,5,7
/proc/21893/task/21900/stat : 21900 (java) S 21890 21893 8289 0 -1 1077944384 82126 0 0 0 2088 5 0 0 20 0 16 0 110145495 11010146304 2092959 18446744073709551615 4194304 4196468 140729727754208 139755126723904 139755631486677 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21901] ppid=21890 vsize=10752096 memory=844 CPUtime=0 cores=1,3,5,7
/proc/21893/task/21901/stat : 21901 (java) S 21890 21893 8289 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 110145496 11010146304 2092959 18446744073709551615 4194304 4196468 140729727754208 139755125671648 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21902] ppid=21890 vsize=10752096 memory=18484 CPUtime=0 cores=1,3,5,7
/proc/21893/task/21902/stat : 21902 (java) S 21890 21893 8289 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 16 0 110145496 11010146304 2092959 18446744073709551615 4194304 4196468 140729727754208 139755124617600 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21903] ppid=21890 vsize=10752096 memory=3912 CPUtime=0 cores=1,3,5,7
/proc/21893/task/21903/stat : 21903 (java) S 21890 21893 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 110145498 11010146304 2092959 18446744073709551615 4194304 4196468 140729727754208 139755123567056 139755631495067 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21904] ppid=21890 vsize=10752096 memory=2756 CPUtime=0.46 cores=1,3,5,7
/proc/21893/task/21904/stat : 21904 (java) S 21890 21893 8289 0 -1 1077944384 2281 0 0 0 46 0 0 0 20 0 16 0 110145498 11010146304 2092959 18446744073709551615 4194304 4196468 140729727754208 139755122513920 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21905] ppid=21890 vsize=10752096 memory=3024 CPUtime=0.43 cores=1,3,5,7
/proc/21893/task/21905/stat : 21905 (java) S 21890 21893 8289 0 -1 1077944384 2077 0 0 0 43 0 0 0 20 0 16 0 110145498 11010146304 2092959 18446744073709551615 4194304 4196468 140729727754208 139755121461664 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21906] ppid=21890 vsize=10752096 memory=4068 CPUtime=0.28 cores=1,3,5,7
/proc/21893/task/21906/stat : 21906 (java) S 21890 21893 8289 0 -1 1077944384 3363 0 0 0 28 0 0 0 20 0 16 0 110145498 11010146304 2092959 18446744073709551615 4194304 4196468 140729727754208 139755120404432 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21907] ppid=21890 vsize=10752096 memory=14356 CPUtime=0 cores=1,3,5,7
/proc/21893/task/21907/stat : 21907 (java) S 21890 21893 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 110145498 11010146304 2092959 18446744073709551615 4194304 4196468 140729727754208 139755119356256 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21908] ppid=21890 vsize=10752096 memory=1008 CPUtime=0.31 cores=1,3,5,7
/proc/21893/task/21908/stat : 21908 (java) S 21890 21893 8289 0 -1 1077944384 369 0 0 0 21 10 0 0 20 0 16 0 110145506 11010146304 2092959 18446744073709551615 4194304 4196468 140729727754208 139755118304304 139755631487618 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=22098] ppid=21890 vsize=10752096 memory=2012 CPUtime=0 cores=1,3,5,7
/proc/21893/task/22098/stat : 22098 (java) S 21890 21893 8289 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 16 0 110189125 11010146304 2092959 18446744073709551615 4194304 4196468 140729727754208 139755115151280 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
Current children cumulated CPU time: 1678.34 s
Current children cumulated vsize: 10752096 KiB
Current children cumulated memory: 8371836 KiB
[startup+457.601 s]
/proc/loadavg: 5.01 4.42 3.37 6/215 22099
/proc/meminfo: memFree=22358508/32770624 swapFree=67108860/67108860
[pid=21893] ppid=21890 vsize=10752096 memory=8371836 CPUtime=1684.5 cores=1,3,5,7
/proc/21893/stat : 21893 (java) S 21890 21893 8289 0 -1 1077944320 3068046 0 0 0 167724 726 0 0 20 0 16 0 110145488 11010146304 2092959 18446744073709551615 4194304 4196468 140729727754208 140729727736752 139755631476471 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 4 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
/proc/21893/statm: 2688024 2092959 3162 1 0 2677439 0
[pid=21893/tid=21895] ppid=21890 vsize=10752096 memory=1228 CPUtime=18.77 cores=1,3,5,7
/proc/21893/task/21895/stat : 21895 (java) S 21890 21893 8289 0 -1 1077944384 20568 0 0 0 1836 41 0 0 20 0 16 0 110145493 11010146304 2092959 18446744073709551615 4194304 4196468 140729727754208 139755635717152 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21896] ppid=21890 vsize=10752096 memory=4168 CPUtime=411.59 cores=1,3,5,7
/proc/21893/task/21896/stat : 21896 (java) R 21890 21893 8289 0 -1 4202560 994195 0 0 0 40983 176 0 0 20 0 16 0 110145494 11010146304 2092959 18446744073709551615 4194304 4196468 140729727754208 139755561896272 139755624104679 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21897] ppid=21890 vsize=10752096 memory=53200 CPUtime=410.27 cores=1,3,5,7
/proc/21893/task/21897/stat : 21897 (java) R 21890 21893 8289 0 -1 4202560 568995 0 0 0 40856 171 0 0 20 0 16 0 110145494 11010146304 2092959 18446744073709551615 4194304 4196468 140729727754208 139755560844120 139755616472872 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21898] ppid=21890 vsize=10752096 memory=1200 CPUtime=410.88 cores=1,3,5,7
/proc/21893/task/21898/stat : 21898 (java) R 21890 21893 8289 0 -1 4202560 663766 0 0 0 40931 157 0 0 20 0 16 0 110145494 11010146304 2092959 18446744073709551615 4194304 4196468 140729727754208 139755559790672 139755624104679 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21899] ppid=21890 vsize=10752096 memory=15876 CPUtime=410.49 cores=1,3,5,7
/proc/21893/task/21899/stat : 21899 (java) R 21890 21893 8289 0 -1 4202560 728713 0 0 0 40880 169 0 0 20 0 16 0 110145494 11010146304 2092959 18446744073709551615 4194304 4196468 140729727754208 139755558738440 139755624104679 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21900] ppid=21890 vsize=10752096 memory=2756 CPUtime=20.93 cores=1,3,5,7
/proc/21893/task/21900/stat : 21900 (java) S 21890 21893 8289 0 -1 1077944384 82126 0 0 0 2088 5 0 0 20 0 16 0 110145495 11010146304 2092959 18446744073709551615 4194304 4196468 140729727754208 139755126723904 139755631486677 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21901] ppid=21890 vsize=10752096 memory=3024 CPUtime=0 cores=1,3,5,7
/proc/21893/task/21901/stat : 21901 (java) S 21890 21893 8289 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 110145496 11010146304 2092959 18446744073709551615 4194304 4196468 140729727754208 139755125671648 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21902] ppid=21890 vsize=10752096 memory=4068 CPUtime=0 cores=1,3,5,7
/proc/21893/task/21902/stat : 21902 (java) S 21890 21893 8289 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 16 0 110145496 11010146304 2092959 18446744073709551615 4194304 4196468 140729727754208 139755124617600 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21903] ppid=21890 vsize=10752096 memory=8371836 CPUtime=0 cores=1,3,5,7
/proc/21893/task/21903/stat : 21903 (java) S 21890 21893 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 110145498 11010146304 2092959 18446744073709551615 4194304 4196468 140729727754208 139755123567056 139755631495067 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21904] ppid=21890 vsize=10752096 memory=8371728 CPUtime=0.46 cores=1,3,5,7
/proc/21893/task/21904/stat : 21904 (java) S 21890 21893 8289 0 -1 1077944384 2281 0 0 0 46 0 0 0 20 0 16 0 110145498 11010146304 2092959 18446744073709551615 4194304 4196468 140729727754208 139755122513920 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21905] ppid=21890 vsize=10752096 memory=5788 CPUtime=0.43 cores=1,3,5,7
/proc/21893/task/21905/stat : 21905 (java) S 21890 21893 8289 0 -1 1077944384 2077 0 0 0 43 0 0 0 20 0 16 0 110145498 11010146304 2092959 18446744073709551615 4194304 4196468 140729727754208 139755121461664 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21906] ppid=21890 vsize=10752096 memory=8371836 CPUtime=0.28 cores=1,3,5,7
/proc/21893/task/21906/stat : 21906 (java) S 21890 21893 8289 0 -1 1077944384 3363 0 0 0 28 0 0 0 20 0 16 0 110145498 11010146304 2092959 18446744073709551615 4194304 4196468 140729727754208 139755120404432 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21907] ppid=21890 vsize=10752096 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/21893/task/21907/stat : 21907 (java) S 21890 21893 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 110145498 11010146304 2092959 18446744073709551615 4194304 4196468 140729727754208 139755119356256 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21908] ppid=21890 vsize=10752096 memory=1436 CPUtime=0.31 cores=1,3,5,7
/proc/21893/task/21908/stat : 21908 (java) S 21890 21893 8289 0 -1 1077944384 369 0 0 0 21 10 0 0 20 0 16 0 110145506 11010146304 2092959 18446744073709551615 4194304 4196468 140729727754208 139755118304304 139755631487618 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=22098] ppid=21890 vsize=10752096 memory=8371728 CPUtime=0 cores=1,3,5,7
/proc/21893/task/22098/stat : 22098 (java) S 21890 21893 8289 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 16 0 110189125 11010146304 2092959 18446744073709551615 4194304 4196468 140729727754208 139755115151280 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
Current children cumulated CPU time: 1684.5 s
Current children cumulated vsize: 10752096 KiB
Current children cumulated memory: 8371836 KiB
[startup+458.401 s]
/proc/loadavg: 5.01 4.42 3.37 3/215 22099
/proc/meminfo: memFree=22358520/32770624 swapFree=67108860/67108860
[pid=21893] ppid=21890 vsize=10752096 memory=8371900 CPUtime=1686.08 cores=1,3,5,7
/proc/21893/stat : 21893 (java) S 21890 21893 8289 0 -1 1077944320 3068301 0 0 0 167882 726 0 0 20 0 16 0 110145488 11010146304 2092975 18446744073709551615 4194304 4196468 140729727754208 140729727736752 139755631476471 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 4 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
/proc/21893/statm: 2688024 2092975 3162 1 0 2677439 0
[pid=21893/tid=21895] ppid=21890 vsize=10752096 memory=15876 CPUtime=18.77 cores=1,3,5,7
/proc/21893/task/21895/stat : 21895 (java) S 21890 21893 8289 0 -1 1077944384 20568 0 0 0 1836 41 0 0 20 0 16 0 110145493 11010146304 2092975 18446744073709551615 4194304 4196468 140729727754208 139755635717152 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21896] ppid=21890 vsize=10752096 memory=8371836 CPUtime=411.85 cores=1,3,5,7
/proc/21893/task/21896/stat : 21896 (java) S 21890 21893 8289 0 -1 1077944384 994195 0 0 0 41009 176 0 0 20 0 16 0 110145494 11010146304 2092975 18446744073709551615 4194304 4196468 140729727754208 139755561896464 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21897] ppid=21890 vsize=10752096 memory=2740 CPUtime=410.54 cores=1,3,5,7
/proc/21893/task/21897/stat : 21897 (java) S 21890 21893 8289 0 -1 1077944384 568995 0 0 0 40883 171 0 0 20 0 16 0 110145494 11010146304 2092975 18446744073709551615 4194304 4196468 140729727754208 139755560843920 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21898] ppid=21890 vsize=10752096 memory=-8774313645642428999 CPUtime=411.14 cores=1,3,5,7
/proc/21893/task/21898/stat : 21898 (java) S 21890 21893 8289 0 -1 1077944384 663766 0 0 0 40957 157 0 0 20 0 16 0 110145494 11010146304 2092975 18446744073709551615 4194304 4196468 140729727754208 139755559790864 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21899] ppid=21890 vsize=10752096 memory=15876 CPUtime=410.75 cores=1,3,5,7
/proc/21893/task/21899/stat : 21899 (java) S 21890 21893 8289 0 -1 1077944384 728713 0 0 0 40906 169 0 0 20 0 16 0 110145494 11010146304 2092975 18446744073709551615 4194304 4196468 140729727754208 139755558738320 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21900] ppid=21890 vsize=10752096 memory=4040 CPUtime=21.46 cores=1,3,5,7
/proc/21893/task/21900/stat : 21900 (java) R 21890 21893 8289 0 -1 4202560 82381 0 0 0 2140 6 0 0 20 0 16 0 110145495 11010146304 2092975 18446744073709551615 4194304 4196468 140729727754208 139755126723792 139755616472881 0 0 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21901] ppid=21890 vsize=10752096 memory=32732 CPUtime=0 cores=1,3,5,7
/proc/21893/task/21901/stat : 21901 (java) S 21890 21893 8289 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 110145496 11010146304 2092975 18446744073709551615 4194304 4196468 140729727754208 139755125671648 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21902] ppid=21890 vsize=10752096 memory=8371836 CPUtime=0 cores=1,3,5,7
/proc/21893/task/21902/stat : 21902 (java) S 21890 21893 8289 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 16 0 110145496 11010146304 2092975 18446744073709551615 4194304 4196468 140729727754208 139755124617600 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21903] ppid=21890 vsize=10752096 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/21893/task/21903/stat : 21903 (java) S 21890 21893 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 110145498 11010146304 2092975 18446744073709551615 4194304 4196468 140729727754208 139755123567056 139755631495067 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21904] ppid=21890 vsize=10752096 memory=4872558044660077418 CPUtime=0.46 cores=1,3,5,7
/proc/21893/task/21904/stat : 21904 (java) S 21890 21893 8289 0 -1 1077944384 2281 0 0 0 46 0 0 0 20 0 16 0 110145498 11010146304 2092975 18446744073709551615 4194304 4196468 140729727754208 139755122513920 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21905] ppid=21890 vsize=10752096 memory=4872558044660077418 CPUtime=0.43 cores=1,3,5,7
/proc/21893/task/21905/stat : 21905 (java) S 21890 21893 8289 0 -1 1077944384 2077 0 0 0 43 0 0 0 20 0 16 0 110145498 11010146304 2092975 18446744073709551615 4194304 4196468 140729727754208 139755121461664 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21906] ppid=21890 vsize=10752096 memory=-8774313645642428999 CPUtime=0.28 cores=1,3,5,7
/proc/21893/task/21906/stat : 21906 (java) S 21890 21893 8289 0 -1 1077944384 3363 0 0 0 28 0 0 0 20 0 16 0 110145498 11010146304 2092975 18446744073709551615 4194304 4196468 140729727754208 139755120404432 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21907] ppid=21890 vsize=10752096 memory=792 CPUtime=0 cores=1,3,5,7
/proc/21893/task/21907/stat : 21907 (java) S 21890 21893 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 110145498 11010146304 2092975 18446744073709551615 4194304 4196468 140729727754208 139755119356256 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=21908] ppid=21890 vsize=10752096 memory=1716 CPUtime=0.31 cores=1,3,5,7
/proc/21893/task/21908/stat : 21908 (java) S 21890 21893 8289 0 -1 1077944384 369 0 0 0 21 10 0 0 20 0 16 0 110145506 11010146304 2092975 18446744073709551615 4194304 4196468 140729727754208 139755118304304 139755631487618 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
[pid=21893/tid=22098] ppid=21890 vsize=10752096 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/21893/task/22098/stat : 22098 (java) S 21890 21893 8289 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 16 0 110189125 11010146304 2092975 18446744073709551615 4194304 4196468 140729727754208 139755115151280 139755631486677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140729727762832 140729727762985 140729727762985 140729727766479 0
Current children cumulated CPU time: 1686.08 s
Current children cumulated vsize: 10752096 KiB
Current children cumulated memory: 8371900 KiB
[startup+458.601 s]*
/proc/loadavg: 5.01 4.42 3.37 3/201 22099
/proc/meminfo: memFree=30077164/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 458.612
CPU time (s): 1686.3
CPU user time (s): 1678.95
CPU system time (s): 7.35036
CPU usage (%): 367.696
Max. virtual memory (cumulated for all children) (KiB): 10752096
Max. memory (cumulated for all children) (KiB): 8371900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1678.95
system time used= 7.35036
maximum resident set size= 8372052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3068427
page faults= 0
swaps= 0
block input operations= 0
block output operations= 624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 34273
involuntary context switches= 19734
# summary of solver processes directly reported to runsolver:
# pid: 21893
# total CPU time (s): 1686.3
# total CPU user time (s): 1678.95
# total CPU system time (s): 7.35036
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.19823 second user time and 4.33027 second system time
The end
Begin job on node133 at 2017-08-13 13:07:35 IDJOB=4262877 IDBENCH=124189 IDSOLVER=2651 FILE ID=node133/4262877-1502623303 RUNJOBID= node133-1502619490-21335 PBS_JOBID= Free space on /tmp= 62028 MiB SOLVER NAME= sat4j-CSP 2017-07-05 BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t04-6.xml COMMAND LINE= java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4262877-1502623303/watcher-4262877-1502623303 -o /tmp/evaluation-result-4262877-1502623303/solver-4262877-1502623303 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502619490-21335 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4262877-1502623303.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4f6b0364d1c2702efbd3acc25cc5ef4e RANDOM SEED=870170447 node133.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.17 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.17 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.17 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.17 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: 28214252 kB MemAvailable: 28786164 kB Buffers: 229580 kB Cached: 636964 kB SwapCached: 0 kB Active: 3934804 kB Inactive: 166616 kB Active(anon): 3175688 kB Inactive(anon): 100840 kB Active(file): 759116 kB Inactive(file): 65776 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 1600 kB Writeback: 0 kB AnonPages: 3234644 kB Mapped: 67736 kB Shmem: 41660 kB Slab: 153064 kB SReclaimable: 125708 kB SUnreclaim: 27356 kB KernelStack: 3488 kB PageTables: 11248 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 3811836 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 3127296 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 132480 kB DirectMap2M: 33413120 kB Free space on /tmp at the end= 62028 MiB End job on node133 at 2017-08-13 13:15:14