Trace number 4119714

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j PB 2.3.6 Res+CP PB16? (TO) 1800.04 904.683

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-BIGINT-LIN/pbfvmc-formulae/
pbfvmc-formulae/hw256/normalized-hw256-vm98p-dec.opb.negationfix.opb
MD5SUM7b69339ab914a0ee0ae1c04a0acb6c7f
Bench CategoryDEC-BIGINT-LIN (no optimisation, big integers, linear constraints)
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
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables670720
Total number of constraints5752
Number of constraints which are clauses2619
Number of constraints which are cardinality constraints (but not clauses)2619
Number of constraints which are nor clauses,nor cardinality constraints514
Minimum length of a constraint256
Maximum length of a constraint2620
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 947734
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 2162769
Number of bits of the biggest sum of numbers22
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Glucose 2.1 dynamic restart strategy
0.10/0.11	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
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.10/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	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
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-4119714-1467270370.opb
0.10/0.11	c reading problem ... 
0.10/0.12	c  no objective function found
20.85/14.41	c ... done. Wall clock time 14.298s.
20.85/14.41	c declared #vars     670720
20.85/14.41	c #constraints  5752
20.85/14.41	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
20.85/14.41	c constraints type 
20.85/14.41	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2619
20.85/14.41	c org.sat4j.minisat.constraints.card.MinWatchCard => 2619
20.85/14.41	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 514
20.85/14.41	c 5752 constraints processed.
20.85/14.41	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
20.85/14.41	c constraints type 
20.85/14.41	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2619
20.85/14.41	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2619
20.85/14.41	c org.sat4j.pb.constraints.pb.MaxWatchPb => 514
20.85/14.41	c 5752 constraints processed.
40.10/23.61	c cleaning 2495 clauses out of 5000 with flag 19821/5000
59.93/33.30	c cleaning 4240 clauses out of 8507 with flag 64815/11002
78.31/42.47	c cleaning 5625 clauses out of 11266 with flag 107938/18001
88.12/47.39	c cleaning 6802 clauses out of 13641 with flag 146633/26001
102.34/54.47	c cleaning 7900 clauses out of 15838 with flag 197711/35000
118.34/62.49	c cleaning 8952 clauses out of 17938 with flag 248813/45000
137.34/71.90	c cleaning 9979 clauses out of 19988 with flag 303274/56002
167.54/87.03	c cleaning 10987 clauses out of 22008 with flag 358254/68001
196.93/101.76	c cleaning 11987 clauses out of 24021 with flag 479587/81001
233.95/120.28	c cleaning 12999 clauses out of 26036 with flag 616596/95003
284.16/145.94	c cleaning 13972 clauses out of 28035 with flag 700809/110001
314.75/161.20	c cleaning 14989 clauses out of 30066 with flag 797300/126004
355.98/181.85	c cleaning 15986 clauses out of 32076 with flag 896046/143003
402.56/205.15	c cleaning 16989 clauses out of 34088 with flag 1009773/161001
456.37/232.01	c cleaning 17991 clauses out of 36098 with flag 1134095/180000
513.56/260.65	c cleaning 18992 clauses out of 38107 with flag 1243693/200000
577.57/292.68	c cleaning 19996 clauses out of 40115 with flag 1369954/221000
651.96/329.81	c cleaning 20995 clauses out of 42119 with flag 1521168/243000
716.00/361.87	c cleaning 21999 clauses out of 44124 with flag 1684979/266000
804.25/405.81	c cleaning 22998 clauses out of 46127 with flag 1852565/290002
900.23/453.85	c cleaning 23998 clauses out of 48127 with flag 2019541/315000
1006.81/507.17	c cleaning 25001 clauses out of 50130 with flag 2165890/341001
1116.81/562.19	c cleaning 26001 clauses out of 52129 with flag 2289403/368001
1212.39/609.98	c cleaning 27000 clauses out of 54127 with flag 2484857/396000
1321.38/664.48	c cleaning 28002 clauses out of 56127 with flag 2662830/425000
1413.39/711.43	c cleaning 28998 clauses out of 58125 with flag 2871651/455000
1501.59/755.51	c cleaning 30001 clauses out of 60128 with flag 3070186/486001
1591.98/800.78	c cleaning 30997 clauses out of 62128 with flag 3294824/518002
1693.45/851.32	c cleaning 32000 clauses out of 64130 with flag 3533131/551001
1790.45/899.84	c cleaning 33001 clauses out of 66134 with flag 3754885/585005
1800.04/904.60	c >>>>>>>>>> Solver number 0 (0 answers) <<<<<<<<<<<<<<<<<<
1800.04/904.60	c starts		: 69
1800.04/904.60	c conflicts		: 589402
1800.04/904.60	c decisions		: 15722704
1800.04/904.60	c propagations		: 204106758
1800.04/904.60	c inspects		: 3045909952
1800.04/904.60	c shortcuts		: 0
1800.04/904.60	c learnt literals	: 0
1800.04/904.60	c learnt binary clauses	: 0
1800.04/904.60	c learnt ternary clauses	: 0
1800.04/904.60	c learnt constraints	: 589402
1800.04/904.60	c ignored constraints	: 0
1800.04/904.60	c root simplifications	: 0
1800.04/904.60	c removed literals (reason simplification)	: 744380
1800.04/904.60	c reason swapping (by a shorter reason)	: 0
1800.04/904.60	c Calls to reduceDB	: 30
1800.04/904.60	c Number of update (reduction) of LBD	: 250869
1800.04/904.60	c Imported unit clauses	: 0
1800.04/904.60	c number of reductions to clauses (during analyze)	: 0
1800.04/904.60	c number of learned constraints concerned by reduction	: 0
1800.04/904.60	c number of learning phase by resolution	: 0
1800.04/904.60	c number of learning phase by cutting planes	: 0
1800.04/904.60	c speed (assignments/second)	: 229303.80681147942
1800.04/904.60	c non guided choices	13306371
1800.04/904.63	c learnt constraints type 
1800.04/904.63	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 37530
1800.04/904.63	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.04/904.63	c starts		: 1
1800.04/904.63	c conflicts		: 46
1800.04/904.63	c decisions		: 787918
1800.04/904.63	c propagations		: 799783
1800.04/904.63	c inspects		: 714294
1800.04/904.63	c shortcuts		: 0
1800.04/904.63	c learnt literals	: 0
1800.04/904.63	c learnt binary clauses	: 0
1800.04/904.63	c learnt ternary clauses	: 0
1800.04/904.63	c learnt constraints	: 45
1800.04/904.63	c ignored constraints	: 0
1800.04/904.63	c root simplifications	: 0
1800.04/904.63	c removed literals (reason simplification)	: 0
1800.04/904.63	c reason swapping (by a shorter reason)	: 0
1800.04/904.63	c Calls to reduceDB	: 0
1800.04/904.63	c Number of update (reduction) of LBD	: 0
1800.04/904.63	c Imported unit clauses	: 0
1800.04/904.63	c number of reductions to clauses (during analyze)	: 0
1800.04/904.63	c number of learned constraints concerned by reduction	: 0
1800.04/904.63	c number of learning phase by resolution	: 0
1800.04/904.63	c number of learning phase by cutting planes	: 0
1800.04/904.63	c speed (assignments/second)	: 898.4902391868255
1800.04/904.63	c non guided choices	658451
1800.04/904.63	c learnt constraints type 
1800.04/904.64	c org.sat4j.pb.constraints.pb.MaxWatchPb => 45
1800.04/904.64	s UNKNOWN
1800.04/904.64	c Total wall clock time (in seconds): 904.529

Verifier Data 

ERROR: no interpretation found !

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-4119714-1467270370/watcher-4119714-1467270370 -o /tmp/evaluation-result-4119714-1467270370/solver-4119714-1467270370 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1467269337-16122 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4119714-1467270370.opb 

pid=16560
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.70 4.01 3.60 5/200 16563
/proc/meminfo: memFree=26170652/32872528 swapFree=1484408/1662236
[pid=16563] ppid=16560 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/16563/stat : 16563 (java) S 16560 16563 15921 0 -1 4202496 1352 0 0 0 0 0 0 0 20 0 2 0 7989670 98570240 977 33554432000 1073741824 1073778376 140736305433632 140736305424768 273909055549 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16563/statm: 24065 977 743 9 0 16771 0
[pid=16563/tid=16564] ppid=16560 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/16563/task/16564/stat : 16564 (java) R 16560 16563 15921 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 7989671 98570240 977 33554432000 1073741824 1073778376 140736305433632 140573220281896 273905698176 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0

[startup+0.100061 s]
/proc/loadavg: 3.70 4.01 3.60 5/200 16563
/proc/meminfo: memFree=26170652/32872528 swapFree=1484408/1662236
[pid=16563] ppid=16560 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/16563/stat : 16563 (java) S 16560 16563 15921 0 -1 4202496 4443 0 1 0 9 1 0 0 20 0 18 0 7989670 9787879424 6075 33554432000 1073741824 1073778376 140736305433632 140736305424768 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16563/statm: 2389619 6075 2141 9 0 2380296 0
[pid=16563/tid=16564] ppid=16560 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/16563/task/16564/stat : 16564 (java) R 16560 16563 15921 0 -1 4202560 2384 0 1 0 7 0 0 0 20 0 18 0 7989671 9787879424 6076 33554432000 1073741824 1073778376 140736305433632 140573220285192 140573223571016 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200322 s]
/proc/loadavg: 3.70 4.01 3.60 5/200 16563
/proc/meminfo: memFree=26170652/32872528 swapFree=1484408/1662236
[pid=16563] ppid=16560 vsize=9558476 CPUtime=0.26 cores=0,2,4,6
/proc/16563/stat : 16563 (java) S 16560 16563 15921 0 -1 4202496 4917 0 1 0 25 1 0 0 20 0 18 0 7989670 9787879424 14595 33554432000 1073741824 1073778376 140736305433632 140736305424768 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16563/statm: 2389619 14595 2214 9 0 2380296 0
[pid=16563/tid=16564] ppid=16560 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/16563/task/16564/stat : 16564 (java) R 16560 16563 15921 0 -1 4202560 2418 0 1 0 16 1 0 0 20 0 18 0 7989671 9787879424 14595 33554432000 1073741824 1073778376 140736305433632 140573220285192 140573088527848 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476

[startup+0.300332 s]
/proc/loadavg: 3.70 4.01 3.60 5/200 16563
/proc/meminfo: memFree=26170652/32872528 swapFree=1484408/1662236
[pid=16563] ppid=16560 vsize=9558476 CPUtime=0.52 cores=0,2,4,6
/proc/16563/stat : 16563 (java) S 16560 16563 15921 0 -1 4202496 5660 0 1 0 50 2 0 0 20 0 18 0 7989670 9787879424 17040 33554432000 1073741824 1073778376 140736305433632 140736305424768 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16563/statm: 2389619 17040 2236 9 0 2380296 0
[pid=16563/tid=16564] ppid=16560 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/16563/task/16564/stat : 16564 (java) R 16560 16563 15921 0 -1 4202560 2422 0 1 0 26 1 0 0 20 0 18 0 7989671 9787879424 17040 33554432000 1073741824 1073778376 140736305433632 140573220285192 140573088674938 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9558476

[startup+0.700244 s]
/proc/loadavg: 3.70 4.01 3.60 5/200 16563
/proc/meminfo: memFree=26170652/32872528 swapFree=1484408/1662236
[pid=16563] ppid=16560 vsize=9558476 CPUtime=1.23 cores=0,2,4,6
/proc/16563/stat : 16563 (java) S 16560 16563 15921 0 -1 4202496 6269 0 1 0 113 10 0 0 20 0 18 0 7989670 9787879424 56666 33554432000 1073741824 1073778376 140736305433632 140736305424768 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16563/statm: 2389619 56666 2263 9 0 2380296 0
[pid=16563/tid=16564] ppid=16560 vsize=9558476 CPUtime=0.61 cores=0,2,4,6
/proc/16563/task/16564/stat : 16564 (java) R 16560 16563 15921 0 -1 4202560 2468 0 1 0 58 3 0 0 20 0 18 0 7989671 9787879424 56666 33554432000 1073741824 1073778376 140736305433632 140573220278192 140573088825482 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 9558476

[startup+1.50081 s]
/proc/loadavg: 3.70 4.01 3.60 4/218 16581
/proc/meminfo: memFree=25864600/32872528 swapFree=1484408/1662236
[pid=16563] ppid=16560 vsize=9558476 CPUtime=2.78 cores=0,2,4,6
/proc/16563/stat : 16563 (java) S 16560 16563 15921 0 -1 4202496 7512 0 1 0 245 33 0 0 20 0 18 0 7989670 9787879424 132773 33554432000 1073741824 1073778376 140736305433632 140736305424768 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16563/statm: 2389619 132773 2263 9 0 2380296 0
[pid=16563/tid=16564] ppid=16560 vsize=9558476 CPUtime=1.14 cores=0,2,4,6
/proc/16563/task/16564/stat : 16564 (java) R 16560 16563 15921 0 -1 4202560 2522 0 1 0 109 5 0 0 20 0 18 0 7989671 9787879424 132773 33554432000 1073741824 1073778376 140736305433632 140573220278288 140573088889054 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=16563/tid=16566] ppid=16560 vsize=9558476 CPUtime=0.18 cores=0,2,4,6
/proc/16563/task/16566/stat : 16566 (java) S 16560 16563 15921 0 -1 4202560 76 0 0 0 14 4 0 0 20 0 18 0 7989671 9787879424 132773 33554432000 1073741824 1073778376 140736305433632 140573209348776 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16563/tid=16567] ppid=16560 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/16563/task/16567/stat : 16567 (java) S 16560 16563 15921 0 -1 4202560 49 0 0 0 7 3 0 0 20 0 18 0 7989671 9787879424 132773 33554432000 1073741824 1073778376 140736305433632 140573208296232 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16563/tid=16568] ppid=16560 vsize=9558476 CPUtime=0.12 cores=0,2,4,6
/proc/16563/task/16568/stat : 16568 (java) S 16560 16563 15921 0 -1 4202560 62 0 0 0 10 2 0 0 20 0 18 0 7989671 9787879424 132773 33554432000 1073741824 1073778376 140736305433632 140573207243688 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16563/tid=16569] ppid=16560 vsize=9558476 CPUtime=0.19 cores=0,2,4,6
/proc/16563/task/16569/stat : 16569 (java) S 16560 16563 15921 0 -1 4202560 180 0 0 0 14 5 0 0 20 0 18 0 7989671 9787879424 132773 33554432000 1073741824 1073778376 140736305433632 140573060840488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16563/tid=16570] ppid=16560 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/16563/task/16570/stat : 16570 (java) S 16560 16563 15921 0 -1 4202560 171 0 0 0 13 4 0 0 20 0 18 0 7989671 9787879424 132773 33554432000 1073741824 1073778376 140736305433632 140573059786920 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16563/tid=16571] ppid=16560 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/16563/task/16571/stat : 16571 (java) S 16560 16563 15921 0 -1 4202560 41 0 0 0 6 2 0 0 20 0 18 0 7989671 9787879424 132773 33554432000 1073741824 1073778376 140736305433632 140573058734376 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16563/tid=16572] ppid=16560 vsize=9558476 CPUtime=0.22 cores=0,2,4,6
/proc/16563/task/16572/stat : 16572 (java) S 16560 16563 15921 0 -1 4202560 515 0 0 0 17 5 0 0 20 0 18 0 7989671 9787879424 132773 33554432000 1073741824 1073778376 140736305433632 140573057681832 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16563/tid=16573] ppid=16560 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/16563/task/16573/stat : 16573 (java) S 16560 16563 15921 0 -1 4202560 101 0 0 0 7 3 0 0 20 0 18 0 7989671 9787879424 132773 33554432000 1073741824 1073778376 140736305433632 140573056629288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16563/tid=16574] ppid=16560 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/16563/task/16574/stat : 16574 (java) S 16560 16563 15921 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 7989673 9787879424 132773 33554432000 1073741824 1073778376 140736305433632 140573044431464 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16563/tid=16575] ppid=16560 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/16563/task/16575/stat : 16575 (java) S 16560 16563 15921 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 18 0 7989673 9787879424 132773 33554432000 1073741824 1073778376 140736305433632 140573043377784 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16563/tid=16576] ppid=16560 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/16563/task/16576/stat : 16576 (java) S 16560 16563 15921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 7989673 9787879424 132773 33554432000 1073741824 1073778376 140736305433632 140573042325128 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16563/tid=16577] ppid=16560 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/16563/task/16577/stat : 16577 (java) S 16560 16563 15921 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 7989675 9787879424 132773 33554432000 1073741824 1073778376 140736305433632 140573041273872 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16563/tid=16578] ppid=16560 vsize=9558476 CPUtime=0.16 cores=0,2,4,6
/proc/16563/task/16578/stat : 16578 (java) S 16560 16563 15921 0 -1 4202560 1016 0 0 0 16 0 0 0 20 0 18 0 7989675 9787879424 132773 33554432000 1073741824 1073778376 140736305433632 140573040220216 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16563/tid=16579] ppid=16560 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/16563/task/16579/stat : 16579 (java) S 16560 16563 15921 0 -1 4202560 1331 0 0 0 17 0 0 0 20 0 18 0 7989675 9787879424 132773 33554432000 1073741824 1073778376 140736305433632 140573039167672 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16563/tid=16580] ppid=16560 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/16563/task/16580/stat : 16580 (java) S 16560 16563 15921 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 7989675 9787879424 132773 33554432000 1073741824 1073778376 140736305433632 140573038115320 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16563/tid=16581] ppid=16560 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/16563/task/16581/stat : 16581 (java) S 16560 16563 15921 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 7989675 9787879424 132773 33554432000 1073741824 1073778376 140736305433632 140573037062984 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 9558476

[startup+3.10078 s]
/proc/loadavg: 3.70 4.01 3.60 5/218 16581
/proc/meminfo: memFree=25519608/32872528 swapFree=1484408/1662236
[pid=16563] ppid=16560 vsize=9558476 CPUtime=4.86 cores=0,2,4,6
/proc/16563/stat : 16563 (java) S 16560 16563 15921 0 -1 4202496 8128 0 1 0 440 46 0 0 20 0 18 0 7989670 9787879424 170536 33554432000 1073741824 1073778376 140736305433632 140736305424768 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16563/statm: 2389619 170536 2274 9 0 2380296 0
[pid=16563/tid=16564] ppid=16560 vsize=9558476 CPUtime=1.89 cores=0,2,4,6
/proc/16563/task/16564/stat : 16564 (java) R 16560 16563 15921 0 -1 4202560 2523 0 1 0 184 5 0 0 20 0 18 0 7989671 9787879424 170536 33554432000 1073741824 1073778376 140736305433632 140573220278288 140573088834381 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=16563/tid=16566] ppid=16560 vsize=9558476 CPUtime=0.24 cores=0,2,4,6
/proc/16563/task/16566/stat : 16566 (java) S 16560 16563 15921 0 -1 4202560 101 0 0 0 19 5 0 0 20 0 18 0 7989671 9787879424 170536 33554432000 1073741824 1073778376 140736305433632 140573209348776 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16563/tid=16567] ppid=16560 vsize=9558476 CPUtime=0.16 cores=0,2,4,6
/proc/16563/task/16567/stat : 16567 (java) S 16560 16563 15921 0 -1 4202560 69 0 0 0 12 4 0 0 20 0 18 0 7989671 9787879424 170536 33554432000 1073741824 1073778376 140736305433632 140573208296232 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16563/tid=16568] ppid=16560 vsize=9558476 CPUtime=0.2 cores=0,2,4,6
/proc/16563/task/16568/stat : 16568 (java) S 16560 16563 15921 0 -1 4202560 92 0 0 0 16 4 0 0 20 0 18 0 7989671 9787879424 170536 33554432000 1073741824 1073778376 140736305433632 140573207243688 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16563/tid=16569] ppid=16560 vsize=9558476 CPUtime=0.26 cores=0,2,4,6
/proc/16563/task/16569/stat : 16569 (java) S 16560 16563 15921 0 -1 4202560 210 0 0 0 20 6 0 0 20 0 18 0 7989671 9787879424 170536 33554432000 1073741824 1073778376 140736305433632 140573060840488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16563/tid=16570] ppid=16560 vsize=9558476 CPUtime=0.25 cores=0,2,4,6
/proc/16563/task/16570/stat : 16570 (java) S 16560 16563 15921 0 -1 4202560 214 0 0 0 20 5 0 0 20 0 18 0 7989671 9787879424 170536 33554432000 1073741824 1073778376 140736305433632 140573059786920 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16563/tid=16571] ppid=16560 vsize=9558476 CPUtime=0.16 cores=0,2,4,6
/proc/16563/task/16571/stat : 16571 (java) S 16560 16563 15921 0 -1 4202560 69 0 0 0 12 4 0 0 20 0 18 0 7989671 9787879424 170536 33554432000 1073741824 1073778376 140736305433632 140573058734376 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16563/tid=16572] ppid=16560 vsize=9558476 CPUtime=0.38 cores=0,2,4,6
/proc/16563/task/16572/stat : 16572 (java) S 16560 16563 15921 0 -1 4202560 590 0 0 0 30 8 0 0 20 0 18 0 7989671 9787879424 170536 33554432000 1073741824 1073778376 140736305433632 140573057681832 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16563/tid=16573] ppid=16560 vsize=9558476 CPUtime=0.15 cores=0,2,4,6
/proc/16563/task/16573/stat : 16573 (java) S 16560 16563 15921 0 -1 4202560 135 0 0 0 11 4 0 0 20 0 18 0 7989671 9787879424 170536 33554432000 1073741824 1073778376 140736305433632 140573056629288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16563/tid=16574] ppid=16560 vsize=9558476 CPUtime=0.66 cores=0,2,4,6
/proc/16563/task/16574/stat : 16574 (java) S 16560 16563 15921 0 -1 4202560 526 0 0 0 66 0 0 0 20 0 18 0 7989673 9787879424 170536 33554432000 1073741824 1073778376 140736305433632 140573044431464 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16563/tid=16575] ppid=16560 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/16563/task/16575/stat : 16575 (java) S 16560 16563 15921 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 18 0 7989673 9787879424 170536 33554432000 1073741824 1073778376 140736305433632 140573043377784 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16563/tid=16576] ppid=16560 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/16563/task/16576/stat : 16576 (java) S 16560 16563 15921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 7989673 9787879424 170536 33554432000 1073741824 1073778376 140736305433632 140573042325128 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16563/tid=16577] ppid=16560 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/16563/task/16577/stat : 16577 (java) S 16560 16563 15921 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 7989675 9787879424 170536 33554432000 1073741824 1073778376 140736305433632 140573041273872 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16563/tid=16578] ppid=16560 vsize=9558476 CPUtime=0.16 cores=0,2,4,6
/proc/16563/task/16578/stat : 16578 (java) S 16560 16563 15921 0 -1 4202560 1016 0 0 0 16 0 0 0 20 0 18 0 7989675 9787879424 170536 33554432000 1073741824 1073778376 140736305433632 140573040220216 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16563/tid=16579] ppid=16560 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/16563/task/16579/stat : 16579 (java) S 16560 16563 15921 0 -1 4202560 1331 0 0 0 17 0 0 0 20 0 18 0 7989675 9787879424 170536 33554432000 1073741824 1073778376 140736305433632 140573039167672 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16563/tid=16580] ppid=16560 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/16563/task/16580/stat : 16580 (java) S 16560 16563 15921 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 7989675 9787879424 170536 33554432000 1073741824 1073778376 140736305433632 140573038115320 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16563/tid=16581] ppid=16560 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/16563/task/16581/stat : 16581 (java) S 16560 16563 15921 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 7989675 9787879424 170536 33554432000 1073741824 1073778376 140736305433632 140573037062984 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.86
Current children cumulated vsize (KiB) 9558476

[startup+6.30072 s]
/proc/loadavg: 3.64 3.99 3.59 12/218 16581
/proc/meminfo: memFree=24643580/32872528 swapFree=1484408/1662236
[pid=16563] ppid=16560 vsize=9558476 CPUtime=10.89 cores=0,2,4,6
/proc/16563/stat : 16563 (java) S 16560 16563 15921 0 -1 4202496 12742 0 1 0 973 116 0 0 20 0 18 0 7989670 9787879424 461704 33554432000 1073741824 1073778376 140736305433632 140736305424768 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16563/statm: 2389619 461704 2274 9 0 2380296 0
[pid=16563/tid=16564] ppid=16560 vsize=9558476 CPUtime=4.14 cores=0,2,4,6
/proc/16563/task/16564/stat : 16564 (java) R 16560 16563 15921 0 -1 4202560 3452 0 1 0 401 13 0 0 20 0 18 0 7989671 9787879424 461704 33554432000 1073741824 1073778376 140736305433632 140573220278288 140573223226308 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=16563/tid=16566] ppid=16560 vsize=9558476 CPUtime=0.69 cores=0,2,4,6
/proc/16563/task/16566/stat : 16566 (java) S 16560 16563 15921 0 -1 4202560 314 0 0 0 55 14 0 0 20 0 18 0 7989671 9787879424 461704 33554432000 1073741824 1073778376 140736305433632 140573209348776 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16563/tid=16567] ppid=16560 vsize=9558476 CPUtime=0.6 cores=0,2,4,6
/proc/16563/task/16567/stat : 16567 (java) S 16560 16563 15921 0 -1 4202560 231 0 0 0 49 11 0 0 20 0 18 0 7989671 9787879424 461704 33554432000 1073741824 1073778376 140736305433632 140573208296232 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16563/tid=16568] ppid=16560 vsize=9558476 CPUtime=0.55 cores=0,2,4,6
/proc/16563/task/16568/stat : 16568 (java) S 16560 16563 15921 0 -1 4202560 484 0 0 0 45 10 0 0 20 0 18 0 7989671 9787879424 461704 33554432000 1073741824 1073778376 140736305433632 140573207243688 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16563/tid=16569] ppid=16560 vsize=9558476 CPUtime=0.72 cores=0,2,4,6
/proc/16563/task/16569/stat : 16569 (java) S 16560 16563 15921 0 -1 4202560 663 0 0 0 58 14 0 0 20 0 18 0 7989671 9787879424 461704 33554432000 1073741824 1073778376 140736305433632 140573060840488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16563/tid=16570] ppid=16560 vsize=9558476 CPUtime=0.73 cores=0,2,4,6
/proc/16563/task/16570/stat : 16570 (java) S 16560 16563 15921 0 -1 4202560 422 0 0 0 60 13 0 0 20 0 18 0 7989671 9787879424 461704 33554432000 1073741824 1073778376 140736305433632 140573059786920 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16563/tid=16571] ppid=16560 vsize=9558476 CPUtime=0.68 cores=0,2,4,6
/proc/16563/task/16571/stat : 16571 (java) S 16560 16563 15921 0 -1 4202560 298 0 0 0 56 12 0 0 20 0 18 0 7989671 9787879424 461704 33554432000 1073741824 1073778376 140736305433632 140573058734376 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16563/tid=16572] ppid=16560 vsize=9558476 CPUtime=0.81 cores=0,2,4,6
/proc/16563/task/16572/stat : 16572 (java) S 16560 16563 15921 0 -1 4202560 719 0 0 0 67 14 0 0 20 0 18 0 7989671 9787879424 461704 33554432000 1073741824 1073778376 140736305433632 140573057681832 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16563/tid=16573] ppid=16560 vsize=9558476 CPUtime=0.67 cores=0,2,4,6
/proc/16563/task/16573/stat : 16573 (java) S 16560 16563 15921 0 -1 4202560 303 0 0 0 55 12 0 0 20 0 18 0 7989671 9787879424 461704 33554432000 1073741824 1073778376 140736305433632 140573056629288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16563/tid=16574] ppid=16560 vsize=9558476 CPUtime=0.66 cores=0,2,4,6
/proc/16563/task/16574/stat : 16574 (java) S 16560 16563 15921 0 -1 4202560 1154 0 0 0 66 0 0 0 20 0 18 0 7989673 9787879424 461704 33554432000 1073741824 1073778376 140736305433632 140573044431464 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16563/tid=16575] ppid=16560 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/16563/task/16575/stat : 16575 (java) S 16560 16563 15921 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 18 0 7989673 9787879424 461704 33554432000 1073741824 1073778376 140736305433632 140573043377784 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16563/tid=16576] ppid=16560 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/16563/task/16576/stat : 16576 (java) S 16560 16563 15921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 7989673 9787879424 461704 33554432000 1073741824 1073778376 140736305433632 140573042325128 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16563/tid=16577] ppid=16560 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/16563/task/16577/stat : 16577 (java) S 16560 16563 15921 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 7989675 9787879424 461704 33554432000 1073741824 1073778376 140736305433632 140573041273872 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16563/tid=16578] ppid=16560 vsize=9558476 CPUtime=0.24 cores=0,2,4,6
/proc/16563/task/16578/stat : 16578 (java) S 16560 16563 15921 0 -1 4202560 1983 0 0 0 24 0 0 0 20 0 18 0 7989675 9787879424 461704 33554432000 1073741824 1073778376 140736305433632 140573040220216 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16563/tid=16579] ppid=16560 vsize=9558476 CPUtime=0.2 cores=0,2,4,6
/proc/16563/task/16579/stat : 16579 (java) S 16560 16563 15921 0 -1 4202560 1467 0 0 0 20 0 0 0 20 0 18 0 7989675 9787879424 461704 33554432000 1073741824 1073778376 140736305433632 140573039167672 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16563/tid=16580] ppid=16560 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/16563/task/16580/stat : 16580 (java) S 16560 16563 15921 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 7989675 9787879424 461704 33554432000 1073741824 1073778376 140736305433632 140573038115320 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16563/tid=16581] ppid=16560 vsize=9558476 CPUtime=0 cores=0,2,4,6

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

/proc/16563/task/16568/stat : 16568 (java) S 16560 16563 15921 0 -1 4202560 6537 0 0 0 95 28 0 0 20 0 22 0 7989671 10060525568 1102455 33554432000 1073741824 1073778376 140736305433632 140573207243688 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16563/tid=16569] ppid=16560 vsize=9824732 CPUtime=1.64 cores=0,2,4,6
/proc/16563/task/16569/stat : 16569 (java) S 16560 16563 15921 0 -1 4202560 3516 0 0 0 125 39 0 0 20 0 22 0 7989671 10060525568 1102455 33554432000 1073741824 1073778376 140736305433632 140573060840488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16563/tid=16570] ppid=16560 vsize=9824732 CPUtime=1.36 cores=0,2,4,6
/proc/16563/task/16570/stat : 16570 (java) S 16560 16563 15921 0 -1 4202560 5317 0 0 0 109 27 0 0 20 0 22 0 7989671 10060525568 1102455 33554432000 1073741824 1073778376 140736305433632 140573059786920 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16563/tid=16571] ppid=16560 vsize=9824732 CPUtime=1.86 cores=0,2,4,6
/proc/16563/task/16571/stat : 16571 (java) S 16560 16563 15921 0 -1 4202560 3648 0 0 0 144 42 0 0 20 0 22 0 7989671 10060525568 1102455 33554432000 1073741824 1073778376 140736305433632 140573058734376 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16563/tid=16572] ppid=16560 vsize=9824732 CPUtime=1.69 cores=0,2,4,6
/proc/16563/task/16572/stat : 16572 (java) S 16560 16563 15921 0 -1 4202560 5494 0 0 0 131 38 0 0 20 0 22 0 7989671 10060525568 1102455 33554432000 1073741824 1073778376 140736305433632 140573057681832 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16563/tid=16573] ppid=16560 vsize=9824732 CPUtime=1.29 cores=0,2,4,6
/proc/16563/task/16573/stat : 16573 (java) S 16560 16563 15921 0 -1 4202560 3301 0 0 0 105 24 0 0 20 0 22 0 7989671 10060525568 1102455 33554432000 1073741824 1073778376 140736305433632 140573056629288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16563/tid=16574] ppid=16560 vsize=9824732 CPUtime=6.72 cores=0,2,4,6
/proc/16563/task/16574/stat : 16574 (java) S 16560 16563 15921 0 -1 4202560 2895 0 0 0 666 6 0 0 20 0 22 0 7989673 10060525568 1102455 33554432000 1073741824 1073778376 140736305433632 140573044431464 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16563/tid=16575] ppid=16560 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16563/task/16575/stat : 16575 (java) S 16560 16563 15921 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 7989673 10060525568 1102455 33554432000 1073741824 1073778376 140736305433632 140573043377784 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16563/tid=16576] ppid=16560 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16563/task/16576/stat : 16576 (java) S 16560 16563 15921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 7989673 10060525568 1102455 33554432000 1073741824 1073778376 140736305433632 140573042325128 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16563/tid=16577] ppid=16560 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16563/task/16577/stat : 16577 (java) S 16560 16563 15921 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 7989675 10060525568 1102455 33554432000 1073741824 1073778376 140736305433632 140573041273872 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16563/tid=16578] ppid=16560 vsize=9824732 CPUtime=0.99 cores=0,2,4,6
/proc/16563/task/16578/stat : 16578 (java) S 16560 16563 15921 0 -1 4202560 6154 0 0 0 98 1 0 0 20 0 22 0 7989675 10060525568 1102455 33554432000 1073741824 1073778376 140736305433632 140573040220216 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16563/tid=16579] ppid=16560 vsize=9824732 CPUtime=1.16 cores=0,2,4,6
/proc/16563/task/16579/stat : 16579 (java) S 16560 16563 15921 0 -1 4202560 7220 0 0 0 114 2 0 0 20 0 22 0 7989675 10060525568 1102455 33554432000 1073741824 1073778376 140736305433632 140573039167672 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16563/tid=16580] ppid=16560 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16563/task/16580/stat : 16580 (java) S 16560 16563 15921 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 7989675 10060525568 1102455 33554432000 1073741824 1073778376 140736305433632 140573038115320 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16563/tid=16581] ppid=16560 vsize=9824732 CPUtime=0.28 cores=0,2,4,6
/proc/16563/task/16581/stat : 16581 (java) S 16560 16563 15921 0 -1 4202560 47 0 0 0 11 17 0 0 20 0 22 0 7989675 10060525568 1102455 33554432000 1073741824 1073778376 140736305433632 140573037062984 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16563/tid=16582] ppid=16560 vsize=9824732 CPUtime=800.07 cores=0,2,4,6
/proc/16563/task/16582/stat : 16582 (java) R 16560 16563 15921 0 -1 4202560 26 0 0 0 79995 12 0 0 20 0 22 0 7991112 10060525568 1102455 33554432000 1073741824 1073778376 140736305433632 140573036006208 140573089319922 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=16563/tid=16583] ppid=16560 vsize=9824732 CPUtime=799.94 cores=0,2,4,6
/proc/16563/task/16583/stat : 16583 (java) R 16560 16563 15921 0 -1 4202560 34 0 0 0 79981 13 0 0 20 0 22 0 7991112 10060525568 1102455 33554432000 1073741824 1073778376 140736305433632 140573034954112 140573089381438 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16563/tid=16584] ppid=16560 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16563/task/16584/stat : 16584 (java) S 16560 16563 15921 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 7991120 10060525568 1102455 33554432000 1073741824 1073778376 140736305433632 140573033903656 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16563/tid=16585] ppid=16560 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16563/task/16585/stat : 16585 (java) S 16560 16563 15921 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 7991120 10060525568 1102455 33554432000 1073741824 1073778376 140736305433632 140573032851112 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1635.46
Current children cumulated vsize (KiB) 9824732

[startup+882.301 s]
/proc/loadavg: 4.50 4.35 4.03 6/222 16677
/proc/meminfo: memFree=21687640/32872528 swapFree=1484408/1662236
[pid=16563] ppid=16560 vsize=9824732 CPUtime=1755.45 cores=0,2,4,6
/proc/16563/stat : 16563 (java) S 16560 16563 15921 0 -1 4202496 63066 0 1 0 175222 323 0 0 20 0 22 0 7989670 10060525568 1102455 33554432000 1073741824 1073778376 140736305433632 140736305424768 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16563/statm: 2456183 1102455 2299 9 0 2446860 0
[pid=16563/tid=16564] ppid=16560 vsize=9824732 CPUtime=10.21 cores=0,2,4,6
/proc/16563/task/16564/stat : 16564 (java) S 16560 16563 15921 0 -1 4202560 3908 0 1 0 994 27 0 0 20 0 22 0 7989671 10060525568 1102455 33554432000 1073741824 1073778376 140736305433632 140573220287352 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16563/tid=16566] ppid=16560 vsize=9824732 CPUtime=1.63 cores=0,2,4,6
/proc/16563/task/16566/stat : 16566 (java) S 16560 16563 15921 0 -1 4202560 8355 0 0 0 126 37 0 0 20 0 22 0 7989671 10060525568 1102455 33554432000 1073741824 1073778376 140736305433632 140573209348776 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16563/tid=16567] ppid=16560 vsize=9824732 CPUtime=1.37 cores=0,2,4,6
/proc/16563/task/16567/stat : 16567 (java) S 16560 16563 15921 0 -1 4202560 5343 0 0 0 106 31 0 0 20 0 22 0 7989671 10060525568 1102455 33554432000 1073741824 1073778376 140736305433632 140573208296232 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16563/tid=16568] ppid=16560 vsize=9824732 CPUtime=1.23 cores=0,2,4,6
/proc/16563/task/16568/stat : 16568 (java) S 16560 16563 15921 0 -1 4202560 6537 0 0 0 95 28 0 0 20 0 22 0 7989671 10060525568 1102455 33554432000 1073741824 1073778376 140736305433632 140573207243688 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16563/tid=16569] ppid=16560 vsize=9824732 CPUtime=1.64 cores=0,2,4,6
/proc/16563/task/16569/stat : 16569 (java) S 16560 16563 15921 0 -1 4202560 3516 0 0 0 125 39 0 0 20 0 22 0 7989671 10060525568 1102455 33554432000 1073741824 1073778376 140736305433632 140573060840488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16563/tid=16570] ppid=16560 vsize=9824732 CPUtime=1.36 cores=0,2,4,6
/proc/16563/task/16570/stat : 16570 (java) S 16560 16563 15921 0 -1 4202560 5317 0 0 0 109 27 0 0 20 0 22 0 7989671 10060525568 1102455 33554432000 1073741824 1073778376 140736305433632 140573059786920 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16563/tid=16571] ppid=16560 vsize=9824732 CPUtime=1.86 cores=0,2,4,6
/proc/16563/task/16571/stat : 16571 (java) S 16560 16563 15921 0 -1 4202560 3648 0 0 0 144 42 0 0 20 0 22 0 7989671 10060525568 1102455 33554432000 1073741824 1073778376 140736305433632 140573058734376 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16563/tid=16572] ppid=16560 vsize=9824732 CPUtime=1.69 cores=0,2,4,6
/proc/16563/task/16572/stat : 16572 (java) S 16560 16563 15921 0 -1 4202560 5494 0 0 0 131 38 0 0 20 0 22 0 7989671 10060525568 1102455 33554432000 1073741824 1073778376 140736305433632 140573057681832 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16563/tid=16573] ppid=16560 vsize=9824732 CPUtime=1.29 cores=0,2,4,6
/proc/16563/task/16573/stat : 16573 (java) S 16560 16563 15921 0 -1 4202560 3301 0 0 0 105 24 0 0 20 0 22 0 7989671 10060525568 1102455 33554432000 1073741824 1073778376 140736305433632 140573056629288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16563/tid=16574] ppid=16560 vsize=9824732 CPUtime=6.72 cores=0,2,4,6
/proc/16563/task/16574/stat : 16574 (java) S 16560 16563 15921 0 -1 4202560 2895 0 0 0 666 6 0 0 20 0 22 0 7989673 10060525568 1102455 33554432000 1073741824 1073778376 140736305433632 140573044431464 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16563/tid=16575] ppid=16560 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16563/task/16575/stat : 16575 (java) S 16560 16563 15921 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 7989673 10060525568 1102455 33554432000 1073741824 1073778376 140736305433632 140573043377784 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16563/tid=16576] ppid=16560 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16563/task/16576/stat : 16576 (java) S 16560 16563 15921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 7989673 10060525568 1102455 33554432000 1073741824 1073778376 140736305433632 140573042325128 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16563/tid=16577] ppid=16560 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16563/task/16577/stat : 16577 (java) S 16560 16563 15921 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 7989675 10060525568 1102455 33554432000 1073741824 1073778376 140736305433632 140573041273872 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16563/tid=16578] ppid=16560 vsize=9824732 CPUtime=0.99 cores=0,2,4,6
/proc/16563/task/16578/stat : 16578 (java) S 16560 16563 15921 0 -1 4202560 6156 0 0 0 98 1 0 0 20 0 22 0 7989675 10060525568 1102455 33554432000 1073741824 1073778376 140736305433632 140573040220216 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16563/tid=16579] ppid=16560 vsize=9824732 CPUtime=1.16 cores=0,2,4,6
/proc/16563/task/16579/stat : 16579 (java) S 16560 16563 15921 0 -1 4202560 7220 0 0 0 114 2 0 0 20 0 22 0 7989675 10060525568 1102455 33554432000 1073741824 1073778376 140736305433632 140573039167672 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16563/tid=16580] ppid=16560 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16563/task/16580/stat : 16580 (java) S 16560 16563 15921 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 7989675 10060525568 1102455 33554432000 1073741824 1073778376 140736305433632 140573038115320 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16563/tid=16581] ppid=16560 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/16563/task/16581/stat : 16581 (java) S 16560 16563 15921 0 -1 4202560 51 0 0 0 12 18 0 0 20 0 22 0 7989675 10060525568 1102455 33554432000 1073741824 1073778376 140736305433632 140573037062984 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16563/tid=16582] ppid=16560 vsize=9824732 CPUtime=859.92 cores=0,2,4,6
/proc/16563/task/16582/stat : 16582 (java) R 16560 16563 15921 0 -1 4202560 26 0 0 0 85979 13 0 0 20 0 22 0 7991112 10060525568 1102455 33554432000 1073741824 1073778376 140736305433632 140573035999392 140573089552710 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=16563/tid=16583] ppid=16560 vsize=9824732 CPUtime=859.77 cores=0,2,4,6
/proc/16563/task/16583/stat : 16583 (java) R 16560 16563 15921 0 -1 4202560 34 0 0 0 85963 14 0 0 20 0 22 0 7991112 10060525568 1102455 33554432000 1073741824 1073778376 140736305433632 140573034955096 140573089381568 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16563/tid=16584] ppid=16560 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16563/task/16584/stat : 16584 (java) S 16560 16563 15921 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 7991120 10060525568 1102455 33554432000 1073741824 1073778376 140736305433632 140573033903656 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16563/tid=16585] ppid=16560 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16563/task/16585/stat : 16585 (java) S 16560 16563 15921 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 7991120 10060525568 1102455 33554432000 1073741824 1073778376 140736305433632 140573032851112 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1755.45
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+904.601 s]
/proc/loadavg: 4.43 4.34 4.03 5/221 16677
/proc/meminfo: memFree=21687528/32872528 swapFree=1484408/1662236
[pid=16563] ppid=16560 vsize=9824732 CPUtime=1800.04 cores=0,2,4,6
/proc/16563/stat : 16563 (java) S 16560 16563 15921 0 -1 4202496 63068 0 1 0 179680 324 0 0 20 0 22 0 7989670 10060525568 1102455 33554432000 1073741824 1073778376 140736305433632 140736305424768 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16563/statm: 2456183 1102455 2299 9 0 2446860 0
[pid=16563/tid=16564] ppid=16560 vsize=9824732 CPUtime=10.21 cores=0,2,4,6
/proc/16563/task/16564/stat : 16564 (java) S 16560 16563 15921 0 -1 4202560 3908 0 1 0 994 27 0 0 20 0 22 0 7989671 10060525568 1102455 33554432000 1073741824 1073778376 140736305433632 140573220287352 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16563/tid=16566] ppid=16560 vsize=9824732 CPUtime=1.63 cores=0,2,4,6
/proc/16563/task/16566/stat : 16566 (java) S 16560 16563 15921 0 -1 4202560 8355 0 0 0 126 37 0 0 20 0 22 0 7989671 10060525568 1102455 33554432000 1073741824 1073778376 140736305433632 140573209348776 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16563/tid=16567] ppid=16560 vsize=9824732 CPUtime=1.37 cores=0,2,4,6
/proc/16563/task/16567/stat : 16567 (java) S 16560 16563 15921 0 -1 4202560 5343 0 0 0 106 31 0 0 20 0 22 0 7989671 10060525568 1102455 33554432000 1073741824 1073778376 140736305433632 140573208296232 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16563/tid=16568] ppid=16560 vsize=9824732 CPUtime=1.23 cores=0,2,4,6
/proc/16563/task/16568/stat : 16568 (java) S 16560 16563 15921 0 -1 4202560 6537 0 0 0 95 28 0 0 20 0 22 0 7989671 10060525568 1102455 33554432000 1073741824 1073778376 140736305433632 140573207243688 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16563/tid=16569] ppid=16560 vsize=9824732 CPUtime=1.64 cores=0,2,4,6
/proc/16563/task/16569/stat : 16569 (java) S 16560 16563 15921 0 -1 4202560 3516 0 0 0 125 39 0 0 20 0 22 0 7989671 10060525568 1102455 33554432000 1073741824 1073778376 140736305433632 140573060840488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16563/tid=16570] ppid=16560 vsize=9824732 CPUtime=1.36 cores=0,2,4,6
/proc/16563/task/16570/stat : 16570 (java) S 16560 16563 15921 0 -1 4202560 5317 0 0 0 109 27 0 0 20 0 22 0 7989671 10060525568 1102455 33554432000 1073741824 1073778376 140736305433632 140573059786920 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16563/tid=16571] ppid=16560 vsize=9824732 CPUtime=1.86 cores=0,2,4,6
/proc/16563/task/16571/stat : 16571 (java) S 16560 16563 15921 0 -1 4202560 3648 0 0 0 144 42 0 0 20 0 22 0 7989671 10060525568 1102455 33554432000 1073741824 1073778376 140736305433632 140573058734376 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16563/tid=16572] ppid=16560 vsize=9824732 CPUtime=1.69 cores=0,2,4,6
/proc/16563/task/16572/stat : 16572 (java) S 16560 16563 15921 0 -1 4202560 5494 0 0 0 131 38 0 0 20 0 22 0 7989671 10060525568 1102455 33554432000 1073741824 1073778376 140736305433632 140573057681832 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16563/tid=16573] ppid=16560 vsize=9824732 CPUtime=1.29 cores=0,2,4,6
/proc/16563/task/16573/stat : 16573 (java) S 16560 16563 15921 0 -1 4202560 3301 0 0 0 105 24 0 0 20 0 22 0 7989671 10060525568 1102455 33554432000 1073741824 1073778376 140736305433632 140573056629288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16563/tid=16574] ppid=16560 vsize=9824732 CPUtime=6.72 cores=0,2,4,6
/proc/16563/task/16574/stat : 16574 (java) S 16560 16563 15921 0 -1 4202560 2895 0 0 0 666 6 0 0 20 0 22 0 7989673 10060525568 1102455 33554432000 1073741824 1073778376 140736305433632 140573044431464 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16563/tid=16575] ppid=16560 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16563/task/16575/stat : 16575 (java) S 16560 16563 15921 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 7989673 10060525568 1102455 33554432000 1073741824 1073778376 140736305433632 140573043377784 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16563/tid=16576] ppid=16560 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16563/task/16576/stat : 16576 (java) S 16560 16563 15921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 7989673 10060525568 1102455 33554432000 1073741824 1073778376 140736305433632 140573042325128 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16563/tid=16577] ppid=16560 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16563/task/16577/stat : 16577 (java) S 16560 16563 15921 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 7989675 10060525568 1102455 33554432000 1073741824 1073778376 140736305433632 140573041273872 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16563/tid=16578] ppid=16560 vsize=9824732 CPUtime=0.99 cores=0,2,4,6
/proc/16563/task/16578/stat : 16578 (java) S 16560 16563 15921 0 -1 4202560 6156 0 0 0 98 1 0 0 20 0 22 0 7989675 10060525568 1102455 33554432000 1073741824 1073778376 140736305433632 140573040220216 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16563/tid=16579] ppid=16560 vsize=9824732 CPUtime=1.16 cores=0,2,4,6
/proc/16563/task/16579/stat : 16579 (java) S 16560 16563 15921 0 -1 4202560 7220 0 0 0 114 2 0 0 20 0 22 0 7989675 10060525568 1102455 33554432000 1073741824 1073778376 140736305433632 140573039167672 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16563/tid=16580] ppid=16560 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16563/task/16580/stat : 16580 (java) S 16560 16563 15921 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 7989675 10060525568 1102455 33554432000 1073741824 1073778376 140736305433632 140573038115320 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16563/tid=16581] ppid=16560 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/16563/task/16581/stat : 16581 (java) S 16560 16563 15921 0 -1 4202560 53 0 0 0 12 18 0 0 20 0 22 0 7989675 10060525568 1102455 33554432000 1073741824 1073778376 140736305433632 140573037062984 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16563/tid=16582] ppid=16560 vsize=9824732 CPUtime=882.16 cores=0,2,4,6
/proc/16563/task/16582/stat : 16582 (java) R 16560 16563 15921 0 -1 4202560 26 0 0 0 88203 13 0 0 20 0 22 0 7991112 10060525568 1102455 33554432000 1073741824 1073778376 140736305433632 140573035999392 140573089367191 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=16563/tid=16583] ppid=16560 vsize=9824732 CPUtime=882.01 cores=0,2,4,6
/proc/16563/task/16583/stat : 16583 (java) R 16560 16563 15921 0 -1 4202560 34 0 0 0 88187 14 0 0 20 0 22 0 7991112 10060525568 1102455 33554432000 1073741824 1073778376 140736305433632 140573034955096 140573089347130 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16563/tid=16584] ppid=16560 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16563/task/16584/stat : 16584 (java) S 16560 16563 15921 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 7991120 10060525568 1102455 33554432000 1073741824 1073778376 140736305433632 140573033903656 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16563/tid=16585] ppid=16560 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16563/task/16585/stat : 16585 (java) S 16560 16563 15921 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 7991120 10060525568 1102455 33554432000 1073741824 1073778376 140736305433632 140573032851112 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9824732

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 16563 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16563 and gives
#  childrusage.ru_utime.tv_sec=1792
#  childrusage.ru_utime.tv_usec=438507
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=662443
# CPU time returned by wait4() is 1796.1
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 904.683
CPU time (s): 1800.04
CPU user time (s): 1796.8
CPU system time (s): 3.24
CPU usage (%): 198.969
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.44
system time used= 3.66244
maximum resident set size= 4409936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63103
page faults= 1
swaps= 0
block input operations= 0
block output operations= 664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23636
involuntary context switches= 18469

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.72113 second user time and 7.71683 second system time

The end

Launcher Data 

Begin job on node134 at 2016-06-30 09:06:11
IDJOB=4119714
IDBENCH=111794
IDSOLVER=2543
FILE ID=node134/4119714-1467270370
RUNJOBID= node134-1467269337-16122
PBS_JOBID= 20004500
Free space on /tmp= 71672 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB15eval/normalized-PB15eval/DEC-BIGINT-LIN/pbfvmc-formulae/pbfvmc-formulae/hw256/normalized-hw256-vm98p-dec.opb.negationfix.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119714-1467270370/watcher-4119714-1467270370 -o /tmp/evaluation-result-4119714-1467270370/solver-4119714-1467270370 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1467269337-16122 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4119714-1467270370.opb

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

MD5SUM BENCH= 7b69339ab914a0ee0ae1c04a0acb6c7f
RANDOM SEED=142033988

node134.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.738
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.47
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
cpu MHz		: 2666.738
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 7358.89
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
cpu MHz		: 2666.738
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 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 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 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	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.738
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 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 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 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
cpu MHz		: 2666.738
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
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
cpu MHz		: 2666.738
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 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 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 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
cpu MHz		: 2666.738
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 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 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 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	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.738
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        26170652 kB
Buffers:          167388 kB
Cached:          1748940 kB
SwapCached:            0 kB
Active:          2534428 kB
Inactive:        1727388 kB
Active(anon):    2348088 kB
Inactive(anon):        0 kB
Active(file):     186340 kB
Inactive(file):  1727388 kB
Unevictable:     1662236 kB
Mlocked:         1484408 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             31588 kB
Writeback:             0 kB
AnonPages:       4034624 kB
Mapped:            21572 kB
Shmem:               216 kB
Slab:             612572 kB
SReclaimable:      56032 kB
SUnreclaim:       556540 kB
KernelStack:        1632 kB
PageTables:        12256 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4930832 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2502656 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71668 MiB
End job on node134 at 2016-06-30 09:21:16