Trace number 4263513

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? 823.51898 264.82501

General information on the benchmark

NameQRandom/QRandom-mdd-7-25-5/
mdd-7-25-5-56-16.xml
MD5SUM9d7406c968f8af9220e5e662d0bd5052
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 benchmark340.207
Satisfiable
(Un)Satisfiability was proved
Number of variables25
Number of constraints56
Number of domains1
Minimum domain size5
Maximum domain size5
Distribution of domain sizes[{"size":5,"count":25}]
Minimum variable degree8
Maximum variable degree24
Distribution of variable degrees[{"degree":8,"count":1},{"degree":9,"count":1},{"degree":10,"count":1},{"degree":11,"count":1},{"degree":13,"count":2},{"degree":14,"count":2},{"degree":15,"count":2},{"degree":16,"count":4},{"degree":17,"count":3},{"degree":18,"count":3},{"degree":19,"count":3},{"degree":20,"count":1},{"degree":24,"count":1}]
Minimum constraint arity7
Maximum constraint arity7
Distribution of constraint arities[{"arity":7,"count":56}]
Number of extensional constraints56
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":56}]
Optimization problemNO
Type of objective

Solver Data 

823.36/264.57	Aug 13, 2017 1:45:47 PM org.sat4j.reader.XMLCSP3Reader parseInstance
823.36/264.57	INFO: Runtime exception
823.36/264.57	java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93)
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeExpression(TseitinBasedIntensionCtrEncoder.java:77)
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encode(TseitinBasedIntensionCtrEncoder.java:58)
823.36/264.57		at org.sat4j.csp.constraints3.GenericCtrBuilder.buildCtrSupports(GenericCtrBuilder.java:182)
823.36/264.57		at org.sat4j.csp.constraints3.GenericCtrBuilder.buildCtrExtension(GenericCtrBuilder.java:83)
823.36/264.57		at org.sat4j.reader.XMLCSP3Reader.buildCtrExtension(XMLCSP3Reader.java:404)
823.36/264.57		at org.xcsp.parser.loaders.CtrLoaderInteger.extension(CtrLoaderInteger.java:413)
823.36/264.57		at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:130)
823.36/264.57		at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:457)
823.36/264.57		at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:373)
823.36/264.57		at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:353)
823.36/264.57		at org.sat4j.reader.XMLCSP3Reader.loadInstance(XMLCSP3Reader.java:328)
823.36/264.57		at org.sat4j.reader.XMLCSP3Reader.parseInstance(XMLCSP3Reader.java:293)
823.36/264.57		at org.sat4j.reader.Reader.parseInstance(Reader.java:73)
823.36/264.57		at org.sat4j.AbstractLauncher.readProblem(AbstractLauncher.java:201)
823.36/264.57		at org.sat4j.csp.CSPLauncher.readProblem(CSPLauncher.java:95)
823.36/264.57		at org.sat4j.AbstractLauncher.run(AbstractLauncher.java:255)
823.36/264.57		at org.sat4j.csp.CSPLauncher.main(CSPLauncher.java:119)
823.36/264.57	Caused by: java.lang.reflect.InvocationTargetException
823.36/264.57		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
823.36/264.57		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
823.36/264.57		at java.lang.reflect.Method.invoke(Method.java:498)
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
823.36/264.57		... 17 more
823.36/264.57	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93)
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
823.36/264.57		... 21 more
823.36/264.57	Caused by: java.lang.reflect.InvocationTargetException
823.36/264.57		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
823.36/264.57		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
823.36/264.57		at java.lang.reflect.Method.invoke(Method.java:498)
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
823.36/264.57		... 22 more
823.36/264.57	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93)
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
823.36/264.57		... 26 more
823.36/264.57	Caused by: java.lang.reflect.InvocationTargetException
823.36/264.57		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
823.36/264.57		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
823.36/264.57		at java.lang.reflect.Method.invoke(Method.java:498)
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
823.36/264.57		... 27 more
823.36/264.57	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93)
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
823.36/264.57		... 31 more
823.36/264.57	Caused by: java.lang.reflect.InvocationTargetException
823.36/264.57		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
823.36/264.57		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
823.36/264.57		at java.lang.reflect.Method.invoke(Method.java:498)
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
823.36/264.57		... 32 more
823.36/264.57	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93)
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
823.36/264.57		... 36 more
823.36/264.57	Caused by: java.lang.reflect.InvocationTargetException
823.36/264.57		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
823.36/264.57		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
823.36/264.57		at java.lang.reflect.Method.invoke(Method.java:498)
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
823.36/264.57		... 37 more
823.36/264.57	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93)
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
823.36/264.57		... 41 more
823.36/264.57	Caused by: java.lang.reflect.InvocationTargetException
823.36/264.57		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
823.36/264.57		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
823.36/264.57		at java.lang.reflect.Method.invoke(Method.java:498)
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
823.36/264.57		... 42 more
823.36/264.57	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93)
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
823.36/264.57		... 46 more
823.36/264.57	Caused by: java.lang.reflect.InvocationTargetException
823.36/264.57		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
823.36/264.57		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
823.36/264.57		at java.lang.reflect.Method.invoke(Method.java:498)
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
823.36/264.57		... 47 more
823.36/264.57	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93)
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
823.36/264.57		... 51 more
823.36/264.57	Caused by: java.lang.reflect.InvocationTargetException
823.36/264.57		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
823.36/264.57		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
823.36/264.57		at java.lang.reflect.Method.invoke(Method.java:498)
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
823.36/264.57		... 52 more
823.36/264.57	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93)
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
823.36/264.57		... 56 more
823.36/264.57	Caused by: java.lang.reflect.InvocationTargetException
823.36/264.57		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
823.36/264.57		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
823.36/264.57		at java.lang.reflect.Method.invoke(Method.java:498)
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
823.36/264.57		... 57 more
823.36/264.57	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93)
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
823.36/264.57		... 61 more
823.36/264.57	Caused by: java.lang.reflect.InvocationTargetException
823.36/264.57		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
823.36/264.57		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
823.36/264.57		at java.lang.reflect.Method.invoke(Method.java:498)
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
823.36/264.57		... 62 more
823.36/264.57	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93)
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
823.36/264.57		... 66 more
823.36/264.57	Caused by: java.lang.reflect.InvocationTargetException
823.36/264.57		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
823.36/264.57		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
823.36/264.57		at java.lang.reflect.Method.invoke(Method.java:498)
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
823.36/264.57		... 67 more
823.36/264.57	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93)
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
823.36/264.57		... 71 more
823.36/264.57	Caused by: java.lang.reflect.InvocationTargetException
823.36/264.57		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
823.36/264.57		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
823.36/264.57		at java.lang.reflect.Method.invoke(Method.java:498)
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
823.36/264.57		... 72 more
823.36/264.57	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93)
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
823.36/264.57		... 76 more
823.36/264.57	Caused by: java.lang.reflect.InvocationTargetException
823.36/264.57		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
823.36/264.57		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
823.36/264.57		at java.lang.reflect.Method.invoke(Method.java:498)
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
823.36/264.57		... 77 more
823.36/264.57	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93)
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
823.36/264.57		... 81 more
823.36/264.57	Caused by: java.lang.reflect.InvocationTargetException
823.36/264.57		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
823.36/264.57		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
823.36/264.57		at java.lang.reflect.Method.invoke(Method.java:498)
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
823.36/264.57		... 82 more
823.36/264.57	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93)
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
823.36/264.57		... 86 more
823.36/264.57	Caused by: java.lang.reflect.InvocationTargetException
823.36/264.57		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
823.36/264.57		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
823.36/264.57		at java.lang.reflect.Method.invoke(Method.java:498)
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
823.36/264.57		... 87 more
823.36/264.57	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93)
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
823.36/264.57		... 91 more
823.36/264.57	Caused by: java.lang.reflect.InvocationTargetException
823.36/264.57		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
823.36/264.57		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
823.36/264.57		at java.lang.reflect.Method.invoke(Method.java:498)
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
823.36/264.57		... 92 more
823.36/264.57	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93)
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
823.36/264.57		... 96 more
823.36/264.57	Caused by: java.lang.reflect.InvocationTargetException
823.36/264.57		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
823.36/264.57		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
823.36/264.57		at java.lang.reflect.Method.invoke(Method.java:498)
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
823.36/264.57		... 97 more
823.36/264.57	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93)
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
823.36/264.57		... 101 more
823.36/264.57	Caused by: java.lang.reflect.InvocationTargetException
823.36/264.57		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
823.36/264.57		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
823.36/264.57		at java.lang.reflect.Method.invoke(Method.java:498)
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
823.36/264.57		... 102 more
823.36/264.57	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93)
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
823.36/264.57		... 106 more
823.36/264.57	Caused by: java.lang.reflect.InvocationTargetException
823.36/264.57		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
823.36/264.57		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
823.36/264.57		at java.lang.reflect.Method.invoke(Method.java:498)
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
823.36/264.57		... 107 more
823.36/264.57	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:127)
823.36/264.57		... 111 more
823.36/264.57	Caused by: java.lang.reflect.InvocationTargetException
823.36/264.57		at sun.reflect.GeneratedMethodAccessor4.invoke(Unknown Source)
823.36/264.57		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
823.36/264.57		at java.lang.reflect.Method.invoke(Method.java:498)
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:125)
823.36/264.57		... 111 more
823.36/264.57	Caused by: java.lang.OutOfMemoryError: Java heap space
823.36/264.57		at org.sat4j.minisat.constraints.cnf.Lits.init(Lits.java:87)
823.36/264.57		at org.sat4j.minisat.constraints.cnf.Lits.ensurePool(Lits.java:155)
823.36/264.57		at org.sat4j.minisat.constraints.cnf.Lits.nextFreeVarId(Lits.java:286)
823.36/264.57		at org.sat4j.minisat.core.Solver.nextFreeVarId(Solver.java:2130)
823.36/264.57		at org.sat4j.csp.CspSatSolverDecorator.nextFreeVarId(CspSatSolverDecorator.java:115)
823.36/264.57		at org.sat4j.tools.SolverDecorator.nextFreeVarId(SolverDecorator.java:421)
823.36/264.57		at org.sat4j.csp.intension.CspToPBSolverDecorator.newSatSolverVar(CspToPBSolverDecorator.java:94)
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.buildImplVar(TseitinBasedIntensionCtrEncoder.java:522)
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorEq(TseitinBasedIntensionCtrEncoder.java:390)
823.36/264.57		at sun.reflect.GeneratedMethodAccessor4.invoke(Unknown Source)
823.36/264.57		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
823.36/264.57		at java.lang.reflect.Method.invoke(Method.java:498)
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:125)
823.36/264.57		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
823.36/264.57		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
823.36/264.57		at java.lang.reflect.Method.invoke(Method.java:498)
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
823.36/264.57		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
823.36/264.57		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
823.36/264.57		at java.lang.reflect.Method.invoke(Method.java:498)
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
823.36/264.57		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
823.36/264.57		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
823.36/264.57		at java.lang.reflect.Method.invoke(Method.java:498)
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
823.36/264.57		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
823.36/264.57		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
823.36/264.57		at java.lang.reflect.Method.invoke(Method.java:498)
823.36/264.57		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
823.36/264.57	
823.46/264.77	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
823.46/264.77	c This is free software under the dual EPL/GNU LGPL licenses.
823.46/264.77	c See www.sat4j.org for details.
823.46/264.77	c That software uses the Rhino library from the Mozilla project.
823.46/264.77	c version CUSTOM.v20170705
823.46/264.77	c java.runtime.name	Java(TM) SE Runtime Environment
823.46/264.77	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
823.46/264.77	c java.vm.version	25.131-b11
823.46/264.77	c java.vm.vendor	Oracle Corporation
823.46/264.77	c sun.arch.data.model	64
823.46/264.77	c java.version		1.8.0_131
823.46/264.77	c os.name		Linux
823.46/264.77	c os.version		3.10.0-514.16.1.el7.x86_64
823.46/264.77	c os.arch		amd64
823.46/264.77	c Free memory 		499604488
823.46/264.77	c Max memory 		7247757312
823.46/264.77	c Total memory 		504889344
823.46/264.77	c Number of processors 	4
823.46/264.77	c c --- Begin Solver configuration ---
823.46/264.77	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e
823.46/264.77	c Learn all clauses as in MiniSAT
823.46/264.77	c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
823.46/264.77	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
823.46/264.77	c No reason simplification
823.46/264.77	c Glucose 2.1 dynamic restart strategy
823.46/264.77	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
823.46/264.77	c timeout=2147483s
823.46/264.77	c DB Simplification allowed=false
823.46/264.77	c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1
823.46/264.77	c --- End Solver configuration ---
823.46/264.77	c starts		: 0
823.46/264.77	c conflicts		: 0
823.46/264.77	c decisions		: 0
823.46/264.77	c propagations		: 0
823.46/264.77	c inspects		: 0
823.46/264.77	c shortcuts		: 0
823.46/264.77	c learnt literals	: 0
823.46/264.77	c learnt binary clauses	: 0
823.46/264.77	c learnt ternary clauses	: 0
823.46/264.77	c learnt constraints	: 0
823.46/264.77	c ignored constraints	: 0
823.46/264.77	c root simplifications	: 0
823.46/264.77	c removed literals (reason simplification)	: 0
823.46/264.77	c reason swapping (by a shorter reason)	: 0
823.46/264.77	c Calls to reduceDB	: 0
823.46/264.77	c Number of update (reduction) of LBD	: 0
823.46/264.77	c Imported unit clauses	: 0
823.46/264.77	c number of reductions to clauses (during analyze)	: 0
823.46/264.77	c number of learned constraints concerned by reduction	: 0
823.46/264.77	c number of learning phase by resolution	: 0
823.46/264.77	c number of learning phase by cutting planes	: 0
823.46/264.77	c number of rounding to 1 operations	: 0
823.46/264.77	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
823.46/264.77	c number of reductions of the coefficients by power 2 	: 0
823.46/264.77	c number of right shift for reduction by power 2 	: 0
823.46/264.77	c number of reductions of the coefficients by GCD over coefficients 	: 0
823.46/264.77	c speed (assignments/second)	: 0.0
823.46/264.77	c non guided choices	0
823.46/264.77	c learnt constraints type 
823.46/264.77	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 (11163 MiB free)
  memory of node 1: 16384 MiB (15397 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263513-1502625328/watcher-4263513-1502625328 -o /tmp/evaluation-result-4263513-1502625328/solver-4263513-1502625328 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502623975-28611 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263513-1502625328.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=28767, runsolver pid=28764
Current StackSize limit: 8192 KiB


[startup+0.100114 s]*
/proc/loadavg: 2.28 2.10 2.01 3/204 28773
/proc/meminfo: memFree=27190092/32770624 swapFree=67108860/67108860
[pid=28767] ppid=28764 vsize=10018544 memory=17804 CPUtime=0.01 cores=1,3,5,7
/proc/28767/stat : 28767 (java) S 28764 28767 897 0 -1 1077944320 3763 0 0 0 1 0 0 0 20 0 7 0 64753534 10258989056 4451 18446744073709551615 4194304 4196468 140723520647728 140723520630272 140212223258359 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
/proc/28767/statm: 2504636 4451 2022 1 0 2494133 0
[pid=28767/tid=28769] ppid=28764 vsize=10018544 memory=8318255677412212789 CPUtime=0.01 cores=1,3,5,7
/proc/28767/task/28769/stat : 28769 (java) R 28764 28767 897 0 -1 4202560 2459 0 0 0 1 0 0 0 20 0 7 0 64753543 10258989056 4451 18446744073709551615 4194304 4196468 140723520647728 140212227500816 140212207338846 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28770] ppid=28764 vsize=10018544 memory=288230591823085922 CPUtime=0 cores=1,3,5,7
/proc/28767/task/28770/stat : 28770 (java) S 28764 28767 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 64753543 10258989056 4451 18446744073709551615 4194304 4196468 140723520647728 140212164294928 140212223268565 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28771] ppid=28764 vsize=10018544 memory=288371073759434368 CPUtime=0 cores=1,3,5,7
/proc/28767/task/28771/stat : 28771 (java) S 28764 28767 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 64753543 10258989056 4451 18446744073709551615 4194304 4196468 140723520647728 140212163242384 140212223268565 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28772] ppid=28764 vsize=10018544 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28767/task/28772/stat : 28772 (java) S 28764 28767 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 64753543 10258989056 4451 18446744073709551615 4194304 4196468 140723520647728 140212162189840 140212223268565 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28773] ppid=28764 vsize=10018544 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28767/task/28773/stat : 28773 (java) S 28764 28767 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 64753543 10258989056 4451 18446744073709551615 4194304 4196468 140723520647728 140211830778512 140212223268565 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28774] ppid=28764 vsize=10018544 memory=140697607722624 CPUtime=0 cores=1,3,5,7
/proc/28767/task/28774/stat : 28774 (java) S 28764 28767 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 64753545 10258989056 4451 18446744073709551615 4194304 4196468 140723520647728 140211719510512 140212223269506 0 0 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 10018544 KiB
Current children cumulated memory: 17804 KiB

[startup+0.209971 s]*
/proc/loadavg: 2.28 2.10 2.01 5/213 28782
/proc/meminfo: memFree=27182444/32770624 swapFree=67108860/67108860
[pid=28767] ppid=28764 vsize=10551156 memory=26720 CPUtime=0.09 cores=1,3,5,7
/proc/28767/stat : 28767 (java) S 28764 28767 897 0 -1 1077944320 5184 0 0 0 8 1 0 0 20 0 15 0 64753534 10804383744 6680 18446744073709551615 4194304 4196468 140723520647728 140723520630272 140212223258359 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
/proc/28767/statm: 2637789 6680 2740 1 0 2627261 0
[pid=28767/tid=28769] ppid=28764 vsize=10551156 memory=8316850467074736180 CPUtime=0.07 cores=1,3,5,7
/proc/28767/task/28769/stat : 28769 (java) R 28764 28767 897 0 -1 4202560 3153 0 0 0 7 0 0 0 20 0 15 0 64753543 10804383744 6680 18446744073709551615 4194304 4196468 140723520647728 140212227497936 140212207338846 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28770] ppid=28764 vsize=10551156 memory=12946 CPUtime=0 cores=1,3,5,7
/proc/28767/task/28770/stat : 28770 (java) S 28764 28767 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64753543 10804383744 6680 18446744073709551615 4194304 4196468 140723520647728 140212164294928 140212223268565 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28771] ppid=28764 vsize=10551156 memory=288371073759434368 CPUtime=0 cores=1,3,5,7
/proc/28767/task/28771/stat : 28771 (java) S 28764 28767 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64753543 10804383744 6680 18446744073709551615 4194304 4196468 140723520647728 140212163242384 140212223268565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28772] ppid=28764 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28767/task/28772/stat : 28772 (java) S 28764 28767 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64753543 10804383744 6680 18446744073709551615 4194304 4196468 140723520647728 140212162189840 140212223268565 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28773] ppid=28764 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28767/task/28773/stat : 28773 (java) S 28764 28767 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64753543 10804383744 6680 18446744073709551615 4194304 4196468 140723520647728 140211830778512 140212223268565 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28774] ppid=28764 vsize=10551156 memory=140697607722624 CPUtime=0 cores=1,3,5,7
/proc/28767/task/28774/stat : 28774 (java) S 28764 28767 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64753545 10804383744 6680 18446744073709551615 4194304 4196468 140723520647728 140211719510512 140212223269506 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28775] ppid=28764 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28767/task/28775/stat : 28775 (java) S 28764 28767 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64753545 10804383744 6680 18446744073709551615 4194304 4196468 140723520647728 140211718456736 140212223268565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28776] ppid=28764 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28767/task/28776/stat : 28776 (java) S 28764 28767 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64753545 10804383744 6680 18446744073709551615 4194304 4196468 140723520647728 140211717404144 140212223268565 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28777] ppid=28764 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28767/task/28777/stat : 28777 (java) S 28764 28767 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64753548 10804383744 6680 18446744073709551615 4194304 4196468 140723520647728 140211716352720 140212223276955 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28778] ppid=28764 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28767/task/28778/stat : 28778 (java) S 28764 28767 897 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 15 0 64753548 10804383744 6680 18446744073709551615 4194304 4196468 140723520647728 140211715299312 140212223269506 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28779] ppid=28764 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28767/task/28779/stat : 28779 (java) S 28764 28767 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64753548 10804383744 6680 18446744073709551615 4194304 4196468 140723520647728 140211714246768 140212223269506 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28780] ppid=28764 vsize=10551156 memory=140697607722624 CPUtime=0 cores=1,3,5,7
/proc/28767/task/28780/stat : 28780 (java) S 28764 28767 897 0 -1 1077944384 246 0 0 0 0 0 0 0 20 0 15 0 64753548 10804383744 6680 18446744073709551615 4194304 4196468 140723520647728 140211713194224 140212223269506 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28781] ppid=28764 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28767/task/28781/stat : 28781 (java) S 28764 28767 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64753548 10804383744 6680 18446744073709551615 4194304 4196468 140723520647728 140211712141920 140212223268565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28782] ppid=28764 vsize=10551156 memory=140697607722624 CPUtime=0 cores=1,3,5,7
/proc/28767/task/28782/stat : 28782 (java) S 28764 28767 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64753553 10804383744 6680 18446744073709551615 4194304 4196468 140723520647728 140211711089456 140212223269506 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 26720 KiB

[startup+0.310276 s]*
/proc/loadavg: 2.28 2.10 2.01 4/213 28782
/proc/meminfo: memFree=27171932/32770624 swapFree=67108860/67108860
[pid=28767] ppid=28764 vsize=10551156 memory=36464 CPUtime=0.24 cores=1,3,5,7
/proc/28767/stat : 28767 (java) S 28764 28767 897 0 -1 1077944320 8398 0 0 0 22 2 0 0 20 0 15 0 64753534 10804383744 9116 18446744073709551615 4194304 4196468 140723520647728 140723520630272 140212223258359 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
/proc/28767/statm: 2637789 9116 2858 1 0 2627261 0
[pid=28767/tid=28769] ppid=28764 vsize=10551156 memory=8316850467074736180 CPUtime=0.17 cores=1,3,5,7
/proc/28767/task/28769/stat : 28769 (java) R 28764 28767 897 0 -1 4202560 6067 0 0 0 16 1 0 0 20 0 15 0 64753543 10804383744 9116 18446744073709551615 4194304 4196468 140723520647728 140212227479248 140212207338876 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28770] ppid=28764 vsize=10551156 memory=12946 CPUtime=0 cores=1,3,5,7
/proc/28767/task/28770/stat : 28770 (java) S 28764 28767 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64753543 10804383744 9116 18446744073709551615 4194304 4196468 140723520647728 140212164294928 140212223268565 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28771] ppid=28764 vsize=10551156 memory=315238110235123840 CPUtime=0 cores=1,3,5,7
/proc/28767/task/28771/stat : 28771 (java) S 28764 28767 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64753543 10804383744 9116 18446744073709551615 4194304 4196468 140723520647728 140212163242384 140212223268565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28772] ppid=28764 vsize=10551156 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/28767/task/28772/stat : 28772 (java) S 28764 28767 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64753543 10804383744 9116 18446744073709551615 4194304 4196468 140723520647728 140212162189840 140212223268565 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28773] ppid=28764 vsize=10551156 memory=3472328296227679279 CPUtime=0 cores=1,3,5,7
/proc/28767/task/28773/stat : 28773 (java) S 28764 28767 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64753543 10804383744 9116 18446744073709551615 4194304 4196468 140723520647728 140211830778512 140212223268565 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28774] ppid=28764 vsize=10551156 memory=3472468993835140784 CPUtime=0 cores=1,3,5,7
/proc/28767/task/28774/stat : 28774 (java) S 28764 28767 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64753545 10804383744 9116 18446744073709551615 4194304 4196468 140723520647728 140211719510512 140212223269506 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28775] ppid=28764 vsize=10551156 memory=7929211899428221448 CPUtime=0 cores=1,3,5,7
/proc/28767/task/28775/stat : 28775 (java) S 28764 28767 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64753545 10804383744 9116 18446744073709551615 4194304 4196468 140723520647728 140211718456736 140212223268565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28776] ppid=28764 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28767/task/28776/stat : 28776 (java) S 28764 28767 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64753545 10804383744 9116 18446744073709551615 4194304 4196468 140723520647728 140211717404144 140212223268565 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28777] ppid=28764 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28767/task/28777/stat : 28777 (java) S 28764 28767 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64753548 10804383744 9116 18446744073709551615 4194304 4196468 140723520647728 140211716352720 140212223276955 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28778] ppid=28764 vsize=10551156 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/28767/task/28778/stat : 28778 (java) S 28764 28767 897 0 -1 1077944384 487 0 0 0 1 0 0 0 20 0 15 0 64753548 10804383744 9116 18446744073709551615 4194304 4196468 140723520647728 140211715299312 140212223269506 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28779] ppid=28764 vsize=10551156 memory=3472323898181169199 CPUtime=0.01 cores=1,3,5,7
/proc/28767/task/28779/stat : 28779 (java) S 28764 28767 897 0 -1 1077944384 95 0 0 0 1 0 0 0 20 0 15 0 64753548 10804383744 9116 18446744073709551615 4194304 4196468 140723520647728 140211714246768 140212223269506 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28780] ppid=28764 vsize=10551156 memory=8386792603916389102 CPUtime=0.04 cores=1,3,5,7
/proc/28767/task/28780/stat : 28780 (java) S 28764 28767 897 0 -1 1077944384 384 0 0 0 4 0 0 0 20 0 15 0 64753548 10804383744 9116 18446744073709551615 4194304 4196468 140723520647728 140211713194224 140212223269506 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28781] ppid=28764 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28767/task/28781/stat : 28781 (java) S 28764 28767 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64753548 10804383744 9116 18446744073709551615 4194304 4196468 140723520647728 140211712141920 140212223268565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28782] ppid=28764 vsize=10551156 memory=140697607722624 CPUtime=0 cores=1,3,5,7
/proc/28767/task/28782/stat : 28782 (java) S 28764 28767 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64753553 10804383744 9116 18446744073709551615 4194304 4196468 140723520647728 140211711089456 140212223269506 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 36464 KiB

[startup+0.706783 s]
/proc/loadavg: 2.28 2.10 2.01 3/213 28782
/proc/meminfo: memFree=27100720/32770624 swapFree=67108860/67108860
[pid=28767] ppid=28764 vsize=10551232 memory=188816 CPUtime=1.18 cores=1,3,5,7
/proc/28767/stat : 28767 (java) S 28764 28767 897 0 -1 1077944320 12381 0 0 0 110 8 0 0 20 0 15 0 64753534 10804461568 47204 18446744073709551615 4194304 4196468 140723520647728 140723520630272 140212223258359 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
/proc/28767/statm: 2637808 47204 3053 1 0 2627261 0
[pid=28767/tid=28769] ppid=28764 vsize=10551232 memory=4616 CPUtime=0.54 cores=1,3,5,7
/proc/28767/task/28769/stat : 28769 (java) S 28764 28767 897 0 -1 1077944384 7347 0 0 0 50 4 0 0 20 0 15 0 64753543 10804461568 47716 18446744073709551615 4194304 4196468 140723520647728 140212227490640 140212223268565 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28770] ppid=28764 vsize=10551232 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/28767/task/28770/stat : 28770 (java) R 28764 28767 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64753543 10804461568 47716 18446744073709551615 4194304 4196468 140723520647728 140212164292736 140212223268565 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28771] ppid=28764 vsize=10551232 memory=10164 CPUtime=0 cores=1,3,5,7
/proc/28767/task/28771/stat : 28771 (java) R 28764 28767 897 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 15 0 64753543 10804461568 47716 18446744073709551615 4194304 4196468 140723520647728 140212163242272 140212208285191 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28772] ppid=28764 vsize=10551232 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/28767/task/28772/stat : 28772 (java) R 28764 28767 897 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 15 0 64753543 10804461568 47716 18446744073709551615 4194304 4196468 140723520647728 140212162189840 140212216355195 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28773] ppid=28764 vsize=10551232 memory=2000 CPUtime=0 cores=1,3,5,7
/proc/28767/task/28773/stat : 28773 (java) R 28764 28767 897 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 15 0 64753543 10804461568 47716 18446744073709551615 4194304 4196468 140723520647728 140211830778512 140212216358206 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28774] ppid=28764 vsize=10551232 memory=15745350110221 CPUtime=0 cores=1,3,5,7
/proc/28767/task/28774/stat : 28774 (java) S 28764 28767 897 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 64753545 10804461568 47716 18446744073709551615 4194304 4196468 140723520647728 140211719509024 140212223268565 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28775] ppid=28764 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28767/task/28775/stat : 28775 (java) S 28764 28767 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64753545 10804461568 47716 18446744073709551615 4194304 4196468 140723520647728 140211718456736 140212223268565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28776] ppid=28764 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28767/task/28776/stat : 28776 (java) S 28764 28767 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64753545 10804461568 47716 18446744073709551615 4194304 4196468 140723520647728 140211717404144 140212223268565 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28777] ppid=28764 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28767/task/28777/stat : 28777 (java) S 28764 28767 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64753548 10804461568 47716 18446744073709551615 4194304 4196468 140723520647728 140211716352720 140212223276955 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28778] ppid=28764 vsize=10551232 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/28767/task/28778/stat : 28778 (java) D 28764 28767 897 0 -1 4202560 1572 0 0 0 20 0 0 0 20 0 15 0 64753548 10804461568 47716 18446744073709551615 4194304 4196468 140723520647728 140211715285192 140212215975511 0 4 1 16800974 18446744071582151463 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28779] ppid=28764 vsize=10551232 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/28767/task/28779/stat : 28779 (java) R 28764 28767 897 0 -1 4202560 934 0 0 0 20 0 0 0 20 0 15 0 64753548 10804461568 47716 18446744073709551615 4194304 4196468 140723520647728 140211714227784 140212215975511 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28780] ppid=28764 vsize=10551232 memory=4116 CPUtime=0.18 cores=1,3,5,7
/proc/28767/task/28780/stat : 28780 (java) S 28764 28767 897 0 -1 1077944384 1098 0 0 0 18 0 0 0 20 0 15 0 64753548 10804461568 47716 18446744073709551615 4194304 4196468 140723520647728 140211713188544 140212223268565 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28781] ppid=28764 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28767/task/28781/stat : 28781 (java) S 28764 28767 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64753548 10804461568 47716 18446744073709551615 4194304 4196468 140723520647728 140211712141920 140212223268565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28782] ppid=28764 vsize=10551232 memory=140697491502704 CPUtime=0 cores=1,3,5,7
/proc/28767/task/28782/stat : 28782 (java) S 28764 28767 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64753553 10804461568 47716 18446744073709551615 4194304 4196468 140723520647728 140211711089456 140212223269506 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 188816 KiB

[startup+1.50075 s]
/proc/loadavg: 2.28 2.10 2.01 4/213 28782
/proc/meminfo: memFree=26934844/32770624 swapFree=67108860/67108860
[pid=28767] ppid=28764 vsize=10551232 memory=446004 CPUtime=2.79 cores=1,3,5,7
/proc/28767/stat : 28767 (java) S 28764 28767 897 0 -1 1077944320 14117 0 0 0 254 25 0 0 20 0 15 0 64753534 10804461568 111501 18446744073709551615 4194304 4196468 140723520647728 140723520630272 140212223258359 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
/proc/28767/statm: 2637808 111501 3084 1 0 2627261 0
[pid=28767/tid=28769] ppid=28764 vsize=10551232 memory=281394983078068 CPUtime=1.25 cores=1,3,5,7
/proc/28767/task/28769/stat : 28769 (java) R 28764 28767 897 0 -1 4202560 7407 0 0 0 119 6 0 0 20 0 15 0 64753543 10804461568 111501 18446744073709551615 4194304 4196468 140723520647728 140212227496384 140211844106098 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28770] ppid=28764 vsize=10551232 memory=7446534215326327894 CPUtime=0.07 cores=1,3,5,7
/proc/28767/task/28770/stat : 28770 (java) S 28764 28767 897 0 -1 1077944384 139 0 0 0 3 4 0 0 20 0 15 0 64753543 10804461568 111501 18446744073709551615 4194304 4196468 140723520647728 140212164294928 140212223268565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28771] ppid=28764 vsize=10551232 memory=5861547526505194597 CPUtime=0.07 cores=1,3,5,7
/proc/28767/task/28771/stat : 28771 (java) S 28764 28767 897 0 -1 1077944384 182 0 0 0 3 4 0 0 20 0 15 0 64753543 10804461568 111501 18446744073709551615 4194304 4196468 140723520647728 140212163242384 140212223268565 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28772] ppid=28764 vsize=10551232 memory=4616 CPUtime=0.07 cores=1,3,5,7
/proc/28767/task/28772/stat : 28772 (java) S 28764 28767 897 0 -1 1077944384 324 0 0 0 3 4 0 0 20 0 15 0 64753543 10804461568 111501 18446744073709551615 4194304 4196468 140723520647728 140212162189840 140212223268565 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28773] ppid=28764 vsize=10551232 memory=7446534215326327894 CPUtime=0.06 cores=1,3,5,7
/proc/28767/task/28773/stat : 28773 (java) S 28764 28767 897 0 -1 1077944384 211 0 0 0 3 3 0 0 20 0 15 0 64753543 10804461568 111501 18446744073709551615 4194304 4196468 140723520647728 140211830778512 140212223268565 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28774] ppid=28764 vsize=10551232 memory=5861547526505194597 CPUtime=0 cores=1,3,5,7
/proc/28767/task/28774/stat : 28774 (java) S 28764 28767 897 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 15 0 64753545 10804461568 111501 18446744073709551615 4194304 4196468 140723520647728 140211719510512 140212223269506 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28775] ppid=28764 vsize=10551232 memory=7595432270678290275 CPUtime=0 cores=1,3,5,7
/proc/28767/task/28775/stat : 28775 (java) S 28764 28767 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64753545 10804461568 111501 18446744073709551615 4194304 4196468 140723520647728 140211718456800 140212223268565 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28776] ppid=28764 vsize=10551232 memory=5788630088553161816 CPUtime=0 cores=1,3,5,7
/proc/28767/task/28776/stat : 28776 (java) S 28764 28767 897 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 64753545 10804461568 111501 18446744073709551615 4194304 4196468 140723520647728 140211717404144 140212223268565 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28777] ppid=28764 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28767/task/28777/stat : 28777 (java) S 28764 28767 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64753548 10804461568 111501 18446744073709551615 4194304 4196468 140723520647728 140211716352720 140212223276955 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28778] ppid=28764 vsize=10551232 memory=5859275922262026608 CPUtime=0.49 cores=1,3,5,7
/proc/28767/task/28778/stat : 28778 (java) S 28764 28767 897 0 -1 1077944384 1759 0 0 0 49 0 0 0 20 0 15 0 64753548 10804461568 111501 18446744073709551615 4194304 4196468 140723520647728 140211715299312 140212223269506 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28779] ppid=28764 vsize=10551232 memory=7597685182856913236 CPUtime=0.48 cores=1,3,5,7
/proc/28767/task/28779/stat : 28779 (java) S 28764 28767 897 0 -1 1077944384 1355 0 0 0 48 0 0 0 20 0 15 0 64753548 10804461568 111501 18446744073709551615 4194304 4196468 140723520647728 140211714246768 140212223269506 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28780] ppid=28764 vsize=10551232 memory=7378112689264092777 CPUtime=0.21 cores=1,3,5,7
/proc/28767/task/28780/stat : 28780 (java) S 28764 28767 897 0 -1 1077944384 1169 0 0 0 21 0 0 0 20 0 15 0 64753548 10804461568 111501 18446744073709551615 4194304 4196468 140723520647728 140211713194224 140212223269506 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28781] ppid=28764 vsize=10551232 memory=7228952860318393920 CPUtime=0 cores=1,3,5,7
/proc/28767/task/28781/stat : 28781 (java) S 28764 28767 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64753548 10804461568 111501 18446744073709551615 4194304 4196468 140723520647728 140211712141920 140212223268565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28782] ppid=28764 vsize=10551232 memory=281394983087744 CPUtime=0 cores=1,3,5,7
/proc/28767/task/28782/stat : 28782 (java) S 28764 28767 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64753553 10804461568 111501 18446744073709551615 4194304 4196468 140723520647728 140211711089456 140212223269506 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0

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


[startup+259.201 s]
/proc/loadavg: 4.23 2.93 2.35 6/210 28790
/proc/meminfo: memFree=18148440/32770624 swapFree=67108860/67108860
[pid=28767] ppid=28764 vsize=10551232 memory=8312508 CPUtime=805.05 cores=1,3,5,7
/proc/28767/stat : 28767 (java) S 28764 28767 897 0 -1 1077944320 569262 0 0 0 79907 598 0 0 20 0 15 0 64753534 10804461568 2078127 18446744073709551615 4194304 4196468 140723520647728 140723520630272 140212223258359 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
/proc/28767/statm: 2637808 2078127 3130 1 0 2627261 0
[pid=28767/tid=28769] ppid=28764 vsize=10551232 memory=2316 CPUtime=55.93 cores=1,3,5,7
/proc/28767/task/28769/stat : 28769 (java) S 28764 28767 897 0 -1 1077944384 26889 0 0 0 5567 26 0 0 20 0 15 0 64753543 10804461568 2078127 18446744073709551615 4194304 4196468 140723520647728 140212227491808 140212223268565 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28770] ppid=28764 vsize=10551232 memory=8312508 CPUtime=181.14 cores=1,3,5,7
/proc/28767/task/28770/stat : 28770 (java) R 28764 28767 897 0 -1 4202560 124892 0 0 0 17975 139 0 0 20 0 15 0 64753543 10804461568 2078127 18446744073709551615 4194304 4196468 140723520647728 140212164295048 140212215886567 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28771] ppid=28764 vsize=10551232 memory=1012 CPUtime=181.15 cores=1,3,5,7
/proc/28767/task/28771/stat : 28771 (java) R 28764 28767 897 0 -1 4202560 86259 0 0 0 17975 140 0 0 20 0 15 0 64753543 10804461568 2078127 18446744073709551615 4194304 4196468 140723520647728 140212163242584 140212207715796 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28772] ppid=28764 vsize=10551232 memory=10164 CPUtime=181.88 cores=1,3,5,7
/proc/28767/task/28772/stat : 28772 (java) R 28764 28767 897 0 -1 4202560 142850 0 0 0 18052 136 0 0 20 0 15 0 64753543 10804461568 2078127 18446744073709551615 4194304 4196468 140723520647728 140212162189648 140212215886567 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28773] ppid=28764 vsize=10551232 memory=-8774313645642428999 CPUtime=181.62 cores=1,3,5,7
/proc/28767/task/28773/stat : 28773 (java) R 28764 28767 897 0 -1 4202560 109630 0 0 0 18017 145 0 0 20 0 15 0 64753543 10804461568 2078127 18446744073709551615 4194304 4196468 140723520647728 140211830778320 140212215886567 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28774] ppid=28764 vsize=10551232 memory=1712 CPUtime=18.97 cores=1,3,5,7
/proc/28767/task/28774/stat : 28774 (java) S 28764 28767 897 0 -1 1077944384 52343 0 0 0 1894 3 0 0 20 0 15 0 64753545 10804461568 2078127 18446744073709551615 4194304 4196468 140723520647728 140211719509072 140212223268565 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28775] ppid=28764 vsize=10551232 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/28767/task/28775/stat : 28775 (java) S 28764 28767 897 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 64753545 10804461568 2078127 18446744073709551615 4194304 4196468 140723520647728 140211718456800 140212223268565 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28776] ppid=28764 vsize=10551232 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/28767/task/28776/stat : 28776 (java) S 28764 28767 897 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 15 0 64753545 10804461568 2078127 18446744073709551615 4194304 4196468 140723520647728 140211717404160 140212223268565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28777] ppid=28764 vsize=10551232 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/28767/task/28777/stat : 28777 (java) S 28764 28767 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64753548 10804461568 2078127 18446744073709551615 4194304 4196468 140723520647728 140211716352720 140212223276955 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28778] ppid=28764 vsize=10551232 memory=1228 CPUtime=2.01 cores=1,3,5,7
/proc/28767/task/28778/stat : 28778 (java) S 28764 28767 897 0 -1 1077944384 13449 0 0 0 200 1 0 0 20 0 15 0 64753548 10804461568 2078127 18446744073709551615 4194304 4196468 140723520647728 140211715299360 140212223268565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28779] ppid=28764 vsize=10551232 memory=796 CPUtime=1.71 cores=1,3,5,7
/proc/28767/task/28779/stat : 28779 (java) S 28764 28767 897 0 -1 1077944384 8889 0 0 0 170 1 0 0 20 0 15 0 64753548 10804461568 2078127 18446744073709551615 4194304 4196468 140723520647728 140211714246528 140212223268565 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28780] ppid=28764 vsize=10551232 memory=5788 CPUtime=0.35 cores=1,3,5,7
/proc/28767/task/28780/stat : 28780 (java) S 28764 28767 897 0 -1 1077944384 2368 0 0 0 35 0 0 0 20 0 15 0 64753548 10804461568 2078127 18446744073709551615 4194304 4196468 140723520647728 140211713194272 140212223268565 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 37 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28781] ppid=28764 vsize=10551232 memory=8312508 CPUtime=0 cores=1,3,5,7
/proc/28767/task/28781/stat : 28781 (java) S 28764 28767 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64753548 10804461568 2078127 18446744073709551615 4194304 4196468 140723520647728 140211712141920 140212223268565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28782] ppid=28764 vsize=10551232 memory=10164 CPUtime=0.19 cores=1,3,5,7
/proc/28767/task/28782/stat : 28782 (java) S 28764 28767 897 0 -1 1077944384 246 0 0 0 11 8 0 0 20 0 15 0 64753553 10804461568 2078127 18446744073709551615 4194304 4196468 140723520647728 140211711089456 140212223269506 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 37 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
Current children cumulated CPU time: 805.05 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8312508 KiB

[startup+262.401 s]
/proc/loadavg: 4.30 2.97 2.36 6/210 28790
/proc/meminfo: memFree=18148440/32770624 swapFree=67108860/67108860
[pid=28767] ppid=28764 vsize=10551232 memory=8312508 CPUtime=817.44 cores=1,3,5,7
/proc/28767/stat : 28767 (java) S 28764 28767 897 0 -1 1077944320 569842 0 0 0 81144 600 0 0 20 0 15 0 64753534 10804461568 2078127 18446744073709551615 4194304 4196468 140723520647728 140723520630272 140212223258359 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
/proc/28767/statm: 2637808 2078127 3130 1 0 2627261 0
[pid=28767/tid=28769] ppid=28764 vsize=10551232 memory=5788 CPUtime=55.93 cores=1,3,5,7
/proc/28767/task/28769/stat : 28769 (java) S 28764 28767 897 0 -1 1077944384 26889 0 0 0 5567 26 0 0 20 0 15 0 64753543 10804461568 2078127 18446744073709551615 4194304 4196468 140723520647728 140212227491808 140212223268565 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28770] ppid=28764 vsize=10551232 memory=8312508 CPUtime=184.17 cores=1,3,5,7
/proc/28767/task/28770/stat : 28770 (java) R 28764 28767 897 0 -1 4202560 124906 0 0 0 18277 140 0 0 20 0 15 0 64753543 10804461568 2078127 18446744073709551615 4194304 4196468 140723520647728 140212164295048 140212215886567 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28771] ppid=28764 vsize=10551232 memory=2000 CPUtime=184.35 cores=1,3,5,7
/proc/28767/task/28771/stat : 28771 (java) R 28764 28767 897 0 -1 4202560 86799 0 0 0 18295 140 0 0 20 0 15 0 64753543 10804461568 2078127 18446744073709551615 4194304 4196468 140723520647728 140212163242584 140212208247897 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28772] ppid=28764 vsize=10551232 memory=4116 CPUtime=184.96 cores=1,3,5,7
/proc/28767/task/28772/stat : 28772 (java) R 28764 28767 897 0 -1 4202560 142857 0 0 0 18360 136 0 0 20 0 15 0 64753543 10804461568 2078127 18446744073709551615 4194304 4196468 140723520647728 140212162189648 140212215886567 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28773] ppid=28764 vsize=10551232 memory=36588 CPUtime=184.7 cores=1,3,5,7
/proc/28767/task/28773/stat : 28773 (java) R 28764 28767 897 0 -1 4202560 109634 0 0 0 18324 146 0 0 20 0 15 0 64753543 10804461568 2078127 18446744073709551615 4194304 4196468 140723520647728 140211830778320 140212215886567 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28774] ppid=28764 vsize=10551232 memory=1292 CPUtime=18.97 cores=1,3,5,7
/proc/28767/task/28774/stat : 28774 (java) S 28764 28767 897 0 -1 1077944384 52343 0 0 0 1894 3 0 0 20 0 15 0 64753545 10804461568 2078127 18446744073709551615 4194304 4196468 140723520647728 140211719509072 140212223268565 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28775] ppid=28764 vsize=10551232 memory=2316 CPUtime=0 cores=1,3,5,7
/proc/28767/task/28775/stat : 28775 (java) S 28764 28767 897 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 64753545 10804461568 2078127 18446744073709551615 4194304 4196468 140723520647728 140211718456800 140212223268565 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28776] ppid=28764 vsize=10551232 memory=8312508 CPUtime=0 cores=1,3,5,7
/proc/28767/task/28776/stat : 28776 (java) S 28764 28767 897 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 15 0 64753545 10804461568 2078127 18446744073709551615 4194304 4196468 140723520647728 140211717404160 140212223268565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28777] ppid=28764 vsize=10551232 memory=36588 CPUtime=0 cores=1,3,5,7
/proc/28767/task/28777/stat : 28777 (java) S 28764 28767 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64753548 10804461568 2078127 18446744073709551615 4194304 4196468 140723520647728 140211716352720 140212223276955 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28778] ppid=28764 vsize=10551232 memory=33 CPUtime=2.01 cores=1,3,5,7
/proc/28767/task/28778/stat : 28778 (java) S 28764 28767 897 0 -1 1077944384 13449 0 0 0 200 1 0 0 20 0 15 0 64753548 10804461568 2078127 18446744073709551615 4194304 4196468 140723520647728 140211715299360 140212223268565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28779] ppid=28764 vsize=10551232 memory=-8774313645642428999 CPUtime=1.71 cores=1,3,5,7
/proc/28767/task/28779/stat : 28779 (java) S 28764 28767 897 0 -1 1077944384 8889 0 0 0 170 1 0 0 20 0 15 0 64753548 10804461568 2078127 18446744073709551615 4194304 4196468 140723520647728 140211714246528 140212223268565 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28780] ppid=28764 vsize=10551232 memory=36588 CPUtime=0.35 cores=1,3,5,7
/proc/28767/task/28780/stat : 28780 (java) S 28764 28767 897 0 -1 1077944384 2368 0 0 0 35 0 0 0 20 0 15 0 64753548 10804461568 2078127 18446744073709551615 4194304 4196468 140723520647728 140211713194272 140212223268565 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 37 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28781] ppid=28764 vsize=10551232 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/28767/task/28781/stat : 28781 (java) S 28764 28767 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64753548 10804461568 2078127 18446744073709551615 4194304 4196468 140723520647728 140211712141920 140212223268565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28782] ppid=28764 vsize=10551232 memory=2316 CPUtime=0.19 cores=1,3,5,7
/proc/28767/task/28782/stat : 28782 (java) S 28764 28767 897 0 -1 1077944384 261 0 0 0 11 8 0 0 20 0 15 0 64753553 10804461568 2078127 18446744073709551615 4194304 4196468 140723520647728 140211711089456 140212223269506 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 37 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
Current children cumulated CPU time: 817.44 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8312508 KiB

[startup+264.001 s]*
/proc/loadavg: 4.30 2.97 2.36 3/210 28790
/proc/meminfo: memFree=18148440/32770624 swapFree=67108860/67108860
[pid=28767] ppid=28764 vsize=10551232 memory=8312524 CPUtime=822.87 cores=1,3,5,7
/proc/28767/stat : 28767 (java) S 28764 28767 897 0 -1 1077944320 571585 0 0 0 81685 602 0 0 20 0 15 0 64753534 10804461568 2078131 18446744073709551615 4194304 4196468 140723520647728 140723520630272 140212223258359 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
/proc/28767/statm: 2637808 2078131 3130 1 0 2627261 0
[pid=28767/tid=28769] ppid=28764 vsize=10551232 memory=-8774313645642428999 CPUtime=55.93 cores=1,3,5,7
/proc/28767/task/28769/stat : 28769 (java) S 28764 28767 897 0 -1 1077944384 26889 0 0 0 5567 26 0 0 20 0 15 0 64753543 10804461568 2078131 18446744073709551615 4194304 4196468 140723520647728 140212227491808 140212223268565 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28770] ppid=28764 vsize=10551232 memory=4872558044660077418 CPUtime=185.44 cores=1,3,5,7
/proc/28767/task/28770/stat : 28770 (java) S 28764 28767 897 0 -1 1077944384 124906 0 0 0 18403 141 0 0 20 0 15 0 64753543 10804461568 2078131 18446744073709551615 4194304 4196468 140723520647728 140212164294928 140212223268565 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28771] ppid=28764 vsize=10551232 memory=-8774313645642428999 CPUtime=185.69 cores=1,3,5,7
/proc/28767/task/28771/stat : 28771 (java) S 28764 28767 897 0 -1 1077944384 87252 0 0 0 18429 140 0 0 20 0 15 0 64753543 10804461568 2078131 18446744073709551615 4194304 4196468 140723520647728 140212163242384 140212223268565 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28772] ppid=28764 vsize=10551232 memory=4872558044660077418 CPUtime=186.24 cores=1,3,5,7
/proc/28767/task/28772/stat : 28772 (java) S 28764 28767 897 0 -1 1077944384 142858 0 0 0 18487 137 0 0 20 0 15 0 64753543 10804461568 2078131 18446744073709551615 4194304 4196468 140723520647728 140212162189840 140212223268565 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28773] ppid=28764 vsize=10551232 memory=960 CPUtime=185.97 cores=1,3,5,7
/proc/28767/task/28773/stat : 28773 (java) S 28764 28767 897 0 -1 1077944384 109634 0 0 0 18451 146 0 0 20 0 15 0 64753543 10804461568 2078131 18446744073709551615 4194304 4196468 140723520647728 140211830778512 140212223268565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28774] ppid=28764 vsize=10551232 memory=1240 CPUtime=19.25 cores=1,3,5,7
/proc/28767/task/28774/stat : 28774 (java) R 28764 28767 897 0 -1 4202560 53628 0 0 0 1922 3 0 0 20 0 15 0 64753545 10804461568 2078131 18446744073709551615 4194304 4196468 140723520647728 140211719509072 140212208254740 0 0 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28775] ppid=28764 vsize=10551232 memory=2248 CPUtime=0 cores=1,3,5,7
/proc/28767/task/28775/stat : 28775 (java) S 28764 28767 897 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 64753545 10804461568 2078131 18446744073709551615 4194304 4196468 140723520647728 140211718456800 140212223268565 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28776] ppid=28764 vsize=10551232 memory=4304 CPUtime=0 cores=1,3,5,7
/proc/28767/task/28776/stat : 28776 (java) S 28764 28767 897 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 15 0 64753545 10804461568 2078131 18446744073709551615 4194304 4196468 140723520647728 140211717404160 140212223268565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28777] ppid=28764 vsize=10551232 memory=1624 CPUtime=0 cores=1,3,5,7
/proc/28767/task/28777/stat : 28777 (java) S 28764 28767 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64753548 10804461568 2078131 18446744073709551615 4194304 4196468 140723520647728 140211716352720 140212223276955 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28778] ppid=28764 vsize=10551232 memory=928 CPUtime=2.01 cores=1,3,5,7
/proc/28767/task/28778/stat : 28778 (java) S 28764 28767 897 0 -1 1077944384 13449 0 0 0 200 1 0 0 20 0 15 0 64753548 10804461568 2078131 18446744073709551615 4194304 4196468 140723520647728 140211715299360 140212223268565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28779] ppid=28764 vsize=10551232 memory=2164 CPUtime=1.71 cores=1,3,5,7
/proc/28767/task/28779/stat : 28779 (java) S 28764 28767 897 0 -1 1077944384 8889 0 0 0 170 1 0 0 20 0 15 0 64753548 10804461568 2078131 18446744073709551615 4194304 4196468 140723520647728 140211714246528 140212223268565 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28780] ppid=28764 vsize=10551232 memory=840 CPUtime=0.35 cores=1,3,5,7
/proc/28767/task/28780/stat : 28780 (java) S 28764 28767 897 0 -1 1077944384 2368 0 0 0 35 0 0 0 20 0 15 0 64753548 10804461568 2078131 18446744073709551615 4194304 4196468 140723520647728 140211713194272 140212223268565 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 37 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28781] ppid=28764 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28767/task/28781/stat : 28781 (java) S 28764 28767 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64753548 10804461568 2078131 18446744073709551615 4194304 4196468 140723520647728 140211712141920 140212223268565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28782] ppid=28764 vsize=10551232 memory=4420 CPUtime=0.19 cores=1,3,5,7
/proc/28767/task/28782/stat : 28782 (java) S 28764 28767 897 0 -1 1077944384 265 0 0 0 11 8 0 0 20 0 15 0 64753553 10804461568 2078131 18446744073709551615 4194304 4196468 140723520647728 140211711089456 140212223269506 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 37 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
Current children cumulated CPU time: 822.87 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8312524 KiB

[startup+264.401 s]
/proc/loadavg: 4.30 2.97 2.36 3/210 28790
/proc/meminfo: memFree=18148440/32770624 swapFree=67108860/67108860
[pid=28767] ppid=28764 vsize=10551232 memory=8312524 CPUtime=823.26 cores=1,3,5,7
/proc/28767/stat : 28767 (java) S 28764 28767 897 0 -1 1077944320 571773 0 0 0 81724 602 0 0 20 0 15 0 64753534 10804461568 2078131 18446744073709551615 4194304 4196468 140723520647728 140723520630272 140212223258359 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
/proc/28767/statm: 2637808 2078131 3130 1 0 2627261 0
[pid=28767/tid=28769] ppid=28764 vsize=10551232 memory=20392 CPUtime=55.93 cores=1,3,5,7
/proc/28767/task/28769/stat : 28769 (java) S 28764 28767 897 0 -1 1077944384 26889 0 0 0 5567 26 0 0 20 0 15 0 64753543 10804461568 2078131 18446744073709551615 4194304 4196468 140723520647728 140212227491808 140212223268565 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28770] ppid=28764 vsize=10551232 memory=4044 CPUtime=185.44 cores=1,3,5,7
/proc/28767/task/28770/stat : 28770 (java) S 28764 28767 897 0 -1 1077944384 124906 0 0 0 18403 141 0 0 20 0 15 0 64753543 10804461568 2078131 18446744073709551615 4194304 4196468 140723520647728 140212164294928 140212223268565 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28771] ppid=28764 vsize=10551232 memory=640 CPUtime=185.69 cores=1,3,5,7
/proc/28767/task/28771/stat : 28771 (java) S 28764 28767 897 0 -1 1077944384 87252 0 0 0 18429 140 0 0 20 0 15 0 64753543 10804461568 2078131 18446744073709551615 4194304 4196468 140723520647728 140212163242384 140212223268565 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28772] ppid=28764 vsize=10551232 memory=1792 CPUtime=186.24 cores=1,3,5,7
/proc/28767/task/28772/stat : 28772 (java) S 28764 28767 897 0 -1 1077944384 142858 0 0 0 18487 137 0 0 20 0 15 0 64753543 10804461568 2078131 18446744073709551615 4194304 4196468 140723520647728 140212162189840 140212223268565 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28773] ppid=28764 vsize=10551232 memory=3904 CPUtime=185.97 cores=1,3,5,7
/proc/28767/task/28773/stat : 28773 (java) S 28764 28767 897 0 -1 1077944384 109634 0 0 0 18451 146 0 0 20 0 15 0 64753543 10804461568 2078131 18446744073709551615 4194304 4196468 140723520647728 140211830778512 140212223268565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28774] ppid=28764 vsize=10551232 memory=960 CPUtime=19.64 cores=1,3,5,7
/proc/28767/task/28774/stat : 28774 (java) R 28764 28767 897 0 -1 4202560 53816 0 0 0 1961 3 0 0 20 0 15 0 64753545 10804461568 2078131 18446744073709551615 4194304 4196468 140723520647728 140211719509072 140212208254912 0 0 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28775] ppid=28764 vsize=10551232 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/28767/task/28775/stat : 28775 (java) S 28764 28767 897 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 64753545 10804461568 2078131 18446744073709551615 4194304 4196468 140723520647728 140211718456800 140212223268565 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28776] ppid=28764 vsize=10551232 memory=2248 CPUtime=0 cores=1,3,5,7
/proc/28767/task/28776/stat : 28776 (java) S 28764 28767 897 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 15 0 64753545 10804461568 2078131 18446744073709551615 4194304 4196468 140723520647728 140211717404160 140212223268565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28777] ppid=28764 vsize=10551232 memory=4304 CPUtime=0 cores=1,3,5,7
/proc/28767/task/28777/stat : 28777 (java) S 28764 28767 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64753548 10804461568 2078131 18446744073709551615 4194304 4196468 140723520647728 140211716352720 140212223276955 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28778] ppid=28764 vsize=10551232 memory=1624 CPUtime=2.01 cores=1,3,5,7
/proc/28767/task/28778/stat : 28778 (java) S 28764 28767 897 0 -1 1077944384 13449 0 0 0 200 1 0 0 20 0 15 0 64753548 10804461568 2078131 18446744073709551615 4194304 4196468 140723520647728 140211715299360 140212223268565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28779] ppid=28764 vsize=10551232 memory=928 CPUtime=1.71 cores=1,3,5,7
/proc/28767/task/28779/stat : 28779 (java) S 28764 28767 897 0 -1 1077944384 8889 0 0 0 170 1 0 0 20 0 15 0 64753548 10804461568 2078131 18446744073709551615 4194304 4196468 140723520647728 140211714246528 140212223268565 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28780] ppid=28764 vsize=10551232 memory=2164 CPUtime=0.35 cores=1,3,5,7
/proc/28767/task/28780/stat : 28780 (java) S 28764 28767 897 0 -1 1077944384 2368 0 0 0 35 0 0 0 20 0 15 0 64753548 10804461568 2078131 18446744073709551615 4194304 4196468 140723520647728 140211713194272 140212223268565 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 37 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28781] ppid=28764 vsize=10551232 memory=840 CPUtime=0 cores=1,3,5,7
/proc/28767/task/28781/stat : 28781 (java) S 28764 28767 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64753548 10804461568 2078131 18446744073709551615 4194304 4196468 140723520647728 140211712141920 140212223268565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
[pid=28767/tid=28782] ppid=28764 vsize=10551232 memory=16436 CPUtime=0.19 cores=1,3,5,7
/proc/28767/task/28782/stat : 28782 (java) S 28764 28767 897 0 -1 1077944384 265 0 0 0 11 8 0 0 20 0 15 0 64753553 10804461568 2078131 18446744073709551615 4194304 4196468 140723520647728 140211711089456 140212223269506 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 37 0 0 6293624 6294260 8048640 140723520655760 140723520655913 140723520655913 140723520659407 0
Current children cumulated CPU time: 823.26 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8312524 KiB

[startup+264.801 s]*
/proc/loadavg: 4.11 2.95 2.36 3/197 28792
/proc/meminfo: memFree=22195944/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): 264.825
CPU time (s): 823.519
CPU user time (s): 817.447
CPU system time (s): 6.07239
CPU usage (%): 310.968
Max. virtual memory (cumulated for all children) (KiB): 10684512
Max. memory (cumulated for all children) (KiB): 8313432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 817.447
system time used= 6.07239
maximum resident set size= 8313580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 578386
page faults= 0
swaps= 0
block input operations= 0
block output operations= 416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16319
involuntary context switches= 7372


# summary of solver processes directly reported to runsolver:
#   pid: 28767
#   total CPU time (s): 823.519
#   total CPU user time (s): 817.447
#   total CPU system time (s): 6.07239

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.84243 second user time and 2.36833 second system time

The end

Launcher Data 

Begin job on node125 at 2017-08-13 13:41:23
IDJOB=4263513
IDBENCH=126094
IDSOLVER=2651
FILE ID=node125/4263513-1502625328
RUNJOBID= node125-1502623975-28611
PBS_JOBID= 
Free space on /tmp= 61996 MiB

SOLVER NAME= sat4j-CSP 2017-07-05
BENCH NAME= XCSP17/QRandom/QRandom-mdd-7-25-5/mdd-7-25-5-56-16.xml
COMMAND LINE= java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4263513-1502625328/watcher-4263513-1502625328 -o /tmp/evaluation-result-4263513-1502625328/solver-4263513-1502625328 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502623975-28611 --watchdog 2580  java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263513-1502625328.xml

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

MD5SUM BENCH= 9d7406c968f8af9220e5e662d0bd5052
RANDOM SEED=395879124

node125.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.07
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.07
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.07
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.07
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:        27198084 kB
MemAvailable:   28074644 kB
Buffers:          283572 kB
Cached:           888632 kB
SwapCached:            0 kB
Active:          4556548 kB
Inactive:         582108 kB
Active(anon):    3966640 kB
Inactive(anon):    33100 kB
Active(file):     589908 kB
Inactive(file):   549008 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             33780 kB
Writeback:             0 kB
AnonPages:       3966208 kB
Mapped:            59588 kB
Shmem:             33444 kB
Slab:             132860 kB
SReclaimable:     106956 kB
SUnreclaim:        25904 kB
KernelStack:        3488 kB
PageTables:        13212 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5104372 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3815424 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 61996 MiB
End job on node125 at 2017-08-13 13:45:48