Trace number 4244064

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
R1: sat4j-CSP 2017-07-05? 849.924 147.206

General information on the benchmark

NameKnightTour/KnightTour-ext-s1/
KnightTour-10-ext06.xml
MD5SUMfdf6f730d724673eeb55be8d6417f725
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark19.8256
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints22
Number of domains1
Minimum domain size100
Maximum domain size100
Distribution of domain sizes[{"size":100,"count":100}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":98},{"degree":3,"count":2}]
Minimum constraint arity2
Maximum constraint arity100
Distribution of constraint arities[{"arity":2,"count":1},{"arity":6,"count":20},{"arity":100,"count":1}]
Number of extensional constraints20
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":20},{"type":"allDifferent","count":1},{"type":"instantiation","count":1}]
Optimization problemNO
Type of objective

Solver Data 

849.70/146.95	Jul 22, 2017 1:26:38 AM org.sat4j.reader.XMLCSP3Reader parseInstance
849.70/146.95	INFO: Runtime exception
849.70/146.95	java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93)
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeExpression(TseitinBasedIntensionCtrEncoder.java:77)
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encode(TseitinBasedIntensionCtrEncoder.java:58)
849.70/146.95		at org.sat4j.csp.constraints3.GenericCtrBuilder.buildCtrSupports(GenericCtrBuilder.java:182)
849.70/146.95		at org.sat4j.csp.constraints3.GenericCtrBuilder.buildCtrExtension(GenericCtrBuilder.java:83)
849.70/146.95		at org.sat4j.reader.XMLCSP3Reader.buildCtrExtension(XMLCSP3Reader.java:404)
849.70/146.95		at org.xcsp.parser.loaders.CtrLoaderInteger.extension(CtrLoaderInteger.java:413)
849.70/146.95		at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:130)
849.70/146.95		at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:457)
849.70/146.95		at org.xcsp.parser.XCallbacks.lambda$loadCtrs$3(XCallbacks.java:440)
849.70/146.95		at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948)
849.70/146.95		at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580)
849.70/146.95		at org.xcsp.parser.XCallbacks.loadCtrs(XCallbacks.java:437)
849.70/146.95		at org.xcsp.parser.XCallbacks.loadSlide(XCallbacks.java:421)
849.70/146.95		at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:370)
849.70/146.95		at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:353)
849.70/146.95		at org.sat4j.reader.XMLCSP3Reader.loadInstance(XMLCSP3Reader.java:328)
849.70/146.95		at org.sat4j.reader.XMLCSP3Reader.parseInstance(XMLCSP3Reader.java:293)
849.70/146.95		at org.sat4j.reader.Reader.parseInstance(Reader.java:73)
849.70/146.95		at org.sat4j.AbstractLauncher.readProblem(AbstractLauncher.java:201)
849.70/146.95		at org.sat4j.csp.CSPLauncher.readProblem(CSPLauncher.java:95)
849.70/146.95		at org.sat4j.AbstractLauncher.run(AbstractLauncher.java:255)
849.70/146.95		at org.sat4j.csp.CSPLauncher.main(CSPLauncher.java:119)
849.70/146.95	Caused by: java.lang.reflect.InvocationTargetException
849.70/146.95		at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
849.70/146.95		at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
849.70/146.95		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
849.70/146.95		at java.lang.reflect.Method.invoke(Method.java:498)
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
849.70/146.95		... 22 more
849.70/146.95	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93)
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
849.70/146.95		... 27 more
849.70/146.95	Caused by: java.lang.reflect.InvocationTargetException
849.70/146.95		at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
849.70/146.95		at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
849.70/146.95		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
849.70/146.95		at java.lang.reflect.Method.invoke(Method.java:498)
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
849.70/146.95		... 28 more
849.70/146.95	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93)
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
849.70/146.95		... 33 more
849.70/146.95	Caused by: java.lang.reflect.InvocationTargetException
849.70/146.95		at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
849.70/146.95		at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
849.70/146.95		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
849.70/146.95		at java.lang.reflect.Method.invoke(Method.java:498)
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
849.70/146.95		... 34 more
849.70/146.95	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93)
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
849.70/146.95		... 39 more
849.70/146.95	Caused by: java.lang.reflect.InvocationTargetException
849.70/146.95		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
849.70/146.95		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
849.70/146.95		at java.lang.reflect.Method.invoke(Method.java:498)
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
849.70/146.95		... 40 more
849.70/146.95	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93)
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
849.70/146.95		... 44 more
849.70/146.95	Caused by: java.lang.reflect.InvocationTargetException
849.70/146.95		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
849.70/146.95		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
849.70/146.95		at java.lang.reflect.Method.invoke(Method.java:498)
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
849.70/146.95		... 45 more
849.70/146.95	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93)
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
849.70/146.95		... 49 more
849.70/146.95	Caused by: java.lang.reflect.InvocationTargetException
849.70/146.95		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
849.70/146.95		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
849.70/146.95		at java.lang.reflect.Method.invoke(Method.java:498)
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
849.70/146.95		... 50 more
849.70/146.95	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93)
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
849.70/146.95		... 54 more
849.70/146.95	Caused by: java.lang.reflect.InvocationTargetException
849.70/146.95		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
849.70/146.95		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
849.70/146.95		at java.lang.reflect.Method.invoke(Method.java:498)
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
849.70/146.95		... 55 more
849.70/146.95	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93)
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
849.70/146.95		... 59 more
849.70/146.95	Caused by: java.lang.reflect.InvocationTargetException
849.70/146.95		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
849.70/146.95		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
849.70/146.95		at java.lang.reflect.Method.invoke(Method.java:498)
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
849.70/146.95		... 60 more
849.70/146.95	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93)
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
849.70/146.95		... 64 more
849.70/146.95	Caused by: java.lang.reflect.InvocationTargetException
849.70/146.95		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
849.70/146.95		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
849.70/146.95		at java.lang.reflect.Method.invoke(Method.java:498)
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
849.70/146.95		... 65 more
849.70/146.95	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93)
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
849.70/146.95		... 69 more
849.70/146.95	Caused by: java.lang.reflect.InvocationTargetException
849.70/146.95		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
849.70/146.95		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
849.70/146.95		at java.lang.reflect.Method.invoke(Method.java:498)
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
849.70/146.95		... 70 more
849.70/146.95	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93)
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
849.70/146.95		... 74 more
849.70/146.95	Caused by: java.lang.reflect.InvocationTargetException
849.70/146.95		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
849.70/146.95		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
849.70/146.95		at java.lang.reflect.Method.invoke(Method.java:498)
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
849.70/146.95		... 75 more
849.70/146.95	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93)
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
849.70/146.95		... 79 more
849.70/146.95	Caused by: java.lang.reflect.InvocationTargetException
849.70/146.95		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
849.70/146.95		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
849.70/146.95		at java.lang.reflect.Method.invoke(Method.java:498)
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
849.70/146.95		... 80 more
849.70/146.95	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93)
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
849.70/146.95		... 84 more
849.70/146.95	Caused by: java.lang.reflect.InvocationTargetException
849.70/146.95		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
849.70/146.95		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
849.70/146.95		at java.lang.reflect.Method.invoke(Method.java:498)
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
849.70/146.95		... 85 more
849.70/146.95	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93)
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
849.70/146.95		... 89 more
849.70/146.95	Caused by: java.lang.reflect.InvocationTargetException
849.70/146.95		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
849.70/146.95		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
849.70/146.95		at java.lang.reflect.Method.invoke(Method.java:498)
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
849.70/146.95		... 90 more
849.70/146.95	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93)
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
849.70/146.95		... 94 more
849.70/146.95	Caused by: java.lang.reflect.InvocationTargetException
849.70/146.95		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
849.70/146.95		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
849.70/146.95		at java.lang.reflect.Method.invoke(Method.java:498)
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
849.70/146.95		... 95 more
849.70/146.95	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93)
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
849.70/146.95		... 99 more
849.70/146.95	Caused by: java.lang.reflect.InvocationTargetException
849.70/146.95		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
849.70/146.95		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
849.70/146.95		at java.lang.reflect.Method.invoke(Method.java:498)
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
849.70/146.95		... 100 more
849.70/146.95	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93)
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
849.70/146.95		... 104 more
849.70/146.95	Caused by: java.lang.reflect.InvocationTargetException
849.70/146.95		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
849.70/146.95		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
849.70/146.95		at java.lang.reflect.Method.invoke(Method.java:498)
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
849.70/146.95		... 105 more
849.70/146.95	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93)
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
849.70/146.95		... 109 more
849.70/146.95	Caused by: java.lang.reflect.InvocationTargetException
849.70/146.95		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
849.70/146.95		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
849.70/146.95		at java.lang.reflect.Method.invoke(Method.java:498)
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
849.70/146.95		... 110 more
849.70/146.95	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93)
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
849.70/146.95		... 114 more
849.70/146.95	Caused by: java.lang.reflect.InvocationTargetException
849.70/146.95		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
849.70/146.95		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
849.70/146.95		at java.lang.reflect.Method.invoke(Method.java:498)
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
849.70/146.95		... 115 more
849.70/146.95	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93)
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
849.70/146.95		... 119 more
849.70/146.95	Caused by: java.lang.reflect.InvocationTargetException
849.70/146.95		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
849.70/146.95		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
849.70/146.95		at java.lang.reflect.Method.invoke(Method.java:498)
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
849.70/146.95		... 120 more
849.70/146.95	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93)
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
849.70/146.95		... 124 more
849.70/146.95	Caused by: java.lang.reflect.InvocationTargetException
849.70/146.95		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
849.70/146.95		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
849.70/146.95		at java.lang.reflect.Method.invoke(Method.java:498)
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
849.70/146.95		... 125 more
849.70/146.95	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93)
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
849.70/146.95		... 129 more
849.70/146.95	Caused by: java.lang.reflect.InvocationTargetException
849.70/146.95		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
849.70/146.95		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
849.70/146.95		at java.lang.reflect.Method.invoke(Method.java:498)
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
849.70/146.95		... 130 more
849.70/146.95	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:127)
849.70/146.95		... 134 more
849.70/146.95	Caused by: java.lang.reflect.InvocationTargetException
849.70/146.95		at sun.reflect.GeneratedMethodAccessor4.invoke(Unknown Source)
849.70/146.95		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
849.70/146.95		at java.lang.reflect.Method.invoke(Method.java:498)
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:125)
849.70/146.95		... 134 more
849.70/146.95	Caused by: java.lang.OutOfMemoryError: Java heap space
849.70/146.95		at org.sat4j.core.Vec.ensure(Vec.java:176)
849.70/146.95		at org.sat4j.core.Vec.push(Vec.java:183)
849.70/146.95		at org.sat4j.minisat.core.Solver.addConstr(Solver.java:1967)
849.70/146.95		at org.sat4j.minisat.core.Solver.addClause(Solver.java:426)
849.70/146.95		at org.sat4j.csp.CspSatSolverDecorator.addClause(CspSatSolverDecorator.java:147)
849.70/146.95		at org.sat4j.tools.SolverDecorator.addClause(SolverDecorator.java:236)
849.70/146.95		at org.sat4j.csp.intension.CspToPBSolverDecorator.addClause(CspToPBSolverDecorator.java:85)
849.70/146.95		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.buildImplVar(TseitinBasedIntensionCtrEncoder.java:526)
849.70/146.96		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorEq(TseitinBasedIntensionCtrEncoder.java:390)
849.70/146.96		at sun.reflect.GeneratedMethodAccessor4.invoke(Unknown Source)
849.70/146.96		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
849.70/146.96		at java.lang.reflect.Method.invoke(Method.java:498)
849.70/146.96		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:125)
849.70/146.96		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
849.70/146.96		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
849.70/146.96		at java.lang.reflect.Method.invoke(Method.java:498)
849.70/146.96		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
849.70/146.96		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
849.70/146.96		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
849.70/146.96		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
849.70/146.96		at java.lang.reflect.Method.invoke(Method.java:498)
849.70/146.96		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
849.70/146.96		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
849.70/146.96		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
849.70/146.96		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
849.70/146.96		at java.lang.reflect.Method.invoke(Method.java:498)
849.70/146.96		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
849.70/146.96		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
849.70/146.96		at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
849.70/146.96		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
849.70/146.96		at java.lang.reflect.Method.invoke(Method.java:498)
849.70/146.96		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
849.70/146.96	
849.87/147.16	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
849.87/147.16	c This is free software under the dual EPL/GNU LGPL licenses.
849.87/147.16	c See www.sat4j.org for details.
849.87/147.16	c That software uses the Rhino library from the Mozilla project.
849.87/147.16	c version CUSTOM.v20170705
849.87/147.16	c java.runtime.name	Java(TM) SE Runtime Environment
849.87/147.16	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
849.87/147.16	c java.vm.version	25.131-b11
849.87/147.16	c java.vm.vendor	Oracle Corporation
849.87/147.16	c sun.arch.data.model	64
849.87/147.16	c java.version		1.8.0_131
849.87/147.16	c os.name		Linux
849.87/147.16	c os.version		3.10.0-514.16.1.el7.x86_64
849.87/147.16	c os.arch		amd64
849.87/147.16	c Free memory 		499604488
849.87/147.16	c Max memory 		7247757312
849.87/147.16	c Total memory 		504889344
849.87/147.16	c Number of processors 	8
849.87/147.16	c c --- Begin Solver configuration ---
849.87/147.16	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e
849.87/147.16	c Learn all clauses as in MiniSAT
849.87/147.16	c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
849.87/147.16	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
849.87/147.16	c No reason simplification
849.87/147.16	c Glucose 2.1 dynamic restart strategy
849.87/147.16	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
849.87/147.16	c timeout=2147483s
849.87/147.16	c DB Simplification allowed=false
849.87/147.16	c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1
849.87/147.16	c --- End Solver configuration ---
849.87/147.16	c starts		: 0
849.87/147.16	c conflicts		: 0
849.87/147.16	c decisions		: 0
849.87/147.16	c propagations		: 0
849.87/147.16	c inspects		: 0
849.87/147.16	c shortcuts		: 0
849.87/147.16	c learnt literals	: 0
849.87/147.16	c learnt binary clauses	: 0
849.87/147.16	c learnt ternary clauses	: 0
849.87/147.16	c learnt constraints	: 0
849.87/147.16	c ignored constraints	: 0
849.87/147.16	c root simplifications	: 0
849.87/147.16	c removed literals (reason simplification)	: 0
849.87/147.16	c reason swapping (by a shorter reason)	: 0
849.87/147.16	c Calls to reduceDB	: 0
849.87/147.16	c Number of update (reduction) of LBD	: 0
849.87/147.16	c Imported unit clauses	: 0
849.87/147.16	c number of reductions to clauses (during analyze)	: 0
849.87/147.16	c number of learned constraints concerned by reduction	: 0
849.87/147.16	c number of learning phase by resolution	: 0
849.87/147.16	c number of learning phase by cutting planes	: 0
849.87/147.16	c number of rounding to 1 operations	: 0
849.87/147.16	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
849.87/147.16	c number of reductions of the coefficients by power 2 	: 0
849.87/147.16	c number of right shift for reduction by power 2 	: 0
849.87/147.16	c number of reductions of the coefficients by GCD over coefficients 	: 0
849.87/147.16	c speed (assignments/second)	: 0.0
849.87/147.16	c non guided choices	0
849.87/147.16	c learnt constraints type 
849.87/147.16	s UNKNOWN

Verifier Data


Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4244064-1500679451/watcher-4244064-1500679451 -o /tmp/evaluation-result-4244064-1500679451/solver-4244064-1500679451 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node146-1500679451-14824 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4244064-1500679451.xml 

pid=14870
running on 8 cores: 0,2,4,6,8,10,12,14

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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.06 1.06 1.46 5/262 14873
/proc/meminfo: memFree=31973744/32770624 swapFree=5740/219268
[pid=14873] ppid=14870 vsize=8339376 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14873/stat : 14873 (java) S 14870 14873 9829 0 -1 1077944320 1811 0 0 0 0 0 0 0 20 0 2 0 3210428 8539521024 2065 33554432000 4194304 4196468 140730049836960 140730049819504 140279724015351 0 0 0 16784584 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
/proc/14873/statm: 2084844 2065 1188 1 0 2073755 0
[pid=14873/tid=14874] ppid=14870 vsize=8339376 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14874/stat : 14874 (java) R 14870 14873 9829 0 -1 4202560 566 0 0 0 0 0 0 0 20 0 2 0 3210428 8539521024 2131 33554432000 4194304 4196468 140730049836960 140279728257440 140279716732314 0 4 0 16784584 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0

[startup+0.100136 s]
/proc/loadavg: 1.06 1.06 1.46 5/262 14873
/proc/meminfo: memFree=31973744/32770624 swapFree=5740/219268
[pid=14873] ppid=14870 vsize=10900556 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/14873/stat : 14873 (java) S 14870 14873 9829 0 -1 1077944320 4797 0 0 0 8 1 0 0 20 0 20 0 3210428 11162169344 5864 33554432000 4194304 4196468 140730049836960 140730049819504 140279724015351 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
/proc/14873/statm: 2725139 5864 2635 1 0 2713552 0
[pid=14873/tid=14874] ppid=14870 vsize=10900556 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14874/stat : 14874 (java) R 14870 14873 9829 0 -1 4202560 2877 0 0 0 7 1 0 0 20 0 20 0 3210428 11162169344 5864 33554432000 4194304 4196468 140730049836960 140279728243392 140279705409085 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10900556

[startup+0.20046 s]
/proc/loadavg: 1.06 1.06 1.46 5/262 14873
/proc/meminfo: memFree=31973744/32770624 swapFree=5740/219268
[pid=14873] ppid=14870 vsize=10900556 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/14873/stat : 14873 (java) S 14870 14873 9829 0 -1 1077944320 7127 0 0 0 22 3 0 0 20 0 20 0 3210428 11162169344 8990 33554432000 4194304 4196468 140730049836960 140730049819504 140279724015351 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
/proc/14873/statm: 2725139 8990 2882 1 0 2713552 0
[pid=14873/tid=14874] ppid=14870 vsize=10900556 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14874/stat : 14874 (java) R 14870 14873 9829 0 -1 4202560 4701 0 0 0 16 2 0 0 20 0 20 0 3210428 11162169344 8990 33554432000 4194304 4196468 140730049836960 140279728221344 140279724037277 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 10900556

[startup+0.30041 s]
/proc/loadavg: 1.06 1.06 1.46 5/262 14873
/proc/meminfo: memFree=31973744/32770624 swapFree=5740/219268
[pid=14873] ppid=14870 vsize=10900556 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/14873/stat : 14873 (java) S 14870 14873 9829 0 -1 1077944320 8469 0 0 0 38 5 0 0 20 0 20 0 3210428 11162169344 14713 33554432000 4194304 4196468 140730049836960 140730049819504 140279724015351 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
/proc/14873/statm: 2725139 14713 2950 1 0 2713552 0
[pid=14873/tid=14874] ppid=14870 vsize=10900556 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14874/stat : 14874 (java) R 14870 14873 9829 0 -1 4202560 5296 0 0 0 24 3 0 0 20 0 20 0 3210428 11162169344 14713 33554432000 4194304 4196468 140730049836960 140279728247072 140279724027286 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 10900556

[startup+0.700257 s]
/proc/loadavg: 1.06 1.06 1.46 5/262 14873
/proc/meminfo: memFree=31973744/32770624 swapFree=5740/219268
[pid=14873] ppid=14870 vsize=10900632 CPUtime=1.27 cores=0,2,4,6,8,10,12,14
/proc/14873/stat : 14873 (java) S 14870 14873 9829 0 -1 1077944320 9460 0 0 0 106 21 0 0 20 0 20 0 3210428 11162247168 55452 33554432000 4194304 4196468 140730049836960 140730049819504 140279724015351 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
/proc/14873/statm: 2725158 55452 3046 1 0 2713552 0
[pid=14873/tid=14874] ppid=14870 vsize=10900632 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14874/stat : 14874 (java) R 14870 14873 9829 0 -1 4202560 5742 0 0 0 59 4 0 0 20 0 20 0 3210428 11162247168 55452 33554432000 4194304 4196468 140730049836960 140279728250248 140279355071305 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 10900632

[startup+1.50105 s]
/proc/loadavg: 1.06 1.06 1.46 7/282 14893
/proc/meminfo: memFree=31593584/32770624 swapFree=5740/219964
[pid=14873] ppid=14870 vsize=10900632 CPUtime=3.19 cores=0,2,4,6,8,10,12,14
/proc/14873/stat : 14873 (java) S 14870 14873 9829 0 -1 1077944320 11838 0 0 0 254 65 0 0 20 0 20 0 3210428 11162247168 117521 33554432000 4194304 4196468 140730049836960 140730049819504 140279724015351 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
/proc/14873/statm: 2725158 117521 3105 1 0 2713552 0
[pid=14873/tid=14874] ppid=14870 vsize=10900632 CPUtime=1.33 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14874/stat : 14874 (java) S 14870 14873 9829 0 -1 1077944384 5815 0 0 0 127 6 0 0 20 0 20 0 3210428 11162247168 117521 33554432000 4194304 4196468 140730049836960 140279728252320 140279724025557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14876] ppid=14870 vsize=10900632 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14876/stat : 14876 (java) R 14870 14873 9829 0 -1 4202560 70 0 0 0 6 6 0 0 20 0 20 0 3210429 11162247168 117521 33554432000 4194304 4196468 140730049836960 140279676636376 140279705641415 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14877] ppid=14870 vsize=10900632 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14877/stat : 14877 (java) R 14870 14873 9829 0 -1 4202560 113 0 0 0 5 7 0 0 20 0 20 0 3210429 11162247168 117521 33554432000 4194304 4196468 140730049836960 140279675583832 140279709042770 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14878] ppid=14870 vsize=10900632 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14878/stat : 14878 (java) R 14870 14873 9829 0 -1 4202560 70 0 0 0 5 6 0 0 20 0 20 0 3210429 11162247168 117521 33554432000 4194304 4196468 140730049836960 140279674530776 140279709042728 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14879] ppid=14870 vsize=10900632 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14879/stat : 14879 (java) R 14870 14873 9829 0 -1 4202560 73 0 0 0 6 7 0 0 20 0 20 0 3210429 11162247168 117521 33554432000 4194304 4196468 140730049836960 140279673478232 140279717118205 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14880] ppid=14870 vsize=10900632 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14880/stat : 14880 (java) R 14870 14873 9829 0 -1 4202560 62 0 0 0 5 7 0 0 20 0 20 0 3210429 11162247168 117521 33554432000 4194304 4196468 140730049836960 140279326366424 140279708463566 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14881] ppid=14870 vsize=10900632 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14881/stat : 14881 (java) R 14870 14873 9829 0 -1 4202560 277 0 0 0 6 6 0 0 20 0 20 0 3210429 11162247168 117521 33554432000 4194304 4196468 140730049836960 140279325313568 140279708463566 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14882] ppid=14870 vsize=10900632 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14882/stat : 14882 (java) R 14870 14873 9829 0 -1 4202560 69 0 0 0 6 7 0 0 20 0 20 0 3210429 11162247168 117521 33554432000 4194304 4196468 140730049836960 140279324260824 140279709042770 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14883] ppid=14870 vsize=10900632 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14883/stat : 14883 (java) R 14870 14873 9829 0 -1 4202560 57 0 0 0 5 6 0 0 20 0 20 0 3210429 11162247168 117521 33554432000 4194304 4196468 140730049836960 140279323208280 140279709042575 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14884] ppid=14870 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14884/stat : 14884 (java) S 14870 14873 9829 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 3210432 11162247168 117521 33554432000 4194304 4196468 140730049836960 140279199810848 140279724025557 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14885] ppid=14870 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14885/stat : 14885 (java) S 14870 14873 9829 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 3210432 11162247168 117521 33554432000 4194304 4196468 140730049836960 140279198758624 140279724025557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14886] ppid=14870 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14886/stat : 14886 (java) S 14870 14873 9829 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 3210433 11162247168 117521 33554432000 4194304 4196468 140730049836960 140279197705456 140279724025557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14887] ppid=14870 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14887/stat : 14887 (java) S 14870 14873 9829 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3210436 11162247168 117521 33554432000 4194304 4196468 140730049836960 140279196654032 140279724033947 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14888] ppid=14870 vsize=10900632 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14888/stat : 14888 (java) S 14870 14873 9829 0 -1 1077944384 1021 0 0 0 19 0 0 0 20 0 20 0 3210436 11162247168 117521 33554432000 4194304 4196468 140730049836960 140279195601136 140279724026498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14889] ppid=14870 vsize=10900632 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14889/stat : 14889 (java) S 14870 14873 9829 0 -1 1077944384 899 0 0 0 18 0 0 0 20 0 20 0 3210436 11162247168 117521 33554432000 4194304 4196468 140730049836960 140279194548592 140279724026498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14890] ppid=14870 vsize=10900632 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14890/stat : 14890 (java) S 14870 14873 9829 0 -1 1077944384 860 0 0 0 19 0 0 0 20 0 20 0 3210436 11162247168 117521 33554432000 4194304 4196468 140730049836960 140279193495536 140279724026498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14891] ppid=14870 vsize=10900632 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14891/stat : 14891 (java) S 14870 14873 9829 0 -1 1077944384 1001 0 0 0 20 0 0 0 20 0 20 0 3210436 11162247168 117521 33554432000 4194304 4196468 140730049836960 140279192442992 140279724026498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14892] ppid=14870 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14892/stat : 14892 (java) S 14870 14873 9829 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3210436 11162247168 117521 33554432000 4194304 4196468 140730049836960 140279191391200 140279724025557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14893] ppid=14870 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14893/stat : 14893 (java) S 14870 14873 9829 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3210437 11162247168 117521 33554432000 4194304 4196468 140730049836960 140279190338736 140279724026498 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
Current children cumulated CPU time (s) 3.19
Current children cumulated vsize (KiB) 10900632

[startup+3.10101 s]
/proc/loadavg: 1.38 1.13 1.48 10/282 14893
/proc/meminfo: memFree=31113800/32770624 swapFree=5740/219964
[pid=14873] ppid=14870 vsize=10900632 CPUtime=11.64 cores=0,2,4,6,8,10,12,14
/proc/14873/stat : 14873 (java) S 14870 14873 9829 0 -1 1077944320 13835 0 0 0 1007 157 0 0 20 0 20 0 3210428 11162247168 165772 33554432000 4194304 4196468 140730049836960 140730049819504 140279724015351 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
/proc/14873/statm: 2725158 165772 3123 1 0 2713552 0
[pid=14873/tid=14874] ppid=14870 vsize=10900632 CPUtime=1.89 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14874/stat : 14874 (java) R 14870 14873 9829 0 -1 4202560 5907 0 0 0 183 6 0 0 20 0 20 0 3210428 11162247168 165772 33554432000 4194304 4196468 140730049836960 140279728250360 140279355651892 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14876] ppid=14870 vsize=10900632 CPUtime=1.05 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14876/stat : 14876 (java) S 14870 14873 9829 0 -1 1077944384 333 0 0 0 88 17 0 0 20 0 20 0 3210429 11162247168 165772 33554432000 4194304 4196468 140730049836960 140279676636176 140279724025557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14877] ppid=14870 vsize=10900632 CPUtime=1.07 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14877/stat : 14877 (java) S 14870 14873 9829 0 -1 1077944384 238 0 0 0 89 18 0 0 20 0 20 0 3210429 11162247168 165772 33554432000 4194304 4196468 140730049836960 140279675583632 140279724025557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14878] ppid=14870 vsize=10900632 CPUtime=1.06 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14878/stat : 14878 (java) S 14870 14873 9829 0 -1 1077944384 201 0 0 0 88 18 0 0 20 0 20 0 3210429 11162247168 165772 33554432000 4194304 4196468 140730049836960 140279674530576 140279724025557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14879] ppid=14870 vsize=10900632 CPUtime=1.08 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14879/stat : 14879 (java) S 14870 14873 9829 0 -1 1077944384 222 0 0 0 90 18 0 0 20 0 20 0 3210429 11162247168 165772 33554432000 4194304 4196468 140730049836960 140279673478032 140279724025557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14880] ppid=14870 vsize=10900632 CPUtime=1.07 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14880/stat : 14880 (java) S 14870 14873 9829 0 -1 1077944384 200 0 0 0 88 19 0 0 20 0 20 0 3210429 11162247168 165772 33554432000 4194304 4196468 140730049836960 140279326366224 140279724025557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14881] ppid=14870 vsize=10900632 CPUtime=1.07 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14881/stat : 14881 (java) S 14870 14873 9829 0 -1 1077944384 428 0 0 0 89 18 0 0 20 0 20 0 3210429 11162247168 165772 33554432000 4194304 4196468 140730049836960 140279325313680 140279724025557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14882] ppid=14870 vsize=10900632 CPUtime=1.08 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14882/stat : 14882 (java) S 14870 14873 9829 0 -1 1077944384 208 0 0 0 90 18 0 0 20 0 20 0 3210429 11162247168 165772 33554432000 4194304 4196468 140730049836960 140279324260624 140279724025557 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14883] ppid=14870 vsize=10900632 CPUtime=1.05 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14883/stat : 14883 (java) S 14870 14873 9829 0 -1 1077944384 172 0 0 0 88 17 0 0 20 0 20 0 3210429 11162247168 165772 33554432000 4194304 4196468 140730049836960 140279323208080 140279724025557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14884] ppid=14870 vsize=10900632 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14884/stat : 14884 (java) S 14870 14873 9829 0 -1 1077944384 641 0 0 0 7 0 0 0 20 0 20 0 3210432 11162247168 165772 33554432000 4194304 4196468 140730049836960 140279199812336 140279724026498 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14885] ppid=14870 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14885/stat : 14885 (java) S 14870 14873 9829 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 3210432 11162247168 165772 33554432000 4194304 4196468 140730049836960 140279198758624 140279724025557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14886] ppid=14870 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14886/stat : 14886 (java) S 14870 14873 9829 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 3210433 11162247168 165772 33554432000 4194304 4196468 140730049836960 140279197705472 140279724025557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14887] ppid=14870 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14887/stat : 14887 (java) S 14870 14873 9829 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3210436 11162247168 165772 33554432000 4194304 4196468 140730049836960 140279196654032 140279724033947 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14888] ppid=14870 vsize=10900632 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14888/stat : 14888 (java) S 14870 14873 9829 0 -1 1077944384 1047 0 0 0 27 0 0 0 20 0 20 0 3210436 11162247168 165772 33554432000 4194304 4196468 140730049836960 140279195601136 140279724026498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14889] ppid=14870 vsize=10900632 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14889/stat : 14889 (java) R 14870 14873 9829 0 -1 4202560 919 0 0 0 26 0 0 0 20 0 20 0 3210436 11162247168 165772 33554432000 4194304 4196468 140730049836960 140279194548888 140279707921517 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14890] ppid=14870 vsize=10900632 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14890/stat : 14890 (java) S 14870 14873 9829 0 -1 1077944384 874 0 0 0 23 0 0 0 20 0 20 0 3210436 11162247168 165772 33554432000 4194304 4196468 140730049836960 140279193495536 140279724026498 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14891] ppid=14870 vsize=10900632 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14891/stat : 14891 (java) S 14870 14873 9829 0 -1 1077944384 1077 0 0 0 23 0 0 0 20 0 20 0 3210436 11162247168 165772 33554432000 4194304 4196468 140730049836960 140279192442992 140279724026498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14892] ppid=14870 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14892/stat : 14892 (java) S 14870 14873 9829 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3210436 11162247168 165772 33554432000 4194304 4196468 140730049836960 140279191391200 140279724025557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14893] ppid=14870 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14893/stat : 14893 (java) S 14870 14873 9829 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3210437 11162247168 165772 33554432000 4194304 4196468 140730049836960 140279190338736 140279724026498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
Current children cumulated CPU time (s) 11.64
Current children cumulated vsize (KiB) 10900632

[startup+6.30098 s]
/proc/loadavg: 1.38 1.13 1.48 5/282 14893
/proc/meminfo: memFree=30475368/32770624 swapFree=5740/219968
[pid=14873] ppid=14870 vsize=10900632 CPUtime=21.27 cores=0,2,4,6,8,10,12,14
/proc/14873/stat : 14873 (java) S 14870 14873 9829 0 -1 1077944320 43509 0 0 0 1856 271 0 0 20 0 20 0 3210428 11162247168 414521 33554432000 4194304 4196468 140730049836960 140730049819504 140279724015351 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
/proc/14873/statm: 2725158 414521 3138 1 0 2713552 0
[pid=14873/tid=14874] ppid=14870 vsize=10900632 CPUtime=4.57 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14874/stat : 14874 (java) S 14870 14873 9829 0 -1 1077944384 7446 0 0 0 446 11 0 0 20 0 20 0 3210428 11162247168 414521 33554432000 4194304 4196468 140730049836960 140279728252368 140279724025557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14876] ppid=14870 vsize=10900632 CPUtime=1.55 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14876/stat : 14876 (java) R 14870 14873 9829 0 -1 4202560 1680 0 0 0 125 30 0 0 20 0 20 0 3210429 11162247168 414521 33554432000 4194304 4196468 140730049836960 140279676636376 140279708715168 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14877] ppid=14870 vsize=10900632 CPUtime=1.58 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14877/stat : 14877 (java) R 14870 14873 9829 0 -1 4202560 1576 0 0 0 126 32 0 0 20 0 20 0 3210429 11162247168 414521 33554432000 4194304 4196468 140730049836960 140279675583832 140279708715984 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14878] ppid=14870 vsize=10900632 CPUtime=1.54 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14878/stat : 14878 (java) R 14870 14873 9829 0 -1 4202560 1642 0 0 0 124 30 0 0 20 0 20 0 3210429 11162247168 414521 33554432000 4194304 4196468 140730049836960 140279674530776 140279705568602 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14879] ppid=14870 vsize=10900632 CPUtime=1.59 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14879/stat : 14879 (java) R 14870 14873 9829 0 -1 4202560 1525 0 0 0 126 33 0 0 20 0 20 0 3210429 11162247168 414521 33554432000 4194304 4196468 140730049836960 140279673477920 140279709011419 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14880] ppid=14870 vsize=10900632 CPUtime=1.53 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14880/stat : 14880 (java) R 14870 14873 9829 0 -1 4202560 1513 0 0 0 121 32 0 0 20 0 20 0 3210429 11162247168 414521 33554432000 4194304 4196468 140730049836960 140279326366424 140279708716023 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14881] ppid=14870 vsize=10900632 CPUtime=1.57 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14881/stat : 14881 (java) R 14870 14873 9829 0 -1 4202560 1834 0 0 0 125 32 0 0 20 0 20 0 3210429 11162247168 414521 33554432000 4194304 4196468 140730049836960 140279325313880 140279708716042 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14882] ppid=14870 vsize=10900632 CPUtime=1.56 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14882/stat : 14882 (java) R 14870 14873 9829 0 -1 4202560 1240 0 0 0 127 29 0 0 20 0 20 0 3210429 11162247168 414521 33554432000 4194304 4196468 140730049836960 140279324260824 140279717118337 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14883] ppid=14870 vsize=10900632 CPUtime=1.5 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14883/stat : 14883 (java) R 14870 14873 9829 0 -1 4202560 1415 0 0 0 120 30 0 0 20 0 20 0 3210429 11162247168 414521 33554432000 4194304 4196468 140730049836960 140279323208280 140279709011360 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14884] ppid=14870 vsize=10900632 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14884/stat : 14884 (java) S 14870 14873 9829 0 -1 1077944384 1130 0 0 0 8 0 0 0 20 0 20 0 3210432 11162247168 414521 33554432000 4194304 4196468 140730049836960 140279199810880 140279724025557 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14885] ppid=14870 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14885/stat : 14885 (java) S 14870 14873 9829 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 3210432 11162247168 414521 33554432000 4194304 4196468 140730049836960 140279198758624 140279724025557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14886] ppid=14870 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14886/stat : 14886 (java) S 14870 14873 9829 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 3210433 11162247168 414521 33554432000 4194304 4196468 140730049836960 140279197705472 140279724025557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14887] ppid=14870 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14

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

/proc/14873/task/14887/stat : 14887 (java) S 14870 14873 9829 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3210436 11162247168 2093336 33554432000 4194304 4196468 140730049836960 140279196654032 140279724033947 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14888] ppid=14870 vsize=10900632 CPUtime=1.18 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14888/stat : 14888 (java) S 14870 14873 9829 0 -1 1077944384 6380 0 0 0 117 1 0 0 20 0 20 0 3210436 11162247168 2093336 33554432000 4194304 4196468 140730049836960 140279195601184 140279724025557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14889] ppid=14870 vsize=10900632 CPUtime=1.8 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14889/stat : 14889 (java) S 14870 14873 9829 0 -1 1077944384 10002 0 0 0 178 2 0 0 20 0 20 0 3210436 11162247168 2093336 33554432000 4194304 4196468 140730049836960 140279194548640 140279724025557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14890] ppid=14870 vsize=10900632 CPUtime=1.89 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14890/stat : 14890 (java) S 14870 14873 9829 0 -1 1077944384 12622 0 0 0 187 2 0 0 20 0 20 0 3210436 11162247168 2093336 33554432000 4194304 4196468 140730049836960 140279193495584 140279724025557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14891] ppid=14870 vsize=10900632 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14891/stat : 14891 (java) S 14870 14873 9829 0 -1 1077944384 2055 0 0 0 37 0 0 0 20 0 20 0 3210436 11162247168 2093336 33554432000 4194304 4196468 140730049836960 140279192442752 140279724025557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14892] ppid=14870 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14892/stat : 14892 (java) S 14870 14873 9829 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3210436 11162247168 2093336 33554432000 4194304 4196468 140730049836960 140279191391200 140279724025557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14893] ppid=14870 vsize=10900632 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14893/stat : 14893 (java) S 14870 14873 9829 0 -1 1077944384 866 0 0 0 3 3 0 0 20 0 20 0 3210437 11162247168 2093336 33554432000 4194304 4196468 140730049836960 140279190338736 140279724026498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
Current children cumulated CPU time (s) 831.64
Current children cumulated vsize (KiB) 10900632

[startup+145.601 s]
/proc/loadavg: 9.19 3.98 2.47 16/282 14897
/proc/meminfo: memFree=15463012/32770624 swapFree=5740/220112
[pid=14873] ppid=14870 vsize=10900632 CPUtime=844.05 cores=0,2,4,6,8,10,12,14
/proc/14873/stat : 14873 (java) S 14870 14873 9829 0 -1 1077944320 200748 0 0 0 81742 2663 0 0 20 0 20 0 3210428 11162247168 2093336 33554432000 4194304 4196468 140730049836960 140730049819504 140279724015351 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
/proc/14873/statm: 2725158 2093336 3152 1 0 2713552 0
[pid=14873/tid=14874] ppid=14870 vsize=10900632 CPUtime=34.06 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14874/stat : 14874 (java) S 14870 14873 9829 0 -1 1077944384 17809 0 0 0 3395 11 0 0 20 0 20 0 3210428 11162247168 2093336 33554432000 4194304 4196468 140730049836960 140279728240656 140279724025557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14876] ppid=14870 vsize=10900632 CPUtime=99.46 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14876/stat : 14876 (java) R 14870 14873 9829 0 -1 4202560 16521 0 0 0 9633 313 0 0 20 0 20 0 3210429 11162247168 2093336 33554432000 4194304 4196468 140730049836960 140279676636296 140279708715969 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14877] ppid=14870 vsize=10900632 CPUtime=99.29 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14877/stat : 14877 (java) R 14870 14873 9829 0 -1 4202560 17953 0 0 0 9604 325 0 0 20 0 20 0 3210429 11162247168 2093336 33554432000 4194304 4196468 140730049836960 140279675583752 140279716643559 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14878] ppid=14870 vsize=10900632 CPUtime=99.02 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14878/stat : 14878 (java) R 14870 14873 9829 0 -1 4202560 13769 0 0 0 9568 334 0 0 20 0 20 0 3210429 11162247168 2093336 33554432000 4194304 4196468 140730049836960 140279674530384 140279716643559 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14879] ppid=14870 vsize=10900632 CPUtime=98.95 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14879/stat : 14879 (java) R 14870 14873 9829 0 -1 4202560 11909 0 0 0 9574 321 0 0 20 0 20 0 3210429 11162247168 2093336 33554432000 4194304 4196468 140730049836960 140279673478152 140279716643559 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14880] ppid=14870 vsize=10900632 CPUtime=99.03 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14880/stat : 14880 (java) R 14870 14873 9829 0 -1 4202560 15136 0 0 0 9558 345 0 0 20 0 20 0 3210429 11162247168 2093336 33554432000 4194304 4196468 140730049836960 140279326366344 140279716643559 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14881] ppid=14870 vsize=10900632 CPUtime=99.49 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14881/stat : 14881 (java) R 14870 14873 9829 0 -1 4202560 20945 0 0 0 9612 337 0 0 20 0 20 0 3210429 11162247168 2093336 33554432000 4194304 4196468 140730049836960 140279325313800 140279709774168 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14882] ppid=14870 vsize=10900632 CPUtime=99.15 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14882/stat : 14882 (java) R 14870 14873 9829 0 -1 4202560 9221 0 0 0 9579 336 0 0 20 0 20 0 3210429 11162247168 2093336 33554432000 4194304 4196468 140730049836960 140279324260744 140279716643559 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14883] ppid=14870 vsize=10900632 CPUtime=99.66 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14883/stat : 14883 (java) R 14870 14873 9829 0 -1 4202560 10377 0 0 0 9639 327 0 0 20 0 20 0 3210429 11162247168 2093336 33554432000 4194304 4196468 140730049836960 140279323208200 140279716643559 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14884] ppid=14870 vsize=10900632 CPUtime=10.54 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14884/stat : 14884 (java) S 14870 14873 9829 0 -1 1077944384 33785 0 0 0 1052 2 0 0 20 0 20 0 3210432 11162247168 2093336 33554432000 4194304 4196468 140730049836960 140279199810896 140279724025557 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14885] ppid=14870 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14885/stat : 14885 (java) S 14870 14873 9829 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 20 0 3210432 11162247168 2093336 33554432000 4194304 4196468 140730049836960 140279198758624 140279724025557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14886] ppid=14870 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14886/stat : 14886 (java) S 14870 14873 9829 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 3210433 11162247168 2093336 33554432000 4194304 4196468 140730049836960 140279197705472 140279724025557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14887] ppid=14870 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14887/stat : 14887 (java) S 14870 14873 9829 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3210436 11162247168 2093336 33554432000 4194304 4196468 140730049836960 140279196654032 140279724033947 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14888] ppid=14870 vsize=10900632 CPUtime=1.18 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14888/stat : 14888 (java) S 14870 14873 9829 0 -1 1077944384 6380 0 0 0 117 1 0 0 20 0 20 0 3210436 11162247168 2093336 33554432000 4194304 4196468 140730049836960 140279195601184 140279724025557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14889] ppid=14870 vsize=10900632 CPUtime=1.8 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14889/stat : 14889 (java) S 14870 14873 9829 0 -1 1077944384 10002 0 0 0 178 2 0 0 20 0 20 0 3210436 11162247168 2093336 33554432000 4194304 4196468 140730049836960 140279194548640 140279724025557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14890] ppid=14870 vsize=10900632 CPUtime=1.89 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14890/stat : 14890 (java) S 14870 14873 9829 0 -1 1077944384 12622 0 0 0 187 2 0 0 20 0 20 0 3210436 11162247168 2093336 33554432000 4194304 4196468 140730049836960 140279193495584 140279724025557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14891] ppid=14870 vsize=10900632 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14891/stat : 14891 (java) S 14870 14873 9829 0 -1 1077944384 2055 0 0 0 37 0 0 0 20 0 20 0 3210436 11162247168 2093336 33554432000 4194304 4196468 140730049836960 140279192442752 140279724025557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14892] ppid=14870 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14892/stat : 14892 (java) S 14870 14873 9829 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3210436 11162247168 2093336 33554432000 4194304 4196468 140730049836960 140279191391200 140279724025557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14893] ppid=14870 vsize=10900632 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14893/stat : 14893 (java) S 14870 14873 9829 0 -1 1077944384 870 0 0 0 3 3 0 0 20 0 20 0 3210437 11162247168 2093336 33554432000 4194304 4196468 140730049836960 140279190338736 140279724026498 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
Current children cumulated CPU time (s) 844.05
Current children cumulated vsize (KiB) 10900632

[startup+146.412 s]
/proc/loadavg: 9.19 3.98 2.47 3/282 14897
/proc/meminfo: memFree=15463012/32770624 swapFree=5740/220112
[pid=14873] ppid=14870 vsize=10900632 CPUtime=849.22 cores=0,2,4,6,8,10,12,14
/proc/14873/stat : 14873 (java) S 14870 14873 9829 0 -1 1077944320 202761 0 0 0 82256 2666 0 0 20 0 20 0 3210428 11162247168 2093338 33554432000 4194304 4196468 140730049836960 140730049819504 140279724015351 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
/proc/14873/statm: 2725158 2093338 3152 1 0 2713552 0
[pid=14873/tid=14874] ppid=14870 vsize=10900632 CPUtime=34.06 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14874/stat : 14874 (java) S 14870 14873 9829 0 -1 1077944384 17809 0 0 0 3395 11 0 0 20 0 20 0 3210428 11162247168 2093338 33554432000 4194304 4196468 140730049836960 140279728240656 140279724025557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14876] ppid=14870 vsize=10900632 CPUtime=100.1 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14876/stat : 14876 (java) S 14870 14873 9829 0 -1 1077944384 16638 0 0 0 9697 313 0 0 20 0 20 0 3210429 11162247168 2093338 33554432000 4194304 4196468 140730049836960 140279676636176 140279724025557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14877] ppid=14870 vsize=10900632 CPUtime=99.91 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14877/stat : 14877 (java) S 14870 14873 9829 0 -1 1077944384 17953 0 0 0 9666 325 0 0 20 0 20 0 3210429 11162247168 2093338 33554432000 4194304 4196468 140730049836960 140279675583632 140279724025557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14878] ppid=14870 vsize=10900632 CPUtime=99.63 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14878/stat : 14878 (java) S 14870 14873 9829 0 -1 1077944384 13769 0 0 0 9629 334 0 0 20 0 20 0 3210429 11162247168 2093338 33554432000 4194304 4196468 140730049836960 140279674530576 140279724025557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14879] ppid=14870 vsize=10900632 CPUtime=99.57 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14879/stat : 14879 (java) S 14870 14873 9829 0 -1 1077944384 11909 0 0 0 9636 321 0 0 20 0 20 0 3210429 11162247168 2093338 33554432000 4194304 4196468 140730049836960 140279673478032 140279724025557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14880] ppid=14870 vsize=10900632 CPUtime=99.65 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14880/stat : 14880 (java) S 14870 14873 9829 0 -1 1077944384 15136 0 0 0 9620 345 0 0 20 0 20 0 3210429 11162247168 2093338 33554432000 4194304 4196468 140730049836960 140279326366224 140279724025557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14881] ppid=14870 vsize=10900632 CPUtime=100.1 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14881/stat : 14881 (java) S 14870 14873 9829 0 -1 1077944384 20945 0 0 0 9673 337 0 0 20 0 20 0 3210429 11162247168 2093338 33554432000 4194304 4196468 140730049836960 140279325313680 140279724025557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14882] ppid=14870 vsize=10900632 CPUtime=99.77 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14882/stat : 14882 (java) S 14870 14873 9829 0 -1 1077944384 9223 0 0 0 9641 336 0 0 20 0 20 0 3210429 11162247168 2093338 33554432000 4194304 4196468 140730049836960 140279324260624 140279724025557 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14883] ppid=14870 vsize=10900632 CPUtime=100.28 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14883/stat : 14883 (java) S 14870 14873 9829 0 -1 1077944384 10377 0 0 0 9701 327 0 0 20 0 20 0 3210429 11162247168 2093338 33554432000 4194304 4196468 140730049836960 140279323208080 140279724025557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14884] ppid=14870 vsize=10900632 CPUtime=10.71 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14884/stat : 14884 (java) R 14870 14873 9829 0 -1 4202560 35679 0 0 0 1069 2 0 0 20 0 20 0 3210432 11162247168 2093338 33554432000 4194304 4196468 140730049836960 140279199810784 140279708472954 0 0 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14885] ppid=14870 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14885/stat : 14885 (java) S 14870 14873 9829 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 20 0 3210432 11162247168 2093338 33554432000 4194304 4196468 140730049836960 140279198758624 140279724025557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14886] ppid=14870 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14886/stat : 14886 (java) S 14870 14873 9829 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 3210433 11162247168 2093338 33554432000 4194304 4196468 140730049836960 140279197705472 140279724025557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14887] ppid=14870 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14887/stat : 14887 (java) S 14870 14873 9829 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3210436 11162247168 2093338 33554432000 4194304 4196468 140730049836960 140279196654032 140279724033947 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14888] ppid=14870 vsize=10900632 CPUtime=1.18 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14888/stat : 14888 (java) S 14870 14873 9829 0 -1 1077944384 6380 0 0 0 117 1 0 0 20 0 20 0 3210436 11162247168 2093338 33554432000 4194304 4196468 140730049836960 140279195601184 140279724025557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14889] ppid=14870 vsize=10900632 CPUtime=1.8 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14889/stat : 14889 (java) S 14870 14873 9829 0 -1 1077944384 10002 0 0 0 178 2 0 0 20 0 20 0 3210436 11162247168 2093338 33554432000 4194304 4196468 140730049836960 140279194548640 140279724025557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14890] ppid=14870 vsize=10900632 CPUtime=1.89 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14890/stat : 14890 (java) S 14870 14873 9829 0 -1 1077944384 12622 0 0 0 187 2 0 0 20 0 20 0 3210436 11162247168 2093338 33554432000 4194304 4196468 140730049836960 140279193495584 140279724025557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14891] ppid=14870 vsize=10900632 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14891/stat : 14891 (java) S 14870 14873 9829 0 -1 1077944384 2055 0 0 0 37 0 0 0 20 0 20 0 3210436 11162247168 2093338 33554432000 4194304 4196468 140730049836960 140279192442752 140279724025557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14892] ppid=14870 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14892/stat : 14892 (java) S 14870 14873 9829 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3210436 11162247168 2093338 33554432000 4194304 4196468 140730049836960 140279191391200 140279724025557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14893] ppid=14870 vsize=10900632 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14893/stat : 14893 (java) S 14870 14873 9829 0 -1 1077944384 870 0 0 0 3 3 0 0 20 0 20 0 3210437 11162247168 2093338 33554432000 4194304 4196468 140730049836960 140279190338736 140279724026498 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
Current children cumulated CPU time (s) 849.22
Current children cumulated vsize (KiB) 10900632

[startup+146.801 s]
/proc/loadavg: 9.19 3.98 2.47 3/282 14897
/proc/meminfo: memFree=15463012/32770624 swapFree=5740/220112
[pid=14873] ppid=14870 vsize=10900632 CPUtime=849.6 cores=0,2,4,6,8,10,12,14
/proc/14873/stat : 14873 (java) S 14870 14873 9829 0 -1 1077944320 202763 0 0 0 82294 2666 0 0 20 0 20 0 3210428 11162247168 2093338 33554432000 4194304 4196468 140730049836960 140730049819504 140279724015351 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
/proc/14873/statm: 2725158 2093338 3152 1 0 2713552 0
[pid=14873/tid=14874] ppid=14870 vsize=10900632 CPUtime=34.06 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14874/stat : 14874 (java) S 14870 14873 9829 0 -1 1077944384 17809 0 0 0 3395 11 0 0 20 0 20 0 3210428 11162247168 2093338 33554432000 4194304 4196468 140730049836960 140279728240656 140279724025557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14876] ppid=14870 vsize=10900632 CPUtime=100.1 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14876/stat : 14876 (java) S 14870 14873 9829 0 -1 1077944384 16638 0 0 0 9697 313 0 0 20 0 20 0 3210429 11162247168 2093338 33554432000 4194304 4196468 140730049836960 140279676636176 140279724025557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14877] ppid=14870 vsize=10900632 CPUtime=99.91 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14877/stat : 14877 (java) S 14870 14873 9829 0 -1 1077944384 17953 0 0 0 9666 325 0 0 20 0 20 0 3210429 11162247168 2093338 33554432000 4194304 4196468 140730049836960 140279675583632 140279724025557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14878] ppid=14870 vsize=10900632 CPUtime=99.63 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14878/stat : 14878 (java) S 14870 14873 9829 0 -1 1077944384 13769 0 0 0 9629 334 0 0 20 0 20 0 3210429 11162247168 2093338 33554432000 4194304 4196468 140730049836960 140279674530576 140279724025557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14879] ppid=14870 vsize=10900632 CPUtime=99.57 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14879/stat : 14879 (java) S 14870 14873 9829 0 -1 1077944384 11909 0 0 0 9636 321 0 0 20 0 20 0 3210429 11162247168 2093338 33554432000 4194304 4196468 140730049836960 140279673478032 140279724025557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14880] ppid=14870 vsize=10900632 CPUtime=99.65 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14880/stat : 14880 (java) S 14870 14873 9829 0 -1 1077944384 15136 0 0 0 9620 345 0 0 20 0 20 0 3210429 11162247168 2093338 33554432000 4194304 4196468 140730049836960 140279326366224 140279724025557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14881] ppid=14870 vsize=10900632 CPUtime=100.1 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14881/stat : 14881 (java) S 14870 14873 9829 0 -1 1077944384 20945 0 0 0 9673 337 0 0 20 0 20 0 3210429 11162247168 2093338 33554432000 4194304 4196468 140730049836960 140279325313680 140279724025557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14882] ppid=14870 vsize=10900632 CPUtime=99.77 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14882/stat : 14882 (java) S 14870 14873 9829 0 -1 1077944384 9223 0 0 0 9641 336 0 0 20 0 20 0 3210429 11162247168 2093338 33554432000 4194304 4196468 140730049836960 140279324260624 140279724025557 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14883] ppid=14870 vsize=10900632 CPUtime=100.28 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14883/stat : 14883 (java) S 14870 14873 9829 0 -1 1077944384 10377 0 0 0 9701 327 0 0 20 0 20 0 3210429 11162247168 2093338 33554432000 4194304 4196468 140730049836960 140279323208080 140279724025557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14884] ppid=14870 vsize=10900632 CPUtime=11.1 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14884/stat : 14884 (java) R 14870 14873 9829 0 -1 4202560 35681 0 0 0 1108 2 0 0 20 0 20 0 3210432 11162247168 2093338 33554432000 4194304 4196468 140730049836960 140279199810784 140279709011748 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14885] ppid=14870 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14885/stat : 14885 (java) S 14870 14873 9829 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 20 0 3210432 11162247168 2093338 33554432000 4194304 4196468 140730049836960 140279198758624 140279724025557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14886] ppid=14870 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14886/stat : 14886 (java) S 14870 14873 9829 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 3210433 11162247168 2093338 33554432000 4194304 4196468 140730049836960 140279197705472 140279724025557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14887] ppid=14870 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14887/stat : 14887 (java) S 14870 14873 9829 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3210436 11162247168 2093338 33554432000 4194304 4196468 140730049836960 140279196654032 140279724033947 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14888] ppid=14870 vsize=10900632 CPUtime=1.18 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14888/stat : 14888 (java) S 14870 14873 9829 0 -1 1077944384 6380 0 0 0 117 1 0 0 20 0 20 0 3210436 11162247168 2093338 33554432000 4194304 4196468 140730049836960 140279195601184 140279724025557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14889] ppid=14870 vsize=10900632 CPUtime=1.8 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14889/stat : 14889 (java) S 14870 14873 9829 0 -1 1077944384 10002 0 0 0 178 2 0 0 20 0 20 0 3210436 11162247168 2093338 33554432000 4194304 4196468 140730049836960 140279194548640 140279724025557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14890] ppid=14870 vsize=10900632 CPUtime=1.89 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14890/stat : 14890 (java) S 14870 14873 9829 0 -1 1077944384 12622 0 0 0 187 2 0 0 20 0 20 0 3210436 11162247168 2093338 33554432000 4194304 4196468 140730049836960 140279193495584 140279724025557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14891] ppid=14870 vsize=10900632 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14891/stat : 14891 (java) S 14870 14873 9829 0 -1 1077944384 2055 0 0 0 37 0 0 0 20 0 20 0 3210436 11162247168 2093338 33554432000 4194304 4196468 140730049836960 140279192442752 140279724025557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14892] ppid=14870 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14892/stat : 14892 (java) S 14870 14873 9829 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3210436 11162247168 2093338 33554432000 4194304 4196468 140730049836960 140279191391200 140279724025557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
[pid=14873/tid=14893] ppid=14870 vsize=10900632 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14893/stat : 14893 (java) S 14870 14873 9829 0 -1 1077944384 870 0 0 0 3 3 0 0 20 0 20 0 3210437 11162247168 2093338 33554432000 4194304 4196468 140730049836960 140279190338736 140279724026498 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25821184 140730049844395 140730049844548 140730049844548 140730049847247 0
Current children cumulated CPU time (s) 849.6
Current children cumulated vsize (KiB) 10900632

[startup+147.201 s]
/proc/loadavg: 9.19 3.98 2.47 3/282 14897
/proc/meminfo: memFree=15463012/32770624 swapFree=5740/220112
[pid=14873] ppid=14870 vsize=0 CPUtime=849.92 cores=0,2,4,6,8,10,12,14
/proc/14873/stat : 14873 (java) Z 14870 14873 9829 0 -1 4227084 211062 0 0 0 82321 2671 0 0 20 0 2 0 3210428 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/14873/statm: 0 0 0 0 0 0 0
[pid=14873/tid=14887] ppid=14870 vsize=0 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/14873/task/14887/stat : 14887 (java) R 14870 14873 9829 0 -1 4203588 3 0 0 0 0 2 0 0 20 0 2 0 3210436 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 10 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 849.92
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 147.206
CPU time (s): 849.924
CPU user time (s): 823.214
CPU system time (s): 26.7104
CPU usage (%): 577.37
Max. virtual memory (cumulated for all children) (KiB): 11035960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 823.214
system time used= 26.7104
maximum resident set size= 8374708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 211062
page faults= 0
swaps= 0
block input operations= 0
block output operations= 296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17221
involuntary context switches= 67609

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.21058 second user time and 1.52667 second system time

The end

Launcher Data 

Begin job on node146 at 2017-07-22 01:24:11
IDJOB=4244064
IDBENCH=134624
IDSOLVER=2623
FILE ID=node146/4244064-1500679451
RUNJOBID= node146-1500679451-14824
PBS_JOBID= 20623275
Free space on /tmp= 61784 MiB

SOLVER NAME= sat4j-CSP 2017-07-05
BENCH NAME= XCSP17/KnightTour/KnightTour-ext-s1/KnightTour-10-ext06.xml
COMMAND LINE= java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4244064-1500679451/watcher-4244064-1500679451 -o /tmp/evaluation-result-4244064-1500679451/solver-4244064-1500679451 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node146-1500679451-14824 --watchdog 2560  java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4244064-1500679451.xml

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

MD5SUM BENCH= fdf6f730d724673eeb55be8d6417f725
RANDOM SEED=1668207407

node146.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/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		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.96
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.96
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.96
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		: 2267.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.96
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2267.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1867.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1867.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        31977996 kB
MemAvailable:   32012416 kB
Buffers:           55680 kB
Cached:           288004 kB
SwapCached:            0 kB
Active:           186800 kB
Inactive:         228140 kB
Active(anon):      74016 kB
Inactive(anon):     8872 kB
Active(file):     112784 kB
Inactive(file):   219268 kB
Unevictable:        5740 kB
Mlocked:            5772 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             11580 kB
Writeback:             0 kB
AnonPages:         68612 kB
Mapped:            39684 kB
Shmem:              8852 kB
Slab:              69204 kB
SReclaimable:      36404 kB
SUnreclaim:        32800 kB
KernelStack:        4448 kB
PageTables:         4236 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1165156 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 61780 MiB
End job on node146 at 2017-07-22 01:26:38