Trace number 4244009

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
R1: sat4j-CSP 2017-07-05? 1229.9301 338.91901

General information on the benchmark

NameRamsey/Ramsey-int-s1/
Ramsey-int-21.xml
MD5SUM25b27bae3543dabdafa06e8069fa9092
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark2400.01
Satisfiable
(Un)Satisfiability was proved
Number of variables441
Number of constraints1330
Number of domains1
Minimum domain size210
Maximum domain size210
Distribution of domain sizes[{"size":210,"count":210}]
Minimum variable degree0
Maximum variable degree20
Distribution of variable degrees[{"degree":0,"count":231},{"degree":20,"count":210}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":1330}]
Number of extensional constraints0
Number of intensional constraints1330
Distribution of constraint types[{"type":"intension","count":1330}]
Optimization problemYES
Type of objectivemin MAXIMUM

Solver Data

1161.97/320.55	Aug 07, 2017 10:15:15 AM org.sat4j.reader.XMLCSP3Reader parseInstance
1161.97/320.55	INFO: Runtime exception
1161.97/320.55	java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1161.97/320.55		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93)
1161.97/320.55		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeExpression(TseitinBasedIntensionCtrEncoder.java:77)
1161.97/320.55		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encode(TseitinBasedIntensionCtrEncoder.java:58)
1161.97/320.55		at org.sat4j.csp.constraints3.GenericCtrBuilder.buildCtrIntension(GenericCtrBuilder.java:57)
1161.97/320.55		at org.sat4j.reader.XMLCSP3Reader.buildCtrIntension(XMLCSP3Reader.java:428)
1161.97/320.55		at org.xcsp.parser.loaders.CtrLoaderInteger.intension(CtrLoaderInteger.java:394)
1161.97/320.55		at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:127)
1161.97/320.55		at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:457)
1161.97/320.55		at org.xcsp.parser.XCallbacks.lambda$loadCtrs$3(XCallbacks.java:440)
1161.97/320.55		at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948)
1161.97/320.55		at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580)
1161.97/320.55		at org.xcsp.parser.XCallbacks.loadCtrs(XCallbacks.java:437)
1161.97/320.55		at org.xcsp.parser.XCallbacks.loadGroup(XCallbacks.java:406)
1161.97/320.55		at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:368)
1161.97/320.55		at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:353)
1161.97/320.55		at org.sat4j.reader.XMLCSP3Reader.loadInstance(XMLCSP3Reader.java:328)
1161.97/320.55		at org.sat4j.reader.XMLCSP3Reader.parseInstance(XMLCSP3Reader.java:293)
1161.97/320.55		at org.sat4j.reader.Reader.parseInstance(Reader.java:73)
1161.97/320.55		at org.sat4j.AbstractLauncher.readProblem(AbstractLauncher.java:201)
1161.97/320.55		at org.sat4j.csp.CSPLauncher.readProblem(CSPLauncher.java:95)
1161.97/320.55		at org.sat4j.AbstractLauncher.run(AbstractLauncher.java:255)
1161.97/320.55		at org.sat4j.csp.CSPLauncher.main(CSPLauncher.java:119)
1161.97/320.55	Caused by: java.lang.reflect.InvocationTargetException
1161.97/320.55		at sun.reflect.GeneratedMethodAccessor2.invoke(Unknown Source)
1161.97/320.55		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1161.97/320.55		at java.lang.reflect.Method.invoke(Method.java:498)
1161.97/320.55		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
1161.97/320.55		... 21 more
1161.97/320.55	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1161.97/320.55		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93)
1161.97/320.55		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
1161.97/320.55		... 25 more
1161.97/320.55	Caused by: java.lang.reflect.InvocationTargetException
1161.97/320.55		at sun.reflect.GeneratedMethodAccessor2.invoke(Unknown Source)
1161.97/320.55		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1161.97/320.55		at java.lang.reflect.Method.invoke(Method.java:498)
1161.97/320.55		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
1161.97/320.55		... 26 more
1161.97/320.55	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1161.97/320.55		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:93)
1161.97/320.55		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
1161.97/320.55		... 30 more
1161.97/320.55	Caused by: java.lang.reflect.InvocationTargetException
1161.97/320.55		at sun.reflect.GeneratedMethodAccessor2.invoke(Unknown Source)
1161.97/320.55		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1161.97/320.55		at java.lang.reflect.Method.invoke(Method.java:498)
1161.97/320.55		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
1161.97/320.55		... 31 more
1161.97/320.55	Caused by: java.lang.IllegalArgumentException: java.lang.reflect.InvocationTargetException
1161.97/320.55		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:127)
1161.97/320.55		... 35 more
1161.97/320.55	Caused by: java.lang.reflect.InvocationTargetException
1161.97/320.55		at sun.reflect.GeneratedMethodAccessor3.invoke(Unknown Source)
1161.97/320.55		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1161.97/320.55		at java.lang.reflect.Method.invoke(Method.java:498)
1161.97/320.55		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:125)
1161.97/320.55		... 35 more
1161.97/320.55	Caused by: java.lang.OutOfMemoryError: GC overhead limit exceeded
1161.97/320.55		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.buildImplVar(TseitinBasedIntensionCtrEncoder.java:528)
1161.97/320.55		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorNe(TseitinBasedIntensionCtrEncoder.java:374)
1161.97/320.55		at sun.reflect.GeneratedMethodAccessor3.invoke(Unknown Source)
1161.97/320.55		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1161.97/320.55		at java.lang.reflect.Method.invoke(Method.java:498)
1161.97/320.55		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:125)
1161.97/320.55		at sun.reflect.GeneratedMethodAccessor2.invoke(Unknown Source)
1161.97/320.55		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1161.97/320.55		at java.lang.reflect.Method.invoke(Method.java:498)
1161.97/320.55		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
1161.97/320.55		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
1161.97/320.55		at sun.reflect.GeneratedMethodAccessor2.invoke(Unknown Source)
1161.97/320.55		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1161.97/320.55		at java.lang.reflect.Method.invoke(Method.java:498)
1161.97/320.55		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
1161.97/320.55		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeOperatorWithTseitin(TseitinBasedIntensionCtrEncoder.java:119)
1161.97/320.55		at sun.reflect.GeneratedMethodAccessor2.invoke(Unknown Source)
1161.97/320.55		at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
1161.97/320.55		at java.lang.reflect.Method.invoke(Method.java:498)
1161.97/320.55		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeWithTseitin(TseitinBasedIntensionCtrEncoder.java:91)
1161.97/320.55		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encodeExpression(TseitinBasedIntensionCtrEncoder.java:77)
1161.97/320.55		at org.sat4j.csp.intension.TseitinBasedIntensionCtrEncoder.encode(TseitinBasedIntensionCtrEncoder.java:58)
1161.97/320.55		at org.sat4j.csp.constraints3.GenericCtrBuilder.buildCtrIntension(GenericCtrBuilder.java:57)
1161.97/320.55		at org.sat4j.reader.XMLCSP3Reader.buildCtrIntension(XMLCSP3Reader.java:428)
1161.97/320.55		at org.xcsp.parser.loaders.CtrLoaderInteger.intension(CtrLoaderInteger.java:394)
1161.97/320.55		at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:127)
1161.97/320.55		at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:457)
1161.97/320.55		at org.xcsp.parser.XCallbacks.lambda$loadCtrs$3(XCallbacks.java:440)
1161.97/320.55		at org.xcsp.parser.XCallbacks$$Lambda$44/1144648478.accept(Unknown Source)
1161.97/320.55		at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948)
1161.97/320.55		at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580)
1161.97/320.55		at org.xcsp.parser.XCallbacks.loadCtrs(XCallbacks.java:437)
1161.97/320.55	
1229.81/338.85	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
1229.81/338.85	c This is free software under the dual EPL/GNU LGPL licenses.
1229.81/338.85	c See www.sat4j.org for details.
1229.81/338.85	c That software uses the Rhino library from the Mozilla project.
1229.81/338.85	c version CUSTOM.v20170705
1229.81/338.85	c java.runtime.name	Java(TM) SE Runtime Environment
1229.81/338.85	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
1229.81/338.85	c java.vm.version	25.131-b11
1229.81/338.85	c java.vm.vendor	Oracle Corporation
1229.81/338.85	c sun.arch.data.model	64
1229.81/338.85	c java.version		1.8.0_131
1229.81/338.85	c os.name		Linux
1229.81/338.85	c os.version		3.10.0-514.16.1.el7.x86_64
1229.81/338.85	c os.arch		amd64
1229.81/338.85	c Free memory 		499604488
1229.81/338.85	c Max memory 		7247757312
1229.81/338.85	c Total memory 		504889344
1229.81/338.85	c Number of processors 	4
1229.81/338.85	c c --- Begin Solver configuration ---
1229.81/338.85	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e
1229.81/338.85	c Learn all clauses as in MiniSAT
1229.81/338.85	c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
1229.81/338.85	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
1229.81/338.85	c No reason simplification
1229.81/338.85	c Glucose 2.1 dynamic restart strategy
1229.81/338.85	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
1229.81/338.85	c timeout=2147483s
1229.81/338.85	c DB Simplification allowed=false
1229.81/338.85	c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1
1229.81/338.85	c --- End Solver configuration ---
1229.81/338.85	c starts		: 0
1229.81/338.85	c conflicts		: 0
1229.81/338.85	c decisions		: 0
1229.81/338.85	c propagations		: 0
1229.81/338.85	c inspects		: 0
1229.81/338.85	c shortcuts		: 0
1229.81/338.85	c learnt literals	: 0
1229.81/338.85	c learnt binary clauses	: 0
1229.81/338.85	c learnt ternary clauses	: 0
1229.81/338.85	c learnt constraints	: 0
1229.81/338.85	c ignored constraints	: 0
1229.81/338.85	c root simplifications	: 0
1229.81/338.85	c removed literals (reason simplification)	: 0
1229.81/338.85	c reason swapping (by a shorter reason)	: 0
1229.81/338.85	c Calls to reduceDB	: 0
1229.81/338.85	c Number of update (reduction) of LBD	: 0
1229.81/338.85	c Imported unit clauses	: 0
1229.81/338.85	c number of reductions to clauses (during analyze)	: 0
1229.81/338.85	c number of learned constraints concerned by reduction	: 0
1229.81/338.85	c number of learning phase by resolution	: 0
1229.81/338.85	c number of learning phase by cutting planes	: 0
1229.81/338.85	c number of rounding to 1 operations	: 0
1229.81/338.85	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
1229.81/338.85	c number of reductions of the coefficients by power 2 	: 0
1229.81/338.85	c number of right shift for reduction by power 2 	: 0
1229.81/338.85	c number of reductions of the coefficients by GCD over coefficients 	: 0
1229.81/338.85	c speed (assignments/second)	: 0.0
1229.81/338.85	c non guided choices	0
1229.81/338.85	c learnt constraints type 
1229.81/338.85	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-4244009-1502094251/watcher-4244009-1502094251 -o /tmp/evaluation-result-4244009-1502094251/solver-4244009-1502094251 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502041652-17605 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4244009-1502094251.xml 

pid=28643
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.65 2.29 2.03 2/203 28646
/proc/meminfo: memFree=24430148/32770624 swapFree=0/363060
[pid=28646] ppid=28643 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/28646/stat : 28646 (runsolver) D 28643 28646 12906 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 51335999 24240128 108 18446744073709551615 4194304 4338465 140733968305456 140733968303096 140190432449239 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 36782080 140733968314503 140733968314953 140733968314953 140733968318410 0
/proc/28646/statm: 5918 108 54 36 0 2156 0

[startup+0.100213 s]
/proc/loadavg: 2.65 2.29 2.03 2/203 28646
/proc/meminfo: memFree=24430148/32770624 swapFree=0/363060
[pid=28646] ppid=28643 vsize=8345500 CPUtime=0 cores=1,3,5,7
/proc/28646/stat : 28646 (java) S 28643 28646 12906 0 -1 1077944320 2024 0 0 0 0 0 0 0 20 0 2 0 51335999 8545792000 2209 18446744073709551615 4194304 4196468 140732198902656 140732198885200 140483072581367 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
/proc/28646/statm: 2086375 2209 1168 1 0 2076345 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8345500

[startup+0.202666 s]
/proc/loadavg: 2.65 2.29 2.03 2/203 28646
/proc/meminfo: memFree=24430148/32770624 swapFree=0/363060
[pid=28646] ppid=28643 vsize=10551156 CPUtime=0.07 cores=1,3,5,7
/proc/28646/stat : 28646 (java) S 28643 28646 12906 0 -1 1077944320 5065 0 0 0 6 1 0 0 20 0 15 0 51335999 10804383744 6609 18446744073709551615 4194304 4196468 140732198902656 140732198885200 140483072581367 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
/proc/28646/statm: 2637789 6609 2661 1 0 2627261 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10551156

[startup+0.30538 s]
/proc/loadavg: 2.65 2.29 2.03 2/203 28646
/proc/meminfo: memFree=24430148/32770624 swapFree=0/363060
[pid=28646] ppid=28643 vsize=10551156 CPUtime=0.24 cores=1,3,5,7
/proc/28646/stat : 28646 (java) S 28643 28646 12906 0 -1 1077944320 8352 0 0 0 21 3 0 0 20 0 15 0 51335999 10804383744 9048 18446744073709551615 4194304 4196468 140732198902656 140732198885200 140483072581367 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
/proc/28646/statm: 2637789 9048 2857 1 0 2627261 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 10551156

[startup+0.702074 s]
/proc/loadavg: 2.65 2.29 2.03 2/203 28646
/proc/meminfo: memFree=24430148/32770624 swapFree=0/363060
[pid=28646] ppid=28643 vsize=10551232 CPUtime=1.43 cores=1,3,5,7
/proc/28646/stat : 28646 (java) S 28643 28646 12906 0 -1 1077944320 12254 0 0 0 137 6 0 0 20 0 15 0 51335999 10804461568 42172 18446744073709551615 4194304 4196468 140732198902656 140732198885200 140483072581367 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
/proc/28646/statm: 2637808 42172 3067 1 0 2627261 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 10551232

[startup+1.50112 s]
/proc/loadavg: 2.65 2.29 2.03 4/218 28661
/proc/meminfo: memFree=24152516/32770624 swapFree=0/363088
[pid=28646] ppid=28643 vsize=10551232 CPUtime=3.51 cores=1,3,5,7
/proc/28646/stat : 28646 (java) S 28643 28646 12906 0 -1 1077944320 13355 0 0 0 312 39 0 0 20 0 15 0 51335999 10804461568 134354 18446744073709551615 4194304 4196468 140732198902656 140732198885200 140483072581367 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
/proc/28646/statm: 2637808 134354 3100 1 0 2627261 0
[pid=28646/tid=28648] ppid=28643 vsize=10551232 CPUtime=1.06 cores=1,3,5,7
/proc/28646/task/28648/stat : 28648 (java) S 28643 28646 12906 0 -1 1077944384 6960 0 0 0 100 6 0 0 20 0 15 0 51336009 10804461568 134354 18446744073709551615 4194304 4196468 140732198902656 140483076816992 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28649] ppid=28643 vsize=10551232 CPUtime=0.27 cores=1,3,5,7
/proc/28646/task/28649/stat : 28649 (java) R 28643 28646 12906 0 -1 4202560 189 0 0 0 20 7 0 0 20 0 15 0 51336009 10804461568 134354 18446744073709551615 4194304 4196468 140732198902656 140483013618064 140483057609241 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28650] ppid=28643 vsize=10551232 CPUtime=0.27 cores=1,3,5,7
/proc/28646/task/28650/stat : 28650 (java) R 28643 28646 12906 0 -1 4202560 218 0 0 0 20 7 0 0 20 0 15 0 51336009 10804461568 134354 18446744073709551615 4194304 4196468 140732198902656 140482682153432 140483057603488 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28651] ppid=28643 vsize=10551232 CPUtime=0.27 cores=1,3,5,7
/proc/28646/task/28651/stat : 28651 (java) R 28643 28646 12906 0 -1 4202560 205 0 0 0 20 7 0 0 20 0 15 0 51336009 10804461568 134354 18446744073709551615 4194304 4196468 140732198902656 140482681100832 140483065681067 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28652] ppid=28643 vsize=10551232 CPUtime=0.28 cores=1,3,5,7
/proc/28646/task/28652/stat : 28652 (java) R 28643 28646 12906 0 -1 4202560 207 0 0 0 20 8 0 0 20 0 15 0 51336009 10804461568 134354 18446744073709551615 4194304 4196468 140732198902656 140482680048144 140483057609241 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28653] ppid=28643 vsize=10551232 CPUtime=0 cores=1,3,5,7
/proc/28646/task/28653/stat : 28653 (java) S 28643 28646 12906 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 51336011 10804461568 134354 18446744073709551615 4194304 4196468 140732198902656 140482568778912 140483072591573 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28654] ppid=28643 vsize=10551232 CPUtime=0 cores=1,3,5,7
/proc/28646/task/28654/stat : 28654 (java) S 28643 28646 12906 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 51336011 10804461568 134354 18446744073709551615 4194304 4196468 140732198902656 140482567726432 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28655] ppid=28643 vsize=10551232 CPUtime=0 cores=1,3,5,7
/proc/28646/task/28655/stat : 28655 (java) S 28643 28646 12906 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 51336011 10804461568 134354 18446744073709551615 4194304 4196468 140732198902656 140482566674048 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28656] ppid=28643 vsize=10551232 CPUtime=0 cores=1,3,5,7
/proc/28646/task/28656/stat : 28656 (java) S 28643 28646 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51336014 10804461568 134354 18446744073709551615 4194304 4196468 140732198902656 140482565622352 140483072599963 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28657] ppid=28643 vsize=10551232 CPUtime=0.54 cores=1,3,5,7
/proc/28646/task/28657/stat : 28657 (java) S 28643 28646 12906 0 -1 1077944384 1614 0 0 0 54 0 0 0 20 0 15 0 51336014 10804461568 134354 18446744073709551615 4194304 4196468 140732198902656 140482564569200 140483072592514 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28658] ppid=28643 vsize=10551232 CPUtime=0.44 cores=1,3,5,7
/proc/28646/task/28658/stat : 28658 (java) S 28643 28646 12906 0 -1 1077944384 929 0 0 0 44 0 0 0 20 0 15 0 51336014 10804461568 134354 18446744073709551615 4194304 4196468 140732198902656 140482563516400 140483072592514 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28659] ppid=28643 vsize=10551232 CPUtime=0.3 cores=1,3,5,7
/proc/28646/task/28659/stat : 28659 (java) S 28643 28646 12906 0 -1 1077944384 1592 0 0 0 30 0 0 0 20 0 15 0 51336014 10804461568 134354 18446744073709551615 4194304 4196468 140732198902656 140482562464112 140483072592514 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28660] ppid=28643 vsize=10551232 CPUtime=0 cores=1,3,5,7
/proc/28646/task/28660/stat : 28660 (java) S 28643 28646 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51336014 10804461568 134354 18446744073709551615 4194304 4196468 140732198902656 140482561411552 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28661] ppid=28643 vsize=10551232 CPUtime=0 cores=1,3,5,7
/proc/28646/task/28661/stat : 28661 (java) R 28643 28646 12906 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51336017 10804461568 134354 18446744073709551615 4194304 4196468 140732198902656 140482560359344 140483072592514 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
Current children cumulated CPU time (s) 3.51
Current children cumulated vsize (KiB) 10551232

[startup+3.10071 s]
/proc/loadavg: 2.65 2.29 2.03 3/218 28661
/proc/meminfo: memFree=23856180/32770624 swapFree=0/363088
[pid=28646] ppid=28643 vsize=10551232 CPUtime=7.22 cores=1,3,5,7
/proc/28646/stat : 28646 (java) S 28643 28646 12906 0 -1 1077944320 15454 0 0 0 659 63 0 0 20 0 15 0 51335999 10804461568 197118 18446744073709551615 4194304 4196468 140732198902656 140732198885200 140483072581367 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
/proc/28646/statm: 2637808 197630 3116 1 0 2627261 0
[pid=28646/tid=28648] ppid=28643 vsize=10551232 CPUtime=1.68 cores=1,3,5,7
/proc/28646/task/28648/stat : 28648 (java) R 28643 28646 12906 0 -1 4202560 7280 0 0 0 161 7 0 0 20 0 15 0 51336009 10804461568 197630 18446744073709551615 4194304 4196468 140732198902656 140483076816816 140483054230446 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28649] ppid=28643 vsize=10551232 CPUtime=0.96 cores=1,3,5,7
/proc/28646/task/28649/stat : 28649 (java) S 28643 28646 12906 0 -1 1077944384 629 0 0 0 83 13 0 0 20 0 15 0 51336009 10804461568 197630 18446744073709551615 4194304 4196468 140732198902656 140483013618064 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28650] ppid=28643 vsize=10551232 CPUtime=0.95 cores=1,3,5,7
/proc/28646/task/28650/stat : 28650 (java) S 28643 28646 12906 0 -1 1077944384 442 0 0 0 83 12 0 0 20 0 15 0 51336009 10804461568 197630 18446744073709551615 4194304 4196468 140732198902656 140482682153232 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28651] ppid=28643 vsize=10551232 CPUtime=0.96 cores=1,3,5,7
/proc/28646/task/28651/stat : 28651 (java) S 28643 28646 12906 0 -1 1077944384 516 0 0 0 82 14 0 0 20 0 15 0 51336009 10804461568 197630 18446744073709551615 4194304 4196468 140732198902656 140482681100944 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28652] ppid=28643 vsize=10551232 CPUtime=0.96 cores=1,3,5,7
/proc/28646/task/28652/stat : 28652 (java) S 28643 28646 12906 0 -1 1077944384 553 0 0 0 83 13 0 0 20 0 15 0 51336009 10804461568 197630 18446744073709551615 4194304 4196468 140732198902656 140482680048144 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28653] ppid=28643 vsize=10551232 CPUtime=0.29 cores=1,3,5,7
/proc/28646/task/28653/stat : 28653 (java) S 28643 28646 12906 0 -1 1077944384 490 0 0 0 29 0 0 0 20 0 15 0 51336011 10804461568 197630 18446744073709551615 4194304 4196468 140732198902656 140482568780400 140483072592514 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28654] ppid=28643 vsize=10551232 CPUtime=0 cores=1,3,5,7
/proc/28646/task/28654/stat : 28654 (java) S 28643 28646 12906 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 51336011 10804461568 197630 18446744073709551615 4194304 4196468 140732198902656 140482567726432 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28655] ppid=28643 vsize=10551232 CPUtime=0 cores=1,3,5,7
/proc/28646/task/28655/stat : 28655 (java) S 28643 28646 12906 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 51336011 10804461568 197630 18446744073709551615 4194304 4196468 140732198902656 140482566674048 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28656] ppid=28643 vsize=10551232 CPUtime=0 cores=1,3,5,7
/proc/28646/task/28656/stat : 28656 (java) S 28643 28646 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51336014 10804461568 197630 18446744073709551615 4194304 4196468 140732198902656 140482565622352 140483072599963 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28657] ppid=28643 vsize=10551232 CPUtime=0.56 cores=1,3,5,7
/proc/28646/task/28657/stat : 28657 (java) S 28643 28646 12906 0 -1 1077944384 1620 0 0 0 56 0 0 0 20 0 15 0 51336014 10804461568 197630 18446744073709551615 4194304 4196468 140732198902656 140482564569200 140483072592514 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28658] ppid=28643 vsize=10551232 CPUtime=0.45 cores=1,3,5,7
/proc/28646/task/28658/stat : 28658 (java) S 28643 28646 12906 0 -1 1077944384 935 0 0 0 45 0 0 0 20 0 15 0 51336014 10804461568 197630 18446744073709551615 4194304 4196468 140732198902656 140482563516400 140483072592514 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28659] ppid=28643 vsize=10551232 CPUtime=0.33 cores=1,3,5,7
/proc/28646/task/28659/stat : 28659 (java) S 28643 28646 12906 0 -1 1077944384 1634 0 0 0 33 0 0 0 20 0 15 0 51336014 10804461568 197630 18446744073709551615 4194304 4196468 140732198902656 140482562464112 140483072592514 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28660] ppid=28643 vsize=10551232 CPUtime=0 cores=1,3,5,7
/proc/28646/task/28660/stat : 28660 (java) S 28643 28646 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51336014 10804461568 197630 18446744073709551615 4194304 4196468 140732198902656 140482561411552 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28661] ppid=28643 vsize=10551232 CPUtime=0 cores=1,3,5,7
/proc/28646/task/28661/stat : 28661 (java) S 28643 28646 12906 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51336017 10804461568 197630 18446744073709551615 4194304 4196468 140732198902656 140482560359344 140483072592514 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
Current children cumulated CPU time (s) 7.22
Current children cumulated vsize (KiB) 10551232

[startup+6.30074 s]
/proc/loadavg: 2.76 2.32 2.04 3/218 28661
/proc/meminfo: memFree=23258760/32770624 swapFree=0/363076
[pid=28646] ppid=28643 vsize=10551232 CPUtime=15.34 cores=1,3,5,7
/proc/28646/stat : 28646 (java) S 28643 28646 12906 0 -1 1077944320 22683 0 0 0 1404 130 0 0 20 0 15 0 51335999 10804461568 383909 18446744073709551615 4194304 4196468 140732198902656 140732198885200 140483072581367 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
/proc/28646/statm: 2637808 383909 3119 1 0 2627261 0
[pid=28646/tid=28648] ppid=28643 vsize=10551232 CPUtime=2.69 cores=1,3,5,7
/proc/28646/task/28648/stat : 28648 (java) R 28643 28646 12906 0 -1 4202560 9057 0 0 0 259 10 0 0 20 0 15 0 51336009 10804461568 383909 18446744073709551615 4194304 4196468 140732198902656 140483076816592 140482696661591 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28649] ppid=28643 vsize=10551232 CPUtime=2.57 cores=1,3,5,7
/proc/28646/task/28649/stat : 28649 (java) S 28643 28646 12906 0 -1 1077944384 992 0 0 0 229 28 0 0 20 0 15 0 51336009 10804461568 383909 18446744073709551615 4194304 4196468 140732198902656 140483013618064 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28650] ppid=28643 vsize=10551232 CPUtime=2.57 cores=1,3,5,7
/proc/28646/task/28650/stat : 28650 (java) S 28643 28646 12906 0 -1 1077944384 1227 0 0 0 229 28 0 0 20 0 15 0 51336009 10804461568 383909 18446744073709551615 4194304 4196468 140732198902656 140482682153232 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28651] ppid=28643 vsize=10551232 CPUtime=2.57 cores=1,3,5,7
/proc/28646/task/28651/stat : 28651 (java) S 28643 28646 12906 0 -1 1077944384 1042 0 0 0 227 30 0 0 20 0 15 0 51336009 10804461568 383909 18446744073709551615 4194304 4196468 140732198902656 140482681100944 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28652] ppid=28643 vsize=10551232 CPUtime=2.57 cores=1,3,5,7
/proc/28646/task/28652/stat : 28652 (java) S 28643 28646 12906 0 -1 1077944384 1176 0 0 0 228 29 0 0 20 0 15 0 51336009 10804461568 383909 18446744073709551615 4194304 4196468 140732198902656 140482680048144 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28653] ppid=28643 vsize=10551232 CPUtime=0.86 cores=1,3,5,7
/proc/28646/task/28653/stat : 28653 (java) S 28643 28646 12906 0 -1 1077944384 1959 0 0 0 86 0 0 0 20 0 15 0 51336011 10804461568 383909 18446744073709551615 4194304 4196468 140732198902656 140482568780400 140483072592514 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28654] ppid=28643 vsize=10551232 CPUtime=0 cores=1,3,5,7
/proc/28646/task/28654/stat : 28654 (java) S 28643 28646 12906 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 51336011 10804461568 383909 18446744073709551615 4194304 4196468 140732198902656 140482567726432 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28655] ppid=28643 vsize=10551232 CPUtime=0 cores=1,3,5,7
/proc/28646/task/28655/stat : 28655 (java) S 28643 28646 12906 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 51336011 10804461568 383909 18446744073709551615 4194304 4196468 140732198902656 140482566674048 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28656] ppid=28643 vsize=10551232 CPUtime=0 cores=1,3,5,7
/proc/28646/task/28656/stat : 28656 (java) S 28643 28646 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51336014 10804461568 383909 18446744073709551615 4194304 4196468 140732198902656 140482565622352 140483072599963 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28657] ppid=28643 vsize=10551232 CPUtime=0.59 cores=1,3,5,7
/proc/28646/task/28657/stat : 28657 (java) S 28643 28646 12906 0 -1 1077944384 2045 0 0 0 59 0 0 0 20 0 15 0 51336014 10804461568 383909 18446744073709551615 4194304 4196468 140732198902656 140482564569200 140483072592514 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28658] ppid=28643 vsize=10551232 CPUtime=0.48 cores=1,3,5,7
/proc/28646/task/28658/stat : 28658 (java) S 28643 28646 12906 0 -1 1077944384 1403 0 0 0 48 0 0 0 20 0 15 0 51336014 10804461568 383909 18446744073709551615 4194304 4196468 140732198902656 140482563516400 140483072592514 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28659] ppid=28643 vsize=10551232 CPUtime=0.35 cores=1,3,5,7
/proc/28646/task/28659/stat : 28659 (java) S 28643 28646 12906 0 -1 1077944384 2280 0 0 0 35 0 0 0 20 0 15 0 51336014 10804461568 383909 18446744073709551615 4194304 4196468 140732198902656 140482562464112 140483072592514 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28660] ppid=28643 vsize=10551232 CPUtime=0 cores=1,3,5,7
/proc/28646/task/28660/stat : 28660 (java) S 28643 28646 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51336014 10804461568 383909 18446744073709551615 4194304 4196468 140732198902656 140482561411552 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28661] ppid=28643 vsize=10551232 CPUtime=0 cores=1,3,5,7
/proc/28646/task/28661/stat : 28661 (java) S 28643 28646 12906 0 -1 1077944384 147 0 0 0 0 0 0 0 20 0 15 0 51336017 10804461568 383909 18446744073709551615 4194304 4196468 140732198902656 140482560359344 140483072592514 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
Current children cumulated CPU time (s) 15.34
Current children cumulated vsize (KiB) 10551232

[startup+12.7007 s]
/proc/loadavg: 2.94 2.36 2.06 3/218 28661
/proc/meminfo: memFree=21472856/32770624 swapFree=0/363080
[pid=28646] ppid=28643 vsize=10551232 CPUtime=35.89 cores=1,3,5,7
/proc/28646/stat : 28646 (java) S 28643 28646 12906 0 -1 1077944320 31513 0 0 0 3319 270 0 0 20 0 15 0 51335999 10804461568 740624 18446744073709551615 4194304 4196468 140732198902656 140732198885200 140483072581367 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
/proc/28646/statm: 2637808 740624 3119 1 0 2627261 0
[pid=28646/tid=28648] ppid=28643 vsize=10551232 CPUtime=3.71 cores=1,3,5,7
/proc/28646/task/28648/stat : 28648 (java) S 28643 28646 12906 0 -1 1077944384 9178 0 0 0 361 10 0 0 20 0 15 0 51336009 10804461568 740624 18446744073709551615 4194304 4196468 140732198902656 140483076816256 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28649] ppid=28643 vsize=10551232 CPUtime=7.32 cores=1,3,5,7
/proc/28646/task/28649/stat : 28649 (java) S 28643 28646 12906 0 -1 1077944384 2562 0 0 0 671 61 0 0 20 0 15 0 51336009 10804461568 740624 18446744073709551615 4194304 4196468 140732198902656 140483013618064 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28650] ppid=28643 vsize=10551232 CPUtime=7.26 cores=1,3,5,7
/proc/28646/task/28650/stat : 28650 (java) S 28643 28646 12906 0 -1 1077944384 2130 0 0 0 662 64 0 0 20 0 15 0 51336009 10804461568 740624 18446744073709551615 4194304 4196468 140732198902656 140482682153232 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28651] ppid=28643 vsize=10551232 CPUtime=7.32 cores=1,3,5,7
/proc/28646/task/28651/stat : 28651 (java) S 28643 28646 12906 0 -1 1077944384 3161 0 0 0 665 67 0 0 20 0 15 0 51336009 10804461568 740624 18446744073709551615 4194304 4196468 140732198902656 140482681100944 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28652] ppid=28643 vsize=10551232 CPUtime=7.26 cores=1,3,5,7
/proc/28646/task/28652/stat : 28652 (java) S 28643 28646 12906 0 -1 1077944384 2636 0 0 0 663 63 0 0 20 0 15 0 51336009 10804461568 740624 18446744073709551615 4194304 4196468 140732198902656 140482680048144 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28653] ppid=28643 vsize=10551232 CPUtime=1.48 cores=1,3,5,7
/proc/28646/task/28653/stat : 28653 (java) R 28643 28646 12906 0 -1 4202560 3577 0 0 0 148 0 0 0 20 0 15 0 51336011 10804461568 740624 18446744073709551615 4194304 4196468 140732198902656 140482568778832 140483057282048 0 0 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28654] ppid=28643 vsize=10551232 CPUtime=0 cores=1,3,5,7
/proc/28646/task/28654/stat : 28654 (java) S 28643 28646 12906 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 51336011 10804461568 740624 18446744073709551615 4194304 4196468 140732198902656 140482567726432 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28655] ppid=28643 vsize=10551232 CPUtime=0 cores=1,3,5,7
/proc/28646/task/28655/stat : 28655 (java) S 28643 28646 12906 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 51336011 10804461568 740624 18446744073709551615 4194304 4196468 140732198902656 140482566674048 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28656] ppid=28643 vsize=10551232 CPUtime=0 cores=1,3,5,7
/proc/28646/task/28656/stat : 28656 (java) S 28643 28646 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51336014 10804461568 740624 18446744073709551615 4194304 4196468 140732198902656 140482565622352 140483072599963 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0

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

/proc/28646/task/28648/stat : 28648 (java) S 28643 28646 12906 0 -1 1077944384 38106 0 0 0 1338 12 0 0 20 0 17 0 51336009 10943037440 2081161 18446744073709551615 4194304 4196468 140732198902656 140483076822048 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28649] ppid=28643 vsize=10686560 CPUtime=294.9 cores=1,3,5,7
/proc/28646/task/28649/stat : 28649 (java) R 28643 28646 12906 0 -1 4202560 160371 0 0 0 29293 197 0 0 20 0 17 0 51336009 10943037440 2081161 18446744073709551615 4194304 4196468 140732198902656 140483013617872 140483065209575 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28650] ppid=28643 vsize=10686560 CPUtime=295.73 cores=1,3,5,7
/proc/28646/task/28650/stat : 28650 (java) R 28643 28646 12906 0 -1 4202560 217586 0 0 0 29380 193 0 0 20 0 17 0 51336009 10943037440 2081161 18446744073709551615 4194304 4196468 140732198902656 140482682153432 140483065685004 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28651] ppid=28643 vsize=10686560 CPUtime=294.61 cores=1,3,5,7
/proc/28646/task/28651/stat : 28651 (java) R 28643 28646 12906 0 -1 4202560 335260 0 0 0 29257 204 0 0 20 0 17 0 51336009 10943037440 2081161 18446744073709551615 4194304 4196468 140732198902656 140482681101064 140483065209575 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28652] ppid=28643 vsize=10686560 CPUtime=294.46 cores=1,3,5,7
/proc/28646/task/28652/stat : 28652 (java) R 28643 28646 12906 0 -1 4202560 219557 0 0 0 29257 189 0 0 20 0 17 0 51336009 10943037440 2081161 18446744073709551615 4194304 4196468 140732198902656 140482680047952 140483065209575 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28653] ppid=28643 vsize=10686560 CPUtime=24.44 cores=1,3,5,7
/proc/28646/task/28653/stat : 28653 (java) S 28643 28646 12906 0 -1 1077944384 58712 0 0 0 2441 3 0 0 20 0 17 0 51336011 10943037440 2081161 18446744073709551615 4194304 4196468 140732198902656 140482568778944 140483072591573 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28654] ppid=28643 vsize=10686560 CPUtime=0 cores=1,3,5,7
/proc/28646/task/28654/stat : 28654 (java) S 28643 28646 12906 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 17 0 51336011 10943037440 2081161 18446744073709551615 4194304 4196468 140732198902656 140482567726432 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28655] ppid=28643 vsize=10686560 CPUtime=0 cores=1,3,5,7
/proc/28646/task/28655/stat : 28655 (java) S 28643 28646 12906 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 51336011 10943037440 2081161 18446744073709551615 4194304 4196468 140732198902656 140482566674048 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28656] ppid=28643 vsize=10686560 CPUtime=0 cores=1,3,5,7
/proc/28646/task/28656/stat : 28656 (java) S 28643 28646 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 51336014 10943037440 2081161 18446744073709551615 4194304 4196468 140732198902656 140482565622352 140483072599963 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28657] ppid=28643 vsize=10686560 CPUtime=0.81 cores=1,3,5,7
/proc/28646/task/28657/stat : 28657 (java) S 28643 28646 12906 0 -1 1077944384 5196 0 0 0 81 0 0 0 20 0 17 0 51336014 10943037440 2081161 18446744073709551615 4194304 4196468 140732198902656 140482564569248 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28658] ppid=28643 vsize=10686560 CPUtime=1.44 cores=1,3,5,7
/proc/28646/task/28658/stat : 28658 (java) S 28643 28646 12906 0 -1 1077944384 12491 0 0 0 142 2 0 0 20 0 17 0 51336014 10943037440 2081161 18446744073709551615 4194304 4196468 140732198902656 140482563516160 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28659] ppid=28643 vsize=10686560 CPUtime=0.42 cores=1,3,5,7
/proc/28646/task/28659/stat : 28659 (java) S 28643 28646 12906 0 -1 1077944384 5926 0 0 0 41 1 0 0 20 0 17 0 51336014 10943037440 2081161 18446744073709551615 4194304 4196468 140732198902656 140482562464160 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28660] ppid=28643 vsize=10686560 CPUtime=0 cores=1,3,5,7
/proc/28646/task/28660/stat : 28660 (java) S 28643 28646 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 51336014 10943037440 2081161 18446744073709551615 4194304 4196468 140732198902656 140482561411552 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28661] ppid=28643 vsize=10686560 CPUtime=0.25 cores=1,3,5,7
/proc/28646/task/28661/stat : 28661 (java) S 28643 28646 12906 0 -1 1077944384 409 0 0 0 16 9 0 0 20 0 17 0 51336017 10943037440 2081161 18446744073709551615 4194304 4196468 140732198902656 140482560359344 140483072592514 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28674] ppid=28643 vsize=10686560 CPUtime=0 cores=1,3,5,7
/proc/28646/task/28674/stat : 28674 (java) S 28643 28646 12906 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 17 0 51368055 10943037440 2081161 18446744073709551615 4194304 4196468 140732198902656 140482557206064 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28675] ppid=28643 vsize=10686560 CPUtime=0 cores=1,3,5,7
/proc/28646/task/28675/stat : 28675 (java) S 28643 28646 12906 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 51368055 10943037440 2081161 18446744073709551615 4194304 4196468 140732198902656 140482556154544 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
Current children cumulated CPU time (s) 1220.68
Current children cumulated vsize (KiB) 10686560

[startup+337.601 s]
/proc/loadavg: 5.18 4.07 2.87 6/216 28675
/proc/meminfo: memFree=15154396/32770624 swapFree=0/363204
[pid=28646] ppid=28643 vsize=10686560 CPUtime=1226.87 cores=1,3,5,7
/proc/28646/stat : 28646 (java) S 28643 28646 12906 0 -1 1077944320 1112697 0 0 0 121876 811 0 0 20 0 17 0 51335999 10943037440 2081161 18446744073709551615 4194304 4196468 140732198902656 140732198885200 140483072581367 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
/proc/28646/statm: 2671640 2081161 3168 1 0 2661055 0
[pid=28646/tid=28648] ppid=28643 vsize=10686560 CPUtime=13.5 cores=1,3,5,7
/proc/28646/task/28648/stat : 28648 (java) S 28643 28646 12906 0 -1 1077944384 38106 0 0 0 1338 12 0 0 20 0 17 0 51336009 10943037440 2081161 18446744073709551615 4194304 4196468 140732198902656 140483076822048 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28649] ppid=28643 vsize=10686560 CPUtime=296.45 cores=1,3,5,7
/proc/28646/task/28649/stat : 28649 (java) R 28643 28646 12906 0 -1 4202560 160371 0 0 0 29447 198 0 0 20 0 17 0 51336009 10943037440 2081161 18446744073709551615 4194304 4196468 140732198902656 140483013617872 140483065209575 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28650] ppid=28643 vsize=10686560 CPUtime=297.32 cores=1,3,5,7
/proc/28646/task/28650/stat : 28650 (java) R 28643 28646 12906 0 -1 4202560 275223 0 0 0 29537 195 0 0 20 0 17 0 51336009 10943037440 2081161 18446744073709551615 4194304 4196468 140732198902656 140482682153432 140483057038958 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28651] ppid=28643 vsize=10686560 CPUtime=296.14 cores=1,3,5,7
/proc/28646/task/28651/stat : 28651 (java) R 28643 28646 12906 0 -1 4202560 335260 0 0 0 29409 205 0 0 20 0 17 0 51336009 10943037440 2081161 18446744073709551615 4194304 4196468 140732198902656 140482681101064 140483065209575 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28652] ppid=28643 vsize=10686560 CPUtime=296.01 cores=1,3,5,7
/proc/28646/task/28652/stat : 28652 (java) R 28643 28646 12906 0 -1 4202560 219557 0 0 0 29411 190 0 0 20 0 17 0 51336009 10943037440 2081161 18446744073709551615 4194304 4196468 140732198902656 140482680047952 140483065209575 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28653] ppid=28643 vsize=10686560 CPUtime=24.44 cores=1,3,5,7
/proc/28646/task/28653/stat : 28653 (java) S 28643 28646 12906 0 -1 1077944384 58712 0 0 0 2441 3 0 0 20 0 17 0 51336011 10943037440 2081161 18446744073709551615 4194304 4196468 140732198902656 140482568778944 140483072591573 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28654] ppid=28643 vsize=10686560 CPUtime=0 cores=1,3,5,7
/proc/28646/task/28654/stat : 28654 (java) S 28643 28646 12906 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 17 0 51336011 10943037440 2081161 18446744073709551615 4194304 4196468 140732198902656 140482567726432 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28655] ppid=28643 vsize=10686560 CPUtime=0 cores=1,3,5,7
/proc/28646/task/28655/stat : 28655 (java) S 28643 28646 12906 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 51336011 10943037440 2081161 18446744073709551615 4194304 4196468 140732198902656 140482566674048 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28656] ppid=28643 vsize=10686560 CPUtime=0 cores=1,3,5,7
/proc/28646/task/28656/stat : 28656 (java) S 28643 28646 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 51336014 10943037440 2081161 18446744073709551615 4194304 4196468 140732198902656 140482565622352 140483072599963 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28657] ppid=28643 vsize=10686560 CPUtime=0.81 cores=1,3,5,7
/proc/28646/task/28657/stat : 28657 (java) S 28643 28646 12906 0 -1 1077944384 5196 0 0 0 81 0 0 0 20 0 17 0 51336014 10943037440 2081161 18446744073709551615 4194304 4196468 140732198902656 140482564569248 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28658] ppid=28643 vsize=10686560 CPUtime=1.44 cores=1,3,5,7
/proc/28646/task/28658/stat : 28658 (java) S 28643 28646 12906 0 -1 1077944384 12491 0 0 0 142 2 0 0 20 0 17 0 51336014 10943037440 2081161 18446744073709551615 4194304 4196468 140732198902656 140482563516160 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28659] ppid=28643 vsize=10686560 CPUtime=0.42 cores=1,3,5,7
/proc/28646/task/28659/stat : 28659 (java) S 28643 28646 12906 0 -1 1077944384 5926 0 0 0 41 1 0 0 20 0 17 0 51336014 10943037440 2081161 18446744073709551615 4194304 4196468 140732198902656 140482562464160 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28660] ppid=28643 vsize=10686560 CPUtime=0 cores=1,3,5,7
/proc/28646/task/28660/stat : 28660 (java) S 28643 28646 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 51336014 10943037440 2081161 18446744073709551615 4194304 4196468 140732198902656 140482561411552 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28661] ppid=28643 vsize=10686560 CPUtime=0.25 cores=1,3,5,7
/proc/28646/task/28661/stat : 28661 (java) S 28643 28646 12906 0 -1 1077944384 409 0 0 0 16 9 0 0 20 0 17 0 51336017 10943037440 2081161 18446744073709551615 4194304 4196468 140732198902656 140482560359344 140483072592514 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28674] ppid=28643 vsize=10686560 CPUtime=0 cores=1,3,5,7
/proc/28646/task/28674/stat : 28674 (java) S 28643 28646 12906 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 17 0 51368055 10943037440 2081161 18446744073709551615 4194304 4196468 140732198902656 140482557206064 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28675] ppid=28643 vsize=10686560 CPUtime=0 cores=1,3,5,7
/proc/28646/task/28675/stat : 28675 (java) S 28643 28646 12906 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 51368055 10943037440 2081161 18446744073709551615 4194304 4196468 140732198902656 140482556154544 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
Current children cumulated CPU time (s) 1226.87
Current children cumulated vsize (KiB) 10686560

[startup+338.401 s]
/proc/loadavg: 5.18 4.07 2.87 6/216 28675
/proc/meminfo: memFree=15154396/32770624 swapFree=0/363208
[pid=28646] ppid=28643 vsize=10686560 CPUtime=1229.4 cores=1,3,5,7
/proc/28646/stat : 28646 (java) S 28643 28646 12906 0 -1 1077944320 1112781 0 0 0 122128 812 0 0 20 0 17 0 51335999 10943037440 2081167 18446744073709551615 4194304 4196468 140732198902656 140732198885200 140483072581367 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
/proc/28646/statm: 2671640 2081167 3168 1 0 2661055 0
[pid=28646/tid=28648] ppid=28643 vsize=10686560 CPUtime=13.5 cores=1,3,5,7
/proc/28646/task/28648/stat : 28648 (java) S 28643 28646 12906 0 -1 1077944384 38106 0 0 0 1338 12 0 0 20 0 17 0 51336009 10943037440 2081167 18446744073709551615 4194304 4196468 140732198902656 140483076822048 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28649] ppid=28643 vsize=10686560 CPUtime=297.02 cores=1,3,5,7
/proc/28646/task/28649/stat : 28649 (java) S 28643 28646 12906 0 -1 1077944384 160371 0 0 0 29504 198 0 0 20 0 17 0 51336009 10943037440 2081167 18446744073709551615 4194304 4196468 140732198902656 140483013618064 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28650] ppid=28643 vsize=10686560 CPUtime=297.92 cores=1,3,5,7
/proc/28646/task/28650/stat : 28650 (java) S 28643 28646 12906 0 -1 1077944384 275223 0 0 0 29597 195 0 0 20 0 17 0 51336009 10943037440 2081167 18446744073709551615 4194304 4196468 140732198902656 140482682153232 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28651] ppid=28643 vsize=10686560 CPUtime=296.71 cores=1,3,5,7
/proc/28646/task/28651/stat : 28651 (java) S 28643 28646 12906 0 -1 1077944384 335260 0 0 0 29466 205 0 0 20 0 17 0 51336009 10943037440 2081167 18446744073709551615 4194304 4196468 140732198902656 140482681100944 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28652] ppid=28643 vsize=10686560 CPUtime=296.59 cores=1,3,5,7
/proc/28646/task/28652/stat : 28652 (java) S 28643 28646 12906 0 -1 1077944384 219557 0 0 0 29469 190 0 0 20 0 17 0 51336009 10943037440 2081167 18446744073709551615 4194304 4196468 140732198902656 140482680048144 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28653] ppid=28643 vsize=10686560 CPUtime=24.63 cores=1,3,5,7
/proc/28646/task/28653/stat : 28653 (java) R 28643 28646 12906 0 -1 4202560 58796 0 0 0 2460 3 0 0 20 0 17 0 51336011 10943037440 2081167 18446744073709551615 4194304 4196468 140732198902656 140482568778944 140483057577768 0 0 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28654] ppid=28643 vsize=10686560 CPUtime=0 cores=1,3,5,7
/proc/28646/task/28654/stat : 28654 (java) S 28643 28646 12906 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 17 0 51336011 10943037440 2081167 18446744073709551615 4194304 4196468 140732198902656 140482567726432 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28655] ppid=28643 vsize=10686560 CPUtime=0 cores=1,3,5,7
/proc/28646/task/28655/stat : 28655 (java) S 28643 28646 12906 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 51336011 10943037440 2081167 18446744073709551615 4194304 4196468 140732198902656 140482566674048 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28656] ppid=28643 vsize=10686560 CPUtime=0 cores=1,3,5,7
/proc/28646/task/28656/stat : 28656 (java) S 28643 28646 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 51336014 10943037440 2081167 18446744073709551615 4194304 4196468 140732198902656 140482565622352 140483072599963 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28657] ppid=28643 vsize=10686560 CPUtime=0.81 cores=1,3,5,7
/proc/28646/task/28657/stat : 28657 (java) S 28643 28646 12906 0 -1 1077944384 5196 0 0 0 81 0 0 0 20 0 17 0 51336014 10943037440 2081167 18446744073709551615 4194304 4196468 140732198902656 140482564569248 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28658] ppid=28643 vsize=10686560 CPUtime=1.44 cores=1,3,5,7
/proc/28646/task/28658/stat : 28658 (java) S 28643 28646 12906 0 -1 1077944384 12491 0 0 0 142 2 0 0 20 0 17 0 51336014 10943037440 2081167 18446744073709551615 4194304 4196468 140732198902656 140482563516160 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28659] ppid=28643 vsize=10686560 CPUtime=0.42 cores=1,3,5,7
/proc/28646/task/28659/stat : 28659 (java) S 28643 28646 12906 0 -1 1077944384 5926 0 0 0 41 1 0 0 20 0 17 0 51336014 10943037440 2081167 18446744073709551615 4194304 4196468 140732198902656 140482562464160 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28660] ppid=28643 vsize=10686560 CPUtime=0 cores=1,3,5,7
/proc/28646/task/28660/stat : 28660 (java) S 28643 28646 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 51336014 10943037440 2081167 18446744073709551615 4194304 4196468 140732198902656 140482561411552 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28661] ppid=28643 vsize=10686560 CPUtime=0.25 cores=1,3,5,7
/proc/28646/task/28661/stat : 28661 (java) S 28643 28646 12906 0 -1 1077944384 409 0 0 0 16 9 0 0 20 0 17 0 51336017 10943037440 2081167 18446744073709551615 4194304 4196468 140732198902656 140482560359344 140483072592514 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28674] ppid=28643 vsize=10686560 CPUtime=0 cores=1,3,5,7
/proc/28646/task/28674/stat : 28674 (java) S 28643 28646 12906 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 17 0 51368055 10943037440 2081167 18446744073709551615 4194304 4196468 140732198902656 140482557206064 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28675] ppid=28643 vsize=10686560 CPUtime=0 cores=1,3,5,7
/proc/28646/task/28675/stat : 28675 (java) S 28643 28646 12906 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 51368055 10943037440 2081167 18446744073709551615 4194304 4196468 140732198902656 140482556154544 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
Current children cumulated CPU time (s) 1229.4
Current children cumulated vsize (KiB) 10686560

[startup+338.801 s]
/proc/loadavg: 5.17 4.09 2.89 3/216 28675
/proc/meminfo: memFree=15154396/32770624 swapFree=0/363208
[pid=28646] ppid=28643 vsize=10686560 CPUtime=1229.81 cores=1,3,5,7
/proc/28646/stat : 28646 (java) S 28643 28646 12906 0 -1 1077944320 1112781 0 0 0 122169 812 0 0 20 0 17 0 51335999 10943037440 2081167 18446744073709551615 4194304 4196468 140732198902656 140732198885200 140483072581367 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
/proc/28646/statm: 2671640 2081167 3168 1 0 2661055 0
[pid=28646/tid=28648] ppid=28643 vsize=10686560 CPUtime=13.5 cores=1,3,5,7
/proc/28646/task/28648/stat : 28648 (java) S 28643 28646 12906 0 -1 1077944384 38106 0 0 0 1338 12 0 0 20 0 17 0 51336009 10943037440 2081167 18446744073709551615 4194304 4196468 140732198902656 140483076822048 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28649] ppid=28643 vsize=10686560 CPUtime=297.02 cores=1,3,5,7
/proc/28646/task/28649/stat : 28649 (java) S 28643 28646 12906 0 -1 1077944384 160371 0 0 0 29504 198 0 0 20 0 17 0 51336009 10943037440 2081167 18446744073709551615 4194304 4196468 140732198902656 140483013618064 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28650] ppid=28643 vsize=10686560 CPUtime=297.92 cores=1,3,5,7
/proc/28646/task/28650/stat : 28650 (java) S 28643 28646 12906 0 -1 1077944384 275223 0 0 0 29597 195 0 0 20 0 17 0 51336009 10943037440 2081167 18446744073709551615 4194304 4196468 140732198902656 140482682153232 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28651] ppid=28643 vsize=10686560 CPUtime=296.71 cores=1,3,5,7
/proc/28646/task/28651/stat : 28651 (java) S 28643 28646 12906 0 -1 1077944384 335260 0 0 0 29466 205 0 0 20 0 17 0 51336009 10943037440 2081167 18446744073709551615 4194304 4196468 140732198902656 140482681100944 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28652] ppid=28643 vsize=10686560 CPUtime=296.59 cores=1,3,5,7
/proc/28646/task/28652/stat : 28652 (java) S 28643 28646 12906 0 -1 1077944384 219557 0 0 0 29469 190 0 0 20 0 17 0 51336009 10943037440 2081167 18446744073709551615 4194304 4196468 140732198902656 140482680048144 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28653] ppid=28643 vsize=10686560 CPUtime=25.04 cores=1,3,5,7
/proc/28646/task/28653/stat : 28653 (java) R 28643 28646 12906 0 -1 4202560 58796 0 0 0 2501 3 0 0 20 0 17 0 51336011 10943037440 2081167 18446744073709551615 4194304 4196468 140732198902656 140482568778944 140483057038958 0 0 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28654] ppid=28643 vsize=10686560 CPUtime=0 cores=1,3,5,7
/proc/28646/task/28654/stat : 28654 (java) S 28643 28646 12906 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 17 0 51336011 10943037440 2081167 18446744073709551615 4194304 4196468 140732198902656 140482567726432 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28655] ppid=28643 vsize=10686560 CPUtime=0 cores=1,3,5,7
/proc/28646/task/28655/stat : 28655 (java) S 28643 28646 12906 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 51336011 10943037440 2081167 18446744073709551615 4194304 4196468 140732198902656 140482566674048 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28656] ppid=28643 vsize=10686560 CPUtime=0 cores=1,3,5,7
/proc/28646/task/28656/stat : 28656 (java) S 28643 28646 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 51336014 10943037440 2081167 18446744073709551615 4194304 4196468 140732198902656 140482565622352 140483072599963 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28657] ppid=28643 vsize=10686560 CPUtime=0.81 cores=1,3,5,7
/proc/28646/task/28657/stat : 28657 (java) S 28643 28646 12906 0 -1 1077944384 5196 0 0 0 81 0 0 0 20 0 17 0 51336014 10943037440 2081167 18446744073709551615 4194304 4196468 140732198902656 140482564569248 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28658] ppid=28643 vsize=10686560 CPUtime=1.44 cores=1,3,5,7
/proc/28646/task/28658/stat : 28658 (java) S 28643 28646 12906 0 -1 1077944384 12491 0 0 0 142 2 0 0 20 0 17 0 51336014 10943037440 2081167 18446744073709551615 4194304 4196468 140732198902656 140482563516160 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28659] ppid=28643 vsize=10686560 CPUtime=0.42 cores=1,3,5,7
/proc/28646/task/28659/stat : 28659 (java) S 28643 28646 12906 0 -1 1077944384 5926 0 0 0 41 1 0 0 20 0 17 0 51336014 10943037440 2081167 18446744073709551615 4194304 4196468 140732198902656 140482562464160 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28660] ppid=28643 vsize=10686560 CPUtime=0 cores=1,3,5,7
/proc/28646/task/28660/stat : 28660 (java) S 28643 28646 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 51336014 10943037440 2081167 18446744073709551615 4194304 4196468 140732198902656 140482561411552 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28661] ppid=28643 vsize=10686560 CPUtime=0.25 cores=1,3,5,7
/proc/28646/task/28661/stat : 28661 (java) S 28643 28646 12906 0 -1 1077944384 409 0 0 0 16 9 0 0 20 0 17 0 51336017 10943037440 2081167 18446744073709551615 4194304 4196468 140732198902656 140482560359344 140483072592514 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28674] ppid=28643 vsize=10686560 CPUtime=0 cores=1,3,5,7
/proc/28646/task/28674/stat : 28674 (java) S 28643 28646 12906 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 17 0 51368055 10943037440 2081167 18446744073709551615 4194304 4196468 140732198902656 140482557206064 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
[pid=28646/tid=28675] ppid=28643 vsize=10686560 CPUtime=0 cores=1,3,5,7
/proc/28646/task/28675/stat : 28675 (java) S 28643 28646 12906 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 51368055 10943037440 2081167 18446744073709551615 4194304 4196468 140732198902656 140482556154544 140483072591573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37658624 140732198908341 140732198908494 140732198908494 140732198911951 0
Current children cumulated CPU time (s) 1229.81
Current children cumulated vsize (KiB) 10686560

[startup+338.907 s]
/proc/loadavg: 5.17 4.09 2.89 3/216 28675
/proc/meminfo: memFree=15154396/32770624 swapFree=0/363208
[pid=28646] ppid=28643 vsize=0 CPUtime=1229.91 cores=1,3,5,7
/proc/28646/stat : 28646 (java) Z 28643 28646 12906 0 -1 4227084 1112829 0 0 0 122174 817 0 0 20 0 2 0 51335999 0 0 18446744073709551615 0 0 0 0 0 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 0 0 0 0 0 0 0 0
/proc/28646/statm: 0 0 0 0 0 0 0
[pid=28646/tid=28658] ppid=28643 vsize=0 CPUtime=1.49 cores=1,3,5,7
/proc/28646/task/28658/stat : 28658 (java) R 28643 28646 12906 0 -1 4203588 12491 0 0 0 142 7 0 0 20 0 2 0 51336014 0 0 18446744073709551615 0 0 0 0 0 0 4 1 16800974 18446744073709551615 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1229.91
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 338.919
CPU time (s): 1229.93
CPU user time (s): 1221.75
CPU system time (s): 8.18582
CPU usage (%): 362.899
Max. virtual memory (cumulated for all children) (KiB): 10686560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1221.75
system time used= 8.18582
maximum resident set size= 8324948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1112829
page faults= 0
swaps= 0
block input operations= 0
block output operations= 504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19669
involuntary context switches= 12067

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.65667 second user time and 2.2501 second system time

The end

Launcher Data

Begin job on node135 at 2017-08-07 10:10:13
IDJOB=4244009
IDBENCH=140566
IDSOLVER=2623
FILE ID=node135/4244009-1502094251
RUNJOBID= node135-1502041652-17605
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= sat4j-CSP 2017-07-05
BENCH NAME= XCSP17/Ramsey/Ramsey-int-s1/Ramsey-int-21.xml
COMMAND LINE= java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4244009-1502094251/watcher-4244009-1502094251 -o /tmp/evaluation-result-4244009-1502094251/solver-4244009-1502094251 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502041652-17605 --watchdog 2560  java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4244009-1502094251.xml

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

MD5SUM BENCH= 25b27bae3543dabdafa06e8069fa9092
RANDOM SEED=561659829

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.21
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.21
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.21
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.21
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        24430480 kB
MemAvailable:   24876688 kB
Buffers:          222844 kB
Cached:           511660 kB
SwapCached:            0 kB
Active:          7507832 kB
Inactive:         388032 kB
Active(anon):    7161600 kB
Inactive(anon):    24972 kB
Active(file):     346232 kB
Inactive(file):   363060 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              1788 kB
Writeback:             4 kB
AnonPages:       7161100 kB
Mapped:            52576 kB
Shmem:             25344 kB
Slab:             132252 kB
SReclaimable:     105504 kB
SUnreclaim:        26748 kB
KernelStack:        3568 kB
PageTables:        19020 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    8625096 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7004160 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= 62028 MiB
End job on node135 at 2017-08-07 10:15:52