| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| sat4j-CSP 2017-07-05 | ? | 1410.47 | 390.845 |
| Name | MagicSequence/MagicSequence-count-s1/ MagicSequence-090-co.xml |
| MD5SUM | 0246068741505d17ebc4b7ca5f69497d |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 0.030019 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 90 |
| Number of constraints | 92 |
| Number of domains | 1 |
| Minimum domain size | 90 |
| Maximum domain size | 90 |
| Distribution of domain sizes | [{"size":90,"count":90}] |
| Minimum variable degree | 92 |
| Maximum variable degree | 92 |
| Distribution of variable degrees | [{"degree":92,"count":90}] |
| Minimum constraint arity | 90 |
| Maximum constraint arity | 90 |
| Distribution of constraint arities | [{"arity":90,"count":92}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"sum","count":2},{"type":"count","count":90}] |
| Optimization problem | NO |
| Type of objective |
1334.39/370.13 Aug 13, 2017 12:46:57 PM org.sat4j.reader.XMLCSP3Reader parseInstance 1334.39/370.13 INFO: Runtime exception 1334.39/370.13 java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.13 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.13 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeExpression(TseitinBasedIntensionCtrEncoder.java:77) 1334.39/370.13 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encode(TseitinBasedIntensionCtrEncoder.java:58) 1334.39/370.13 at org.sat4j.csp.constraints3.CountingCtrBuilder.buildCtrSum(CountingCtrBuilder.java:88) 1334.39/370.13 at org.sat4j.reader.XMLCSP3Reader.buildCtrSum(XMLCSP3Reader.java:578) 1334.39/370.13 at org.xcsp.parser.loaders.CtrLoaderInteger.sum(CtrLoaderInteger.java:481) 1334.39/370.13 at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:151) 1334.39/370.13 at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:457) 1334.39/370.13 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:373) 1334.39/370.13 at org.xcsp.parser.XCallbacks.loadBlock(XCallbacks.java:392) 1334.39/370.13 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:366) 1334.39/370.13 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:353) 1334.39/370.13 at org.sat4j.reader.XMLCSP3Reader.loadInstance(XMLCSP3Reader.java:328) 1334.39/370.13 at org.sat4j.reader.XMLCSP3Reader.parseInstance(XMLCSP3Reader.java:293) 1334.39/370.13 at org.sat4j.reader.Reader.parseInstance(Reader.java:73) 1334.39/370.13 at org.sat4j.AbstractLauncher.readProblem(AbstractLauncher.java:201) 1334.39/370.13 at org.sat4j.csp.CSPLauncher.readProblem(CSPLauncher.java:95) 1334.39/370.13 at org.sat4j.AbstractLauncher.run(AbstractLauncher.java:255) 1334.39/370.13 at org.sat4j.csp.CSPLauncher.main(CSPLauncher.java:119) 1334.39/370.13 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.13 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.13 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.13 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.13 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.13 ... 18 more 1334.39/370.13 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.13 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.13 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.13 ... 22 more 1334.39/370.13 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.13 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.13 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.13 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.13 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.13 ... 23 more 1334.39/370.13 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.13 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.13 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.13 ... 27 more 1334.39/370.13 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.13 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.13 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.13 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.13 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.13 ... 28 more 1334.39/370.13 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.13 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.13 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.13 ... 32 more 1334.39/370.13 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.13 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.13 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.13 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.13 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.13 ... 33 more 1334.39/370.13 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.13 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.13 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.13 ... 37 more 1334.39/370.13 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.13 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.13 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.13 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.13 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.13 ... 38 more 1334.39/370.13 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.13 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.13 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.13 ... 42 more 1334.39/370.13 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.13 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.13 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.13 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.13 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.13 ... 43 more 1334.39/370.13 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.13 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.13 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.13 ... 47 more 1334.39/370.13 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.13 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.13 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.13 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.13 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.13 ... 48 more 1334.39/370.13 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.13 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.13 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.13 ... 52 more 1334.39/370.13 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.13 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.13 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.13 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.13 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 53 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 57 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 58 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 62 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 63 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 67 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 68 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 72 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 73 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 77 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 78 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 82 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 83 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 87 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 88 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 92 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 93 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 97 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 98 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 102 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 103 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 107 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 108 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 112 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 113 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 117 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 118 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 122 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 123 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 127 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 128 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 132 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 133 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 137 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 138 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 142 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 143 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 147 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 148 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 152 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 153 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 157 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 158 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 162 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 163 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 167 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 168 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 172 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 173 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 177 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 178 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 182 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 183 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 187 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 188 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 192 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 193 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 197 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 198 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 202 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 203 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 207 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 208 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 212 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 213 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 217 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 218 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 222 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 223 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 227 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 228 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 232 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 233 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 237 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 238 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 242 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 243 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 247 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 248 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 252 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 253 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 257 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 258 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 262 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 263 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 267 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 268 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 272 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 273 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 277 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 278 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 282 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 283 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 287 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 288 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 292 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 293 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 297 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 298 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 302 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 303 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 307 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 308 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 312 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 313 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 317 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 318 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 322 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 323 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 327 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 328 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 332 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 333 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 337 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 338 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 342 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 343 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 347 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 348 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 352 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 353 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 357 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 358 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 362 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 363 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 367 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 368 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 372 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 373 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 377 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 378 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 382 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 383 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 387 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 388 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 392 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 393 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 397 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 398 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 402 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 403 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 ... 407 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 ... 408 more 1334.39/370.14 Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:127) 1334.39/370.14 ... 412 more 1334.39/370.14 Caused by: java.lang.reflect.InvocationTargetException 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor7.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:125) 1334.39/370.14 ... 412 more 1334.39/370.14 Caused by: java.lang.OutOfMemoryError: GC overhead limit exceeded 1334.39/370.14 at org.sat4j.minisat.constraints.cnf.OriginalWLClause.brandNewClause(OriginalWLClause.java:81) 1334.39/370.14 at org.sat4j.pb.constraints.UnitBinaryWLClauseConstructor.constructClause(UnitBinaryWLClauseConstructor.java:56) 1334.39/370.14 at org.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure.constructClause(AbstractPBClauseCardConstrDataStructure.java:225) 1334.39/370.14 at org.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure.createClause(AbstractPBClauseCardConstrDataStructure.java:70) 1334.39/370.14 at org.sat4j.minisat.core.Solver.addClause(Solver.java:426) 1334.39/370.14 at org.sat4j.csp.CspSatSolverDecorator.addClause(CspSatSolverDecorator.java:147) 1334.39/370.14 at org.sat4j.tools.SolverDecorator.addClause(SolverDecorator.java:236) 1334.39/370.14 at org.sat4j.csp.intension.CspToPBSolverDecorator.addClause(CspToPBSolverDecorator.java:85) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.buildImplVar(TseitinBasedIntensionCtrEncoder.java:528) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorAdd(TseitinBasedIntensionCtrEncoder.java:158) 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor7.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:125) 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91) 1334.39/370.14 at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119) 1334.39/370.14 at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source) 1334.39/370.14 at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 1334.39/370.14 at java.lang.reflect.Method.invoke(Method.java:498) 1334.39/370.14 1410.32/390.79 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 1410.32/390.79 c This is free software under the dual EPL/GNU LGPL licenses. 1410.32/390.79 c See www.sat4j.org for details. 1410.32/390.79 c That software uses the Rhino library from the Mozilla project. 1410.32/390.79 c version CUSTOM.v20170705 1410.32/390.79 c java.runtime.name Java(TM) SE Runtime Environment 1410.32/390.79 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 1410.32/390.79 c java.vm.version 25.131-b11 1410.32/390.79 c java.vm.vendor Oracle Corporation 1410.32/390.79 c sun.arch.data.model 64 1410.32/390.79 c java.version 1.8.0_131 1410.32/390.79 c os.name Linux 1410.32/390.79 c os.version 3.10.0-514.16.1.el7.x86_64 1410.32/390.79 c os.arch amd64 1410.32/390.79 c Free memory 499604488 1410.32/390.79 c Max memory 7247757312 1410.32/390.79 c Total memory 504889344 1410.32/390.79 c Number of processors 4 1410.32/390.79 c c --- Begin Solver configuration --- 1410.32/390.79 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e 1410.32/390.79 c Learn all clauses as in MiniSAT 1410.32/390.79 c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 1410.32/390.79 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 1410.32/390.79 c No reason simplification 1410.32/390.79 c Glucose 2.1 dynamic restart strategy 1410.32/390.79 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 1410.32/390.79 c timeout=2147483s 1410.32/390.79 c DB Simplification allowed=false 1410.32/390.79 c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1 1410.32/390.79 c --- End Solver configuration --- 1410.32/390.79 c starts : 0 1410.32/390.79 c conflicts : 0 1410.32/390.79 c decisions : 0 1410.32/390.79 c propagations : 0 1410.32/390.79 c inspects : 0 1410.32/390.79 c shortcuts : 0 1410.32/390.79 c learnt literals : 0 1410.32/390.79 c learnt binary clauses : 0 1410.32/390.79 c learnt ternary clauses : 0 1410.32/390.79 c learnt constraints : 0 1410.32/390.79 c ignored constraints : 0 1410.32/390.79 c root simplifications : 0 1410.32/390.79 c removed literals (reason simplification) : 0 1410.32/390.79 c reason swapping (by a shorter reason) : 0 1410.32/390.79 c Calls to reduceDB : 0 1410.32/390.79 c Number of update (reduction) of LBD : 0 1410.32/390.79 c Imported unit clauses : 0 1410.32/390.79 c number of reductions to clauses (during analyze) : 0 1410.32/390.79 c number of learned constraints concerned by reduction : 0 1410.32/390.79 c number of learning phase by resolution : 0 1410.32/390.79 c number of learning phase by cutting planes : 0 1410.32/390.79 c number of rounding to 1 operations : 0 1410.32/390.79 c number of easy rounding to 1 operations (no literal elimination needed) : 0 1410.32/390.79 c number of reductions of the coefficients by power 2 : 0 1410.32/390.79 c number of right shift for reduction by power 2 : 0 1410.32/390.79 c number of reductions of the coefficients by GCD over coefficients : 0 1410.32/390.79 c speed (assignments/second) : 0.0 1410.32/390.79 c non guided choices 0 1410.32/390.79 c learnt constraints type 1410.32/390.79 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 (5282 MiB free)
memory of node 1: 16384 MiB (13921 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263391-1502621705/watcher-4263391-1502621705 -o /tmp/evaluation-result-4263391-1502621705/solver-4263391-1502621705 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1502620619-3502 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263391-1502621705.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=3711, runsolver pid=3708
Current StackSize limit: 8192 KiB
[startup+0.108298 s]*
/proc/loadavg: 5.95 3.74 2.64 6/216 3726
/proc/meminfo: memFree=19645564/32770624 swapFree=67108860/67108860
[pid=3711] ppid=3708 vsize=10555400 memory=30540 CPUtime=0.14 cores=1,3,5,7
/proc/3711/stat : 3711 (java) S 3708 3711 3242 0 -1 1077944320 6785 0 0 0 12 2 0 0 20 0 15 0 95251437 10808729600 7635 33554432000 4194304 4196468 140726571233776 140726571216320 140705396494071 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
/proc/3711/statm: 2638850 7635 2785 1 0 2627263 0
[pid=3711/tid=3713] ppid=3708 vsize=10555432 memory=-8969302910422578368 CPUtime=0.1 cores=1,3,5,7
/proc/3711/task/3713/stat : 3713 (java) R 3708 3711 3242 0 -1 4202560 4652 0 0 0 9 1 0 0 20 0 15 0 95251438 10808762368 7683 33554432000 4194304 4196468 140726571233776 140705400705248 140705389173789 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3714] ppid=3708 vsize=10555400 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/3711/task/3714/stat : 3714 (java) S 3708 3711 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95251439 10808729600 7683 33554432000 4194304 4196468 140726571233776 140705349114128 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3715] ppid=3708 vsize=10555400 memory=139838504957568 CPUtime=0 cores=1,3,5,7
/proc/3711/task/3715/stat : 3715 (java) S 3708 3711 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95251439 10808729600 7683 33554432000 4194304 4196468 140726571233776 140705348061584 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3716] ppid=3708 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3711/task/3716/stat : 3716 (java) S 3708 3711 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95251439 10808729600 7683 33554432000 4194304 4196468 140726571233776 140705347009040 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3717] ppid=3708 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3711/task/3717/stat : 3717 (java) S 3708 3711 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95251439 10808729600 7683 33554432000 4194304 4196468 140726571233776 140705345956496 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3718] ppid=3708 vsize=10555400 memory=139838504957568 CPUtime=0 cores=1,3,5,7
/proc/3711/task/3718/stat : 3718 (java) S 3708 3711 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95251440 10808729600 7683 33554432000 4194304 4196468 140726571233776 140704701045232 140705396505218 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3719] ppid=3708 vsize=10555432 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3711/task/3719/stat : 3719 (java) S 3708 3711 3242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95251440 10808762368 7683 33554432000 4194304 4196468 140726571233776 140704699991456 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3720] ppid=3708 vsize=10555432 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3711/task/3720/stat : 3720 (java) S 3708 3711 3242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95251441 10808762368 7683 33554432000 4194304 4196468 140726571233776 140704698938864 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3721] ppid=3708 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3711/task/3721/stat : 3721 (java) S 3708 3711 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95251443 10808729600 7683 33554432000 4194304 4196468 140726571233776 140704697887440 140705396512667 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3722] ppid=3708 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3711/task/3722/stat : 3722 (java) S 3708 3711 3242 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 95251443 10808729600 7683 33554432000 4194304 4196468 140726571233776 140704696834032 140705396505218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3723] ppid=3708 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3711/task/3723/stat : 3723 (java) S 3708 3711 3242 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 95251443 10808729600 7683 33554432000 4194304 4196468 140726571233776 140704695781488 140705396505218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3724] ppid=3708 vsize=10555400 memory=139838504957568 CPUtime=0.02 cores=1,3,5,7
/proc/3711/task/3724/stat : 3724 (java) S 3708 3711 3242 0 -1 1077944384 365 0 0 0 2 0 0 0 20 0 15 0 95251443 10808729600 7683 33554432000 4194304 4196468 140726571233776 140704694728944 140705396505218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3725] ppid=3708 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3711/task/3725/stat : 3725 (java) S 3708 3711 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95251443 10808729600 7683 33554432000 4194304 4196468 140726571233776 140704693676640 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3726] ppid=3708 vsize=10555400 memory=139838504957568 CPUtime=0 cores=1,3,5,7
/proc/3711/task/3726/stat : 3726 (java) S 3708 3711 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95251443 10808729600 7683 33554432000 4194304 4196468 140726571233776 140704692624176 140705396505218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 30540 KiB
[startup+0.21043 s]*
/proc/loadavg: 5.95 3.74 2.64 6/216 3726
/proc/meminfo: memFree=19637500/32770624 swapFree=67108860/67108860
[pid=3711] ppid=3708 vsize=10555400 memory=39404 CPUtime=0.29 cores=1,3,5,7
/proc/3711/stat : 3711 (java) S 3708 3711 3242 0 -1 1077944320 8159 0 0 0 27 2 0 0 20 0 15 0 95251437 10808729600 9851 33554432000 4194304 4196468 140726571233776 140726571216320 140705396494071 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
/proc/3711/statm: 2638850 9851 2902 1 0 2627263 0
[pid=3711/tid=3713] ppid=3708 vsize=10555400 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/3711/task/3713/stat : 3713 (java) R 3708 3711 3242 0 -1 4202560 5341 0 0 0 18 2 0 0 20 0 15 0 95251438 10808729600 9851 33554432000 4194304 4196468 140726571233776 140705400721680 140705380574558 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3714] ppid=3708 vsize=10555400 memory=342 CPUtime=0 cores=1,3,5,7
/proc/3711/task/3714/stat : 3714 (java) S 3708 3711 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95251439 10808729600 9851 33554432000 4194304 4196468 140726571233776 140705349114128 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3715] ppid=3708 vsize=10555400 memory=139838504962280 CPUtime=0 cores=1,3,5,7
/proc/3711/task/3715/stat : 3715 (java) S 3708 3711 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95251439 10808729600 9851 33554432000 4194304 4196468 140726571233776 140705348061584 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3716] ppid=3708 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3711/task/3716/stat : 3716 (java) S 3708 3711 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95251439 10808729600 9851 33554432000 4194304 4196468 140726571233776 140705347009040 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3717] ppid=3708 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3711/task/3717/stat : 3717 (java) S 3708 3711 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95251439 10808729600 9851 33554432000 4194304 4196468 140726571233776 140705345956496 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3718] ppid=3708 vsize=10555400 memory=139838504957568 CPUtime=0 cores=1,3,5,7
/proc/3711/task/3718/stat : 3718 (java) S 3708 3711 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95251440 10808729600 9851 33554432000 4194304 4196468 140726571233776 140704701045232 140705396505218 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3719] ppid=3708 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3711/task/3719/stat : 3719 (java) S 3708 3711 3242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95251440 10808729600 9851 33554432000 4194304 4196468 140726571233776 140704699991456 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3720] ppid=3708 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3711/task/3720/stat : 3720 (java) S 3708 3711 3242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95251441 10808729600 9851 33554432000 4194304 4196468 140726571233776 140704698938864 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3721] ppid=3708 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3711/task/3721/stat : 3721 (java) S 3708 3711 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95251443 10808729600 9851 33554432000 4194304 4196468 140726571233776 140704697887440 140705396512667 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3722] ppid=3708 vsize=10555400 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/3711/task/3722/stat : 3722 (java) S 3708 3711 3242 0 -1 1077944384 380 0 0 0 1 0 0 0 20 0 15 0 95251443 10808729600 9851 33554432000 4194304 4196468 140726571233776 140704696834032 140705396505218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3723] ppid=3708 vsize=10555400 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/3711/task/3723/stat : 3723 (java) S 3708 3711 3242 0 -1 1077944384 223 0 0 0 1 0 0 0 20 0 15 0 95251443 10808729600 9851 33554432000 4194304 4196468 140726571233776 140704695781488 140705396505218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3724] ppid=3708 vsize=10555400 memory=139838504957568 CPUtime=0.06 cores=1,3,5,7
/proc/3711/task/3724/stat : 3724 (java) S 3708 3711 3242 0 -1 1077944384 871 0 0 0 6 0 0 0 20 0 15 0 95251443 10808729600 9851 33554432000 4194304 4196468 140726571233776 140704694728944 140705396505218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3725] ppid=3708 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3711/task/3725/stat : 3725 (java) S 3708 3711 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95251443 10808729600 9851 33554432000 4194304 4196468 140726571233776 140704693676640 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3726] ppid=3708 vsize=10555400 memory=139838504957568 CPUtime=0 cores=1,3,5,7
/proc/3711/task/3726/stat : 3726 (java) S 3708 3711 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95251443 10808729600 9851 33554432000 4194304 4196468 140726571233776 140704692624176 140705396505218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 39404 KiB
[startup+0.31233 s]*
/proc/loadavg: 5.95 3.74 2.64 12/216 3726
/proc/meminfo: memFree=19630304/32770624 swapFree=67108860/67108860
[pid=3711] ppid=3708 vsize=10555476 memory=46464 CPUtime=0.5 cores=1,3,5,7
/proc/3711/stat : 3711 (java) S 3708 3711 3242 0 -1 1077944320 8877 0 0 0 47 3 0 0 20 0 15 0 95251437 10808807424 11616 33554432000 4194304 4196468 140726571233776 140726571216320 140705396494071 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
/proc/3711/statm: 2638869 11616 3038 1 0 2627263 0
[pid=3711/tid=3713] ppid=3708 vsize=10555476 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/3711/task/3713/stat : 3713 (java) R 3708 3711 3242 0 -1 4202560 5691 0 0 0 27 3 0 0 20 0 15 0 95251438 10808807424 11616 33554432000 4194304 4196468 140726571233776 140705400729632 140705380574558 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3714] ppid=3708 vsize=10555476 memory=290763879498383383 CPUtime=0 cores=1,3,5,7
/proc/3711/task/3714/stat : 3714 (java) S 3708 3711 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95251439 10808807424 11616 33554432000 4194304 4196468 140726571233776 140705349114128 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3715] ppid=3708 vsize=10555476 memory=13993904930944664 CPUtime=0 cores=1,3,5,7
/proc/3711/task/3715/stat : 3715 (java) S 3708 3711 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95251439 10808807424 11616 33554432000 4194304 4196468 140726571233776 140705348061584 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3716] ppid=3708 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3711/task/3716/stat : 3716 (java) S 3708 3711 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95251439 10808807424 11616 33554432000 4194304 4196468 140726571233776 140705347009040 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3717] ppid=3708 vsize=10555476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3711/task/3717/stat : 3717 (java) S 3708 3711 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95251439 10808807424 11616 33554432000 4194304 4196468 140726571233776 140705345956496 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3718] ppid=3708 vsize=10555476 memory=139838504957568 CPUtime=0 cores=1,3,5,7
/proc/3711/task/3718/stat : 3718 (java) S 3708 3711 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95251440 10808807424 11616 33554432000 4194304 4196468 140726571233776 140704701045232 140705396505218 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3719] ppid=3708 vsize=10555476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3711/task/3719/stat : 3719 (java) S 3708 3711 3242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95251440 10808807424 11616 33554432000 4194304 4196468 140726571233776 140704699991456 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3720] ppid=3708 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3711/task/3720/stat : 3720 (java) S 3708 3711 3242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95251441 10808807424 11616 33554432000 4194304 4196468 140726571233776 140704698938864 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3721] ppid=3708 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3711/task/3721/stat : 3721 (java) S 3708 3711 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95251443 10808807424 11616 33554432000 4194304 4196468 140726571233776 140704697887440 140705396512667 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3722] ppid=3708 vsize=10555476 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/3711/task/3722/stat : 3722 (java) R 3708 3711 3242 0 -1 4202560 541 0 0 0 4 0 0 0 20 0 15 0 95251443 10808807424 11616 33554432000 4194304 4196468 140726571233776 140704696820056 140705376333631 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3723] ppid=3708 vsize=10555476 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/3711/task/3723/stat : 3723 (java) R 3708 3711 3242 0 -1 4202560 294 0 0 0 2 0 0 0 20 0 15 0 95251443 10808807424 11616 33554432000 4194304 4196468 140726571233776 140704695772944 140705375642760 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3724] ppid=3708 vsize=10555476 memory=139838504957568 CPUtime=0.12 cores=1,3,5,7
/proc/3711/task/3724/stat : 3724 (java) R 3708 3711 3242 0 -1 1077944384 991 0 0 0 12 0 0 0 20 0 15 0 95251443 10808807424 11616 33554432000 4194304 4196468 140726571233776 140704694724896 140705396504277 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3725] ppid=3708 vsize=10555476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3711/task/3725/stat : 3725 (java) S 3708 3711 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95251443 10808807424 11616 33554432000 4194304 4196468 140726571233776 140704693676640 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3726] ppid=3708 vsize=10555476 memory=139838504957568 CPUtime=0 cores=1,3,5,7
/proc/3711/task/3726/stat : 3726 (java) S 3708 3711 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95251443 10808807424 11616 33554432000 4194304 4196468 140726571233776 140704692624176 140705396505218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 46464 KiB
[startup+0.701297 s]
/proc/loadavg: 5.95 3.74 2.64 8/216 3726
/proc/meminfo: memFree=19581840/32770624 swapFree=67108860/67108860
[pid=3711] ppid=3708 vsize=10555476 memory=204020 CPUtime=1.75 cores=1,3,5,7
/proc/3711/stat : 3711 (java) S 3708 3711 3242 0 -1 1077944320 11047 0 0 0 167 8 0 0 20 0 15 0 95251437 10808807424 51005 33554432000 4194304 4196468 140726571233776 140726571216320 140705396494071 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
/proc/3711/statm: 2638869 51005 3089 1 0 2627263 0
[pid=3711/tid=3713] ppid=3708 vsize=10555476 memory=1732 CPUtime=0.64 cores=1,3,5,7
/proc/3711/task/3713/stat : 3713 (java) S 3708 3711 3242 0 -1 1077944384 5879 0 0 0 60 4 0 0 20 0 15 0 95251438 10808807424 51005 33554432000 4194304 4196468 140726571233776 140705400722304 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3714] ppid=3708 vsize=10555476 memory=1224 CPUtime=0.02 cores=1,3,5,7
/proc/3711/task/3714/stat : 3714 (java) R 3708 3711 3242 0 -1 4202560 26 0 0 0 2 0 0 0 20 0 15 0 95251439 10808807424 51005 33554432000 4194304 4196468 140726571233776 140705349114328 140705381517852 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3715] ppid=3708 vsize=10555476 memory=12032 CPUtime=0.02 cores=1,3,5,7
/proc/3711/task/3715/stat : 3715 (java) R 3708 3711 3242 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 15 0 95251439 10808807424 51005 33554432000 4194304 4196468 140726571233776 140705348061472 140705381521184 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3716] ppid=3708 vsize=10555476 memory=5792 CPUtime=0.01 cores=1,3,5,7
/proc/3711/task/3716/stat : 3716 (java) R 3708 3711 3242 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 15 0 95251439 10808807424 51005 33554432000 4194304 4196468 140726571233776 140705347006848 140705381521463 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3717] ppid=3708 vsize=10555476 memory=796 CPUtime=0.01 cores=1,3,5,7
/proc/3711/task/3717/stat : 3717 (java) R 3708 3711 3242 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 15 0 95251439 10808807424 51005 33554432000 4194304 4196468 140726571233776 140705345954472 140705381521490 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3718] ppid=3708 vsize=10555476 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/3711/task/3718/stat : 3718 (java) S 3708 3711 3242 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 95251440 10808807424 51005 33554432000 4194304 4196468 140726571233776 140704701043744 140705396504277 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3719] ppid=3708 vsize=10555476 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/3711/task/3719/stat : 3719 (java) S 3708 3711 3242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95251440 10808807424 51005 33554432000 4194304 4196468 140726571233776 140704699991456 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3720] ppid=3708 vsize=10555476 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/3711/task/3720/stat : 3720 (java) S 3708 3711 3242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95251441 10808807424 51005 33554432000 4194304 4196468 140726571233776 140704698938864 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3721] ppid=3708 vsize=10555476 memory=6296683629868568929 CPUtime=0 cores=1,3,5,7
/proc/3711/task/3721/stat : 3721 (java) S 3708 3711 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95251443 10808807424 51005 33554432000 4194304 4196468 140726571233776 140704697887440 140705396512667 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3722] ppid=3708 vsize=10555476 memory=7519159149027546218 CPUtime=0.39 cores=1,3,5,7
/proc/3711/task/3722/stat : 3722 (java) S 3708 3711 3242 0 -1 1077944384 1213 0 0 0 39 0 0 0 20 0 15 0 95251443 10808807424 51005 33554432000 4194304 4196468 140726571233776 140704696819024 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3723] ppid=3708 vsize=10555476 memory=7523071198212214892 CPUtime=0.37 cores=1,3,5,7
/proc/3711/task/3723/stat : 3723 (java) S 3708 3711 3242 0 -1 1077944384 1184 0 0 0 37 0 0 0 20 0 15 0 95251443 10808807424 51005 33554432000 4194304 4196468 140726571233776 140704695772768 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3724] ppid=3708 vsize=10555476 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/3711/task/3724/stat : 3724 (java) S 3708 3711 3242 0 -1 1077944384 1325 0 0 0 21 0 0 0 20 0 15 0 95251443 10808807424 51005 33554432000 4194304 4196468 140726571233776 140704694728944 140705396505218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3725] ppid=3708 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3711/task/3725/stat : 3725 (java) S 3708 3711 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95251443 10808807424 51005 33554432000 4194304 4196468 140726571233776 140704693676640 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3726] ppid=3708 vsize=10555476 memory=33 CPUtime=0 cores=1,3,5,7
/proc/3711/task/3726/stat : 3726 (java) S 3708 3711 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95251443 10808807424 51005 33554432000 4194304 4196468 140726571233776 140704692624176 140705396505218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
Current children cumulated CPU time: 1.75 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 204020 KiB
[startup+1.5073 s]
/proc/loadavg: 5.95 3.74 2.64 8/216 3726
/proc/meminfo: memFree=19388592/32770624 swapFree=67108860/67108860
[pid=3711] ppid=3708 vsize=10555476 memory=535916 CPUtime=3.9 cores=1,3,5,7
/proc/3711/stat : 3711 (java) S 3708 3711 3242 0 -1 1077944320 13474 0 0 0 356 34 0 0 20 0 15 0 95251437 10808807424 133979 33554432000 4194304 4196468 140726571233776 140726571216320 140705396494071 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
/proc/3711/statm: 2638869 133979 3132 1 0 2627263 0
[pid=3711/tid=3713] ppid=3708 vsize=10555476 memory=8112282956445269571 CPUtime=1.19 cores=1,3,5,7
/proc/3711/task/3713/stat : 3713 (java) S 3708 3711 3242 0 -1 1077944384 5949 0 0 0 113 6 0 0 20 0 15 0 95251438 10808807424 133979 33554432000 4194304 4196468 140726571233776 140705400709552 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3714] ppid=3708 vsize=10555476 memory=8390361644446492005 CPUtime=0.29 cores=1,3,5,7
/proc/3711/task/3714/stat : 3714 (java) R 3708 3711 3242 0 -1 4202560 201 0 0 0 22 7 0 0 20 0 15 0 95251439 10808807424 133979 33554432000 4194304 4196468 140726571233776 140705349114128 140705381516192 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3715] ppid=3708 vsize=10555476 memory=-6352177166831615190 CPUtime=0.25 cores=1,3,5,7
/proc/3711/task/3715/stat : 3715 (java) R 3708 3711 3242 0 -1 4202560 175 0 0 0 19 6 0 0 20 0 15 0 95251439 10808807424 133979 33554432000 4194304 4196468 140726571233776 140705348061584 140705381516192 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3716] ppid=3708 vsize=10555476 memory=8514701219931451533 CPUtime=0.26 cores=1,3,5,7
/proc/3711/task/3716/stat : 3716 (java) R 3708 3711 3242 0 -1 4202560 649 0 0 0 20 6 0 0 20 0 15 0 95251439 10808807424 133979 33554432000 4194304 4196468 140726571233776 140705347008424 140705380942286 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3717] ppid=3708 vsize=10555476 memory=7005738693937936738 CPUtime=0.27 cores=1,3,5,7
/proc/3711/task/3717/stat : 3717 (java) R 3708 3711 3242 0 -1 4202560 193 0 0 0 21 6 0 0 20 0 15 0 95251439 10808807424 133979 33554432000 4194304 4196468 140726571233776 140705345956384 140705380942286 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3718] ppid=3708 vsize=10555476 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/3711/task/3718/stat : 3718 (java) S 3708 3711 3242 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 95251440 10808807424 133979 33554432000 4194304 4196468 140726571233776 140704701043744 140705396504277 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
################
# More data... #
################
/proc/meminfo: memFree=19252596/32770624 swapFree=67108860/67108860
[pid=3711] ppid=3708 vsize=10688756 memory=8395064 CPUtime=1405 cores=1,3,5,7
/proc/3711/stat : 3711 (java) S 3708 3711 3242 0 -1 1077944320 231360 0 0 0 139744 756 0 0 20 0 17 0 95251437 10945286144 2098766 33554432000 4194304 4196468 140726571233776 140726571216320 140705396494071 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
/proc/3711/statm: 2672189 2098766 3193 1 0 2660545 0
[pid=3711/tid=3713] ppid=3708 vsize=10688756 memory=4144 CPUtime=15.66 cores=1,3,5,7
/proc/3711/task/3713/stat : 3713 (java) S 3708 3711 3242 0 -1 1077944384 15010 0 0 0 1554 12 0 0 20 0 17 0 95251438 10945286144 2098766 33554432000 4194304 4196468 140726571233776 140705400734752 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3714] ppid=3708 vsize=10688756 memory=8395064 CPUtime=338.84 cores=1,3,5,7
/proc/3711/task/3714/stat : 3714 (java) R 3708 3711 3242 0 -1 4202560 24673 0 0 0 33688 196 0 0 20 0 17 0 95251439 10945286144 2098766 33554432000 4194304 4196468 140726571233776 140705349114248 140705389122279 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3715] ppid=3708 vsize=10688756 memory=288286692602028784 CPUtime=341.49 cores=1,3,5,7
/proc/3711/task/3715/stat : 3715 (java) R 3708 3711 3242 0 -1 4202560 42046 0 0 0 33979 170 0 0 20 0 17 0 95251439 10945286144 2098766 33554432000 4194304 4196468 140726571233776 140705348061392 140705389122279 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3716] ppid=3708 vsize=10688756 memory=-6876588461455810464 CPUtime=339.36 cores=1,3,5,7
/proc/3711/task/3716/stat : 3716 (java) R 3708 3711 3242 0 -1 4202560 34240 0 0 0 33745 191 0 0 20 0 17 0 95251439 10945286144 2098766 33554432000 4194304 4196468 140726571233776 140705347008848 140705389122279 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3717] ppid=3708 vsize=10688756 memory=8112282956445269571 CPUtime=340.34 cores=1,3,5,7
/proc/3711/task/3717/stat : 3717 (java) R 3708 3711 3242 0 -1 4202560 27216 0 0 0 33861 173 0 0 20 0 17 0 95251439 10945286144 2098766 33554432000 4194304 4196468 140726571233776 140705345956696 140705378103737 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3718] ppid=3708 vsize=10688756 memory=4048 CPUtime=27.29 cores=1,3,5,7
/proc/3711/task/3718/stat : 3718 (java) S 3708 3711 3242 0 -1 1077944384 78708 0 0 0 2724 5 0 0 20 0 17 0 95251440 10945286144 2098766 33554432000 4194304 4196468 140726571233776 140704701043776 140705396504277 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3719] ppid=3708 vsize=10688756 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/3711/task/3719/stat : 3719 (java) S 3708 3711 3242 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 17 0 95251440 10945286144 2098766 33554432000 4194304 4196468 140726571233776 140704699991056 140705396505218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3720] ppid=3708 vsize=10688756 memory=648 CPUtime=0 cores=1,3,5,7
/proc/3711/task/3720/stat : 3720 (java) S 3708 3711 3242 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 17 0 95251441 10945286144 2098766 33554432000 4194304 4196468 140726571233776 140704698938464 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3721] ppid=3708 vsize=10688756 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/3711/task/3721/stat : 3721 (java) S 3708 3711 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 95251443 10945286144 2098766 33554432000 4194304 4196468 140726571233776 140704697887440 140705396512667 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3722] ppid=3708 vsize=10688756 memory=288230621803970871 CPUtime=0.69 cores=1,3,5,7
/proc/3711/task/3722/stat : 3722 (java) S 3708 3711 3242 0 -1 1077944384 2966 0 0 0 69 0 0 0 20 0 17 0 95251443 10945286144 2098766 33554432000 4194304 4196468 140726571233776 140704696833792 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3723] ppid=3708 vsize=10688756 memory=14699582244260269 CPUtime=0.76 cores=1,3,5,7
/proc/3711/task/3723/stat : 3723 (java) S 3708 3711 3242 0 -1 1077944384 2292 0 0 0 75 1 0 0 20 0 17 0 95251443 10945286144 2098766 33554432000 4194304 4196468 140726571233776 140704695781584 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3724] ppid=3708 vsize=10688756 memory=1156 CPUtime=0.29 cores=1,3,5,7
/proc/3711/task/3724/stat : 3724 (java) S 3708 3711 3242 0 -1 1077944384 2169 0 0 0 29 0 0 0 20 0 17 0 95251443 10945286144 2098766 33554432000 4194304 4196468 140726571233776 140704694725248 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3725] ppid=3708 vsize=10688756 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/3711/task/3725/stat : 3725 (java) S 3708 3711 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 95251443 10945286144 2098766 33554432000 4194304 4196468 140726571233776 140704693676640 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3726] ppid=3708 vsize=10688756 memory=288230621803970871 CPUtime=0.18 cores=1,3,5,7
/proc/3711/task/3726/stat : 3726 (java) S 3708 3711 3242 0 -1 1077944384 622 0 0 0 9 9 0 0 20 0 17 0 95251443 10945286144 2098766 33554432000 4194304 4196468 140726571233776 140704692624176 140705396505218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3811] ppid=3708 vsize=10688756 memory=14699582244260269 CPUtime=0 cores=1,3,5,7
/proc/3711/task/3811/stat : 3811 (java) S 3708 3711 3242 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 17 0 95288452 10945286144 2098766 33554432000 4194304 4196468 140726571233776 140704691568304 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3812] ppid=3708 vsize=10688756 memory=916 CPUtime=0 cores=1,3,5,7
/proc/3711/task/3812/stat : 3812 (java) S 3708 3711 3242 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 95288452 10945286144 2098766 33554432000 4194304 4196468 140726571233776 140704690515872 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
Current children cumulated CPU time: 1405 s
Current children cumulated vsize: 10688756 KiB
Current children cumulated memory: 8395064 KiB
[startup+389.601 s]
/proc/loadavg: 5.00 5.27 3.82 6/218 3812
/proc/meminfo: memFree=19252596/32770624 swapFree=67108860/67108860
[pid=3711] ppid=3708 vsize=10688756 memory=8395064 CPUtime=1408.1 cores=1,3,5,7
/proc/3711/stat : 3711 (java) S 3708 3711 3242 0 -1 1077944320 231360 0 0 0 140054 756 0 0 20 0 17 0 95251437 10945286144 2098766 33554432000 4194304 4196468 140726571233776 140726571216320 140705396494071 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
/proc/3711/statm: 2672189 2098766 3193 1 0 2660545 0
[pid=3711/tid=3713] ppid=3708 vsize=10688756 memory=12032 CPUtime=15.66 cores=1,3,5,7
/proc/3711/task/3713/stat : 3713 (java) S 3708 3711 3242 0 -1 1077944384 15010 0 0 0 1554 12 0 0 20 0 17 0 95251438 10945286144 2098766 33554432000 4194304 4196468 140726571233776 140705400734752 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3714] ppid=3708 vsize=10688756 memory=5792 CPUtime=339.59 cores=1,3,5,7
/proc/3711/task/3714/stat : 3714 (java) R 3708 3711 3242 0 -1 4202560 24673 0 0 0 33763 196 0 0 20 0 17 0 95251439 10945286144 2098766 33554432000 4194304 4196468 140726571233776 140705349114248 140705389122279 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3715] ppid=3708 vsize=10688756 memory=796 CPUtime=342.26 cores=1,3,5,7
/proc/3711/task/3715/stat : 3715 (java) R 3708 3711 3242 0 -1 4202560 42046 0 0 0 34056 170 0 0 20 0 17 0 95251439 10945286144 2098766 33554432000 4194304 4196468 140726571233776 140705348061392 140705389122279 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3716] ppid=3708 vsize=10688756 memory=1436 CPUtime=340.14 cores=1,3,5,7
/proc/3711/task/3716/stat : 3716 (java) R 3708 3711 3242 0 -1 4202560 34240 0 0 0 33823 191 0 0 20 0 17 0 95251439 10945286144 2098766 33554432000 4194304 4196468 140726571233776 140705347008848 140705389122279 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3717] ppid=3708 vsize=10688756 memory=3168 CPUtime=341.14 cores=1,3,5,7
/proc/3711/task/3717/stat : 3717 (java) R 3708 3711 3242 0 -1 4202560 27216 0 0 0 33941 173 0 0 20 0 17 0 95251439 10945286144 2098766 33554432000 4194304 4196468 140726571233776 140705345956696 140705381193902 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3718] ppid=3708 vsize=10688756 memory=8395064 CPUtime=27.29 cores=1,3,5,7
/proc/3711/task/3718/stat : 3718 (java) S 3708 3711 3242 0 -1 1077944384 78708 0 0 0 2724 5 0 0 20 0 17 0 95251440 10945286144 2098766 33554432000 4194304 4196468 140726571233776 140704701043776 140705396504277 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3719] ppid=3708 vsize=10688756 memory=1156 CPUtime=0 cores=1,3,5,7
/proc/3711/task/3719/stat : 3719 (java) S 3708 3711 3242 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 17 0 95251440 10945286144 2098766 33554432000 4194304 4196468 140726571233776 140704699991056 140705396505218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3720] ppid=3708 vsize=10688756 memory=3084 CPUtime=0 cores=1,3,5,7
/proc/3711/task/3720/stat : 3720 (java) S 3708 3711 3242 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 17 0 95251441 10945286144 2098766 33554432000 4194304 4196468 140726571233776 140704698938464 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3721] ppid=3708 vsize=10688756 memory=323808 CPUtime=0 cores=1,3,5,7
/proc/3711/task/3721/stat : 3721 (java) S 3708 3711 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 95251443 10945286144 2098766 33554432000 4194304 4196468 140726571233776 140704697887440 140705396512667 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3722] ppid=3708 vsize=10688756 memory=0 CPUtime=0.69 cores=1,3,5,7
/proc/3711/task/3722/stat : 3722 (java) S 3708 3711 3242 0 -1 1077944384 2966 0 0 0 69 0 0 0 20 0 17 0 95251443 10945286144 2098766 33554432000 4194304 4196468 140726571233776 140704696833792 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3723] ppid=3708 vsize=10688756 memory=1012 CPUtime=0.76 cores=1,3,5,7
/proc/3711/task/3723/stat : 3723 (java) S 3708 3711 3242 0 -1 1077944384 2292 0 0 0 75 1 0 0 20 0 17 0 95251443 10945286144 2098766 33554432000 4194304 4196468 140726571233776 140704695781584 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3724] ppid=3708 vsize=10688756 memory=1712 CPUtime=0.29 cores=1,3,5,7
/proc/3711/task/3724/stat : 3724 (java) S 3708 3711 3242 0 -1 1077944384 2169 0 0 0 29 0 0 0 20 0 17 0 95251443 10945286144 2098766 33554432000 4194304 4196468 140726571233776 140704694725248 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3725] ppid=3708 vsize=10688756 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/3711/task/3725/stat : 3725 (java) S 3708 3711 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 95251443 10945286144 2098766 33554432000 4194304 4196468 140726571233776 140704693676640 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3726] ppid=3708 vsize=10688756 memory=8612 CPUtime=0.18 cores=1,3,5,7
/proc/3711/task/3726/stat : 3726 (java) S 3708 3711 3242 0 -1 1077944384 622 0 0 0 9 9 0 0 20 0 17 0 95251443 10945286144 2098766 33554432000 4194304 4196468 140726571233776 140704692624176 140705396505218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3811] ppid=3708 vsize=10688756 memory=4620 CPUtime=0 cores=1,3,5,7
/proc/3711/task/3811/stat : 3811 (java) S 3708 3711 3242 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 17 0 95288452 10945286144 2098766 33554432000 4194304 4196468 140726571233776 140704691568304 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3812] ppid=3708 vsize=10688756 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/3711/task/3812/stat : 3812 (java) S 3708 3711 3242 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 95288452 10945286144 2098766 33554432000 4194304 4196468 140726571233776 140704690515872 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
Current children cumulated CPU time: 1408.1 s
Current children cumulated vsize: 10688756 KiB
Current children cumulated memory: 8395064 KiB
[startup+390.401 s]
/proc/loadavg: 5.00 5.27 3.82 3/218 3812
/proc/meminfo: memFree=19252596/32770624 swapFree=67108860/67108860
[pid=3711] ppid=3708 vsize=10688756 memory=8395072 CPUtime=1410.02 cores=1,3,5,7
/proc/3711/stat : 3711 (java) S 3708 3711 3242 0 -1 1077944320 231539 0 0 0 140245 757 0 0 20 0 17 0 95251437 10945286144 2098768 33554432000 4194304 4196468 140726571233776 140726571216320 140705396494071 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
/proc/3711/statm: 2672189 2098768 3193 1 0 2660545 0
[pid=3711/tid=3713] ppid=3708 vsize=10688756 memory=8395064 CPUtime=15.66 cores=1,3,5,7
/proc/3711/task/3713/stat : 3713 (java) S 3708 3711 3242 0 -1 1077944384 15010 0 0 0 1554 12 0 0 20 0 17 0 95251438 10945286144 2098768 33554432000 4194304 4196468 140726571233776 140705400734752 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3714] ppid=3708 vsize=10688756 memory=4144 CPUtime=339.96 cores=1,3,5,7
/proc/3711/task/3714/stat : 3714 (java) S 3708 3711 3242 0 -1 1077944384 24673 0 0 0 33800 196 0 0 20 0 17 0 95251439 10945286144 2098768 33554432000 4194304 4196468 140726571233776 140705349114128 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3715] ppid=3708 vsize=10688756 memory=8395072 CPUtime=342.64 cores=1,3,5,7
/proc/3711/task/3715/stat : 3715 (java) S 3708 3711 3242 0 -1 1077944384 42046 0 0 0 34094 170 0 0 20 0 17 0 95251439 10945286144 2098768 33554432000 4194304 4196468 140726571233776 140705348061584 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3716] ppid=3708 vsize=10688756 memory=4144 CPUtime=340.51 cores=1,3,5,7
/proc/3711/task/3716/stat : 3716 (java) S 3708 3711 3242 0 -1 1077944384 34240 0 0 0 33860 191 0 0 20 0 17 0 95251439 10945286144 2098768 33554432000 4194304 4196468 140726571233776 140705347009040 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3717] ppid=3708 vsize=10688756 memory=27968 CPUtime=341.53 cores=1,3,5,7
/proc/3711/task/3717/stat : 3717 (java) S 3708 3711 3242 0 -1 1077944384 27216 0 0 0 33980 173 0 0 20 0 17 0 95251439 10945286144 2098768 33554432000 4194304 4196468 140726571233776 140705345956496 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3718] ppid=3708 vsize=10688756 memory=1296 CPUtime=27.7 cores=1,3,5,7
/proc/3711/task/3718/stat : 3718 (java) R 3708 3711 3242 0 -1 4202560 78887 0 0 0 2765 5 0 0 20 0 17 0 95251440 10945286144 2098768 33554432000 4194304 4196468 140726571233776 140704701043664 140705381490452 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3719] ppid=3708 vsize=10688756 memory=2408 CPUtime=0 cores=1,3,5,7
/proc/3711/task/3719/stat : 3719 (java) S 3708 3711 3242 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 17 0 95251440 10945286144 2098768 33554432000 4194304 4196468 140726571233776 140704699991056 140705396505218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3720] ppid=3708 vsize=10688756 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/3711/task/3720/stat : 3720 (java) S 3708 3711 3242 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 17 0 95251441 10945286144 2098768 33554432000 4194304 4196468 140726571233776 140704698938464 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3721] ppid=3708 vsize=10688756 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/3711/task/3721/stat : 3721 (java) S 3708 3711 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 95251443 10945286144 2098768 33554432000 4194304 4196468 140726571233776 140704697887440 140705396512667 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3722] ppid=3708 vsize=10688756 memory=12032 CPUtime=0.69 cores=1,3,5,7
/proc/3711/task/3722/stat : 3722 (java) S 3708 3711 3242 0 -1 1077944384 2966 0 0 0 69 0 0 0 20 0 17 0 95251443 10945286144 2098768 33554432000 4194304 4196468 140726571233776 140704696833792 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3723] ppid=3708 vsize=10688756 memory=5792 CPUtime=0.76 cores=1,3,5,7
/proc/3711/task/3723/stat : 3723 (java) S 3708 3711 3242 0 -1 1077944384 2292 0 0 0 75 1 0 0 20 0 17 0 95251443 10945286144 2098768 33554432000 4194304 4196468 140726571233776 140704695781584 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3724] ppid=3708 vsize=10688756 memory=796 CPUtime=0.29 cores=1,3,5,7
/proc/3711/task/3724/stat : 3724 (java) S 3708 3711 3242 0 -1 1077944384 2169 0 0 0 29 0 0 0 20 0 17 0 95251443 10945286144 2098768 33554432000 4194304 4196468 140726571233776 140704694725248 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3725] ppid=3708 vsize=10688756 memory=8395060 CPUtime=0 cores=1,3,5,7
/proc/3711/task/3725/stat : 3725 (java) S 3708 3711 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 95251443 10945286144 2098768 33554432000 4194304 4196468 140726571233776 140704693676640 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3726] ppid=3708 vsize=10688756 memory=2408 CPUtime=0.18 cores=1,3,5,7
/proc/3711/task/3726/stat : 3726 (java) S 3708 3711 3242 0 -1 1077944384 622 0 0 0 9 9 0 0 20 0 17 0 95251443 10945286144 2098768 33554432000 4194304 4196468 140726571233776 140704692624176 140705396505218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3811] ppid=3708 vsize=10688756 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/3711/task/3811/stat : 3811 (java) S 3708 3711 3242 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 17 0 95288452 10945286144 2098768 33554432000 4194304 4196468 140726571233776 140704691568304 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3812] ppid=3708 vsize=10688756 memory=2408 CPUtime=0 cores=1,3,5,7
/proc/3711/task/3812/stat : 3812 (java) S 3708 3711 3242 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 95288452 10945286144 2098768 33554432000 4194304 4196468 140726571233776 140704690515872 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
Current children cumulated CPU time: 1410.02 s
Current children cumulated vsize: 10688756 KiB
Current children cumulated memory: 8395072 KiB
[startup+390.801 s]
/proc/loadavg: 5.00 5.27 3.82 3/218 3812
/proc/meminfo: memFree=19252596/32770624 swapFree=67108860/67108860
[pid=3711] ppid=3708 vsize=10688756 memory=8395244 CPUtime=1410.42 cores=1,3,5,7
/proc/3711/stat : 3711 (java) S 3708 3711 3242 0 -1 1077944320 231721 0 0 0 140285 757 0 0 20 0 14 0 95251437 10945286144 2098811 33554432000 4194304 4196468 140726571233776 140726571216320 140705396494071 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
/proc/3711/statm: 2672189 2098811 3194 1 0 2660545 0
[pid=3711/tid=3713] ppid=3708 vsize=10688756 memory=8112282956445269571 CPUtime=15.66 cores=1,3,5,7
/proc/3711/task/3713/stat : 3713 (java) S 3708 3711 3242 0 -1 1077944384 15010 0 0 0 1554 12 0 0 20 0 14 0 95251438 10945286144 2098811 33554432000 4194304 4196468 140726571233776 140705400736912 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3714] ppid=3708 vsize=10688756 memory=0 CPUtime=339.96 cores=1,3,5,7
/proc/3711/task/3714/stat : 3714 (java) S 3708 3711 3242 0 -1 1077944384 24673 0 0 0 33800 196 0 0 20 0 14 0 95251439 10945286144 2098811 33554432000 4194304 4196468 140726571233776 140705349114128 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3715] ppid=3708 vsize=10688756 memory=57588 CPUtime=342.64 cores=1,3,5,7
/proc/3711/task/3715/stat : 3715 (java) S 3708 3711 3242 0 -1 1077944384 42046 0 0 0 34094 170 0 0 20 0 14 0 95251439 10945286144 2098811 33554432000 4194304 4196468 140726571233776 140705348061584 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3716] ppid=3708 vsize=10688756 memory=7452725582668589376 CPUtime=340.51 cores=1,3,5,7
/proc/3711/task/3716/stat : 3716 (java) S 3708 3711 3242 0 -1 1077944384 34240 0 0 0 33860 191 0 0 20 0 14 0 95251439 10945286144 2098811 33554432000 4194304 4196468 140726571233776 140705347009040 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3717] ppid=3708 vsize=10688756 memory=1952 CPUtime=341.53 cores=1,3,5,7
/proc/3711/task/3717/stat : 3717 (java) S 3708 3711 3242 0 -1 1077944384 27216 0 0 0 33980 173 0 0 20 0 14 0 95251439 10945286144 2098811 33554432000 4194304 4196468 140726571233776 140705345956496 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3718] ppid=3708 vsize=10688756 memory=8612 CPUtime=28.09 cores=1,3,5,7
/proc/3711/task/3718/stat : 3718 (java) S 3708 3711 3242 0 -1 1077944384 78887 0 0 0 2804 5 0 0 20 0 14 0 95251440 10945286144 2098811 33554432000 4194304 4196468 140726571233776 140704701045440 140705396505218 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3719] ppid=3708 vsize=10688756 memory=4620 CPUtime=0 cores=1,3,5,7
/proc/3711/task/3719/stat : 3719 (java) S 3708 3711 3242 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 14 0 95251440 10945286144 2098811 33554432000 4194304 4196468 140726571233776 140704699991520 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3720] ppid=3708 vsize=10688756 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/3711/task/3720/stat : 3720 (java) S 3708 3711 3242 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 14 0 95251441 10945286144 2098811 33554432000 4194304 4196468 140726571233776 140704698938880 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3721] ppid=3708 vsize=10688756 memory=15872 CPUtime=0 cores=1,3,5,7
/proc/3711/task/3721/stat : 3721 (java) S 3708 3711 3242 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 14 0 95251443 10945286144 2098811 33554432000 4194304 4196468 140726571233776 140704697887088 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3722] ppid=3708 vsize=10688756 memory=18476 CPUtime=0.69 cores=1,3,5,7
/proc/3711/task/3722/stat : 3722 (java) S 3708 3711 3242 0 -1 1077944384 2966 0 0 0 69 0 0 0 20 0 14 0 95251443 10945286144 2098811 33554432000 4194304 4196468 140726571233776 140704696834032 140705396505218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3723] ppid=3708 vsize=10688756 memory=16620 CPUtime=0.76 cores=1,3,5,7
/proc/3711/task/3723/stat : 3723 (java) S 3708 3711 3242 0 -1 1077944384 2292 0 0 0 75 1 0 0 20 0 14 0 95251443 10945286144 2098811 33554432000 4194304 4196468 140726571233776 140704695781488 140705396505218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3724] ppid=3708 vsize=10688756 memory=4048 CPUtime=0.29 cores=1,3,5,7
/proc/3711/task/3724/stat : 3724 (java) S 3708 3711 3242 0 -1 1077944384 2301 0 0 0 29 0 0 0 20 0 14 0 95251443 10945286144 2098811 33554432000 4194304 4196468 140726571233776 140704694724816 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
[pid=3711/tid=3725] ppid=3708 vsize=10688756 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/3711/task/3725/stat : 3725 (java) S 3708 3711 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 95251443 10945286144 2098811 33554432000 4194304 4196468 140726571233776 140704693676640 140705396504277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140726571242630 140726571242783 140726571242783 140726571245519 0
Current children cumulated CPU time: 1410.42 s
Current children cumulated vsize: 10688756 KiB
Current children cumulated memory: 8395244 KiB
Child status: 0
Real time (s): 390.845
CPU time (s): 1410.47
CPU user time (s): 1402.86
CPU system time (s): 7.60956
CPU usage (%): 360.877
Max. virtual memory (cumulated for all children) (KiB): 10688756
Max. memory (cumulated for all children) (KiB): 8395244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1402.86
system time used= 7.60956
maximum resident set size= 8395440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 231743
page faults= 0
swaps= 0
block input operations= 0
block output operations= 512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27312
involuntary context switches= 26285
# summary of solver processes directly reported to runsolver:
# pid: 3711
# total CPU time (s): 1410.47
# total CPU user time (s): 1402.86
# total CPU system time (s): 7.60956
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.3192 second user time and 3.88548 second system time
The end
Begin job on node149 at 2017-08-13 12:40:47 IDJOB=4263391 IDBENCH=123234 IDSOLVER=2651 FILE ID=node149/4263391-1502621705 RUNJOBID= node149-1502620619-3502 PBS_JOBID= 20628307 Free space on /tmp= 61932 MiB SOLVER NAME= sat4j-CSP 2017-07-05 BENCH NAME= XCSP17/MagicSequence/MagicSequence-count-s1/MagicSequence-090-co.xml COMMAND LINE= java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4263391-1502621705/watcher-4263391-1502621705 -o /tmp/evaluation-result-4263391-1502621705/solver-4263391-1502621705 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1502620619-3502 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263391-1502621705.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0246068741505d17ebc4b7ca5f69497d RANDOM SEED=175366446 node149.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.43 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.43 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.43 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.43 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: 19665608 kB MemAvailable: 23675852 kB Buffers: 249612 kB Cached: 4033976 kB SwapCached: 0 kB Active: 9332912 kB Inactive: 3291148 kB Active(anon): 8343056 kB Inactive(anon): 24944 kB Active(file): 989856 kB Inactive(file): 3266204 kB Unevictable: 6360 kB Mlocked: 6360 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 1596 kB Writeback: 0 kB AnonPages: 8405556 kB Mapped: 55404 kB Shmem: 25224 kB Slab: 166736 kB SReclaimable: 140036 kB SUnreclaim: 26700 kB KernelStack: 3808 kB PageTables: 21548 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 8652120 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8204288 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 97664 kB DirectMap2M: 33447936 kB Free space on /tmp at the end= 61932 MiB End job on node149 at 2017-08-13 12:47:18