Trace number 4289990

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? 1494.73 410.5

General information on the benchmark

NameMario/
Mario-t-hard-1_c18.xml
MD5SUMd0ad504447153d615b89b5c6990e2d3b
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4783
Best CPU time to get the best result obtained on this benchmark4.54918
Satisfiable
(Un)Satisfiability was proved
Number of variables300
Number of constraints201
Number of domains164
Minimum domain size1
Maximum domain size100
Distribution of domain sizes[{"size":1,"count":5},{"size":2,"count":95},{"size":85,"count":4},{"size":86,"count":2},{"size":87,"count":2},{"size":88,"count":6},{"size":89,"count":17},{"size":90,"count":16},{"size":91,"count":14},{"size":92,"count":12},{"size":93,"count":12},{"size":94,"count":9},{"size":95,"count":5},{"size":97,"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 

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

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

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

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


[startup+0.101432 s]*
/proc/loadavg: 3.08 2.37 2.36 5/217 29155
/proc/meminfo: memFree=15297672/32770624 swapFree=67108860/67108860
[pid=29140] ppid=29137 vsize=10659012 memory=31108 CPUtime=0.13 cores=1,3,5,7
/proc/29140/stat : 29140 (java) S 29137 29140 24904 0 -1 1077944320 6843 0 0 0 11 2 0 0 20 0 15 0 39700814 10914828288 7777 33554432000 4194304 4196468 140736436803376 140736436785920 140297831550711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
/proc/29140/statm: 2664753 7777 2822 1 0 2627263 0
[pid=29140/tid=29142] ppid=29137 vsize=10659012 memory=-8701690554792318082 CPUtime=0.09 cores=1,3,5,7
/proc/29140/task/29142/stat : 29142 (java) R 29137 29140 24904 0 -1 4202560 4682 0 0 0 8 1 0 0 20 0 15 0 39700814 10914828288 7777 33554432000 4194304 4196468 140736436803376 140297835775408 140297815631198 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29143] ppid=29137 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29143/stat : 29143 (java) S 29137 29140 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39700815 10914828288 7777 33554432000 4194304 4196468 140736436803376 140297792510608 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29144] ppid=29137 vsize=10659012 memory=140222015669888 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29144/stat : 29144 (java) S 29137 29140 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39700815 10914828288 7777 33554432000 4194304 4196468 140736436803376 140297437420048 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29145] ppid=29137 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29145/stat : 29145 (java) S 29137 29140 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39700815 10914828288 7777 33554432000 4194304 4196468 140736436803376 140297436367248 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29146] ppid=29137 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29146/stat : 29146 (java) S 29137 29140 24904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39700815 10914828288 7777 33554432000 4194304 4196468 140736436803376 140297435314448 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29147] ppid=29137 vsize=10659012 memory=140222015669888 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29147/stat : 29147 (java) S 29137 29140 24904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39700816 10914828288 7777 33554432000 4194304 4196468 140736436803376 140297391414128 140297831561858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29148] ppid=29137 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29148/stat : 29148 (java) S 29137 29140 24904 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39700817 10914828288 7777 33554432000 4194304 4196468 140736436803376 140297390360096 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29149] ppid=29137 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29149/stat : 29149 (java) S 29137 29140 24904 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39700817 10914828288 7777 33554432000 4194304 4196468 140736436803376 140297321309552 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29150] ppid=29137 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29150/stat : 29150 (java) S 29137 29140 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39700819 10914828288 7777 33554432000 4194304 4196468 140736436803376 140297320257872 140297831569307 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29151] ppid=29137 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29151/stat : 29151 (java) S 29137 29140 24904 0 -1 1077944384 439 0 0 0 0 0 0 0 20 0 15 0 39700819 10914828288 7777 33554432000 4194304 4196468 140736436803376 140297319205232 140297831561858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29152] ppid=29137 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29152/stat : 29152 (java) S 29137 29140 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39700819 10914828288 7777 33554432000 4194304 4196468 140736436803376 140297318152432 140297831561858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29153] ppid=29137 vsize=10659012 memory=140222015669888 CPUtime=0.02 cores=1,3,5,7
/proc/29140/task/29153/stat : 29153 (java) R 29137 29140 24904 0 -1 4202560 352 0 0 0 2 0 0 0 20 0 15 0 39700819 10914828288 7777 33554432000 4194304 4196468 140736436803376 140297317099632 140297831572058 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29154] ppid=29137 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29154/stat : 29154 (java) S 29137 29140 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39700819 10914828288 7777 33554432000 4194304 4196468 140736436803376 140297316047072 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29155] ppid=29137 vsize=10659012 memory=140222015669888 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29155/stat : 29155 (java) S 29137 29140 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39700820 10914828288 7777 33554432000 4194304 4196468 140736436803376 140297314995376 140297831561858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 31108 KiB

[startup+0.210585 s]*
/proc/loadavg: 3.08 2.37 2.36 6/217 29155
/proc/meminfo: memFree=15287500/32770624 swapFree=67108860/67108860
[pid=29140] ppid=29137 vsize=10659012 memory=42276 CPUtime=0.33 cores=1,3,5,7
/proc/29140/stat : 29140 (java) S 29137 29140 24904 0 -1 1077944320 8128 0 0 0 30 3 0 0 20 0 15 0 39700814 10914828288 10569 33554432000 4194304 4196468 140736436803376 140736436785920 140297831550711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
/proc/29140/statm: 2664753 10569 3007 1 0 2627263 0
[pid=29140/tid=29142] ppid=29137 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/29140/task/29142/stat : 29142 (java) R 29137 29140 24904 0 -1 4202560 5061 0 0 0 18 2 0 0 20 0 15 0 39700814 10914828288 10569 33554432000 4194304 4196468 140736436803376 140297835786992 140297467980928 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29143] ppid=29137 vsize=10659012 memory=343 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29143/stat : 29143 (java) S 29137 29140 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39700815 10914828288 10569 33554432000 4194304 4196468 140736436803376 140297792510608 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29144] ppid=29137 vsize=10659012 memory=288370598167381632 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29144/stat : 29144 (java) S 29137 29140 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39700815 10914828288 10569 33554432000 4194304 4196468 140736436803376 140297437420048 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29145] ppid=29137 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29145/stat : 29145 (java) S 29137 29140 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39700815 10914828288 10569 33554432000 4194304 4196468 140736436803376 140297436367248 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29146] ppid=29137 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29146/stat : 29146 (java) S 29137 29140 24904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39700815 10914828288 10569 33554432000 4194304 4196468 140736436803376 140297435314448 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29147] ppid=29137 vsize=10659012 memory=140222015669888 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29147/stat : 29147 (java) S 29137 29140 24904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39700816 10914828288 10569 33554432000 4194304 4196468 140736436803376 140297391414128 140297831561858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29148] ppid=29137 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29148/stat : 29148 (java) S 29137 29140 24904 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39700817 10914828288 10569 33554432000 4194304 4196468 140736436803376 140297390360096 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29149] ppid=29137 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29149/stat : 29149 (java) S 29137 29140 24904 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39700817 10914828288 10569 33554432000 4194304 4196468 140736436803376 140297321309552 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29150] ppid=29137 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29150/stat : 29150 (java) S 29137 29140 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39700819 10914828288 10569 33554432000 4194304 4196468 140736436803376 140297320257872 140297831569307 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29151] ppid=29137 vsize=10659012 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/29140/task/29151/stat : 29151 (java) S 29137 29140 24904 0 -1 1077944384 664 0 0 0 2 0 0 0 20 0 15 0 39700819 10914828288 10569 33554432000 4194304 4196468 140736436803376 140297319205232 140297831561858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29152] ppid=29137 vsize=10659012 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/29140/task/29152/stat : 29152 (java) S 29137 29140 24904 0 -1 1077944384 338 0 0 0 2 0 0 0 20 0 15 0 39700819 10914828288 10569 33554432000 4194304 4196468 140736436803376 140297318152432 140297831561858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29153] ppid=29137 vsize=10659012 memory=140222015669888 CPUtime=0.07 cores=1,3,5,7
/proc/29140/task/29153/stat : 29153 (java) R 29137 29140 24904 0 -1 4202560 698 0 0 0 7 0 0 0 20 0 15 0 39700819 10914828288 10569 33554432000 4194304 4196468 140736436803376 140297317099632 140297815631198 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29154] ppid=29137 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29154/stat : 29154 (java) S 29137 29140 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39700819 10914828288 10569 33554432000 4194304 4196468 140736436803376 140297316047072 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29155] ppid=29137 vsize=10659012 memory=140222015669888 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29155/stat : 29155 (java) S 29137 29140 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39700820 10914828288 10569 33554432000 4194304 4196468 140736436803376 140297314995376 140297831561858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 42276 KiB

[startup+0.31334 s]*
/proc/loadavg: 3.08 2.37 2.36 10/217 29155
/proc/meminfo: memFree=15279592/32770624 swapFree=67108860/67108860
[pid=29140] ppid=29137 vsize=10659088 memory=47488 CPUtime=0.55 cores=1,3,5,7
/proc/29140/stat : 29140 (java) S 29137 29140 24904 0 -1 1077944320 8971 0 0 0 52 3 0 0 20 0 15 0 39700814 10914906112 11872 33554432000 4194304 4196468 140736436803376 140736436785920 140297831550711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
/proc/29140/statm: 2664772 11872 3049 1 0 2627263 0
[pid=29140/tid=29142] ppid=29137 vsize=10659088 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/29140/task/29142/stat : 29142 (java) R 29137 29140 24904 0 -1 4202560 5633 0 0 0 28 2 0 0 20 0 15 0 39700814 10914906112 11872 33554432000 4194304 4196468 140736436803376 140297835787904 140297831562646 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29143] ppid=29137 vsize=10659088 memory=4294979967 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29143/stat : 29143 (java) S 29137 29140 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39700815 10914906112 11872 33554432000 4194304 4196468 140736436803376 140297792510608 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29144] ppid=29137 vsize=10659088 memory=288370598167381632 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29144/stat : 29144 (java) S 29137 29140 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39700815 10914906112 11872 33554432000 4194304 4196468 140736436803376 140297437420048 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29145] ppid=29137 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29145/stat : 29145 (java) S 29137 29140 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39700815 10914906112 11872 33554432000 4194304 4196468 140736436803376 140297436367248 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29146] ppid=29137 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29146/stat : 29146 (java) S 29137 29140 24904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39700815 10914906112 11872 33554432000 4194304 4196468 140736436803376 140297435314448 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29147] ppid=29137 vsize=10659088 memory=140222015669888 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29147/stat : 29147 (java) S 29137 29140 24904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39700816 10914906112 11872 33554432000 4194304 4196468 140736436803376 140297391414128 140297831561858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29148] ppid=29137 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29148/stat : 29148 (java) S 29137 29140 24904 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39700817 10914906112 11872 33554432000 4194304 4196468 140736436803376 140297390360096 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29149] ppid=29137 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29149/stat : 29149 (java) S 29137 29140 24904 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39700817 10914906112 11872 33554432000 4194304 4196468 140736436803376 140297321309552 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29150] ppid=29137 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29150/stat : 29150 (java) S 29137 29140 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39700819 10914906112 11872 33554432000 4194304 4196468 140736436803376 140297320257872 140297831569307 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29151] ppid=29137 vsize=10659088 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/29140/task/29151/stat : 29151 (java) S 29137 29140 24904 0 -1 1077944384 810 0 0 0 5 0 0 0 20 0 15 0 39700819 10914906112 11872 33554432000 4194304 4196468 140736436803376 140297319205232 140297831561858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29152] ppid=29137 vsize=10659088 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/29140/task/29152/stat : 29152 (java) S 29137 29140 24904 0 -1 1077944384 394 0 0 0 5 0 0 0 20 0 15 0 39700819 10914906112 11872 33554432000 4194304 4196468 140736436803376 140297318152432 140297831561858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29153] ppid=29137 vsize=10659088 memory=140222015669888 CPUtime=0.13 cores=1,3,5,7
/proc/29140/task/29153/stat : 29153 (java) R 29137 29140 24904 0 -1 4202560 766 0 0 0 13 0 0 0 20 0 15 0 39700819 10914906112 11872 33554432000 4194304 4196468 140736436803376 140297317098816 140297816716355 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29154] ppid=29137 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29154/stat : 29154 (java) S 29137 29140 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39700819 10914906112 11872 33554432000 4194304 4196468 140736436803376 140297316047072 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29155] ppid=29137 vsize=10659088 memory=140222015669888 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29155/stat : 29155 (java) S 29137 29140 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39700820 10914906112 11872 33554432000 4194304 4196468 140736436803376 140297314995376 140297831561858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 47488 KiB

[startup+0.70073 s]
/proc/loadavg: 3.08 2.37 2.36 8/217 29155
/proc/meminfo: memFree=15232008/32770624 swapFree=67108860/67108860
[pid=29140] ppid=29137 vsize=10659088 memory=191584 CPUtime=1.9 cores=1,3,5,7
/proc/29140/stat : 29140 (java) S 29137 29140 24904 0 -1 1077944320 18982 0 0 0 183 7 0 0 20 0 15 0 39700814 10914906112 47896 33554432000 4194304 4196468 140736436803376 140736436785920 140297831550711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
/proc/29140/statm: 2664772 47896 3091 1 0 2627263 0
[pid=29140/tid=29142] ppid=29137 vsize=10659088 memory=8648 CPUtime=0.67 cores=1,3,5,7
/proc/29140/task/29142/stat : 29142 (java) R 29137 29140 24904 0 -1 4202560 6079 0 0 0 63 4 0 0 20 0 15 0 39700814 10914906112 47896 33554432000 4194304 4196468 140736436803376 140297835778896 140297469040437 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29143] ppid=29137 vsize=10659088 memory=18484 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29143/stat : 29143 (java) S 29137 29140 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39700815 10914906112 47896 33554432000 4194304 4196468 140736436803376 140297792510608 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29144] ppid=29137 vsize=10659088 memory=644 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29144/stat : 29144 (java) S 29137 29140 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39700815 10914906112 47896 33554432000 4194304 4196468 140736436803376 140297437420048 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29145] ppid=29137 vsize=10659088 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29145/stat : 29145 (java) S 29137 29140 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39700815 10914906112 47896 33554432000 4194304 4196468 140736436803376 140297436367248 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29146] ppid=29137 vsize=10659088 memory=952 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29146/stat : 29146 (java) S 29137 29140 24904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39700815 10914906112 47896 33554432000 4194304 4196468 140736436803376 140297435314448 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29147] ppid=29137 vsize=10659088 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29147/stat : 29147 (java) S 29137 29140 24904 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 39700816 10914906112 47896 33554432000 4194304 4196468 140736436803376 140297391414128 140297831561858 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29148] ppid=29137 vsize=10659088 memory=2340 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29148/stat : 29148 (java) S 29137 29140 24904 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39700817 10914906112 47896 33554432000 4194304 4196468 140736436803376 140297390360096 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29149] ppid=29137 vsize=10659088 memory=6153431502485413986 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29149/stat : 29149 (java) S 29137 29140 24904 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39700817 10914906112 47896 33554432000 4194304 4196468 140736436803376 140297321309552 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29150] ppid=29137 vsize=10659088 memory=7881696724453321575 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29150/stat : 29150 (java) S 29137 29140 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39700819 10914906112 47896 33554432000 4194304 4196468 140736436803376 140297320257872 140297831569307 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29151] ppid=29137 vsize=10659088 memory=7523071198212214892 CPUtime=0.4 cores=1,3,5,7
/proc/29140/task/29151/stat : 29151 (java) R 29137 29140 24904 0 -1 4202560 4179 0 0 0 40 0 0 0 20 0 15 0 39700819 10914906112 47896 33554432000 4194304 4196468 140736436803376 140297319195024 140297808857200 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29152] ppid=29137 vsize=10659088 memory=8514726395715218844 CPUtime=0.41 cores=1,3,5,7
/proc/29140/task/29152/stat : 29152 (java) R 29137 29140 24904 0 -1 4202560 3673 0 0 0 41 0 0 0 20 0 15 0 39700819 10914906112 47896 33554432000 4194304 4196468 140736436803376 140297318152560 140297813094484 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29153] ppid=29137 vsize=10659088 memory=0 CPUtime=0.37 cores=1,3,5,7
/proc/29140/task/29153/stat : 29153 (java) S 29137 29140 24904 0 -1 1077944384 3680 0 0 0 37 0 0 0 20 0 15 0 39700819 10914906112 47896 33554432000 4194304 4196468 140736436803376 140297317099632 140297831561858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29154] ppid=29137 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29154/stat : 29154 (java) S 29137 29140 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39700819 10914906112 47896 33554432000 4194304 4196468 140736436803376 140297316047072 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29155] ppid=29137 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29155/stat : 29155 (java) S 29137 29140 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39700820 10914906112 47896 33554432000 4194304 4196468 140736436803376 140297314995376 140297831561858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
Current children cumulated CPU time: 1.9 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 191584 KiB

[startup+1.50073 s]
/proc/loadavg: 3.08 2.37 2.36 9/217 29155
/proc/meminfo: memFree=15084272/32770624 swapFree=67108860/67108860
[pid=29140] ppid=29137 vsize=10659088 memory=450864 CPUtime=4.12 cores=1,3,5,7
/proc/29140/stat : 29140 (java) S 29137 29140 24904 0 -1 1077944320 20120 0 0 0 387 25 0 0 20 0 15 0 39700814 10914906112 112716 33554432000 4194304 4196468 140736436803376 140736436785920 140297831550711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
/proc/29140/statm: 2664772 112716 3146 1 0 2627263 0
[pid=29140/tid=29142] ppid=29137 vsize=10659088 memory=302552 CPUtime=1.33 cores=1,3,5,7
/proc/29140/task/29142/stat : 29142 (java) R 29137 29140 24904 0 -1 4202560 6150 0 0 0 126 7 0 0 20 0 15 0 39700814 10914906112 112716 33554432000 4194304 4196468 140736436803376 140297835786080 140297472423516 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29143] ppid=29137 vsize=10659088 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/29140/task/29143/stat : 29143 (java) S 29137 29140 24904 0 -1 1077944384 62 0 0 0 8 3 0 0 20 0 15 0 39700815 10914906112 112716 33554432000 4194304 4196468 140736436803376 140297792510608 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29144] ppid=29137 vsize=10659088 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/29140/task/29144/stat : 29144 (java) S 29137 29140 24904 0 -1 1077944384 150 0 0 0 10 3 0 0 20 0 15 0 39700815 10914906112 112716 33554432000 4194304 4196468 140736436803376 140297437420048 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29145] ppid=29137 vsize=10659088 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/29140/task/29145/stat : 29145 (java) S 29137 29140 24904 0 -1 1077944384 151 0 0 0 10 3 0 0 20 0 15 0 39700815 10914906112 112716 33554432000 4194304 4196468 140736436803376 140297436367248 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29146] ppid=29137 vsize=10659088 memory=20 CPUtime=0.13 cores=1,3,5,7
/proc/29140/task/29146/stat : 29146 (java) S 29137 29140 24904 0 -1 1077944384 166 0 0 0 10 3 0 0 20 0 15 0 39700815 10914906112 112716 33554432000 4194304 4196468 140736436803376 140297435314448 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29147] ppid=29137 vsize=10659088 memory=280443782412016 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29147/stat : 29147 (java) S 29137 29140 24904 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 15 0 39700816 10914906112 112716 33554432000 4194304 4196468 140736436803376 140297391414128 140297831561858 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0

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

[pid=29140/tid=29143] ppid=29137 vsize=10794416 memory=8384 CPUtime=360.4 cores=1,3,5,7
/proc/29140/task/29143/stat : 29143 (java) R 29137 29140 24904 0 -1 4202560 59131 0 0 0 35892 148 0 0 20 0 17 0 39700815 11053481984 2063995 33554432000 4194304 4196468 140736436803376 140297792510416 140297824178919 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29144] ppid=29137 vsize=10794416 memory=15872 CPUtime=360.28 cores=1,3,5,7
/proc/29140/task/29144/stat : 29144 (java) R 29137 29140 24904 0 -1 4202560 68275 0 0 0 35881 147 0 0 20 0 17 0 39700815 11053481984 2063995 33554432000 4194304 4196468 140736436803376 140297437420168 140297824178919 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29145] ppid=29137 vsize=10794416 memory=4140 CPUtime=361.33 cores=1,3,5,7
/proc/29140/task/29145/stat : 29145 (java) R 29137 29140 24904 0 -1 4202560 103090 0 0 0 35965 168 0 0 20 0 17 0 39700815 11053481984 2063995 33554432000 4194304 4196468 140736436803376 140297436367136 140297824654363 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29146] ppid=29137 vsize=10794416 memory=6791534058613427641 CPUtime=360.11 cores=1,3,5,7
/proc/29140/task/29146/stat : 29146 (java) R 29137 29140 24904 0 -1 4202560 78946 0 0 0 35869 142 0 0 20 0 17 0 39700815 11053481984 2063995 33554432000 4194304 4196468 140736436803376 140297435314256 140297824178919 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29147] ppid=29137 vsize=10794416 memory=1724 CPUtime=25.68 cores=1,3,5,7
/proc/29140/task/29147/stat : 29147 (java) S 29137 29140 24904 0 -1 1077944384 77735 0 0 0 2564 4 0 0 20 0 17 0 39700816 11053481984 2063995 33554432000 4194304 4196468 140736436803376 140297391412672 140297831560917 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29148] ppid=29137 vsize=10794416 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29148/stat : 29148 (java) S 29137 29140 24904 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 17 0 39700817 11053481984 2063995 33554432000 4194304 4196468 140736436803376 140297390360160 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29149] ppid=29137 vsize=10794416 memory=1428 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29149/stat : 29149 (java) S 29137 29140 24904 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 39700817 11053481984 2063995 33554432000 4194304 4196468 140736436803376 140297321308560 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29150] ppid=29137 vsize=10794416 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29150/stat : 29150 (java) S 29137 29140 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39700819 11053481984 2063995 33554432000 4194304 4196468 140736436803376 140297320257872 140297831569307 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29151] ppid=29137 vsize=10794416 memory=5300 CPUtime=0.96 cores=1,3,5,7
/proc/29140/task/29151/stat : 29151 (java) S 29137 29140 24904 0 -1 1077944384 4463 0 0 0 96 0 0 0 20 0 17 0 39700819 11053481984 2063995 33554432000 4194304 4196468 140736436803376 140297319205280 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29152] ppid=29137 vsize=10794416 memory=4616 CPUtime=0.87 cores=1,3,5,7
/proc/29140/task/29152/stat : 29152 (java) S 29137 29140 24904 0 -1 1077944384 3924 0 0 0 86 1 0 0 20 0 17 0 39700819 11053481984 2063995 33554432000 4194304 4196468 140736436803376 140297318152192 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29153] ppid=29137 vsize=10794416 memory=11960 CPUtime=0.45 cores=1,3,5,7
/proc/29140/task/29153/stat : 29153 (java) S 29137 29140 24904 0 -1 1077944384 4352 0 0 0 45 0 0 0 20 0 17 0 39700819 11053481984 2063995 33554432000 4194304 4196468 140736436803376 140297317095008 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29154] ppid=29137 vsize=10794416 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29154/stat : 29154 (java) S 29137 29140 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39700819 11053481984 2063995 33554432000 4194304 4196468 140736436803376 140297316047072 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29155] ppid=29137 vsize=10794416 memory=792 CPUtime=0.19 cores=1,3,5,7
/proc/29140/task/29155/stat : 29155 (java) S 29137 29140 24904 0 -1 1077944384 1376 0 0 0 9 10 0 0 20 0 17 0 39700820 11053481984 2063995 33554432000 4194304 4196468 140736436803376 140297314995376 140297831561858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29209] ppid=29137 vsize=10794416 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29209/stat : 29209 (java) S 29137 29140 24904 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 17 0 39739894 11053481984 2063995 33554432000 4194304 4196468 140736436803376 140297311842096 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29210] ppid=29137 vsize=10794416 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29210/stat : 29210 (java) S 29137 29140 24904 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 17 0 39739894 11053481984 2063995 33554432000 4194304 4196468 140736436803376 140297310790064 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
Current children cumulated CPU time: 1487.23 s
Current children cumulated vsize: 10794416 KiB
Current children cumulated memory: 8255980 KiB

[startup+409.601 s]
/proc/loadavg: 4.72 5.19 3.81 5/197 29210
/proc/meminfo: memFree=15351188/32770624 swapFree=67108860/67108860
[pid=29140] ppid=29137 vsize=10794416 memory=8255980 CPUtime=1493.4 cores=1,3,5,7
/proc/29140/stat : 29140 (java) S 29137 29140 24904 0 -1 1077944320 418454 0 0 0 148704 636 0 0 20 0 17 0 39700814 11053481984 2063995 33554432000 4194304 4196468 140736436803376 140736436785920 140297831550711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
/proc/29140/statm: 2698604 2063995 3217 1 0 2661057 0
[pid=29140/tid=29142] ppid=29137 vsize=10794416 memory=2412 CPUtime=16.82 cores=1,3,5,7
/proc/29140/task/29142/stat : 29142 (java) S 29137 29140 24904 0 -1 1077944384 15703 0 0 0 1666 16 0 0 20 0 17 0 39700814 11053481984 2063995 33554432000 4194304 4196468 140736436803376 140297835791392 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29143] ppid=29137 vsize=10794416 memory=1724 CPUtime=361.94 cores=1,3,5,7
/proc/29140/task/29143/stat : 29143 (java) R 29137 29140 24904 0 -1 4202560 59131 0 0 0 36045 149 0 0 20 0 17 0 39700815 11053481984 2063995 33554432000 4194304 4196468 140736436803376 140297792510416 140297824178919 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29144] ppid=29137 vsize=10794416 memory=4140 CPUtime=361.79 cores=1,3,5,7
/proc/29140/task/29144/stat : 29144 (java) R 29137 29140 24904 0 -1 4202560 68275 0 0 0 36032 147 0 0 20 0 17 0 39700815 11053481984 2063995 33554432000 4194304 4196468 140736436803376 140297437420168 140297824178919 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29145] ppid=29137 vsize=10794416 memory=4140 CPUtime=362.92 cores=1,3,5,7
/proc/29140/task/29145/stat : 29145 (java) R 29137 29140 24904 0 -1 4202560 103090 0 0 0 36124 168 0 0 20 0 17 0 39700815 11053481984 2063995 33554432000 4194304 4196468 140736436803376 140297436367136 140297813160494 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29146] ppid=29137 vsize=10794416 memory=0 CPUtime=361.65 cores=1,3,5,7
/proc/29140/task/29146/stat : 29146 (java) R 29137 29140 24904 0 -1 4202560 78946 0 0 0 36022 143 0 0 20 0 17 0 39700815 11053481984 2063995 33554432000 4194304 4196468 140736436803376 140297435314256 140297824178919 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29147] ppid=29137 vsize=10794416 memory=-2746958450906831519 CPUtime=25.68 cores=1,3,5,7
/proc/29140/task/29147/stat : 29147 (java) S 29137 29140 24904 0 -1 1077944384 77735 0 0 0 2564 4 0 0 20 0 17 0 39700816 11053481984 2063995 33554432000 4194304 4196468 140736436803376 140297391412672 140297831560917 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29148] ppid=29137 vsize=10794416 memory=8254900 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29148/stat : 29148 (java) S 29137 29140 24904 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 17 0 39700817 11053481984 2063995 33554432000 4194304 4196468 140736436803376 140297390360160 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29149] ppid=29137 vsize=10794416 memory=792 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29149/stat : 29149 (java) S 29137 29140 24904 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 39700817 11053481984 2063995 33554432000 4194304 4196468 140736436803376 140297321308560 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29150] ppid=29137 vsize=10794416 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29150/stat : 29150 (java) S 29137 29140 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39700819 11053481984 2063995 33554432000 4194304 4196468 140736436803376 140297320257872 140297831569307 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29151] ppid=29137 vsize=10794416 memory=2412 CPUtime=0.96 cores=1,3,5,7
/proc/29140/task/29151/stat : 29151 (java) S 29137 29140 24904 0 -1 1077944384 4463 0 0 0 96 0 0 0 20 0 17 0 39700819 11053481984 2063995 33554432000 4194304 4196468 140736436803376 140297319205280 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29152] ppid=29137 vsize=10794416 memory=1724 CPUtime=0.87 cores=1,3,5,7
/proc/29140/task/29152/stat : 29152 (java) S 29137 29140 24904 0 -1 1077944384 3924 0 0 0 86 1 0 0 20 0 17 0 39700819 11053481984 2063995 33554432000 4194304 4196468 140736436803376 140297318152192 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29153] ppid=29137 vsize=10794416 memory=8254908 CPUtime=0.45 cores=1,3,5,7
/proc/29140/task/29153/stat : 29153 (java) S 29137 29140 24904 0 -1 1077944384 4352 0 0 0 45 0 0 0 20 0 17 0 39700819 11053481984 2063995 33554432000 4194304 4196468 140736436803376 140297317095008 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29154] ppid=29137 vsize=10794416 memory=8254908 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29154/stat : 29154 (java) S 29137 29140 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39700819 11053481984 2063995 33554432000 4194304 4196468 140736436803376 140297316047072 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29155] ppid=29137 vsize=10794416 memory=4616 CPUtime=0.2 cores=1,3,5,7
/proc/29140/task/29155/stat : 29155 (java) S 29137 29140 24904 0 -1 1077944384 1376 0 0 0 9 11 0 0 20 0 17 0 39700820 11053481984 2063995 33554432000 4194304 4196468 140736436803376 140297314995376 140297831561858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29209] ppid=29137 vsize=10794416 memory=792 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29209/stat : 29209 (java) S 29137 29140 24904 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 17 0 39739894 11053481984 2063995 33554432000 4194304 4196468 140736436803376 140297311842096 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29210] ppid=29137 vsize=10794416 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29210/stat : 29210 (java) S 29137 29140 24904 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 17 0 39739894 11053481984 2063995 33554432000 4194304 4196468 140736436803376 140297310790064 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
Current children cumulated CPU time: 1493.4 s
Current children cumulated vsize: 10794416 KiB
Current children cumulated memory: 8255980 KiB

[startup+410.001 s]*
/proc/loadavg: 4.72 5.19 3.81 2/197 29210
/proc/meminfo: memFree=15351188/32770624 swapFree=67108860/67108860
[pid=29140] ppid=29137 vsize=10794416 memory=8255984 CPUtime=1494.23 cores=1,3,5,7
/proc/29140/stat : 29140 (java) S 29137 29140 24904 0 -1 1077944320 418577 0 0 0 148786 637 0 0 20 0 17 0 39700814 11053481984 2063996 33554432000 4194304 4196468 140736436803376 140736436785920 140297831550711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
/proc/29140/statm: 2698604 2063996 3217 1 0 2661057 0
[pid=29140/tid=29142] ppid=29137 vsize=10794416 memory=1716 CPUtime=16.82 cores=1,3,5,7
/proc/29140/task/29142/stat : 29142 (java) S 29137 29140 24904 0 -1 1077944384 15703 0 0 0 1666 16 0 0 20 0 17 0 39700814 11053481984 2063996 33554432000 4194304 4196468 140736436803376 140297835791392 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29143] ppid=29137 vsize=10794416 memory=6791534058613427641 CPUtime=362.08 cores=1,3,5,7
/proc/29140/task/29143/stat : 29143 (java) S 29137 29140 24904 0 -1 1077944384 59131 0 0 0 36059 149 0 0 20 0 17 0 39700815 11053481984 2063996 33554432000 4194304 4196468 140736436803376 140297792510608 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29144] ppid=29137 vsize=10794416 memory=644 CPUtime=361.93 cores=1,3,5,7
/proc/29140/task/29144/stat : 29144 (java) S 29137 29140 24904 0 -1 1077944384 68275 0 0 0 36046 147 0 0 20 0 17 0 39700815 11053481984 2063996 33554432000 4194304 4196468 140736436803376 140297437420048 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29145] ppid=29137 vsize=10794416 memory=1788 CPUtime=363.07 cores=1,3,5,7
/proc/29140/task/29145/stat : 29145 (java) S 29137 29140 24904 0 -1 1077944384 103090 0 0 0 36139 168 0 0 20 0 17 0 39700815 11053481984 2063996 33554432000 4194304 4196468 140736436803376 140297436367248 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29146] ppid=29137 vsize=10794416 memory=952 CPUtime=361.79 cores=1,3,5,7
/proc/29140/task/29146/stat : 29146 (java) S 29137 29140 24904 0 -1 1077944384 78946 0 0 0 36036 143 0 0 20 0 17 0 39700815 11053481984 2063996 33554432000 4194304 4196468 140736436803376 140297435314448 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29147] ppid=29137 vsize=10794416 memory=1240 CPUtime=25.94 cores=1,3,5,7
/proc/29140/task/29147/stat : 29147 (java) R 29137 29140 24904 0 -1 4202560 77858 0 0 0 2590 4 0 0 20 0 17 0 39700816 11053481984 2063996 33554432000 4194304 4196468 140736436803376 140297391412560 140297816008314 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29148] ppid=29137 vsize=10794416 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29148/stat : 29148 (java) S 29137 29140 24904 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 17 0 39700817 11053481984 2063996 33554432000 4194304 4196468 140736436803376 140297390360160 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29149] ppid=29137 vsize=10794416 memory=8384 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29149/stat : 29149 (java) S 29137 29140 24904 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 39700817 11053481984 2063996 33554432000 4194304 4196468 140736436803376 140297321308560 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29150] ppid=29137 vsize=10794416 memory=15872 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29150/stat : 29150 (java) S 29137 29140 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39700819 11053481984 2063996 33554432000 4194304 4196468 140736436803376 140297320257872 140297831569307 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29151] ppid=29137 vsize=10794416 memory=4012 CPUtime=0.96 cores=1,3,5,7
/proc/29140/task/29151/stat : 29151 (java) S 29137 29140 24904 0 -1 1077944384 4463 0 0 0 96 0 0 0 20 0 17 0 39700819 11053481984 2063996 33554432000 4194304 4196468 140736436803376 140297319205280 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29152] ppid=29137 vsize=10794416 memory=8648 CPUtime=0.87 cores=1,3,5,7
/proc/29140/task/29152/stat : 29152 (java) S 29137 29140 24904 0 -1 1077944384 3924 0 0 0 86 1 0 0 20 0 17 0 39700819 11053481984 2063996 33554432000 4194304 4196468 140736436803376 140297318152192 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29153] ppid=29137 vsize=10794416 memory=6791534058613427641 CPUtime=0.45 cores=1,3,5,7
/proc/29140/task/29153/stat : 29153 (java) S 29137 29140 24904 0 -1 1077944384 4352 0 0 0 45 0 0 0 20 0 17 0 39700819 11053481984 2063996 33554432000 4194304 4196468 140736436803376 140297317095008 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29154] ppid=29137 vsize=10794416 memory=3224 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29154/stat : 29154 (java) S 29137 29140 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39700819 11053481984 2063996 33554432000 4194304 4196468 140736436803376 140297316047072 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29155] ppid=29137 vsize=10794416 memory=8287964 CPUtime=0.2 cores=1,3,5,7
/proc/29140/task/29155/stat : 29155 (java) S 29137 29140 24904 0 -1 1077944384 1376 0 0 0 9 11 0 0 20 0 17 0 39700820 11053481984 2063996 33554432000 4194304 4196468 140736436803376 140297314995376 140297831561858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29209] ppid=29137 vsize=10794416 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29209/stat : 29209 (java) S 29137 29140 24904 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 17 0 39739894 11053481984 2063996 33554432000 4194304 4196468 140736436803376 140297311842096 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29210] ppid=29137 vsize=10794416 memory=3000 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29210/stat : 29210 (java) S 29137 29140 24904 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 17 0 39739894 11053481984 2063996 33554432000 4194304 4196468 140736436803376 140297310790064 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
Current children cumulated CPU time: 1494.23 s
Current children cumulated vsize: 10794416 KiB
Current children cumulated memory: 8255984 KiB

[startup+410.401 s]
/proc/loadavg: 4.72 5.19 3.81 2/197 29210
/proc/meminfo: memFree=15351188/32770624 swapFree=67108860/67108860
[pid=29140] ppid=29137 vsize=10794416 memory=8255984 CPUtime=1494.62 cores=1,3,5,7
/proc/29140/stat : 29140 (java) S 29137 29140 24904 0 -1 1077944320 418577 0 0 0 148825 637 0 0 20 0 17 0 39700814 11053481984 2063996 33554432000 4194304 4196468 140736436803376 140736436785920 140297831550711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
/proc/29140/statm: 2698604 2063996 3217 1 0 2661057 0
[pid=29140/tid=29142] ppid=29137 vsize=10794416 memory=8255984 CPUtime=16.82 cores=1,3,5,7
/proc/29140/task/29142/stat : 29142 (java) S 29137 29140 24904 0 -1 1077944384 15703 0 0 0 1666 16 0 0 20 0 17 0 39700814 11053481984 2063996 33554432000 4194304 4196468 140736436803376 140297835791392 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29143] ppid=29137 vsize=10794416 memory=8255984 CPUtime=362.08 cores=1,3,5,7
/proc/29140/task/29143/stat : 29143 (java) S 29137 29140 24904 0 -1 1077944384 59131 0 0 0 36059 149 0 0 20 0 17 0 39700815 11053481984 2063996 33554432000 4194304 4196468 140736436803376 140297792510608 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29144] ppid=29137 vsize=10794416 memory=8255980 CPUtime=361.93 cores=1,3,5,7
/proc/29140/task/29144/stat : 29144 (java) S 29137 29140 24904 0 -1 1077944384 68275 0 0 0 36046 147 0 0 20 0 17 0 39700815 11053481984 2063996 33554432000 4194304 4196468 140736436803376 140297437420048 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29145] ppid=29137 vsize=10794416 memory=8255980 CPUtime=363.07 cores=1,3,5,7
/proc/29140/task/29145/stat : 29145 (java) S 29137 29140 24904 0 -1 1077944384 103090 0 0 0 36139 168 0 0 20 0 17 0 39700815 11053481984 2063996 33554432000 4194304 4196468 140736436803376 140297436367248 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29146] ppid=29137 vsize=10794416 memory=8255980 CPUtime=361.79 cores=1,3,5,7
/proc/29140/task/29146/stat : 29146 (java) S 29137 29140 24904 0 -1 1077944384 78946 0 0 0 36036 143 0 0 20 0 17 0 39700815 11053481984 2063996 33554432000 4194304 4196468 140736436803376 140297435314448 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29147] ppid=29137 vsize=10794416 memory=8384 CPUtime=26.33 cores=1,3,5,7
/proc/29140/task/29147/stat : 29147 (java) R 29137 29140 24904 0 -1 4202560 77858 0 0 0 2629 4 0 0 20 0 17 0 39700816 11053481984 2063996 33554432000 4194304 4196468 140736436803376 140297391412560 140297816547112 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29148] ppid=29137 vsize=10794416 memory=15872 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29148/stat : 29148 (java) S 29137 29140 24904 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 17 0 39700817 11053481984 2063996 33554432000 4194304 4196468 140736436803376 140297390360160 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29149] ppid=29137 vsize=10794416 memory=4012 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29149/stat : 29149 (java) S 29137 29140 24904 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 39700817 11053481984 2063996 33554432000 4194304 4196468 140736436803376 140297321308560 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29150] ppid=29137 vsize=10794416 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29150/stat : 29150 (java) S 29137 29140 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39700819 11053481984 2063996 33554432000 4194304 4196468 140736436803376 140297320257872 140297831569307 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29151] ppid=29137 vsize=10794416 memory=1428 CPUtime=0.96 cores=1,3,5,7
/proc/29140/task/29151/stat : 29151 (java) S 29137 29140 24904 0 -1 1077944384 4463 0 0 0 96 0 0 0 20 0 17 0 39700819 11053481984 2063996 33554432000 4194304 4196468 140736436803376 140297319205280 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29152] ppid=29137 vsize=10794416 memory=1196 CPUtime=0.87 cores=1,3,5,7
/proc/29140/task/29152/stat : 29152 (java) S 29137 29140 24904 0 -1 1077944384 3924 0 0 0 86 1 0 0 20 0 17 0 39700819 11053481984 2063996 33554432000 4194304 4196468 140736436803376 140297318152192 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29153] ppid=29137 vsize=10794416 memory=8648 CPUtime=0.45 cores=1,3,5,7
/proc/29140/task/29153/stat : 29153 (java) S 29137 29140 24904 0 -1 1077944384 4352 0 0 0 45 0 0 0 20 0 17 0 39700819 11053481984 2063996 33554432000 4194304 4196468 140736436803376 140297317095008 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29154] ppid=29137 vsize=10794416 memory=18484 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29154/stat : 29154 (java) S 29137 29140 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39700819 11053481984 2063996 33554432000 4194304 4196468 140736436803376 140297316047072 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29155] ppid=29137 vsize=10794416 memory=644 CPUtime=0.2 cores=1,3,5,7
/proc/29140/task/29155/stat : 29155 (java) S 29137 29140 24904 0 -1 1077944384 1376 0 0 0 9 11 0 0 20 0 17 0 39700820 11053481984 2063996 33554432000 4194304 4196468 140736436803376 140297314995376 140297831561858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29209] ppid=29137 vsize=10794416 memory=6673 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29209/stat : 29209 (java) S 29137 29140 24904 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 17 0 39739894 11053481984 2063996 33554432000 4194304 4196468 140736436803376 140297311842096 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
[pid=29140/tid=29210] ppid=29137 vsize=10794416 memory=4420 CPUtime=0 cores=1,3,5,7
/proc/29140/task/29210/stat : 29210 (java) S 29137 29140 24904 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 17 0 39739894 11053481984 2063996 33554432000 4194304 4196468 140736436803376 140297310790064 140297831560917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140736436806769 140736436806921 140736436806921 140736436809679 0
Current children cumulated CPU time: 1494.62 s
Current children cumulated vsize: 10794416 KiB
Current children cumulated memory: 8255984 KiB

Child status: 0
Real time (s): 410.5
CPU time (s): 1494.73
CPU user time (s): 1488.32
CPU system time (s): 6.41025
CPU usage (%): 364.125
Max. virtual memory (cumulated for all children) (KiB): 10794416
Max. memory (cumulated for all children) (KiB): 8255984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1488.32
system time used= 6.41025
maximum resident set size= 8256220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 418613
page faults= 0
swaps= 0
block input operations= 0
block output operations= 568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24349
involuntary context switches= 28114


# summary of solver processes directly reported to runsolver:
#   pid: 29140
#   total CPU time (s): 1494.73
#   total CPU user time (s): 1488.32
#   total CPU system time (s): 6.41025

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.327 second user time and 4.28111 second system time

The end

Launcher Data 

Begin job on node103 at 2018-07-22 03:02:56
IDJOB=4289990
IDBENCH=141523
IDSOLVER=2742
FILE ID=node103/4289990-1532221376
RUNJOBID= node103-1532209718-27132
PBS_JOBID= 21018940
Free space on /tmp= 56872 MiB

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

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

MD5SUM BENCH= d0ad504447153d615b89b5c6990e2d3b
RANDOM SEED=1356876509

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:        15316080 kB
MemAvailable:   23648792 kB
Buffers:          218188 kB
Cached:          8320340 kB
SwapCached:            0 kB
Active:          9607180 kB
Inactive:        7261636 kB
Active(anon):    8332880 kB
Inactive(anon):    16996 kB
Active(file):    1274300 kB
Inactive(file):  7244640 kB
Unevictable:        7140 kB
Mlocked:            7140 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2428 kB
Writeback:             0 kB
AnonPages:       8349860 kB
Mapped:            46948 kB
Shmem:             17068 kB
Slab:             269600 kB
SReclaimable:     242232 kB
SUnreclaim:        27368 kB
KernelStack:        3824 kB
PageTables:        21592 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    8644468 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   8144896 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= 56872 MiB
End job on node103 at 2018-07-22 03:09:47