Trace number 4289991

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? 1422.68 396.676

General information on the benchmark

NameMario/
Mario-t-hard-2_c18.xml
MD5SUM2b9b9d57997e47756252872b7d7d2054
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4850
Best CPU time to get the best result obtained on this benchmark6.37294
Satisfiable
(Un)Satisfiability was proved
Number of variables300
Number of constraints201
Number of domains161
Minimum domain size1
Maximum domain size100
Distribution of domain sizes[{"size":1,"count":2},{"size":2,"count":98},{"size":85,"count":3},{"size":86,"count":3},{"size":87,"count":7},{"size":88,"count":10},{"size":89,"count":13},{"size":90,"count":11},{"size":91,"count":13},{"size":92,"count":9},{"size":93,"count":7},{"size":94,"count":9},{"size":95,"count":4},{"size":96,"count":8},{"size":97,"count":2},{"size":99,"count":1},{"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 

1350.76/377.20	Jul 22, 2018 3:07:29 AM org.sat4j.reader.XMLCSP3Reader parseInstance
1350.76/377.20	INFO: Runtime exception
1350.76/377.20	java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeExpression(TseitinBasedIntensionCtrEncoder.java:78)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encode(TseitinBasedIntensionCtrEncoder.java:59)
1350.76/377.20		at org.sat4j.csp.constraints3.CountingCtrBuilder.buildCtrSum(CountingCtrBuilder.java:98)
1350.76/377.20		at org.sat4j.csp.constraints3.CountingCtrBuilder.buildCtrSum(CountingCtrBuilder.java:53)
1350.76/377.20		at org.sat4j.reader.XMLCSP3Reader.buildCtrSum(XMLCSP3Reader.java:586)
1350.76/377.20		at org.xcsp.parser.loaders.CtrLoaderInteger.sum(CtrLoaderInteger.java:383)
1350.76/377.20		at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:188)
1350.76/377.20		at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:538)
1350.76/377.20		at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:440)
1350.76/377.20		at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:418)
1350.76/377.20		at org.sat4j.reader.XMLCSP3Reader.loadInstance(XMLCSP3Reader.java:343)
1350.76/377.20		at org.sat4j.reader.XMLCSP3Reader.parseInstance(XMLCSP3Reader.java:308)
1350.76/377.20		at org.sat4j.reader.Reader.parseInstance(Reader.java:73)
1350.76/377.20		at org.sat4j.AbstractLauncher.readProblem(AbstractLauncher.java:201)
1350.76/377.20		at org.sat4j.csp.CSPLauncher.readProblem(CSPLauncher.java:95)
1350.76/377.20		at org.sat4j.AbstractLauncher.run(AbstractLauncher.java:255)
1350.76/377.20		at org.sat4j.csp.CSPLauncher.main(CSPLauncher.java:119)
1350.76/377.20	Caused by: java.lang.reflect.InvocationTargetException
1350.76/377.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1350.76/377.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1350.76/377.20		at java.lang.reflect.Method.invoke(Method.java:498)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1350.76/377.20		... 17 more
1350.76/377.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1350.76/377.20		... 21 more
1350.76/377.20	Caused by: java.lang.reflect.InvocationTargetException
1350.76/377.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1350.76/377.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1350.76/377.20		at java.lang.reflect.Method.invoke(Method.java:498)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1350.76/377.20		... 22 more
1350.76/377.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1350.76/377.20		... 26 more
1350.76/377.20	Caused by: java.lang.reflect.InvocationTargetException
1350.76/377.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1350.76/377.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1350.76/377.20		at java.lang.reflect.Method.invoke(Method.java:498)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1350.76/377.20		... 27 more
1350.76/377.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1350.76/377.20		... 31 more
1350.76/377.20	Caused by: java.lang.reflect.InvocationTargetException
1350.76/377.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1350.76/377.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1350.76/377.20		at java.lang.reflect.Method.invoke(Method.java:498)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1350.76/377.20		... 32 more
1350.76/377.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1350.76/377.20		... 36 more
1350.76/377.20	Caused by: java.lang.reflect.InvocationTargetException
1350.76/377.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1350.76/377.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1350.76/377.20		at java.lang.reflect.Method.invoke(Method.java:498)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1350.76/377.20		... 37 more
1350.76/377.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1350.76/377.20		... 41 more
1350.76/377.20	Caused by: java.lang.reflect.InvocationTargetException
1350.76/377.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1350.76/377.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1350.76/377.20		at java.lang.reflect.Method.invoke(Method.java:498)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1350.76/377.20		... 42 more
1350.76/377.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1350.76/377.20		... 46 more
1350.76/377.20	Caused by: java.lang.reflect.InvocationTargetException
1350.76/377.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1350.76/377.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1350.76/377.20		at java.lang.reflect.Method.invoke(Method.java:498)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1350.76/377.20		... 47 more
1350.76/377.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1350.76/377.20		... 51 more
1350.76/377.20	Caused by: java.lang.reflect.InvocationTargetException
1350.76/377.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1350.76/377.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1350.76/377.20		at java.lang.reflect.Method.invoke(Method.java:498)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1350.76/377.20		... 52 more
1350.76/377.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1350.76/377.20		... 56 more
1350.76/377.20	Caused by: java.lang.reflect.InvocationTargetException
1350.76/377.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1350.76/377.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1350.76/377.20		at java.lang.reflect.Method.invoke(Method.java:498)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1350.76/377.20		... 57 more
1350.76/377.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1350.76/377.20		... 61 more
1350.76/377.20	Caused by: java.lang.reflect.InvocationTargetException
1350.76/377.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1350.76/377.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1350.76/377.20		at java.lang.reflect.Method.invoke(Method.java:498)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1350.76/377.20		... 62 more
1350.76/377.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1350.76/377.20		... 66 more
1350.76/377.20	Caused by: java.lang.reflect.InvocationTargetException
1350.76/377.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1350.76/377.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1350.76/377.20		at java.lang.reflect.Method.invoke(Method.java:498)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1350.76/377.20		... 67 more
1350.76/377.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1350.76/377.20		... 71 more
1350.76/377.20	Caused by: java.lang.reflect.InvocationTargetException
1350.76/377.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1350.76/377.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1350.76/377.20		at java.lang.reflect.Method.invoke(Method.java:498)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1350.76/377.20		... 72 more
1350.76/377.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1350.76/377.20		... 76 more
1350.76/377.20	Caused by: java.lang.reflect.InvocationTargetException
1350.76/377.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1350.76/377.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1350.76/377.20		at java.lang.reflect.Method.invoke(Method.java:498)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1350.76/377.20		... 77 more
1350.76/377.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1350.76/377.20		... 81 more
1350.76/377.20	Caused by: java.lang.reflect.InvocationTargetException
1350.76/377.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1350.76/377.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1350.76/377.20		at java.lang.reflect.Method.invoke(Method.java:498)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1350.76/377.20		... 82 more
1350.76/377.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1350.76/377.20		... 86 more
1350.76/377.20	Caused by: java.lang.reflect.InvocationTargetException
1350.76/377.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1350.76/377.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1350.76/377.20		at java.lang.reflect.Method.invoke(Method.java:498)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1350.76/377.20		... 87 more
1350.76/377.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1350.76/377.20		... 91 more
1350.76/377.20	Caused by: java.lang.reflect.InvocationTargetException
1350.76/377.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1350.76/377.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1350.76/377.20		at java.lang.reflect.Method.invoke(Method.java:498)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1350.76/377.20		... 92 more
1350.76/377.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1350.76/377.20		... 96 more
1350.76/377.20	Caused by: java.lang.reflect.InvocationTargetException
1350.76/377.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1350.76/377.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1350.76/377.20		at java.lang.reflect.Method.invoke(Method.java:498)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1350.76/377.20		... 97 more
1350.76/377.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1350.76/377.20		... 101 more
1350.76/377.20	Caused by: java.lang.reflect.InvocationTargetException
1350.76/377.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1350.76/377.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1350.76/377.20		at java.lang.reflect.Method.invoke(Method.java:498)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1350.76/377.20		... 102 more
1350.76/377.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1350.76/377.20		... 106 more
1350.76/377.20	Caused by: java.lang.reflect.InvocationTargetException
1350.76/377.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1350.76/377.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1350.76/377.20		at java.lang.reflect.Method.invoke(Method.java:498)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1350.76/377.20		... 107 more
1350.76/377.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1350.76/377.20		... 111 more
1350.76/377.20	Caused by: java.lang.reflect.InvocationTargetException
1350.76/377.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1350.76/377.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1350.76/377.20		at java.lang.reflect.Method.invoke(Method.java:498)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1350.76/377.20		... 112 more
1350.76/377.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1350.76/377.20		... 116 more
1350.76/377.20	Caused by: java.lang.reflect.InvocationTargetException
1350.76/377.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1350.76/377.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1350.76/377.20		at java.lang.reflect.Method.invoke(Method.java:498)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1350.76/377.20		... 117 more
1350.76/377.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1350.76/377.20		... 121 more
1350.76/377.20	Caused by: java.lang.reflect.InvocationTargetException
1350.76/377.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1350.76/377.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1350.76/377.20		at java.lang.reflect.Method.invoke(Method.java:498)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1350.76/377.20		... 122 more
1350.76/377.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1350.76/377.20		... 126 more
1350.76/377.20	Caused by: java.lang.reflect.InvocationTargetException
1350.76/377.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1350.76/377.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1350.76/377.20		at java.lang.reflect.Method.invoke(Method.java:498)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1350.76/377.20		... 127 more
1350.76/377.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1350.76/377.20		... 131 more
1350.76/377.20	Caused by: java.lang.reflect.InvocationTargetException
1350.76/377.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1350.76/377.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1350.76/377.20		at java.lang.reflect.Method.invoke(Method.java:498)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1350.76/377.20		... 132 more
1350.76/377.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1350.76/377.20		... 136 more
1350.76/377.20	Caused by: java.lang.reflect.InvocationTargetException
1350.76/377.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1350.76/377.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1350.76/377.20		at java.lang.reflect.Method.invoke(Method.java:498)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1350.76/377.20		... 137 more
1350.76/377.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1350.76/377.20		... 141 more
1350.76/377.20	Caused by: java.lang.reflect.InvocationTargetException
1350.76/377.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1350.76/377.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1350.76/377.20		at java.lang.reflect.Method.invoke(Method.java:498)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1350.76/377.20		... 142 more
1350.76/377.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1350.76/377.20		... 146 more
1350.76/377.20	Caused by: java.lang.reflect.InvocationTargetException
1350.76/377.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1350.76/377.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1350.76/377.20		at java.lang.reflect.Method.invoke(Method.java:498)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1350.76/377.20		... 147 more
1350.76/377.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1350.76/377.20		... 151 more
1350.76/377.20	Caused by: java.lang.reflect.InvocationTargetException
1350.76/377.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1350.76/377.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1350.76/377.20		at java.lang.reflect.Method.invoke(Method.java:498)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1350.76/377.20		... 152 more
1350.76/377.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1350.76/377.20		... 156 more
1350.76/377.20	Caused by: java.lang.reflect.InvocationTargetException
1350.76/377.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1350.76/377.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1350.76/377.20		at java.lang.reflect.Method.invoke(Method.java:498)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1350.76/377.20		... 157 more
1350.76/377.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1350.76/377.20		... 161 more
1350.76/377.20	Caused by: java.lang.reflect.InvocationTargetException
1350.76/377.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1350.76/377.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1350.76/377.20		at java.lang.reflect.Method.invoke(Method.java:498)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1350.76/377.20		... 162 more
1350.76/377.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1350.76/377.20		... 166 more
1350.76/377.20	Caused by: java.lang.reflect.InvocationTargetException
1350.76/377.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1350.76/377.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1350.76/377.20		at java.lang.reflect.Method.invoke(Method.java:498)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1350.76/377.20		... 167 more
1350.76/377.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1350.76/377.20		... 171 more
1350.76/377.20	Caused by: java.lang.reflect.InvocationTargetException
1350.76/377.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1350.76/377.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1350.76/377.20		at java.lang.reflect.Method.invoke(Method.java:498)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1350.76/377.20		... 172 more
1350.76/377.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1350.76/377.20		... 176 more
1350.76/377.20	Caused by: java.lang.reflect.InvocationTargetException
1350.76/377.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1350.76/377.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1350.76/377.20		at java.lang.reflect.Method.invoke(Method.java:498)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1350.76/377.20		... 177 more
1350.76/377.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1350.76/377.20		... 181 more
1350.76/377.20	Caused by: java.lang.reflect.InvocationTargetException
1350.76/377.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1350.76/377.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1350.76/377.20		at java.lang.reflect.Method.invoke(Method.java:498)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1350.76/377.20		... 182 more
1350.76/377.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1350.76/377.20		... 186 more
1350.76/377.20	Caused by: java.lang.reflect.InvocationTargetException
1350.76/377.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1350.76/377.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1350.76/377.20		at java.lang.reflect.Method.invoke(Method.java:498)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1350.76/377.20		... 187 more
1350.76/377.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1350.76/377.20		... 191 more
1350.76/377.20	Caused by: java.lang.reflect.InvocationTargetException
1350.76/377.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1350.76/377.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1350.76/377.20		at java.lang.reflect.Method.invoke(Method.java:498)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1350.76/377.20		... 192 more
1350.76/377.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1350.76/377.20		... 196 more
1350.76/377.20	Caused by: java.lang.reflect.InvocationTargetException
1350.76/377.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1350.76/377.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1350.76/377.20		at java.lang.reflect.Method.invoke(Method.java:498)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1350.76/377.20		... 197 more
1350.76/377.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1350.76/377.20		... 201 more
1350.76/377.20	Caused by: java.lang.reflect.InvocationTargetException
1350.76/377.20		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1350.76/377.20		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1350.76/377.20		at java.lang.reflect.Method.invoke(Method.java:498)
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1350.76/377.20		... 202 more
1350.76/377.20	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1350.76/377.20		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1350.76/377.21		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1350.76/377.21		... 206 more
1350.76/377.21	Caused by: java.lang.reflect.InvocationTargetException
1350.76/377.21		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1350.76/377.21		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1350.76/377.21		at java.lang.reflect.Method.invoke(Method.java:498)
1350.76/377.21		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1350.76/377.21		... 207 more
1350.76/377.21	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1350.76/377.21		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1350.76/377.21		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1350.76/377.21		... 211 more
1350.76/377.21	Caused by: java.lang.reflect.InvocationTargetException
1350.76/377.21		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1350.76/377.21		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1350.76/377.21		at java.lang.reflect.Method.invoke(Method.java:498)
1350.76/377.21		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1350.76/377.21		... 212 more
1350.76/377.21	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1350.76/377.21		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1350.76/377.21		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1350.76/377.21		... 216 more
1350.76/377.21	Caused by: java.lang.reflect.InvocationTargetException
1350.76/377.21		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1350.76/377.21		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1350.76/377.21		at java.lang.reflect.Method.invoke(Method.java:498)
1350.76/377.21		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1350.76/377.21		... 217 more
1350.76/377.21	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1350.76/377.21		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1350.76/377.21		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1350.76/377.21		... 221 more
1350.76/377.21	Caused by: java.lang.reflect.InvocationTargetException
1350.76/377.21		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1350.76/377.21		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1350.76/377.21		at java.lang.reflect.Method.invoke(Method.java:498)
1350.76/377.21		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1350.76/377.21		... 222 more
1350.76/377.21	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1350.76/377.21		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:94)
1350.76/377.21		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1350.76/377.21		... 226 more
1350.76/377.21	Caused by: java.lang.reflect.InvocationTargetException
1350.76/377.21		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1350.76/377.21		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1350.76/377.21		at java.lang.reflect.Method.invoke(Method.java:498)
1350.76/377.21		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1350.76/377.21		... 227 more
1350.76/377.21	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1350.76/377.21		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:128)
1350.76/377.21		... 231 more
1350.76/377.21	Caused by: java.lang.reflect.InvocationTargetException
1350.76/377.21		at sun.reflect.GeneratedMethodAccessor7.invoke(Unknown Source)
1350.76/377.21		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1350.76/377.21		at java.lang.reflect.Method.invoke(Method.java:498)
1350.76/377.21		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:126)
1350.76/377.21		... 231 more
1350.76/377.21	Caused by: java.lang.OutOfMemoryError: GC overhead limit exceeded
1350.76/377.21		at java.lang.Integer.valueOf(Integer.java:832)
1350.76/377.21		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.buildImplVar(TseitinBasedIntensionCtrEncoder.java:532)
1350.76/377.21		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorAdd(TseitinBasedIntensionCtrEncoder.java:159)
1350.76/377.21		at sun.reflect.GeneratedMethodAccessor7.invoke(Unknown Source)
1350.76/377.21		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1350.76/377.21		at java.lang.reflect.Method.invoke(Method.java:498)
1350.76/377.21		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:126)
1350.76/377.21		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1350.76/377.21		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1350.76/377.21		at java.lang.reflect.Method.invoke(Method.java:498)
1350.76/377.21		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1350.76/377.21		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1350.76/377.21		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1350.76/377.21		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1350.76/377.21		at java.lang.reflect.Method.invoke(Method.java:498)
1350.76/377.21		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1350.76/377.21		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1350.76/377.21		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1350.76/377.21		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1350.76/377.21		at java.lang.reflect.Method.invoke(Method.java:498)
1350.76/377.21		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1350.76/377.21		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1350.76/377.21		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1350.76/377.21		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1350.76/377.21		at java.lang.reflect.Method.invoke(Method.java:498)
1350.76/377.21		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1350.76/377.21		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1350.76/377.21		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
1350.76/377.21		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1350.76/377.21		at java.lang.reflect.Method.invoke(Method.java:498)
1350.76/377.21		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:92)
1350.76/377.21		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:120)
1350.76/377.21	
1422.60/396.63	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
1422.60/396.63	c This is free software under the dual EPL/GNU LGPL licenses.
1422.60/396.63	c See www.sat4j.org for details.
1422.60/396.63	c That software uses the Rhino library from the Mozilla project.
1422.60/396.63	c version 2.3.6-SNAPSHOT
1422.60/396.63	c java.runtime.name	Java(TM) SE Runtime Environment
1422.60/396.63	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
1422.60/396.63	c java.vm.version	25.131-b11
1422.60/396.63	c java.vm.vendor	Oracle Corporation
1422.60/396.63	c sun.arch.data.model	64
1422.60/396.63	c java.version		1.8.0_131
1422.60/396.63	c os.name		Linux
1422.60/396.63	c os.version		3.10.0-514.16.1.el7.x86_64
1422.60/396.63	c os.arch		amd64
1422.60/396.63	c Free memory 		499604488
1422.60/396.63	c Max memory 		7247757312
1422.60/396.63	c Total memory 		504889344
1422.60/396.63	c Number of processors 	4
1422.60/396.63	c c --- Begin Solver configuration ---
1422.60/396.63	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e
1422.60/396.63	c Learn all clauses as in MiniSAT
1422.60/396.63	c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
1422.60/396.63	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
1422.60/396.63	c No reason simplification
1422.60/396.63	c Glucose 2.1 dynamic restart strategy
1422.60/396.63	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
1422.60/396.63	c timeout=2147483s
1422.60/396.63	c DB Simplification allowed=false
1422.60/396.63	c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1
1422.60/396.63	c --- End Solver configuration ---
1422.60/396.63	c starts		: 0
1422.60/396.63	c conflicts		: 0
1422.60/396.64	c decisions		: 0
1422.60/396.64	c propagations		: 0
1422.60/396.64	c inspects		: 0
1422.60/396.64	c shortcuts		: 0
1422.60/396.64	c learnt literals	: 0
1422.60/396.64	c learnt binary clauses	: 0
1422.60/396.64	c learnt ternary clauses	: 0
1422.60/396.64	c learnt constraints	: 0
1422.60/396.64	c ignored constraints	: 0
1422.60/396.64	c root simplifications	: 0
1422.60/396.64	c removed literals (reason simplification)	: 0
1422.60/396.64	c reason swapping (by a shorter reason)	: 0
1422.60/396.64	c Calls to reduceDB	: 0
1422.60/396.64	c Number of update (reduction) of LBD	: 0
1422.60/396.64	c Imported unit clauses	: 0
1422.60/396.64	c number of reductions to clauses (during analyze)	: 0
1422.60/396.64	c number of learned constraints concerned by reduction	: 0
1422.60/396.64	c number of learning phase by resolution	: 0
1422.60/396.64	c number of learning phase by cutting planes	: 0
1422.60/396.64	c number of rounding to 1 operations	: 0
1422.60/396.64	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
1422.60/396.64	c number of reductions of the coefficients by power 2 	: 0
1422.60/396.64	c number of right shift for reduction by power 2 	: 0
1422.60/396.64	c number of reductions of the coefficients by GCD over coefficients 	: 0
1422.60/396.64	c number of ending skipping 	: 0
1422.60/396.64	c number of internal skipping 	: 0
1422.60/396.64	c number of derivation steps 	: 0
1422.60/396.64	c number of skipped derivation steps 	: 0
1422.60/396.64	c number of remaining unassigned 	: 0
1422.60/396.64	c number of remaining assigned 	: 0
1422.60/396.64	c speed (assignments/second)	: 0.0
1422.60/396.64	c non guided choices	: 0
1422.60/396.64	s UNKNOWN

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (11158 MiB free)
  memory of node 1: 16384 MiB (9610 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289991-1532221279/watcher-4289991-1532221279 -o /tmp/evaluation-result-4289991-1532221279/solver-4289991-1532221279 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532209718-27131 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4289991-1532221279.xml 

running on 4 cores: 0,2,4,6

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=29061, runsolver pid=29058

[startup+0.100647 s]*
/proc/loadavg: 2.08 2.05 2.27 3/218 29076
/proc/meminfo: memFree=21250216/32770624 swapFree=67108860/67108860
[pid=29061] ppid=29058 vsize=10659012 memory=30116 CPUtime=0.13 cores=0,2,4,6
/proc/29061/stat : 29061 (java) S 29058 29061 24904 0 -1 1077944320 6602 0 0 0 12 1 0 0 20 0 15 0 39691114 10914828288 7529 33554432000 4194304 4196468 140733810852896 140733810835440 139791838695159 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
/proc/29061/statm: 2664753 7529 2821 1 0 2627263 0
[pid=29061/tid=29063] ppid=29058 vsize=10659012 memory=-8773748148830376834 CPUtime=0.09 cores=0,2,4,6
/proc/29061/task/29063/stat : 29063 (java) R 29058 29061 24904 0 -1 4202560 4434 0 0 0 8 1 0 0 20 0 15 0 39691114 10914828288 7529 33554432000 4194304 4196468 140733810852896 139791842919040 139791822775646 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29064] ppid=29058 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29064/stat : 29064 (java) S 29058 29061 24904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39691115 10914828288 7529 33554432000 4194304 4196468 140733810852896 139791791315472 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29065] ppid=29058 vsize=10659012 memory=139945728120448 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29065/stat : 29065 (java) S 29058 29061 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39691115 10914828288 7529 33554432000 4194304 4196468 140733810852896 139791444925072 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29066] ppid=29058 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29066/stat : 29066 (java) S 29058 29061 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39691115 10914828288 7529 33554432000 4194304 4196468 140733810852896 139791443872016 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29067] ppid=29058 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29067/stat : 29067 (java) S 29058 29061 24904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39691115 10914828288 7529 33554432000 4194304 4196468 140733810852896 139791442819472 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29068] ppid=29058 vsize=10659012 memory=139945728120448 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29068/stat : 29068 (java) S 29058 29061 24904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39691116 10914828288 7529 33554432000 4194304 4196468 140733810852896 139791143742192 139791838706306 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29069] ppid=29058 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29069/stat : 29069 (java) S 29058 29061 24904 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39691117 10914828288 7529 33554432000 4194304 4196468 140733810852896 139791142688416 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29070] ppid=29058 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29070/stat : 29070 (java) S 29058 29061 24904 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39691117 10914828288 7529 33554432000 4194304 4196468 140733810852896 139791141635312 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29071] ppid=29058 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29071/stat : 29071 (java) S 29058 29061 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39691119 10914828288 7529 33554432000 4194304 4196468 140733810852896 139791140583888 139791838713755 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29072] ppid=29058 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29072/stat : 29072 (java) S 29058 29061 24904 0 -1 1077944384 442 0 0 0 0 0 0 0 20 0 15 0 39691119 10914828288 7529 33554432000 4194304 4196468 140733810852896 139791139530992 139791838706306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29073] ppid=29058 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29073/stat : 29073 (java) S 29058 29061 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39691119 10914828288 7529 33554432000 4194304 4196468 140733810852896 139791138478448 139791838706306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29074] ppid=29058 vsize=10659012 memory=139945728120448 CPUtime=0.02 cores=0,2,4,6
/proc/29061/task/29074/stat : 29074 (java) S 29058 29061 24904 0 -1 1077944384 356 0 0 0 2 0 0 0 20 0 15 0 39691119 10914828288 7529 33554432000 4194304 4196468 140733810852896 139791137425392 139791838706306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29075] ppid=29058 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29075/stat : 29075 (java) S 29058 29061 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39691120 10914828288 7529 33554432000 4194304 4196468 140733810852896 139791136373088 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29076] ppid=29058 vsize=10659012 memory=139945728120448 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29076/stat : 29076 (java) S 29058 29061 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39691120 10914828288 7529 33554432000 4194304 4196468 140733810852896 139791135321136 139791838706306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30116 KiB

[startup+0.21079 s]*
/proc/loadavg: 2.08 2.05 2.27 4/218 29076
/proc/meminfo: memFree=21240016/32770624 swapFree=67108860/67108860
[pid=29061] ppid=29058 vsize=10659012 memory=41832 CPUtime=0.34 cores=0,2,4,6
/proc/29061/stat : 29061 (java) S 29058 29061 24904 0 -1 1077944320 8111 0 0 0 32 2 0 0 20 0 15 0 39691114 10914828288 10458 33554432000 4194304 4196468 140733810852896 140733810835440 139791838695159 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
/proc/29061/statm: 2664753 10458 2997 1 0 2627263 0
[pid=29061/tid=29063] ppid=29058 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/29061/task/29063/stat : 29063 (java) R 29058 29061 24904 0 -1 4202560 5019 0 0 0 19 1 0 0 20 0 15 0 39691114 10914828288 10458 33554432000 4194304 4196468 140733810852896 139791842929408 139791838716506 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29064] ppid=29058 vsize=10659012 memory=343 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29064/stat : 29064 (java) S 29058 29061 24904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39691115 10914828288 10458 33554432000 4194304 4196468 140733810852896 139791791315472 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29065] ppid=29058 vsize=10659012 memory=288370321879832192 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29065/stat : 29065 (java) S 29058 29061 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39691115 10914828288 10458 33554432000 4194304 4196468 140733810852896 139791444925072 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29066] ppid=29058 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29066/stat : 29066 (java) S 29058 29061 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39691115 10914828288 10458 33554432000 4194304 4196468 140733810852896 139791443872016 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29067] ppid=29058 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29067/stat : 29067 (java) S 29058 29061 24904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39691115 10914828288 10458 33554432000 4194304 4196468 140733810852896 139791442819472 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29068] ppid=29058 vsize=10659012 memory=139945728120448 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29068/stat : 29068 (java) S 29058 29061 24904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39691116 10914828288 10458 33554432000 4194304 4196468 140733810852896 139791143742192 139791838706306 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29069] ppid=29058 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29069/stat : 29069 (java) S 29058 29061 24904 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39691117 10914828288 10458 33554432000 4194304 4196468 140733810852896 139791142688416 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29070] ppid=29058 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29070/stat : 29070 (java) S 29058 29061 24904 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39691117 10914828288 10458 33554432000 4194304 4196468 140733810852896 139791141635312 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29071] ppid=29058 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29071/stat : 29071 (java) S 29058 29061 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39691119 10914828288 10458 33554432000 4194304 4196468 140733810852896 139791140583888 139791838713755 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29072] ppid=29058 vsize=10659012 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/29061/task/29072/stat : 29072 (java) S 29058 29061 24904 0 -1 1077944384 783 0 0 0 2 0 0 0 20 0 15 0 39691119 10914828288 10458 33554432000 4194304 4196468 140733810852896 139791139530992 139791838706306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29073] ppid=29058 vsize=10659012 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/29061/task/29073/stat : 29073 (java) S 29058 29061 24904 0 -1 1077944384 233 0 0 0 1 0 0 0 20 0 15 0 39691119 10914828288 10458 33554432000 4194304 4196468 140733810852896 139791138478448 139791838706306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29074] ppid=29058 vsize=10659012 memory=139945728120448 CPUtime=0.07 cores=0,2,4,6
/proc/29061/task/29074/stat : 29074 (java) R 29058 29061 24904 0 -1 4202560 707 0 0 0 7 0 0 0 20 0 15 0 39691119 10914828288 10458 33554432000 4194304 4196468 140733810852896 139791137425392 139791838707094 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29075] ppid=29058 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29075/stat : 29075 (java) S 29058 29061 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39691120 10914828288 10458 33554432000 4194304 4196468 140733810852896 139791136373088 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29076] ppid=29058 vsize=10659012 memory=139945728120448 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29076/stat : 29076 (java) S 29058 29061 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39691120 10914828288 10458 33554432000 4194304 4196468 140733810852896 139791135321136 139791838706306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 41832 KiB

[startup+0.313804 s]*
/proc/loadavg: 2.08 2.05 2.27 6/218 29076
/proc/meminfo: memFree=21232696/32770624 swapFree=67108860/67108860
[pid=29061] ppid=29058 vsize=10659088 memory=47340 CPUtime=0.54 cores=0,2,4,6
/proc/29061/stat : 29061 (java) S 29058 29061 24904 0 -1 1077944320 8912 0 0 0 51 3 0 0 20 0 15 0 39691114 10914906112 11835 33554432000 4194304 4196468 140733810852896 140733810835440 139791838695159 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
/proc/29061/statm: 2664772 11835 3060 1 0 2627263 0
[pid=29061/tid=29063] ppid=29058 vsize=10659088 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/29061/task/29063/stat : 29063 (java) S 29058 29061 24904 0 -1 1077944384 5592 0 0 0 28 2 0 0 20 0 15 0 39691114 10914906112 11835 33554432000 4194304 4196468 140733810852896 139791842932240 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29064] ppid=29058 vsize=10659088 memory=4294979967 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29064/stat : 29064 (java) S 29058 29061 24904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39691115 10914906112 11835 33554432000 4194304 4196468 140733810852896 139791791315472 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29065] ppid=29058 vsize=10659088 memory=288370321879832192 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29065/stat : 29065 (java) S 29058 29061 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39691115 10914906112 11835 33554432000 4194304 4196468 140733810852896 139791444925072 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29066] ppid=29058 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29066/stat : 29066 (java) S 29058 29061 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39691115 10914906112 11835 33554432000 4194304 4196468 140733810852896 139791443872016 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29067] ppid=29058 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29067/stat : 29067 (java) S 29058 29061 24904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39691115 10914906112 11835 33554432000 4194304 4196468 140733810852896 139791442819472 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29068] ppid=29058 vsize=10659088 memory=139945728120448 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29068/stat : 29068 (java) S 29058 29061 24904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39691116 10914906112 11835 33554432000 4194304 4196468 140733810852896 139791143742192 139791838706306 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29069] ppid=29058 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29069/stat : 29069 (java) S 29058 29061 24904 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39691117 10914906112 11835 33554432000 4194304 4196468 140733810852896 139791142688416 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29070] ppid=29058 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29070/stat : 29070 (java) S 29058 29061 24904 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39691117 10914906112 11835 33554432000 4194304 4196468 140733810852896 139791141635312 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29071] ppid=29058 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29071/stat : 29071 (java) S 29058 29061 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39691119 10914906112 11835 33554432000 4194304 4196468 140733810852896 139791140583888 139791838713755 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29072] ppid=29058 vsize=10659088 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/29061/task/29072/stat : 29072 (java) S 29058 29061 24904 0 -1 1077944384 818 0 0 0 5 0 0 0 20 0 15 0 39691119 10914906112 11835 33554432000 4194304 4196468 140733810852896 139791139530992 139791838706306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29073] ppid=29058 vsize=10659088 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/29061/task/29073/stat : 29073 (java) S 29058 29061 24904 0 -1 1077944384 357 0 0 0 4 0 0 0 20 0 15 0 39691119 10914906112 11835 33554432000 4194304 4196468 140733810852896 139791138478448 139791838706306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29074] ppid=29058 vsize=10659088 memory=139945728120448 CPUtime=0.12 cores=0,2,4,6
/proc/29061/task/29074/stat : 29074 (java) R 29058 29061 24904 0 -1 1077944384 776 0 0 0 12 0 0 0 20 0 15 0 39691119 10914906112 11835 33554432000 4194304 4196468 140733810852896 139791137425392 139791838706306 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29075] ppid=29058 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29075/stat : 29075 (java) S 29058 29061 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39691120 10914906112 11835 33554432000 4194304 4196468 140733810852896 139791136373088 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29076] ppid=29058 vsize=10659088 memory=139945728120448 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29076/stat : 29076 (java) S 29058 29061 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39691120 10914906112 11835 33554432000 4194304 4196468 140733810852896 139791135321136 139791838706306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 47340 KiB

[startup+0.700749 s]
/proc/loadavg: 2.08 2.05 2.27 5/218 29076
/proc/meminfo: memFree=21196388/32770624 swapFree=67108860/67108860
[pid=29061] ppid=29058 vsize=10659088 memory=187428 CPUtime=1.88 cores=0,2,4,6
/proc/29061/stat : 29061 (java) S 29058 29061 24904 0 -1 1077944320 18444 0 0 0 180 8 0 0 20 0 15 0 39691114 10914906112 46857 33554432000 4194304 4196468 140733810852896 140733810835440 139791838695159 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
/proc/29061/statm: 2664772 46857 3096 1 0 2627263 0
[pid=29061/tid=29063] ppid=29058 vsize=10659088 memory=8648 CPUtime=0.67 cores=0,2,4,6
/proc/29061/task/29063/stat : 29063 (java) R 29058 29061 24904 0 -1 4202560 6031 0 0 0 63 4 0 0 20 0 15 0 39691114 10914906112 46857 33554432000 4194304 4196468 140733810852896 139791842930272 139791475219931 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29064] ppid=29058 vsize=10659088 memory=18484 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29064/stat : 29064 (java) S 29058 29061 24904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39691115 10914906112 46857 33554432000 4194304 4196468 140733810852896 139791791315472 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29065] ppid=29058 vsize=10659088 memory=644 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29065/stat : 29065 (java) S 29058 29061 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39691115 10914906112 46857 33554432000 4194304 4196468 140733810852896 139791444925072 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29066] ppid=29058 vsize=10659088 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29066/stat : 29066 (java) S 29058 29061 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39691115 10914906112 46857 33554432000 4194304 4196468 140733810852896 139791443872016 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29067] ppid=29058 vsize=10659088 memory=952 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29067/stat : 29067 (java) S 29058 29061 24904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39691115 10914906112 46857 33554432000 4194304 4196468 140733810852896 139791442819472 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29068] ppid=29058 vsize=10659088 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29068/stat : 29068 (java) S 29058 29061 24904 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 39691116 10914906112 46857 33554432000 4194304 4196468 140733810852896 139791143742192 139791838706306 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29069] ppid=29058 vsize=10659088 memory=2340 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29069/stat : 29069 (java) S 29058 29061 24904 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39691117 10914906112 46857 33554432000 4194304 4196468 140733810852896 139791142688416 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29070] ppid=29058 vsize=10659088 memory=6153431502485413986 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29070/stat : 29070 (java) S 29058 29061 24904 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39691117 10914906112 46857 33554432000 4194304 4196468 140733810852896 139791141635312 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29071] ppid=29058 vsize=10659088 memory=7881696724453321575 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29071/stat : 29071 (java) S 29058 29061 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39691119 10914906112 46857 33554432000 4194304 4196468 140733810852896 139791140583888 139791838713755 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29072] ppid=29058 vsize=10659088 memory=7523071198212214892 CPUtime=0.41 cores=0,2,4,6
/proc/29061/task/29072/stat : 29072 (java) R 29058 29061 24904 0 -1 4202560 4405 0 0 0 41 0 0 0 20 0 15 0 39691119 10914906112 46857 33554432000 4194304 4196468 140733810852896 139791139515416 139791820239377 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29073] ppid=29058 vsize=10659088 memory=8514726395715218844 CPUtime=0.4 cores=0,2,4,6
/proc/29061/task/29073/stat : 29073 (java) R 29058 29061 24904 0 -1 4202560 3142 0 0 0 39 1 0 0 20 0 15 0 39691119 10914906112 46857 33554432000 4194304 4196468 140733810852896 139791138464240 139791838709041 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29074] ppid=29058 vsize=10659088 memory=0 CPUtime=0.36 cores=0,2,4,6
/proc/29061/task/29074/stat : 29074 (java) S 29058 29061 24904 0 -1 1077944384 3494 0 0 0 35 1 0 0 20 0 15 0 39691119 10914906112 46857 33554432000 4194304 4196468 140733810852896 139791137425392 139791838706306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29075] ppid=29058 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29075/stat : 29075 (java) S 29058 29061 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39691120 10914906112 46857 33554432000 4194304 4196468 140733810852896 139791136373088 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29076] ppid=29058 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29076/stat : 29076 (java) S 29058 29061 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39691120 10914906112 46857 33554432000 4194304 4196468 140733810852896 139791135321136 139791838706306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
Current children cumulated CPU time: 1.88 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 187428 KiB

[startup+1.50116 s]
/proc/loadavg: 2.08 2.05 2.27 5/218 29076
/proc/meminfo: memFree=21062932/32770624 swapFree=67108860/67108860
[pid=29061] ppid=29058 vsize=10659088 memory=423440 CPUtime=4.04 cores=0,2,4,6
/proc/29061/stat : 29061 (java) S 29058 29061 24904 0 -1 1077944320 19373 0 0 0 383 21 0 0 20 0 15 0 39691114 10914906112 105860 33554432000 4194304 4196468 140733810852896 140733810835440 139791838695159 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
/proc/29061/statm: 2664772 105860 3145 1 0 2627263 0
[pid=29061/tid=29063] ppid=29058 vsize=10659088 memory=269420 CPUtime=1.34 cores=0,2,4,6
/proc/29061/task/29063/stat : 29063 (java) S 29058 29061 24904 0 -1 1077944384 6100 0 0 0 128 6 0 0 20 0 15 0 39691114 10914906112 105860 33554432000 4194304 4196468 140733810852896 139791842931968 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29064] ppid=29058 vsize=10659088 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/29061/task/29064/stat : 29064 (java) R 29058 29061 24904 0 -1 4202560 109 0 0 0 8 3 0 0 20 0 15 0 39691115 10914906112 105860 33554432000 4194304 4196468 140733810852896 139791791315672 139791823723033 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29065] ppid=29058 vsize=10659088 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/29061/task/29065/stat : 29065 (java) R 29058 29061 24904 0 -1 4202560 133 0 0 0 8 2 0 0 20 0 15 0 39691115 10914906112 105860 33554432000 4194304 4196468 140733810852896 139791444925072 139791823717280 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29066] ppid=29058 vsize=10659088 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/29061/task/29066/stat : 29066 (java) R 29058 29061 24904 0 -1 4202560 108 0 0 0 7 2 0 0 20 0 15 0 39691115 10914906112 105860 33554432000 4194304 4196468 140733810852896 139791443872016 139791820321104 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29067] ppid=29058 vsize=10659088 memory=20 CPUtime=0.11 cores=0,2,4,6
/proc/29061/task/29067/stat : 29067 (java) R 29058 29061 24904 0 -1 4202560 131 0 0 0 9 2 0 0 20 0 15 0 39691115 10914906112 105860 33554432000 4194304 4196468 140733810852896 139791442819360 139791823717280 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29068] ppid=29058 vsize=10659088 memory=279891208025840 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29068/stat : 29068 (java) S 29058 29061 24904 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 39691116 10914906112 105860 33554432000 4194304 4196468 140733810852896 139791143740704 139791838705365 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0

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

[pid=29061/tid=29064] ppid=29058 vsize=10794416 memory=6791534058613427641 CPUtime=341.97 cores=0,2,4,6
/proc/29061/task/29064/stat : 29064 (java) R 29058 29061 24904 0 -1 4202560 52758 0 0 0 34043 154 0 0 20 0 17 0 39691115 11053481984 2072268 33554432000 4194304 4196468 140733810852896 139791791315592 139791831323367 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29065] ppid=29058 vsize=10794416 memory=14008 CPUtime=341.67 cores=0,2,4,6
/proc/29061/task/29065/stat : 29065 (java) R 29058 29061 24904 0 -1 4202560 64887 0 0 0 34023 144 0 0 20 0 17 0 39691115 11053481984 2072268 33554432000 4194304 4196468 140733810852896 139791444924880 139791831323367 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29066] ppid=29058 vsize=10794416 memory=1296 CPUtime=341.78 cores=0,2,4,6
/proc/29061/task/29066/stat : 29066 (java) R 29058 29061 24904 0 -1 4202560 55415 0 0 0 34031 147 0 0 20 0 17 0 39691115 11053481984 2072268 33554432000 4194304 4196468 140733810852896 139791443872216 139791823395168 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29067] ppid=29058 vsize=10794416 memory=2412 CPUtime=342.56 cores=0,2,4,6
/proc/29061/task/29067/stat : 29067 (java) R 29058 29061 24904 0 -1 4202560 59510 0 0 0 34102 154 0 0 20 0 17 0 39691115 11053481984 2072268 33554432000 4194304 4196468 140733810852896 139791442819280 139791831323367 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29068] ppid=29058 vsize=10794416 memory=1724 CPUtime=26.33 cores=0,2,4,6
/proc/29061/task/29068/stat : 29068 (java) S 29058 29061 24904 0 -1 1077944384 77648 0 0 0 2628 5 0 0 20 0 17 0 39691116 11053481984 2072268 33554432000 4194304 4196468 140733810852896 139791143740736 139791838705365 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29069] ppid=29058 vsize=10794416 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29069/stat : 29069 (java) S 29058 29061 24904 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 17 0 39691117 11053481984 2072268 33554432000 4194304 4196468 140733810852896 139791142688480 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29070] ppid=29058 vsize=10794416 memory=1428 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29070/stat : 29070 (java) S 29058 29061 24904 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 39691117 11053481984 2072268 33554432000 4194304 4196468 140733810852896 139791141634320 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29071] ppid=29058 vsize=10794416 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29071/stat : 29071 (java) S 29058 29061 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39691119 11053481984 2072268 33554432000 4194304 4196468 140733810852896 139791140583888 139791838713755 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29072] ppid=29058 vsize=10794416 memory=1296 CPUtime=0.98 cores=0,2,4,6
/proc/29061/task/29072/stat : 29072 (java) S 29058 29061 24904 0 -1 1077944384 4665 0 0 0 97 1 0 0 20 0 17 0 39691119 11053481984 2072268 33554432000 4194304 4196468 140733810852896 139791139530752 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29073] ppid=29058 vsize=10794416 memory=2412 CPUtime=0.96 cores=0,2,4,6
/proc/29061/task/29073/stat : 29073 (java) S 29058 29061 24904 0 -1 1077944384 3434 0 0 0 95 1 0 0 20 0 17 0 39691119 11053481984 2072268 33554432000 4194304 4196468 140733810852896 139791138478496 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29074] ppid=29058 vsize=10794416 memory=1724 CPUtime=0.45 cores=0,2,4,6
/proc/29061/task/29074/stat : 29074 (java) S 29058 29061 24904 0 -1 1077944384 3857 0 0 0 44 1 0 0 20 0 17 0 39691119 11053481984 2072268 33554432000 4194304 4196468 140733810852896 139791137421264 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29075] ppid=29058 vsize=10794416 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29075/stat : 29075 (java) S 29058 29061 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39691120 11053481984 2072268 33554432000 4194304 4196468 140733810852896 139791136373088 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29076] ppid=29058 vsize=10794416 memory=1428 CPUtime=0.18 cores=0,2,4,6
/proc/29061/task/29076/stat : 29076 (java) S 29058 29061 24904 0 -1 1077944384 1149 0 0 0 11 7 0 0 20 0 17 0 39691120 11053481984 2072268 33554432000 4194304 4196468 140733810852896 139791135321136 139791838706306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29160] ppid=29058 vsize=10794416 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29160/stat : 29160 (java) S 29058 29061 24904 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 17 0 39728835 11053481984 2072268 33554432000 4194304 4196468 140733810852896 139791132127152 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29161] ppid=29058 vsize=10794416 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29161/stat : 29161 (java) S 29058 29061 24904 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 39728835 11053481984 2072268 33554432000 4194304 4196468 140733810852896 139791131074864 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
Current children cumulated CPU time: 1419.11 s
Current children cumulated vsize: 10794416 KiB
Current children cumulated memory: 8289072 KiB

[startup+396.001 s]*
/proc/loadavg: 8.04 5.70 3.78 8/218 29161
/proc/meminfo: memFree=7053824/32770624 swapFree=67108860/67108860
[pid=29061] ppid=29058 vsize=10794416 memory=8289076 CPUtime=1422 cores=0,2,4,6
/proc/29061/stat : 29061 (java) S 29058 29061 24904 0 -1 1077944320 340345 0 0 0 141572 628 0 0 20 0 17 0 39691114 11053481984 2072269 33554432000 4194304 4196468 140733810852896 140733810835440 139791838695159 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
/proc/29061/statm: 2698604 2072269 3215 1 0 2661057 0
[pid=29061/tid=29063] ppid=29058 vsize=10794416 memory=6791534058613427641 CPUtime=22.14 cores=0,2,4,6
/proc/29061/task/29063/stat : 29063 (java) S 29058 29061 24904 0 -1 1077944384 15380 0 0 0 2199 15 0 0 20 0 17 0 39691114 11053481984 2072269 33554432000 4194304 4196468 140733810852896 139791842935840 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29064] ppid=29058 vsize=10794416 memory=1408 CPUtime=342.67 cores=0,2,4,6
/proc/29061/task/29064/stat : 29064 (java) S 29058 29061 24904 0 -1 1077944384 52758 0 0 0 34113 154 0 0 20 0 17 0 39691115 11053481984 2072269 33554432000 4194304 4196468 140733810852896 139791791315472 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29065] ppid=29058 vsize=10794416 memory=2412 CPUtime=342.36 cores=0,2,4,6
/proc/29061/task/29065/stat : 29065 (java) S 29058 29061 24904 0 -1 1077944384 64887 0 0 0 34092 144 0 0 20 0 17 0 39691115 11053481984 2072269 33554432000 4194304 4196468 140733810852896 139791444925072 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29066] ppid=29058 vsize=10794416 memory=1724 CPUtime=342.51 cores=0,2,4,6
/proc/29061/task/29066/stat : 29066 (java) S 29058 29061 24904 0 -1 1077944384 55419 0 0 0 34104 147 0 0 20 0 17 0 39691115 11053481984 2072269 33554432000 4194304 4196468 140733810852896 139791443872016 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29067] ppid=29058 vsize=10794416 memory=1228 CPUtime=343.26 cores=0,2,4,6
/proc/29061/task/29067/stat : 29067 (java) S 29058 29061 24904 0 -1 1077944384 59510 0 0 0 34172 154 0 0 20 0 17 0 39691115 11053481984 2072269 33554432000 4194304 4196468 140733810852896 139791442819472 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29068] ppid=29058 vsize=10794416 memory=1428 CPUtime=26.41 cores=0,2,4,6
/proc/29061/task/29068/stat : 29068 (java) R 29058 29061 24904 0 -1 4202560 77849 0 0 0 2636 5 0 0 20 0 17 0 39691116 11053481984 2072269 33554432000 4194304 4196468 140733810852896 139791143740736 139791823152729 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29069] ppid=29058 vsize=10794416 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29069/stat : 29069 (java) S 29058 29061 24904 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 17 0 39691117 11053481984 2072269 33554432000 4194304 4196468 140733810852896 139791142688480 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29070] ppid=29058 vsize=10794416 memory=5300 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29070/stat : 29070 (java) S 29058 29061 24904 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 39691117 11053481984 2072269 33554432000 4194304 4196468 140733810852896 139791141634320 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29071] ppid=29058 vsize=10794416 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29071/stat : 29071 (java) S 29058 29061 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39691119 11053481984 2072269 33554432000 4194304 4196468 140733810852896 139791140583888 139791838713755 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29072] ppid=29058 vsize=10794416 memory=11960 CPUtime=0.98 cores=0,2,4,6
/proc/29061/task/29072/stat : 29072 (java) S 29058 29061 24904 0 -1 1077944384 4665 0 0 0 97 1 0 0 20 0 17 0 39691119 11053481984 2072269 33554432000 4194304 4196468 140733810852896 139791139530752 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29073] ppid=29058 vsize=10794416 memory=1008 CPUtime=0.96 cores=0,2,4,6
/proc/29061/task/29073/stat : 29073 (java) S 29058 29061 24904 0 -1 1077944384 3434 0 0 0 95 1 0 0 20 0 17 0 39691119 11053481984 2072269 33554432000 4194304 4196468 140733810852896 139791138478496 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29074] ppid=29058 vsize=10794416 memory=792 CPUtime=0.45 cores=0,2,4,6
/proc/29061/task/29074/stat : 29074 (java) S 29058 29061 24904 0 -1 1077944384 3857 0 0 0 44 1 0 0 20 0 17 0 39691119 11053481984 2072269 33554432000 4194304 4196468 140733810852896 139791137421264 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29075] ppid=29058 vsize=10794416 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29075/stat : 29075 (java) S 29058 29061 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39691120 11053481984 2072269 33554432000 4194304 4196468 140733810852896 139791136373088 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29076] ppid=29058 vsize=10794416 memory=1952 CPUtime=0.18 cores=0,2,4,6
/proc/29061/task/29076/stat : 29076 (java) S 29058 29061 24904 0 -1 1077944384 1149 0 0 0 11 7 0 0 20 0 17 0 39691120 11053481984 2072269 33554432000 4194304 4196468 140733810852896 139791135321136 139791838706306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29160] ppid=29058 vsize=10794416 memory=8384 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29160/stat : 29160 (java) S 29058 29061 24904 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 17 0 39728835 11053481984 2072269 33554432000 4194304 4196468 140733810852896 139791132127152 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29161] ppid=29058 vsize=10794416 memory=15872 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29161/stat : 29161 (java) S 29058 29061 24904 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 39728835 11053481984 2072269 33554432000 4194304 4196468 140733810852896 139791131074864 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
Current children cumulated CPU time: 1422 s
Current children cumulated vsize: 10794416 KiB
Current children cumulated memory: 8289076 KiB

[startup+396.401 s]
/proc/loadavg: 8.04 5.70 3.78 8/218 29161
/proc/meminfo: memFree=7053824/32770624 swapFree=67108860/67108860
[pid=29061] ppid=29058 vsize=10794416 memory=8289076 CPUtime=1422.4 cores=0,2,4,6
/proc/29061/stat : 29061 (java) S 29058 29061 24904 0 -1 1077944320 340345 0 0 0 141612 628 0 0 20 0 17 0 39691114 11053481984 2072269 33554432000 4194304 4196468 140733810852896 140733810835440 139791838695159 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
/proc/29061/statm: 2698604 2072269 3215 1 0 2661057 0
[pid=29061/tid=29063] ppid=29058 vsize=10794416 memory=7440056984007045732 CPUtime=22.14 cores=0,2,4,6
/proc/29061/task/29063/stat : 29063 (java) S 29058 29061 24904 0 -1 1077944384 15380 0 0 0 2199 15 0 0 20 0 17 0 39691114 11053481984 2072269 33554432000 4194304 4196468 140733810852896 139791842935840 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29064] ppid=29058 vsize=10794416 memory=7594572478373259104 CPUtime=342.67 cores=0,2,4,6
/proc/29061/task/29064/stat : 29064 (java) S 29058 29061 24904 0 -1 1077944384 52758 0 0 0 34113 154 0 0 20 0 17 0 39691115 11053481984 2072269 33554432000 4194304 4196468 140733810852896 139791791315472 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29065] ppid=29058 vsize=10794416 memory=6791534058613427641 CPUtime=342.36 cores=0,2,4,6
/proc/29061/task/29065/stat : 29065 (java) S 29058 29061 24904 0 -1 1077944384 64887 0 0 0 34092 144 0 0 20 0 17 0 39691115 11053481984 2072269 33554432000 4194304 4196468 140733810852896 139791444925072 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29066] ppid=29058 vsize=10794416 memory=11960 CPUtime=342.51 cores=0,2,4,6
/proc/29061/task/29066/stat : 29066 (java) S 29058 29061 24904 0 -1 1077944384 55419 0 0 0 34104 147 0 0 20 0 17 0 39691115 11053481984 2072269 33554432000 4194304 4196468 140733810852896 139791443872016 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29067] ppid=29058 vsize=10794416 memory=288230587427455269 CPUtime=343.26 cores=0,2,4,6
/proc/29061/task/29067/stat : 29067 (java) S 29058 29061 24904 0 -1 1077944384 59510 0 0 0 34172 154 0 0 20 0 17 0 39691115 11053481984 2072269 33554432000 4194304 4196468 140733810852896 139791442819472 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29068] ppid=29058 vsize=10794416 memory=279891209729984 CPUtime=26.8 cores=0,2,4,6
/proc/29061/task/29068/stat : 29068 (java) R 29058 29061 24904 0 -1 4202560 77849 0 0 0 2675 5 0 0 20 0 17 0 39691116 11053481984 2072269 33554432000 4194304 4196468 140733810852896 139791143740736 139791823691548 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29069] ppid=29058 vsize=10794416 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29069/stat : 29069 (java) S 29058 29061 24904 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 17 0 39691117 11053481984 2072269 33554432000 4194304 4196468 140733810852896 139791142688480 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29070] ppid=29058 vsize=10794416 memory=8384 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29070/stat : 29070 (java) S 29058 29061 24904 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 39691117 11053481984 2072269 33554432000 4194304 4196468 140733810852896 139791141634320 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29071] ppid=29058 vsize=10794416 memory=288230587427455269 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29071/stat : 29071 (java) S 29058 29061 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39691119 11053481984 2072269 33554432000 4194304 4196468 140733810852896 139791140583888 139791838713755 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29072] ppid=29058 vsize=10794416 memory=14408211646121321 CPUtime=0.98 cores=0,2,4,6
/proc/29061/task/29072/stat : 29072 (java) S 29058 29061 24904 0 -1 1077944384 4665 0 0 0 97 1 0 0 20 0 17 0 39691119 11053481984 2072269 33554432000 4194304 4196468 140733810852896 139791139530752 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29073] ppid=29058 vsize=10794416 memory=2412 CPUtime=0.96 cores=0,2,4,6
/proc/29061/task/29073/stat : 29073 (java) S 29058 29061 24904 0 -1 1077944384 3434 0 0 0 95 1 0 0 20 0 17 0 39691119 11053481984 2072269 33554432000 4194304 4196468 140733810852896 139791138478496 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29074] ppid=29058 vsize=10794416 memory=1724 CPUtime=0.45 cores=0,2,4,6
/proc/29061/task/29074/stat : 29074 (java) S 29058 29061 24904 0 -1 1077944384 3857 0 0 0 44 1 0 0 20 0 17 0 39691119 11053481984 2072269 33554432000 4194304 4196468 140733810852896 139791137421264 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29075] ppid=29058 vsize=10794416 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29075/stat : 29075 (java) S 29058 29061 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39691120 11053481984 2072269 33554432000 4194304 4196468 140733810852896 139791136373088 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29076] ppid=29058 vsize=10794416 memory=1428 CPUtime=0.18 cores=0,2,4,6
/proc/29061/task/29076/stat : 29076 (java) S 29058 29061 24904 0 -1 1077944384 1149 0 0 0 11 7 0 0 20 0 17 0 39691120 11053481984 2072269 33554432000 4194304 4196468 140733810852896 139791135321136 139791838706306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29160] ppid=29058 vsize=10794416 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29160/stat : 29160 (java) S 29058 29061 24904 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 17 0 39728835 11053481984 2072269 33554432000 4194304 4196468 140733810852896 139791132127152 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29161] ppid=29058 vsize=10794416 memory=5300 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29161/stat : 29161 (java) S 29058 29061 24904 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 39728835 11053481984 2072269 33554432000 4194304 4196468 140733810852896 139791131074864 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
Current children cumulated CPU time: 1422.4 s
Current children cumulated vsize: 10794416 KiB
Current children cumulated memory: 8289076 KiB

[startup+396.601 s]
/proc/loadavg: 8.04 5.70 3.78 8/218 29161
/proc/meminfo: memFree=7053824/32770624 swapFree=67108860/67108860
[pid=29061] ppid=29058 vsize=10794416 memory=8289076 CPUtime=1422.6 cores=0,2,4,6
/proc/29061/stat : 29061 (java) S 29058 29061 24904 0 -1 1077944320 340345 0 0 0 141632 628 0 0 20 0 17 0 39691114 11053481984 2072269 33554432000 4194304 4196468 140733810852896 140733810835440 139791838695159 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
/proc/29061/statm: 2698604 2072269 3215 1 0 2661057 0
[pid=29061/tid=29063] ppid=29058 vsize=10794416 memory=288230621803970871 CPUtime=22.14 cores=0,2,4,6
/proc/29061/task/29063/stat : 29063 (java) S 29058 29061 24904 0 -1 1077944384 15380 0 0 0 2199 15 0 0 20 0 17 0 39691114 11053481984 2072269 33554432000 4194304 4196468 140733810852896 139791842935840 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29064] ppid=29058 vsize=10794416 memory=13572582825790009 CPUtime=342.67 cores=0,2,4,6
/proc/29061/task/29064/stat : 29064 (java) S 29058 29061 24904 0 -1 1077944384 52758 0 0 0 34113 154 0 0 20 0 17 0 39691115 11053481984 2072269 33554432000 4194304 4196468 140733810852896 139791791315472 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29065] ppid=29058 vsize=10794416 memory=-2247047206207641111 CPUtime=342.36 cores=0,2,4,6
/proc/29061/task/29065/stat : 29065 (java) S 29058 29061 24904 0 -1 1077944384 64887 0 0 0 34092 144 0 0 20 0 17 0 39691115 11053481984 2072269 33554432000 4194304 4196468 140733810852896 139791444925072 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29066] ppid=29058 vsize=10794416 memory=6655300316396806240 CPUtime=342.51 cores=0,2,4,6
/proc/29061/task/29066/stat : 29066 (java) S 29058 29061 24904 0 -1 1077944384 55419 0 0 0 34104 147 0 0 20 0 17 0 39691115 11053481984 2072269 33554432000 4194304 4196468 140733810852896 139791443872016 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29067] ppid=29058 vsize=10794416 memory=6943526294502006880 CPUtime=343.26 cores=0,2,4,6
/proc/29061/task/29067/stat : 29067 (java) S 29058 29061 24904 0 -1 1077944384 59510 0 0 0 34172 154 0 0 20 0 17 0 39691115 11053481984 2072269 33554432000 4194304 4196468 140733810852896 139791442819472 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29068] ppid=29058 vsize=10794416 memory=6944652177228980320 CPUtime=27 cores=0,2,4,6
/proc/29061/task/29068/stat : 29068 (java) R 29058 29061 24904 0 -1 4202560 77849 0 0 0 2695 5 0 0 20 0 17 0 39691116 11053481984 2072269 33554432000 4194304 4196468 140733810852896 139791143740736 139791823152792 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29069] ppid=29058 vsize=10794416 memory=-7812736537705029536 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29069/stat : 29069 (java) S 29058 29061 24904 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 17 0 39691117 11053481984 2072269 33554432000 4194304 4196468 140733810852896 139791142688480 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29070] ppid=29058 vsize=10794416 memory=1399103955520229747 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29070/stat : 29070 (java) S 29058 29061 24904 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 39691117 11053481984 2072269 33554432000 4194304 4196468 140733810852896 139791141634320 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29071] ppid=29058 vsize=10794416 memory=6944656592455360569 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29071/stat : 29071 (java) S 29058 29061 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39691119 11053481984 2072269 33554432000 4194304 4196468 140733810852896 139791140583888 139791838713755 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29072] ppid=29058 vsize=10794416 memory=6791534058613427641 CPUtime=0.98 cores=0,2,4,6
/proc/29061/task/29072/stat : 29072 (java) S 29058 29061 24904 0 -1 1077944384 4665 0 0 0 97 1 0 0 20 0 17 0 39691119 11053481984 2072269 33554432000 4194304 4196468 140733810852896 139791139530752 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29073] ppid=29058 vsize=10794416 memory=4713742226031938934 CPUtime=0.96 cores=0,2,4,6
/proc/29061/task/29073/stat : 29073 (java) S 29058 29061 24904 0 -1 1077944384 3434 0 0 0 95 1 0 0 20 0 17 0 39691119 11053481984 2072269 33554432000 4194304 4196468 140733810852896 139791138478496 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29074] ppid=29058 vsize=10794416 memory=4426052766234670634 CPUtime=0.45 cores=0,2,4,6
/proc/29061/task/29074/stat : 29074 (java) S 29058 29061 24904 0 -1 1077944384 3857 0 0 0 44 1 0 0 20 0 17 0 39691119 11053481984 2072269 33554432000 4194304 4196468 140733810852896 139791137421264 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29075] ppid=29058 vsize=10794416 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29075/stat : 29075 (java) S 29058 29061 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39691120 11053481984 2072269 33554432000 4194304 4196468 140733810852896 139791136373088 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29076] ppid=29058 vsize=10794416 memory=7656242986080626535 CPUtime=0.18 cores=0,2,4,6
/proc/29061/task/29076/stat : 29076 (java) S 29058 29061 24904 0 -1 1077944384 1149 0 0 0 11 7 0 0 20 0 17 0 39691120 11053481984 2072269 33554432000 4194304 4196468 140733810852896 139791135321136 139791838706306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29160] ppid=29058 vsize=10794416 memory=139945728121121 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29160/stat : 29160 (java) S 29058 29061 24904 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 17 0 39728835 11053481984 2072269 33554432000 4194304 4196468 140733810852896 139791132127152 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
[pid=29061/tid=29161] ppid=29058 vsize=10794416 memory=98 CPUtime=0 cores=0,2,4,6
/proc/29061/task/29161/stat : 29161 (java) S 29058 29061 24904 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 39728835 11053481984 2072269 33554432000 4194304 4196468 140733810852896 139791131074864 139791838705365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16859136 140733810861169 140733810861321 140733810861321 140733810864079 0
Current children cumulated CPU time: 1422.6 s
Current children cumulated vsize: 10794416 KiB
Current children cumulated memory: 8289076 KiB

Child status: 0
Real time (s): 396.676
CPU time (s): 1422.68
CPU user time (s): 1416.36
CPU system time (s): 6.32188
CPU usage (%): 358.651
Max. virtual memory (cumulated for all children) (KiB): 10794416
Max. memory (cumulated for all children) (KiB): 8289076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1416.36
system time used= 6.32188
maximum resident set size= 8289332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 342818
page faults= 0
swaps= 0
block input operations= 0
block output operations= 584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23730
involuntary context switches= 24800


# summary of solver processes directly reported to runsolver:
#   pid: 29061
#   total CPU time (s): 1422.68
#   total CPU user time (s): 1416.36
#   total CPU system time (s): 6.32188

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.29788 second user time and 3.90487 second system time

The end

Launcher Data 

Begin job on node103 at 2018-07-22 03:01:19
IDJOB=4289991
IDBENCH=141520
IDSOLVER=2742
FILE ID=node103/4289991-1532221279
RUNJOBID= node103-1532209718-27131
PBS_JOBID= 21018940
Free space on /tmp= 56872 MiB

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

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

MD5SUM BENCH= 2b9b9d57997e47756252872b7d7d2054
RANDOM SEED=1517406760

node103.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.48
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.48
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.48
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.48
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:        21267316 kB
MemAvailable:   29600420 kB
Buffers:          218128 kB
Cached:          8320492 kB
SwapCached:            0 kB
Active:          3664696 kB
Inactive:        7261856 kB
Active(anon):    2390264 kB
Inactive(anon):    16996 kB
Active(file):    1274432 kB
Inactive(file):  7244860 kB
Unevictable:        7140 kB
Mlocked:            7140 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2504 kB
Writeback:             0 kB
AnonPages:       2400468 kB
Mapped:            46944 kB
Shmem:             17068 kB
Slab:             269768 kB
SReclaimable:     242272 kB
SUnreclaim:        27496 kB
KernelStack:        3840 kB
PageTables:         9900 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4214272 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2217984 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 56868 MiB
End job on node103 at 2018-07-22 03:07:56