Trace number 4258244

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
sat4j-CSP 2017-07-05? (TO) 253.07001 97.816704

General information on the benchmark

NameScheduling/Scheduling-fs-taillard/
Taillard-fs-200-10-2.xml
MD5SUM902fa3fa04f876c9ed200148bd67d93f
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables2200
Number of constraints2210
Number of domains1
Minimum domain size11022
Maximum domain size11022
Distribution of domain sizes[{"size":11022,"count":2200}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":200},{"degree":3,"count":2000}]
Minimum constraint arity1
Maximum constraint arity200
Distribution of constraint arities[{"arity":1,"count":200},{"arity":2,"count":2000},{"arity":200,"count":10}]
Number of extensional constraints0
Number of intensional constraints2200
Distribution of constraint types[{"type":"intension","count":2200},{"type":"noOverlap","count":10}]
Optimization problemYES
Type of objectivemin MAXIMUM

Solver Data 

252.94/97.77	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
252.94/97.77	c This is free software under the dual EPL/GNU LGPL licenses.
252.94/97.77	c See www.sat4j.org for details.
252.94/97.77	c That software uses the Rhino library from the Mozilla project.
252.94/97.77	c version CUSTOM.v20170705
252.94/97.77	c java.runtime.name	Java(TM) SE Runtime Environment
252.94/97.77	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
252.94/97.77	c java.vm.version	25.131-b11
252.94/97.77	c java.vm.vendor	Oracle Corporation
252.94/97.77	c sun.arch.data.model	64
252.94/97.77	c java.version		1.8.0_131
252.94/97.77	c os.name		Linux
252.94/97.77	c os.version		3.10.0-514.16.1.el7.x86_64
252.94/97.77	c os.arch		amd64
252.94/97.77	c Free memory 		499604488
252.94/97.77	c Max memory 		7247757312
252.94/97.77	c Total memory 		504889344
252.94/97.77	c Number of processors 	4
252.94/97.77	c c --- Begin Solver configuration ---
252.94/97.77	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e
252.94/97.77	c Learn all clauses as in MiniSAT
252.94/97.77	c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
252.94/97.77	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
252.94/97.77	c No reason simplification
252.94/97.77	c Glucose 2.1 dynamic restart strategy
252.94/97.77	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
252.94/97.77	c timeout=2147483s
252.94/97.77	c DB Simplification allowed=false
252.94/97.77	c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1
252.94/97.77	c --- End Solver configuration ---
252.94/97.77	c starts		: 0
252.94/97.77	c conflicts		: 0
252.94/97.77	c decisions		: 0
252.94/97.77	c propagations		: 0
252.94/97.77	c inspects		: 0
252.94/97.77	c shortcuts		: 0
252.94/97.77	c learnt literals	: 0
252.94/97.77	c learnt binary clauses	: 0
252.94/97.77	c learnt ternary clauses	: 0
252.94/97.77	c learnt constraints	: 0
252.94/97.77	c ignored constraints	: 0
252.94/97.77	c root simplifications	: 0
252.94/97.77	c removed literals (reason simplification)	: 0
252.94/97.77	c reason swapping (by a shorter reason)	: 0
252.94/97.77	c Calls to reduceDB	: 0
252.94/97.77	c Number of update (reduction) of LBD	: 0
252.94/97.77	c Imported unit clauses	: 0
252.94/97.77	c number of reductions to clauses (during analyze)	: 0
252.94/97.77	c number of learned constraints concerned by reduction	: 0
252.94/97.77	c number of learning phase by resolution	: 0
252.94/97.77	c number of learning phase by cutting planes	: 0
252.94/97.77	c number of rounding to 1 operations	: 0
252.94/97.77	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
252.94/97.77	c number of reductions of the coefficients by power 2 	: 0
252.94/97.77	c number of right shift for reduction by power 2 	: 0
252.94/97.77	c number of reductions of the coefficients by GCD over coefficients 	: 0
252.94/97.77	c speed (assignments/second)	: 0.0
252.94/97.77	c non guided choices	0
252.94/97.77	c learnt constraints type 
252.94/97.77	s UNKNOWN

Verifier Data


Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4258244-1502638288/watcher-4258244-1502638288 -o /tmp/evaluation-result-4258244-1502638288/solver-4258244-1502638288 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node148-1502637430-15761 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4258244-1502638288.xml 

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

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

solver pid=15780, runsolver pid=15777

[startup+0.100112 s]*
/proc/loadavg: 3.52 3.30 2.82 5/215 15819
/proc/meminfo: memFree=28863136/32770624 swapFree=67108860/67108860
[pid=15780] ppid=15777 vsize=10555400 memory=29912 CPUtime=0.13 cores=1,3,5,7
/proc/15780/stat : 15780 (java) S 15777 15780 6338 0 -1 1077944320 6554 0 0 0 11 2 0 0 20 0 15 0 96909909 10808729600 7478 33554432000 4194304 4196468 140721417486512 140721417469056 140158893461239 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
/proc/15780/statm: 2638850 7478 2807 1 0 2627263 0
[pid=15780/tid=15783] ppid=15777 vsize=10555400 memory=6735269665583770266 CPUtime=0.09 cores=1,3,5,7
/proc/15780/task/15783/stat : 15783 (java) R 15777 15780 6338 0 -1 4202560 4383 0 0 0 8 1 0 0 20 0 15 0 96909909 10808729600 7478 33554432000 4194304 4196468 140721417486512 140158897687056 140158893473174 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15787] ppid=15777 vsize=10555400 memory=4211973962744831370 CPUtime=0 cores=1,3,5,7
/proc/15780/task/15787/stat : 15787 (java) S 15777 15780 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96909910 10808729600 7478 33554432000 4194304 4196468 140721417486512 140158819535504 140158893471445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15788] ppid=15777 vsize=10555400 memory=140236540040832 CPUtime=0 cores=1,3,5,7
/proc/15780/task/15788/stat : 15788 (java) S 15777 15780 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96909910 10808729600 7478 33554432000 4194304 4196468 140721417486512 140158818482704 140158893471445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15789] ppid=15777 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15780/task/15789/stat : 15789 (java) S 15777 15780 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96909910 10808729600 7478 33554432000 4194304 4196468 140721417486512 140158817429904 140158893471445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15790] ppid=15777 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15780/task/15790/stat : 15790 (java) S 15777 15780 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96909910 10808729600 7478 33554432000 4194304 4196468 140721417486512 140158816377104 140158893471445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15798] ppid=15777 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15780/task/15798/stat : 15798 (java) S 15777 15780 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96909912 10808729600 7478 33554432000 4194304 4196468 140721417486512 140157928831856 140158893472386 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15799] ppid=15777 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15780/task/15799/stat : 15799 (java) S 15777 15780 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96909912 10808729600 7478 33554432000 4194304 4196468 140721417486512 140157927777824 140158893471445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15800] ppid=15777 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15780/task/15800/stat : 15800 (java) S 15777 15780 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96909912 10808729600 7478 33554432000 4194304 4196468 140721417486512 140157926724976 140158893471445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15808] ppid=15777 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15780/task/15808/stat : 15808 (java) S 15777 15780 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96909915 10808729600 7478 33554432000 4194304 4196468 140721417486512 140157925673296 140158893479835 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15809] ppid=15777 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15780/task/15809/stat : 15809 (java) S 15777 15780 6338 0 -1 1077944384 437 0 0 0 0 0 0 0 20 0 15 0 96909915 10808729600 7478 33554432000 4194304 4196468 140721417486512 140157924620656 140158893472386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15810] ppid=15777 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15780/task/15810/stat : 15810 (java) S 15777 15780 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96909915 10808729600 7478 33554432000 4194304 4196468 140721417486512 140157923567856 140158893472386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15811] ppid=15777 vsize=10555400 memory=140236540040832 CPUtime=0.02 cores=1,3,5,7
/proc/15780/task/15811/stat : 15811 (java) S 15777 15780 6338 0 -1 1077944384 365 0 0 0 2 0 0 0 20 0 15 0 96909915 10808729600 7478 33554432000 4194304 4196468 140721417486512 140157922515056 140158893472386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15812] ppid=15777 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15780/task/15812/stat : 15812 (java) S 15777 15780 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96909915 10808729600 7478 33554432000 4194304 4196468 140721417486512 140157921462496 140158893471445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15813] ppid=15777 vsize=10555400 memory=140236540040832 CPUtime=0 cores=1,3,5,7
/proc/15780/task/15813/stat : 15813 (java) S 15777 15780 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96909915 10808729600 7478 33554432000 4194304 4196468 140721417486512 140157920410800 140158893472386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 29912 KiB

[startup+0.210969 s]*
/proc/loadavg: 3.52 3.30 2.82 8/215 15819
/proc/meminfo: memFree=28843200/32770624 swapFree=67108860/67108860
[pid=15780] ppid=15777 vsize=10555400 memory=42388 CPUtime=0.34 cores=1,3,5,7
/proc/15780/stat : 15780 (java) S 15777 15780 6338 0 -1 1077944320 8205 0 0 0 31 3 0 0 20 0 15 0 96909909 10808729600 10597 33554432000 4194304 4196468 140721417486512 140721417469056 140158893461239 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
/proc/15780/statm: 2638850 10597 2996 1 0 2627263 0
[pid=15780/tid=15783] ppid=15777 vsize=10555400 memory=6735269665583770266 CPUtime=0.2 cores=1,3,5,7
/proc/15780/task/15783/stat : 15783 (java) R 15777 15780 6338 0 -1 4202560 5002 0 0 0 18 2 0 0 20 0 15 0 96909909 10808729600 10597 33554432000 4194304 4196468 140721417486512 140158897697168 140158893483165 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15787] ppid=15777 vsize=10555400 memory=4211973962744831370 CPUtime=0 cores=1,3,5,7
/proc/15780/task/15787/stat : 15787 (java) S 15777 15780 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96909910 10808729600 10597 33554432000 4194304 4196468 140721417486512 140158819535504 140158893471445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15788] ppid=15777 vsize=10555400 memory=140236540040832 CPUtime=0 cores=1,3,5,7
/proc/15780/task/15788/stat : 15788 (java) S 15777 15780 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96909910 10808729600 10597 33554432000 4194304 4196468 140721417486512 140158818482704 140158893471445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15789] ppid=15777 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15780/task/15789/stat : 15789 (java) S 15777 15780 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96909910 10808729600 10597 33554432000 4194304 4196468 140721417486512 140158817429904 140158893471445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15790] ppid=15777 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15780/task/15790/stat : 15790 (java) S 15777 15780 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96909910 10808729600 10597 33554432000 4194304 4196468 140721417486512 140158816377104 140158893471445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15798] ppid=15777 vsize=10555400 memory=140236540040832 CPUtime=0 cores=1,3,5,7
/proc/15780/task/15798/stat : 15798 (java) S 15777 15780 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96909912 10808729600 10597 33554432000 4194304 4196468 140721417486512 140157928831856 140158893472386 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15799] ppid=15777 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15780/task/15799/stat : 15799 (java) S 15777 15780 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96909912 10808729600 10597 33554432000 4194304 4196468 140721417486512 140157927777824 140158893471445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15800] ppid=15777 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15780/task/15800/stat : 15800 (java) S 15777 15780 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96909912 10808729600 10597 33554432000 4194304 4196468 140721417486512 140157926724976 140158893471445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15808] ppid=15777 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15780/task/15808/stat : 15808 (java) S 15777 15780 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96909915 10808729600 10597 33554432000 4194304 4196468 140721417486512 140157925673296 140158893479835 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15809] ppid=15777 vsize=10555400 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/15780/task/15809/stat : 15809 (java) R 15777 15780 6338 0 -1 1077944384 652 0 0 0 1 0 0 0 20 0 15 0 96909915 10808729600 10597 33554432000 4194304 4196468 140721417486512 140157924613680 140158893471445 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15810] ppid=15777 vsize=10555400 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/15780/task/15810/stat : 15810 (java) R 15777 15780 6338 0 -1 4202560 303 0 0 0 3 0 0 0 20 0 15 0 96909915 10808729600 10597 33554432000 4194304 4196468 140721417486512 140157923558632 140158872958295 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15811] ppid=15777 vsize=10555400 memory=140236540040832 CPUtime=0.07 cores=1,3,5,7
/proc/15780/task/15811/stat : 15811 (java) R 15777 15780 6338 0 -1 4202560 898 0 0 0 7 0 0 0 20 0 15 0 96909915 10808729600 10597 33554432000 4194304 4196468 140721417486512 140157922512024 140158885698366 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15812] ppid=15777 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15780/task/15812/stat : 15812 (java) S 15777 15780 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96909915 10808729600 10597 33554432000 4194304 4196468 140721417486512 140157921462496 140158893471445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15813] ppid=15777 vsize=10555400 memory=140236540040832 CPUtime=0 cores=1,3,5,7
/proc/15780/task/15813/stat : 15813 (java) S 15777 15780 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96909915 10808729600 10597 33554432000 4194304 4196468 140721417486512 140157920410800 140158893472386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 42388 KiB

[startup+0.314839 s]*
/proc/loadavg: 3.52 3.30 2.82 7/215 15819
/proc/meminfo: memFree=28817516/32770624 swapFree=67108860/67108860
[pid=15780] ppid=15777 vsize=10555476 memory=53140 CPUtime=0.65 cores=1,3,5,7
/proc/15780/stat : 15780 (java) S 15777 15780 6338 0 -1 1077944320 10543 0 0 0 62 3 0 0 20 0 15 0 96909909 10808807424 13285 33554432000 4194304 4196468 140721417486512 140721417469056 140158893461239 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
/proc/15780/statm: 2638869 13285 3052 1 0 2627263 0
[pid=15780/tid=15783] ppid=15777 vsize=10555476 memory=26467206 CPUtime=0.29 cores=1,3,5,7
/proc/15780/task/15783/stat : 15783 (java) S 15777 15780 6338 0 -1 1077944384 5621 0 0 0 27 2 0 0 20 0 15 0 96909909 10808807424 13285 33554432000 4194304 4196468 140721417486512 140158897690096 140158893471445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15787] ppid=15777 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15780/task/15787/stat : 15787 (java) S 15777 15780 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96909910 10808807424 13285 33554432000 4194304 4196468 140721417486512 140158819535504 140158893471445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15788] ppid=15777 vsize=10555476 memory=280472926613120 CPUtime=0 cores=1,3,5,7
/proc/15780/task/15788/stat : 15788 (java) S 15777 15780 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96909910 10808807424 13285 33554432000 4194304 4196468 140721417486512 140158818482704 140158893471445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15789] ppid=15777 vsize=10555476 memory=280472773179168 CPUtime=0 cores=1,3,5,7
/proc/15780/task/15789/stat : 15789 (java) S 15777 15780 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96909910 10808807424 13285 33554432000 4194304 4196468 140721417486512 140158817429904 140158893471445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15790] ppid=15777 vsize=10555476 memory=140236386572303 CPUtime=0 cores=1,3,5,7
/proc/15780/task/15790/stat : 15790 (java) S 15777 15780 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96909910 10808807424 13285 33554432000 4194304 4196468 140721417486512 140158816377104 140158893471445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15798] ppid=15777 vsize=10555476 memory=280472926620032 CPUtime=0 cores=1,3,5,7
/proc/15780/task/15798/stat : 15798 (java) S 15777 15780 6338 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 96909912 10808807424 13285 33554432000 4194304 4196468 140721417486512 140157928831856 140158893472386 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15799] ppid=15777 vsize=10555476 memory=140236386576911 CPUtime=0 cores=1,3,5,7
/proc/15780/task/15799/stat : 15799 (java) S 15777 15780 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96909912 10808807424 13285 33554432000 4194304 4196468 140721417486512 140157927777824 140158893471445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15800] ppid=15777 vsize=10555476 memory=140236386585580 CPUtime=0 cores=1,3,5,7
/proc/15780/task/15800/stat : 15800 (java) S 15777 15780 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96909912 10808807424 13285 33554432000 4194304 4196468 140721417486512 140157926724976 140158893471445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15808] ppid=15777 vsize=10555476 memory=140236386587885 CPUtime=0 cores=1,3,5,7
/proc/15780/task/15808/stat : 15808 (java) S 15777 15780 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96909915 10808807424 13285 33554432000 4194304 4196468 140721417486512 140157925673296 140158893479835 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15809] ppid=15777 vsize=10555476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15780/task/15809/stat : 15809 (java) R 15777 15780 6338 0 -1 1077944384 1081 0 0 0 7 0 0 0 20 0 15 0 96909915 10808807424 13285 33554432000 4194304 4196468 140721417486512 140157924609648 140158893471445 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15810] ppid=15777 vsize=10555476 memory=-1 CPUtime=0.12 cores=1,3,5,7
/proc/15780/task/15810/stat : 15810 (java) S 15777 15780 6338 0 -1 1077944384 1239 0 0 0 12 0 0 0 20 0 15 0 96909915 10808807424 13285 33554432000 4194304 4196468 140721417486512 140157923567856 140158893472386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15811] ppid=15777 vsize=10555476 memory=140236540040832 CPUtime=0.13 cores=1,3,5,7
/proc/15780/task/15811/stat : 15811 (java) S 15777 15780 6338 0 -1 1077944384 1230 0 0 0 13 0 0 0 20 0 15 0 96909915 10808807424 13285 33554432000 4194304 4196468 140721417486512 140157922515056 140158893472386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15812] ppid=15777 vsize=10555476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15780/task/15812/stat : 15812 (java) S 15777 15780 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96909915 10808807424 13285 33554432000 4194304 4196468 140721417486512 140157921462496 140158893471445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15813] ppid=15777 vsize=10555476 memory=140236540070744 CPUtime=0 cores=1,3,5,7
/proc/15780/task/15813/stat : 15813 (java) S 15777 15780 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96909915 10808807424 13285 33554432000 4194304 4196468 140721417486512 140157920410800 140158893472386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 53140 KiB

[startup+0.70121 s]
/proc/loadavg: 3.52 3.30 2.82 7/215 15819
/proc/meminfo: memFree=28766884/32770624 swapFree=67108860/67108860
[pid=15780] ppid=15777 vsize=10555476 memory=229128 CPUtime=1.88 cores=1,3,5,7
/proc/15780/stat : 15780 (java) S 15777 15780 6338 0 -1 1077944320 12238 0 0 0 175 13 0 0 20 0 15 0 96909909 10808807424 57282 33554432000 4194304 4196468 140721417486512 140721417469056 140158893461239 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
/proc/15780/statm: 2638869 57282 3100 1 0 2627263 0
[pid=15780/tid=15783] ppid=15777 vsize=10555476 memory=0 CPUtime=0.62 cores=1,3,5,7
/proc/15780/task/15783/stat : 15783 (java) R 15777 15780 6338 0 -1 4202560 5847 0 0 0 58 4 0 0 20 0 15 0 96909909 10808807424 57282 33554432000 4194304 4196468 140721417486512 140158897698000 140158493176032 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15787] ppid=15777 vsize=10555476 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/15780/task/15787/stat : 15787 (java) S 15777 15780 6338 0 -1 1077944384 35 0 0 0 3 1 0 0 20 0 15 0 96909910 10808807424 57282 33554432000 4194304 4196468 140721417486512 140158819535504 140158893471445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15788] ppid=15777 vsize=10555476 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/15780/task/15788/stat : 15788 (java) S 15777 15780 6338 0 -1 1077944384 32 0 0 0 2 2 0 0 20 0 15 0 96909910 10808807424 57282 33554432000 4194304 4196468 140721417486512 140158818482704 140158893471445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15789] ppid=15777 vsize=10555476 memory=8174711894691100213 CPUtime=0.05 cores=1,3,5,7
/proc/15780/task/15789/stat : 15789 (java) S 15777 15780 6338 0 -1 1077944384 45 0 0 0 3 2 0 0 20 0 15 0 96909910 10808807424 57282 33554432000 4194304 4196468 140721417486512 140158817429904 140158893471445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15790] ppid=15777 vsize=10555476 memory=5787495302041002816 CPUtime=0.04 cores=1,3,5,7
/proc/15780/task/15790/stat : 15790 (java) S 15777 15780 6338 0 -1 1077944384 45 0 0 0 3 1 0 0 20 0 15 0 96909910 10808807424 57282 33554432000 4194304 4196468 140721417486512 140158816377104 140158893471445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15798] ppid=15777 vsize=10555476 memory=5792825802846453857 CPUtime=0 cores=1,3,5,7
/proc/15780/task/15798/stat : 15798 (java) S 15777 15780 6338 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 96909912 10808807424 57282 33554432000 4194304 4196468 140721417486512 140157928831856 140158893472386 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15799] ppid=15777 vsize=10555476 memory=3467824671636873280 CPUtime=0 cores=1,3,5,7
/proc/15780/task/15799/stat : 15799 (java) S 15777 15780 6338 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 96909912 10808807424 57282 33554432000 4194304 4196468 140721417486512 140157927777824 140158893471445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15800] ppid=15777 vsize=10555476 memory=8584 CPUtime=0 cores=1,3,5,7
/proc/15780/task/15800/stat : 15800 (java) S 15777 15780 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96909912 10808807424 57282 33554432000 4194304 4196468 140721417486512 140157926724976 140158893471445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15808] ppid=15777 vsize=10555476 memory=792 CPUtime=0 cores=1,3,5,7
/proc/15780/task/15808/stat : 15808 (java) S 15777 15780 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96909915 10808807424 57282 33554432000 4194304 4196468 140721417486512 140157925673296 140158893479835 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15809] ppid=15777 vsize=10555476 memory=1204 CPUtime=0.35 cores=1,3,5,7
/proc/15780/task/15809/stat : 15809 (java) R 15777 15780 6338 0 -1 4202560 1755 0 0 0 35 0 0 0 20 0 15 0 96909915 10808807424 57282 33554432000 4194304 4196468 140721417486512 140157924605648 140158877372624 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15810] ppid=15777 vsize=10555476 memory=1716 CPUtime=0.39 cores=1,3,5,7
/proc/15780/task/15810/stat : 15810 (java) R 15777 15780 6338 0 -1 4202560 1399 0 0 0 39 0 0 0 20 0 15 0 96909915 10808807424 57282 33554432000 4194304 4196468 140721417486512 140157923566992 140158886558181 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15811] ppid=15777 vsize=10555476 memory=1440 CPUtime=0.27 cores=1,3,5,7
/proc/15780/task/15811/stat : 15811 (java) S 15777 15780 6338 0 -1 1077944384 1636 0 0 0 27 0 0 0 20 0 15 0 96909915 10808807424 57282 33554432000 4194304 4196468 140721417486512 140157922515056 140158893472386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15812] ppid=15777 vsize=10555476 memory=15876 CPUtime=0 cores=1,3,5,7
/proc/15780/task/15812/stat : 15812 (java) S 15777 15780 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96909915 10808807424 57282 33554432000 4194304 4196468 140721417486512 140157921462496 140158893471445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15813] ppid=15777 vsize=10555476 memory=16432 CPUtime=0 cores=1,3,5,7
/proc/15780/task/15813/stat : 15813 (java) S 15777 15780 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96909915 10808807424 57282 33554432000 4194304 4196468 140721417486512 140157920410800 140158893472386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
Current children cumulated CPU time: 1.88 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 229128 KiB

[startup+1.50081 s]
/proc/loadavg: 3.52 3.30 2.82 6/215 15819
/proc/meminfo: memFree=27933468/32770624 swapFree=67108860/67108860
[pid=15780] ppid=15777 vsize=10555476 memory=897400 CPUtime=4.2 cores=1,3,5,7
/proc/15780/stat : 15780 (java) S 15777 15780 6338 0 -1 1077944320 15563 0 0 0 370 50 0 0 20 0 15 0 96909909 10808807424 224350 33554432000 4194304 4196468 140721417486512 140721417469056 140158893461239 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
/proc/15780/statm: 2638869 224350 3115 1 0 2627263 0
[pid=15780/tid=15783] ppid=15777 vsize=10555476 memory=0 CPUtime=0.9 cores=1,3,5,7
/proc/15780/task/15783/stat : 15783 (java) S 15777 15780 6338 0 -1 1077944384 6264 0 0 0 81 9 0 0 20 0 15 0 96909909 10808807424 224350 33554432000 4194304 4196468 140721417486512 140158897697904 140158893471445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15787] ppid=15777 vsize=10555476 memory=0 CPUtime=0.54 cores=1,3,5,7
/proc/15780/task/15787/stat : 15787 (java) R 15777 15780 6338 0 -1 4202560 500 0 0 0 45 9 0 0 20 0 15 0 96909910 10808807424 224350 33554432000 4194304 4196468 140721417486512 140158819535392 140158875057787 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15788] ppid=15777 vsize=10555476 memory=0 CPUtime=0.51 cores=1,3,5,7
/proc/15780/task/15788/stat : 15788 (java) R 15777 15780 6338 0 -1 4202560 721 0 0 0 42 9 0 0 20 0 15 0 96909910 10808807424 224350 33554432000 4194304 4196468 140721417486512 140158818482600 140158886089447 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15789] ppid=15777 vsize=10555476 memory=0 CPUtime=0.56 cores=1,3,5,7
/proc/15780/task/15789/stat : 15789 (java) R 15777 15780 6338 0 -1 4202560 808 0 0 0 47 9 0 0 20 0 15 0 96909910 10808807424 224350 33554432000 4194304 4196468 140721417486512 140158817429904 140158886089447 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15790] ppid=15777 vsize=10555476 memory=0 CPUtime=0.56 cores=1,3,5,7
/proc/15780/task/15790/stat : 15790 (java) R 15777 15780 6338 0 -1 4202560 554 0 0 0 46 10 0 0 20 0 15 0 96909910 10808807424 224350 33554432000 4194304 4196468 140721417486512 140158816377104 140158886089447 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15798] ppid=15777 vsize=10555476 memory=38 CPUtime=0 cores=1,3,5,7
/proc/15780/task/15798/stat : 15798 (java) S 15777 15780 6338 0 -1 1077944384 554 0 0 0 0 0 0 0 20 0 15 0 96909912 10808807424 224350 33554432000 4194304 4196468 140721417486512 140157928830176 140158893471445 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0

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

[pid=15780/tid=15790] ppid=15777 vsize=10555476 memory=140236540039665 CPUtime=13.62 cores=1,3,5,7
/proc/15780/task/15790/stat : 15790 (java) R 15777 15780 6338 0 -1 4202560 18186 0 0 0 1285 77 0 0 20 0 15 0 96909910 10808807424 1089116 33554432000 4194304 4196468 140721417486512 140158816377304 140158877909953 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15798] ppid=15777 vsize=10555476 memory=288230604657656139 CPUtime=2.36 cores=1,3,5,7
/proc/15780/task/15798/stat : 15798 (java) S 15777 15780 6338 0 -1 1077944384 7486 0 0 0 235 1 0 0 20 0 15 0 96909912 10808807424 1089116 33554432000 4194304 4196468 140721417486512 140157928830368 140158893471445 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15799] ppid=15777 vsize=10555476 memory=4278368 CPUtime=0 cores=1,3,5,7
/proc/15780/task/15799/stat : 15799 (java) S 15777 15780 6338 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 96909912 10808807424 1089116 33554432000 4194304 4196468 140721417486512 140157927777824 140158893471445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15800] ppid=15777 vsize=10555476 memory=67916317867460 CPUtime=0 cores=1,3,5,7
/proc/15780/task/15800/stat : 15800 (java) S 15777 15780 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96909912 10808807424 1089116 33554432000 4194304 4196468 140721417486512 140157926724976 140158893471445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15808] ppid=15777 vsize=10555476 memory=56 CPUtime=0 cores=1,3,5,7
/proc/15780/task/15808/stat : 15808 (java) S 15777 15780 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96909915 10808807424 1089116 33554432000 4194304 4196468 140721417486512 140157925673296 140158893479835 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15809] ppid=15777 vsize=10555476 memory=576460756329984873 CPUtime=0.38 cores=1,3,5,7
/proc/15780/task/15809/stat : 15809 (java) S 15777 15780 6338 0 -1 1077944384 1769 0 0 0 38 0 0 0 20 0 15 0 96909915 10808807424 1089116 33554432000 4194304 4196468 140721417486512 140157924620656 140158893472386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15810] ppid=15777 vsize=10555476 memory=-7882018838379555936 CPUtime=0.42 cores=1,3,5,7
/proc/15780/task/15810/stat : 15810 (java) S 15777 15780 6338 0 -1 1077944384 1411 0 0 0 42 0 0 0 20 0 15 0 96909915 10808807424 1089116 33554432000 4194304 4196468 140721417486512 140157923567856 140158893472386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15811] ppid=15777 vsize=10555476 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/15780/task/15811/stat : 15811 (java) S 15777 15780 6338 0 -1 1077944384 2804 0 0 0 30 0 0 0 20 0 15 0 96909915 10808807424 1089116 33554432000 4194304 4196468 140721417486512 140157922515056 140158893472386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15812] ppid=15777 vsize=10555476 memory=6008736871714546774 CPUtime=0 cores=1,3,5,7
/proc/15780/task/15812/stat : 15812 (java) S 15777 15780 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96909915 10808807424 1089116 33554432000 4194304 4196468 140721417486512 140157921462496 140158893471445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15813] ppid=15777 vsize=10555476 memory=7649399367035008305 CPUtime=0.01 cores=1,3,5,7
/proc/15780/task/15813/stat : 15813 (java) S 15777 15780 6338 0 -1 1077944384 439 0 0 0 0 1 0 0 20 0 15 0 96909915 10808807424 1089116 33554432000 4194304 4196468 140721417486512 140157920410800 140158893472386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
Current children cumulated CPU time: 67.3 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 4356464 KiB

[startup+51.11 s]
/proc/loadavg: 4.22 3.52 2.92 6/215 15819
/proc/meminfo: memFree=18511440/32770624 swapFree=67108860/67108860
[pid=15780] ppid=15777 vsize=10555476 memory=5440296 CPUtime=134.61 cores=1,3,5,7
/proc/15780/stat : 15780 (java) S 15777 15780 6338 0 -1 1077944320 143049 0 0 0 13057 404 0 0 20 0 15 0 96909909 10808807424 1360074 33554432000 4194304 4196468 140721417486512 140721417469056 140158893461239 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
/proc/15780/statm: 2638869 1360074 3135 1 0 2627263 0
[pid=15780/tid=15783] ppid=15777 vsize=10555476 memory=5439828 CPUtime=18.92 cores=1,3,5,7
/proc/15780/task/15783/stat : 15783 (java) S 15777 15780 6338 0 -1 1077944384 19102 0 0 0 1871 21 0 0 20 0 15 0 96909909 10808807424 1360074 33554432000 4194304 4196468 140721417486512 140158897698320 140158893471445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15787] ppid=15777 vsize=10555476 memory=5398864 CPUtime=27.5 cores=1,3,5,7
/proc/15780/task/15787/stat : 15787 (java) S 15777 15780 6338 0 -1 1077944384 20358 0 0 0 2653 97 0 0 20 0 15 0 96909910 10808807424 1360074 33554432000 4194304 4196468 140721417486512 140158819535504 140158893471445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15788] ppid=15777 vsize=10555476 memory=5409108 CPUtime=27.6 cores=1,3,5,7
/proc/15780/task/15788/stat : 15788 (java) S 15777 15780 6338 0 -1 1077944384 25800 0 0 0 2672 88 0 0 20 0 15 0 96909910 10808807424 1360074 33554432000 4194304 4196468 140721417486512 140158818482704 140158893471445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15789] ppid=15777 vsize=10555476 memory=4044 CPUtime=27.53 cores=1,3,5,7
/proc/15780/task/15789/stat : 15789 (java) S 15777 15780 6338 0 -1 1077944384 26357 0 0 0 2657 96 0 0 20 0 15 0 96909910 10808807424 1360074 33554432000 4194304 4196468 140721417486512 140158817429904 140158893471445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15790] ppid=15777 vsize=10555476 memory=5440296 CPUtime=27.57 cores=1,3,5,7
/proc/15780/task/15790/stat : 15790 (java) S 15777 15780 6338 0 -1 1077944384 30583 0 0 0 2661 96 0 0 20 0 15 0 96909910 10808807424 1360074 33554432000 4194304 4196468 140721417486512 140158816377104 140158893471445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15798] ppid=15777 vsize=10555476 memory=4096 CPUtime=4.25 cores=1,3,5,7
/proc/15780/task/15798/stat : 15798 (java) R 15777 15780 6338 0 -1 4202560 12661 0 0 0 424 1 0 0 20 0 15 0 96909912 10808807424 1360074 33554432000 4194304 4196468 140721417486512 140157928830288 140158878161930 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15799] ppid=15777 vsize=10555476 memory=28488 CPUtime=0 cores=1,3,5,7
/proc/15780/task/15799/stat : 15799 (java) S 15777 15780 6338 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 96909912 10808807424 1360074 33554432000 4194304 4196468 140721417486512 140157927777824 140158893471445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15800] ppid=15777 vsize=10555476 memory=4096 CPUtime=0 cores=1,3,5,7
/proc/15780/task/15800/stat : 15800 (java) S 15777 15780 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96909912 10808807424 1360074 33554432000 4194304 4196468 140721417486512 140157926724976 140158893471445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15808] ppid=15777 vsize=10555476 memory=28488 CPUtime=0 cores=1,3,5,7
/proc/15780/task/15808/stat : 15808 (java) S 15777 15780 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96909915 10808807424 1360074 33554432000 4194304 4196468 140721417486512 140157925673296 140158893479835 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15809] ppid=15777 vsize=10555476 memory=0 CPUtime=0.38 cores=1,3,5,7
/proc/15780/task/15809/stat : 15809 (java) S 15777 15780 6338 0 -1 1077944384 1771 0 0 0 38 0 0 0 20 0 15 0 96909915 10808807424 1360074 33554432000 4194304 4196468 140721417486512 140157924620704 140158893471445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15810] ppid=15777 vsize=10555476 memory=56 CPUtime=0.43 cores=1,3,5,7
/proc/15780/task/15810/stat : 15810 (java) S 15777 15780 6338 0 -1 1077944384 1741 0 0 0 43 0 0 0 20 0 15 0 96909915 10808807424 1360074 33554432000 4194304 4196468 140721417486512 140157923567616 140158893471445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15811] ppid=15777 vsize=10555476 memory=7649399388627219761 CPUtime=0.3 cores=1,3,5,7
/proc/15780/task/15811/stat : 15811 (java) S 15777 15780 6338 0 -1 1077944384 2808 0 0 0 30 0 0 0 20 0 15 0 96909915 10808807424 1360074 33554432000 4194304 4196468 140721417486512 140157922515104 140158893471445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15812] ppid=15777 vsize=10555476 memory=7649399392922187057 CPUtime=0 cores=1,3,5,7
/proc/15780/task/15812/stat : 15812 (java) S 15777 15780 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96909915 10808807424 1360074 33554432000 4194304 4196468 140721417486512 140157921462496 140158893471445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15813] ppid=15777 vsize=10555476 memory=5184920 CPUtime=0.03 cores=1,3,5,7
/proc/15780/task/15813/stat : 15813 (java) S 15777 15780 6338 0 -1 1077944384 507 0 0 0 1 2 0 0 20 0 15 0 96909915 10808807424 1360074 33554432000 4194304 4196468 140721417486512 140157920410800 140158893472386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
Current children cumulated CPU time: 134.61 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 5440296 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+97.4092 s]
/proc/loadavg: 4.19 3.59 2.97 6/215 15820
/proc/meminfo: memFree=14626060/32770624 swapFree=67108860/67108860
[pid=15780] ppid=15777 vsize=10555476 memory=7189360 CPUtime=252.16 cores=1,3,5,7
/proc/15780/stat : 15780 (java) S 15777 15780 6338 0 -1 1077944320 212482 0 0 0 24698 518 0 0 20 0 15 0 96909909 10808807424 1797340 33554432000 4194304 4196468 140721417486512 140721417469056 140158893461239 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
/proc/15780/statm: 2638869 1797340 3135 1 0 2627263 0
[pid=15780/tid=15783] ppid=15777 vsize=10555476 memory=288293255295271336 CPUtime=39.39 cores=1,3,5,7
/proc/15780/task/15783/stat : 15783 (java) S 15777 15780 6338 0 -1 1077944384 22902 0 0 0 3917 22 0 0 20 0 15 0 96909909 10808807424 1797340 33554432000 4194304 4196468 140721417486512 140158897698352 140158893471445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15787] ppid=15777 vsize=10555476 memory=301794141379411714 CPUtime=51.3 cores=1,3,5,7
/proc/15780/task/15787/stat : 15787 (java) R 15777 15780 6338 0 -1 4202560 35402 0 0 0 5003 127 0 0 20 0 15 0 96909910 10808807424 1797340 33554432000 4194304 4196468 140721417486512 140158819535504 140158878505408 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15788] ppid=15777 vsize=10555476 memory=6656426216303648864 CPUtime=51.59 cores=1,3,5,7
/proc/15780/task/15788/stat : 15788 (java) R 15777 15780 6338 0 -1 4202560 41227 0 0 0 5045 114 0 0 20 0 15 0 96909910 10808807424 1797340 33554432000 4194304 4196468 140721417486512 140158818482824 140158878489552 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15789] ppid=15777 vsize=10555476 memory=6944656575208382560 CPUtime=51.38 cores=1,3,5,7
/proc/15780/task/15789/stat : 15789 (java) R 15777 15780 6338 0 -1 4202560 39637 0 0 0 5016 122 0 0 20 0 15 0 96909910 10808807424 1797340 33554432000 4194304 4196468 140721417486512 140158817430024 140158878505325 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15790] ppid=15777 vsize=10555476 memory=6944656592455360604 CPUtime=51.34 cores=1,3,5,7
/proc/15780/task/15790/stat : 15790 (java) R 15777 15780 6338 0 -1 4202560 42879 0 0 0 5009 125 0 0 20 0 15 0 96909910 10808807424 1797340 33554432000 4194304 4196468 140721417486512 140158816377104 140158875087184 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15798] ppid=15777 vsize=10555476 memory=7236229500900889449 CPUtime=5.9 cores=1,3,5,7
/proc/15780/task/15798/stat : 15798 (java) S 15777 15780 6338 0 -1 1077944384 21964 0 0 0 588 2 0 0 20 0 15 0 96909912 10808807424 1797340 33554432000 4194304 4196468 140721417486512 140157928830368 140158893471445 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15799] ppid=15777 vsize=10555476 memory=7158874511748851560 CPUtime=0 cores=1,3,5,7
/proc/15780/task/15799/stat : 15799 (java) S 15777 15780 6338 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 96909912 10808807424 1797340 33554432000 4194304 4196468 140721417486512 140157927777824 140158893471445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15800] ppid=15777 vsize=10555476 memory=280472773252832 CPUtime=0 cores=1,3,5,7
/proc/15780/task/15800/stat : 15800 (java) S 15777 15780 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96909912 10808807424 1797340 33554432000 4194304 4196468 140721417486512 140157926724976 140158893471445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15808] ppid=15777 vsize=10555476 memory=280472772935920 CPUtime=0 cores=1,3,5,7
/proc/15780/task/15808/stat : 15808 (java) S 15777 15780 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96909915 10808807424 1797340 33554432000 4194304 4196468 140721417486512 140157925673296 140158893479835 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15809] ppid=15777 vsize=10555476 memory=-7966001967407402336 CPUtime=0.38 cores=1,3,5,7
/proc/15780/task/15809/stat : 15809 (java) S 15777 15780 6338 0 -1 1077944384 1777 0 0 0 38 0 0 0 20 0 15 0 96909915 10808807424 1797340 33554432000 4194304 4196468 140721417486512 140157924620656 140158893472386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15810] ppid=15777 vsize=10555476 memory=7679937479730885434 CPUtime=0.43 cores=1,3,5,7
/proc/15780/task/15810/stat : 15810 (java) S 15777 15780 6338 0 -1 1077944384 1973 0 0 0 43 0 0 0 20 0 15 0 96909915 10808807424 1797340 33554432000 4194304 4196468 140721417486512 140157923567856 140158893472386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15811] ppid=15777 vsize=10555476 memory=307089419574457703 CPUtime=0.3 cores=1,3,5,7
/proc/15780/task/15811/stat : 15811 (java) S 15777 15780 6338 0 -1 1077944384 2816 0 0 0 30 0 0 0 20 0 15 0 96909915 10808807424 1797340 33554432000 4194304 4196468 140721417486512 140157922515056 140158893472386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15812] ppid=15777 vsize=10555476 memory=3834312830052744061 CPUtime=0 cores=1,3,5,7
/proc/15780/task/15812/stat : 15812 (java) S 15777 15780 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96909915 10808807424 1797340 33554432000 4194304 4196468 140721417486512 140157921462496 140158893471445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15813] ppid=15777 vsize=10555476 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/15780/task/15813/stat : 15813 (java) S 15777 15780 6338 0 -1 1077944384 544 0 0 0 3 3 0 0 20 0 15 0 96909915 10808807424 1797340 33554432000 4194304 4196468 140721417486512 140157920410800 140158893472386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
Current children cumulated CPU time: 252.16 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 7189360 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+97.8143 s]
# the end of solver process 15780 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=247.852 s, system=5.21768 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+97.6007 s]
/proc/loadavg: 4.19 3.59 2.97 6/215 15820
/proc/meminfo: memFree=14626060/32770624 swapFree=67108860/67108860
[pid=15780] ppid=15777 vsize=10755168 memory=7186484 CPUtime=252.84 cores=1,3,5,7
/proc/15780/stat : 15780 (java) S 15777 15780 6338 0 -1 1077944320 213044 0 0 0 24766 518 0 0 20 0 17 0 96909909 11013292032 1796621 33554432000 4194304 4196468 140721417486512 140721417469056 140158893461239 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
/proc/15780/statm: 2688792 1796621 3137 1 0 2677186 0
[pid=15780/tid=15783] ppid=15777 vsize=10755168 memory=28488 CPUtime=39.42 cores=1,3,5,7
/proc/15780/task/15783/stat : 15783 (java) R 15777 15780 6338 0 -1 4202560 22904 0 0 0 3920 22 0 0 20 0 17 0 96909909 11013292032 1796621 33554432000 4194304 4196468 140721417486512 140158897698352 140158879529358 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15787] ppid=15777 vsize=10755168 memory=2428 CPUtime=51.46 cores=1,3,5,7
/proc/15780/task/15787/stat : 15787 (java) S 15777 15780 6338 0 -1 1077944384 35408 0 0 0 5019 127 0 0 20 0 17 0 96909910 11013292032 1796621 33554432000 4194304 4196468 140721417486512 140158819535504 140158893471445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15788] ppid=15777 vsize=10755168 memory=1292 CPUtime=51.75 cores=1,3,5,7
/proc/15780/task/15788/stat : 15788 (java) S 15777 15780 6338 0 -1 1077944384 41235 0 0 0 5061 114 0 0 20 0 17 0 96909910 11013292032 1796621 33554432000 4194304 4196468 140721417486512 140158818482704 140158893471445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15789] ppid=15777 vsize=10755168 memory=7206100 CPUtime=51.54 cores=1,3,5,7
/proc/15780/task/15789/stat : 15789 (java) S 15777 15780 6338 0 -1 1077944384 39647 0 0 0 5032 122 0 0 20 0 17 0 96909910 11013292032 1796621 33554432000 4194304 4196468 140721417486512 140158817429904 140158893471445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15790] ppid=15777 vsize=10755168 memory=792 CPUtime=51.5 cores=1,3,5,7
/proc/15780/task/15790/stat : 15790 (java) S 15777 15780 6338 0 -1 1077944384 42879 0 0 0 5025 125 0 0 20 0 17 0 96909910 11013292032 1796621 33554432000 4194304 4196468 140721417486512 140158816377104 140158893471445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15798] ppid=15777 vsize=10755168 memory=1204 CPUtime=5.9 cores=1,3,5,7
/proc/15780/task/15798/stat : 15798 (java) S 15777 15780 6338 0 -1 1077944384 21964 0 0 0 588 2 0 0 20 0 17 0 96909912 11013292032 1796621 33554432000 4194304 4196468 140721417486512 140157928831856 140158893472386 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15799] ppid=15777 vsize=10755168 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/15780/task/15799/stat : 15799 (java) S 15777 15780 6338 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 17 0 96909912 11013292032 1796621 33554432000 4194304 4196468 140721417486512 140157927777824 140158893471445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15800] ppid=15777 vsize=10755168 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/15780/task/15800/stat : 15800 (java) S 15777 15780 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 17 0 96909912 11013292032 1796621 33554432000 4194304 4196468 140721417486512 140157926724976 140158893471445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15808] ppid=15777 vsize=10755168 memory=15876 CPUtime=0 cores=1,3,5,7
/proc/15780/task/15808/stat : 15808 (java) S 15777 15780 6338 0 -1 1077944384 146 0 0 0 0 0 0 0 20 0 17 0 96909915 11013292032 1796621 33554432000 4194304 4196468 140721417486512 140157925673296 140158893479835 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15809] ppid=15777 vsize=10755168 memory=7199924 CPUtime=0.38 cores=1,3,5,7
/proc/15780/task/15809/stat : 15809 (java) S 15777 15780 6338 0 -1 1077944384 1777 0 0 0 38 0 0 0 20 0 17 0 96909915 11013292032 1796621 33554432000 4194304 4196468 140721417486512 140157924620656 140158893472386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15810] ppid=15777 vsize=10755168 memory=316378119475036471 CPUtime=0.43 cores=1,3,5,7
/proc/15780/task/15810/stat : 15810 (java) S 15777 15780 6338 0 -1 1077944384 1973 0 0 0 43 0 0 0 20 0 17 0 96909915 11013292032 1796621 33554432000 4194304 4196468 140721417486512 140157923567856 140158893472386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15811] ppid=15777 vsize=10755168 memory=16099256251451951 CPUtime=0.3 cores=1,3,5,7
/proc/15780/task/15811/stat : 15811 (java) S 15777 15780 6338 0 -1 1077944384 2912 0 0 0 30 0 0 0 20 0 17 0 96909915 11013292032 1796621 33554432000 4194304 4196468 140721417486512 140157922515056 140158893472386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15812] ppid=15777 vsize=10755168 memory=108 CPUtime=0 cores=1,3,5,7
/proc/15780/task/15812/stat : 15812 (java) S 15777 15780 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 96909915 11013292032 1796621 33554432000 4194304 4196468 140721417486512 140157921462496 140158893471445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
[pid=15780/tid=15813] ppid=15777 vsize=10755168 memory=282 CPUtime=0.06 cores=1,3,5,7
/proc/15780/task/15813/stat : 15813 (java) S 15777 15780 6338 0 -1 1077944384 544 0 0 0 3 3 0 0 20 0 17 0 96909915 11013292032 1796621 33554432000 4194304 4196468 140721417486512 140157920410800 140158893472386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 20877312 140721417491595 140721417491748 140721417491748 140721417494479 0
Current children cumulated CPU time: 252.84 s
Current children cumulated vsize: 10755168 KiB
Current children cumulated memory: 7186484 KiB

[startup+97.8068 s]*
/proc/loadavg: 4.19 3.59 2.97 6/202 15823
/proc/meminfo: memFree=21548680/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 97.8167
CPU time (s): 253.07
CPU user time (s): 247.852
CPU system time (s): 5.21768
CPU usage (%): 258.718
Max. virtual memory (cumulated for all children) (KiB): 10755168
Max. memory (cumulated for all children) (KiB): 7209588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 247.852
system time used= 5.21768
maximum resident set size= 7209588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 213252
page faults= 0
swaps= 0
block input operations= 0
block output operations= 224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7239
involuntary context switches= 3593


# summary of solver processes directly reported to runsolver:
#   pid: 15780
#   total CPU time (s): 253.07
#   total CPU user time (s): 247.852
#   total CPU system time (s): 5.21768

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.632252 second user time and 1.04807 second system time

The end

Launcher Data 

Begin job on node148 at 2017-08-13 17:17:10
IDJOB=4258244
IDBENCH=115644
IDSOLVER=2643
FILE ID=node148/4258244-1502638288
RUNJOBID= node148-1502637430-15761
PBS_JOBID= 20628305
Free space on /tmp= 61616 MiB

SOLVER NAME= sat4j-CSP 2017-07-05
BENCH NAME= XCSP17/Scheduling/Scheduling-fs-taillard/Taillard-fs-200-10-2.xml
COMMAND LINE= java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4258244-1502638288/watcher-4258244-1502638288 -o /tmp/evaluation-result-4258244-1502638288/solver-4258244-1502638288 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node148-1502637430-15761 --watchdog 312  java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4258244-1502638288.xml

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

MD5SUM BENCH= 902fa3fa04f876c9ed200148bd67d93f
RANDOM SEED=460792134

node148.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.19
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.19
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.19
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.19
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:        28899048 kB
MemAvailable:   31993096 kB
Buffers:          203252 kB
Cached:          3180024 kB
SwapCached:            0 kB
Active:           738964 kB
Inactive:        2696076 kB
Active(anon):       2768 kB
Inactive(anon):    76916 kB
Active(file):     736196 kB
Inactive(file):  2619160 kB
Unevictable:        6208 kB
Mlocked:            6208 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              1568 kB
Writeback:             0 kB
AnonPages:         57820 kB
Mapped:            43672 kB
Shmem:             25224 kB
Slab:             135892 kB
SReclaimable:     109056 kB
SUnreclaim:        26836 kB
KernelStack:        3168 kB
PageTables:         4884 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     325168 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 61612 MiB
End job on node148 at 2017-08-13 17:18:48