Trace number 4244008

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? 1340.16 367.435

General information on the benchmark

NameRamsey/Ramsey-int-s1/
Ramsey-int-24.xml
MD5SUM22300454f2969805ad1ca4690e3d792c
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.04
Satisfiable
(Un)Satisfiability was proved
Number of variables576
Number of constraints2024
Number of domains1
Minimum domain size276
Maximum domain size276
Distribution of domain sizes[{"size":276,"count":276}]
Minimum variable degree0
Maximum variable degree23
Distribution of variable degrees[{"degree":0,"count":300},{"degree":23,"count":276}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":2024}]
Number of extensional constraints0
Number of intensional constraints2024
Distribution of constraint types[{"type":"intension","count":2024}]
Optimization problemYES
Type of objectivemin MAXIMUM

Solver Data

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

pid=28732
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: 5.17 4.09 2.89 2/199 28735
/proc/meminfo: memFree=23485164/32770624 swapFree=0/363200
[pid=28735] ppid=28732 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/28735/stat : 28735 (runsolver) D 28732 28735 12906 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 51370007 24240128 108 18446744073709551615 4194304 4338465 140728562691520 140728562689160 140144044696279 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 36130816 140728562700423 140728562700873 140728562700873 140728562704330 0
/proc/28735/statm: 5918 108 54 36 0 2156 0

[startup+0.100155 s]
/proc/loadavg: 5.17 4.09 2.89 2/199 28735
/proc/meminfo: memFree=23485164/32770624 swapFree=0/363200
[pid=28735] ppid=28732 vsize=10151672 CPUtime=0.04 cores=1,3,5,7
/proc/28735/stat : 28735 (java) S 28732 28735 12906 0 -1 1077944320 4181 0 0 0 3 1 0 0 20 0 9 0 51370007 10395312128 5311 18446744073709551615 4194304 4196468 140731272996656 140731272979200 140556710563575 0 0 1 16800970 18446744073709551615 0 0 17 1 0 0 4 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
/proc/28735/statm: 2537918 5311 2156 1 0 2527415 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10151672

[startup+0.200495 s]
/proc/loadavg: 5.17 4.09 2.89 2/199 28735
/proc/meminfo: memFree=23485164/32770624 swapFree=0/363200
[pid=28735] ppid=28732 vsize=10552180 CPUtime=0.1 cores=1,3,5,7
/proc/28735/stat : 28735 (java) S 28732 28735 12906 0 -1 1077944320 5289 0 0 0 9 1 0 0 20 0 15 0 51370007 10805432320 6826 18446744073709551615 4194304 4196468 140731272996656 140731272979200 140556710563575 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 4 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
/proc/28735/statm: 2638045 6826 2795 1 0 2627517 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10552180

[startup+0.302283 s]
/proc/loadavg: 5.17 4.09 2.89 2/199 28735
/proc/meminfo: memFree=23485164/32770624 swapFree=0/363200
[pid=28735] ppid=28732 vsize=10551156 CPUtime=0.25 cores=1,3,5,7
/proc/28735/stat : 28735 (java) S 28732 28735 12906 0 -1 1077944320 8514 0 0 0 22 3 0 0 20 0 15 0 51370007 10804383744 9248 18446744073709551615 4194304 4196468 140731272996656 140731272979200 140556710563575 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 4 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
/proc/28735/statm: 2637789 9248 2881 1 0 2627261 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 10551156

[startup+0.700194 s]
/proc/loadavg: 5.17 4.09 2.89 2/199 28735
/proc/meminfo: memFree=23485164/32770624 swapFree=0/363200
[pid=28735] ppid=28732 vsize=10551232 CPUtime=1.51 cores=1,3,5,7
/proc/28735/stat : 28735 (java) S 28732 28735 12906 0 -1 1077944320 13185 0 0 0 143 8 0 0 20 0 15 0 51370007 10804461568 47422 18446744073709551615 4194304 4196468 140731272996656 140731272979200 140556710563575 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 4 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
/proc/28735/statm: 2637808 47422 3080 1 0 2627261 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 10551232

[startup+1.50067 s]
/proc/loadavg: 5.17 4.09 2.89 3/214 28750
/proc/meminfo: memFree=23196016/32770624 swapFree=0/363228
[pid=28735] ppid=28732 vsize=10551232 CPUtime=3.47 cores=1,3,5,7
/proc/28735/stat : 28735 (java) S 28732 28735 12906 0 -1 1077944320 14314 0 0 0 314 33 0 0 20 0 15 0 51370007 10804461568 126998 18446744073709551615 4194304 4196468 140731272996656 140731272979200 140556710563575 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 4 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
/proc/28735/statm: 2637808 126998 3094 1 0 2627261 0
[pid=28735/tid=28737] ppid=28732 vsize=10551232 CPUtime=1.11 cores=1,3,5,7
/proc/28735/task/28737/stat : 28737 (java) R 28732 28735 12906 0 -1 4202560 7621 0 0 0 104 7 0 0 20 0 15 0 51370012 10804461568 126998 18446744073709551615 4194304 4196468 140731272996656 140556714799136 140556315248579 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28738] ppid=28732 vsize=10551232 CPUtime=0.23 cores=1,3,5,7
/proc/28735/task/28738/stat : 28738 (java) S 28732 28735 12906 0 -1 1077944384 192 0 0 0 17 6 0 0 20 0 15 0 51370013 10804461568 126998 18446744073709551615 4194304 4196468 140731272996656 140556640983312 140556710573781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28739] ppid=28732 vsize=10551232 CPUtime=0.24 cores=1,3,5,7
/proc/28735/task/28739/stat : 28739 (java) S 28732 28735 12906 0 -1 1077944384 125 0 0 0 18 6 0 0 20 0 15 0 51370013 10804461568 126998 18446744073709551615 4194304 4196468 140731272996656 140556639930768 140556710573781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28740] ppid=28732 vsize=10551232 CPUtime=0.25 cores=1,3,5,7
/proc/28735/task/28740/stat : 28740 (java) S 28732 28735 12906 0 -1 1077944384 218 0 0 0 19 6 0 0 20 0 15 0 51370013 10804461568 126998 18446744073709551615 4194304 4196468 140731272996656 140556638878224 140556710573781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28741] ppid=28732 vsize=10551232 CPUtime=0.24 cores=1,3,5,7
/proc/28735/task/28741/stat : 28741 (java) S 28732 28735 12906 0 -1 1077944384 205 0 0 0 18 6 0 0 20 0 15 0 51370013 10804461568 126998 18446744073709551615 4194304 4196468 140731272996656 140556637825680 140556710573781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28742] ppid=28732 vsize=10551232 CPUtime=0 cores=1,3,5,7
/proc/28735/task/28742/stat : 28742 (java) S 28732 28735 12906 0 -1 1077944384 208 0 0 0 0 0 0 0 20 0 15 0 51370015 10804461568 126998 18446744073709551615 4194304 4196468 140731272996656 140555749124592 140556710574722 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28743] ppid=28732 vsize=10551232 CPUtime=0 cores=1,3,5,7
/proc/28735/task/28743/stat : 28743 (java) S 28732 28735 12906 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 51370015 10804461568 126998 18446744073709551615 4194304 4196468 140731272996656 140555748070880 140556710573781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28744] ppid=28732 vsize=10551232 CPUtime=0 cores=1,3,5,7
/proc/28735/task/28744/stat : 28744 (java) S 28732 28735 12906 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 51370015 10804461568 126998 18446744073709551615 4194304 4196468 140731272996656 140555747018240 140556710573781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28745] ppid=28732 vsize=10551232 CPUtime=0 cores=1,3,5,7
/proc/28735/task/28745/stat : 28745 (java) S 28732 28735 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51370018 10804461568 126998 18446744073709551615 4194304 4196468 140731272996656 140555745966800 140556710582171 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28746] ppid=28732 vsize=10551232 CPUtime=0.51 cores=1,3,5,7
/proc/28735/task/28746/stat : 28746 (java) S 28732 28735 12906 0 -1 1077944384 1537 0 0 0 51 0 0 0 20 0 15 0 51370018 10804461568 126998 18446744073709551615 4194304 4196468 140731272996656 140555744913392 140556710574722 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28747] ppid=28732 vsize=10551232 CPUtime=0.5 cores=1,3,5,7
/proc/28735/task/28747/stat : 28747 (java) S 28732 28735 12906 0 -1 1077944384 1203 0 0 0 50 0 0 0 20 0 15 0 51370018 10804461568 126998 18446744073709551615 4194304 4196468 140731272996656 140555743860848 140556710574722 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28748] ppid=28732 vsize=10551232 CPUtime=0.31 cores=1,3,5,7
/proc/28735/task/28748/stat : 28748 (java) S 28732 28735 12906 0 -1 1077944384 1650 0 0 0 31 0 0 0 20 0 15 0 51370018 10804461568 126998 18446744073709551615 4194304 4196468 140731272996656 140555742808304 140556710574722 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28749] ppid=28732 vsize=10551232 CPUtime=0 cores=1,3,5,7
/proc/28735/task/28749/stat : 28749 (java) S 28732 28735 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51370018 10804461568 126998 18446744073709551615 4194304 4196468 140731272996656 140555741756000 140556710573781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28750] ppid=28732 vsize=10551232 CPUtime=0 cores=1,3,5,7
/proc/28735/task/28750/stat : 28750 (java) S 28732 28735 12906 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51370024 10804461568 126998 18446744073709551615 4194304 4196468 140731272996656 140555740703536 140556710574722 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
Current children cumulated CPU time (s) 3.47
Current children cumulated vsize (KiB) 10551232

[startup+3.10069 s]
/proc/loadavg: 5.17 4.09 2.89 6/214 28750
/proc/meminfo: memFree=22780340/32770624 swapFree=0/363228
[pid=28735] ppid=28732 vsize=10551232 CPUtime=7.73 cores=1,3,5,7
/proc/28735/stat : 28735 (java) S 28732 28735 12906 0 -1 1077944320 16518 0 0 0 718 55 0 0 20 0 15 0 51370007 10804461568 179061 18446744073709551615 4194304 4196468 140731272996656 140731272979200 140556710563575 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 4 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
/proc/28735/statm: 2637808 179061 3114 1 0 2627261 0
[pid=28735/tid=28737] ppid=28732 vsize=10551232 CPUtime=1.43 cores=1,3,5,7
/proc/28735/task/28737/stat : 28737 (java) R 28732 28735 12906 0 -1 4202560 7694 0 0 0 136 7 0 0 20 0 15 0 51370012 10804461568 179061 18446744073709551615 4194304 4196468 140731272996656 140556714799384 140556315248765 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28738] ppid=28732 vsize=10551232 CPUtime=1.1 cores=1,3,5,7
/proc/28735/task/28738/stat : 28738 (java) S 28732 28735 12906 0 -1 1077944384 510 0 0 0 99 11 0 0 20 0 15 0 51370013 10804461568 179061 18446744073709551615 4194304 4196468 140731272996656 140556640983312 140556710573781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28739] ppid=28732 vsize=10551232 CPUtime=1.12 cores=1,3,5,7
/proc/28735/task/28739/stat : 28739 (java) S 28732 28735 12906 0 -1 1077944384 456 0 0 0 101 11 0 0 20 0 15 0 51370013 10804461568 179061 18446744073709551615 4194304 4196468 140731272996656 140556639930768 140556710573781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28740] ppid=28732 vsize=10551232 CPUtime=1.13 cores=1,3,5,7
/proc/28735/task/28740/stat : 28740 (java) S 28732 28735 12906 0 -1 1077944384 788 0 0 0 102 11 0 0 20 0 15 0 51370013 10804461568 179061 18446744073709551615 4194304 4196468 140731272996656 140556638878224 140556710573781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28741] ppid=28732 vsize=10551232 CPUtime=1.12 cores=1,3,5,7
/proc/28735/task/28741/stat : 28741 (java) S 28732 28735 12906 0 -1 1077944384 676 0 0 0 101 11 0 0 20 0 15 0 51370013 10804461568 179061 18446744073709551615 4194304 4196468 140731272996656 140556637825680 140556710573781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28742] ppid=28732 vsize=10551232 CPUtime=0.4 cores=1,3,5,7
/proc/28735/task/28742/stat : 28742 (java) S 28732 28735 12906 0 -1 1077944384 626 0 0 0 40 0 0 0 20 0 15 0 51370015 10804461568 179061 18446744073709551615 4194304 4196468 140731272996656 140555749124592 140556710574722 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28743] ppid=28732 vsize=10551232 CPUtime=0 cores=1,3,5,7
/proc/28735/task/28743/stat : 28743 (java) S 28732 28735 12906 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 51370015 10804461568 179061 18446744073709551615 4194304 4196468 140731272996656 140555748070880 140556710573781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28744] ppid=28732 vsize=10551232 CPUtime=0 cores=1,3,5,7
/proc/28735/task/28744/stat : 28744 (java) S 28732 28735 12906 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 51370015 10804461568 179061 18446744073709551615 4194304 4196468 140731272996656 140555747018240 140556710573781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28745] ppid=28732 vsize=10551232 CPUtime=0 cores=1,3,5,7
/proc/28735/task/28745/stat : 28745 (java) S 28732 28735 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51370018 10804461568 179061 18446744073709551615 4194304 4196468 140731272996656 140555745966800 140556710582171 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28746] ppid=28732 vsize=10551232 CPUtime=0.53 cores=1,3,5,7
/proc/28735/task/28746/stat : 28746 (java) S 28732 28735 12906 0 -1 1077944384 1543 0 0 0 53 0 0 0 20 0 15 0 51370018 10804461568 179061 18446744073709551615 4194304 4196468 140731272996656 140555744913392 140556710574722 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28747] ppid=28732 vsize=10551232 CPUtime=0.5 cores=1,3,5,7
/proc/28735/task/28747/stat : 28747 (java) S 28732 28735 12906 0 -1 1077944384 1205 0 0 0 50 0 0 0 20 0 15 0 51370018 10804461568 179061 18446744073709551615 4194304 4196468 140731272996656 140555743860848 140556710574722 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28748] ppid=28732 vsize=10551232 CPUtime=0.32 cores=1,3,5,7
/proc/28735/task/28748/stat : 28748 (java) S 28732 28735 12906 0 -1 1077944384 1665 0 0 0 32 0 0 0 20 0 15 0 51370018 10804461568 179061 18446744073709551615 4194304 4196468 140731272996656 140555742808304 140556710574722 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28749] ppid=28732 vsize=10551232 CPUtime=0 cores=1,3,5,7
/proc/28735/task/28749/stat : 28749 (java) S 28732 28735 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51370018 10804461568 179061 18446744073709551615 4194304 4196468 140731272996656 140555741756000 140556710573781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28750] ppid=28732 vsize=10551232 CPUtime=0 cores=1,3,5,7
/proc/28735/task/28750/stat : 28750 (java) S 28732 28735 12906 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51370024 10804461568 179061 18446744073709551615 4194304 4196468 140731272996656 140555740703536 140556710574722 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
Current children cumulated CPU time (s) 7.73
Current children cumulated vsize (KiB) 10551232

[startup+6.3007 s]
/proc/loadavg: 4.91 4.05 2.88 3/214 28750
/proc/meminfo: memFree=22248676/32770624 swapFree=0/363228
[pid=28735] ppid=28732 vsize=10551232 CPUtime=15.95 cores=1,3,5,7
/proc/28735/stat : 28735 (java) S 28732 28735 12906 0 -1 1077944320 25626 0 0 0 1505 90 0 0 20 0 15 0 51370007 10804461568 312473 18446744073709551615 4194304 4196468 140731272996656 140731272979200 140556710563575 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 4 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
/proc/28735/statm: 2637808 312473 3116 1 0 2627261 0
[pid=28735/tid=28737] ppid=28732 vsize=10551232 CPUtime=2.4 cores=1,3,5,7
/proc/28735/task/28737/stat : 28737 (java) R 28732 28735 12906 0 -1 4202560 8673 0 0 0 230 10 0 0 20 0 15 0 51370012 10804461568 312473 18446744073709551615 4194304 4196468 140731272996656 140556714800880 140556315031033 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28738] ppid=28732 vsize=10551232 CPUtime=2.75 cores=1,3,5,7
/proc/28735/task/28738/stat : 28738 (java) S 28732 28735 12906 0 -1 1077944384 984 0 0 0 256 19 0 0 20 0 15 0 51370013 10804461568 312473 18446744073709551615 4194304 4196468 140731272996656 140556640983312 140556710573781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28739] ppid=28732 vsize=10551232 CPUtime=2.77 cores=1,3,5,7
/proc/28735/task/28739/stat : 28739 (java) S 28732 28735 12906 0 -1 1077944384 985 0 0 0 259 18 0 0 20 0 15 0 51370013 10804461568 312473 18446744073709551615 4194304 4196468 140731272996656 140556639930768 140556710573781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28740] ppid=28732 vsize=10551232 CPUtime=2.78 cores=1,3,5,7
/proc/28735/task/28740/stat : 28740 (java) S 28732 28735 12906 0 -1 1077944384 1263 0 0 0 260 18 0 0 20 0 15 0 51370013 10804461568 312473 18446744073709551615 4194304 4196468 140731272996656 140556638878224 140556710573781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28741] ppid=28732 vsize=10551232 CPUtime=2.77 cores=1,3,5,7
/proc/28735/task/28741/stat : 28741 (java) S 28732 28735 12906 0 -1 1077944384 1630 0 0 0 257 20 0 0 20 0 15 0 51370013 10804461568 312473 18446744073709551615 4194304 4196468 140731272996656 140556637825680 140556710573781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28742] ppid=28732 vsize=10551232 CPUtime=0.97 cores=1,3,5,7
/proc/28735/task/28742/stat : 28742 (java) S 28732 28735 12906 0 -1 1077944384 5045 0 0 0 97 0 0 0 20 0 15 0 51370015 10804461568 312473 18446744073709551615 4194304 4196468 140731272996656 140555749124592 140556710574722 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28743] ppid=28732 vsize=10551232 CPUtime=0 cores=1,3,5,7
/proc/28735/task/28743/stat : 28743 (java) S 28732 28735 12906 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 51370015 10804461568 312473 18446744073709551615 4194304 4196468 140731272996656 140555748070880 140556710573781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28744] ppid=28732 vsize=10551232 CPUtime=0 cores=1,3,5,7
/proc/28735/task/28744/stat : 28744 (java) S 28732 28735 12906 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 51370015 10804461568 312473 18446744073709551615 4194304 4196468 140731272996656 140555747018240 140556710573781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28745] ppid=28732 vsize=10551232 CPUtime=0 cores=1,3,5,7
/proc/28735/task/28745/stat : 28745 (java) S 28732 28735 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51370018 10804461568 312473 18446744073709551615 4194304 4196468 140731272996656 140555745966800 140556710582171 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28746] ppid=28732 vsize=10551232 CPUtime=0.56 cores=1,3,5,7
/proc/28735/task/28746/stat : 28746 (java) S 28732 28735 12906 0 -1 1077944384 1913 0 0 0 56 0 0 0 20 0 15 0 51370018 10804461568 312473 18446744073709551615 4194304 4196468 140731272996656 140555744913392 140556710574722 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28747] ppid=28732 vsize=10551232 CPUtime=0.52 cores=1,3,5,7
/proc/28735/task/28747/stat : 28747 (java) S 28732 28735 12906 0 -1 1077944384 1620 0 0 0 52 0 0 0 20 0 15 0 51370018 10804461568 312473 18446744073709551615 4194304 4196468 140731272996656 140555743860848 140556710574722 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28748] ppid=28732 vsize=10551232 CPUtime=0.35 cores=1,3,5,7
/proc/28735/task/28748/stat : 28748 (java) S 28732 28735 12906 0 -1 1077944384 1839 0 0 0 35 0 0 0 20 0 15 0 51370018 10804461568 312473 18446744073709551615 4194304 4196468 140731272996656 140555742808304 140556710574722 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28749] ppid=28732 vsize=10551232 CPUtime=0 cores=1,3,5,7
/proc/28735/task/28749/stat : 28749 (java) S 28732 28735 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51370018 10804461568 312473 18446744073709551615 4194304 4196468 140731272996656 140555741756000 140556710573781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28750] ppid=28732 vsize=10551232 CPUtime=0 cores=1,3,5,7
/proc/28735/task/28750/stat : 28750 (java) S 28732 28735 12906 0 -1 1077944384 320 0 0 0 0 0 0 0 20 0 15 0 51370024 10804461568 312473 18446744073709551615 4194304 4196468 140731272996656 140555740703536 140556710574722 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
Current children cumulated CPU time (s) 15.95
Current children cumulated vsize (KiB) 10551232

[startup+12.7016 s]
/proc/loadavg: 4.76 4.03 2.88 3/214 28750
/proc/meminfo: memFree=20779312/32770624 swapFree=0/363248
[pid=28735] ppid=28732 vsize=10551232 CPUtime=33.44 cores=1,3,5,7
/proc/28735/stat : 28735 (java) S 28732 28735 12906 0 -1 1077944320 36008 0 0 0 3099 245 0 0 20 0 15 0 51370007 10804461568 758378 18446744073709551615 4194304 4196468 140731272996656 140731272979200 140556710563575 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 4 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
/proc/28735/statm: 2637808 758378 3117 1 0 2627261 0
[pid=28735/tid=28737] ppid=28732 vsize=10551232 CPUtime=3.88 cores=1,3,5,7
/proc/28735/task/28737/stat : 28737 (java) S 28732 28735 12906 0 -1 1077944384 11885 0 0 0 376 12 0 0 20 0 15 0 51370012 10804461568 758378 18446744073709551615 4194304 4196468 140731272996656 140556714798384 140556710573781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28738] ppid=28732 vsize=10551232 CPUtime=6.43 cores=1,3,5,7
/proc/28735/task/28738/stat : 28738 (java) R 28732 28735 12906 0 -1 4202560 1854 0 0 0 589 54 0 0 20 0 15 0 51370013 10804461568 758378 18446744073709551615 4194304 4196468 140731272996656 140556640983512 140556695585696 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28739] ppid=28732 vsize=10551232 CPUtime=6.45 cores=1,3,5,7
/proc/28735/task/28739/stat : 28739 (java) R 28732 28735 12906 0 -1 4202560 1985 0 0 0 589 56 0 0 20 0 15 0 51370013 10804461568 758378 18446744073709551615 4194304 4196468 140731272996656 140556639930656 140556695011790 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28740] ppid=28732 vsize=10551232 CPUtime=6.47 cores=1,3,5,7
/proc/28735/task/28740/stat : 28740 (java) R 28732 28735 12906 0 -1 4202560 3265 0 0 0 587 60 0 0 20 0 15 0 51370013 10804461568 758378 18446744073709551615 4194304 4196468 140731272996656 140556638878424 140556695083298 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28741] ppid=28732 vsize=10551232 CPUtime=6.42 cores=1,3,5,7
/proc/28735/task/28741/stat : 28741 (java) R 28732 28735 12906 0 -1 4202560 2801 0 0 0 584 58 0 0 20 0 15 0 51370013 10804461568 758378 18446744073709551615 4194304 4196468 140731272996656 140556637825880 140556695590994 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28742] ppid=28732 vsize=10551232 CPUtime=2.2 cores=1,3,5,7
/proc/28735/task/28742/stat : 28742 (java) S 28732 28735 12906 0 -1 1077944384 6312 0 0 0 220 0 0 0 20 0 15 0 51370015 10804461568 758378 18446744073709551615 4194304 4196468 140731272996656 140555749123104 140556710573781 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28743] ppid=28732 vsize=10551232 CPUtime=0 cores=1,3,5,7
/proc/28735/task/28743/stat : 28743 (java) S 28732 28735 12906 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 51370015 10804461568 758378 18446744073709551615 4194304 4196468 140731272996656 140555748070880 140556710573781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28744] ppid=28732 vsize=10551232 CPUtime=0 cores=1,3,5,7
/proc/28735/task/28744/stat : 28744 (java) S 28732 28735 12906 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 51370015 10804461568 758378 18446744073709551615 4194304 4196468 140731272996656 140555747018240 140556710573781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28745] ppid=28732 vsize=10551232 CPUtime=0 cores=1,3,5,7
/proc/28735/task/28745/stat : 28745 (java) S 28732 28735 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51370018 10804461568 758378 18446744073709551615 4194304 4196468 140731272996656 140555745966800 140556710582171 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0

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

/proc/28735/task/28737/stat : 28737 (java) S 28732 28735 12906 0 -1 1077944384 17453 0 0 0 1327 12 0 0 20 0 17 0 51370012 10943037440 2080480 18446744073709551615 4194304 4196468 140731272996656 140556714804256 140556710573781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28738] ppid=28732 vsize=10686560 CPUtime=320.06 cores=1,3,5,7
/proc/28735/task/28738/stat : 28738 (java) R 28732 28735 12906 0 -1 4202560 17020 0 0 0 31832 174 0 0 20 0 17 0 51370013 10943037440 2080480 18446744073709551615 4194304 4196468 140731272996656 140556640983512 140556692173184 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28739] ppid=28732 vsize=10686560 CPUtime=319.87 cores=1,3,5,7
/proc/28735/task/28739/stat : 28739 (java) R 28732 28735 12906 0 -1 4202560 16742 0 0 0 31819 168 0 0 20 0 17 0 51370013 10943037440 2080480 18446744073709551615 4194304 4196468 140731272996656 140556639930768 140556695559982 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28740] ppid=28732 vsize=10686560 CPUtime=318.42 cores=1,3,5,7
/proc/28735/task/28740/stat : 28740 (java) R 28732 28735 12906 0 -1 4202560 15986 0 0 0 31662 180 0 0 20 0 17 0 51370013 10943037440 2080480 18446744073709551615 4194304 4196468 140731272996656 140556638878224 140556695560084 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28741] ppid=28732 vsize=10686560 CPUtime=318.63 cores=1,3,5,7
/proc/28735/task/28741/stat : 28741 (java) R 28732 28735 12906 0 -1 4202560 14981 0 0 0 31673 190 0 0 20 0 17 0 51370013 10943037440 2080480 18446744073709551615 4194304 4196468 140731272996656 140556637825880 140556695021197 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28742] ppid=28732 vsize=10686560 CPUtime=26.13 cores=1,3,5,7
/proc/28735/task/28742/stat : 28742 (java) S 28732 28735 12906 0 -1 1077944384 78241 0 0 0 2608 5 0 0 20 0 17 0 51370015 10943037440 2080480 18446744073709551615 4194304 4196468 140731272996656 140555749123136 140556710573781 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28743] ppid=28732 vsize=10686560 CPUtime=0 cores=1,3,5,7
/proc/28735/task/28743/stat : 28743 (java) S 28732 28735 12906 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 51370015 10943037440 2080480 18446744073709551615 4194304 4196468 140731272996656 140555748070880 140556710573781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28744] ppid=28732 vsize=10686560 CPUtime=0 cores=1,3,5,7
/proc/28735/task/28744/stat : 28744 (java) S 28732 28735 12906 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 17 0 51370015 10943037440 2080480 18446744073709551615 4194304 4196468 140731272996656 140555747017344 140556710573781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28745] ppid=28732 vsize=10686560 CPUtime=0 cores=1,3,5,7
/proc/28735/task/28745/stat : 28745 (java) S 28732 28735 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 51370018 10943037440 2080480 18446744073709551615 4194304 4196468 140731272996656 140555745966800 140556710582171 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28746] ppid=28732 vsize=10686560 CPUtime=1.55 cores=1,3,5,7
/proc/28735/task/28746/stat : 28746 (java) S 28732 28735 12906 0 -1 1077944384 11910 0 0 0 154 1 0 0 20 0 17 0 51370018 10943037440 2080480 18446744073709551615 4194304 4196468 140731272996656 140555744913392 140556710574722 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28747] ppid=28732 vsize=10686560 CPUtime=0.64 cores=1,3,5,7
/proc/28735/task/28747/stat : 28747 (java) S 28732 28735 12906 0 -1 1077944384 3945 0 0 0 64 0 0 0 20 0 17 0 51370018 10943037440 2080480 18446744073709551615 4194304 4196468 140731272996656 140555743860848 140556710574722 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28748] ppid=28732 vsize=10686560 CPUtime=0.43 cores=1,3,5,7
/proc/28735/task/28748/stat : 28748 (java) S 28732 28735 12906 0 -1 1077944384 4114 0 0 0 43 0 0 0 20 0 17 0 51370018 10943037440 2080480 18446744073709551615 4194304 4196468 140731272996656 140555742808304 140556710574722 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28749] ppid=28732 vsize=10686560 CPUtime=0 cores=1,3,5,7
/proc/28735/task/28749/stat : 28749 (java) S 28732 28735 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 51370018 10943037440 2080480 18446744073709551615 4194304 4196468 140731272996656 140555741756000 140556710573781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28750] ppid=28732 vsize=10686560 CPUtime=0.3 cores=1,3,5,7
/proc/28735/task/28750/stat : 28750 (java) S 28732 28735 12906 0 -1 1077944384 617 0 0 0 17 13 0 0 20 0 17 0 51370024 10943037440 2080480 18446744073709551615 4194304 4196468 140731272996656 140555740703536 140556710574722 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28779] ppid=28732 vsize=10686560 CPUtime=0 cores=1,3,5,7
/proc/28735/task/28779/stat : 28779 (java) S 28732 28735 12906 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 17 0 51404871 10943037440 2080480 18446744073709551615 4194304 4196468 140731272996656 140555737550512 140556710573781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28780] ppid=28732 vsize=10686560 CPUtime=0 cores=1,3,5,7
/proc/28735/task/28780/stat : 28780 (java) S 28732 28735 12906 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 17 0 51404871 10943037440 2080480 18446744073709551615 4194304 4196468 140731272996656 140555736498736 140556710573781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
Current children cumulated CPU time (s) 1319.5
Current children cumulated vsize (KiB) 10686560

[startup+364.801 s]
/proc/loadavg: 4.68 4.47 3.42 6/217 28781
/proc/meminfo: memFree=15117144/32770624 swapFree=0/363404
[pid=28735] ppid=28732 vsize=10686560 CPUtime=1331.93 cores=1,3,5,7
/proc/28735/stat : 28735 (java) S 28732 28735 12906 0 -1 1077944320 182794 0 0 0 132452 741 0 0 20 0 17 0 51370007 10943037440 2080480 18446744073709551615 4194304 4196468 140731272996656 140731272979200 140556710563575 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 4 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
/proc/28735/statm: 2671640 2080480 3166 1 0 2661055 0
[pid=28735/tid=28737] ppid=28732 vsize=10686560 CPUtime=13.39 cores=1,3,5,7
/proc/28735/task/28737/stat : 28737 (java) S 28732 28735 12906 0 -1 1077944384 17453 0 0 0 1327 12 0 0 20 0 17 0 51370012 10943037440 2080480 18446744073709551615 4194304 4196468 140731272996656 140556714804256 140556710573781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28738] ppid=28732 vsize=10686560 CPUtime=323.11 cores=1,3,5,7
/proc/28735/task/28738/stat : 28738 (java) R 28732 28735 12906 0 -1 4202560 17020 0 0 0 32136 175 0 0 20 0 17 0 51370013 10943037440 2080480 18446744073709551615 4194304 4196468 140731272996656 140556640983432 140556703191783 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28739] ppid=28732 vsize=10686560 CPUtime=323.07 cores=1,3,5,7
/proc/28735/task/28739/stat : 28739 (java) R 28732 28735 12906 0 -1 4202560 16995 0 0 0 32139 168 0 0 20 0 17 0 51370013 10943037440 2080480 18446744073709551615 4194304 4196468 140731272996656 140556639930968 140556695553098 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28740] ppid=28732 vsize=10686560 CPUtime=321.51 cores=1,3,5,7
/proc/28735/task/28740/stat : 28740 (java) R 28732 28735 12906 0 -1 4202560 15986 0 0 0 31969 182 0 0 20 0 17 0 51370013 10943037440 2080480 18446744073709551615 4194304 4196468 140731272996656 140556638878032 140556703191783 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28741] ppid=28732 vsize=10686560 CPUtime=321.72 cores=1,3,5,7
/proc/28735/task/28741/stat : 28741 (java) R 28732 28735 12906 0 -1 4202560 14981 0 0 0 31981 191 0 0 20 0 17 0 51370013 10943037440 2080480 18446744073709551615 4194304 4196468 140731272996656 140556637825488 140556703191783 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28742] ppid=28732 vsize=10686560 CPUtime=26.13 cores=1,3,5,7
/proc/28735/task/28742/stat : 28742 (java) S 28732 28735 12906 0 -1 1077944384 78241 0 0 0 2608 5 0 0 20 0 17 0 51370015 10943037440 2080480 18446744073709551615 4194304 4196468 140731272996656 140555749123136 140556710573781 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28743] ppid=28732 vsize=10686560 CPUtime=0 cores=1,3,5,7
/proc/28735/task/28743/stat : 28743 (java) S 28732 28735 12906 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 51370015 10943037440 2080480 18446744073709551615 4194304 4196468 140731272996656 140555748070880 140556710573781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28744] ppid=28732 vsize=10686560 CPUtime=0 cores=1,3,5,7
/proc/28735/task/28744/stat : 28744 (java) S 28732 28735 12906 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 17 0 51370015 10943037440 2080480 18446744073709551615 4194304 4196468 140731272996656 140555747017344 140556710573781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28745] ppid=28732 vsize=10686560 CPUtime=0 cores=1,3,5,7
/proc/28735/task/28745/stat : 28745 (java) S 28732 28735 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 51370018 10943037440 2080480 18446744073709551615 4194304 4196468 140731272996656 140555745966800 140556710582171 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28746] ppid=28732 vsize=10686560 CPUtime=1.55 cores=1,3,5,7
/proc/28735/task/28746/stat : 28746 (java) S 28732 28735 12906 0 -1 1077944384 11910 0 0 0 154 1 0 0 20 0 17 0 51370018 10943037440 2080480 18446744073709551615 4194304 4196468 140731272996656 140555744913440 140556710573781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28747] ppid=28732 vsize=10686560 CPUtime=0.64 cores=1,3,5,7
/proc/28735/task/28747/stat : 28747 (java) S 28732 28735 12906 0 -1 1077944384 3946 0 0 0 64 0 0 0 20 0 17 0 51370018 10943037440 2080480 18446744073709551615 4194304 4196468 140731272996656 140555743860608 140556710573781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28748] ppid=28732 vsize=10686560 CPUtime=0.43 cores=1,3,5,7
/proc/28735/task/28748/stat : 28748 (java) S 28732 28735 12906 0 -1 1077944384 4114 0 0 0 43 0 0 0 20 0 17 0 51370018 10943037440 2080480 18446744073709551615 4194304 4196468 140731272996656 140555742808352 140556710573781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28749] ppid=28732 vsize=10686560 CPUtime=0 cores=1,3,5,7
/proc/28735/task/28749/stat : 28749 (java) S 28732 28735 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 51370018 10943037440 2080480 18446744073709551615 4194304 4196468 140731272996656 140555741756000 140556710573781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28750] ppid=28732 vsize=10686560 CPUtime=0.3 cores=1,3,5,7
/proc/28735/task/28750/stat : 28750 (java) S 28732 28735 12906 0 -1 1077944384 617 0 0 0 17 13 0 0 20 0 17 0 51370024 10943037440 2080480 18446744073709551615 4194304 4196468 140731272996656 140555740703536 140556710574722 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28779] ppid=28732 vsize=10686560 CPUtime=0 cores=1,3,5,7
/proc/28735/task/28779/stat : 28779 (java) S 28732 28735 12906 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 17 0 51404871 10943037440 2080480 18446744073709551615 4194304 4196468 140731272996656 140555737550512 140556710573781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28780] ppid=28732 vsize=10686560 CPUtime=0 cores=1,3,5,7
/proc/28735/task/28780/stat : 28780 (java) S 28732 28735 12906 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 17 0 51404871 10943037440 2080480 18446744073709551615 4194304 4196468 140731272996656 140555736498736 140556710573781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
Current children cumulated CPU time (s) 1331.93
Current children cumulated vsize (KiB) 10686560

[startup+366.407 s]
/proc/loadavg: 4.68 4.47 3.42 5/217 28781
/proc/meminfo: memFree=15117144/32770624 swapFree=0/363404
[pid=28735] ppid=28732 vsize=10686560 CPUtime=1338.16 cores=1,3,5,7
/proc/28735/stat : 28735 (java) S 28732 28735 12906 0 -1 1077944320 182794 0 0 0 133074 742 0 0 20 0 17 0 51370007 10943037440 2080480 18446744073709551615 4194304 4196468 140731272996656 140731272979200 140556710563575 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 4 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
/proc/28735/statm: 2671640 2080480 3166 1 0 2661055 0
[pid=28735/tid=28737] ppid=28732 vsize=10686560 CPUtime=13.39 cores=1,3,5,7
/proc/28735/task/28737/stat : 28737 (java) S 28732 28735 12906 0 -1 1077944384 17453 0 0 0 1327 12 0 0 20 0 17 0 51370012 10943037440 2080480 18446744073709551615 4194304 4196468 140731272996656 140556714804256 140556710573781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28738] ppid=28732 vsize=10686560 CPUtime=324.64 cores=1,3,5,7
/proc/28735/task/28738/stat : 28738 (java) R 28732 28735 12906 0 -1 4202560 17020 0 0 0 32289 175 0 0 20 0 17 0 51370013 10943037440 2080480 18446744073709551615 4194304 4196468 140731272996656 140556640983432 140556703191783 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28739] ppid=28732 vsize=10686560 CPUtime=324.67 cores=1,3,5,7
/proc/28735/task/28739/stat : 28739 (java) R 28732 28735 12906 0 -1 4202560 16995 0 0 0 32299 168 0 0 20 0 17 0 51370013 10943037440 2080480 18446744073709551615 4194304 4196468 140731272996656 140556639930968 140556692173184 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28740] ppid=28732 vsize=10686560 CPUtime=323.05 cores=1,3,5,7
/proc/28735/task/28740/stat : 28740 (java) R 28732 28735 12906 0 -1 4202560 15986 0 0 0 32123 182 0 0 20 0 17 0 51370013 10943037440 2080480 18446744073709551615 4194304 4196468 140731272996656 140556638878032 140556703191783 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28741] ppid=28732 vsize=10686560 CPUtime=323.27 cores=1,3,5,7
/proc/28735/task/28741/stat : 28741 (java) R 28732 28735 12906 0 -1 4202560 14981 0 0 0 32135 192 0 0 20 0 17 0 51370013 10943037440 2080480 18446744073709551615 4194304 4196468 140731272996656 140556637825488 140556703191783 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28742] ppid=28732 vsize=10686560 CPUtime=26.13 cores=1,3,5,7
/proc/28735/task/28742/stat : 28742 (java) S 28732 28735 12906 0 -1 1077944384 78241 0 0 0 2608 5 0 0 20 0 17 0 51370015 10943037440 2080480 18446744073709551615 4194304 4196468 140731272996656 140555749123136 140556710573781 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28743] ppid=28732 vsize=10686560 CPUtime=0 cores=1,3,5,7
/proc/28735/task/28743/stat : 28743 (java) S 28732 28735 12906 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 51370015 10943037440 2080480 18446744073709551615 4194304 4196468 140731272996656 140555748070880 140556710573781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28744] ppid=28732 vsize=10686560 CPUtime=0 cores=1,3,5,7
/proc/28735/task/28744/stat : 28744 (java) S 28732 28735 12906 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 17 0 51370015 10943037440 2080480 18446744073709551615 4194304 4196468 140731272996656 140555747017344 140556710573781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28745] ppid=28732 vsize=10686560 CPUtime=0 cores=1,3,5,7
/proc/28735/task/28745/stat : 28745 (java) S 28732 28735 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 51370018 10943037440 2080480 18446744073709551615 4194304 4196468 140731272996656 140555745966800 140556710582171 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28746] ppid=28732 vsize=10686560 CPUtime=1.55 cores=1,3,5,7
/proc/28735/task/28746/stat : 28746 (java) S 28732 28735 12906 0 -1 1077944384 11910 0 0 0 154 1 0 0 20 0 17 0 51370018 10943037440 2080480 18446744073709551615 4194304 4196468 140731272996656 140555744913440 140556710573781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28747] ppid=28732 vsize=10686560 CPUtime=0.64 cores=1,3,5,7
/proc/28735/task/28747/stat : 28747 (java) S 28732 28735 12906 0 -1 1077944384 3946 0 0 0 64 0 0 0 20 0 17 0 51370018 10943037440 2080480 18446744073709551615 4194304 4196468 140731272996656 140555743860608 140556710573781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28748] ppid=28732 vsize=10686560 CPUtime=0.43 cores=1,3,5,7
/proc/28735/task/28748/stat : 28748 (java) S 28732 28735 12906 0 -1 1077944384 4114 0 0 0 43 0 0 0 20 0 17 0 51370018 10943037440 2080480 18446744073709551615 4194304 4196468 140731272996656 140555742808352 140556710573781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28749] ppid=28732 vsize=10686560 CPUtime=0 cores=1,3,5,7
/proc/28735/task/28749/stat : 28749 (java) S 28732 28735 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 51370018 10943037440 2080480 18446744073709551615 4194304 4196468 140731272996656 140555741756000 140556710573781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28750] ppid=28732 vsize=10686560 CPUtime=0.3 cores=1,3,5,7
/proc/28735/task/28750/stat : 28750 (java) S 28732 28735 12906 0 -1 1077944384 617 0 0 0 17 13 0 0 20 0 17 0 51370024 10943037440 2080480 18446744073709551615 4194304 4196468 140731272996656 140555740703536 140556710574722 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28779] ppid=28732 vsize=10686560 CPUtime=0 cores=1,3,5,7
/proc/28735/task/28779/stat : 28779 (java) S 28732 28735 12906 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 17 0 51404871 10943037440 2080480 18446744073709551615 4194304 4196468 140731272996656 140555737550512 140556710573781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28780] ppid=28732 vsize=10686560 CPUtime=0 cores=1,3,5,7
/proc/28735/task/28780/stat : 28780 (java) S 28732 28735 12906 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 17 0 51404871 10943037440 2080480 18446744073709551615 4194304 4196468 140731272996656 140555736498736 140556710573781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
Current children cumulated CPU time (s) 1338.16
Current children cumulated vsize (KiB) 10686560

[startup+367.201 s]
/proc/loadavg: 4.68 4.47 3.42 5/217 28781
/proc/meminfo: memFree=15117144/32770624 swapFree=0/363404
[pid=28735] ppid=28732 vsize=10686560 CPUtime=1339.91 cores=1,3,5,7
/proc/28735/stat : 28735 (java) S 28732 28735 12906 0 -1 1077944320 183048 0 0 0 133248 743 0 0 20 0 17 0 51370007 10943037440 2080481 18446744073709551615 4194304 4196468 140731272996656 140731272979200 140556710563575 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 4 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
/proc/28735/statm: 2671640 2080481 3166 1 0 2661055 0
[pid=28735/tid=28737] ppid=28732 vsize=10686560 CPUtime=13.39 cores=1,3,5,7
/proc/28735/task/28737/stat : 28737 (java) S 28732 28735 12906 0 -1 1077944384 17453 0 0 0 1327 12 0 0 20 0 17 0 51370012 10943037440 2080481 18446744073709551615 4194304 4196468 140731272996656 140556714804256 140556710573781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28738] ppid=28732 vsize=10686560 CPUtime=324.95 cores=1,3,5,7
/proc/28735/task/28738/stat : 28738 (java) S 28732 28735 12906 0 -1 1077944384 17020 0 0 0 32320 175 0 0 20 0 17 0 51370013 10943037440 2080481 18446744073709551615 4194304 4196468 140731272996656 140556640983312 140556710573781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28739] ppid=28732 vsize=10686560 CPUtime=325 cores=1,3,5,7
/proc/28735/task/28739/stat : 28739 (java) S 28732 28735 12906 0 -1 1077944384 16995 0 0 0 32332 168 0 0 20 0 17 0 51370013 10943037440 2080481 18446744073709551615 4194304 4196468 140731272996656 140556639930768 140556710573781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28740] ppid=28732 vsize=10686560 CPUtime=323.37 cores=1,3,5,7
/proc/28735/task/28740/stat : 28740 (java) S 28732 28735 12906 0 -1 1077944384 15986 0 0 0 32155 182 0 0 20 0 17 0 51370013 10943037440 2080481 18446744073709551615 4194304 4196468 140731272996656 140556638878224 140556710573781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28741] ppid=28732 vsize=10686560 CPUtime=323.59 cores=1,3,5,7
/proc/28735/task/28741/stat : 28741 (java) S 28732 28735 12906 0 -1 1077944384 14981 0 0 0 32167 192 0 0 20 0 17 0 51370013 10943037440 2080481 18446744073709551615 4194304 4196468 140731272996656 140556637825680 140556710573781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28742] ppid=28732 vsize=10686560 CPUtime=26.59 cores=1,3,5,7
/proc/28735/task/28742/stat : 28742 (java) R 28732 28735 12906 0 -1 4202560 78495 0 0 0 2654 5 0 0 20 0 17 0 51370015 10943037440 2080481 18446744073709551615 4194304 4196468 140731272996656 140555749123136 140556695560068 0 0 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28743] ppid=28732 vsize=10686560 CPUtime=0 cores=1,3,5,7
/proc/28735/task/28743/stat : 28743 (java) S 28732 28735 12906 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 51370015 10943037440 2080481 18446744073709551615 4194304 4196468 140731272996656 140555748070880 140556710573781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28744] ppid=28732 vsize=10686560 CPUtime=0 cores=1,3,5,7
/proc/28735/task/28744/stat : 28744 (java) S 28732 28735 12906 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 17 0 51370015 10943037440 2080481 18446744073709551615 4194304 4196468 140731272996656 140555747017344 140556710573781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28745] ppid=28732 vsize=10686560 CPUtime=0 cores=1,3,5,7
/proc/28735/task/28745/stat : 28745 (java) S 28732 28735 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 51370018 10943037440 2080481 18446744073709551615 4194304 4196468 140731272996656 140555745966800 140556710582171 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28746] ppid=28732 vsize=10686560 CPUtime=1.55 cores=1,3,5,7
/proc/28735/task/28746/stat : 28746 (java) S 28732 28735 12906 0 -1 1077944384 11910 0 0 0 154 1 0 0 20 0 17 0 51370018 10943037440 2080481 18446744073709551615 4194304 4196468 140731272996656 140555744913440 140556710573781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28747] ppid=28732 vsize=10686560 CPUtime=0.64 cores=1,3,5,7
/proc/28735/task/28747/stat : 28747 (java) S 28732 28735 12906 0 -1 1077944384 3946 0 0 0 64 0 0 0 20 0 17 0 51370018 10943037440 2080481 18446744073709551615 4194304 4196468 140731272996656 140555743860608 140556710573781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28748] ppid=28732 vsize=10686560 CPUtime=0.43 cores=1,3,5,7
/proc/28735/task/28748/stat : 28748 (java) S 28732 28735 12906 0 -1 1077944384 4114 0 0 0 43 0 0 0 20 0 17 0 51370018 10943037440 2080481 18446744073709551615 4194304 4196468 140731272996656 140555742808352 140556710573781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28749] ppid=28732 vsize=10686560 CPUtime=0 cores=1,3,5,7
/proc/28735/task/28749/stat : 28749 (java) S 28732 28735 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 51370018 10943037440 2080481 18446744073709551615 4194304 4196468 140731272996656 140555741756000 140556710573781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28750] ppid=28732 vsize=10686560 CPUtime=0.3 cores=1,3,5,7
/proc/28735/task/28750/stat : 28750 (java) S 28732 28735 12906 0 -1 1077944384 617 0 0 0 17 13 0 0 20 0 17 0 51370024 10943037440 2080481 18446744073709551615 4194304 4196468 140731272996656 140555740703536 140556710574722 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28779] ppid=28732 vsize=10686560 CPUtime=0 cores=1,3,5,7
/proc/28735/task/28779/stat : 28779 (java) S 28732 28735 12906 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 17 0 51404871 10943037440 2080481 18446744073709551615 4194304 4196468 140731272996656 140555737550512 140556710573781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
[pid=28735/tid=28780] ppid=28732 vsize=10686560 CPUtime=0 cores=1,3,5,7
/proc/28735/task/28780/stat : 28780 (java) S 28732 28735 12906 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 17 0 51404871 10943037440 2080481 18446744073709551615 4194304 4196468 140731272996656 140555736498736 140556710573781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18829312 140731272999349 140731272999502 140731272999502 140731273002959 0
Current children cumulated CPU time (s) 1339.91
Current children cumulated vsize (KiB) 10686560

[startup+367.401 s]
/proc/loadavg: 4.68 4.47 3.42 3/202 28781
/proc/meminfo: memFree=15122868/32770624 swapFree=0/363404
[pid=28735] ppid=28732 vsize=0 CPUtime=1340.12 cores=1,3,5,7
/proc/28735/stat : 28735 (java) Z 28732 28735 12906 0 -1 4227084 183167 0 0 0 133268 744 0 0 20 0 2 0 51370007 0 0 18446744073709551615 0 0 0 0 0 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 4 0 0 0 0 0 0 0 0 0 0
/proc/28735/statm: 0 0 0 0 0 0 0
[pid=28735/tid=28747] ppid=28732 vsize=0 CPUtime=0.65 cores=1,3,5,7
/proc/28735/task/28747/stat : 28747 (java) R 28732 28735 12906 0 -1 4203588 3946 0 0 0 64 1 0 0 20 0 2 0 51370018 0 0 18446744073709551615 0 0 0 0 0 0 4 1 16800974 18446744073709551615 0 0 -1 3 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1340.12
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 367.435
CPU time (s): 1340.16
CPU user time (s): 1332.69
CPU system time (s): 7.47149
CPU usage (%): 364.734
Max. virtual memory (cumulated for all children) (KiB): 10686560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1332.69
system time used= 7.47149
maximum resident set size= 8335780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 183167
page faults= 0
swaps= 0
block input operations= 0
block output operations= 488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17098
involuntary context switches= 13221

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.81416 second user time and 2.3822 second system time

The end

Launcher Data

Begin job on node135 at 2017-08-07 10:15:53
IDJOB=4244008
IDBENCH=140569
IDSOLVER=2623
FILE ID=node135/4244008-1502094591
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-24.xml
COMMAND LINE= java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4244008-1502094591/watcher-4244008-1502094591 -o /tmp/evaluation-result-4244008-1502094591/solver-4244008-1502094591 -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-4244008-1502094591.xml

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

MD5SUM BENCH= 22300454f2969805ad1ca4690e3d792c
RANDOM SEED=705992888

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:        23485732 kB
MemAvailable:   23932288 kB
Buffers:          223024 kB
Cached:           511868 kB
SwapCached:            0 kB
Active:          8453476 kB
Inactive:         388172 kB
Active(anon):    8107000 kB
Inactive(anon):    24972 kB
Active(file):     346476 kB
Inactive(file):   363200 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              1672 kB
Writeback:             0 kB
AnonPages:       8106372 kB
Mapped:            51464 kB
Shmem:             25344 kB
Slab:             132476 kB
SReclaimable:     105428 kB
SUnreclaim:        27048 kB
KernelStack:        3504 kB
PageTables:        20284 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    8620808 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7950336 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:22:01