Trace number 4080478

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.01 896.844

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-123.opb
MD5SUMe6dc64843ebe4c9cb8812bfa08aa0858
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark489.747
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables36611
Total number of constraints853935
Number of constraints which are clauses766797
Number of constraints which are cardinality constraints (but not clauses)2865
Number of constraints which are nor clauses,nor cardinality constraints84273
Minimum length of a constraint1
Maximum length of a constraint756
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 757
Number of bits of the biggest sum of numbers10
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.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	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.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	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.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4080478-1465266644.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  no objective function found
8.33/6.22	c ... done. Wall clock time 6.099s.
8.33/6.22	c declared #vars     36611
8.33/6.22	c #constraints  855463
8.33/6.22	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
8.33/6.22	c constraints type 
8.33/6.22	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 443795
8.33/6.22	c org.sat4j.specs.Constr$1 => 128910
8.33/6.22	c org.sat4j.minisat.constraints.card.MinWatchCard => 2687
8.33/6.22	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 188268
8.33/6.22	c org.sat4j.minisat.constraints.cnf.UnitClause => 7530
8.33/6.22	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 84273
8.33/6.22	c 855463 constraints processed.
8.33/6.22	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
8.33/6.22	c constraints type 
8.33/6.22	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 188268
8.33/6.22	c org.sat4j.specs.Constr$1 => 128910
8.33/6.22	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 443795
8.33/6.22	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2687
8.33/6.22	c org.sat4j.pb.constraints.pb.MaxWatchPb => 84273
8.33/6.22	c org.sat4j.pb.constraints.pb.UnitClausePB => 7530
8.33/6.22	c 855463 constraints processed.
48.74/25.48	c cleaning 2436 clauses out of 4972 with flag 514618/5000
72.93/37.48	c cleaning 4223 clauses out of 8494 with flag 1055671/11000
90.39/46.15	c cleaning 5261 clauses out of 11243 with flag 1614249/18000
108.64/55.25	c cleaning 0 clauses out of 5001 with flag 0/5001
114.11/57.83	c cleaning 6639 clauses out of 13939 with flag 2226257/26000
146.94/74.19	c cleaning 8095 clauses out of 16272 with flag 3049581/35000
175.61/88.42	c cleaning 8465 clauses out of 18148 with flag 3832862/45000
216.37/108.76	c cleaning 9787 clauses out of 20647 with flag 4803432/56000
249.44/125.20	c cleaning 11312 clauses out of 22830 with flag 5712842/68000
292.41/146.69	c cleaning 11936 clauses out of 24470 with flag 6673947/81000
323.17/161.93	c cleaning 13077 clauses out of 26515 with flag 7588167/95000
356.03/178.29	c cleaning 14136 clauses out of 28410 with flag 8551872/110000
394.07/197.14	c cleaning 14833 clauses out of 30248 with flag 9714186/126000
429.81/214.97	c cleaning 0 clauses out of 11000 with flag 0/11000
436.64/218.34	c cleaning 15869 clauses out of 32392 with flag 10816585/143000
486.39/243.07	c cleaning 16826 clauses out of 34481 with flag 11784521/161000
531.86/265.65	c cleaning 18143 clauses out of 36604 with flag 13065868/180000
576.09/287.62	c cleaning 19036 clauses out of 38422 with flag 14207109/200000
617.36/308.19	c cleaning 19494 clauses out of 40346 with flag 15240246/221000
657.46/328.02	c cleaning 21046 clauses out of 42825 with flag 16381293/243000
709.29/353.76	c cleaning 22251 clauses out of 44757 with flag 17513552/266000
755.78/376.86	c cleaning 22584 clauses out of 46482 with flag 18530166/290000
815.55/406.98	c cleaning 23967 clauses out of 48827 with flag 19676386/315000
862.47/430.26	c cleaning 24945 clauses out of 50803 with flag 20738850/341000
918.54/458.18	c cleaning 26410 clauses out of 52824 with flag 21790905/368000
962.12/479.86	c cleaning 26506 clauses out of 54386 with flag 22912074/396000
1001.74/499.57	c cleaning 28394 clauses out of 56869 with flag 23892454/425001
1049.36/523.30	c cleaning 28711 clauses out of 58469 with flag 25033434/455000
1100.00/548.42	c cleaning 30274 clauses out of 60751 with flag 26162355/486002
1140.59/568.69	c cleaning 30935 clauses out of 62474 with flag 27274732/518000
1183.44/589.97	c cleaning 32094 clauses out of 64538 with flag 28291864/551000
1220.71/608.45	c cleaning 0 clauses out of 18002 with flag 0/18002
1234.20/615.14	c cleaning 33018 clauses out of 66445 with flag 29379863/585001
1284.87/640.38	c cleaning 34111 clauses out of 68426 with flag 30432565/620001
1340.62/668.01	c cleaning 34728 clauses out of 70314 with flag 31529688/656000
1403.20/699.12	c cleaning 36124 clauses out of 72585 with flag 32725063/693000
1458.80/727.17	c cleaning 36333 clauses out of 74461 with flag 33778495/731000
1508.67/751.95	c cleaning 38145 clauses out of 77127 with flag 34929767/770000
1564.75/779.90	c cleaning 38887 clauses out of 78981 with flag 36086870/810000
1630.75/812.60	c cleaning 39984 clauses out of 81088 with flag 37504745/851000
1697.48/845.87	c cleaning 41229 clauses out of 83039 with flag 39103987/893000
1768.09/880.98	c cleaning 40132 clauses out of 84765 with flag 40754647/936000
1800.01/896.80	c >>>>>>>>>> Solver number 0 (0 answers) <<<<<<<<<<<<<<<<<<
1800.01/896.80	c starts		: 4210
1800.01/896.80	c conflicts		: 959961
1800.01/896.80	c decisions		: 89333124
1800.01/896.80	c propagations		: 525001926
1800.01/896.80	c inspects		: 7093321404
1800.01/896.80	c shortcuts		: 0
1800.01/896.80	c learnt literals	: 993
1800.01/896.80	c learnt binary clauses	: 3857
1800.01/896.80	c learnt ternary clauses	: 16730
1800.01/896.80	c learnt constraints	: 958968
1800.01/896.80	c ignored constraints	: 0
1800.01/896.80	c root simplifications	: 0
1800.01/896.80	c removed literals (reason simplification)	: 8305748
1800.01/896.80	c reason swapping (by a shorter reason)	: 0
1800.01/896.80	c Calls to reduceDB	: 39
1800.01/896.80	c Number of update (reduction) of LBD	: 536722
1800.01/896.80	c Imported unit clauses	: 0
1800.01/896.80	c number of reductions to clauses (during analyze)	: 0
1800.01/896.80	c number of learned constraints concerned by reduction	: 0
1800.01/896.80	c number of learning phase by resolution	: 0
1800.01/896.80	c number of learning phase by cutting planes	: 0
1800.01/896.80	c speed (assignments/second)	: 589530.124878866
1800.01/896.80	c non guided choices	1734840
1800.01/896.83	c learnt constraints type 
1800.01/896.83	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 3857
1800.01/896.83	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 64735
1800.01/896.83	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.01/896.83	c starts		: 27
1800.01/896.83	c conflicts		: 22147
1800.01/896.83	c decisions		: 707727
1800.01/896.83	c propagations		: 19418532
1800.01/896.83	c inspects		: 1495001305
1800.01/896.83	c shortcuts		: 0
1800.01/896.83	c learnt literals	: 0
1800.01/896.83	c learnt binary clauses	: 61
1800.01/896.83	c learnt ternary clauses	: 549
1800.01/896.83	c learnt constraints	: 22147
1800.01/896.83	c ignored constraints	: 0
1800.01/896.83	c root simplifications	: 0
1800.01/896.83	c removed literals (reason simplification)	: 0
1800.01/896.83	c reason swapping (by a shorter reason)	: 0
1800.01/896.83	c Calls to reduceDB	: 3
1800.01/896.83	c Number of update (reduction) of LBD	: 0
1800.01/896.83	c Imported unit clauses	: 0
1800.01/896.83	c number of reductions to clauses (during analyze)	: 0
1800.01/896.83	c number of learned constraints concerned by reduction	: 0
1800.01/896.83	c number of learning phase by resolution	: 0
1800.01/896.83	c number of learning phase by cutting planes	: 0
1800.01/896.83	c speed (assignments/second)	: 21804.58604648029
1800.01/896.83	c non guided choices	55401
1800.01/896.83	c learnt constraints type 
1800.01/896.83	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 16419
1800.01/896.83	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.01/896.83	c org.sat4j.pb.constraints.pb.LearntBinaryClausePB => 61
1800.01/896.83	c org.sat4j.pb.constraints.pb.MaxWatchPb => 5666
1800.01/896.83	s UNKNOWN
1800.01/896.83	c Total wall clock time (in seconds): 896.712

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-4080478-1465266644/watcher-4080478-1465266644 -o /tmp/evaluation-result-4080478-1465266644/solver-4080478-1465266644 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1465253685-3609 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4080478-1465266644.opb 

pid=9388
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: 4.46 4.26 4.18 4/198 9391
/proc/meminfo: memFree=27621504/32872528 swapFree=16080/1655368
[pid=9391] ppid=9388 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/9391/stat : 9391 (java) D 9388 9391 3593 0 -1 4202496 374 0 0 0 0 0 0 0 20 0 1 0 108598060 2560000 46 33554432000 1073741824 1073778376 140737310086192 140737310083320 217401355559 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/9391/statm: 625 46 37 9 0 29 0

[startup+0.10016 s]
/proc/loadavg: 4.46 4.26 4.18 4/198 9391
/proc/meminfo: memFree=27621504/32872528 swapFree=16080/1655368
[pid=9391] ppid=9388 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/9391/stat : 9391 (java) S 9388 9391 3593 0 -1 4202496 4408 0 1 0 8 1 0 0 20 0 18 0 108598060 9787879424 6036 33554432000 1073741824 1073778376 140737310086192 140737310077328 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9391/statm: 2389619 6036 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200227 s]
/proc/loadavg: 4.46 4.26 4.18 4/198 9391
/proc/meminfo: memFree=27621504/32872528 swapFree=16080/1655368
[pid=9391] ppid=9388 vsize=9558476 CPUtime=0.22 cores=0,2,4,6
/proc/9391/stat : 9391 (java) S 9388 9391 3593 0 -1 4202496 4678 0 1 0 21 1 0 0 20 0 18 0 108598060 9787879424 8294 33554432000 1073741824 1073778376 140737310086192 140737310077328 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9391/statm: 2389619 8294 2198 9 0 2380296 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 9558476

[startup+0.300282 s]
/proc/loadavg: 4.46 4.26 4.18 4/198 9391
/proc/meminfo: memFree=27621504/32872528 swapFree=16080/1655368
[pid=9391] ppid=9388 vsize=9558476 CPUtime=0.47 cores=0,2,4,6
/proc/9391/stat : 9391 (java) S 9388 9391 3593 0 -1 4202496 5964 0 1 0 45 2 0 0 20 0 18 0 108598060 9787879424 10444 33554432000 1073741824 1073778376 140737310086192 140737310077328 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9391/statm: 2389619 10444 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558476

[startup+0.700311 s]
/proc/loadavg: 4.46 4.26 4.18 4/198 9391
/proc/meminfo: memFree=27621504/32872528 swapFree=16080/1655368
[pid=9391] ppid=9388 vsize=9558476 CPUtime=1.37 cores=0,2,4,6
/proc/9391/stat : 9391 (java) S 9388 9391 3593 0 -1 4202496 13502 0 1 0 131 6 0 0 20 0 18 0 108598060 9787879424 44519 33554432000 1073741824 1073778376 140737310086192 140737310077328 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9391/statm: 2389619 44519 2264 9 0 2380296 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 9558476

[startup+1.50253 s]
/proc/loadavg: 4.46 4.26 4.18 5/216 9409
/proc/meminfo: memFree=27348768/32872528 swapFree=16080/1655368
[pid=9391] ppid=9388 vsize=9558476 CPUtime=2.49 cores=0,2,4,6
/proc/9391/stat : 9391 (java) S 9388 9391 3593 0 -1 4202496 14343 0 1 0 234 15 0 0 20 0 18 0 108598060 9787879424 86675 33554432000 1073741824 1073778376 140737310086192 140737310077328 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9391/statm: 2389619 87187 2264 9 0 2380296 0
[pid=9391/tid=9393] ppid=9388 vsize=9558476 CPUtime=1.4 cores=0,2,4,6
/proc/9391/task/9393/stat : 9393 (java) S 9388 9391 3593 0 -1 4202560 2532 0 1 0 135 5 0 0 20 0 18 0 108598061 9787879424 87187 33554432000 1073741824 1073778376 140737310086192 140000991988824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9391/tid=9394] ppid=9388 vsize=9558476 CPUtime=0.02 cores=0,2,4,6
/proc/9391/task/9394/stat : 9394 (java) R 9388 9391 3593 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 18 0 108598062 9787879424 87187 33554432000 1073741824 1073778376 140737310086192 140000970090664 217413891132 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9391/tid=9395] ppid=9388 vsize=9558476 CPUtime=0.01 cores=0,2,4,6
/proc/9391/task/9395/stat : 9395 (java) R 9388 9391 3593 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 18 0 108598062 9787879424 87187 33554432000 1073741824 1073778376 140737310086192 140000767240488 140000994461361 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9391/tid=9396] ppid=9388 vsize=9558476 CPUtime=0.01 cores=0,2,4,6
/proc/9391/task/9396/stat : 9396 (java) R 9388 9391 3593 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 18 0 108598062 9787879424 87187 33554432000 1073741824 1073778376 140737310086192 140000766188120 140000995746956 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9391/tid=9397] ppid=9388 vsize=9558476 CPUtime=0.04 cores=0,2,4,6
/proc/9391/task/9397/stat : 9397 (java) S 9388 9391 3593 0 -1 4202560 27 0 0 0 3 1 0 0 20 0 18 0 108598062 9787879424 87187 33554432000 1073741824 1073778376 140737310086192 140000765135400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9391/tid=9398] ppid=9388 vsize=9558476 CPUtime=0.02 cores=0,2,4,6
/proc/9391/task/9398/stat : 9398 (java) R 9388 9391 3593 0 -1 4202560 24 0 0 0 2 0 0 0 20 0 18 0 108598062 9787879424 87187 33554432000 1073741824 1073778376 140737310086192 140000764082856 140000994461369 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9391/tid=9399] ppid=9388 vsize=9558476 CPUtime=0.01 cores=0,2,4,6
/proc/9391/task/9399/stat : 9399 (java) R 9388 9391 3593 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 18 0 108598062 9787879424 87188 33554432000 1073741824 1073778376 140737310086192 140000763030488 140000994461361 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=9391/tid=9400] ppid=9388 vsize=9558476 CPUtime=0.01 cores=0,2,4,6
/proc/9391/task/9400/stat : 9400 (java) R 9388 9391 3593 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 18 0 108598062 9787879424 87188 33554432000 1073741824 1073778376 140737310086192 140000761977944 140000996165807 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=9391/tid=9401] ppid=9388 vsize=9558476 CPUtime=0.02 cores=0,2,4,6
/proc/9391/task/9401/stat : 9401 (java) R 9388 9391 3593 0 -1 4202560 20 0 0 0 1 1 0 0 20 0 18 0 108598062 9787879424 87188 33554432000 1073741824 1073778376 140737310086192 140000760925224 140000994461361 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9391/tid=9402] ppid=9388 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/9391/task/9402/stat : 9402 (java) S 9388 9391 3593 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 108598063 9787879424 87188 33554432000 1073741824 1073778376 140737310086192 140000748725256 217413891132 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9391/tid=9403] ppid=9388 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/9391/task/9403/stat : 9403 (java) S 9388 9391 3593 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 108598064 9787879424 87188 33554432000 1073741824 1073778376 140737310086192 140000747672696 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9391/tid=9404] ppid=9388 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/9391/task/9404/stat : 9404 (java) S 9388 9391 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 108598064 9787879424 87188 33554432000 1073741824 1073778376 140737310086192 140000746620040 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9391/tid=9405] ppid=9388 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/9391/task/9405/stat : 9405 (java) S 9388 9391 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 108598066 9787879424 87188 33554432000 1073741824 1073778376 140737310086192 140000745568784 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9391/tid=9406] ppid=9388 vsize=9558476 CPUtime=0.38 cores=0,2,4,6
/proc/9391/task/9406/stat : 9406 (java) S 9388 9391 3593 0 -1 4202560 4432 0 0 0 37 1 0 0 20 0 18 0 108598066 9787879424 87188 33554432000 1073741824 1073778376 140737310086192 140000744516152 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9391/tid=9407] ppid=9388 vsize=9558476 CPUtime=0.42 cores=0,2,4,6
/proc/9391/task/9407/stat : 9407 (java) S 9388 9391 3593 0 -1 4202560 5794 0 0 0 40 2 0 0 20 0 18 0 108598066 9787879424 87188 33554432000 1073741824 1073778376 140737310086192 140000743463608 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9391/tid=9408] ppid=9388 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/9391/task/9408/stat : 9408 (java) S 9388 9391 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 108598066 9787879424 87188 33554432000 1073741824 1073778376 140737310086192 140000742411256 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9391/tid=9409] ppid=9388 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/9391/task/9409/stat : 9409 (java) S 9388 9391 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 108598066 9787879424 87188 33554432000 1073741824 1073778376 140737310086192 140000741358920 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.49
Current children cumulated vsize (KiB) 9558476

[startup+3.10085 s]
/proc/loadavg: 4.34 4.24 4.18 9/216 9409
/proc/meminfo: memFree=27028684/32872528 swapFree=16080/1655368
[pid=9391] ppid=9388 vsize=9558476 CPUtime=4.54 cores=0,2,4,6
/proc/9391/stat : 9391 (java) S 9388 9391 3593 0 -1 4202496 15030 0 1 0 423 31 0 0 20 0 18 0 108598060 9787879424 169482 33554432000 1073741824 1073778376 140737310086192 140737310077328 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9391/statm: 2389619 169482 2264 9 0 2380296 0
[pid=9391/tid=9393] ppid=9388 vsize=9558476 CPUtime=2.84 cores=0,2,4,6
/proc/9391/task/9393/stat : 9393 (java) R 9388 9391 3593 0 -1 4202560 2644 0 1 0 276 8 0 0 20 0 18 0 108598061 9787879424 169482 33554432000 1073741824 1073778376 140737310086192 140000991981488 217413903629 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9391/tid=9394] ppid=9388 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/9391/task/9394/stat : 9394 (java) S 9388 9391 3593 0 -1 4202560 46 0 0 0 6 2 0 0 20 0 18 0 108598062 9787879424 169482 33554432000 1073741824 1073778376 140737310086192 140000970090664 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9391/tid=9395] ppid=9388 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/9391/task/9395/stat : 9395 (java) S 9388 9391 3593 0 -1 4202560 56 0 0 0 6 2 0 0 20 0 18 0 108598062 9787879424 169482 33554432000 1073741824 1073778376 140737310086192 140000767240488 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9391/tid=9396] ppid=9388 vsize=9558476 CPUtime=0.06 cores=0,2,4,6
/proc/9391/task/9396/stat : 9396 (java) S 9388 9391 3593 0 -1 4202560 31 0 0 0 5 1 0 0 20 0 18 0 108598062 9787879424 169482 33554432000 1073741824 1073778376 140737310086192 140000766187944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9391/tid=9397] ppid=9388 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/9391/task/9397/stat : 9397 (java) S 9388 9391 3593 0 -1 4202560 98 0 0 0 13 4 0 0 20 0 18 0 108598062 9787879424 169482 33554432000 1073741824 1073778376 140737310086192 140000765135400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9391/tid=9398] ppid=9388 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/9391/task/9398/stat : 9398 (java) S 9388 9391 3593 0 -1 4202560 54 0 0 0 5 3 0 0 20 0 18 0 108598062 9787879424 169482 33554432000 1073741824 1073778376 140737310086192 140000764082856 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9391/tid=9399] ppid=9388 vsize=9558476 CPUtime=0.06 cores=0,2,4,6
/proc/9391/task/9399/stat : 9399 (java) S 9388 9391 3593 0 -1 4202560 57 0 0 0 4 2 0 0 20 0 18 0 108598062 9787879424 169482 33554432000 1073741824 1073778376 140737310086192 140000763030312 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9391/tid=9400] ppid=9388 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/9391/task/9400/stat : 9400 (java) S 9388 9391 3593 0 -1 4202560 31 0 0 0 5 2 0 0 20 0 18 0 108598062 9787879424 169482 33554432000 1073741824 1073778376 140737310086192 140000761977768 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9391/tid=9401] ppid=9388 vsize=9558476 CPUtime=0.11 cores=0,2,4,6
/proc/9391/task/9401/stat : 9401 (java) S 9388 9391 3593 0 -1 4202560 56 0 0 0 7 4 0 0 20 0 18 0 108598062 9787879424 169482 33554432000 1073741824 1073778376 140737310086192 140000760925224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9391/tid=9402] ppid=9388 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/9391/task/9402/stat : 9402 (java) S 9388 9391 3593 0 -1 4202560 480 0 0 0 0 0 0 0 20 0 18 0 108598063 9787879424 169482 33554432000 1073741824 1073778376 140737310086192 140000748726376 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9391/tid=9403] ppid=9388 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/9391/task/9403/stat : 9403 (java) S 9388 9391 3593 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 108598064 9787879424 169482 33554432000 1073741824 1073778376 140737310086192 140000747672696 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9391/tid=9404] ppid=9388 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/9391/task/9404/stat : 9404 (java) S 9388 9391 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 108598064 9787879424 169482 33554432000 1073741824 1073778376 140737310086192 140000746620040 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9391/tid=9405] ppid=9388 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/9391/task/9405/stat : 9405 (java) S 9388 9391 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 108598066 9787879424 169482 33554432000 1073741824 1073778376 140737310086192 140000745568784 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9391/tid=9406] ppid=9388 vsize=9558476 CPUtime=0.38 cores=0,2,4,6
/proc/9391/task/9406/stat : 9406 (java) S 9388 9391 3593 0 -1 4202560 4432 0 0 0 37 1 0 0 20 0 18 0 108598066 9787879424 169482 33554432000 1073741824 1073778376 140737310086192 140000744516152 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9391/tid=9407] ppid=9388 vsize=9558476 CPUtime=0.44 cores=0,2,4,6
/proc/9391/task/9407/stat : 9407 (java) S 9388 9391 3593 0 -1 4202560 5794 0 0 0 42 2 0 0 20 0 18 0 108598066 9787879424 169482 33554432000 1073741824 1073778376 140737310086192 140000743463608 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9391/tid=9408] ppid=9388 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/9391/task/9408/stat : 9408 (java) S 9388 9391 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 108598066 9787879424 169482 33554432000 1073741824 1073778376 140737310086192 140000742411256 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9391/tid=9409] ppid=9388 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/9391/task/9409/stat : 9409 (java) S 9388 9391 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 108598066 9787879424 169482 33554432000 1073741824 1073778376 140737310086192 140000741358920 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.54
Current children cumulated vsize (KiB) 9558476

[startup+6.30076 s]
/proc/loadavg: 4.34 4.24 4.18 12/216 9409
/proc/meminfo: memFree=26373580/32872528 swapFree=16080/1655368
[pid=9391] ppid=9388 vsize=9824732 CPUtime=8.64 cores=0,2,4,6
/proc/9391/stat : 9391 (java) S 9388 9391 3593 0 -1 4202496 17106 0 1 0 809 55 0 0 20 0 22 0 108598060 10060525568 330951 33554432000 1073741824 1073778376 140737310086192 140737310077328 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9391/statm: 2456183 330951 2274 9 0 2446860 0
[pid=9391/tid=9393] ppid=9388 vsize=9824732 CPUtime=5.71 cores=0,2,4,6
/proc/9391/task/9393/stat : 9393 (java) S 9388 9391 3593 0 -1 4202560 3352 0 1 0 557 14 0 0 20 0 22 0 108598061 10060525568 330951 33554432000 1073741824 1073778376 140737310086192 140000991990648 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9391/tid=9394] ppid=9388 vsize=9824732 CPUtime=0.17 cores=0,2,4,6
/proc/9391/task/9394/stat : 9394 (java) S 9388 9391 3593 0 -1 4202560 125 0 0 0 13 4 0 0 20 0 22 0 108598062 10060525568 330951 33554432000 1073741824 1073778376 140737310086192 140000970090664 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9391/tid=9395] ppid=9388 vsize=9824732 CPUtime=0.25 cores=0,2,4,6
/proc/9391/task/9395/stat : 9395 (java) S 9388 9391 3593 0 -1 4202560 205 0 0 0 20 5 0 0 20 0 22 0 108598062 10060525568 330951 33554432000 1073741824 1073778376 140737310086192 140000767240488 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9391/tid=9396] ppid=9388 vsize=9824732 CPUtime=0.16 cores=0,2,4,6
/proc/9391/task/9396/stat : 9396 (java) S 9388 9391 3593 0 -1 4202560 131 0 0 0 12 4 0 0 20 0 22 0 108598062 10060525568 330951 33554432000 1073741824 1073778376 140737310086192 140000766187944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9391/tid=9397] ppid=9388 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/9391/task/9397/stat : 9397 (java) S 9388 9391 3593 0 -1 4202560 150 0 0 0 25 7 0 0 20 0 22 0 108598062 10060525568 330951 33554432000 1073741824 1073778376 140737310086192 140000765135400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9391/tid=9398] ppid=9388 vsize=9824732 CPUtime=0.18 cores=0,2,4,6
/proc/9391/task/9398/stat : 9398 (java) S 9388 9391 3593 0 -1 4202560 90 0 0 0 13 5 0 0 20 0 22 0 108598062 10060525568 330951 33554432000 1073741824 1073778376 140737310086192 140000764082856 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9391/tid=9399] ppid=9388 vsize=9824732 CPUtime=0.18 cores=0,2,4,6
/proc/9391/task/9399/stat : 9399 (java) S 9388 9391 3593 0 -1 4202560 150 0 0 0 14 4 0 0 20 0 22 0 108598062 10060525568 330951 33554432000 1073741824 1073778376 140737310086192 140000763030312 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9391/tid=9400] ppid=9388 vsize=9824732 CPUtime=0.17 cores=0,2,4,6
/proc/9391/task/9400/stat : 9400 (java) S 9388 9391 3593 0 -1 4202560 155 0 0 0 13 4 0 0 20 0 22 0 108598062 10060525568 330951 33554432000 1073741824 1073778376 140737310086192 140000761977768 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9391/tid=9401] ppid=9388 vsize=9824732 CPUtime=0.22 cores=0,2,4,6
/proc/9391/task/9401/stat : 9401 (java) S 9388 9391 3593 0 -1 4202560 159 0 0 0 16 6 0 0 20 0 22 0 108598062 10060525568 330951 33554432000 1073741824 1073778376 140737310086192 140000760925224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9391/tid=9402] ppid=9388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9391/task/9402/stat : 9402 (java) S 9388 9391 3593 0 -1 4202560 1029 0 0 0 0 0 0 0 20 0 22 0 108598063 10060525568 330951 33554432000 1073741824 1073778376 140737310086192 140000748726376 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9391/tid=9403] ppid=9388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9391/task/9403/stat : 9403 (java) S 9388 9391 3593 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 108598064 10060525568 330951 33554432000 1073741824 1073778376 140737310086192 140000747672696 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9391/tid=9404] ppid=9388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9391/task/9404/stat : 9404 (java) S 9388 9391 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 108598064 10060525568 330951 33554432000 1073741824 1073778376 140737310086192 140000746620040 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9391/tid=9405] ppid=9388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9391/task/9405/stat : 9405 (java) S 9388 9391 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108598066 10060525568 330951 33554432000 1073741824 1073778376 140737310086192 140000745568784 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9391/tid=9406] ppid=9388 vsize=9824732 CPUtime=0.45 cores=0,2,4,6
/proc/9391/task/9406/stat : 9406 (java) R 9388 9391 3593 0 -1 4202560 4445 0 0 0 44 1 0 0 20 0 22 0 108598066 10060525568 330951 33554432000 1073741824 1073778376 140737310086192 140000744515480 140000998446746 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9391/tid=9407] ppid=9388 vsize=9824732 CPUtime=0.52 cores=0,2,4,6
/proc/9391/task/9407/stat : 9407 (java) R 9388 9391 3593 0 -1 4202560 5808 0 0 0 50 2 0 0 20 0 22 0 108598066 10060525568 330951 33554432000 1073741824 1073778376 140737310086192 140000743451360 140000996107968 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9391/tid=9408] ppid=9388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9391/task/9408/stat : 9408 (java) S 9388 9391 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108598066 10060525568 330951 33554432000 1073741824 1073778376 140737310086192 140000742411256 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9391/tid=9409] ppid=9388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9391/task/9409/stat : 9409 (java) S 9388 9391 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108598066 10060525568 330951 33554432000 1073741824 1073778376 140737310086192 140000741358920 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 8.64
Current children cumulated vsize (KiB) 9824732

[startup+12.7009 s]
/proc/loadavg: 4.29 4.23 4.17 6/220 9413
/proc/meminfo: memFree=25275612/32872528 swapFree=16080/1655368
[pid=9391] ppid=9388 vsize=9824732 CPUtime=22.92 cores=0,2,4,6
/proc/9391/stat : 9391 (java) S 9388 9391 3593 0 -1 4202496 25990 0 1 0 2212 80 0 0 20 0 22 0 108598060 10060525568 589904 33554432000 1073741824 1073778376 140737310086192 140737310077328 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9391/statm: 2456183 589904 2286 9 0 2446860 0

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

/proc/9391/task/9396/stat : 9396 (java) S 9388 9391 3593 0 -1 4202560 507 0 0 0 294 9 0 0 20 0 22 0 108598062 10060525568 482673 33554432000 1073741824 1073778376 140737310086192 140000766187944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9391/tid=9397] ppid=9388 vsize=9824732 CPUtime=3.02 cores=0,2,4,6
/proc/9391/task/9397/stat : 9397 (java) S 9388 9391 3593 0 -1 4202560 515 0 0 0 290 12 0 0 20 0 22 0 108598062 10060525568 482673 33554432000 1073741824 1073778376 140737310086192 140000765135400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9391/tid=9398] ppid=9388 vsize=9824732 CPUtime=2.89 cores=0,2,4,6
/proc/9391/task/9398/stat : 9398 (java) S 9388 9391 3593 0 -1 4202560 443 0 0 0 280 9 0 0 20 0 22 0 108598062 10060525568 482673 33554432000 1073741824 1073778376 140737310086192 140000764082856 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9391/tid=9399] ppid=9388 vsize=9824732 CPUtime=3.12 cores=0,2,4,6
/proc/9391/task/9399/stat : 9399 (java) S 9388 9391 3593 0 -1 4202560 484 0 0 0 302 10 0 0 20 0 22 0 108598062 10060525568 482673 33554432000 1073741824 1073778376 140737310086192 140000763030312 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9391/tid=9400] ppid=9388 vsize=9824732 CPUtime=3.04 cores=0,2,4,6
/proc/9391/task/9400/stat : 9400 (java) S 9388 9391 3593 0 -1 4202560 487 0 0 0 295 9 0 0 20 0 22 0 108598062 10060525568 482673 33554432000 1073741824 1073778376 140737310086192 140000761977768 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9391/tid=9401] ppid=9388 vsize=9824732 CPUtime=3.08 cores=0,2,4,6
/proc/9391/task/9401/stat : 9401 (java) S 9388 9391 3593 0 -1 4202560 489 0 0 0 298 10 0 0 20 0 22 0 108598062 10060525568 482673 33554432000 1073741824 1073778376 140737310086192 140000760925224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9391/tid=9402] ppid=9388 vsize=9824732 CPUtime=1.81 cores=0,2,4,6
/proc/9391/task/9402/stat : 9402 (java) S 9388 9391 3593 0 -1 4202560 10768 0 0 0 154 27 0 0 20 0 22 0 108598063 10060525568 482673 33554432000 1073741824 1073778376 140737310086192 140000748726376 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9391/tid=9403] ppid=9388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9391/task/9403/stat : 9403 (java) S 9388 9391 3593 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 108598064 10060525568 482673 33554432000 1073741824 1073778376 140737310086192 140000747672696 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9391/tid=9404] ppid=9388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9391/task/9404/stat : 9404 (java) S 9388 9391 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 108598064 10060525568 482673 33554432000 1073741824 1073778376 140737310086192 140000746620040 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9391/tid=9405] ppid=9388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9391/task/9405/stat : 9405 (java) S 9388 9391 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108598066 10060525568 482673 33554432000 1073741824 1073778376 140737310086192 140000745568784 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9391/tid=9406] ppid=9388 vsize=9824732 CPUtime=1.31 cores=0,2,4,6
/proc/9391/task/9406/stat : 9406 (java) S 9388 9391 3593 0 -1 4202560 8971 0 0 0 129 2 0 0 20 0 22 0 108598066 10060525568 482673 33554432000 1073741824 1073778376 140737310086192 140000744516152 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9391/tid=9407] ppid=9388 vsize=9824732 CPUtime=1.73 cores=0,2,4,6
/proc/9391/task/9407/stat : 9407 (java) S 9388 9391 3593 0 -1 4202560 16715 0 0 0 169 4 0 0 20 0 22 0 108598066 10060525568 482673 33554432000 1073741824 1073778376 140737310086192 140000743463608 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9391/tid=9408] ppid=9388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9391/task/9408/stat : 9408 (java) S 9388 9391 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108598066 10060525568 482673 33554432000 1073741824 1073778376 140737310086192 140000742411256 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9391/tid=9409] ppid=9388 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/9391/task/9409/stat : 9409 (java) S 9388 9391 3593 0 -1 4202560 46 0 0 0 13 17 0 0 20 0 22 0 108598066 10060525568 482673 33554432000 1073741824 1073778376 140737310086192 140000741358920 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9391/tid=9410] ppid=9388 vsize=9824732 CPUtime=805.6 cores=0,2,4,6
/proc/9391/task/9410/stat : 9410 (java) R 9388 9391 3593 0 -1 4202560 66 0 0 0 80545 15 0 0 20 0 22 0 108598683 10060525568 482673 33554432000 1073741824 1073778376 140737310086192 140000740203696 140000851696680 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9391/tid=9411] ppid=9388 vsize=9824732 CPUtime=805.74 cores=0,2,4,6
/proc/9391/task/9411/stat : 9411 (java) R 9388 9391 3593 0 -1 4202560 1116 0 0 0 80542 32 0 0 20 0 22 0 108598683 10060525568 482673 33554432000 1073741824 1073778376 140737310086192 140000739150304 140000852261182 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9391/tid=9412] ppid=9388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9391/task/9412/stat : 9412 (java) S 9388 9391 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 108598686 10060525568 482673 33554432000 1073741824 1073778376 140737310086192 140000738100264 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9391/tid=9413] ppid=9388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9391/task/9413/stat : 9413 (java) S 9388 9391 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 108598686 10060525568 482673 33554432000 1073741824 1073778376 140737310086192 140000737047720 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1650.29
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.22 4.23 4.18 5/219 9503
/proc/meminfo: memFree=25436700/32872528 swapFree=16080/1655368
[pid=9391] ppid=9388 vsize=9824732 CPUtime=1770.9 cores=0,2,4,6
/proc/9391/stat : 9391 (java) S 9388 9391 3593 0 -1 4202496 46570 0 1 0 176920 170 0 0 20 0 22 0 108598060 10060525568 484694 33554432000 1073741824 1073778376 140737310086192 140737310077328 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9391/statm: 2456183 484694 2300 9 0 2446860 0
[pid=9391/tid=9393] ppid=9388 vsize=9824732 CPUtime=5.75 cores=0,2,4,6
/proc/9391/task/9393/stat : 9393 (java) S 9388 9391 3593 0 -1 4202560 3363 0 1 0 558 17 0 0 20 0 22 0 108598061 10060525568 484694 33554432000 1073741824 1073778376 140737310086192 140000991990648 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9391/tid=9394] ppid=9388 vsize=9824732 CPUtime=2.97 cores=0,2,4,6
/proc/9391/task/9394/stat : 9394 (java) S 9388 9391 3593 0 -1 4202560 459 0 0 0 287 10 0 0 20 0 22 0 108598062 10060525568 484694 33554432000 1073741824 1073778376 140737310086192 140000970090664 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9391/tid=9395] ppid=9388 vsize=9824732 CPUtime=3.25 cores=0,2,4,6
/proc/9391/task/9395/stat : 9395 (java) S 9388 9391 3593 0 -1 4202560 597 0 0 0 315 10 0 0 20 0 22 0 108598062 10060525568 484694 33554432000 1073741824 1073778376 140737310086192 140000767240488 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9391/tid=9396] ppid=9388 vsize=9824732 CPUtime=3.22 cores=0,2,4,6
/proc/9391/task/9396/stat : 9396 (java) S 9388 9391 3593 0 -1 4202560 613 0 0 0 313 9 0 0 20 0 22 0 108598062 10060525568 484694 33554432000 1073741824 1073778376 140737310086192 140000766187944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9391/tid=9397] ppid=9388 vsize=9824732 CPUtime=3.19 cores=0,2,4,6
/proc/9391/task/9397/stat : 9397 (java) S 9388 9391 3593 0 -1 4202560 543 0 0 0 307 12 0 0 20 0 22 0 108598062 10060525568 484694 33554432000 1073741824 1073778376 140737310086192 140000765135400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9391/tid=9398] ppid=9388 vsize=9824732 CPUtime=3.07 cores=0,2,4,6
/proc/9391/task/9398/stat : 9398 (java) S 9388 9391 3593 0 -1 4202560 446 0 0 0 297 10 0 0 20 0 22 0 108598062 10060525568 484694 33554432000 1073741824 1073778376 140737310086192 140000764082856 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9391/tid=9399] ppid=9388 vsize=9824732 CPUtime=3.37 cores=0,2,4,6
/proc/9391/task/9399/stat : 9399 (java) S 9388 9391 3593 0 -1 4202560 571 0 0 0 326 11 0 0 20 0 22 0 108598062 10060525568 484694 33554432000 1073741824 1073778376 140737310086192 140000763030312 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9391/tid=9400] ppid=9388 vsize=9824732 CPUtime=3.2 cores=0,2,4,6
/proc/9391/task/9400/stat : 9400 (java) S 9388 9391 3593 0 -1 4202560 511 0 0 0 311 9 0 0 20 0 22 0 108598062 10060525568 484694 33554432000 1073741824 1073778376 140737310086192 140000761977768 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9391/tid=9401] ppid=9388 vsize=9824732 CPUtime=3.27 cores=0,2,4,6
/proc/9391/task/9401/stat : 9401 (java) S 9388 9391 3593 0 -1 4202560 497 0 0 0 316 11 0 0 20 0 22 0 108598062 10060525568 484694 33554432000 1073741824 1073778376 140737310086192 140000760925224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9391/tid=9402] ppid=9388 vsize=9824732 CPUtime=1.83 cores=0,2,4,6
/proc/9391/task/9402/stat : 9402 (java) S 9388 9391 3593 0 -1 4202560 10772 0 0 0 155 28 0 0 20 0 22 0 108598063 10060525568 484694 33554432000 1073741824 1073778376 140737310086192 140000748726376 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9391/tid=9403] ppid=9388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9391/task/9403/stat : 9403 (java) S 9388 9391 3593 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 108598064 10060525568 484694 33554432000 1073741824 1073778376 140737310086192 140000747672696 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9391/tid=9404] ppid=9388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9391/task/9404/stat : 9404 (java) S 9388 9391 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 108598064 10060525568 484694 33554432000 1073741824 1073778376 140737310086192 140000746620040 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9391/tid=9405] ppid=9388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9391/task/9405/stat : 9405 (java) S 9388 9391 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108598066 10060525568 484694 33554432000 1073741824 1073778376 140737310086192 140000745568784 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9391/tid=9406] ppid=9388 vsize=9824732 CPUtime=1.31 cores=0,2,4,6
/proc/9391/task/9406/stat : 9406 (java) S 9388 9391 3593 0 -1 4202560 8971 0 0 0 129 2 0 0 20 0 22 0 108598066 10060525568 484694 33554432000 1073741824 1073778376 140737310086192 140000744516152 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9391/tid=9407] ppid=9388 vsize=9824732 CPUtime=1.73 cores=0,2,4,6
/proc/9391/task/9407/stat : 9407 (java) S 9388 9391 3593 0 -1 4202560 16715 0 0 0 169 4 0 0 20 0 22 0 108598066 10060525568 484694 33554432000 1073741824 1073778376 140737310086192 140000743463608 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9391/tid=9408] ppid=9388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9391/task/9408/stat : 9408 (java) S 9388 9391 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108598066 10060525568 484694 33554432000 1073741824 1073778376 140737310086192 140000742411256 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9391/tid=9409] ppid=9388 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/9391/task/9409/stat : 9409 (java) S 9388 9391 3593 0 -1 4202560 50 0 0 0 13 19 0 0 20 0 22 0 108598066 10060525568 484694 33554432000 1073741824 1073778376 140737310086192 140000741358920 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9391/tid=9410] ppid=9388 vsize=9824732 CPUtime=865.03 cores=0,2,4,6
/proc/9391/task/9410/stat : 9410 (java) R 9388 9391 3593 0 -1 4202560 66 0 0 0 86487 16 0 0 20 0 22 0 108598683 10060525568 484694 33554432000 1073741824 1073778376 140737310086192 140000740196000 140000852072182 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9391/tid=9411] ppid=9388 vsize=9824732 CPUtime=865.17 cores=0,2,4,6
/proc/9391/task/9411/stat : 9411 (java) R 9388 9391 3593 0 -1 4202560 1132 0 0 0 86484 33 0 0 20 0 22 0 108598683 10060525568 484694 33554432000 1073741824 1073778376 140737310086192 140000739151040 140000852261248 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9391/tid=9412] ppid=9388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9391/task/9412/stat : 9412 (java) S 9388 9391 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 108598686 10060525568 484694 33554432000 1073741824 1073778376 140737310086192 140000738100264 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9391/tid=9413] ppid=9388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9391/task/9413/stat : 9413 (java) S 9388 9391 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 108598686 10060525568 484694 33554432000 1073741824 1073778376 140737310086192 140000737047720 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1770.9
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+896.801 s]
/proc/loadavg: 4.18 4.22 4.18 6/219 9503
/proc/meminfo: memFree=25460152/32872528 swapFree=16080/1655368
[pid=9391] ppid=9388 vsize=9824732 CPUtime=1800.01 cores=0,2,4,6
/proc/9391/stat : 9391 (java) S 9388 9391 3593 0 -1 4202496 46670 0 1 0 179830 171 0 0 20 0 22 0 108598060 10060525568 483857 33554432000 1073741824 1073778376 140737310086192 140737310077328 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9391/statm: 2456183 483857 2300 9 0 2446860 0
[pid=9391/tid=9393] ppid=9388 vsize=9824732 CPUtime=5.75 cores=0,2,4,6
/proc/9391/task/9393/stat : 9393 (java) S 9388 9391 3593 0 -1 4202560 3363 0 1 0 558 17 0 0 20 0 22 0 108598061 10060525568 483857 33554432000 1073741824 1073778376 140737310086192 140000991990648 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9391/tid=9394] ppid=9388 vsize=9824732 CPUtime=2.99 cores=0,2,4,6
/proc/9391/task/9394/stat : 9394 (java) S 9388 9391 3593 0 -1 4202560 459 0 0 0 289 10 0 0 20 0 22 0 108598062 10060525568 483857 33554432000 1073741824 1073778376 140737310086192 140000970090664 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9391/tid=9395] ppid=9388 vsize=9824732 CPUtime=3.29 cores=0,2,4,6
/proc/9391/task/9395/stat : 9395 (java) S 9388 9391 3593 0 -1 4202560 646 0 0 0 318 11 0 0 20 0 22 0 108598062 10060525568 483857 33554432000 1073741824 1073778376 140737310086192 140000767240488 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9391/tid=9396] ppid=9388 vsize=9824732 CPUtime=3.26 cores=0,2,4,6
/proc/9391/task/9396/stat : 9396 (java) S 9388 9391 3593 0 -1 4202560 635 0 0 0 316 10 0 0 20 0 22 0 108598062 10060525568 483857 33554432000 1073741824 1073778376 140737310086192 140000766187944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9391/tid=9397] ppid=9388 vsize=9824732 CPUtime=3.23 cores=0,2,4,6
/proc/9391/task/9397/stat : 9397 (java) S 9388 9391 3593 0 -1 4202560 559 0 0 0 310 13 0 0 20 0 22 0 108598062 10060525568 483857 33554432000 1073741824 1073778376 140737310086192 140000765135400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9391/tid=9398] ppid=9388 vsize=9824732 CPUtime=3.11 cores=0,2,4,6
/proc/9391/task/9398/stat : 9398 (java) S 9388 9391 3593 0 -1 4202560 446 0 0 0 301 10 0 0 20 0 22 0 108598062 10060525568 483857 33554432000 1073741824 1073778376 140737310086192 140000764082856 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9391/tid=9399] ppid=9388 vsize=9824732 CPUtime=3.42 cores=0,2,4,6
/proc/9391/task/9399/stat : 9399 (java) S 9388 9391 3593 0 -1 4202560 571 0 0 0 331 11 0 0 20 0 22 0 108598062 10060525568 483857 33554432000 1073741824 1073778376 140737310086192 140000763030312 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9391/tid=9400] ppid=9388 vsize=9824732 CPUtime=3.27 cores=0,2,4,6
/proc/9391/task/9400/stat : 9400 (java) S 9388 9391 3593 0 -1 4202560 519 0 0 0 318 9 0 0 20 0 22 0 108598062 10060525568 483857 33554432000 1073741824 1073778376 140737310086192 140000761977768 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9391/tid=9401] ppid=9388 vsize=9824732 CPUtime=3.28 cores=0,2,4,6
/proc/9391/task/9401/stat : 9401 (java) S 9388 9391 3593 0 -1 4202560 497 0 0 0 317 11 0 0 20 0 22 0 108598062 10060525568 483857 33554432000 1073741824 1073778376 140737310086192 140000760925224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9391/tid=9402] ppid=9388 vsize=9824732 CPUtime=1.83 cores=0,2,4,6
/proc/9391/task/9402/stat : 9402 (java) S 9388 9391 3593 0 -1 4202560 10772 0 0 0 155 28 0 0 20 0 22 0 108598063 10060525568 483857 33554432000 1073741824 1073778376 140737310086192 140000748726376 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9391/tid=9403] ppid=9388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9391/task/9403/stat : 9403 (java) S 9388 9391 3593 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 108598064 10060525568 483857 33554432000 1073741824 1073778376 140737310086192 140000747672696 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9391/tid=9404] ppid=9388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9391/task/9404/stat : 9404 (java) S 9388 9391 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 108598064 10060525568 483857 33554432000 1073741824 1073778376 140737310086192 140000746620040 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9391/tid=9405] ppid=9388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9391/task/9405/stat : 9405 (java) S 9388 9391 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108598066 10060525568 483857 33554432000 1073741824 1073778376 140737310086192 140000745568784 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9391/tid=9406] ppid=9388 vsize=9824732 CPUtime=1.31 cores=0,2,4,6
/proc/9391/task/9406/stat : 9406 (java) S 9388 9391 3593 0 -1 4202560 8971 0 0 0 129 2 0 0 20 0 22 0 108598066 10060525568 483857 33554432000 1073741824 1073778376 140737310086192 140000744516152 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9391/tid=9407] ppid=9388 vsize=9824732 CPUtime=1.73 cores=0,2,4,6
/proc/9391/task/9407/stat : 9407 (java) S 9388 9391 3593 0 -1 4202560 16716 0 0 0 169 4 0 0 20 0 22 0 108598066 10060525568 483857 33554432000 1073741824 1073778376 140737310086192 140000743463608 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9391/tid=9408] ppid=9388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9391/task/9408/stat : 9408 (java) S 9388 9391 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108598066 10060525568 483857 33554432000 1073741824 1073778376 140737310086192 140000742411256 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9391/tid=9409] ppid=9388 vsize=9824732 CPUtime=0.33 cores=0,2,4,6
/proc/9391/task/9409/stat : 9409 (java) S 9388 9391 3593 0 -1 4202560 50 0 0 0 13 20 0 0 20 0 22 0 108598066 10060525568 483857 33554432000 1073741824 1073778376 140737310086192 140000741358920 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9391/tid=9410] ppid=9388 vsize=9824732 CPUtime=879.41 cores=0,2,4,6
/proc/9391/task/9410/stat : 9410 (java) R 9388 9391 3593 0 -1 4202560 67 0 0 0 87925 16 0 0 20 0 22 0 108598683 10060525568 483857 33554432000 1073741824 1073778376 140737310086192 140000740204736 140000852072046 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9391/tid=9411] ppid=9388 vsize=9824732 CPUtime=879.54 cores=0,2,4,6
/proc/9391/task/9411/stat : 9411 (java) R 9388 9391 3593 0 -1 4202560 1135 0 0 0 87921 33 0 0 20 0 22 0 108598683 10060525568 483857 33554432000 1073741824 1073778376 140737310086192 140000739151152 140000852102724 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9391/tid=9412] ppid=9388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9391/task/9412/stat : 9412 (java) S 9388 9391 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 108598686 10060525568 483857 33554432000 1073741824 1073778376 140737310086192 140000738100264 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9391/tid=9413] ppid=9388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9391/task/9413/stat : 9413 (java) S 9388 9391 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 108598686 10060525568 483857 33554432000 1073741824 1073778376 140737310086192 140000737047720 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
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 9391 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 9391 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=908284
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=212663
# CPU time returned by wait4() is 1796.12
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 896.844
CPU time (s): 1800.01
CPU user time (s): 1798.3
CPU system time (s): 1.71
CPU usage (%): 200.705
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.91
system time used= 2.21266
maximum resident set size= 2840296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46703
page faults= 1
swaps= 0
block input operations= 0
block output operations= 944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31194
involuntary context switches= 56440

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.59215 second user time and 7.49586 second system time

The end

Launcher Data 

Begin job on node122 at 2016-06-07 04:30:45
IDJOB=4080478
IDBENCH=89740
IDSOLVER=2543
FILE ID=node122/4080478-1465266644
RUNJOBID= node122-1465253685-3609
PBS_JOBID= 19843267
Free space on /tmp= 71696 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-123.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080478-1465266644/watcher-4080478-1465266644 -o /tmp/evaluation-result-4080478-1465266644/solver-4080478-1465266644 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1465253685-3609 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4080478-1465266644.opb

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

MD5SUM BENCH= e6dc64843ebe4c9cb8812bfa08aa0858
RANDOM SEED=113736111

node122.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.898
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.79
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.898
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	: 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
cpu MHz		: 2666.898
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.54
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.898
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.898
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.55
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.898
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.898
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.898
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        27621884 kB
Buffers:          121216 kB
Cached:           188820 kB
SwapCached:          860 kB
Active:          2669504 kB
Inactive:         181332 kB
Active(anon):    2541508 kB
Inactive(anon):     1632 kB
Active(file):     127996 kB
Inactive(file):   179700 kB
Unevictable:     1655368 kB
Mlocked:           16080 kB
SwapTotal:      67108856 kB
SwapFree:       67099512 kB
Dirty:             38212 kB
Writeback:             0 kB
AnonPages:       4199912 kB
Mapped:            15396 kB
Shmem:                 0 kB
Slab:             602172 kB
SReclaimable:      45836 kB
SUnreclaim:       556336 kB
KernelStack:        1616 kB
PageTables:        12728 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4471704 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4139008 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= 71704 MiB
End job on node122 at 2016-06-07 04:45:42