Trace number 4263414

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
sat4j-CSP 2017-07-05? 2065.3601 590.84198

General information on the benchmark

NameMagicSquare/MagicSquare-table-s1/
MagicSquare-5-table.xml
MD5SUM61ed6ce3ae3f811d4d1b54502d982bfc
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark3.00596
Satisfiable
(Un)Satisfiability was proved
Number of variables25
Number of constraints13
Number of domains1
Minimum domain size25
Maximum domain size25
Distribution of domain sizes[{"size":25,"count":25}]
Minimum variable degree3
Maximum variable degree5
Distribution of variable degrees[{"degree":3,"count":16},{"degree":4,"count":8},{"degree":5,"count":1}]
Minimum constraint arity5
Maximum constraint arity25
Distribution of constraint arities[{"arity":5,"count":12},{"arity":25,"count":1}]
Number of extensional constraints12
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":12},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

2065.17/590.59	Aug 13, 2017 2:59:00 PM org.sat4j.reader.XMLCSP3Reader parseInstance
2065.17/590.59	INFO: Runtime exception
2065.17/590.59	java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeExpression(TseitinBasedIntensionCtrEncoder.java:77)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encode(TseitinBasedIntensionCtrEncoder.java:58)
2065.17/590.59		at org.sat4j.csp.constraints3.GenericCtrBuilder.buildCtrSupports(GenericCtrBuilder.java:182)
2065.17/590.59		at org.sat4j.csp.constraints3.GenericCtrBuilder.buildCtrExtension(GenericCtrBuilder.java:83)
2065.17/590.59		at org.sat4j.reader.XMLCSP3Reader.buildCtrExtension(XMLCSP3Reader.java:404)
2065.17/590.59		at org.xcsp.parser.loaders.CtrLoaderInteger.extension(CtrLoaderInteger.java:413)
2065.17/590.59		at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:130)
2065.17/590.59		at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:457)
2065.17/590.59		at org.xcsp.parser.XCallbacks.lambda$loadCtrs$3(XCallbacks.java:440)
2065.17/590.59		at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948)
2065.17/590.59		at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580)
2065.17/590.59		at org.xcsp.parser.XCallbacks.loadCtrs(XCallbacks.java:437)
2065.17/590.59		at org.xcsp.parser.XCallbacks.loadGroup(XCallbacks.java:406)
2065.17/590.59		at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:368)
2065.17/590.59		at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:353)
2065.17/590.59		at org.sat4j.reader.XMLCSP3Reader.loadInstance(XMLCSP3Reader.java:328)
2065.17/590.59		at org.sat4j.reader.XMLCSP3Reader.parseInstance(XMLCSP3Reader.java:293)
2065.17/590.59		at org.sat4j.reader.Reader.parseInstance(Reader.java:73)
2065.17/590.59		at org.sat4j.AbstractLauncher.readProblem(AbstractLauncher.java:201)
2065.17/590.59		at org.sat4j.csp.CSPLauncher.readProblem(CSPLauncher.java:95)
2065.17/590.59		at org.sat4j.AbstractLauncher.run(AbstractLauncher.java:255)
2065.17/590.59		at org.sat4j.csp.CSPLauncher.main(CSPLauncher.java:119)
2065.17/590.59	Caused by: java.lang.reflect.InvocationTargetException
2065.17/590.59		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
2065.17/590.59		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
2065.17/590.59		at java.lang.reflect.Method.invoke(Method.java:498)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
2065.17/590.59		... 22 more
2065.17/590.59	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
2065.17/590.59		... 26 more
2065.17/590.59	Caused by: java.lang.reflect.InvocationTargetException
2065.17/590.59		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
2065.17/590.59		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
2065.17/590.59		at java.lang.reflect.Method.invoke(Method.java:498)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
2065.17/590.59		... 27 more
2065.17/590.59	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
2065.17/590.59	Caused by: java.lang.reflect.InvocationTargetException
2065.17/590.59		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
2065.17/590.59		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
2065.17/590.59		at java.lang.reflect.Method.invoke(Method.java:498)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
2065.17/590.59		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
2065.17/590.59		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
2065.17/590.59		at java.lang.reflect.Method.invoke(Method.java:498)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
2065.17/590.59		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
2065.17/590.59		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
2065.17/590.59		at java.lang.reflect.Method.invoke(Method.java:498)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeExpression(TseitinBasedIntensionCtrEncoder.java:77)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encode(TseitinBasedIntensionCtrEncoder.java:58)
2065.17/590.59		at org.sat4j.csp.constraints3.GenericCtrBuilder.buildCtrSupports(GenericCtrBuilder.java:182)
2065.17/590.59		at org.sat4j.csp.constraints3.GenericCtrBuilder.buildCtrExtension(GenericCtrBuilder.java:83)
2065.17/590.59		at org.sat4j.reader.XMLCSP3Reader.buildCtrExtension(XMLCSP3Reader.java:404)
2065.17/590.59		at org.xcsp.parser.loaders.CtrLoaderInteger.extension(CtrLoaderInteger.java:413)
2065.17/590.59		at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:130)
2065.17/590.59		at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:457)
2065.17/590.59		at org.xcsp.parser.XCallbacks.lambda$loadCtrs$3(XCallbacks.java:440)
2065.17/590.59		at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948)
2065.17/590.59		at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580)
2065.17/590.59		at org.xcsp.parser.XCallbacks.loadCtrs(XCallbacks.java:437)
2065.17/590.59		at org.xcsp.parser.XCallbacks.loadGroup(XCallbacks.java:406)
2065.17/590.59		at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:368)
2065.17/590.59		at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:353)
2065.17/590.59		at org.sat4j.reader.XMLCSP3Reader.loadInstance(XMLCSP3Reader.java:328)
2065.17/590.59		at org.sat4j.reader.XMLCSP3Reader.parseInstance(XMLCSP3Reader.java:293)
2065.17/590.59		at org.sat4j.reader.Reader.parseInstance(Reader.java:73)
2065.17/590.59		at org.sat4j.AbstractLauncher.readProblem(AbstractLauncher.java:201)
2065.17/590.59		at org.sat4j.csp.CSPLauncher.readProblem(CSPLauncher.java:95)
2065.17/590.59		at org.sat4j.AbstractLauncher.run(AbstractLauncher.java:255)
2065.17/590.59		at org.sat4j.csp.CSPLauncher.main(CSPLauncher.java:119)
2065.17/590.59	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
2065.17/590.59		... 36 more
2065.17/590.59	Caused by: java.lang.reflect.InvocationTargetException
2065.17/590.59		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
2065.17/590.59		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
2065.17/590.59		at java.lang.reflect.Method.invoke(Method.java:498)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
2065.17/590.59		... 37 more
2065.17/590.59	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
2065.17/590.59		... 41 more
2065.17/590.59	Caused by: java.lang.reflect.InvocationTargetException
2065.17/590.59		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
2065.17/590.59		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
2065.17/590.59		at java.lang.reflect.Method.invoke(Method.java:498)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
2065.17/590.59		... 42 more
2065.17/590.59	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
2065.17/590.59		... 46 more
2065.17/590.59	Caused by: java.lang.reflect.InvocationTargetException
2065.17/590.59		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
2065.17/590.59		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
2065.17/590.59		at java.lang.reflect.Method.invoke(Method.java:498)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
2065.17/590.59		... 47 more
2065.17/590.59	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
2065.17/590.59		... 51 more
2065.17/590.59	Caused by: java.lang.reflect.InvocationTargetException
2065.17/590.59		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
2065.17/590.59		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
2065.17/590.59		at java.lang.reflect.Method.invoke(Method.java:498)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
2065.17/590.59		... 52 more
2065.17/590.59	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
2065.17/590.59		... 56 more
2065.17/590.59	Caused by: java.lang.reflect.InvocationTargetException
2065.17/590.59		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
2065.17/590.59		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
2065.17/590.59		at java.lang.reflect.Method.invoke(Method.java:498)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
2065.17/590.59		... 57 more
2065.17/590.59	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
2065.17/590.59		... 61 more
2065.17/590.59	Caused by: java.lang.reflect.InvocationTargetException
2065.17/590.59		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
2065.17/590.59		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
2065.17/590.59		at java.lang.reflect.Method.invoke(Method.java:498)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
2065.17/590.59		... 62 more
2065.17/590.59	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
2065.17/590.59		... 66 more
2065.17/590.59	Caused by: java.lang.reflect.InvocationTargetException
2065.17/590.59		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
2065.17/590.59		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
2065.17/590.59		at java.lang.reflect.Method.invoke(Method.java:498)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
2065.17/590.59		... 67 more
2065.17/590.59	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
2065.17/590.59		... 71 more
2065.17/590.59	Caused by: java.lang.reflect.InvocationTargetException
2065.17/590.59	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
2065.17/590.59		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
2065.17/590.59		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
2065.17/590.59		at java.lang.reflect.Method.invoke(Method.java:498)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
2065.17/590.59		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
2065.17/590.59		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
2065.17/590.59		at java.lang.reflect.Method.invoke(Method.java:498)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
2065.17/590.59		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
2065.17/590.59		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
2065.17/590.59		at java.lang.reflect.Method.invoke(Method.java:498)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
2065.17/590.59		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
2065.17/590.59		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
2065.17/590.59		at java.lang.reflect.Method.invoke(Method.java:498)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
2065.17/590.59		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
2065.17/590.59		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
2065.17/590.59		at java.lang.reflect.Method.invoke(Method.java:498)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
2065.17/590.59		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
2065.17/590.59		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
2065.17/590.59		at java.lang.reflect.Method.invoke(Method.java:498)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
2065.17/590.59		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
2065.17/590.59		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
2065.17/590.59		at java.lang.reflect.Method.invoke(Method.java:498)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
2065.17/590.59		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
2065.17/590.59		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
2065.17/590.59		at java.lang.reflect.Method.invoke(Method.java:498)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
2065.17/590.59		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
2065.17/590.59		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
2065.17/590.59		at java.lang.reflect.Method.invoke(Method.java:498)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
2065.17/590.59		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
2065.17/590.59		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
2065.17/590.59		at java.lang.reflect.Method.invoke(Method.java:498)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
2065.17/590.59		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
2065.17/590.59		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
2065.17/590.59		at java.lang.reflect.Method.invoke(Method.java:498)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeExpression(TseitinBasedIntensionCtrEncoder.java:77)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encode(TseitinBasedIntensionCtrEncoder.java:58)
2065.17/590.59		at org.sat4j.csp.constraints3.GenericCtrBuilder.buildCtrSupports(GenericCtrBuilder.java:182)
2065.17/590.59		at org.sat4j.csp.constraints3.GenericCtrBuilder.buildCtrExtension(GenericCtrBuilder.java:83)
2065.17/590.59		at org.sat4j.reader.XMLCSP3Reader.buildCtrExtension(XMLCSP3Reader.java:404)
2065.17/590.59		at org.xcsp.parser.loaders.CtrLoaderInteger.extension(CtrLoaderInteger.java:413)
2065.17/590.59		at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:130)
2065.17/590.59		at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:457)
2065.17/590.59		at org.xcsp.parser.XCallbacks.lambda$loadCtrs$3(XCallbacks.java:440)
2065.17/590.59		at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948)
2065.17/590.59		at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580)
2065.17/590.59		at org.xcsp.parser.XCallbacks.loadCtrs(XCallbacks.java:437)
2065.17/590.59		at org.xcsp.parser.XCallbacks.loadGroup(XCallbacks.java:406)
2065.17/590.59		at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:368)
2065.17/590.59		at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:353)
2065.17/590.59		at org.sat4j.reader.XMLCSP3Reader.loadInstance(XMLCSP3Reader.java:328)
2065.17/590.59		at org.sat4j.reader.XMLCSP3Reader.parseInstance(XMLCSP3Reader.java:293)
2065.17/590.59		at org.sat4j.reader.Reader.parseInstance(Reader.java:73)
2065.17/590.59		at org.sat4j.AbstractLauncher.readProblem(AbstractLauncher.java:201)
2065.17/590.59		at org.sat4j.csp.CSPLauncher.readProblem(CSPLauncher.java:95)
2065.17/590.59		at org.sat4j.AbstractLauncher.run(AbstractLauncher.java:255)
2065.17/590.59		at org.sat4j.csp.CSPLauncher.main(CSPLauncher.java:119)
2065.17/590.59	Caused by: java.lang.reflect.InvocationTargetException
2065.17/590.59		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
2065.17/590.59		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
2065.17/590.59		at java.lang.reflect.Method.invoke(Method.java:498)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
2065.17/590.59		... 77 more
2065.17/590.59	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
2065.17/590.59		... 81 more
2065.17/590.59	Caused by: java.lang.reflect.InvocationTargetException
2065.17/590.59		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
2065.17/590.59		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
2065.17/590.59		at java.lang.reflect.Method.invoke(Method.java:498)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
2065.17/590.59		... 82 more
2065.17/590.59	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
2065.17/590.59		... 86 more
2065.17/590.59	Caused by: java.lang.reflect.InvocationTargetException
2065.17/590.59		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
2065.17/590.59		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
2065.17/590.59		at java.lang.reflect.Method.invoke(Method.java:498)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
2065.17/590.59		... 87 more
2065.17/590.59	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
2065.17/590.59		... 91 more
2065.17/590.59	Caused by: java.lang.reflect.InvocationTargetException
2065.17/590.59		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
2065.17/590.59		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
2065.17/590.59		at java.lang.reflect.Method.invoke(Method.java:498)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
2065.17/590.59		... 92 more
2065.17/590.59	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
2065.17/590.59	Caused by: java.lang.reflect.InvocationTargetException
2065.17/590.59		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
2065.17/590.59		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
2065.17/590.59		at java.lang.reflect.Method.invoke(Method.java:498)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
2065.17/590.59		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
2065.17/590.59		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
2065.17/590.59		at java.lang.reflect.Method.invoke(Method.java:498)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
2065.17/590.59		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
2065.17/590.59		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
2065.17/590.59		at java.lang.reflect.Method.invoke(Method.java:498)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
2065.17/590.59		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
2065.17/590.59		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
2065.17/590.59		at java.lang.reflect.Method.invoke(Method.java:498)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
2065.17/590.59		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
2065.17/590.59		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
2065.17/590.59		at java.lang.reflect.Method.invoke(Method.java:498)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
2065.17/590.59		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
2065.17/590.59		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
2065.17/590.59		at java.lang.reflect.Method.invoke(Method.java:498)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
2065.17/590.59		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
2065.17/590.59		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
2065.17/590.59		at java.lang.reflect.Method.invoke(Method.java:498)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
2065.17/590.59		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
2065.17/590.59		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
2065.17/590.59		at java.lang.reflect.Method.invoke(Method.java:498)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
2065.17/590.59		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
2065.17/590.59		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
2065.17/590.59		at java.lang.reflect.Method.invoke(Method.java:498)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
2065.17/590.59		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
2065.17/590.59		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
2065.17/590.59		at java.lang.reflect.Method.invoke(Method.java:498)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
2065.17/590.59		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
2065.17/590.59		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
2065.17/590.59		at java.lang.reflect.Method.invoke(Method.java:498)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
2065.17/590.59		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
2065.17/590.59		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
2065.17/590.59		at java.lang.reflect.Method.invoke(Method.java:498)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
2065.17/590.59		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
2065.17/590.59		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
2065.17/590.59		at java.lang.reflect.Method.invoke(Method.java:498)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
2065.17/590.59		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
2065.17/590.59		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
2065.17/590.59		at java.lang.reflect.Method.invoke(Method.java:498)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
2065.17/590.59		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
2065.17/590.59		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
2065.17/590.59		at java.lang.reflect.Method.invoke(Method.java:498)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
2065.17/590.59		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
2065.17/590.59		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
2065.17/590.59		at java.lang.reflect.Method.invoke(Method.java:498)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeExpression(TseitinBasedIntensionCtrEncoder.java:77)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encode(TseitinBasedIntensionCtrEncoder.java:58)
2065.17/590.59		at org.sat4j.csp.constraints3.GenericCtrBuilder.buildCtrSupports(GenericCtrBuilder.java:182)
2065.17/590.59		at org.sat4j.csp.constraints3.GenericCtrBuilder.buildCtrExtension(GenericCtrBuilder.java:83)
2065.17/590.59		at org.sat4j.reader.XMLCSP3Reader.buildCtrExtension(XMLCSP3Reader.java:404)
2065.17/590.59		at org.xcsp.parser.loaders.CtrLoaderInteger.extension(CtrLoaderInteger.java:413)
2065.17/590.59		at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:130)
2065.17/590.59		at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:457)
2065.17/590.59		at org.xcsp.parser.XCallbacks.lambda$loadCtrs$3(XCallbacks.java:440)
2065.17/590.59		at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948)
2065.17/590.59		at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580)
2065.17/590.59		at org.xcsp.parser.XCallbacks.loadCtrs(XCallbacks.java:437)
2065.17/590.59		at org.xcsp.parser.XCallbacks.loadGroup(XCallbacks.java:406)
2065.17/590.59		at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:368)
2065.17/590.59		at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:353)
2065.17/590.59		at org.sat4j.reader.XMLCSP3Reader.loadInstance(XMLCSP3Reader.java:328)
2065.17/590.59		at org.sat4j.reader.XMLCSP3Reader.parseInstance(XMLCSP3Reader.java:293)
2065.17/590.59		at org.sat4j.reader.Reader.parseInstance(Reader.java:73)
2065.17/590.59		at org.sat4j.AbstractLauncher.readProblem(AbstractLauncher.java:201)
2065.17/590.59		at org.sat4j.csp.CSPLauncher.readProblem(CSPLauncher.java:95)
2065.17/590.59		at org.sat4j.AbstractLauncher.run(AbstractLauncher.java:255)
2065.17/590.59		at org.sat4j.csp.CSPLauncher.main(CSPLauncher.java:119)
2065.17/590.59	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
2065.17/590.59		... 101 more
2065.17/590.59	Caused by: java.lang.reflect.InvocationTargetException
2065.17/590.59		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
2065.17/590.59		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
2065.17/590.59		at java.lang.reflect.Method.invoke(Method.java:498)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
2065.17/590.59		... 102 more
2065.17/590.59	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
2065.17/590.59		... 106 more
2065.17/590.59	Caused by: java.lang.reflect.InvocationTargetException
2065.17/590.59		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
2065.17/590.59		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
2065.17/590.59		at java.lang.reflect.Method.invoke(Method.java:498)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
2065.17/590.59		... 107 more
2065.17/590.59	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
2065.17/590.59		... 111 more
2065.17/590.59	Caused by: java.lang.reflect.InvocationTargetException
2065.17/590.59		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
2065.17/590.59		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
2065.17/590.59		at java.lang.reflect.Method.invoke(Method.java:498)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
2065.17/590.59		... 112 more
2065.17/590.59	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
2065.17/590.59		... 116 more
2065.17/590.59	Caused by: java.lang.reflect.InvocationTargetException
2065.17/590.59		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
2065.17/590.59		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
2065.17/590.59		at java.lang.reflect.Method.invoke(Method.java:498)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
2065.17/590.59		... 117 more
2065.17/590.59	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:127)
2065.17/590.59		... 121 more
2065.17/590.59	Caused by: java.lang.reflect.InvocationTargetException
2065.17/590.59		at sun.reflect.GeneratedMethodAccessor4.invoke(Unknown Source)
2065.17/590.59		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
2065.17/590.59		at java.lang.reflect.Method.invoke(Method.java:498)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:125)
2065.17/590.59		... 121 more
2065.17/590.59	Caused by: java.lang.OutOfMemoryError: GC overhead limit exceeded
2065.17/590.59		at org.sat4j.core.Vec.ensure(Vec.java:176)
2065.17/590.59		at org.sat4j.core.Vec.push(Vec.java:183)
2065.17/590.59		at org.sat4j.minisat.constraints.cnf.Lits.watch(Lits.java:250)
2065.17/590.59		at org.sat4j.minisat.constraints.cnf.BinaryClause.register(BinaryClause.java:242)
2065.17/590.59		at org.sat4j.minisat.constraints.cnf.OriginalBinaryClause.brandNewClause(OriginalBinaryClause.java:73)
2065.17/590.59		at org.sat4j.pb.constraints.UnitBinaryWLClauseConstructor.constructClause(UnitBinaryWLClauseConstructor.java:54)
2065.17/590.59		at org.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure.constructClause(AbstractPBClauseCardConstrDataStructure.java:225)
2065.17/590.59		at org.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure.createClause(AbstractPBClauseCardConstrDataStructure.java:70)
2065.17/590.59		at org.sat4j.minisat.core.Solver.addClause(Solver.java:426)
2065.17/590.59		at org.sat4j.csp.CspSatSolverDecorator.addClause(CspSatSolverDecorator.java:147)
2065.17/590.59		at org.sat4j.tools.SolverDecorator.addClause(SolverDecorator.java:236)
2065.17/590.59		at org.sat4j.csp.intension.CspToPBSolverDecorator.addClause(CspToPBSolverDecorator.java:85)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.buildImplVar(TseitinBasedIntensionCtrEncoder.java:526)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorEq(TseitinBasedIntensionCtrEncoder.java:390)
2065.17/590.59		at sun.reflect.GeneratedMethodAccessor4.invoke(Unknown Source)
2065.17/590.59		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
2065.17/590.59		at java.lang.reflect.Method.invoke(Method.java:498)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:125)
2065.17/590.59		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
2065.17/590.59		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
2065.17/590.59		at java.lang.reflect.Method.invoke(Method.java:498)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
2065.17/590.59		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
2065.17/590.59		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
2065.17/590.59		at java.lang.reflect.Method.invoke(Method.java:498)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
2065.17/590.59		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
2065.17/590.59		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
2065.17/590.59		at java.lang.reflect.Method.invoke(Method.java:498)
2065.17/590.59		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
2065.17/590.59	
2065.30/590.79	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
2065.30/590.79	c This is free software under the dual EPL/GNU LGPL licenses.
2065.30/590.79	c See www.sat4j.org for details.
2065.30/590.79	c That software uses the Rhino library from the Mozilla project.
2065.30/590.79	c version CUSTOM.v20170705
2065.30/590.79	c java.runtime.name	Java(TM) SE Runtime Environment
2065.30/590.79	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
2065.30/590.79	c java.vm.version	25.131-b11
2065.30/590.79	c java.vm.vendor	Oracle Corporation
2065.30/590.79	c sun.arch.data.model	64
2065.30/590.79	c java.version		1.8.0_131
2065.30/590.79	c os.name		Linux
2065.30/590.79	c os.version		3.10.0-514.16.1.el7.x86_64
2065.30/590.79	c os.arch		amd64
2065.30/590.79	c Free memory 		499604488
2065.30/590.79	c Max memory 		7247757312
2065.30/590.79	c Total memory 		504889344
2065.30/590.79	c Number of processors 	4
2065.30/590.79	c c --- Begin Solver configuration ---
2065.30/590.79	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e
2065.30/590.79	c Learn all clauses as in MiniSAT
2065.30/590.79	c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
2065.30/590.79	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
2065.30/590.79	c No reason simplification
2065.30/590.79	c Glucose 2.1 dynamic restart strategy
2065.30/590.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
2065.30/590.79	c timeout=2147483s
2065.30/590.79	c DB Simplification allowed=false
2065.30/590.79	c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1
2065.30/590.79	c --- End Solver configuration ---
2065.30/590.79	c starts		: 0
2065.30/590.79	c conflicts		: 0
2065.30/590.79	c decisions		: 0
2065.30/590.79	c propagations		: 0
2065.30/590.79	c inspects		: 0
2065.30/590.79	c shortcuts		: 0
2065.30/590.79	c learnt literals	: 0
2065.30/590.79	c learnt binary clauses	: 0
2065.30/590.79	c learnt ternary clauses	: 0
2065.30/590.79	c learnt constraints	: 0
2065.30/590.79	c ignored constraints	: 0
2065.30/590.79	c root simplifications	: 0
2065.30/590.79	c removed literals (reason simplification)	: 0
2065.30/590.79	c reason swapping (by a shorter reason)	: 0
2065.30/590.79	c Calls to reduceDB	: 0
2065.30/590.79	c Number of update (reduction) of LBD	: 0
2065.30/590.79	c Imported unit clauses	: 0
2065.30/590.79	c number of reductions to clauses (during analyze)	: 0
2065.30/590.79	c number of learned constraints concerned by reduction	: 0
2065.30/590.79	c number of learning phase by resolution	: 0
2065.30/590.79	c number of learning phase by cutting planes	: 0
2065.30/590.79	c number of rounding to 1 operations	: 0
2065.30/590.79	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
2065.30/590.79	c number of reductions of the coefficients by power 2 	: 0
2065.30/590.79	c number of right shift for reduction by power 2 	: 0
2065.30/590.79	c number of reductions of the coefficients by GCD over coefficients 	: 0
2065.30/590.79	c speed (assignments/second)	: 0.0
2065.30/590.79	c non guided choices	0
2065.30/590.79	c learnt constraints type 
2065.30/590.79	s UNKNOWN

Verifier Data


Watcher Data 

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 (10796 MiB free)
  memory of node 1: 16384 MiB (14180 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263414-1502629407/watcher-4263414-1502629407 -o /tmp/evaluation-result-4263414-1502629407/solver-4263414-1502629407 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1502619133-1624 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263414-1502629407.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
Current StackSize limit: 8192 KiB

solver pid=3870, runsolver pid=3867

[startup+0.10016 s]*
/proc/loadavg: 2.33 2.17 2.22 4/217 3885
/proc/meminfo: memFree=25555572/32770624 swapFree=67108860/67108860
[pid=3870] ppid=3867 vsize=10555400 memory=31336 CPUtime=0.12 cores=1,3,5,7
/proc/3870/stat : 3870 (java) S 3867 3870 31794 0 -1 1077944320 6380 0 0 0 11 1 0 0 20 0 15 0 96028833 10808729600 7834 33554432000 4194304 4196468 140725742423424 140725742405968 140410949705463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
/proc/3870/statm: 2638850 7834 2814 1 0 2627263 0
[pid=3870/tid=3872] ppid=3867 vsize=10555400 memory=8326441112148417179 CPUtime=0.09 cores=1,3,5,7
/proc/3870/task/3872/stat : 3872 (java) R 3867 3870 31794 0 -1 4202560 4234 0 0 0 8 1 0 0 20 0 15 0 96028834 10808729600 7834 33554432000 4194304 4196468 140725742423424 140410953930528 140410933785950 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3873] ppid=3867 vsize=10555400 memory=-7025452035940392864 CPUtime=0 cores=1,3,5,7
/proc/3870/task/3873/stat : 3873 (java) S 3867 3870 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96028834 10808729600 7834 33554432000 4194304 4196468 140725742423424 140410875779472 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3874] ppid=3867 vsize=10555400 memory=139653550552704 CPUtime=0 cores=1,3,5,7
/proc/3870/task/3874/stat : 3874 (java) S 3867 3870 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96028835 10808729600 7834 33554432000 4194304 4196468 140725742423424 140410874726672 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3875] ppid=3867 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3870/task/3875/stat : 3875 (java) S 3867 3870 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96028835 10808729600 7834 33554432000 4194304 4196468 140725742423424 140410873674384 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3876] ppid=3867 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3870/task/3876/stat : 3876 (java) S 3867 3870 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96028835 10808729600 7834 33554432000 4194304 4196468 140725742423424 140410872621584 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3877] ppid=3867 vsize=10555400 memory=139653550552704 CPUtime=0 cores=1,3,5,7
/proc/3870/task/3877/stat : 3877 (java) S 3867 3870 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96028836 10808729600 7834 33554432000 4194304 4196468 140725742423424 140410440739440 140410949716610 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3878] ppid=3867 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3870/task/3878/stat : 3878 (java) S 3867 3870 31794 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96028836 10808729600 7834 33554432000 4194304 4196468 140725742423424 140410439685408 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3879] ppid=3867 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3870/task/3879/stat : 3879 (java) S 3867 3870 31794 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96028836 10808729600 7834 33554432000 4194304 4196468 140725742423424 140410438633072 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3880] ppid=3867 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3870/task/3880/stat : 3880 (java) S 3867 3870 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96028839 10808729600 7834 33554432000 4194304 4196468 140725742423424 140410437581392 140410949724059 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3881] ppid=3867 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3870/task/3881/stat : 3881 (java) S 3867 3870 31794 0 -1 1077944384 428 0 0 0 0 0 0 0 20 0 15 0 96028839 10808729600 7834 33554432000 4194304 4196468 140725742423424 140410436528240 140410949716610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3882] ppid=3867 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3870/task/3882/stat : 3882 (java) S 3867 3870 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96028839 10808729600 7834 33554432000 4194304 4196468 140725742423424 140410435475440 140410949716610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3883] ppid=3867 vsize=10555400 memory=139653550552704 CPUtime=0.02 cores=1,3,5,7
/proc/3870/task/3883/stat : 3883 (java) S 3867 3870 31794 0 -1 1077944384 351 0 0 0 2 0 0 0 20 0 15 0 96028839 10808729600 7834 33554432000 4194304 4196468 140725742423424 140410434423152 140410949716610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3884] ppid=3867 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3870/task/3884/stat : 3884 (java) S 3867 3870 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96028839 10808729600 7834 33554432000 4194304 4196468 140725742423424 140410433370592 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3885] ppid=3867 vsize=10555400 memory=139653550552704 CPUtime=0 cores=1,3,5,7
/proc/3870/task/3885/stat : 3885 (java) S 3867 3870 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96028839 10808729600 7834 33554432000 4194304 4196468 140725742423424 140410432318384 140410949716610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 31336 KiB

[startup+0.210713 s]*
/proc/loadavg: 2.33 2.17 2.22 4/217 3885
/proc/meminfo: memFree=25545832/32770624 swapFree=67108860/67108860
[pid=3870] ppid=3867 vsize=10555400 memory=43400 CPUtime=0.31 cores=1,3,5,7
/proc/3870/stat : 3870 (java) S 3867 3870 31794 0 -1 1077944320 7410 0 0 0 29 2 0 0 20 0 15 0 96028833 10808729600 10850 33554432000 4194304 4196468 140725742423424 140725742405968 140410949705463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
/proc/3870/statm: 2638850 10850 2957 1 0 2627263 0
[pid=3870/tid=3872] ppid=3867 vsize=10555400 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/3870/task/3872/stat : 3872 (java) R 3867 3870 31794 0 -1 4202560 4517 0 0 0 19 1 0 0 20 0 15 0 96028834 10808729600 10850 33554432000 4194304 4196468 140725742423424 140410953945080 140410551860823 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3873] ppid=3867 vsize=10555400 memory=331 CPUtime=0 cores=1,3,5,7
/proc/3870/task/3873/stat : 3873 (java) S 3867 3870 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96028834 10808729600 10850 33554432000 4194304 4196468 140725742423424 140410875779472 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3874] ppid=3867 vsize=10555400 memory=3977161392012244640 CPUtime=0 cores=1,3,5,7
/proc/3870/task/3874/stat : 3874 (java) S 3867 3870 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96028835 10808729600 10850 33554432000 4194304 4196468 140725742423424 140410874726672 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3875] ppid=3867 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3870/task/3875/stat : 3875 (java) S 3867 3870 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96028835 10808729600 10850 33554432000 4194304 4196468 140725742423424 140410873674384 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3876] ppid=3867 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3870/task/3876/stat : 3876 (java) S 3867 3870 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96028835 10808729600 10850 33554432000 4194304 4196468 140725742423424 140410872621584 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3877] ppid=3867 vsize=10555400 memory=139653550552704 CPUtime=0 cores=1,3,5,7
/proc/3870/task/3877/stat : 3877 (java) S 3867 3870 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96028836 10808729600 10850 33554432000 4194304 4196468 140725742423424 140410440739440 140410949716610 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3878] ppid=3867 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3870/task/3878/stat : 3878 (java) S 3867 3870 31794 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96028836 10808729600 10850 33554432000 4194304 4196468 140725742423424 140410439685408 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3879] ppid=3867 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3870/task/3879/stat : 3879 (java) S 3867 3870 31794 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96028836 10808729600 11362 33554432000 4194304 4196468 140725742423424 140410438633072 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3880] ppid=3867 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3870/task/3880/stat : 3880 (java) S 3867 3870 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96028839 10808729600 11362 33554432000 4194304 4196468 140725742423424 140410437581392 140410949724059 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3881] ppid=3867 vsize=10555400 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/3870/task/3881/stat : 3881 (java) S 3867 3870 31794 0 -1 1077944384 645 0 0 0 2 0 0 0 20 0 15 0 96028839 10808729600 11362 33554432000 4194304 4196468 140725742423424 140410436528240 140410949716610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3882] ppid=3867 vsize=10555400 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/3870/task/3882/stat : 3882 (java) R 3867 3870 31794 0 -1 4202560 404 0 0 0 2 0 0 0 20 0 15 0 96028839 10808729600 11362 33554432000 4194304 4196468 140725742423424 140410435475440 140410933710678 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3883] ppid=3867 vsize=10555400 memory=139653550552704 CPUtime=0.05 cores=1,3,5,7
/proc/3870/task/3883/stat : 3883 (java) S 3867 3870 31794 0 -1 1077944384 477 0 0 0 5 0 0 0 20 0 15 0 96028839 10808729600 11362 33554432000 4194304 4196468 140725742423424 140410434423152 140410949716610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3884] ppid=3867 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3870/task/3884/stat : 3884 (java) S 3867 3870 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96028839 10808729600 11362 33554432000 4194304 4196468 140725742423424 140410433370592 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3885] ppid=3867 vsize=10555400 memory=139653550552704 CPUtime=0 cores=1,3,5,7
/proc/3870/task/3885/stat : 3885 (java) S 3867 3870 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96028839 10808729600 11362 33554432000 4194304 4196468 140725742423424 140410432318384 140410949716610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 43400 KiB

[startup+0.310667 s]*
/proc/loadavg: 2.33 2.17 2.22 3/217 3885
/proc/meminfo: memFree=25528644/32770624 swapFree=67108860/67108860
[pid=3870] ppid=3867 vsize=10555476 memory=58640 CPUtime=0.51 cores=1,3,5,7
/proc/3870/stat : 3870 (java) S 3867 3870 31794 0 -1 1077944320 8347 0 0 0 48 3 0 0 20 0 15 0 96028833 10808807424 14660 33554432000 4194304 4196468 140725742423424 140725742405968 140410949705463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
/proc/3870/statm: 2638869 14660 3003 1 0 2627263 0
[pid=3870/tid=3872] ppid=3867 vsize=10555476 memory=53476 CPUtime=0.3 cores=1,3,5,7
/proc/3870/task/3872/stat : 3872 (java) R 3867 3870 31794 0 -1 4202560 5098 0 0 0 28 2 0 0 20 0 15 0 96028834 10808807424 14716 33554432000 4194304 4196468 140725742423424 140410953939328 140410550884224 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3873] ppid=3867 vsize=10555476 memory=35 CPUtime=0 cores=1,3,5,7
/proc/3870/task/3873/stat : 3873 (java) S 3867 3870 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96028834 10808807424 14716 33554432000 4194304 4196468 140725742423424 140410875779472 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3874] ppid=3867 vsize=10555476 memory=139653550610720 CPUtime=0 cores=1,3,5,7
/proc/3870/task/3874/stat : 3874 (java) S 3867 3870 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96028835 10808807424 14716 33554432000 4194304 4196468 140725742423424 140410874726672 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3875] ppid=3867 vsize=10555476 memory=60388 CPUtime=0 cores=1,3,5,7
/proc/3870/task/3875/stat : 3875 (java) S 3867 3870 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96028835 10808807424 14716 33554432000 4194304 4196468 140725742423424 140410873674384 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3876] ppid=3867 vsize=10555476 memory=35 CPUtime=0 cores=1,3,5,7
/proc/3870/task/3876/stat : 3876 (java) S 3867 3870 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96028835 10808807424 14716 33554432000 4194304 4196468 140725742423424 140410872621584 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3877] ppid=3867 vsize=10555476 memory=139653550617632 CPUtime=0 cores=1,3,5,7
/proc/3870/task/3877/stat : 3877 (java) S 3867 3870 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96028836 10808807424 14716 33554432000 4194304 4196468 140725742423424 140410440739440 140410949716610 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3878] ppid=3867 vsize=10555476 memory=35 CPUtime=0 cores=1,3,5,7
/proc/3870/task/3878/stat : 3878 (java) S 3867 3870 31794 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96028836 10808807424 14716 33554432000 4194304 4196468 140725742423424 140410439685408 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3879] ppid=3867 vsize=10555476 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/3870/task/3879/stat : 3879 (java) S 3867 3870 31794 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96028836 10808807424 14716 33554432000 4194304 4196468 140725742423424 140410438633072 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3880] ppid=3867 vsize=10555476 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/3870/task/3880/stat : 3880 (java) S 3867 3870 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96028839 10808807424 14716 33554432000 4194304 4196468 140725742423424 140410437581392 140410949724059 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3881] ppid=3867 vsize=10555476 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/3870/task/3881/stat : 3881 (java) S 3867 3870 31794 0 -1 1077944384 698 0 0 0 3 0 0 0 20 0 15 0 96028839 10808807424 14716 33554432000 4194304 4196468 140725742423424 140410436528240 140410949716610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3882] ppid=3867 vsize=10555476 memory=139653411884559 CPUtime=0.05 cores=1,3,5,7
/proc/3870/task/3882/stat : 3882 (java) S 3867 3870 31794 0 -1 1077944384 441 0 0 0 5 0 0 0 20 0 15 0 96028839 10808807424 14716 33554432000 4194304 4196468 140725742423424 140410435475440 140410949716610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3883] ppid=3867 vsize=10555476 memory=139653550556283 CPUtime=0.11 cores=1,3,5,7
/proc/3870/task/3883/stat : 3883 (java) S 3867 3870 31794 0 -1 1077944384 750 0 0 0 11 0 0 0 20 0 15 0 96028839 10808807424 14716 33554432000 4194304 4196468 140725742423424 140410434423152 140410949716610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3884] ppid=3867 vsize=10555476 memory=139653411889103 CPUtime=0 cores=1,3,5,7
/proc/3870/task/3884/stat : 3884 (java) S 3867 3870 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96028839 10808807424 14716 33554432000 4194304 4196468 140725742423424 140410433370592 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3885] ppid=3867 vsize=10555476 memory=279306962458560 CPUtime=0 cores=1,3,5,7
/proc/3870/task/3885/stat : 3885 (java) S 3867 3870 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96028839 10808807424 14716 33554432000 4194304 4196468 140725742423424 140410432318384 140410949716610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 58640 KiB

[startup+0.709306 s]
/proc/loadavg: 2.33 2.17 2.22 5/217 3885
/proc/meminfo: memFree=25448848/32770624 swapFree=67108860/67108860
[pid=3870] ppid=3867 vsize=10555476 memory=233748 CPUtime=1.5 cores=1,3,5,7
/proc/3870/stat : 3870 (java) S 3867 3870 31794 0 -1 1077944320 10879 0 0 0 143 7 0 0 20 0 15 0 96028833 10808807424 58437 33554432000 4194304 4196468 140725742423424 140725742405968 140410949705463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
/proc/3870/statm: 2638869 58437 3109 1 0 2627263 0
[pid=3870/tid=3872] ppid=3867 vsize=10555476 memory=2372 CPUtime=0.65 cores=1,3,5,7
/proc/3870/task/3872/stat : 3872 (java) S 3867 3870 31794 0 -1 1077944384 5309 0 0 0 62 3 0 0 20 0 15 0 96028834 10808807424 58437 33554432000 4194304 4196468 140725742423424 140410953942880 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3873] ppid=3867 vsize=10555476 memory=6872598998417432672 CPUtime=0.01 cores=1,3,5,7
/proc/3870/task/3873/stat : 3873 (java) R 3867 3870 31794 0 -1 4202560 24 0 0 0 1 0 0 0 20 0 15 0 96028834 10808807424 58437 33554432000 4194304 4196468 140725742423424 140410875779472 140410934732882 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3874] ppid=3867 vsize=10555476 memory=4612 CPUtime=0.01 cores=1,3,5,7
/proc/3870/task/3874/stat : 3874 (java) R 3867 3870 31794 0 -1 4202560 155 0 0 0 1 0 0 0 20 0 15 0 96028835 10808807424 58437 33554432000 4194304 4196468 140725742423424 140410874726672 140410934729267 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3875] ppid=3867 vsize=10555476 memory=15872 CPUtime=0 cores=1,3,5,7
/proc/3870/task/3875/stat : 3875 (java) R 3867 3870 31794 0 -1 4202560 118 0 0 0 0 0 0 0 20 0 15 0 96028835 10808807424 58437 33554432000 4194304 4196468 140725742423424 140410873674584 140410934729187 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3876] ppid=3867 vsize=10555476 memory=18448 CPUtime=0 cores=1,3,5,7
/proc/3870/task/3876/stat : 3876 (java) R 3867 3870 31794 0 -1 4202560 56 0 0 0 0 0 0 0 20 0 15 0 96028835 10808807424 58437 33554432000 4194304 4196468 140725742423424 140410872621584 140410934732882 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3877] ppid=3867 vsize=10555476 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/3870/task/3877/stat : 3877 (java) S 3867 3870 31794 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 96028836 10808807424 58437 33554432000 4194304 4196468 140725742423424 140410440737952 140410949715669 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3878] ppid=3867 vsize=10555476 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/3870/task/3878/stat : 3878 (java) S 3867 3870 31794 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96028836 10808807424 58437 33554432000 4194304 4196468 140725742423424 140410439685408 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3879] ppid=3867 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3870/task/3879/stat : 3879 (java) S 3867 3870 31794 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96028836 10808807424 58437 33554432000 4194304 4196468 140725742423424 140410438633072 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3880] ppid=3867 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3870/task/3880/stat : 3880 (java) S 3867 3870 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96028839 10808807424 58437 33554432000 4194304 4196468 140725742423424 140410437581392 140410949724059 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3881] ppid=3867 vsize=10555476 memory=0 CPUtime=0.28 cores=1,3,5,7
/proc/3870/task/3881/stat : 3881 (java) S 3867 3870 31794 0 -1 1077944384 1483 0 0 0 28 0 0 0 20 0 15 0 96028839 10808807424 58437 33554432000 4194304 4196468 140725742423424 140410436513232 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3882] ppid=3867 vsize=10555476 memory=0 CPUtime=0.28 cores=1,3,5,7
/proc/3870/task/3882/stat : 3882 (java) S 3867 3870 31794 0 -1 1077944384 1225 0 0 0 28 0 0 0 20 0 15 0 96028839 10808807424 58437 33554432000 4194304 4196468 140725742423424 140410435475440 140410949716610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3883] ppid=3867 vsize=10555476 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/3870/task/3883/stat : 3883 (java) S 3867 3870 31794 0 -1 1077944384 1066 0 0 0 19 0 0 0 20 0 15 0 96028839 10808807424 58437 33554432000 4194304 4196468 140725742423424 140410434423152 140410949716610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3884] ppid=3867 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3870/task/3884/stat : 3884 (java) S 3867 3870 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96028839 10808807424 58437 33554432000 4194304 4196468 140725742423424 140410433370592 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3885] ppid=3867 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3870/task/3885/stat : 3885 (java) S 3867 3870 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96028839 10808807424 58437 33554432000 4194304 4196468 140725742423424 140410432318384 140410949716610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
Current children cumulated CPU time: 1.5 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 233748 KiB

[startup+1.50134 s]
/proc/loadavg: 2.33 2.17 2.22 6/217 3885
/proc/meminfo: memFree=25209300/32770624 swapFree=67108860/67108860
[pid=3870] ppid=3867 vsize=10555476 memory=380228 CPUtime=3.18 cores=1,3,5,7
/proc/3870/stat : 3870 (java) S 3867 3870 31794 0 -1 1077944320 12256 0 0 0 306 12 0 0 20 0 15 0 96028833 10808807424 95057 33554432000 4194304 4196468 140725742423424 140725742405968 140410949705463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
/proc/3870/statm: 2638869 95057 3117 1 0 2627263 0
[pid=3870/tid=3872] ppid=3867 vsize=10555476 memory=3467832393215390526 CPUtime=1.41 cores=1,3,5,7
/proc/3870/task/3872/stat : 3872 (java) R 3867 3870 31794 0 -1 4202560 5428 0 0 0 136 5 0 0 20 0 15 0 96028834 10808807424 95057 33554432000 4194304 4196468 140725742423424 140410953940504 140410554391818 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3873] ppid=3867 vsize=10555476 memory=280544 CPUtime=0.03 cores=1,3,5,7
/proc/3870/task/3873/stat : 3873 (java) S 3867 3870 31794 0 -1 1077944384 44 0 0 0 2 1 0 0 20 0 15 0 96028834 10808807424 95057 33554432000 4194304 4196468 140725742423424 140410875779472 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3874] ppid=3867 vsize=10555476 memory=2241 CPUtime=0.04 cores=1,3,5,7
/proc/3870/task/3874/stat : 3874 (java) S 3867 3870 31794 0 -1 1077944384 168 0 0 0 3 1 0 0 20 0 15 0 96028835 10808807424 95057 33554432000 4194304 4196468 140725742423424 140410874726672 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3875] ppid=3867 vsize=10555476 memory=4612 CPUtime=0.02 cores=1,3,5,7
/proc/3870/task/3875/stat : 3875 (java) S 3867 3870 31794 0 -1 1077944384 130 0 0 0 1 1 0 0 20 0 15 0 96028835 10808807424 95057 33554432000 4194304 4196468 140725742423424 140410873674384 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3876] ppid=3867 vsize=10555476 memory=15872 CPUtime=0.03 cores=1,3,5,7
/proc/3870/task/3876/stat : 3876 (java) S 3867 3870 31794 0 -1 1077944384 68 0 0 0 2 1 0 0 20 0 15 0 96028835 10808807424 95057 33554432000 4194304 4196468 140725742423424 140410872621584 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3877] ppid=3867 vsize=10555476 memory=18448 CPUtime=0 cores=1,3,5,7
/proc/3870/task/3877/stat : 3877 (java) S 3867 3870 31794 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 15 0 96028836 10808807424 95057 33554432000 4194304 4196468 140725742423424 140410440739440 140410949716610 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0

################
# More data... #
################


[startup+585.601 s]
/proc/loadavg: 5.26 4.42 3.32 9/215 3982
/proc/meminfo: memFree=13562240/32770624 swapFree=67108860/67108860
[pid=3870] ppid=3867 vsize=10555476 memory=8173728 CPUtime=2049.08 cores=1,3,5,7
/proc/3870/stat : 3870 (java) S 3867 3870 31794 0 -1 1077944320 1046921 0 0 0 204069 839 0 0 20 0 15 0 96028833 10808807424 2043432 33554432000 4194304 4196468 140725742423424 140725742405968 140410949705463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
/proc/3870/statm: 2638869 2043432 3157 1 0 2627263 0
[pid=3870/tid=3872] ppid=3867 vsize=10555476 memory=8173720 CPUtime=41.96 cores=1,3,5,7
/proc/3870/task/3872/stat : 3872 (java) S 3867 3870 31794 0 -1 1077944384 19823 0 0 0 4182 14 0 0 20 0 15 0 96028834 10808807424 2043432 33554432000 4194304 4196468 140725742423424 140410953944240 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3873] ppid=3867 vsize=10555476 memory=8173724 CPUtime=488.88 cores=1,3,5,7
/proc/3870/task/3873/stat : 3873 (java) R 3867 3870 31794 0 -1 4202560 276051 0 0 0 48686 202 0 0 20 0 15 0 96028834 10808807424 2043432 33554432000 4194304 4196468 140725742423424 140410875779672 140410934403238 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3874] ppid=3867 vsize=10555476 memory=792 CPUtime=488.25 cores=1,3,5,7
/proc/3870/task/3874/stat : 3874 (java) R 3867 3870 31794 0 -1 4202560 234028 0 0 0 48637 188 0 0 20 0 15 0 96028835 10808807424 2043432 33554432000 4194304 4196468 140725742423424 140410874726256 140410942333671 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3875] ppid=3867 vsize=10555476 memory=8112282956445269571 CPUtime=487.34 cores=1,3,5,7
/proc/3870/task/3875/stat : 3875 (java) R 3867 3870 31794 0 -1 4202560 243603 0 0 0 48521 213 0 0 20 0 15 0 96028835 10808807424 2043432 33554432000 4194304 4196468 140725742423424 140410873674584 140410934690759 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3876] ppid=3867 vsize=10555476 memory=1952 CPUtime=489.55 cores=1,3,5,7
/proc/3870/task/3876/stat : 3876 (java) R 3867 3870 31794 0 -1 4202560 145465 0 0 0 48750 205 0 0 20 0 15 0 96028835 10808807424 2043432 33554432000 4194304 4196468 140725742423424 140410872621784 140410934656546 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3877] ppid=3867 vsize=10555476 memory=8552 CPUtime=48.1 cores=1,3,5,7
/proc/3870/task/3877/stat : 3877 (java) S 3867 3870 31794 0 -1 1077944384 100089 0 0 0 4804 6 0 0 20 0 15 0 96028836 10808807424 2043432 33554432000 4194304 4196468 140725742423424 140410440737760 140410949715669 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3878] ppid=3867 vsize=10555476 memory=2540 CPUtime=0 cores=1,3,5,7
/proc/3870/task/3878/stat : 3878 (java) S 3867 3870 31794 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 96028836 10808807424 2043432 33554432000 4194304 4196468 140725742423424 140410439685472 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3879] ppid=3867 vsize=10555476 memory=2784 CPUtime=0 cores=1,3,5,7
/proc/3870/task/3879/stat : 3879 (java) S 3867 3870 31794 0 -1 1077944384 109 0 0 0 0 0 0 0 20 0 15 0 96028836 10808807424 2043432 33554432000 4194304 4196468 140725742423424 140410438633088 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3880] ppid=3867 vsize=10555476 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/3870/task/3880/stat : 3880 (java) S 3867 3870 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96028839 10808807424 2043432 33554432000 4194304 4196468 140725742423424 140410437581392 140410949724059 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3881] ppid=3867 vsize=10555476 memory=8112282956445269571 CPUtime=2.04 cores=1,3,5,7
/proc/3870/task/3881/stat : 3881 (java) S 3867 3870 31794 0 -1 1077944384 10642 0 0 0 203 1 0 0 20 0 15 0 96028839 10808807424 2043432 33554432000 4194304 4196468 140725742423424 140410436528000 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3882] ppid=3867 vsize=10555476 memory=8173716 CPUtime=2.09 cores=1,3,5,7
/proc/3870/task/3882/stat : 3882 (java) S 3867 3870 31794 0 -1 1077944384 11537 0 0 0 207 2 0 0 20 0 15 0 96028839 10808807424 2043432 33554432000 4194304 4196468 140725742423424 140410435475440 140410949716610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3883] ppid=3867 vsize=10555476 memory=4044 CPUtime=0.33 cores=1,3,5,7
/proc/3870/task/3883/stat : 3883 (java) S 3867 3870 31794 0 -1 1077944384 2782 0 0 0 33 0 0 0 20 0 15 0 96028839 10808807424 2043432 33554432000 4194304 4196468 140725742423424 140410434422048 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3884] ppid=3867 vsize=10555476 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/3870/task/3884/stat : 3884 (java) S 3867 3870 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96028839 10808807424 2043432 33554432000 4194304 4196468 140725742423424 140410433370592 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3885] ppid=3867 vsize=10555476 memory=8112282956445269571 CPUtime=0.44 cores=1,3,5,7
/proc/3870/task/3885/stat : 3885 (java) S 3867 3870 31794 0 -1 1077944384 1436 0 0 0 22 22 0 0 20 0 15 0 96028839 10808807424 2043432 33554432000 4194304 4196468 140725742423424 140410432318384 140410949716610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
Current children cumulated CPU time: 2049.08 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8173728 KiB

[startup+588.801 s]
/proc/loadavg: 5.26 4.42 3.32 9/215 3982
/proc/meminfo: memFree=13293580/32770624 swapFree=67108860/67108860
[pid=3870] ppid=3867 vsize=10555476 memory=8173728 CPUtime=2061.65 cores=1,3,5,7
/proc/3870/stat : 3870 (java) S 3867 3870 31794 0 -1 1077944320 1047241 0 0 0 205325 840 0 0 20 0 15 0 96028833 10808807424 2043432 33554432000 4194304 4196468 140725742423424 140725742405968 140410949705463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
/proc/3870/statm: 2638869 2043432 3157 1 0 2627263 0
[pid=3870/tid=3872] ppid=3867 vsize=10555476 memory=6005106468179698240 CPUtime=41.96 cores=1,3,5,7
/proc/3870/task/3872/stat : 3872 (java) S 3867 3870 31794 0 -1 1077944384 19823 0 0 0 4182 14 0 0 20 0 15 0 96028834 10808807424 2043432 33554432000 4194304 4196468 140725742423424 140410953944240 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3873] ppid=3867 vsize=10555476 memory=8173716 CPUtime=492 cores=1,3,5,7
/proc/3870/task/3873/stat : 3873 (java) R 3867 3870 31794 0 -1 4202560 276057 0 0 0 48998 202 0 0 20 0 15 0 96028834 10808807424 2043432 33554432000 4194304 4196468 140725742423424 140410875779672 140410934406471 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3874] ppid=3867 vsize=10555476 memory=1196 CPUtime=491.38 cores=1,3,5,7
/proc/3870/task/3874/stat : 3874 (java) R 3867 3870 31794 0 -1 4202560 234165 0 0 0 48949 189 0 0 20 0 15 0 96028835 10808807424 2043432 33554432000 4194304 4196468 140725742423424 140410874726872 140410931315292 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3875] ppid=3867 vsize=10555476 memory=4612 CPUtime=490.47 cores=1,3,5,7
/proc/3870/task/3875/stat : 3875 (java) R 3867 3870 31794 0 -1 4202560 243740 0 0 0 48833 214 0 0 20 0 15 0 96028835 10808807424 2043432 33554432000 4194304 4196468 140725742423424 140410873674272 140410934695093 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3876] ppid=3867 vsize=10555476 memory=1420 CPUtime=492.74 cores=1,3,5,7
/proc/3870/task/3876/stat : 3876 (java) R 3867 3870 31794 0 -1 4202560 145505 0 0 0 49069 205 0 0 20 0 15 0 96028835 10808807424 2043432 33554432000 4194304 4196468 140725742423424 140410872621784 140410934162915 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3877] ppid=3867 vsize=10555476 memory=11032 CPUtime=48.11 cores=1,3,5,7
/proc/3870/task/3877/stat : 3877 (java) S 3867 3870 31794 0 -1 1077944384 100089 0 0 0 4805 6 0 0 20 0 15 0 96028836 10808807424 2043432 33554432000 4194304 4196468 140725742423424 140410440737984 140410949715669 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3878] ppid=3867 vsize=10555476 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/3870/task/3878/stat : 3878 (java) S 3867 3870 31794 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 96028836 10808807424 2043432 33554432000 4194304 4196468 140725742423424 140410439685472 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3879] ppid=3867 vsize=10555476 memory=2428 CPUtime=0 cores=1,3,5,7
/proc/3870/task/3879/stat : 3879 (java) S 3867 3870 31794 0 -1 1077944384 109 0 0 0 0 0 0 0 20 0 15 0 96028836 10808807424 2043432 33554432000 4194304 4196468 140725742423424 140410438633088 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3880] ppid=3867 vsize=10555476 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/3870/task/3880/stat : 3880 (java) S 3867 3870 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96028839 10808807424 2043432 33554432000 4194304 4196468 140725742423424 140410437581392 140410949724059 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3881] ppid=3867 vsize=10555476 memory=1420 CPUtime=2.04 cores=1,3,5,7
/proc/3870/task/3881/stat : 3881 (java) S 3867 3870 31794 0 -1 1077944384 10642 0 0 0 203 1 0 0 20 0 15 0 96028839 10808807424 2043432 33554432000 4194304 4196468 140725742423424 140410436528000 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3882] ppid=3867 vsize=10555476 memory=8173720 CPUtime=2.09 cores=1,3,5,7
/proc/3870/task/3882/stat : 3882 (java) S 3867 3870 31794 0 -1 1077944384 11537 0 0 0 207 2 0 0 20 0 15 0 96028839 10808807424 2043432 33554432000 4194304 4196468 140725742423424 140410435475488 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3883] ppid=3867 vsize=10555476 memory=8173716 CPUtime=0.33 cores=1,3,5,7
/proc/3870/task/3883/stat : 3883 (java) S 3867 3870 31794 0 -1 1077944384 2782 0 0 0 33 0 0 0 20 0 15 0 96028839 10808807424 2043432 33554432000 4194304 4196468 140725742423424 140410434422048 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3884] ppid=3867 vsize=10555476 memory=15632 CPUtime=0 cores=1,3,5,7
/proc/3870/task/3884/stat : 3884 (java) S 3867 3870 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96028839 10808807424 2043432 33554432000 4194304 4196468 140725742423424 140410433370592 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3885] ppid=3867 vsize=10555476 memory=8173716 CPUtime=0.44 cores=1,3,5,7
/proc/3870/task/3885/stat : 3885 (java) S 3867 3870 31794 0 -1 1077944384 1436 0 0 0 22 22 0 0 20 0 15 0 96028839 10808807424 2043432 33554432000 4194304 4196468 140725742423424 140410432318384 140410949716610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
Current children cumulated CPU time: 2061.65 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8173728 KiB

[startup+589.601 s]
/proc/loadavg: 5.39 4.46 3.34 9/215 3982
/proc/meminfo: memFree=13277072/32770624 swapFree=67108860/67108860
[pid=3870] ppid=3867 vsize=10555476 memory=8173728 CPUtime=2064.28 cores=1,3,5,7
/proc/3870/stat : 3870 (java) S 3867 3870 31794 0 -1 1077944320 1047259 0 0 0 205588 840 0 0 20 0 15 0 96028833 10808807424 2043432 33554432000 4194304 4196468 140725742423424 140725742405968 140410949705463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
/proc/3870/statm: 2638869 2043432 3157 1 0 2627263 0
[pid=3870/tid=3872] ppid=3867 vsize=10555476 memory=8173648 CPUtime=41.96 cores=1,3,5,7
/proc/3870/task/3872/stat : 3872 (java) S 3867 3870 31794 0 -1 1077944384 19823 0 0 0 4182 14 0 0 20 0 15 0 96028834 10808807424 2043432 33554432000 4194304 4196468 140725742423424 140410953944240 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3873] ppid=3867 vsize=10555476 memory=4140 CPUtime=492.61 cores=1,3,5,7
/proc/3870/task/3873/stat : 3873 (java) S 3867 3870 31794 0 -1 1077944384 276065 0 0 0 49059 202 0 0 20 0 15 0 96028834 10808807424 2043432 33554432000 4194304 4196468 140725742423424 140410875779472 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3874] ppid=3867 vsize=10555476 memory=27512 CPUtime=492 cores=1,3,5,7
/proc/3870/task/3874/stat : 3874 (java) S 3867 3870 31794 0 -1 1077944384 234167 0 0 0 49011 189 0 0 20 0 15 0 96028835 10808807424 2043432 33554432000 4194304 4196468 140725742423424 140410874726672 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3875] ppid=3867 vsize=10555476 memory=1420 CPUtime=491.07 cores=1,3,5,7
/proc/3870/task/3875/stat : 3875 (java) S 3867 3870 31794 0 -1 1077944384 243742 0 0 0 48893 214 0 0 20 0 15 0 96028835 10808807424 2043432 33554432000 4194304 4196468 140725742423424 140410873674384 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3876] ppid=3867 vsize=10555476 memory=11032 CPUtime=493.36 cores=1,3,5,7
/proc/3870/task/3876/stat : 3876 (java) S 3867 3870 31794 0 -1 1077944384 145511 0 0 0 49131 205 0 0 20 0 15 0 96028835 10808807424 2043432 33554432000 4194304 4196468 140725742423424 140410872621584 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3877] ppid=3867 vsize=10555476 memory=1712 CPUtime=48.29 cores=1,3,5,7
/proc/3870/task/3877/stat : 3877 (java) R 3867 3870 31794 0 -1 4202560 100089 0 0 0 4823 6 0 0 20 0 15 0 96028836 10808807424 2043432 33554432000 4194304 4196468 140725742423424 140410440737872 140410934163054 0 0 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3878] ppid=3867 vsize=10555476 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/3870/task/3878/stat : 3878 (java) S 3867 3870 31794 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 96028836 10808807424 2043432 33554432000 4194304 4196468 140725742423424 140410439685472 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3879] ppid=3867 vsize=10555476 memory=8552 CPUtime=0 cores=1,3,5,7
/proc/3870/task/3879/stat : 3879 (java) S 3867 3870 31794 0 -1 1077944384 109 0 0 0 0 0 0 0 20 0 15 0 96028836 10808807424 2043432 33554432000 4194304 4196468 140725742423424 140410438633088 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3880] ppid=3867 vsize=10555476 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/3870/task/3880/stat : 3880 (java) S 3867 3870 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96028839 10808807424 2043432 33554432000 4194304 4196468 140725742423424 140410437581392 140410949724059 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3881] ppid=3867 vsize=10555476 memory=4044 CPUtime=2.04 cores=1,3,5,7
/proc/3870/task/3881/stat : 3881 (java) S 3867 3870 31794 0 -1 1077944384 10642 0 0 0 203 1 0 0 20 0 15 0 96028839 10808807424 2043432 33554432000 4194304 4196468 140725742423424 140410436528000 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3882] ppid=3867 vsize=10555476 memory=1792 CPUtime=2.09 cores=1,3,5,7
/proc/3870/task/3882/stat : 3882 (java) S 3867 3870 31794 0 -1 1077944384 11537 0 0 0 207 2 0 0 20 0 15 0 96028839 10808807424 2043432 33554432000 4194304 4196468 140725742423424 140410435475488 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3883] ppid=3867 vsize=10555476 memory=636 CPUtime=0.33 cores=1,3,5,7
/proc/3870/task/3883/stat : 3883 (java) S 3867 3870 31794 0 -1 1077944384 2782 0 0 0 33 0 0 0 20 0 15 0 96028839 10808807424 2043432 33554432000 4194304 4196468 140725742423424 140410434422048 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3884] ppid=3867 vsize=10555476 memory=956 CPUtime=0 cores=1,3,5,7
/proc/3870/task/3884/stat : 3884 (java) S 3867 3870 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96028839 10808807424 2043432 33554432000 4194304 4196468 140725742423424 140410433370592 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3885] ppid=3867 vsize=10555476 memory=8112282956445269571 CPUtime=0.44 cores=1,3,5,7
/proc/3870/task/3885/stat : 3885 (java) S 3867 3870 31794 0 -1 1077944384 1436 0 0 0 22 22 0 0 20 0 15 0 96028839 10808807424 2043432 33554432000 4194304 4196468 140725742423424 140410432318384 140410949716610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
Current children cumulated CPU time: 2064.28 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8173728 KiB

[startup+590.401 s]
/proc/loadavg: 5.39 4.46 3.34 6/215 3982
/proc/meminfo: memFree=13270804/32770624 swapFree=67108860/67108860
[pid=3870] ppid=3867 vsize=10555476 memory=8173728 CPUtime=2065.07 cores=1,3,5,7
/proc/3870/stat : 3870 (java) S 3867 3870 31794 0 -1 1077944320 1047259 0 0 0 205667 840 0 0 20 0 15 0 96028833 10808807424 2043432 33554432000 4194304 4196468 140725742423424 140725742405968 140410949705463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
/proc/3870/statm: 2638869 2043432 3157 1 0 2627263 0
[pid=3870/tid=3872] ppid=3867 vsize=10555476 memory=18448 CPUtime=41.96 cores=1,3,5,7
/proc/3870/task/3872/stat : 3872 (java) S 3867 3870 31794 0 -1 1077944384 19823 0 0 0 4182 14 0 0 20 0 15 0 96028834 10808807424 2043432 33554432000 4194304 4196468 140725742423424 140410953944240 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3873] ppid=3867 vsize=10555476 memory=15632 CPUtime=492.61 cores=1,3,5,7
/proc/3870/task/3873/stat : 3873 (java) S 3867 3870 31794 0 -1 1077944384 276065 0 0 0 49059 202 0 0 20 0 15 0 96028834 10808807424 2043432 33554432000 4194304 4196468 140725742423424 140410875779472 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3874] ppid=3867 vsize=10555476 memory=8112282956445269571 CPUtime=492 cores=1,3,5,7
/proc/3870/task/3874/stat : 3874 (java) S 3867 3870 31794 0 -1 1077944384 234167 0 0 0 49011 189 0 0 20 0 15 0 96028835 10808807424 2043432 33554432000 4194304 4196468 140725742423424 140410874726672 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3875] ppid=3867 vsize=10555476 memory=1004 CPUtime=491.07 cores=1,3,5,7
/proc/3870/task/3875/stat : 3875 (java) S 3867 3870 31794 0 -1 1077944384 243742 0 0 0 48893 214 0 0 20 0 15 0 96028835 10808807424 2043432 33554432000 4194304 4196468 140725742423424 140410873674384 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3876] ppid=3867 vsize=10555476 memory=5296 CPUtime=493.36 cores=1,3,5,7
/proc/3870/task/3876/stat : 3876 (java) S 3867 3870 31794 0 -1 1077944384 145511 0 0 0 49131 205 0 0 20 0 15 0 96028835 10808807424 2043432 33554432000 4194304 4196468 140725742423424 140410872621584 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3877] ppid=3867 vsize=10555476 memory=1196 CPUtime=49.09 cores=1,3,5,7
/proc/3870/task/3877/stat : 3877 (java) R 3867 3870 31794 0 -1 4202560 100089 0 0 0 4903 6 0 0 20 0 15 0 96028836 10808807424 2043432 33554432000 4194304 4196468 140725742423424 140410440737872 140410934163094 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3878] ppid=3867 vsize=10555476 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/3870/task/3878/stat : 3878 (java) S 3867 3870 31794 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 96028836 10808807424 2043432 33554432000 4194304 4196468 140725742423424 140410439685472 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3879] ppid=3867 vsize=10555476 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/3870/task/3879/stat : 3879 (java) S 3867 3870 31794 0 -1 1077944384 109 0 0 0 0 0 0 0 20 0 15 0 96028836 10808807424 2043432 33554432000 4194304 4196468 140725742423424 140410438633088 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3880] ppid=3867 vsize=10555476 memory=8552 CPUtime=0 cores=1,3,5,7
/proc/3870/task/3880/stat : 3880 (java) S 3867 3870 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96028839 10808807424 2043432 33554432000 4194304 4196468 140725742423424 140410437581392 140410949724059 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3881] ppid=3867 vsize=10555476 memory=1224 CPUtime=2.04 cores=1,3,5,7
/proc/3870/task/3881/stat : 3881 (java) S 3867 3870 31794 0 -1 1077944384 10642 0 0 0 203 1 0 0 20 0 15 0 96028839 10808807424 2043432 33554432000 4194304 4196468 140725742423424 140410436528000 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3882] ppid=3867 vsize=10555476 memory=792 CPUtime=2.09 cores=1,3,5,7
/proc/3870/task/3882/stat : 3882 (java) S 3867 3870 31794 0 -1 1077944384 11537 0 0 0 207 2 0 0 20 0 15 0 96028839 10808807424 2043432 33554432000 4194304 4196468 140725742423424 140410435475488 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3883] ppid=3867 vsize=10555476 memory=1004 CPUtime=0.33 cores=1,3,5,7
/proc/3870/task/3883/stat : 3883 (java) S 3867 3870 31794 0 -1 1077944384 2782 0 0 0 33 0 0 0 20 0 15 0 96028839 10808807424 2043432 33554432000 4194304 4196468 140725742423424 140410434422048 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3884] ppid=3867 vsize=10555476 memory=5296 CPUtime=0 cores=1,3,5,7
/proc/3870/task/3884/stat : 3884 (java) S 3867 3870 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96028839 10808807424 2043432 33554432000 4194304 4196468 140725742423424 140410433370592 140410949715669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
[pid=3870/tid=3885] ppid=3867 vsize=10555476 memory=1196 CPUtime=0.44 cores=1,3,5,7
/proc/3870/task/3885/stat : 3885 (java) S 3867 3870 31794 0 -1 1077944384 1436 0 0 0 22 22 0 0 20 0 15 0 96028839 10808807424 2043432 33554432000 4194304 4196468 140725742423424 140410432318384 140410949716610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 15785984 140725742429318 140725742429471 140725742429471 140725742432207 0
Current children cumulated CPU time: 2065.07 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8173728 KiB

[startup+590.801 s]*
/proc/loadavg: 5.39 4.46 3.34 6/202 3984
/proc/meminfo: memFree=14369056/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0
Real time (s): 590.842
CPU time (s): 2065.36
CPU user time (s): 2056.9
CPU system time (s): 8.46349
CPU usage (%): 349.562
Max. virtual memory (cumulated for all children) (KiB): 10688756
Max. memory (cumulated for all children) (KiB): 8174700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2056.9
system time used= 8.46349
maximum resident set size= 8174944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1048659
page faults= 0
swaps= 0
block input operations= 0
block output operations= 752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 34265
involuntary context switches= 26263


# summary of solver processes directly reported to runsolver:
#   pid: 3870
#   total CPU time (s): 2065.36
#   total CPU user time (s): 2056.9
#   total CPU system time (s): 8.46349

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.4684 second user time and 5.89865 second system time

The end

Launcher Data 

Begin job on node107 at 2017-08-13 14:49:09
IDJOB=4263414
IDBENCH=133256
IDSOLVER=2651
FILE ID=node107/4263414-1502629407
RUNJOBID= node107-1502619133-1624
PBS_JOBID= 20628298
Free space on /tmp= 61652 MiB

SOLVER NAME= sat4j-CSP 2017-07-05
BENCH NAME= XCSP17/MagicSquare/MagicSquare-table-s1/MagicSquare-5-table.xml
COMMAND LINE= java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4263414-1502629407/watcher-4263414-1502629407 -o /tmp/evaluation-result-4263414-1502629407/solver-4263414-1502629407 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1502619133-1624 --watchdog 2580  java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263414-1502629407.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 61ed6ce3ae3f811d4d1b54502d982bfc
RANDOM SEED=420356929

node107.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.84
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.84
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.84
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.84
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:        25575940 kB
MemAvailable:   28316144 kB
Buffers:          153104 kB
Cached:          2877472 kB
SwapCached:            0 kB
Active:          4138680 kB
Inactive:        2618456 kB
Active(anon):    3728860 kB
Inactive(anon):    24972 kB
Active(file):     409820 kB
Inactive(file):  2593484 kB
Unevictable:        6328 kB
Mlocked:            6328 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8704 kB
Writeback:             0 kB
AnonPages:       3736436 kB
Mapped:            55140 kB
Shmem:             25228 kB
Slab:             130660 kB
SReclaimable:     105472 kB
SUnreclaim:        25188 kB
KernelStack:        3744 kB
PageTables:        12376 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5116544 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3602432 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 61652 MiB
End job on node107 at 2017-08-13 14:59:00