Trace number 4289992

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j-CSP 2018-07-11? (problem) 1449.74 399.684

General information on the benchmark

NameMario/
Mario-t-hard-5_c18.xml
MD5SUM4de37f7087aa8e77bde3fd457ed5d54a
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4482
Best CPU time to get the best result obtained on this benchmark3.6868
Satisfiable
(Un)Satisfiability was proved
Number of variables300
Number of constraints201
Number of domains166
Minimum domain size1
Maximum domain size100
Distribution of domain sizes[{"size":1,"count":5},{"size":2,"count":95},{"size":83,"count":1},{"size":85,"count":1},{"size":86,"count":3},{"size":87,"count":3},{"size":88,"count":8},{"size":89,"count":19},{"size":90,"count":19},{"size":91,"count":8},{"size":92,"count":17},{"size":93,"count":12},{"size":94,"count":3},{"size":95,"count":3},{"size":96,"count":1},{"size":97,"count":2},{"size":100,"count":100}]
Minimum variable degree1
Maximum variable degree3
Distribution of variable degrees[{"degree":1,"count":2},{"degree":2,"count":199},{"degree":3,"count":99}]
Minimum constraint arity1
Maximum constraint arity100
Distribution of constraint arities[{"arity":1,"count":1},{"arity":2,"count":198},{"arity":100,"count":2}]
Number of extensional constraints100
Number of intensional constraints99
Distribution of constraint types[{"type":"extension","count":100},{"type":"intension","count":99},{"type":"sum","count":1},{"type":"circuit","count":1}]
Optimization problemYES
Type of objectivemax SUM

Solver Data 

1354.26/374.20	Jul 22, 2018 3:09:52 AM org.sat4j.reader.XMLCSP3Reader parseInstance
1354.26/374.20	INFO: Runtime exception
1354.26/374.20	java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeExpression(TseitinBasedIntensionCtrEncoder.java:78)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encode(TseitinBasedIntensionCtrEncoder.java:59)
1354.26/374.20		at org.sat4j.csp.constraints3.CountingCtrBuilder.buildCtrSum(CountingCtrBuilder.java:98)
1354.26/374.20		at org.sat4j.csp.constraints3.CountingCtrBuilder.buildCtrSum(CountingCtrBuilder.java:53)
1354.26/374.20		at org.sat4j.reader.XMLCSP3Reader.buildCtrSum(XMLCSP3Reader.java:586)
1354.26/374.20		at org.xcsp.parser.loaders.CtrLoaderInteger.sum(CtrLoaderInteger.java:383)
1354.26/374.20		at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:188)
1354.26/374.20		at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:538)
1354.26/374.20		at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:440)
1354.26/374.20		at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:418)
1354.26/374.20		at org.sat4j.reader.XMLCSP3Reader.loadInstance(XMLCSP3Reader.java:343)
1354.26/374.20		at org.sat4j.reader.XMLCSP3Reader.parseInstance(XMLCSP3Reader.java:308)
1354.26/374.20		at org.sat4j.reader.Reader.parseInstance(Reader.java:73)
1354.26/374.20		at org.sat4j.AbstractLauncher.readProblem(AbstractLauncher.java:201)
1354.26/374.20		at org.sat4j.csp.CSPLauncher.readProblem(CSPLauncher.java:95)
1354.26/374.20		at org.sat4j.AbstractLauncher.run(AbstractLauncher.java:255)
1354.26/374.20		at org.sat4j.csp.CSPLauncher.main(CSPLauncher.java:119)
1354.26/374.20	Caused by: java.lang.reflect.InvocationTargetException
1354.26/374.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1354.26/374.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1354.26/374.20		at java.lang.reflect.Method.invoke(Method.java:498)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1354.26/374.20		... 17 more
1354.26/374.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1354.26/374.20		... 21 more
1354.26/374.20	Caused by: java.lang.reflect.InvocationTargetException
1354.26/374.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1354.26/374.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1354.26/374.20		at java.lang.reflect.Method.invoke(Method.java:498)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1354.26/374.20		... 22 more
1354.26/374.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1354.26/374.20		... 26 more
1354.26/374.20	Caused by: java.lang.reflect.InvocationTargetException
1354.26/374.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1354.26/374.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1354.26/374.20		at java.lang.reflect.Method.invoke(Method.java:498)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1354.26/374.20		... 27 more
1354.26/374.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1354.26/374.20		... 31 more
1354.26/374.20	Caused by: java.lang.reflect.InvocationTargetException
1354.26/374.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1354.26/374.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1354.26/374.20		at java.lang.reflect.Method.invoke(Method.java:498)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1354.26/374.20		... 32 more
1354.26/374.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1354.26/374.20		... 36 more
1354.26/374.20	Caused by: java.lang.reflect.InvocationTargetException
1354.26/374.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1354.26/374.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1354.26/374.20		at java.lang.reflect.Method.invoke(Method.java:498)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1354.26/374.20		... 37 more
1354.26/374.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1354.26/374.20		... 41 more
1354.26/374.20	Caused by: java.lang.reflect.InvocationTargetException
1354.26/374.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1354.26/374.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1354.26/374.20		at java.lang.reflect.Method.invoke(Method.java:498)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1354.26/374.20		... 42 more
1354.26/374.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1354.26/374.20		... 46 more
1354.26/374.20	Caused by: java.lang.reflect.InvocationTargetException
1354.26/374.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1354.26/374.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1354.26/374.20		at java.lang.reflect.Method.invoke(Method.java:498)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1354.26/374.20		... 47 more
1354.26/374.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1354.26/374.20		... 51 more
1354.26/374.20	Caused by: java.lang.reflect.InvocationTargetException
1354.26/374.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1354.26/374.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1354.26/374.20		at java.lang.reflect.Method.invoke(Method.java:498)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1354.26/374.20		... 52 more
1354.26/374.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1354.26/374.20		... 56 more
1354.26/374.20	Caused by: java.lang.reflect.InvocationTargetException
1354.26/374.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1354.26/374.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1354.26/374.20		at java.lang.reflect.Method.invoke(Method.java:498)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1354.26/374.20		... 57 more
1354.26/374.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1354.26/374.20		... 61 more
1354.26/374.20	Caused by: java.lang.reflect.InvocationTargetException
1354.26/374.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1354.26/374.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1354.26/374.20		at java.lang.reflect.Method.invoke(Method.java:498)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1354.26/374.20		... 62 more
1354.26/374.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1354.26/374.20		... 66 more
1354.26/374.20	Caused by: java.lang.reflect.InvocationTargetException
1354.26/374.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1354.26/374.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1354.26/374.20		at java.lang.reflect.Method.invoke(Method.java:498)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1354.26/374.20		... 67 more
1354.26/374.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1354.26/374.20		... 71 more
1354.26/374.20	Caused by: java.lang.reflect.InvocationTargetException
1354.26/374.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1354.26/374.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1354.26/374.20		at java.lang.reflect.Method.invoke(Method.java:498)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1354.26/374.20		... 72 more
1354.26/374.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1354.26/374.20		... 76 more
1354.26/374.20	Caused by: java.lang.reflect.InvocationTargetException
1354.26/374.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1354.26/374.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1354.26/374.20		at java.lang.reflect.Method.invoke(Method.java:498)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1354.26/374.20		... 77 more
1354.26/374.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1354.26/374.20		... 81 more
1354.26/374.20	Caused by: java.lang.reflect.InvocationTargetException
1354.26/374.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1354.26/374.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1354.26/374.20		at java.lang.reflect.Method.invoke(Method.java:498)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1354.26/374.20		... 82 more
1354.26/374.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1354.26/374.20		... 86 more
1354.26/374.20	Caused by: java.lang.reflect.InvocationTargetException
1354.26/374.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1354.26/374.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1354.26/374.20		at java.lang.reflect.Method.invoke(Method.java:498)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1354.26/374.20		... 87 more
1354.26/374.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1354.26/374.20		... 91 more
1354.26/374.20	Caused by: java.lang.reflect.InvocationTargetException
1354.26/374.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1354.26/374.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1354.26/374.20		at java.lang.reflect.Method.invoke(Method.java:498)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1354.26/374.20		... 92 more
1354.26/374.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1354.26/374.20		... 96 more
1354.26/374.20	Caused by: java.lang.reflect.InvocationTargetException
1354.26/374.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1354.26/374.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1354.26/374.20		at java.lang.reflect.Method.invoke(Method.java:498)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1354.26/374.20		... 97 more
1354.26/374.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1354.26/374.20		... 101 more
1354.26/374.20	Caused by: java.lang.reflect.InvocationTargetException
1354.26/374.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1354.26/374.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1354.26/374.20		at java.lang.reflect.Method.invoke(Method.java:498)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1354.26/374.20		... 102 more
1354.26/374.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1354.26/374.20		... 106 more
1354.26/374.20	Caused by: java.lang.reflect.InvocationTargetException
1354.26/374.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1354.26/374.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1354.26/374.20		at java.lang.reflect.Method.invoke(Method.java:498)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1354.26/374.20		... 107 more
1354.26/374.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1354.26/374.20		... 111 more
1354.26/374.20	Caused by: java.lang.reflect.InvocationTargetException
1354.26/374.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1354.26/374.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1354.26/374.20		at java.lang.reflect.Method.invoke(Method.java:498)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1354.26/374.20		... 112 more
1354.26/374.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1354.26/374.20		... 116 more
1354.26/374.20	Caused by: java.lang.reflect.InvocationTargetException
1354.26/374.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1354.26/374.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1354.26/374.20		at java.lang.reflect.Method.invoke(Method.java:498)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1354.26/374.20		... 117 more
1354.26/374.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1354.26/374.20		... 121 more
1354.26/374.20	Caused by: java.lang.reflect.InvocationTargetException
1354.26/374.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1354.26/374.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1354.26/374.20		at java.lang.reflect.Method.invoke(Method.java:498)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1354.26/374.20		... 122 more
1354.26/374.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1354.26/374.20		... 126 more
1354.26/374.20	Caused by: java.lang.reflect.InvocationTargetException
1354.26/374.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1354.26/374.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1354.26/374.20		at java.lang.reflect.Method.invoke(Method.java:498)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1354.26/374.20		... 127 more
1354.26/374.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1354.26/374.20		... 131 more
1354.26/374.20	Caused by: java.lang.reflect.InvocationTargetException
1354.26/374.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1354.26/374.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1354.26/374.20		at java.lang.reflect.Method.invoke(Method.java:498)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1354.26/374.20		... 132 more
1354.26/374.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1354.26/374.20		... 136 more
1354.26/374.20	Caused by: java.lang.reflect.InvocationTargetException
1354.26/374.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1354.26/374.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1354.26/374.20		at java.lang.reflect.Method.invoke(Method.java:498)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1354.26/374.20		... 137 more
1354.26/374.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1354.26/374.20		... 141 more
1354.26/374.20	Caused by: java.lang.reflect.InvocationTargetException
1354.26/374.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1354.26/374.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1354.26/374.20		at java.lang.reflect.Method.invoke(Method.java:498)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1354.26/374.20		... 142 more
1354.26/374.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1354.26/374.20		... 146 more
1354.26/374.20	Caused by: java.lang.reflect.InvocationTargetException
1354.26/374.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1354.26/374.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1354.26/374.20		at java.lang.reflect.Method.invoke(Method.java:498)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1354.26/374.20		... 147 more
1354.26/374.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1354.26/374.20		... 151 more
1354.26/374.20	Caused by: java.lang.reflect.InvocationTargetException
1354.26/374.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1354.26/374.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1354.26/374.20		at java.lang.reflect.Method.invoke(Method.java:498)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1354.26/374.20		... 152 more
1354.26/374.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1354.26/374.20		... 156 more
1354.26/374.20	Caused by: java.lang.reflect.InvocationTargetException
1354.26/374.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1354.26/374.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1354.26/374.20		at java.lang.reflect.Method.invoke(Method.java:498)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1354.26/374.20		... 157 more
1354.26/374.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1354.26/374.20		... 161 more
1354.26/374.20	Caused by: java.lang.reflect.InvocationTargetException
1354.26/374.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1354.26/374.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1354.26/374.20		at java.lang.reflect.Method.invoke(Method.java:498)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1354.26/374.20		... 162 more
1354.26/374.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1354.26/374.20		... 166 more
1354.26/374.20	Caused by: java.lang.reflect.InvocationTargetException
1354.26/374.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1354.26/374.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1354.26/374.20		at java.lang.reflect.Method.invoke(Method.java:498)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1354.26/374.20		... 167 more
1354.26/374.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1354.26/374.20		... 171 more
1354.26/374.20	Caused by: java.lang.reflect.InvocationTargetException
1354.26/374.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1354.26/374.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1354.26/374.20		at java.lang.reflect.Method.invoke(Method.java:498)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1354.26/374.20		... 172 more
1354.26/374.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1354.26/374.20		... 176 more
1354.26/374.20	Caused by: java.lang.reflect.InvocationTargetException
1354.26/374.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1354.26/374.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1354.26/374.20		at java.lang.reflect.Method.invoke(Method.java:498)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1354.26/374.20		... 177 more
1354.26/374.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1354.26/374.20		... 181 more
1354.26/374.20	Caused by: java.lang.reflect.InvocationTargetException
1354.26/374.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1354.26/374.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1354.26/374.20		at java.lang.reflect.Method.invoke(Method.java:498)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1354.26/374.20		... 182 more
1354.26/374.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1354.26/374.20		... 186 more
1354.26/374.20	Caused by: java.lang.reflect.InvocationTargetException
1354.26/374.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1354.26/374.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1354.26/374.20		at java.lang.reflect.Method.invoke(Method.java:498)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1354.26/374.20		... 187 more
1354.26/374.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1354.26/374.20		... 191 more
1354.26/374.20	Caused by: java.lang.reflect.InvocationTargetException
1354.26/374.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1354.26/374.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1354.26/374.20		at java.lang.reflect.Method.invoke(Method.java:498)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1354.26/374.20		... 192 more
1354.26/374.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1354.26/374.20		... 196 more
1354.26/374.20	Caused by: java.lang.reflect.InvocationTargetException
1354.26/374.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1354.26/374.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1354.26/374.20		at java.lang.reflect.Method.invoke(Method.java:498)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1354.26/374.20		... 197 more
1354.26/374.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1354.26/374.20		... 201 more
1354.26/374.20	Caused by: java.lang.reflect.InvocationTargetException
1354.26/374.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1354.26/374.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1354.26/374.20		at java.lang.reflect.Method.invoke(Method.java:498)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1354.26/374.20		... 202 more
1354.26/374.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1354.26/374.20		... 206 more
1354.26/374.20	Caused by: java.lang.reflect.InvocationTargetException
1354.26/374.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1354.26/374.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1354.26/374.20		at java.lang.reflect.Method.invoke(Method.java:498)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1354.26/374.20		... 207 more
1354.26/374.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1354.26/374.20		... 211 more
1354.26/374.20	Caused by: java.lang.reflect.InvocationTargetException
1354.26/374.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1354.26/374.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1354.26/374.20		at java.lang.reflect.Method.invoke(Method.java:498)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1354.26/374.20		... 212 more
1354.26/374.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1354.26/374.20		... 216 more
1354.26/374.20	Caused by: java.lang.reflect.InvocationTargetException
1354.26/374.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1354.26/374.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1354.26/374.20		at java.lang.reflect.Method.invoke(Method.java:498)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1354.26/374.20		... 217 more
1354.26/374.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1354.26/374.20		... 221 more
1354.26/374.20	Caused by: java.lang.reflect.InvocationTargetException
1354.26/374.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1354.26/374.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1354.26/374.20		at java.lang.reflect.Method.invoke(Method.java:498)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1354.26/374.20		... 222 more
1354.26/374.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1354.26/374.20		... 226 more
1354.26/374.20	Caused by: java.lang.reflect.InvocationTargetException
1354.26/374.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1354.26/374.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1354.26/374.20		at java.lang.reflect.Method.invoke(Method.java:498)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1354.26/374.20		... 227 more
1354.26/374.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:128)
1354.26/374.20		... 231 more
1354.26/374.20	Caused by: java.lang.reflect.InvocationTargetException
1354.26/374.20		at sun.reflect.GeneratedMethodAccessor7.invoke(Unknown Source)
1354.26/374.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1354.26/374.20		at java.lang.reflect.Method.invoke(Method.java:498)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:126)
1354.26/374.20		... 231 more
1354.26/374.20	Caused by: java.lang.OutOfMemoryError: GC overhead limit exceeded
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.buildImplVar(TseitinBasedIntensionCtrEncoder.java:540)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorAdd(TseitinBasedIntensionCtrEncoder.java:159)
1354.26/374.20		at sun.reflect.GeneratedMethodAccessor7.invoke(Unknown Source)
1354.26/374.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1354.26/374.20		at java.lang.reflect.Method.invoke(Method.java:498)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:126)
1354.26/374.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1354.26/374.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1354.26/374.20		at java.lang.reflect.Method.invoke(Method.java:498)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1354.26/374.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1354.26/374.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1354.26/374.20		at java.lang.reflect.Method.invoke(Method.java:498)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1354.26/374.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1354.26/374.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1354.26/374.20		at java.lang.reflect.Method.invoke(Method.java:498)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1354.26/374.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1354.26/374.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1354.26/374.20		at java.lang.reflect.Method.invoke(Method.java:498)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1354.26/374.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1354.26/374.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1354.26/374.20		at java.lang.reflect.Method.invoke(Method.java:498)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1354.26/374.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1354.26/374.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1354.26/374.20	
1426.87/393.85	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
1426.87/393.85	c This is free software under the dual EPL/GNU LGPL licenses.
1426.87/393.85	c See www.sat4j.org for details.
1426.87/393.85	c That software uses the Rhino library from the Mozilla project.
1426.87/393.85	c version 2.3.6-SNAPSHOT
1426.87/393.85	c java.runtime.name	Java(TM) SE Runtime Environment
1426.87/393.85	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
1426.87/393.85	c java.vm.version	25.131-b11
1426.87/393.85	c java.vm.vendor	Oracle Corporation
1426.87/393.85	c sun.arch.data.model	64
1426.87/393.85	c java.version		1.8.0_131
1426.87/393.85	c os.name		Linux
1426.87/393.85	c os.version		3.10.0-514.16.1.el7.x86_64
1426.87/393.85	c os.arch		amd64
1426.87/393.85	c Free memory 		499604488
1426.87/393.85	c Max memory 		7247757312
1426.87/393.85	c Total memory 		504889344
1426.87/393.85	c Number of processors 	4
1426.87/393.85	c c --- Begin Solver configuration ---
1426.87/393.85	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e
1426.87/393.85	c Learn all clauses as in MiniSAT
1426.87/393.85	c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
1426.87/393.85	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
1426.87/393.85	c No reason simplification
1426.87/393.85	c Glucose 2.1 dynamic restart strategy
1426.87/393.85	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
1426.87/393.85	c timeout=2147483s
1426.87/393.85	c DB Simplification allowed=false
1426.87/393.85	c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1
1426.87/393.85	c --- End Solver configuration ---
1449.65/399.63	Exception in thread "Thread-0" java.lang.OutOfMemoryError: GC overhead limit exceeded
1449.65/399.63		at org.sat4j.minisat.core.SolverStats.printStat(SolverStats.java:102)
1449.65/399.63		at org.sat4j.pb.core.PBSolverStats.printStat(PBSolverStats.java:91)
1449.65/399.63		at org.sat4j.minisat.core.Solver.printStat(Solver.java:2017)
1449.65/399.63		at org.sat4j.minisat.core.Solver.printStat(Solver.java:2013)
1449.65/399.63		at org.sat4j.csp.CspSatSolverDecorator.printStat(CspSatSolverDecorator.java:262)
1449.65/399.63		at org.sat4j.OptimizationMode.displayResult(OptimizationMode.java:73)
1449.65/399.63		at org.sat4j.AbstractLauncher.displayResult(AbstractLauncher.java:125)
1449.65/399.63		at org.sat4j.csp.CSPLauncher.displayResult(CSPLauncher.java:150)
1449.65/399.63		at org.sat4j.AbstractLauncher$1.run(AbstractLauncher.java:94)

Verifier Data 

One s line expected

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289992-1532221426/watcher-4289992-1532221426 -o /tmp/evaluation-result-4289992-1532221426/solver-4289992-1532221426 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532208388-24576 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4289992-1532221426.xml 

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

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


[startup+0.100159 s]*
/proc/loadavg: 1.95 2.00 2.12 3/217 26498
/proc/meminfo: memFree=15408808/32770624 swapFree=67108860/67108860
[pid=26483] ppid=26480 vsize=10659012 memory=29556 CPUtime=0.12 cores=1,3,5,7
/proc/26483/stat : 26483 (java) S 26480 26483 22446 0 -1 1077944320 6501 0 0 0 11 1 0 0 20 0 15 0 39705765 10914828288 7389 33554432000 4194304 4196468 140727998328336 140727998310880 140143673356023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
/proc/26483/statm: 2664753 7389 2814 1 0 2627263 0
[pid=26483/tid=26485] ppid=26480 vsize=10659012 memory=-8125511277465342078 CPUtime=0.09 cores=1,3,5,7
/proc/26483/task/26485/stat : 26485 (java) R 26480 26483 22446 0 -1 4202560 4298 0 0 0 8 1 0 0 20 0 15 0 39705765 10914828288 7389 33554432000 4194304 4196468 140727998328336 140143677579056 140143673367958 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26486] ppid=26480 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26486/stat : 26486 (java) S 26480 26483 22446 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39705766 10914828288 7389 33554432000 4194304 4196468 140727998328336 140143643069200 140143673366229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26487] ppid=26480 vsize=10659012 memory=140692444227200 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26487/stat : 26487 (java) S 26480 26483 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39705766 10914828288 7389 33554432000 4194304 4196468 140727998328336 140143279606672 140143673366229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26488] ppid=26480 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26488/stat : 26488 (java) S 26480 26483 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39705766 10914828288 7389 33554432000 4194304 4196468 140727998328336 140143278554128 140143673366229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26489] ppid=26480 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26489/stat : 26489 (java) S 26480 26483 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39705766 10914828288 7389 33554432000 4194304 4196468 140727998328336 140143277501584 140143673366229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26490] ppid=26480 vsize=10659012 memory=140692444227200 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26490/stat : 26490 (java) S 26480 26483 22446 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39705767 10914828288 7389 33554432000 4194304 4196468 140727998328336 140143031715824 140143673367170 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26491] ppid=26480 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26491/stat : 26491 (java) S 26480 26483 22446 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39705767 10914828288 7389 33554432000 4194304 4196468 140727998328336 140143030662048 140143673366229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26492] ppid=26480 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26492/stat : 26492 (java) S 26480 26483 22446 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39705768 10914828288 7389 33554432000 4194304 4196468 140727998328336 140143029609456 140143673366229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26493] ppid=26480 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26493/stat : 26493 (java) S 26480 26483 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39705770 10914828288 7389 33554432000 4194304 4196468 140727998328336 140143028558032 140143673374619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26494] ppid=26480 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26494/stat : 26494 (java) S 26480 26483 22446 0 -1 1077944384 451 0 0 0 0 0 0 0 20 0 15 0 39705770 10914828288 7389 33554432000 4194304 4196468 140727998328336 140143027505648 140143673367170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26495] ppid=26480 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26495/stat : 26495 (java) S 26480 26483 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39705770 10914828288 7389 33554432000 4194304 4196468 140727998328336 140143026453104 140143673367170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26496] ppid=26480 vsize=10659012 memory=140692444227200 CPUtime=0.02 cores=1,3,5,7
/proc/26483/task/26496/stat : 26496 (java) R 26480 26483 22446 0 -1 4202560 381 0 0 0 2 0 0 0 20 0 15 0 39705770 10914828288 7389 33554432000 4194304 4196468 140727998328336 140143025400560 140143652787431 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26497] ppid=26480 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26497/stat : 26497 (java) S 26480 26483 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39705770 10914828288 7389 33554432000 4194304 4196468 140727998328336 140143024348256 140143673366229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26498] ppid=26480 vsize=10659012 memory=140692444227200 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26498/stat : 26498 (java) S 26480 26483 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39705770 10914828288 7389 33554432000 4194304 4196468 140727998328336 140143023294768 140143673367170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 29556 KiB

[startup+0.210795 s]*
/proc/loadavg: 1.95 2.00 2.12 4/217 26498
/proc/meminfo: memFree=15400248/32770624 swapFree=67108860/67108860
[pid=26483] ppid=26480 vsize=10659012 memory=40872 CPUtime=0.34 cores=1,3,5,7
/proc/26483/stat : 26483 (java) S 26480 26483 22446 0 -1 1077944320 7846 0 0 0 32 2 0 0 20 0 15 0 39705765 10914828288 10218 33554432000 4194304 4196468 140727998328336 140727998310880 140143673356023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
/proc/26483/statm: 2664753 10218 3005 1 0 2627263 0
[pid=26483/tid=26485] ppid=26480 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/26483/task/26485/stat : 26485 (java) R 26480 26483 22446 0 -1 4202560 4651 0 0 0 19 1 0 0 20 0 15 0 39705765 10914828288 10218 33554432000 4194304 4196468 140727998328336 140143677589008 140143657399653 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26486] ppid=26480 vsize=10659012 memory=342 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26486/stat : 26486 (java) S 26480 26483 22446 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39705766 10914828288 10218 33554432000 4194304 4196468 140727998328336 140143643069200 140143673366229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26487] ppid=26480 vsize=10659012 memory=140692444431474 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26487/stat : 26487 (java) S 26480 26483 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39705766 10914828288 10218 33554432000 4194304 4196468 140727998328336 140143279606672 140143673366229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26488] ppid=26480 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26488/stat : 26488 (java) S 26480 26483 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39705766 10914828288 10218 33554432000 4194304 4196468 140727998328336 140143278554128 140143673366229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26489] ppid=26480 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26489/stat : 26489 (java) S 26480 26483 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39705766 10914828288 10218 33554432000 4194304 4196468 140727998328336 140143277501584 140143673366229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26490] ppid=26480 vsize=10659012 memory=140692444227200 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26490/stat : 26490 (java) S 26480 26483 22446 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39705767 10914828288 10218 33554432000 4194304 4196468 140727998328336 140143031715824 140143673367170 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26491] ppid=26480 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26491/stat : 26491 (java) S 26480 26483 22446 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39705767 10914828288 10218 33554432000 4194304 4196468 140727998328336 140143030662048 140143673366229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26492] ppid=26480 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26492/stat : 26492 (java) S 26480 26483 22446 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39705768 10914828288 10218 33554432000 4194304 4196468 140727998328336 140143029609456 140143673366229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26493] ppid=26480 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26493/stat : 26493 (java) S 26480 26483 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39705770 10914828288 10218 33554432000 4194304 4196468 140727998328336 140143028558032 140143673374619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26494] ppid=26480 vsize=10659012 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/26483/task/26494/stat : 26494 (java) S 26480 26483 22446 0 -1 1077944384 778 0 0 0 2 0 0 0 20 0 15 0 39705770 10914828288 10218 33554432000 4194304 4196468 140727998328336 140143027505648 140143673367170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26495] ppid=26480 vsize=10659012 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/26483/task/26495/stat : 26495 (java) S 26480 26483 22446 0 -1 1077944384 270 0 0 0 2 0 0 0 20 0 15 0 39705770 10914828288 10218 33554432000 4194304 4196468 140727998328336 140143026453104 140143673367170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26496] ppid=26480 vsize=10659012 memory=140692444227200 CPUtime=0.07 cores=1,3,5,7
/proc/26483/task/26496/stat : 26496 (java) R 26480 26483 22446 0 -1 4202560 781 0 0 0 7 0 0 0 20 0 15 0 39705770 10914828288 10218 33554432000 4194304 4196468 140727998328336 140143025400560 140143666452859 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26497] ppid=26480 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26497/stat : 26497 (java) S 26480 26483 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39705770 10914828288 10218 33554432000 4194304 4196468 140727998328336 140143024348256 140143673366229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26498] ppid=26480 vsize=10659012 memory=140692444227200 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26498/stat : 26498 (java) S 26480 26483 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39705770 10914828288 10218 33554432000 4194304 4196468 140727998328336 140143023294768 140143673367170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 40872 KiB

[startup+0.312593 s]*
/proc/loadavg: 1.95 2.00 2.12 6/217 26498
/proc/meminfo: memFree=15392664/32770624 swapFree=67108860/67108860
[pid=26483] ppid=26480 vsize=10659088 memory=47084 CPUtime=0.53 cores=1,3,5,7
/proc/26483/stat : 26483 (java) S 26480 26483 22446 0 -1 1077944320 8790 0 0 0 51 2 0 0 20 0 15 0 39705765 10914906112 11771 33554432000 4194304 4196468 140727998328336 140727998310880 140143673356023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
/proc/26483/statm: 2664772 11771 3066 1 0 2627263 0
[pid=26483/tid=26485] ppid=26480 vsize=10659088 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/26483/task/26485/stat : 26485 (java) R 26480 26483 22446 0 -1 4202560 5203 0 0 0 29 1 0 0 20 0 15 0 39705765 10914906112 11771 33554432000 4194304 4196468 140727998328336 140143677592544 140143673367958 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26486] ppid=26480 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26486/stat : 26486 (java) S 26480 26483 22446 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39705766 10914906112 11771 33554432000 4194304 4196468 140727998328336 140143643069200 140143673366229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26487] ppid=26480 vsize=10659088 memory=140692444433307 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26487/stat : 26487 (java) S 26480 26483 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39705766 10914906112 11771 33554432000 4194304 4196468 140727998328336 140143279606672 140143673366229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26488] ppid=26480 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26488/stat : 26488 (java) S 26480 26483 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39705766 10914906112 11771 33554432000 4194304 4196468 140727998328336 140143278554128 140143673366229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26489] ppid=26480 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26489/stat : 26489 (java) S 26480 26483 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39705766 10914906112 11771 33554432000 4194304 4196468 140727998328336 140143277501584 140143673366229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26490] ppid=26480 vsize=10659088 memory=140692444227200 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26490/stat : 26490 (java) S 26480 26483 22446 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39705767 10914906112 11771 33554432000 4194304 4196468 140727998328336 140143031715824 140143673367170 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26491] ppid=26480 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26491/stat : 26491 (java) S 26480 26483 22446 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39705767 10914906112 11771 33554432000 4194304 4196468 140727998328336 140143030662048 140143673366229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26492] ppid=26480 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26492/stat : 26492 (java) S 26480 26483 22446 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39705768 10914906112 11771 33554432000 4194304 4196468 140727998328336 140143029609456 140143673366229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26493] ppid=26480 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26493/stat : 26493 (java) S 26480 26483 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39705770 10914906112 11771 33554432000 4194304 4196468 140727998328336 140143028558032 140143673374619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26494] ppid=26480 vsize=10659088 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/26483/task/26494/stat : 26494 (java) S 26480 26483 22446 0 -1 1077944384 927 0 0 0 5 0 0 0 20 0 15 0 39705770 10914906112 11771 33554432000 4194304 4196468 140727998328336 140143027505648 140143673367170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26495] ppid=26480 vsize=10659088 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/26483/task/26495/stat : 26495 (java) S 26480 26483 22446 0 -1 1077944384 362 0 0 0 4 0 0 0 20 0 15 0 39705770 10914906112 11771 33554432000 4194304 4196468 140727998328336 140143026453104 140143673367170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26496] ppid=26480 vsize=10659088 memory=140692444227200 CPUtime=0.12 cores=1,3,5,7
/proc/26483/task/26496/stat : 26496 (java) R 26480 26483 22446 0 -1 4202560 930 0 0 0 12 0 0 0 20 0 15 0 39705770 10914906112 11771 33554432000 4194304 4196468 140727998328336 140143025398352 140143651904963 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26497] ppid=26480 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26497/stat : 26497 (java) S 26480 26483 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39705770 10914906112 11771 33554432000 4194304 4196468 140727998328336 140143024348256 140143673366229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26498] ppid=26480 vsize=10659088 memory=140692444227200 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26498/stat : 26498 (java) S 26480 26483 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39705770 10914906112 11771 33554432000 4194304 4196468 140727998328336 140143023294768 140143673367170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 47084 KiB

[startup+0.700855 s]
/proc/loadavg: 1.95 2.00 2.12 5/217 26498
/proc/meminfo: memFree=15350608/32770624 swapFree=67108860/67108860
[pid=26483] ppid=26480 vsize=10659088 memory=186544 CPUtime=1.87 cores=1,3,5,7
/proc/26483/stat : 26483 (java) S 26480 26483 22446 0 -1 1077944320 18764 0 0 0 181 6 0 0 20 0 15 0 39705765 10914906112 46636 33554432000 4194304 4196468 140727998328336 140727998310880 140143673356023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
/proc/26483/statm: 2664772 46636 3090 1 0 2627263 0
[pid=26483/tid=26485] ppid=26480 vsize=10659088 memory=1728 CPUtime=0.68 cores=1,3,5,7
/proc/26483/task/26485/stat : 26485 (java) R 26480 26483 22446 0 -1 4202560 5614 0 0 0 65 3 0 0 20 0 15 0 39705765 10914906112 46636 33554432000 4194304 4196468 140727998328336 140143677580152 140143313948619 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26486] ppid=26480 vsize=10659088 memory=796 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26486/stat : 26486 (java) S 26480 26483 22446 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39705766 10914906112 46636 33554432000 4194304 4196468 140727998328336 140143643069200 140143673366229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26487] ppid=26480 vsize=10659088 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26487/stat : 26487 (java) S 26480 26483 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39705766 10914906112 46636 33554432000 4194304 4196468 140727998328336 140143279606672 140143673366229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26488] ppid=26480 vsize=10659088 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26488/stat : 26488 (java) S 26480 26483 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39705766 10914906112 46636 33554432000 4194304 4196468 140727998328336 140143278554128 140143673366229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26489] ppid=26480 vsize=10659088 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26489/stat : 26489 (java) S 26480 26483 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39705766 10914906112 46636 33554432000 4194304 4196468 140727998328336 140143277501584 140143673366229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26490] ppid=26480 vsize=10659088 memory=9924 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26490/stat : 26490 (java) S 26480 26483 22446 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 39705767 10914906112 46636 33554432000 4194304 4196468 140727998328336 140143031715824 140143673367170 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26491] ppid=26480 vsize=10659088 memory=5368 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26491/stat : 26491 (java) S 26480 26483 22446 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39705767 10914906112 46636 33554432000 4194304 4196468 140727998328336 140143030662048 140143673366229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26492] ppid=26480 vsize=10659088 memory=1936 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26492/stat : 26492 (java) S 26480 26483 22446 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39705768 10914906112 46636 33554432000 4194304 4196468 140727998328336 140143029609456 140143673366229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26493] ppid=26480 vsize=10659088 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26493/stat : 26493 (java) S 26480 26483 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39705770 10914906112 46636 33554432000 4194304 4196468 140727998328336 140143028558032 140143673374619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26494] ppid=26480 vsize=10659088 memory=6945208482816681536 CPUtime=0.41 cores=1,3,5,7
/proc/26483/task/26494/stat : 26494 (java) R 26480 26483 22446 0 -1 4202560 4449 0 0 0 40 1 0 0 20 0 15 0 39705770 10914906112 46636 33554432000 4194304 4196468 140727998328336 140143027491384 140143653009578 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26495] ppid=26480 vsize=10659088 memory=7811323491934034026 CPUtime=0.41 cores=1,3,5,7
/proc/26483/task/26495/stat : 26495 (java) R 26480 26483 22446 0 -1 4202560 3579 0 0 0 40 1 0 0 20 0 15 0 39705770 10914906112 46636 33554432000 4194304 4196468 140727998328336 140143026445056 140143673377370 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26496] ppid=26480 vsize=10659088 memory=5787213827147130983 CPUtime=0.35 cores=1,3,5,7
/proc/26483/task/26496/stat : 26496 (java) R 26480 26483 22446 0 -1 1077944384 3750 0 0 0 35 0 0 0 20 0 15 0 39705770 10914906112 46636 33554432000 4194304 4196468 140727998328336 140143025400560 140143673367170 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26497] ppid=26480 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26497/stat : 26497 (java) S 26480 26483 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39705770 10914906112 46636 33554432000 4194304 4196468 140727998328336 140143024348256 140143673366229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26498] ppid=26480 vsize=10659088 memory=281384648520640 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26498/stat : 26498 (java) S 26480 26483 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39705770 10914906112 46636 33554432000 4194304 4196468 140727998328336 140143023294768 140143673367170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
Current children cumulated CPU time: 1.87 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 186544 KiB

[startup+1.50143 s]
/proc/loadavg: 1.95 2.00 2.12 5/217 26498
/proc/meminfo: memFree=15217940/32770624 swapFree=67108860/67108860
[pid=26483] ppid=26480 vsize=10659088 memory=431488 CPUtime=4.04 cores=1,3,5,7
/proc/26483/stat : 26483 (java) S 26480 26483 22446 0 -1 1077944320 19795 0 0 0 385 19 0 0 20 0 15 0 39705765 10914906112 107872 33554432000 4194304 4196468 140727998328336 140727998310880 140143673356023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
/proc/26483/statm: 2664772 107872 3155 1 0 2627263 0
[pid=26483/tid=26485] ppid=26480 vsize=10659088 memory=4 CPUtime=1.34 cores=1,3,5,7
/proc/26483/task/26485/stat : 26485 (java) S 26480 26483 22446 0 -1 1077944384 5682 0 0 0 130 4 0 0 20 0 15 0 39705765 10914906112 107872 33554432000 4194304 4196468 140727998328336 140143677591360 140143673366229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26486] ppid=26480 vsize=10659088 memory=5 CPUtime=0.11 cores=1,3,5,7
/proc/26483/task/26486/stat : 26486 (java) R 26480 26483 22446 0 -1 4202560 105 0 0 0 9 2 0 0 20 0 15 0 39705766 10914906112 107872 33554432000 4194304 4196468 140727998328336 140143643069200 140143658378134 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26487] ppid=26480 vsize=10659088 memory=4 CPUtime=0.09 cores=1,3,5,7
/proc/26483/task/26487/stat : 26487 (java) R 26480 26483 22446 0 -1 4202560 138 0 0 0 7 2 0 0 20 0 15 0 39705766 10914906112 107872 33554432000 4194304 4196468 140727998328336 140143279606872 140143658378144 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26488] ppid=26480 vsize=10659088 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/26483/task/26488/stat : 26488 (java) R 26480 26483 22446 0 -1 4202560 128 0 0 0 8 2 0 0 20 0 15 0 39705766 10914906112 107872 33554432000 4194304 4196468 140727998328336 140143278554128 140143658383442 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26489] ppid=26480 vsize=10659088 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/26483/task/26489/stat : 26489 (java) R 26480 26483 22446 0 -1 4202560 150 0 0 0 8 2 0 0 20 0 15 0 39705766 10914906112 107872 33554432000 4194304 4196468 140727998328336 140143277501784 140143658383442 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26490] ppid=26480 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26490/stat : 26490 (java) S 26480 26483 22446 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 39705767 10914906112 107872 33554432000 4194304 4196468 140727998328336 140143031714336 140143673366229 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0

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

[pid=26483/tid=26486] ppid=26480 vsize=10794416 memory=1012 CPUtime=348.07 cores=1,3,5,7
/proc/26483/task/26486/stat : 26486 (java) R 26480 26483 22446 0 -1 4202560 115864 0 0 0 34649 158 0 0 20 0 17 0 39705766 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140143643069400 140143658053602 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26487] ppid=26480 vsize=10794416 memory=1228 CPUtime=347.81 cores=1,3,5,7
/proc/26483/task/26487/stat : 26487 (java) R 26480 26483 22446 0 -1 4202560 137158 0 0 0 34616 165 0 0 20 0 17 0 39705766 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140143279606872 140143658307150 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26488] ppid=26480 vsize=10794416 memory=4136 CPUtime=348.12 cores=1,3,5,7
/proc/26483/task/26488/stat : 26488 (java) R 26480 26483 22446 0 -1 4202560 71170 0 0 0 34666 146 0 0 20 0 17 0 39705766 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140143278554016 140143654952571 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26489] ppid=26480 vsize=10794416 memory=14004 CPUtime=347.98 cores=1,3,5,7
/proc/26483/task/26489/stat : 26489 (java) R 26480 26483 22446 0 -1 4202560 94784 0 0 0 34650 148 0 0 20 0 17 0 39705766 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140143277501784 140143654952675 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26490] ppid=26480 vsize=10794416 memory=2420 CPUtime=24.76 cores=1,3,5,7
/proc/26483/task/26490/stat : 26490 (java) S 26480 26483 22446 0 -1 1077944384 80158 0 0 0 2471 5 0 0 20 0 17 0 39705767 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140143031714144 140143673366229 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26491] ppid=26480 vsize=10794416 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26491/stat : 26491 (java) S 26480 26483 22446 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 17 0 39705767 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140143030662112 140143673366229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26492] ppid=26480 vsize=10794416 memory=9924 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26492/stat : 26492 (java) S 26480 26483 22446 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 17 0 39705768 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140143029609472 140143673366229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26493] ppid=26480 vsize=10794416 memory=5368 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26493/stat : 26493 (java) S 26480 26483 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39705770 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140143028558032 140143673374619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26494] ppid=26480 vsize=10794416 memory=1936 CPUtime=0.94 cores=1,3,5,7
/proc/26483/task/26494/stat : 26494 (java) S 26480 26483 22446 0 -1 1077944384 4753 0 0 0 93 1 0 0 20 0 17 0 39705770 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140143027505648 140143673367170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26495] ppid=26480 vsize=10794416 memory=6791534058613427641 CPUtime=1 cores=1,3,5,7
/proc/26483/task/26495/stat : 26495 (java) S 26480 26483 22446 0 -1 1077944384 3745 0 0 0 99 1 0 0 20 0 17 0 39705770 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140143026453104 140143673367170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26496] ppid=26480 vsize=10794416 memory=8325636 CPUtime=0.44 cores=1,3,5,7
/proc/26483/task/26496/stat : 26496 (java) S 26480 26483 22446 0 -1 1077944384 4217 0 0 0 43 1 0 0 20 0 17 0 39705770 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140143025396432 140143673366229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26497] ppid=26480 vsize=10794416 memory=8376 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26497/stat : 26497 (java) S 26480 26483 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39705770 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140143024348256 140143673366229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26498] ppid=26480 vsize=10794416 memory=4616 CPUtime=0.3 cores=1,3,5,7
/proc/26483/task/26498/stat : 26498 (java) S 26480 26483 22446 0 -1 1077944384 1245 0 0 0 14 16 0 0 20 0 17 0 39705770 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140143023294768 140143673367170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26551] ppid=26480 vsize=10794416 memory=281384648873392 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26551/stat : 26551 (java) S 26480 26483 22446 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 17 0 39743185 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140143020142064 140143673366229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26552] ppid=26480 vsize=10794416 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26552/stat : 26552 (java) S 26480 26483 22446 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 17 0 39743185 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140143019089968 140143673366229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
Current children cumulated CPU time: 1438.66 s
Current children cumulated vsize: 10794416 KiB
Current children cumulated memory: 8325812 KiB

[startup+398.401 s]
/proc/loadavg: 4.76 3.99 3.00 6/219 26559
/proc/meminfo: memFree=6838244/32770624 swapFree=67108860/67108860
[pid=26483] ppid=26480 vsize=10794416 memory=8325812 CPUtime=1444.97 cores=1,3,5,7
/proc/26483/stat : 26483 (java) S 26480 26483 22446 0 -1 1077944320 531290 0 0 0 143854 643 0 0 20 0 17 0 39705765 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140727998310880 140143673356023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
/proc/26483/statm: 2698604 2081453 3216 1 0 2661057 0
[pid=26483/tid=26485] ppid=26480 vsize=10794416 memory=5368 CPUtime=19.16 cores=1,3,5,7
/proc/26483/task/26485/stat : 26485 (java) S 26480 26483 22446 0 -1 1077944384 14201 0 0 0 1904 12 0 0 20 0 17 0 39705765 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140143677596704 140143673366229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26486] ppid=26480 vsize=10794416 memory=6791534058613427641 CPUtime=349.66 cores=1,3,5,7
/proc/26483/task/26486/stat : 26486 (java) R 26480 26483 22446 0 -1 4202560 118177 0 0 0 34808 158 0 0 20 0 17 0 39705766 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140143643069088 140143658352433 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26487] ppid=26480 vsize=10794416 memory=14004 CPUtime=349.41 cores=1,3,5,7
/proc/26483/task/26487/stat : 26487 (java) R 26480 26483 22446 0 -1 4202560 137161 0 0 0 34776 165 0 0 20 0 17 0 39705766 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140143279606872 140143658352643 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26488] ppid=26480 vsize=10794416 memory=2420 CPUtime=349.7 cores=1,3,5,7
/proc/26483/task/26488/stat : 26488 (java) R 26480 26483 22446 0 -1 4202560 71197 0 0 0 34824 146 0 0 20 0 17 0 39705766 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140143278554328 140143658352615 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26489] ppid=26480 vsize=10794416 memory=1292 CPUtime=349.52 cores=1,3,5,7
/proc/26483/task/26489/stat : 26489 (java) R 26480 26483 22446 0 -1 4202560 94881 0 0 0 34804 148 0 0 20 0 17 0 39705766 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140143277501784 140143658054861 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26490] ppid=26480 vsize=10794416 memory=1728 CPUtime=24.76 cores=1,3,5,7
/proc/26483/task/26490/stat : 26490 (java) S 26480 26483 22446 0 -1 1077944384 80159 0 0 0 2471 5 0 0 20 0 17 0 39705767 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140143031714368 140143673366229 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26491] ppid=26480 vsize=10794416 memory=796 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26491/stat : 26491 (java) S 26480 26483 22446 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 17 0 39705767 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140143030662112 140143673366229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26492] ppid=26480 vsize=10794416 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26492/stat : 26492 (java) S 26480 26483 22446 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 17 0 39705768 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140143029609472 140143673366229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26493] ppid=26480 vsize=10794416 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26493/stat : 26493 (java) S 26480 26483 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39705770 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140143028558032 140143673374619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26494] ppid=26480 vsize=10794416 memory=4136 CPUtime=0.94 cores=1,3,5,7
/proc/26483/task/26494/stat : 26494 (java) S 26480 26483 22446 0 -1 1077944384 4753 0 0 0 93 1 0 0 20 0 17 0 39705770 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140143027505648 140143673367170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26495] ppid=26480 vsize=10794416 memory=14004 CPUtime=1 cores=1,3,5,7
/proc/26483/task/26495/stat : 26495 (java) S 26480 26483 22446 0 -1 1077944384 3745 0 0 0 99 1 0 0 20 0 17 0 39705770 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140143026453104 140143673367170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26496] ppid=26480 vsize=10794416 memory=2420 CPUtime=0.44 cores=1,3,5,7
/proc/26483/task/26496/stat : 26496 (java) S 26480 26483 22446 0 -1 1077944384 4217 0 0 0 43 1 0 0 20 0 17 0 39705770 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140143025396432 140143673366229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26497] ppid=26480 vsize=10794416 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26497/stat : 26497 (java) S 26480 26483 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39705770 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140143024348256 140143673366229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26498] ppid=26480 vsize=10794416 memory=1728 CPUtime=0.31 cores=1,3,5,7
/proc/26483/task/26498/stat : 26498 (java) S 26480 26483 22446 0 -1 1077944384 1245 0 0 0 14 17 0 0 20 0 17 0 39705770 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140143023294768 140143673367170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26551] ppid=26480 vsize=10794416 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26551/stat : 26551 (java) S 26480 26483 22446 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 17 0 39743185 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140143020142064 140143673366229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26552] ppid=26480 vsize=10794416 memory=960 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26552/stat : 26552 (java) S 26480 26483 22446 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 17 0 39743185 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140143019089968 140143673366229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
Current children cumulated CPU time: 1444.97 s
Current children cumulated vsize: 10794416 KiB
Current children cumulated memory: 8325812 KiB

[startup+399.201 s]
/proc/loadavg: 4.76 3.99 3.00 6/219 26559
/proc/meminfo: memFree=6838244/32770624 swapFree=67108860/67108860
[pid=26483] ppid=26480 vsize=10794416 memory=8325812 CPUtime=1448.16 cores=1,3,5,7
/proc/26483/stat : 26483 (java) S 26480 26483 22446 0 -1 1077944320 531321 0 0 0 144173 643 0 0 20 0 17 0 39705765 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140727998310880 140143673356023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
/proc/26483/statm: 2698604 2081453 3216 1 0 2661057 0
[pid=26483/tid=26485] ppid=26480 vsize=10794416 memory=1796 CPUtime=19.16 cores=1,3,5,7
/proc/26483/task/26485/stat : 26485 (java) S 26480 26483 22446 0 -1 1077944384 14201 0 0 0 1904 12 0 0 20 0 17 0 39705765 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140143677596704 140143673366229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26486] ppid=26480 vsize=10794416 memory=6791534058613427641 CPUtime=350.46 cores=1,3,5,7
/proc/26483/task/26486/stat : 26486 (java) R 26480 26483 22446 0 -1 4202560 118177 0 0 0 34888 158 0 0 20 0 17 0 39705766 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140143643069088 140143654965668 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26487] ppid=26480 vsize=10794416 memory=2344 CPUtime=350.21 cores=1,3,5,7
/proc/26483/task/26487/stat : 26487 (java) R 26480 26483 22446 0 -1 4202560 137161 0 0 0 34856 165 0 0 20 0 17 0 39705766 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140143279606872 140143657813593 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26488] ppid=26480 vsize=10794416 memory=928 CPUtime=350.5 cores=1,3,5,7
/proc/26483/task/26488/stat : 26488 (java) R 26480 26483 22446 0 -1 4202560 71197 0 0 0 34904 146 0 0 20 0 17 0 39705766 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140143278554328 140143657813656 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26489] ppid=26480 vsize=10794416 memory=1580 CPUtime=350.3 cores=1,3,5,7
/proc/26483/task/26489/stat : 26489 (java) R 26480 26483 22446 0 -1 4202560 94912 0 0 0 34882 148 0 0 20 0 17 0 39705766 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140143277501784 140143658352516 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26490] ppid=26480 vsize=10794416 memory=1424 CPUtime=24.76 cores=1,3,5,7
/proc/26483/task/26490/stat : 26490 (java) S 26480 26483 22446 0 -1 1077944384 80159 0 0 0 2471 5 0 0 20 0 17 0 39705767 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140143031714368 140143673366229 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26491] ppid=26480 vsize=10794416 memory=15868 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26491/stat : 26491 (java) S 26480 26483 22446 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 17 0 39705767 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140143030662112 140143673366229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26492] ppid=26480 vsize=10794416 memory=4052 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26492/stat : 26492 (java) S 26480 26483 22446 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 17 0 39705768 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140143029609472 140143673366229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26493] ppid=26480 vsize=10794416 memory=18448 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26493/stat : 26493 (java) S 26480 26483 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39705770 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140143028558032 140143673374619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26494] ppid=26480 vsize=10794416 memory=8692 CPUtime=0.94 cores=1,3,5,7
/proc/26483/task/26494/stat : 26494 (java) S 26480 26483 22446 0 -1 1077944384 4753 0 0 0 93 1 0 0 20 0 17 0 39705770 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140143027505408 140143673366229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26495] ppid=26480 vsize=10794416 memory=644 CPUtime=1 cores=1,3,5,7
/proc/26483/task/26495/stat : 26495 (java) S 26480 26483 22446 0 -1 1077944384 3745 0 0 0 99 1 0 0 20 0 17 0 39705770 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140143026453152 140143673366229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26496] ppid=26480 vsize=10794416 memory=2420 CPUtime=0.44 cores=1,3,5,7
/proc/26483/task/26496/stat : 26496 (java) S 26480 26483 22446 0 -1 1077944384 4217 0 0 0 43 1 0 0 20 0 17 0 39705770 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140143025396432 140143673366229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26497] ppid=26480 vsize=10794416 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26497/stat : 26497 (java) S 26480 26483 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39705770 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140143024348256 140143673366229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26498] ppid=26480 vsize=10794416 memory=1728 CPUtime=0.32 cores=1,3,5,7
/proc/26483/task/26498/stat : 26498 (java) R 26480 26483 22446 0 -1 1077944384 1245 0 0 0 15 17 0 0 20 0 17 0 39705770 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140143023294768 140143673367170 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26551] ppid=26480 vsize=10794416 memory=796 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26551/stat : 26551 (java) S 26480 26483 22446 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 17 0 39743185 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140143020142064 140143673366229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26552] ppid=26480 vsize=10794416 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26552/stat : 26552 (java) S 26480 26483 22446 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 17 0 39743185 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140143019089968 140143673366229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
Current children cumulated CPU time: 1448.16 s
Current children cumulated vsize: 10794416 KiB
Current children cumulated memory: 8325812 KiB

[startup+399.601 s]
/proc/loadavg: 4.76 3.99 3.00 6/219 26559
/proc/meminfo: memFree=6838244/32770624 swapFree=67108860/67108860
[pid=26483] ppid=26480 vsize=10794416 memory=8325812 CPUtime=1449.65 cores=1,3,5,7
/proc/26483/stat : 26483 (java) S 26480 26483 22446 0 -1 1077944320 531321 0 0 0 144321 644 0 0 20 0 17 0 39705765 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140727998310880 140143673356023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
/proc/26483/statm: 2698604 2081453 3216 1 0 2661057 0
[pid=26483/tid=26485] ppid=26480 vsize=10794416 memory=5368 CPUtime=19.16 cores=1,3,5,7
/proc/26483/task/26485/stat : 26485 (java) S 26480 26483 22446 0 -1 1077944384 14201 0 0 0 1904 12 0 0 20 0 17 0 39705765 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140143677596704 140143673366229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26486] ppid=26480 vsize=10794416 memory=1936 CPUtime=350.83 cores=1,3,5,7
/proc/26483/task/26486/stat : 26486 (java) S 26480 26483 22446 0 -1 1077944384 118177 0 0 0 34925 158 0 0 20 0 17 0 39705766 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140143643069200 140143673366229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26487] ppid=26480 vsize=10794416 memory=1196 CPUtime=350.57 cores=1,3,5,7
/proc/26483/task/26487/stat : 26487 (java) S 26480 26483 22446 0 -1 1077944384 137161 0 0 0 34892 165 0 0 20 0 17 0 39705766 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140143279606672 140143673366229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26488] ppid=26480 vsize=10794416 memory=8376 CPUtime=350.86 cores=1,3,5,7
/proc/26483/task/26488/stat : 26488 (java) S 26480 26483 22446 0 -1 1077944384 71197 0 0 0 34940 146 0 0 20 0 17 0 39705766 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140143278554128 140143673366229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26489] ppid=26480 vsize=10794416 memory=4616 CPUtime=350.66 cores=1,3,5,7
/proc/26483/task/26489/stat : 26489 (java) S 26480 26483 22446 0 -1 1077944384 94912 0 0 0 34918 148 0 0 20 0 17 0 39705766 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140143277501584 140143673366229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26490] ppid=26480 vsize=10794416 memory=8325812 CPUtime=24.79 cores=1,3,5,7
/proc/26483/task/26490/stat : 26490 (java) R 26480 26483 22446 0 -1 4202560 80159 0 0 0 2474 5 0 0 20 0 17 0 39705767 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140143031714368 140143658352433 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26491] ppid=26480 vsize=10794416 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26491/stat : 26491 (java) S 26480 26483 22446 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 17 0 39705767 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140143030662112 140143673366229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26492] ppid=26480 vsize=10794416 memory=9924 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26492/stat : 26492 (java) S 26480 26483 22446 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 17 0 39705768 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140143029609472 140143673366229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26493] ppid=26480 vsize=10794416 memory=5368 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26493/stat : 26493 (java) S 26480 26483 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39705770 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140143028558032 140143673374619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26494] ppid=26480 vsize=10794416 memory=1936 CPUtime=0.94 cores=1,3,5,7
/proc/26483/task/26494/stat : 26494 (java) S 26480 26483 22446 0 -1 1077944384 4753 0 0 0 93 1 0 0 20 0 17 0 39705770 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140143027505408 140143673366229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26495] ppid=26480 vsize=10794416 memory=1196 CPUtime=1 cores=1,3,5,7
/proc/26483/task/26495/stat : 26495 (java) S 26480 26483 22446 0 -1 1077944384 3745 0 0 0 99 1 0 0 20 0 17 0 39705770 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140143026453152 140143673366229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26496] ppid=26480 vsize=10794416 memory=8376 CPUtime=0.44 cores=1,3,5,7
/proc/26483/task/26496/stat : 26496 (java) S 26480 26483 22446 0 -1 1077944384 4217 0 0 0 43 1 0 0 20 0 17 0 39705770 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140143025396432 140143673366229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26497] ppid=26480 vsize=10794416 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26497/stat : 26497 (java) S 26480 26483 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39705770 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140143024348256 140143673366229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26498] ppid=26480 vsize=10794416 memory=1424 CPUtime=0.32 cores=1,3,5,7
/proc/26483/task/26498/stat : 26498 (java) S 26480 26483 22446 0 -1 1077944384 1245 0 0 0 15 17 0 0 20 0 17 0 39705770 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140143023294768 140143673367170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26551] ppid=26480 vsize=10794416 memory=15868 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26551/stat : 26551 (java) S 26480 26483 22446 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 17 0 39743185 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140143020142064 140143673366229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
[pid=26483/tid=26552] ppid=26480 vsize=10794416 memory=1073768 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26552/stat : 26552 (java) S 26480 26483 22446 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 17 0 39743185 11053481984 2081453 33554432000 4194304 4196468 140727998328336 140143019089968 140143673366229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22429696 140727998329969 140727998330121 140727998330121 140727998332879 0
Current children cumulated CPU time: 1449.65 s
Current children cumulated vsize: 10794416 KiB
Current children cumulated memory: 8325812 KiB

Child status: 0
Real time (s): 399.684
CPU time (s): 1449.74
CPU user time (s): 1443.26
CPU system time (s): 6.48614
CPU usage (%): 362.722
Max. virtual memory (cumulated for all children) (KiB): 10794416
Max. memory (cumulated for all children) (KiB): 8325812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1443.26
system time used= 6.48614
maximum resident set size= 8325964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 531425
page faults= 0
swaps= 0
block input operations= 0
block output operations= 536
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23944
involuntary context switches= 15340


# summary of solver processes directly reported to runsolver:
#   pid: 26483
#   total CPU time (s): 1449.74
#   total CPU user time (s): 1443.26
#   total CPU system time (s): 6.48614

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.42961 second user time and 4.12262 second system time

The end

Launcher Data 

Begin job on node105 at 2018-07-22 03:03:46
IDJOB=4289992
IDBENCH=141524
IDSOLVER=2742
FILE ID=node105/4289992-1532221426
RUNJOBID= node105-1532208388-24576
PBS_JOBID= 21018938
Free space on /tmp= 44920 MiB

SOLVER NAME= Sat4j-CSP 2018-07-11
BENCH NAME= XCSP18/Mario/Mario-t-hard-5_c18.xml
COMMAND LINE= java -DCompetitionOutput -jar DIR/sat4j-csp-final.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4289992-1532221426/watcher-4289992-1532221426 -o /tmp/evaluation-result-4289992-1532221426/solver-4289992-1532221426 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532208388-24576 --watchdog 2560  java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4289992-1532221426.xml

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

MD5SUM BENCH= 4de37f7087aa8e77bde3fd457ed5d54a
RANDOM SEED=234870008

node105.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.32
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.32
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.32
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.32
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:        15427532 kB
MemAvailable:   31134156 kB
Buffers:          128360 kB
Cached:         15552612 kB
SwapCached:            0 kB
Active:          1990596 kB
Inactive:       14548268 kB
Active(anon):     810772 kB
Inactive(anon):    66388 kB
Active(file):    1179824 kB
Inactive(file): 14481880 kB
Unevictable:        7280 kB
Mlocked:            7280 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2360 kB
Writeback:             0 kB
AnonPages:        878536 kB
Mapped:            47160 kB
Shmem:             17068 kB
Slab:             500164 kB
SReclaimable:     473380 kB
SUnreclaim:        26784 kB
KernelStack:        3856 kB
PageTables:         6532 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2325792 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    768000 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 44916 MiB
End job on node105 at 2018-07-22 03:10:26