Trace number 4116158

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.17 894.865

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size160-round21-4.opb
MD5SUM835bd396412aff89c50fb613bfcfc19a
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 benchmark78.4871
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3968
Total number of constraints7936
Number of constraints which are clauses6656
Number of constraints which are cardinality constraints (but not clauses)448
Number of constraints which are nor clauses,nor cardinality constraints832
Minimum length of a constraint1
Maximum length of a constraint10
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 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	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.11/0.10	c Pseudo Boolean Optimization by upper bound
0.11/0.10	c ManyCore solver with 2 solvers running in parallel
0.11/0.10	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c Expensive reason simplification
0.11/0.10	c Glucose 2.1 dynamic restart strategy
0.11/0.10	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.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.11/0.10	c --- End Solver configuration ---
0.11/0.10	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.11/0.10	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Armin Biere (Picosat) restarts strategy
0.11/0.10	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.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.11/0.10	c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-4116158-1466950561.opb
0.11/0.10	c reading problem ... 
0.11/0.11	c  no objective function found
0.77/0.46	c ... done. Wall clock time 0.352s.
0.77/0.46	c declared #vars     3968
0.77/0.46	c #constraints  9216
0.77/0.46	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.77/0.46	c constraints type 
0.77/0.46	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5958
0.77/0.46	c org.sat4j.specs.Constr$1 => 936
0.77/0.46	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 128
0.77/0.46	c org.sat4j.minisat.constraints.cnf.UnitClause => 536
0.77/0.46	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1658
0.77/0.46	c 9216 constraints processed.
0.77/0.46	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.77/0.46	c constraints type 
0.77/0.46	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 128
0.77/0.46	c org.sat4j.specs.Constr$1 => 936
0.77/0.46	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5958
0.77/0.46	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1658
0.77/0.46	c org.sat4j.pb.constraints.pb.UnitClausePB => 536
0.77/0.46	c 9216 constraints processed.
4.67/1.41	c cleaning 2500 clauses out of 5001 with flag 15619/5002
6.49/2.06	c cleaning 4241 clauses out of 8498 with flag 37041/11000
8.16/2.80	c cleaning 5624 clauses out of 11257 with flag 64694/18000
9.82/3.68	c cleaning 6812 clauses out of 13635 with flag 98405/26002
12.15/4.72	c cleaning 7911 clauses out of 15821 with flag 139927/35000
14.35/5.82	c cleaning 8938 clauses out of 17910 with flag 188121/45000
17.03/7.14	c cleaning 9960 clauses out of 19974 with flag 242269/56002
20.03/8.60	c cleaning 11007 clauses out of 22013 with flag 303058/68001
23.32/10.29	c cleaning 11992 clauses out of 24005 with flag 372993/81000
27.26/12.17	c cleaning 12998 clauses out of 26013 with flag 446621/95000
31.25/14.17	c cleaning 13990 clauses out of 28015 with flag 529654/110000
35.65/16.39	c cleaning 15006 clauses out of 30025 with flag 618775/126000
40.97/18.94	c cleaning 15997 clauses out of 32022 with flag 715047/143003
46.18/21.55	c cleaning 17004 clauses out of 34022 with flag 819155/161000
51.79/24.35	c cleaning 17981 clauses out of 36018 with flag 928673/180000
58.34/27.51	c cleaning 18994 clauses out of 38037 with flag 1045308/200000
60.12/28.49	c cleaning 0 clauses out of 5000 with flag 0/5000
64.99/30.88	c cleaning 19992 clauses out of 40044 with flag 1170604/221001
72.96/34.63	c cleaning 21003 clauses out of 42052 with flag 1302308/243001
80.76/38.52	c cleaning 22019 clauses out of 44048 with flag 1443903/266000
89.05/42.62	c cleaning 22989 clauses out of 46030 with flag 1589887/290001
97.65/46.95	c cleaning 24004 clauses out of 48040 with flag 1742613/315000
106.75/51.48	c cleaning 25001 clauses out of 50037 with flag 1900785/341001
116.55/56.36	c cleaning 25989 clauses out of 52035 with flag 2068473/368000
127.04/61.59	c cleaning 26999 clauses out of 54046 with flag 2239593/396000
138.16/67.01	c cleaning 28001 clauses out of 56048 with flag 2417613/425001
149.57/72.73	c cleaning 28976 clauses out of 58046 with flag 2602881/455000
161.87/78.86	c cleaning 30019 clauses out of 60070 with flag 2794820/486000
174.85/85.27	c cleaning 30997 clauses out of 62051 with flag 2993622/518000
188.51/92.02	c cleaning 32020 clauses out of 64054 with flag 3198737/551000
202.58/99.08	c cleaning 32991 clauses out of 66038 with flag 3408992/585004
217.64/106.54	c cleaning 33996 clauses out of 68043 with flag 3629318/620000
233.74/114.96	c cleaning 35004 clauses out of 70048 with flag 3856588/656001
249.79/122.99	c cleaning 36004 clauses out of 72043 with flag 4089786/693000
266.62/131.32	c cleaning 37007 clauses out of 74039 with flag 4330687/731000
284.11/140.09	c cleaning 37994 clauses out of 76035 with flag 4574704/770003
302.83/149.34	c cleaning 38982 clauses out of 78038 with flag 4829715/810000
322.44/159.07	c cleaning 40004 clauses out of 80057 with flag 5089380/851001
343.34/169.49	c cleaning 41027 clauses out of 82054 with flag 5354616/893002
364.81/180.15	c cleaning 41963 clauses out of 84027 with flag 5629944/936002
373.42/184.44	c cleaning 0 clauses out of 11001 with flag 0/11001
387.12/191.21	c cleaning 42996 clauses out of 86063 with flag 5911909/980001
409.84/202.59	c cleaning 43992 clauses out of 88066 with flag 6199823/1025000
433.82/214.49	c cleaning 45022 clauses out of 90075 with flag 6491076/1071001
457.75/226.32	c cleaning 46019 clauses out of 92052 with flag 6794391/1118000
482.50/238.70	c cleaning 46982 clauses out of 94033 with flag 7104023/1166000
508.85/251.66	c cleaning 48001 clauses out of 96052 with flag 7421157/1215001
537.88/266.63	c cleaning 49010 clauses out of 98052 with flag 7744927/1265002
566.77/281.07	c cleaning 50002 clauses out of 100041 with flag 8067901/1316001
596.32/295.76	c cleaning 51005 clauses out of 102039 with flag 8403891/1368001
627.23/311.17	c cleaning 51994 clauses out of 104035 with flag 8746721/1421002
659.02/326.99	c cleaning 52984 clauses out of 106039 with flag 9097913/1475000
692.66/343.66	c cleaning 54010 clauses out of 108056 with flag 9452040/1530001
726.56/360.46	c cleaning 54999 clauses out of 110045 with flag 9816884/1586000
761.24/377.70	c cleaning 56013 clauses out of 112046 with flag 10188705/1643000
797.84/395.86	c cleaning 57007 clauses out of 114033 with flag 10561683/1701000
834.59/414.19	c cleaning 58010 clauses out of 116026 with flag 10945246/1760000
873.04/433.28	c cleaning 58999 clauses out of 118017 with flag 11333012/1820001
913.63/453.45	c cleaning 59990 clauses out of 120017 with flag 11728272/1881000
955.05/474.01	c cleaning 61006 clauses out of 122027 with flag 12133358/1943000
997.50/495.16	c cleaning 61996 clauses out of 124021 with flag 12541625/2006000
1040.77/516.57	c cleaning 63004 clauses out of 126025 with flag 12958589/2070000
1085.29/538.62	c cleaning 63982 clauses out of 128021 with flag 13381469/2135000
1132.03/561.75	c cleaning 64975 clauses out of 130039 with flag 13807693/2201000
1179.70/585.36	c cleaning 66005 clauses out of 132064 with flag 14235693/2268000
1229.73/611.06	c cleaning 67000 clauses out of 134059 with flag 14674627/2336000
1279.26/635.79	c cleaning 68020 clauses out of 136059 with flag 15119801/2405000
1330.62/661.31	c cleaning 68985 clauses out of 138040 with flag 15574009/2475001
1358.03/674.99	c cleaning 0 clauses out of 18000 with flag 0/18000
1383.39/687.54	c cleaning 70022 clauses out of 140054 with flag 16038143/2546000
1435.52/713.42	c cleaning 71011 clauses out of 142032 with flag 16504454/2618000
1486.74/738.90	c cleaning 71997 clauses out of 144022 with flag 16978653/2691001
1544.17/767.44	c cleaning 72998 clauses out of 146024 with flag 17456167/2765000
1603.22/796.86	c cleaning 73942 clauses out of 148027 with flag 17937131/2840001
1663.12/826.64	c cleaning 75032 clauses out of 150084 with flag 18432175/2916000
1725.28/857.59	c cleaning 75992 clauses out of 152053 with flag 18932272/2993001
1789.37/889.45	c cleaning 76996 clauses out of 154060 with flag 19435048/3071000
1800.17/894.80	c >>>>>>>>>> Solver number 0 (0 answers) <<<<<<<<<<<<<<<<<<
1800.17/894.80	c starts		: 29686
1800.17/894.80	c conflicts		: 3087632
1800.17/894.80	c decisions		: 25673935
1800.17/894.80	c propagations		: 405606452
1800.17/894.80	c inspects		: 9522041961
1800.17/894.80	c shortcuts		: 0
1800.17/894.80	c learnt literals	: 2
1800.17/894.80	c learnt binary clauses	: 74
1800.17/894.80	c learnt ternary clauses	: 851
1800.17/894.80	c learnt constraints	: 3087630
1800.17/894.80	c ignored constraints	: 0
1800.17/894.80	c root simplifications	: 0
1800.17/894.80	c removed literals (reason simplification)	: 3150835
1800.17/894.80	c reason swapping (by a shorter reason)	: 0
1800.17/894.80	c Calls to reduceDB	: 74
1800.17/894.80	c Number of update (reduction) of LBD	: 671677
1800.17/894.80	c Imported unit clauses	: 0
1800.17/894.80	c number of reductions to clauses (during analyze)	: 0
1800.17/894.80	c number of learned constraints concerned by reduction	: 0
1800.17/894.80	c number of learning phase by resolution	: 0
1800.17/894.80	c number of learning phase by cutting planes	: 0
1800.17/894.80	c speed (assignments/second)	: 453530.57425047323
1800.17/894.80	c non guided choices	3872
1800.17/894.83	c learnt constraints type 
1800.17/894.83	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 74
1800.17/894.83	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 93622
1800.17/894.83	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.17/894.83	c starts		: 45
1800.17/894.83	c conflicts		: 19662
1800.17/894.83	c decisions		: 60023
1800.17/894.83	c propagations		: 2360079
1800.17/894.83	c inspects		: 819282136
1800.17/894.83	c shortcuts		: 0
1800.17/894.83	c learnt literals	: 0
1800.17/894.83	c learnt binary clauses	: 0
1800.17/894.83	c learnt ternary clauses	: 0
1800.17/894.83	c learnt constraints	: 19661
1800.17/894.83	c ignored constraints	: 0
1800.17/894.83	c root simplifications	: 0
1800.17/894.83	c removed literals (reason simplification)	: 0
1800.17/894.83	c reason swapping (by a shorter reason)	: 0
1800.17/894.83	c Calls to reduceDB	: 3
1800.17/894.83	c Number of update (reduction) of LBD	: 0
1800.17/894.83	c Imported unit clauses	: 0
1800.17/894.83	c number of reductions to clauses (during analyze)	: 0
1800.17/894.83	c number of learned constraints concerned by reduction	: 0
1800.17/894.83	c number of learning phase by resolution	: 0
1800.17/894.83	c number of learning phase by cutting planes	: 0
1800.17/894.83	c speed (assignments/second)	: 2638.8644764824667
1800.17/894.83	c non guided choices	232
1800.17/894.84	c learnt constraints type 
1800.17/894.84	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 8
1800.17/894.84	c org.sat4j.pb.constraints.pb.MaxWatchPb => 19653
1800.17/894.84	s UNKNOWN
1800.17/894.84	c Total wall clock time (in seconds): 894.731

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-4116158-1466950561/watcher-4116158-1466950561 -o /tmp/evaluation-result-4116158-1466950561/solver-4116158-1466950561 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466943674-19491 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4116158-1466950561.opb 

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

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.47 4.31 4.28 4/197 21055
/proc/meminfo: memFree=29781576/32872528 swapFree=1541156/1696500
[pid=21055] ppid=21052 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/21055/stat : 21055 (java) S 21052 21055 19474 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 28094783 98570240 977 33554432000 1073741824 1073778376 140736663522064 140736663513200 270710898749 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21055/statm: 24065 977 743 9 0 16771 0
[pid=21055/tid=21056] ppid=21052 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/21055/task/21056/stat : 21056 (java) R 21052 21055 19474 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 28094783 98570240 977 33554432000 1073741824 1073778376 140736663522064 140429501992488 270707541376 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0

[startup+0.100061 s]
/proc/loadavg: 4.47 4.31 4.28 4/197 21055
/proc/meminfo: memFree=29781576/32872528 swapFree=1541156/1696500
[pid=21055] ppid=21052 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/21055/stat : 21055 (java) S 21052 21055 19474 0 -1 4202496 4498 0 1 0 10 1 0 0 20 0 18 0 28094783 9787879424 6123 33554432000 1073741824 1073778376 140736663522064 140736663513200 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21055/statm: 2389619 6125 2158 9 0 2380296 0
[pid=21055/tid=21056] ppid=21052 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/21055/task/21056/stat : 21056 (java) R 21052 21055 19474 0 -1 4202560 2385 0 1 0 7 1 0 0 20 0 18 0 28094783 9787879424 6125 33554432000 1073741824 1073778376 140736663522064 140429501995936 140429506011302 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200276 s]
/proc/loadavg: 4.47 4.31 4.28 4/197 21055
/proc/meminfo: memFree=29781576/32872528 swapFree=1541156/1696500
[pid=21055] ppid=21052 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/21055/stat : 21055 (java) S 21052 21055 19474 0 -1 4202496 4767 0 1 0 27 1 0 0 20 0 18 0 28094783 9787879424 6830 33554432000 1073741824 1073778376 140736663522064 140736663513200 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21055/statm: 2389619 6830 2221 9 0 2380296 0
[pid=21055/tid=21056] ppid=21052 vsize=9558476 CPUtime=0.18 cores=1,3,5,7
/proc/21055/task/21056/stat : 21056 (java) R 21052 21055 19474 0 -1 4202560 2401 0 1 0 17 1 0 0 20 0 18 0 28094783 9787879424 6830 33554432000 1073741824 1073778376 140736663522064 140429501995936 140429341345892 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.300266 s]
/proc/loadavg: 4.47 4.31 4.28 4/197 21055
/proc/meminfo: memFree=29781576/32872528 swapFree=1541156/1696500
[pid=21055] ppid=21052 vsize=9558476 CPUtime=0.52 cores=1,3,5,7
/proc/21055/stat : 21055 (java) S 21052 21055 19474 0 -1 4202496 5832 0 1 0 51 1 0 0 20 0 18 0 28094783 9787879424 9081 33554432000 1073741824 1073778376 140736663522064 140736663513200 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21055/statm: 2389619 9081 2235 9 0 2380296 0
[pid=21055/tid=21056] ppid=21052 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/21055/task/21056/stat : 21056 (java) R 21052 21055 19474 0 -1 4202560 2404 0 1 0 27 1 0 0 20 0 18 0 28094783 9787879424 9081 33554432000 1073741824 1073778376 140736663522064 140429501995936 140429341748703 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9558476

[startup+0.700221 s]
/proc/loadavg: 4.47 4.31 4.28 4/197 21055
/proc/meminfo: memFree=29781576/32872528 swapFree=1541156/1696500
[pid=21055] ppid=21052 vsize=9824732 CPUtime=1.88 cores=1,3,5,7
/proc/21055/stat : 21055 (java) S 21052 21055 19474 0 -1 4202496 14689 0 1 0 185 3 0 0 20 0 22 0 28094783 10060525568 23223 33554432000 1073741824 1073778376 140736663522064 140736663513200 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21055/statm: 2456183 23223 2267 9 0 2446860 0
[pid=21055/tid=21056] ppid=21052 vsize=9824732 CPUtime=0.44 cores=1,3,5,7
/proc/21055/task/21056/stat : 21056 (java) S 21052 21055 19474 0 -1 4202560 2434 0 1 0 43 1 0 0 20 0 22 0 28094783 10060525568 23223 33554432000 1073741824 1073778376 140736663522064 140429501997944 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 9824732

[startup+1.50085 s]
/proc/loadavg: 4.47 4.31 4.28 7/219 21077
/proc/meminfo: memFree=29487328/32872528 swapFree=1541156/1696500
[pid=21055] ppid=21052 vsize=9824732 CPUtime=5.05 cores=1,3,5,7
/proc/21055/stat : 21055 (java) S 21052 21055 19474 0 -1 4202496 22543 0 1 0 499 6 0 0 20 0 22 0 28094783 10060525568 48413 33554432000 1073741824 1073778376 140736663522064 140736663513200 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21055/statm: 2456183 48413 2292 9 0 2446860 0
[pid=21055/tid=21056] ppid=21052 vsize=9824732 CPUtime=0.44 cores=1,3,5,7
/proc/21055/task/21056/stat : 21056 (java) S 21052 21055 19474 0 -1 4202560 2434 0 1 0 43 1 0 0 20 0 22 0 28094783 10060525568 48413 33554432000 1073741824 1073778376 140736663522064 140429501997944 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21055/tid=21058] ppid=21052 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21055/task/21058/stat : 21058 (java) S 21052 21055 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 28094784 10060525568 48413 33554432000 1073741824 1073778376 140736663522064 140429463488680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21055/tid=21059] ppid=21052 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21055/task/21059/stat : 21059 (java) S 21052 21055 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 28094784 10060525568 48413 33554432000 1073741824 1073778376 140736663522064 140429462436136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21055/tid=21060] ppid=21052 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21055/task/21060/stat : 21060 (java) S 21052 21055 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28094784 10060525568 48413 33554432000 1073741824 1073778376 140736663522064 140429461383592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21055/tid=21061] ppid=21052 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21055/task/21061/stat : 21061 (java) S 21052 21055 19474 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 28094784 10060525568 48413 33554432000 1073741824 1073778376 140736663522064 140429460331048 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21055/tid=21062] ppid=21052 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/21055/task/21062/stat : 21062 (java) S 21052 21055 19474 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 28094784 10060525568 48413 33554432000 1073741824 1073778376 140736663522064 140429341223592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21055/tid=21063] ppid=21052 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21055/task/21063/stat : 21063 (java) S 21052 21055 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28094784 10060525568 48413 33554432000 1073741824 1073778376 140736663522064 140429340171048 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21055/tid=21064] ppid=21052 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21055/task/21064/stat : 21064 (java) S 21052 21055 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 28094784 10060525568 48413 33554432000 1073741824 1073778376 140736663522064 140429339118504 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21055/tid=21065] ppid=21052 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21055/task/21065/stat : 21065 (java) S 21052 21055 19474 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 28094784 10060525568 48413 33554432000 1073741824 1073778376 140736663522064 140429338065960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21055/tid=21066] ppid=21052 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21055/task/21066/stat : 21066 (java) S 21052 21055 19474 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 28094785 10060525568 48413 33554432000 1073741824 1073778376 140736663522064 140429325867112 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21055/tid=21067] ppid=21052 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21055/task/21067/stat : 21067 (java) S 21052 21055 19474 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28094785 10060525568 48413 33554432000 1073741824 1073778376 140736663522064 140428720465016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21055/tid=21068] ppid=21052 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21055/task/21068/stat : 21068 (java) S 21052 21055 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28094785 10060525568 48413 33554432000 1073741824 1073778376 140736663522064 140428719412360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21055/tid=21069] ppid=21052 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21055/task/21069/stat : 21069 (java) S 21052 21055 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28094787 10060525568 48413 33554432000 1073741824 1073778376 140736663522064 140428718361104 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21055/tid=21070] ppid=21052 vsize=9824732 CPUtime=1.26 cores=1,3,5,7
/proc/21055/task/21070/stat : 21070 (java) R 21052 21055 19474 0 -1 4202560 11486 0 0 0 124 2 0 0 20 0 22 0 28094787 10060525568 48413 33554432000 1073741824 1073778376 140736663522064 140428717295536 140429505377493 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21055/tid=21071] ppid=21052 vsize=9824732 CPUtime=1.21 cores=1,3,5,7
/proc/21055/task/21071/stat : 21071 (java) S 21052 21055 19474 0 -1 4202560 7149 0 0 0 121 0 0 0 20 0 22 0 28094787 10060525568 48413 33554432000 1073741824 1073778376 140736663522064 140428716255928 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21055/tid=21072] ppid=21052 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21055/task/21072/stat : 21072 (java) S 21052 21055 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28094787 10060525568 48413 33554432000 1073741824 1073778376 140736663522064 140428715203576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21055/tid=21073] ppid=21052 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21055/task/21073/stat : 21073 (java) S 21052 21055 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28094787 10060525568 48413 33554432000 1073741824 1073778376 140736663522064 140428714151240 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21055/tid=21074] ppid=21052 vsize=9824732 CPUtime=0.98 cores=1,3,5,7
/proc/21055/task/21074/stat : 21074 (java) R 21052 21055 19474 0 -1 4202560 19 0 0 0 98 0 0 0 20 0 22 0 28094829 10060525568 48413 33554432000 1073741824 1073778376 140736663522064 140428713086624 140429341862099 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=21055/tid=21075] ppid=21052 vsize=9824732 CPUtime=0.99 cores=1,3,5,7
/proc/21055/task/21075/stat : 21075 (java) R 21052 21055 19474 0 -1 4202560 74 0 0 0 97 2 0 0 20 0 22 0 28094829 10060525568 48413 33554432000 1073741824 1073778376 140736663522064 140428712041832 140429342092615 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21055/tid=21076] ppid=21052 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21055/task/21076/stat : 21076 (java) S 21052 21055 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28094830 10060525568 48413 33554432000 1073741824 1073778376 140736663522064 140428710990888 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21055/tid=21077] ppid=21052 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21055/task/21077/stat : 21077 (java) S 21052 21055 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28094830 10060525568 48413 33554432000 1073741824 1073778376 140736663522064 140428709938344 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 5.05
Current children cumulated vsize (KiB) 9824732

[startup+3.10087 s]
/proc/loadavg: 4.47 4.31 4.28 6/219 21077
/proc/meminfo: memFree=29068052/32872528 swapFree=1541156/1696500
[pid=21055] ppid=21052 vsize=9824732 CPUtime=8.79 cores=1,3,5,7
/proc/21055/stat : 21055 (java) S 21052 21055 19474 0 -1 4202496 23738 0 1 0 864 15 0 0 20 0 22 0 28094783 10060525568 90730 33554432000 1073741824 1073778376 140736663522064 140736663513200 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21055/statm: 2456183 90730 2292 9 0 2446860 0
[pid=21055/tid=21056] ppid=21052 vsize=9824732 CPUtime=0.44 cores=1,3,5,7
/proc/21055/task/21056/stat : 21056 (java) S 21052 21055 19474 0 -1 4202560 2434 0 1 0 43 1 0 0 20 0 22 0 28094783 10060525568 90730 33554432000 1073741824 1073778376 140736663522064 140429501997944 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21055/tid=21058] ppid=21052 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/21055/task/21058/stat : 21058 (java) R 21052 21055 19474 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 28094784 10060525568 90730 33554432000 1073741824 1073778376 140736663522064 140429463488680 140429506159360 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21055/tid=21059] ppid=21052 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/21055/task/21059/stat : 21059 (java) R 21052 21055 19474 0 -1 4202560 20 0 0 0 3 0 0 0 20 0 22 0 28094784 10060525568 90730 33554432000 1073741824 1073778376 140736663522064 140429462436136 140429506173125 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21055/tid=21060] ppid=21052 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/21055/task/21060/stat : 21060 (java) R 21052 21055 19474 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 22 0 28094784 10060525568 90730 33554432000 1073741824 1073778376 140736663522064 140429461383768 140429504468693 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=21055/tid=21061] ppid=21052 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21055/task/21061/stat : 21061 (java) R 21052 21055 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28094784 10060525568 90730 33554432000 1073741824 1073778376 140736663522064 140429460331048 270710912060 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21055/tid=21062] ppid=21052 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/21055/task/21062/stat : 21062 (java) R 21052 21055 19474 0 -1 4202560 25 0 0 0 3 1 0 0 20 0 22 0 28094784 10060525568 90730 33554432000 1073741824 1073778376 140736663522064 140429341223768 140429508893350 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21055/tid=21063] ppid=21052 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/21055/task/21063/stat : 21063 (java) R 21052 21055 19474 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 22 0 28094784 10060525568 90730 33554432000 1073741824 1073778376 140736663522064 140429340171224 140429508893612 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21055/tid=21064] ppid=21052 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/21055/task/21064/stat : 21064 (java) R 21052 21055 19474 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 22 0 28094784 10060525568 90730 33554432000 1073741824 1073778376 140736663522064 140429339118504 140429504468723 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21055/tid=21065] ppid=21052 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/21055/task/21065/stat : 21065 (java) S 21052 21055 19474 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 22 0 28094784 10060525568 90730 33554432000 1073741824 1073778376 140736663522064 140429338065960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21055/tid=21066] ppid=21052 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21055/task/21066/stat : 21066 (java) S 21052 21055 19474 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 22 0 28094785 10060525568 90730 33554432000 1073741824 1073778376 140736663522064 140429325865992 270710912060 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21055/tid=21067] ppid=21052 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21055/task/21067/stat : 21067 (java) S 21052 21055 19474 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28094785 10060525568 90730 33554432000 1073741824 1073778376 140736663522064 140428720465016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21055/tid=21068] ppid=21052 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21055/task/21068/stat : 21068 (java) S 21052 21055 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28094785 10060525568 90730 33554432000 1073741824 1073778376 140736663522064 140428719412360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21055/tid=21069] ppid=21052 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21055/task/21069/stat : 21069 (java) S 21052 21055 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28094787 10060525568 90730 33554432000 1073741824 1073778376 140736663522064 140428718361104 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21055/tid=21070] ppid=21052 vsize=9824732 CPUtime=1.66 cores=1,3,5,7
/proc/21055/task/21070/stat : 21070 (java) S 21052 21055 19474 0 -1 4202560 12401 0 0 0 164 2 0 0 20 0 22 0 28094787 10060525568 90730 33554432000 1073741824 1073778376 140736663522064 140428717308472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21055/tid=21071] ppid=21052 vsize=9824732 CPUtime=1.28 cores=1,3,5,7
/proc/21055/task/21071/stat : 21071 (java) S 21052 21055 19474 0 -1 4202560 7149 0 0 0 128 0 0 0 20 0 22 0 28094787 10060525568 90730 33554432000 1073741824 1073778376 140736663522064 140428716255928 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21055/tid=21072] ppid=21052 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21055/task/21072/stat : 21072 (java) S 21052 21055 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28094787 10060525568 90730 33554432000 1073741824 1073778376 140736663522064 140428715203576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21055/tid=21073] ppid=21052 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21055/task/21073/stat : 21073 (java) S 21052 21055 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28094787 10060525568 91242 33554432000 1073741824 1073778376 140736663522064 140428714151240 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21055/tid=21074] ppid=21052 vsize=9824732 CPUtime=2.5 cores=1,3,5,7
/proc/21055/task/21074/stat : 21074 (java) S 21052 21055 19474 0 -1 4202560 20 0 0 0 250 0 0 0 20 0 22 0 28094829 10060525568 91242 33554432000 1073741824 1073778376 140736663522064 140428713093528 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21055/tid=21075] ppid=21052 vsize=9824732 CPUtime=2.52 cores=1,3,5,7
/proc/21055/task/21075/stat : 21075 (java) R 21052 21055 19474 0 -1 4202560 134 0 0 0 248 4 0 0 20 0 22 0 28094829 10060525568 91242 33554432000 1073741824 1073778376 140736663522064 140428712041472 270710923701 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21055/tid=21076] ppid=21052 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21055/task/21076/stat : 21076 (java) S 21052 21055 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28094830 10060525568 91242 33554432000 1073741824 1073778376 140736663522064 140428710990888 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21055/tid=21077] ppid=21052 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21055/task/21077/stat : 21077 (java) S 21052 21055 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28094830 10060525568 91242 33554432000 1073741824 1073778376 140736663522064 140428709938344 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 8.79
Current children cumulated vsize (KiB) 9824732

[startup+6.301 s]
/proc/loadavg: 4.44 4.31 4.28 5/219 21077
/proc/meminfo: memFree=28649884/32872528 swapFree=1541156/1696500
[pid=21055] ppid=21052 vsize=9824732 CPUtime=15.43 cores=1,3,5,7
/proc/21055/stat : 21055 (java) S 21052 21055 19474 0 -1 4202496 24442 0 1 0 1517 26 0 0 20 0 22 0 28094783 10060525568 163650 33554432000 1073741824 1073778376 140736663522064 140736663513200 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21055/statm: 2456183 163650 2292 9 0 2446860 0
[pid=21055/tid=21056] ppid=21052 vsize=9824732 CPUtime=0.44 cores=1,3,5,7
/proc/21055/task/21056/stat : 21056 (java) S 21052 21055 19474 0 -1 4202560 2434 0 1 0 43 1 0 0 20 0 22 0 28094783 10060525568 163650 33554432000 1073741824 1073778376 140736663522064 140429501997944 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21055/tid=21058] ppid=21052 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/21055/task/21058/stat : 21058 (java) S 21052 21055 19474 0 -1 4202560 28 0 0 0 5 0 0 0 20 0 22 0 28094784 10060525568 163650 33554432000 1073741824 1073778376 140736663522064 140429463488680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21055/tid=21059] ppid=21052 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/21055/task/21059/stat : 21059 (java) S 21052 21055 19474 0 -1 4202560 44 0 0 0 5 2 0 0 20 0 22 0 28094784 10060525568 163650 33554432000 1073741824 1073778376 140736663522064 140429462436136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21055/tid=21060] ppid=21052 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/21055/task/21060/stat : 21060 (java) S 21052 21055 19474 0 -1 4202560 87 0 0 0 5 2 0 0 20 0 22 0 28094784 10060525568 163650 33554432000 1073741824 1073778376 140736663522064 140429461383592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21055/tid=21061] ppid=21052 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/21055/task/21061/stat : 21061 (java) S 21052 21055 19474 0 -1 4202560 36 0 0 0 4 0 0 0 20 0 22 0 28094784 10060525568 163650 33554432000 1073741824 1073778376 140736663522064 140429460331048 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21055/tid=21062] ppid=21052 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/21055/task/21062/stat : 21062 (java) S 21052 21055 19474 0 -1 4202560 50 0 0 0 7 2 0 0 20 0 22 0 28094784 10060525568 163650 33554432000 1073741824 1073778376 140736663522064 140429341223592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21055/tid=21063] ppid=21052 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/21055/task/21063/stat : 21063 (java) S 21052 21055 19474 0 -1 4202560 83 0 0 0 7 2 0 0 20 0 22 0 28094784 10060525568 163650 33554432000 1073741824 1073778376 140736663522064 140429340171048 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21055/tid=21064] ppid=21052 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/21055/task/21064/stat : 21064 (java) S 21052 21055 19474 0 -1 4202560 59 0 0 0 6 2 0 0 20 0 22 0 28094784 10060525568 163650 33554432000 1073741824 1073778376 140736663522064 140429339118504 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21055/tid=21065] ppid=21052 vsize=9824732 CPUtime=0.09 cores=1,3,5,7

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

/proc/21055/task/21060/stat : 21060 (java) S 21052 21055 19474 0 -1 4202560 677 0 0 0 273 19 0 0 20 0 22 0 28094784 10060525568 946946 33554432000 1073741824 1073778376 140736663522064 140429461383592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21055/tid=21061] ppid=21052 vsize=9824732 CPUtime=2.71 cores=1,3,5,7
/proc/21055/task/21061/stat : 21061 (java) S 21052 21055 19474 0 -1 4202560 573 0 0 0 253 18 0 0 20 0 22 0 28094784 10060525568 946946 33554432000 1073741824 1073778376 140736663522064 140429460331048 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21055/tid=21062] ppid=21052 vsize=9824732 CPUtime=2.94 cores=1,3,5,7
/proc/21055/task/21062/stat : 21062 (java) S 21052 21055 19474 0 -1 4202560 601 0 0 0 275 19 0 0 20 0 22 0 28094784 10060525568 946946 33554432000 1073741824 1073778376 140736663522064 140429341223592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21055/tid=21063] ppid=21052 vsize=9824732 CPUtime=2.87 cores=1,3,5,7
/proc/21055/task/21063/stat : 21063 (java) S 21052 21055 19474 0 -1 4202560 579 0 0 0 270 17 0 0 20 0 22 0 28094784 10060525568 946946 33554432000 1073741824 1073778376 140736663522064 140429340171048 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21055/tid=21064] ppid=21052 vsize=9824732 CPUtime=2.71 cores=1,3,5,7
/proc/21055/task/21064/stat : 21064 (java) S 21052 21055 19474 0 -1 4202560 592 0 0 0 255 16 0 0 20 0 22 0 28094784 10060525568 946946 33554432000 1073741824 1073778376 140736663522064 140429339118504 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21055/tid=21065] ppid=21052 vsize=9824732 CPUtime=3.17 cores=1,3,5,7
/proc/21055/task/21065/stat : 21065 (java) S 21052 21055 19474 0 -1 4202560 580 0 0 0 300 17 0 0 20 0 22 0 28094784 10060525568 946946 33554432000 1073741824 1073778376 140736663522064 140429338065960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21055/tid=21066] ppid=21052 vsize=9824732 CPUtime=3.63 cores=1,3,5,7
/proc/21055/task/21066/stat : 21066 (java) S 21052 21055 19474 0 -1 4202560 2308 0 0 0 353 10 0 0 20 0 22 0 28094785 10060525568 946946 33554432000 1073741824 1073778376 140736663522064 140429325867112 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21055/tid=21067] ppid=21052 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21055/task/21067/stat : 21067 (java) S 21052 21055 19474 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28094785 10060525568 946946 33554432000 1073741824 1073778376 140736663522064 140428720465016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21055/tid=21068] ppid=21052 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21055/task/21068/stat : 21068 (java) S 21052 21055 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28094785 10060525568 946946 33554432000 1073741824 1073778376 140736663522064 140428719412360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21055/tid=21069] ppid=21052 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21055/task/21069/stat : 21069 (java) S 21052 21055 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28094787 10060525568 946946 33554432000 1073741824 1073778376 140736663522064 140428718361104 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21055/tid=21070] ppid=21052 vsize=9824732 CPUtime=1.73 cores=1,3,5,7
/proc/21055/task/21070/stat : 21070 (java) S 21052 21055 19474 0 -1 4202560 12413 0 0 0 171 2 0 0 20 0 22 0 28094787 10060525568 946946 33554432000 1073741824 1073778376 140736663522064 140428717308472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21055/tid=21071] ppid=21052 vsize=9824732 CPUtime=1.8 cores=1,3,5,7
/proc/21055/task/21071/stat : 21071 (java) S 21052 21055 19474 0 -1 4202560 9713 0 0 0 180 0 0 0 20 0 22 0 28094787 10060525568 946946 33554432000 1073741824 1073778376 140736663522064 140428716255928 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21055/tid=21072] ppid=21052 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21055/task/21072/stat : 21072 (java) S 21052 21055 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28094787 10060525568 946946 33554432000 1073741824 1073778376 140736663522064 140428715203576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21055/tid=21073] ppid=21052 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/21055/task/21073/stat : 21073 (java) S 21052 21055 19474 0 -1 4202560 47 0 0 0 12 22 0 0 20 0 22 0 28094787 10060525568 946946 33554432000 1073741824 1073778376 140736663522064 140428714151240 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21055/tid=21074] ppid=21052 vsize=9824732 CPUtime=809.71 cores=1,3,5,7
/proc/21055/task/21074/stat : 21074 (java) R 21052 21055 19474 0 -1 4202560 55 0 0 0 80957 14 0 0 20 0 22 0 28094829 10060525568 946946 33554432000 1073741824 1073778376 140736663522064 140428713093632 140429342066821 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21055/tid=21075] ppid=21052 vsize=9824732 CPUtime=809.75 cores=1,3,5,7
/proc/21055/task/21075/stat : 21075 (java) R 21052 21055 19474 0 -1 4202560 2401 0 0 0 80924 51 0 0 20 0 22 0 28094829 10060525568 946946 33554432000 1073741824 1073778376 140736663522064 140428712041760 140429342042899 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21055/tid=21076] ppid=21052 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21055/task/21076/stat : 21076 (java) S 21052 21055 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28094830 10060525568 946946 33554432000 1073741824 1073778376 140736663522064 140428710990888 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21055/tid=21077] ppid=21052 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21055/task/21077/stat : 21077 (java) S 21052 21055 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28094830 10060525568 946946 33554432000 1073741824 1073778376 140736663522064 140428709938344 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1654.53
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.34 4.36 4.31 5/220 21100
/proc/meminfo: memFree=22913324/32872528 swapFree=1541156/1696500
[pid=21055] ppid=21052 vsize=9824732 CPUtime=1775.1 cores=1,3,5,7
/proc/21055/stat : 21055 (java) S 21052 21055 19474 0 -1 4202496 35471 0 1 0 177289 221 0 0 20 0 22 0 28094783 10060525568 958720 33554432000 1073741824 1073778376 140736663522064 140736663513200 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21055/statm: 2456183 958720 2301 9 0 2446860 0
[pid=21055/tid=21056] ppid=21052 vsize=9824732 CPUtime=0.49 cores=1,3,5,7
/proc/21055/task/21056/stat : 21056 (java) S 21052 21055 19474 0 -1 4202560 2437 0 1 0 46 3 0 0 20 0 22 0 28094783 10060525568 958720 33554432000 1073741824 1073778376 140736663522064 140429501997944 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21055/tid=21058] ppid=21052 vsize=9824732 CPUtime=2.88 cores=1,3,5,7
/proc/21055/task/21058/stat : 21058 (java) S 21052 21055 19474 0 -1 4202560 560 0 0 0 272 16 0 0 20 0 22 0 28094784 10060525568 958720 33554432000 1073741824 1073778376 140736663522064 140429463488680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21055/tid=21059] ppid=21052 vsize=9824732 CPUtime=3.09 cores=1,3,5,7
/proc/21055/task/21059/stat : 21059 (java) S 21052 21055 19474 0 -1 4202560 586 0 0 0 290 19 0 0 20 0 22 0 28094784 10060525568 958720 33554432000 1073741824 1073778376 140736663522064 140429462436136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21055/tid=21060] ppid=21052 vsize=9824732 CPUtime=3.09 cores=1,3,5,7
/proc/21055/task/21060/stat : 21060 (java) S 21052 21055 19474 0 -1 4202560 685 0 0 0 289 20 0 0 20 0 22 0 28094784 10060525568 958720 33554432000 1073741824 1073778376 140736663522064 140429461383592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21055/tid=21061] ppid=21052 vsize=9824732 CPUtime=2.87 cores=1,3,5,7
/proc/21055/task/21061/stat : 21061 (java) S 21052 21055 19474 0 -1 4202560 584 0 0 0 268 19 0 0 20 0 22 0 28094784 10060525568 958720 33554432000 1073741824 1073778376 140736663522064 140429460331048 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21055/tid=21062] ppid=21052 vsize=9824732 CPUtime=3.17 cores=1,3,5,7
/proc/21055/task/21062/stat : 21062 (java) S 21052 21055 19474 0 -1 4202560 615 0 0 0 297 20 0 0 20 0 22 0 28094784 10060525568 958720 33554432000 1073741824 1073778376 140736663522064 140429341223592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21055/tid=21063] ppid=21052 vsize=9824732 CPUtime=2.98 cores=1,3,5,7
/proc/21055/task/21063/stat : 21063 (java) S 21052 21055 19474 0 -1 4202560 584 0 0 0 280 18 0 0 20 0 22 0 28094784 10060525568 958720 33554432000 1073741824 1073778376 140736663522064 140429340171048 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21055/tid=21064] ppid=21052 vsize=9824732 CPUtime=2.91 cores=1,3,5,7
/proc/21055/task/21064/stat : 21064 (java) S 21052 21055 19474 0 -1 4202560 606 0 0 0 274 17 0 0 20 0 22 0 28094784 10060525568 958720 33554432000 1073741824 1073778376 140736663522064 140429339118504 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21055/tid=21065] ppid=21052 vsize=9824732 CPUtime=3.26 cores=1,3,5,7
/proc/21055/task/21065/stat : 21065 (java) S 21052 21055 19474 0 -1 4202560 586 0 0 0 308 18 0 0 20 0 22 0 28094784 10060525568 958720 33554432000 1073741824 1073778376 140736663522064 140429338065960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21055/tid=21066] ppid=21052 vsize=9824732 CPUtime=3.64 cores=1,3,5,7
/proc/21055/task/21066/stat : 21066 (java) S 21052 21055 19474 0 -1 4202560 2319 0 0 0 353 11 0 0 20 0 22 0 28094785 10060525568 958720 33554432000 1073741824 1073778376 140736663522064 140429325867112 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21055/tid=21067] ppid=21052 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21055/task/21067/stat : 21067 (java) S 21052 21055 19474 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28094785 10060525568 958720 33554432000 1073741824 1073778376 140736663522064 140428720465016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21055/tid=21068] ppid=21052 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21055/task/21068/stat : 21068 (java) S 21052 21055 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28094785 10060525568 958720 33554432000 1073741824 1073778376 140736663522064 140428719412360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21055/tid=21069] ppid=21052 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21055/task/21069/stat : 21069 (java) S 21052 21055 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28094787 10060525568 958720 33554432000 1073741824 1073778376 140736663522064 140428718361104 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21055/tid=21070] ppid=21052 vsize=9824732 CPUtime=1.73 cores=1,3,5,7
/proc/21055/task/21070/stat : 21070 (java) S 21052 21055 19474 0 -1 4202560 12413 0 0 0 171 2 0 0 20 0 22 0 28094787 10060525568 958720 33554432000 1073741824 1073778376 140736663522064 140428717308472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21055/tid=21071] ppid=21052 vsize=9824732 CPUtime=1.8 cores=1,3,5,7
/proc/21055/task/21071/stat : 21071 (java) S 21052 21055 19474 0 -1 4202560 9713 0 0 0 180 0 0 0 20 0 22 0 28094787 10060525568 958720 33554432000 1073741824 1073778376 140736663522064 140428716255928 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21055/tid=21072] ppid=21052 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21055/task/21072/stat : 21072 (java) S 21052 21055 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28094787 10060525568 958720 33554432000 1073741824 1073778376 140736663522064 140428715203576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21055/tid=21073] ppid=21052 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/21055/task/21073/stat : 21073 (java) S 21052 21055 19474 0 -1 4202560 51 0 0 0 13 23 0 0 20 0 22 0 28094787 10060525568 958720 33554432000 1073741824 1073778376 140736663522064 140428714151240 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21055/tid=21074] ppid=21052 vsize=9824732 CPUtime=869.2 cores=1,3,5,7
/proc/21055/task/21074/stat : 21074 (java) R 21052 21055 19474 0 -1 4202560 57 0 0 0 86905 15 0 0 20 0 22 0 28094829 10060525568 958720 33554432000 1073741824 1073778376 140736663522064 140428713094320 140429341965832 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21055/tid=21075] ppid=21052 vsize=9824732 CPUtime=869.24 cores=1,3,5,7
/proc/21055/task/21075/stat : 21075 (java) R 21052 21055 19474 0 -1 4202560 2408 0 0 0 86872 52 0 0 20 0 22 0 28094829 10060525568 958720 33554432000 1073741824 1073778376 140736663522064 140428712043080 140429342357837 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21055/tid=21076] ppid=21052 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21055/task/21076/stat : 21076 (java) S 21052 21055 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28094830 10060525568 958720 33554432000 1073741824 1073778376 140736663522064 140428710990888 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21055/tid=21077] ppid=21052 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21055/task/21077/stat : 21077 (java) S 21052 21055 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28094830 10060525568 958720 33554432000 1073741824 1073778376 140736663522064 140428709938344 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1775.1
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+894.801 s]
/proc/loadavg: 4.34 4.36 4.31 6/220 21169
/proc/meminfo: memFree=25972800/32872528 swapFree=1541156/1696500
[pid=21055] ppid=21052 vsize=9824732 CPUtime=1800.17 cores=1,3,5,7
/proc/21055/stat : 21055 (java) S 21052 21055 19474 0 -1 4202496 35472 0 1 0 179796 221 0 0 20 0 22 0 28094783 10060525568 958716 33554432000 1073741824 1073778376 140736663522064 140736663513200 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21055/statm: 2456183 958716 2301 9 0 2446860 0
[pid=21055/tid=21056] ppid=21052 vsize=9824732 CPUtime=0.49 cores=1,3,5,7
/proc/21055/task/21056/stat : 21056 (java) S 21052 21055 19474 0 -1 4202560 2437 0 1 0 46 3 0 0 20 0 22 0 28094783 10060525568 958716 33554432000 1073741824 1073778376 140736663522064 140429501997944 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21055/tid=21058] ppid=21052 vsize=9824732 CPUtime=2.89 cores=1,3,5,7
/proc/21055/task/21058/stat : 21058 (java) S 21052 21055 19474 0 -1 4202560 560 0 0 0 273 16 0 0 20 0 22 0 28094784 10060525568 958716 33554432000 1073741824 1073778376 140736663522064 140429463488680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21055/tid=21059] ppid=21052 vsize=9824732 CPUtime=3.11 cores=1,3,5,7
/proc/21055/task/21059/stat : 21059 (java) S 21052 21055 19474 0 -1 4202560 586 0 0 0 292 19 0 0 20 0 22 0 28094784 10060525568 958716 33554432000 1073741824 1073778376 140736663522064 140429462436136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21055/tid=21060] ppid=21052 vsize=9824732 CPUtime=3.11 cores=1,3,5,7
/proc/21055/task/21060/stat : 21060 (java) S 21052 21055 19474 0 -1 4202560 685 0 0 0 291 20 0 0 20 0 22 0 28094784 10060525568 958716 33554432000 1073741824 1073778376 140736663522064 140429461383592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21055/tid=21061] ppid=21052 vsize=9824732 CPUtime=2.92 cores=1,3,5,7
/proc/21055/task/21061/stat : 21061 (java) S 21052 21055 19474 0 -1 4202560 584 0 0 0 273 19 0 0 20 0 22 0 28094784 10060525568 958716 33554432000 1073741824 1073778376 140736663522064 140429460331048 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21055/tid=21062] ppid=21052 vsize=9824732 CPUtime=3.18 cores=1,3,5,7
/proc/21055/task/21062/stat : 21062 (java) S 21052 21055 19474 0 -1 4202560 615 0 0 0 298 20 0 0 20 0 22 0 28094784 10060525568 958716 33554432000 1073741824 1073778376 140736663522064 140429341223592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21055/tid=21063] ppid=21052 vsize=9824732 CPUtime=2.99 cores=1,3,5,7
/proc/21055/task/21063/stat : 21063 (java) S 21052 21055 19474 0 -1 4202560 584 0 0 0 281 18 0 0 20 0 22 0 28094784 10060525568 958716 33554432000 1073741824 1073778376 140736663522064 140429340171048 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21055/tid=21064] ppid=21052 vsize=9824732 CPUtime=2.96 cores=1,3,5,7
/proc/21055/task/21064/stat : 21064 (java) S 21052 21055 19474 0 -1 4202560 606 0 0 0 279 17 0 0 20 0 22 0 28094784 10060525568 958716 33554432000 1073741824 1073778376 140736663522064 140429339118504 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21055/tid=21065] ppid=21052 vsize=9824732 CPUtime=3.27 cores=1,3,5,7
/proc/21055/task/21065/stat : 21065 (java) S 21052 21055 19474 0 -1 4202560 586 0 0 0 309 18 0 0 20 0 22 0 28094784 10060525568 958716 33554432000 1073741824 1073778376 140736663522064 140429338065960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21055/tid=21066] ppid=21052 vsize=9824732 CPUtime=3.64 cores=1,3,5,7
/proc/21055/task/21066/stat : 21066 (java) S 21052 21055 19474 0 -1 4202560 2319 0 0 0 353 11 0 0 20 0 22 0 28094785 10060525568 958716 33554432000 1073741824 1073778376 140736663522064 140429325867112 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21055/tid=21067] ppid=21052 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21055/task/21067/stat : 21067 (java) S 21052 21055 19474 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28094785 10060525568 958716 33554432000 1073741824 1073778376 140736663522064 140428720465016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21055/tid=21068] ppid=21052 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21055/task/21068/stat : 21068 (java) S 21052 21055 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28094785 10060525568 958716 33554432000 1073741824 1073778376 140736663522064 140428719412360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21055/tid=21069] ppid=21052 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21055/task/21069/stat : 21069 (java) S 21052 21055 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28094787 10060525568 958716 33554432000 1073741824 1073778376 140736663522064 140428718361104 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21055/tid=21070] ppid=21052 vsize=9824732 CPUtime=1.73 cores=1,3,5,7
/proc/21055/task/21070/stat : 21070 (java) S 21052 21055 19474 0 -1 4202560 12413 0 0 0 171 2 0 0 20 0 22 0 28094787 10060525568 958716 33554432000 1073741824 1073778376 140736663522064 140428717308472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21055/tid=21071] ppid=21052 vsize=9824732 CPUtime=1.8 cores=1,3,5,7
/proc/21055/task/21071/stat : 21071 (java) S 21052 21055 19474 0 -1 4202560 9713 0 0 0 180 0 0 0 20 0 22 0 28094787 10060525568 958716 33554432000 1073741824 1073778376 140736663522064 140428716255928 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21055/tid=21072] ppid=21052 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21055/task/21072/stat : 21072 (java) S 21052 21055 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28094787 10060525568 958716 33554432000 1073741824 1073778376 140736663522064 140428715203576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21055/tid=21073] ppid=21052 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/21055/task/21073/stat : 21073 (java) S 21052 21055 19474 0 -1 4202560 51 0 0 0 13 24 0 0 20 0 22 0 28094787 10060525568 958716 33554432000 1073741824 1073778376 140736663522064 140428714151240 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21055/tid=21074] ppid=21052 vsize=9824732 CPUtime=881.61 cores=1,3,5,7
/proc/21055/task/21074/stat : 21074 (java) R 21052 21055 19474 0 -1 4202560 57 0 0 0 88146 15 0 0 20 0 22 0 28094829 10060525568 958716 33554432000 1073741824 1073778376 140736663522064 140428713086704 140429342167616 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21055/tid=21075] ppid=21052 vsize=9824732 CPUtime=881.65 cores=1,3,5,7
/proc/21055/task/21075/stat : 21075 (java) R 21052 21055 19474 0 -1 4202560 2409 0 0 0 88113 52 0 0 20 0 22 0 28094829 10060525568 958716 33554432000 1073741824 1073778376 140736663522064 140428712042928 140429342357837 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21055/tid=21076] ppid=21052 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21055/task/21076/stat : 21076 (java) S 21052 21055 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28094830 10060525568 958716 33554432000 1073741824 1073778376 140736663522064 140428710990888 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21055/tid=21077] ppid=21052 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21055/task/21077/stat : 21077 (java) S 21052 21055 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28094830 10060525568 958716 33554432000 1073741824 1073778376 140736663522064 140428709938344 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
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 21055 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 21055 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=409360
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=721586
# CPU time returned by wait4() is 1796.13
# while last known CPU time is 1800.17
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 894.865
CPU time (s): 1800.17
CPU user time (s): 1797.96
CPU system time (s): 2.21
CPU usage (%): 201.167
Max. virtual memory (cumulated for all children) (KiB): 9825092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.41
system time used= 2.72159
maximum resident set size= 3834980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35506
page faults= 1
swaps= 0
block input operations= 0
block output operations= 936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24190
involuntary context switches= 31441

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.04323 second user time and 8.07377 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-26 16:16:01
IDJOB=4116158
IDBENCH=109435
IDSOLVER=2543
FILE ID=node125/4116158-1466950561
RUNJOBID= node125-1466943674-19491
PBS_JOBID= 19976354
Free space on /tmp= 71740 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round21-4.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4116158-1466950561/watcher-4116158-1466950561 -o /tmp/evaluation-result-4116158-1466950561/solver-4116158-1466950561 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466943674-19491 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4116158-1466950561.opb

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

MD5SUM BENCH= 835bd396412aff89c50fb613bfcfc19a
RANDOM SEED=1573330527

node125.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		: 2667.021
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	: 5334.04
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		: 2667.021
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.56
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		: 2667.021
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		: 2667.021
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		: 2667.021
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		: 2667.021
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.56
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		: 2667.021
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		: 2667.021
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:        29781840 kB
Buffers:           10108 kB
Cached:            39652 kB
SwapCached:         1748 kB
Active:           656868 kB
Inactive:          26840 kB
Active(anon):     635984 kB
Inactive(anon):      448 kB
Active(file):      20884 kB
Inactive(file):    26392 kB
Unevictable:     1696500 kB
Mlocked:         1541156 kB
SwapTotal:      67108856 kB
SwapFree:       67098440 kB
Dirty:              2472 kB
Writeback:             0 kB
AnonPages:       2340140 kB
Mapped:            15308 kB
Shmem:                 0 kB
Slab:             565852 kB
SReclaimable:       9124 kB
SUnreclaim:       556728 kB
KernelStack:        1616 kB
PageTables:         9036 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3324668 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    759808 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= 71740 MiB
End job on node125 at 2016-06-26 16:30:56