Trace number 4115966

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.02 895.256

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size96-round21-0.opb
MD5SUM67eed53fa3ccc7342076b6ba8cc14c08
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 benchmark6.47401
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 constraints7872
Number of constraints which are clauses6656
Number of constraints which are cardinality constraints (but not clauses)384
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.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.10	c Number of processors 	8
0.10/0.12	c Pseudo Boolean Optimization by upper bound
0.10/0.12	c ManyCore solver with 2 solvers running in parallel
0.10/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.12	c Expensive reason simplification
0.10/0.12	c Glucose 2.1 dynamic restart strategy
0.10/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.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.10/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.12	c No reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/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.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c solving HOME/instance-4115966-1466944464.opb
0.10/0.12	c reading problem ... 
0.10/0.13	c  no objective function found
0.70/0.49	c ... done. Wall clock time 0.369s.
0.70/0.49	c declared #vars     3968
0.70/0.49	c #constraints  9088
1.00/0.50	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
1.00/0.50	c constraints type 
1.00/0.50	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5958
1.00/0.50	c org.sat4j.specs.Constr$1 => 872
1.00/0.50	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 128
1.00/0.50	c org.sat4j.minisat.constraints.cnf.UnitClause => 472
1.00/0.50	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1658
1.00/0.50	c 9088 constraints processed.
1.00/0.50	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
1.00/0.50	c constraints type 
1.00/0.50	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 128
1.00/0.50	c org.sat4j.specs.Constr$1 => 872
1.00/0.50	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5958
1.00/0.50	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1658
1.00/0.50	c org.sat4j.pb.constraints.pb.UnitClausePB => 472
1.00/0.50	c 9088 constraints processed.
4.93/1.53	c cleaning 2485 clauses out of 4999 with flag 14764/5001
6.25/2.17	c cleaning 4244 clauses out of 8513 with flag 36235/11000
7.93/2.93	c cleaning 5630 clauses out of 11272 with flag 63216/18003
9.80/3.85	c cleaning 6811 clauses out of 13640 with flag 96455/26001
12.07/4.94	c cleaning 7894 clauses out of 15828 with flag 136248/35000
14.56/6.18	c cleaning 8955 clauses out of 17934 with flag 182957/45000
17.36/7.59	c cleaning 9974 clauses out of 19979 with flag 235443/56000
20.73/9.14	c cleaning 11000 clauses out of 22005 with flag 294962/68000
24.20/10.85	c cleaning 11997 clauses out of 24007 with flag 360215/81002
28.13/12.79	c cleaning 12995 clauses out of 26008 with flag 434066/95000
32.33/14.82	c cleaning 14000 clauses out of 28013 with flag 515906/110000
36.74/17.05	c cleaning 15002 clauses out of 30014 with flag 602385/126001
42.08/19.67	c cleaning 16002 clauses out of 32011 with flag 698796/143000
47.11/22.17	c cleaning 0 clauses out of 5000 with flag 0/5000
47.98/22.43	c cleaning 17004 clauses out of 34009 with flag 800352/161000
53.61/25.30	c cleaning 18003 clauses out of 36005 with flag 908396/180000
60.58/28.66	c cleaning 18989 clauses out of 38002 with flag 1025116/200000
67.97/32.36	c cleaning 19984 clauses out of 40013 with flag 1149041/221000
76.12/36.33	c cleaning 20991 clauses out of 42029 with flag 1279888/243000
84.51/40.51	c cleaning 21986 clauses out of 44038 with flag 1419119/266000
93.60/45.01	c cleaning 22979 clauses out of 46052 with flag 1566658/290000
102.81/49.64	c cleaning 24016 clauses out of 48073 with flag 1717366/315000
112.31/54.36	c cleaning 25020 clauses out of 50059 with flag 1874855/341002
122.11/59.24	c cleaning 26022 clauses out of 52043 with flag 2040285/368006
133.23/64.75	c cleaning 26998 clauses out of 54017 with flag 2212874/396002
144.64/70.44	c cleaning 27983 clauses out of 56017 with flag 2389575/425000
156.34/76.29	c cleaning 28969 clauses out of 58034 with flag 2576477/455000
167.94/82.03	c cleaning 30024 clauses out of 60065 with flag 2769320/486000
179.33/87.77	c cleaning 31006 clauses out of 62041 with flag 2970643/518000
191.67/93.84	c cleaning 32013 clauses out of 64036 with flag 3179686/551001
204.47/100.23	c cleaning 32976 clauses out of 66024 with flag 3393932/585002
217.67/106.87	c cleaning 33990 clauses out of 68048 with flag 3617447/620002
232.25/114.12	c cleaning 34987 clauses out of 70057 with flag 3853112/656001
247.61/122.14	c cleaning 36020 clauses out of 72069 with flag 4090482/693000
262.40/129.51	c cleaning 36992 clauses out of 74050 with flag 4338031/731001
278.20/137.48	c cleaning 38029 clauses out of 76058 with flag 4590109/770001
297.13/146.88	c cleaning 39004 clauses out of 78028 with flag 4849660/810000
316.58/156.56	c cleaning 40008 clauses out of 80024 with flag 5117645/851000
337.50/166.94	c cleaning 40962 clauses out of 82017 with flag 5392930/893001
359.46/177.86	c cleaning 41971 clauses out of 84054 with flag 5672903/936000
383.55/189.87	c cleaning 43015 clauses out of 86083 with flag 5961110/980000
408.77/202.40	c cleaning 44019 clauses out of 88069 with flag 6255373/1025001
434.63/215.15	c cleaning 45013 clauses out of 90049 with flag 6558069/1071000
460.52/227.95	c cleaning 46007 clauses out of 92037 with flag 6866674/1118001
488.51/241.80	c cleaning 46998 clauses out of 94029 with flag 7183078/1166000
504.80/249.90	c cleaning 0 clauses out of 11001 with flag 0/11001
516.87/255.92	c cleaning 47997 clauses out of 96032 with flag 7509653/1215001
546.98/270.97	c cleaning 49008 clauses out of 98035 with flag 7839657/1265001
577.58/286.68	c cleaning 49997 clauses out of 100026 with flag 8175076/1316000
607.73/301.68	c cleaning 51003 clauses out of 102030 with flag 8520125/1368001
639.65/317.47	c cleaning 51985 clauses out of 104026 with flag 8875063/1421000
672.54/333.62	c cleaning 53006 clauses out of 106042 with flag 9234363/1475001
705.95/350.29	c cleaning 54012 clauses out of 108035 with flag 9602042/1530000
740.39/367.30	c cleaning 55003 clauses out of 110023 with flag 9978157/1586000
776.78/385.43	c cleaning 55994 clauses out of 112023 with flag 10356466/1643003
815.16/404.52	c cleaning 56997 clauses out of 114026 with flag 10745359/1701000
854.21/423.93	c cleaning 57998 clauses out of 116030 with flag 11138041/1760001
893.35/443.49	c cleaning 58984 clauses out of 118031 with flag 11537864/1820000
933.78/463.51	c cleaning 60002 clauses out of 120047 with flag 11950011/1881000
975.10/484.18	c cleaning 60997 clauses out of 122047 with flag 12364183/1943002
1018.16/505.59	c cleaning 62014 clauses out of 124048 with flag 12784601/2006000
1064.69/528.66	c cleaning 62997 clauses out of 126034 with flag 13213412/2070000
1110.27/551.38	c cleaning 64005 clauses out of 128037 with flag 13647412/2135000
1156.52/574.33	c cleaning 64996 clauses out of 130032 with flag 14092578/2201000
1206.56/600.00	c cleaning 65982 clauses out of 132036 with flag 14538528/2268000
1257.39/625.39	c cleaning 67010 clauses out of 134055 with flag 14995020/2336001
1312.28/652.65	c cleaning 67998 clauses out of 136044 with flag 15454522/2405000
1368.16/680.40	c cleaning 68995 clauses out of 138046 with flag 15921821/2475000
1423.45/707.98	c cleaning 70016 clauses out of 140051 with flag 16397635/2546000
1479.87/736.05	c cleaning 71001 clauses out of 142035 with flag 16880702/2618000
1535.32/763.61	c cleaning 72000 clauses out of 144034 with flag 17372466/2691000
1591.63/791.69	c cleaning 72981 clauses out of 146035 with flag 17867609/2765001
1652.80/822.08	c cleaning 73982 clauses out of 148054 with flag 18370997/2840001
1696.47/843.74	c cleaning 0 clauses out of 18000 with flag 0/18000
1714.80/852.85	c cleaning 75024 clauses out of 150071 with flag 18881516/2916000
1779.95/885.22	c cleaning 76009 clauses out of 152047 with flag 19397677/2993000
1800.02/895.20	c >>>>>>>>>> Solver number 0 (0 answers) <<<<<<<<<<<<<<<<<<
1800.02/895.20	c starts		: 29683
1800.02/895.20	c conflicts		: 3022622
1800.02/895.20	c decisions		: 32668342
1800.02/895.20	c propagations		: 431792408
1800.02/895.20	c inspects		: 8995799460
1800.02/895.20	c shortcuts		: 0
1800.02/895.20	c learnt literals	: 2
1800.02/895.20	c learnt binary clauses	: 36
1800.02/895.20	c learnt ternary clauses	: 601
1800.02/895.20	c learnt constraints	: 3022620
1800.02/895.20	c ignored constraints	: 0
1800.02/895.20	c root simplifications	: 0
1800.02/895.20	c removed literals (reason simplification)	: 2048680
1800.02/895.20	c reason swapping (by a shorter reason)	: 0
1800.02/895.20	c Calls to reduceDB	: 73
1800.02/895.20	c Number of update (reduction) of LBD	: 632157
1800.02/895.20	c Imported unit clauses	: 0
1800.02/895.20	c number of reductions to clauses (during analyze)	: 0
1800.02/895.20	c number of learned constraints concerned by reduction	: 0
1800.02/895.20	c number of learning phase by resolution	: 0
1800.02/895.20	c number of learning phase by cutting planes	: 0
1800.02/895.20	c speed (assignments/second)	: 482613.5447123939
1800.02/895.20	c non guided choices	3454
1800.02/895.23	c learnt constraints type 
1800.02/895.23	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 36
1800.02/895.23	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 105624
1800.02/895.23	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.02/895.23	c starts		: 45
1800.02/895.23	c conflicts		: 18420
1800.02/895.23	c decisions		: 66207
1800.02/895.23	c propagations		: 2306785
1800.02/895.23	c inspects		: 700156468
1800.02/895.23	c shortcuts		: 0
1800.02/895.23	c learnt literals	: 0
1800.02/895.23	c learnt binary clauses	: 0
1800.02/895.23	c learnt ternary clauses	: 0
1800.02/895.23	c learnt constraints	: 18419
1800.02/895.23	c ignored constraints	: 0
1800.02/895.23	c root simplifications	: 0
1800.02/895.23	c removed literals (reason simplification)	: 0
1800.02/895.23	c reason swapping (by a shorter reason)	: 0
1800.02/895.23	c Calls to reduceDB	: 3
1800.02/895.23	c Number of update (reduction) of LBD	: 0
1800.02/895.23	c Imported unit clauses	: 0
1800.02/895.23	c number of reductions to clauses (during analyze)	: 0
1800.02/895.23	c number of learned constraints concerned by reduction	: 0
1800.02/895.23	c number of learning phase by resolution	: 0
1800.02/895.23	c number of learning phase by cutting planes	: 0
1800.02/895.23	c speed (assignments/second)	: 2578.2142386126643
1800.02/895.23	c non guided choices	263
1800.02/895.24	c learnt constraints type 
1800.02/895.24	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 8
1800.02/895.24	c org.sat4j.pb.constraints.pb.MaxWatchPb => 18411
1800.02/895.24	s UNKNOWN
1800.02/895.24	c Total wall clock time (in seconds): 895.112

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-4115966-1466944464/watcher-4115966-1466944464 -o /tmp/evaluation-result-4115966-1466944464/solver-4115966-1466944464 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466939767-20069 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4115966-1466944464.opb 

pid=21076
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.01 4.12 4.11 3/197 21079
/proc/meminfo: memFree=28179456/32872528 swapFree=681168/738400
[pid=21079] ppid=21076 vsize=9224 CPUtime=0 cores=0,2,4,6
/proc/21079/stat : 21079 (java) R 21076 21079 20053 0 -1 4202496 407 0 0 0 0 0 0 0 20 0 1 0 27485931 9445376 79 33554432000 1073741824 1073778376 140736865598096 140736865595224 213857114855 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21079/statm: 2306 92 74 9 0 38 0

[startup+0.100058 s]
/proc/loadavg: 4.01 4.12 4.11 3/197 21079
/proc/meminfo: memFree=28179456/32872528 swapFree=681168/738400
[pid=21079] ppid=21076 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/21079/stat : 21079 (java) S 21076 21079 20053 0 -1 4202496 4411 0 1 0 8 2 0 0 20 0 18 0 27485931 9787879424 6039 33554432000 1073741824 1073778376 140736865598096 140736865589232 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21079/statm: 2389619 6039 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200291 s]
/proc/loadavg: 4.01 4.12 4.11 3/197 21079
/proc/meminfo: memFree=28179456/32872528 swapFree=681168/738400
[pid=21079] ppid=21076 vsize=9558476 CPUtime=0.24 cores=0,2,4,6
/proc/21079/stat : 21079 (java) S 21076 21079 20053 0 -1 4202496 4683 0 1 0 22 2 0 0 20 0 18 0 27485931 9787879424 6784 33554432000 1073741824 1073778376 140736865598096 140736865589232 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21079/statm: 2389619 6784 2198 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476

[startup+0.300271 s]
/proc/loadavg: 4.01 4.12 4.11 3/197 21079
/proc/meminfo: memFree=28179456/32872528 swapFree=681168/738400
[pid=21079] ppid=21076 vsize=9558476 CPUtime=0.48 cores=0,2,4,6
/proc/21079/stat : 21079 (java) S 21076 21079 20053 0 -1 4202496 5778 0 1 0 46 2 0 0 20 0 18 0 27485931 9787879424 8370 33554432000 1073741824 1073778376 140736865598096 140736865589232 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21079/statm: 2389619 8370 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476

[startup+0.700179 s]
/proc/loadavg: 4.01 4.12 4.11 3/197 21079
/proc/meminfo: memFree=28179456/32872528 swapFree=681168/738400
[pid=21079] ppid=21076 vsize=9824732 CPUtime=1.78 cores=0,2,4,6
/proc/21079/stat : 21079 (java) S 21076 21079 20053 0 -1 4202496 16201 0 1 0 174 4 0 0 20 0 22 0 27485931 10060525568 22097 33554432000 1073741824 1073778376 140736865598096 140736865589232 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21079/statm: 2456183 22097 2265 9 0 2446860 0
Current children cumulated CPU time (s) 1.78
Current children cumulated vsize (KiB) 9824732

[startup+1.50084 s]
/proc/loadavg: 4.17 4.15 4.12 7/219 21101
/proc/meminfo: memFree=28055712/32872528 swapFree=681168/738400
[pid=21079] ppid=21076 vsize=9824732 CPUtime=4.93 cores=0,2,4,6
/proc/21079/stat : 21079 (java) S 21076 21079 20053 0 -1 4202496 25997 0 1 0 485 8 0 0 20 0 22 0 27485931 10060525568 48287 33554432000 1073741824 1073778376 140736865598096 140736865589232 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21079/statm: 2456183 48287 2288 9 0 2446860 0
[pid=21079/tid=21081] ppid=21076 vsize=9824732 CPUtime=0.47 cores=0,2,4,6
/proc/21079/task/21081/stat : 21081 (java) S 21076 21079 20053 0 -1 4202560 2437 0 1 0 45 2 0 0 20 0 22 0 27485932 10060525568 48287 33554432000 1073741824 1073778376 140736865598096 139880650822520 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21079/tid=21082] ppid=21076 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21079/task/21082/stat : 21082 (java) S 21076 21079 20053 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 27485934 10060525568 48287 33554432000 1073741824 1073778376 140736865598096 139880494434472 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21079/tid=21083] ppid=21076 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21079/task/21083/stat : 21083 (java) S 21076 21079 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27485934 10060525568 48287 33554432000 1073741824 1073778376 140736865598096 139880493381928 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21079/tid=21084] ppid=21076 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21079/task/21084/stat : 21084 (java) S 21076 21079 20053 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27485934 10060525568 48287 33554432000 1073741824 1073778376 140736865598096 139880492329384 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21079/tid=21085] ppid=21076 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21079/task/21085/stat : 21085 (java) S 21076 21079 20053 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27485934 10060525568 48287 33554432000 1073741824 1073778376 140736865598096 139880491276840 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21079/tid=21086] ppid=21076 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21079/task/21086/stat : 21086 (java) S 21076 21079 20053 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27485934 10060525568 48287 33554432000 1073741824 1073778376 140736865598096 139880490224296 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21079/tid=21087] ppid=21076 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21079/task/21087/stat : 21087 (java) S 21076 21079 20053 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 27485934 10060525568 48287 33554432000 1073741824 1073778376 140736865598096 139880489171752 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21079/tid=21088] ppid=21076 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21079/task/21088/stat : 21088 (java) S 21076 21079 20053 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27485934 10060525568 48287 33554432000 1073741824 1073778376 140736865598096 139880488119208 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21079/tid=21089] ppid=21076 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21079/task/21089/stat : 21089 (java) S 21076 21079 20053 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27485934 10060525568 48287 33554432000 1073741824 1073778376 140736865598096 139880487066664 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21079/tid=21090] ppid=21076 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21079/task/21090/stat : 21090 (java) S 21076 21079 20053 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 27485935 10060525568 48287 33554432000 1073741824 1073778376 140736865598096 139880474867816 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21079/tid=21091] ppid=21076 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21079/task/21091/stat : 21091 (java) S 21076 21079 20053 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27485935 10060525568 48287 33554432000 1073741824 1073778376 140736865598096 139880473814136 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21079/tid=21092] ppid=21076 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21079/task/21092/stat : 21092 (java) S 21076 21079 20053 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27485935 10060525568 48287 33554432000 1073741824 1073778376 140736865598096 139880472761480 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21079/tid=21093] ppid=21076 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21079/task/21093/stat : 21093 (java) S 21076 21079 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27485938 10060525568 48287 33554432000 1073741824 1073778376 140736865598096 139880471710224 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21079/tid=21094] ppid=21076 vsize=9824732 CPUtime=1.21 cores=0,2,4,6
/proc/21079/task/21094/stat : 21094 (java) S 21076 21079 20053 0 -1 4202560 9727 0 0 0 119 2 0 0 20 0 22 0 27485938 10060525568 48287 33554432000 1073741824 1073778376 140736865598096 139880470657592 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21079/tid=21095] ppid=21076 vsize=9824732 CPUtime=1.21 cores=0,2,4,6
/proc/21079/task/21095/stat : 21095 (java) R 21076 21079 20053 0 -1 4202560 12363 0 0 0 119 2 0 0 20 0 22 0 27485938 10060525568 48287 33554432000 1073741824 1073778376 140736865598096 139880469591224 139880652383305 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=21079/tid=21096] ppid=21076 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21079/task/21096/stat : 21096 (java) S 21076 21079 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27485938 10060525568 48287 33554432000 1073741824 1073778376 140736865598096 139880468552696 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21079/tid=21097] ppid=21076 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21079/task/21097/stat : 21097 (java) S 21076 21079 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27485938 10060525568 48287 33554432000 1073741824 1073778376 140736865598096 139880467500360 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21079/tid=21098] ppid=21076 vsize=9824732 CPUtime=0.94 cores=0,2,4,6
/proc/21079/task/21098/stat : 21098 (java) R 21076 21079 20053 0 -1 4202560 18 0 0 0 94 0 0 0 20 0 22 0 27485982 10060525568 48287 33554432000 1073741824 1073778376 140736865598096 139880466075768 139880523065210 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=21079/tid=21099] ppid=21076 vsize=9824732 CPUtime=0.96 cores=0,2,4,6
/proc/21079/task/21099/stat : 21099 (java) R 21076 21079 20053 0 -1 4202560 77 0 0 0 94 2 0 0 20 0 22 0 27485982 10060525568 48287 33554432000 1073741824 1073778376 140736865598096 139880465021776 139880523748443 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21079/tid=21100] ppid=21076 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21079/task/21100/stat : 21100 (java) S 21076 21079 20053 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27485983 10060525568 48287 33554432000 1073741824 1073778376 140736865598096 139880463971368 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21079/tid=21101] ppid=21076 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21079/task/21101/stat : 21101 (java) S 21076 21079 20053 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27485983 10060525568 48287 33554432000 1073741824 1073778376 140736865598096 139880462918824 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.93
Current children cumulated vsize (KiB) 9824732

[startup+3.10086 s]
/proc/loadavg: 4.17 4.15 4.12 5/219 21101
/proc/meminfo: memFree=27921840/32872528 swapFree=681168/738400
[pid=21079] ppid=21076 vsize=9824732 CPUtime=8.34 cores=0,2,4,6
/proc/21079/stat : 21079 (java) S 21076 21079 20053 0 -1 4202496 26244 0 1 0 823 11 0 0 20 0 22 0 27485931 10060525568 84331 33554432000 1073741824 1073778376 140736865598096 140736865589232 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21079/statm: 2456183 84331 2292 9 0 2446860 0
[pid=21079/tid=21081] ppid=21076 vsize=9824732 CPUtime=0.47 cores=0,2,4,6
/proc/21079/task/21081/stat : 21081 (java) S 21076 21079 20053 0 -1 4202560 2437 0 1 0 45 2 0 0 20 0 22 0 27485932 10060525568 84331 33554432000 1073741824 1073778376 140736865598096 139880650822520 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21079/tid=21082] ppid=21076 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/21079/task/21082/stat : 21082 (java) S 21076 21079 20053 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 22 0 27485934 10060525568 84331 33554432000 1073741824 1073778376 140736865598096 139880494434472 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21079/tid=21083] ppid=21076 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/21079/task/21083/stat : 21083 (java) S 21076 21079 20053 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 22 0 27485934 10060525568 84331 33554432000 1073741824 1073778376 140736865598096 139880493381928 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21079/tid=21084] ppid=21076 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/21079/task/21084/stat : 21084 (java) S 21076 21079 20053 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 27485934 10060525568 84331 33554432000 1073741824 1073778376 140736865598096 139880492329384 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21079/tid=21085] ppid=21076 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/21079/task/21085/stat : 21085 (java) S 21076 21079 20053 0 -1 4202560 22 0 0 0 4 0 0 0 20 0 22 0 27485934 10060525568 84331 33554432000 1073741824 1073778376 140736865598096 139880491276840 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21079/tid=21086] ppid=21076 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/21079/task/21086/stat : 21086 (java) S 21076 21079 20053 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 22 0 27485934 10060525568 84331 33554432000 1073741824 1073778376 140736865598096 139880490224296 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21079/tid=21087] ppid=21076 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/21079/task/21087/stat : 21087 (java) S 21076 21079 20053 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 27485934 10060525568 84331 33554432000 1073741824 1073778376 140736865598096 139880489171752 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21079/tid=21088] ppid=21076 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/21079/task/21088/stat : 21088 (java) S 21076 21079 20053 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 22 0 27485934 10060525568 84331 33554432000 1073741824 1073778376 140736865598096 139880488119208 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21079/tid=21089] ppid=21076 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/21079/task/21089/stat : 21089 (java) S 21076 21079 20053 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 22 0 27485934 10060525568 84331 33554432000 1073741824 1073778376 140736865598096 139880487066664 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21079/tid=21090] ppid=21076 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21079/task/21090/stat : 21090 (java) S 21076 21079 20053 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 22 0 27485935 10060525568 84331 33554432000 1073741824 1073778376 140736865598096 139880474867816 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21079/tid=21091] ppid=21076 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21079/task/21091/stat : 21091 (java) S 21076 21079 20053 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27485935 10060525568 84331 33554432000 1073741824 1073778376 140736865598096 139880473814136 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21079/tid=21092] ppid=21076 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21079/task/21092/stat : 21092 (java) S 21076 21079 20053 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27485935 10060525568 84331 33554432000 1073741824 1073778376 140736865598096 139880472761480 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21079/tid=21093] ppid=21076 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21079/task/21093/stat : 21093 (java) S 21076 21079 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27485938 10060525568 84331 33554432000 1073741824 1073778376 140736865598096 139880471710224 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21079/tid=21094] ppid=21076 vsize=9824732 CPUtime=1.27 cores=0,2,4,6
/proc/21079/task/21094/stat : 21094 (java) S 21076 21079 20053 0 -1 4202560 9731 0 0 0 125 2 0 0 20 0 22 0 27485938 10060525568 84331 33554432000 1073741824 1073778376 140736865598096 139880470657592 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21079/tid=21095] ppid=21076 vsize=9824732 CPUtime=1.31 cores=0,2,4,6
/proc/21079/task/21095/stat : 21095 (java) S 21076 21079 20053 0 -1 4202560 12364 0 0 0 129 2 0 0 20 0 22 0 27485938 10060525568 84331 33554432000 1073741824 1073778376 140736865598096 139880469605048 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21079/tid=21096] ppid=21076 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21079/task/21096/stat : 21096 (java) S 21076 21079 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27485938 10060525568 84331 33554432000 1073741824 1073778376 140736865598096 139880468552696 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21079/tid=21097] ppid=21076 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21079/task/21097/stat : 21097 (java) S 21076 21079 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27485938 10060525568 84331 33554432000 1073741824 1073778376 140736865598096 139880467500360 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21079/tid=21098] ppid=21076 vsize=9824732 CPUtime=2.48 cores=0,2,4,6
/proc/21079/task/21098/stat : 21098 (java) R 21076 21079 20053 0 -1 4202560 18 0 0 0 248 0 0 0 20 0 22 0 27485982 10060525568 84331 33554432000 1073741824 1073778376 140736865598096 139880466067104 139880523651936 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=21079/tid=21099] ppid=21076 vsize=9824732 CPUtime=2.49 cores=0,2,4,6
/proc/21079/task/21099/stat : 21099 (java) R 21076 21079 20053 0 -1 4202560 137 0 0 0 247 2 0 0 20 0 22 0 27485982 10060525568 84331 33554432000 1073741824 1073778376 140736865598096 139880465022600 139880523613855 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21079/tid=21100] ppid=21076 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21079/task/21100/stat : 21100 (java) S 21076 21079 20053 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27485983 10060525568 84331 33554432000 1073741824 1073778376 140736865598096 139880463971368 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21079/tid=21101] ppid=21076 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21079/task/21101/stat : 21101 (java) S 21076 21079 20053 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27485983 10060525568 84331 33554432000 1073741824 1073778376 140736865598096 139880462918824 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 8.34
Current children cumulated vsize (KiB) 9824732

[startup+6.30094 s]
/proc/loadavg: 4.17 4.15 4.12 5/219 21101
/proc/meminfo: memFree=27569160/32872528 swapFree=681168/738400
[pid=21079] ppid=21076 vsize=9824732 CPUtime=14.96 cores=0,2,4,6
/proc/21079/stat : 21079 (java) S 21076 21079 20053 0 -1 4202496 26982 0 1 0 1471 25 0 0 20 0 22 0 27485931 10060525568 162397 33554432000 1073741824 1073778376 140736865598096 140736865589232 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21079/statm: 2456183 162397 2292 9 0 2446860 0
[pid=21079/tid=21081] ppid=21076 vsize=9824732 CPUtime=0.47 cores=0,2,4,6
/proc/21079/task/21081/stat : 21081 (java) S 21076 21079 20053 0 -1 4202560 2438 0 1 0 45 2 0 0 20 0 22 0 27485932 10060525568 162397 33554432000 1073741824 1073778376 140736865598096 139880650822520 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21079/tid=21082] ppid=21076 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/21079/task/21082/stat : 21082 (java) S 21076 21079 20053 0 -1 4202560 59 0 0 0 4 2 0 0 20 0 22 0 27485934 10060525568 162397 33554432000 1073741824 1073778376 140736865598096 139880494434472 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21079/tid=21083] ppid=21076 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/21079/task/21083/stat : 21083 (java) S 21076 21079 20053 0 -1 4202560 41 0 0 0 4 1 0 0 20 0 22 0 27485934 10060525568 162397 33554432000 1073741824 1073778376 140736865598096 139880493381928 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21079/tid=21084] ppid=21076 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/21079/task/21084/stat : 21084 (java) S 21076 21079 20053 0 -1 4202560 46 0 0 0 4 1 0 0 20 0 22 0 27485934 10060525568 162397 33554432000 1073741824 1073778376 140736865598096 139880492329384 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21079/tid=21085] ppid=21076 vsize=9824732 CPUtime=0.11 cores=0,2,4,6
/proc/21079/task/21085/stat : 21085 (java) S 21076 21079 20053 0 -1 4202560 66 0 0 0 9 2 0 0 20 0 22 0 27485934 10060525568 162397 33554432000 1073741824 1073778376 140736865598096 139880491276840 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21079/tid=21086] ppid=21076 vsize=9824732 CPUtime=0.09 cores=0,2,4,6
/proc/21079/task/21086/stat : 21086 (java) S 21076 21079 20053 0 -1 4202560 59 0 0 0 7 2 0 0 20 0 22 0 27485934 10060525568 162397 33554432000 1073741824 1073778376 140736865598096 139880490224296 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21079/tid=21087] ppid=21076 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/21079/task/21087/stat : 21087 (java) S 21076 21079 20053 0 -1 4202560 76 0 0 0 6 2 0 0 20 0 22 0 27485934 10060525568 162397 33554432000 1073741824 1073778376 140736865598096 139880489171752 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21079/tid=21088] ppid=21076 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/21079/task/21088/stat : 21088 (java) S 21076 21079 20053 0 -1 4202560 41 0 0 0 4 1 0 0 20 0 22 0 27485934 10060525568 162397 33554432000 1073741824 1073778376 140736865598096 139880488119208 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21079/tid=21089] ppid=21076 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/21079/task/21089/stat : 21089 (java) S 21076 21079 20053 0 -1 4202560 60 0 0 0 5 1 0 0 20 0 22 0 27485934 10060525568 162397 33554432000 1073741824 1073778376 140736865598096 139880487066664 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21079/tid=21090] ppid=21076 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21079/task/21090/stat : 21090 (java) S 21076 21079 20053 0 -1 4202560 464 0 0 0 0 0 0 0 20 0 22 0 27485935 10060525568 162397 33554432000 1073741824 1073778376 140736865598096 139880474867816 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21079/tid=21091] ppid=21076 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21079/task/21091/stat : 21091 (java) S 21076 21079 20053 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27485935 10060525568 162397 33554432000 1073741824 1073778376 140736865598096 139880473814136 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21079/tid=21092] ppid=21076 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21079/task/21092/stat : 21092 (java) S 21076 21079 20053 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27485935 10060525568 162397 33554432000 1073741824 1073778376 140736865598096 139880472761480 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21079/tid=21093] ppid=21076 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21079/task/21093/stat : 21093 (java) S 21076 21079 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27485938 10060525568 162397 33554432000 1073741824 1073778376 140736865598096 139880471710224 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21079/tid=21094] ppid=21076 vsize=9824732 CPUtime=1.29 cores=0,2,4,6

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

/proc/21079/task/21084/stat : 21084 (java) S 21076 21079 20053 0 -1 4202560 594 0 0 0 254 16 0 0 20 0 22 0 27485934 10060525568 926584 33554432000 1073741824 1073778376 140736865598096 139880492329384 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21079/tid=21085] ppid=21076 vsize=9824732 CPUtime=2.49 cores=0,2,4,6
/proc/21079/task/21085/stat : 21085 (java) S 21076 21079 20053 0 -1 4202560 669 0 0 0 234 15 0 0 20 0 22 0 27485934 10060525568 926584 33554432000 1073741824 1073778376 140736865598096 139880491276840 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21079/tid=21086] ppid=21076 vsize=9824732 CPUtime=2.53 cores=0,2,4,6
/proc/21079/task/21086/stat : 21086 (java) S 21076 21079 20053 0 -1 4202560 675 0 0 0 234 19 0 0 20 0 22 0 27485934 10060525568 926584 33554432000 1073741824 1073778376 140736865598096 139880490224296 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21079/tid=21087] ppid=21076 vsize=9824732 CPUtime=2.19 cores=0,2,4,6
/proc/21079/task/21087/stat : 21087 (java) S 21076 21079 20053 0 -1 4202560 549 0 0 0 205 14 0 0 20 0 22 0 27485934 10060525568 926584 33554432000 1073741824 1073778376 140736865598096 139880489171752 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21079/tid=21088] ppid=21076 vsize=9824732 CPUtime=2.87 cores=0,2,4,6
/proc/21079/task/21088/stat : 21088 (java) S 21076 21079 20053 0 -1 4202560 553 0 0 0 269 18 0 0 20 0 22 0 27485934 10060525568 926584 33554432000 1073741824 1073778376 140736865598096 139880488119208 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21079/tid=21089] ppid=21076 vsize=9824732 CPUtime=2.61 cores=0,2,4,6
/proc/21079/task/21089/stat : 21089 (java) S 21076 21079 20053 0 -1 4202560 784 0 0 0 244 17 0 0 20 0 22 0 27485934 10060525568 926584 33554432000 1073741824 1073778376 140736865598096 139880487066664 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21079/tid=21090] ppid=21076 vsize=9824732 CPUtime=3.34 cores=0,2,4,6
/proc/21079/task/21090/stat : 21090 (java) S 21076 21079 20053 0 -1 4202560 2239 0 0 0 326 8 0 0 20 0 22 0 27485935 10060525568 926584 33554432000 1073741824 1073778376 140736865598096 139880474867816 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21079/tid=21091] ppid=21076 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21079/task/21091/stat : 21091 (java) S 21076 21079 20053 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27485935 10060525568 926584 33554432000 1073741824 1073778376 140736865598096 139880473814136 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21079/tid=21092] ppid=21076 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21079/task/21092/stat : 21092 (java) S 21076 21079 20053 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27485935 10060525568 926584 33554432000 1073741824 1073778376 140736865598096 139880472761480 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21079/tid=21093] ppid=21076 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21079/task/21093/stat : 21093 (java) S 21076 21079 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27485938 10060525568 926584 33554432000 1073741824 1073778376 140736865598096 139880471710224 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21079/tid=21094] ppid=21076 vsize=9824732 CPUtime=2.18 cores=0,2,4,6
/proc/21079/task/21094/stat : 21094 (java) S 21076 21079 20053 0 -1 4202560 12838 0 0 0 216 2 0 0 20 0 22 0 27485938 10060525568 926584 33554432000 1073741824 1073778376 140736865598096 139880470657592 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21079/tid=21095] ppid=21076 vsize=9824732 CPUtime=1.39 cores=0,2,4,6
/proc/21079/task/21095/stat : 21095 (java) S 21076 21079 20053 0 -1 4202560 12366 0 0 0 137 2 0 0 20 0 22 0 27485938 10060525568 926584 33554432000 1073741824 1073778376 140736865598096 139880469605048 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21079/tid=21096] ppid=21076 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21079/task/21096/stat : 21096 (java) S 21076 21079 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27485938 10060525568 926584 33554432000 1073741824 1073778376 140736865598096 139880468552696 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21079/tid=21097] ppid=21076 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/21079/task/21097/stat : 21097 (java) S 21076 21079 20053 0 -1 4202560 47 0 0 0 13 17 0 0 20 0 22 0 27485938 10060525568 926584 33554432000 1073741824 1073778376 140736865598096 139880467500360 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21079/tid=21098] ppid=21076 vsize=9824732 CPUtime=810.7 cores=0,2,4,6
/proc/21079/task/21098/stat : 21098 (java) R 21076 21079 20053 0 -1 4202560 48 0 0 0 81056 14 0 0 20 0 22 0 27485982 10060525568 926584 33554432000 1073741824 1073778376 140736865598096 139880466074096 139880523642705 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21079/tid=21099] ppid=21076 vsize=9824732 CPUtime=810.67 cores=0,2,4,6
/proc/21079/task/21099/stat : 21099 (java) R 21076 21079 20053 0 -1 4202560 1717 0 0 0 81021 46 0 0 20 0 22 0 27485982 10060525568 926584 33554432000 1073741824 1073778376 140736865598096 139880465022240 139880523613752 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21079/tid=21100] ppid=21076 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21079/task/21100/stat : 21100 (java) S 21076 21079 20053 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27485983 10060525568 926584 33554432000 1073741824 1073778376 140736865598096 139880463971368 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21079/tid=21101] ppid=21076 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21079/task/21101/stat : 21101 (java) S 21076 21079 20053 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27485983 10060525568 926584 33554432000 1073741824 1073778376 140736865598096 139880462918824 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1653.4
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.26 4.19 4.13 5/219 21190
/proc/meminfo: memFree=24430036/32872528 swapFree=681168/738400
[pid=21079] ppid=21076 vsize=9824732 CPUtime=1774.17 cores=0,2,4,6
/proc/21079/stat : 21079 (java) S 21076 21079 20053 0 -1 4202496 38372 0 1 0 177209 208 0 0 20 0 22 0 27485931 10060525568 950136 33554432000 1073741824 1073778376 140736865598096 140736865589232 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21079/statm: 2456183 950136 2301 9 0 2446860 0
[pid=21079/tid=21081] ppid=21076 vsize=9824732 CPUtime=0.51 cores=0,2,4,6
/proc/21079/task/21081/stat : 21081 (java) S 21076 21079 20053 0 -1 4202560 2449 0 1 0 47 4 0 0 20 0 22 0 27485932 10060525568 950136 33554432000 1073741824 1073778376 140736865598096 139880650822520 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21079/tid=21082] ppid=21076 vsize=9824732 CPUtime=2.68 cores=0,2,4,6
/proc/21079/task/21082/stat : 21082 (java) S 21076 21079 20053 0 -1 4202560 759 0 0 0 250 18 0 0 20 0 22 0 27485934 10060525568 950136 33554432000 1073741824 1073778376 140736865598096 139880494434472 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21079/tid=21083] ppid=21076 vsize=9824732 CPUtime=2.54 cores=0,2,4,6
/proc/21079/task/21083/stat : 21083 (java) S 21076 21079 20053 0 -1 4202560 688 0 0 0 238 16 0 0 20 0 22 0 27485934 10060525568 950136 33554432000 1073741824 1073778376 140736865598096 139880493381928 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21079/tid=21084] ppid=21076 vsize=9824732 CPUtime=2.89 cores=0,2,4,6
/proc/21079/task/21084/stat : 21084 (java) S 21076 21079 20053 0 -1 4202560 610 0 0 0 272 17 0 0 20 0 22 0 27485934 10060525568 950136 33554432000 1073741824 1073778376 140736865598096 139880492329384 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21079/tid=21085] ppid=21076 vsize=9824732 CPUtime=2.68 cores=0,2,4,6
/proc/21079/task/21085/stat : 21085 (java) S 21076 21079 20053 0 -1 4202560 685 0 0 0 252 16 0 0 20 0 22 0 27485934 10060525568 950136 33554432000 1073741824 1073778376 140736865598096 139880491276840 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21079/tid=21086] ppid=21076 vsize=9824732 CPUtime=2.66 cores=0,2,4,6
/proc/21079/task/21086/stat : 21086 (java) S 21076 21079 20053 0 -1 4202560 687 0 0 0 246 20 0 0 20 0 22 0 27485934 10060525568 950136 33554432000 1073741824 1073778376 140736865598096 139880490224296 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21079/tid=21087] ppid=21076 vsize=9824732 CPUtime=2.51 cores=0,2,4,6
/proc/21079/task/21087/stat : 21087 (java) S 21076 21079 20053 0 -1 4202560 579 0 0 0 236 15 0 0 20 0 22 0 27485934 10060525568 950136 33554432000 1073741824 1073778376 140736865598096 139880489171752 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21079/tid=21088] ppid=21076 vsize=9824732 CPUtime=3.01 cores=0,2,4,6
/proc/21079/task/21088/stat : 21088 (java) S 21076 21079 20053 0 -1 4202560 567 0 0 0 282 19 0 0 20 0 22 0 27485934 10060525568 950136 33554432000 1073741824 1073778376 140736865598096 139880488119208 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21079/tid=21089] ppid=21076 vsize=9824732 CPUtime=2.92 cores=0,2,4,6
/proc/21079/task/21089/stat : 21089 (java) S 21076 21079 20053 0 -1 4202560 813 0 0 0 273 19 0 0 20 0 22 0 27485934 10060525568 950136 33554432000 1073741824 1073778376 140736865598096 139880487066664 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21079/tid=21090] ppid=21076 vsize=9824732 CPUtime=3.34 cores=0,2,4,6
/proc/21079/task/21090/stat : 21090 (java) S 21076 21079 20053 0 -1 4202560 2243 0 0 0 326 8 0 0 20 0 22 0 27485935 10060525568 950136 33554432000 1073741824 1073778376 140736865598096 139880474867816 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21079/tid=21091] ppid=21076 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21079/task/21091/stat : 21091 (java) S 21076 21079 20053 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27485935 10060525568 950136 33554432000 1073741824 1073778376 140736865598096 139880473814136 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21079/tid=21092] ppid=21076 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21079/task/21092/stat : 21092 (java) S 21076 21079 20053 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27485935 10060525568 950136 33554432000 1073741824 1073778376 140736865598096 139880472761480 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21079/tid=21093] ppid=21076 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21079/task/21093/stat : 21093 (java) S 21076 21079 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27485938 10060525568 950136 33554432000 1073741824 1073778376 140736865598096 139880471710224 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21079/tid=21094] ppid=21076 vsize=9824732 CPUtime=2.18 cores=0,2,4,6
/proc/21079/task/21094/stat : 21094 (java) S 21076 21079 20053 0 -1 4202560 12838 0 0 0 216 2 0 0 20 0 22 0 27485938 10060525568 950136 33554432000 1073741824 1073778376 140736865598096 139880470657592 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21079/tid=21095] ppid=21076 vsize=9824732 CPUtime=1.39 cores=0,2,4,6
/proc/21079/task/21095/stat : 21095 (java) S 21076 21079 20053 0 -1 4202560 12366 0 0 0 137 2 0 0 20 0 22 0 27485938 10060525568 950136 33554432000 1073741824 1073778376 140736865598096 139880469605048 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21079/tid=21096] ppid=21076 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21079/task/21096/stat : 21096 (java) S 21076 21079 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27485938 10060525568 950136 33554432000 1073741824 1073778376 140736865598096 139880468552696 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21079/tid=21097] ppid=21076 vsize=9824732 CPUtime=0.33 cores=0,2,4,6
/proc/21079/task/21097/stat : 21097 (java) S 21076 21079 20053 0 -1 4202560 51 0 0 0 13 20 0 0 20 0 22 0 27485938 10060525568 950136 33554432000 1073741824 1073778376 140736865598096 139880467500360 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21079/tid=21098] ppid=21076 vsize=9824732 CPUtime=870.12 cores=0,2,4,6
/proc/21079/task/21098/stat : 21098 (java) R 21076 21079 20053 0 -1 4202560 49 0 0 0 86997 15 0 0 20 0 22 0 27485982 10060525568 950136 33554432000 1073741824 1073778376 140736865598096 139880466074816 139880523643528 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21079/tid=21099] ppid=21076 vsize=9824732 CPUtime=870.09 cores=0,2,4,6
/proc/21079/task/21099/stat : 21099 (java) R 21076 21079 20053 0 -1 4202560 1722 0 0 0 86962 47 0 0 20 0 22 0 27485982 10060525568 950136 33554432000 1073741824 1073778376 140736865598096 139880465023360 139880523613543 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21079/tid=21100] ppid=21076 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21079/task/21100/stat : 21100 (java) S 21076 21079 20053 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27485983 10060525568 950136 33554432000 1073741824 1073778376 140736865598096 139880463971368 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21079/tid=21101] ppid=21076 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21079/task/21101/stat : 21101 (java) S 21076 21079 20053 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27485983 10060525568 950136 33554432000 1073741824 1073778376 140736865598096 139880462918824 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1774.17
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+895.201 s]
/proc/loadavg: 4.22 4.18 4.13 5/219 21190
/proc/meminfo: memFree=24384748/32872528 swapFree=681168/738400
[pid=21079] ppid=21076 vsize=9824732 CPUtime=1800.02 cores=0,2,4,6
/proc/21079/stat : 21079 (java) S 21076 21079 20053 0 -1 4202496 38385 0 1 0 179793 209 0 0 20 0 22 0 27485931 10060525568 952184 33554432000 1073741824 1073778376 140736865598096 140736865589232 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21079/statm: 2456183 952184 2301 9 0 2446860 0
[pid=21079/tid=21081] ppid=21076 vsize=9824732 CPUtime=0.51 cores=0,2,4,6
/proc/21079/task/21081/stat : 21081 (java) S 21076 21079 20053 0 -1 4202560 2449 0 1 0 47 4 0 0 20 0 22 0 27485932 10060525568 952184 33554432000 1073741824 1073778376 140736865598096 139880650822520 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21079/tid=21082] ppid=21076 vsize=9824732 CPUtime=2.7 cores=0,2,4,6
/proc/21079/task/21082/stat : 21082 (java) S 21076 21079 20053 0 -1 4202560 762 0 0 0 252 18 0 0 20 0 22 0 27485934 10060525568 952184 33554432000 1073741824 1073778376 140736865598096 139880494434472 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21079/tid=21083] ppid=21076 vsize=9824732 CPUtime=2.55 cores=0,2,4,6
/proc/21079/task/21083/stat : 21083 (java) S 21076 21079 20053 0 -1 4202560 689 0 0 0 239 16 0 0 20 0 22 0 27485934 10060525568 952184 33554432000 1073741824 1073778376 140736865598096 139880493381928 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21079/tid=21084] ppid=21076 vsize=9824732 CPUtime=2.91 cores=0,2,4,6
/proc/21079/task/21084/stat : 21084 (java) S 21076 21079 20053 0 -1 4202560 613 0 0 0 274 17 0 0 20 0 22 0 27485934 10060525568 952184 33554432000 1073741824 1073778376 140736865598096 139880492329384 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21079/tid=21085] ppid=21076 vsize=9824732 CPUtime=2.69 cores=0,2,4,6
/proc/21079/task/21085/stat : 21085 (java) S 21076 21079 20053 0 -1 4202560 685 0 0 0 253 16 0 0 20 0 22 0 27485934 10060525568 952184 33554432000 1073741824 1073778376 140736865598096 139880491276840 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21079/tid=21086] ppid=21076 vsize=9824732 CPUtime=2.7 cores=0,2,4,6
/proc/21079/task/21086/stat : 21086 (java) S 21076 21079 20053 0 -1 4202560 690 0 0 0 250 20 0 0 20 0 22 0 27485934 10060525568 952184 33554432000 1073741824 1073778376 140736865598096 139880490224296 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21079/tid=21087] ppid=21076 vsize=9824732 CPUtime=2.53 cores=0,2,4,6
/proc/21079/task/21087/stat : 21087 (java) S 21076 21079 20053 0 -1 4202560 581 0 0 0 237 16 0 0 20 0 22 0 27485934 10060525568 952184 33554432000 1073741824 1073778376 140736865598096 139880489171752 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21079/tid=21088] ppid=21076 vsize=9824732 CPUtime=3.02 cores=0,2,4,6
/proc/21079/task/21088/stat : 21088 (java) S 21076 21079 20053 0 -1 4202560 567 0 0 0 283 19 0 0 20 0 22 0 27485934 10060525568 952184 33554432000 1073741824 1073778376 140736865598096 139880488119208 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21079/tid=21089] ppid=21076 vsize=9824732 CPUtime=2.94 cores=0,2,4,6
/proc/21079/task/21089/stat : 21089 (java) S 21076 21079 20053 0 -1 4202560 813 0 0 0 275 19 0 0 20 0 22 0 27485934 10060525568 952184 33554432000 1073741824 1073778376 140736865598096 139880487066664 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21079/tid=21090] ppid=21076 vsize=9824732 CPUtime=3.34 cores=0,2,4,6
/proc/21079/task/21090/stat : 21090 (java) S 21076 21079 20053 0 -1 4202560 2243 0 0 0 326 8 0 0 20 0 22 0 27485935 10060525568 952184 33554432000 1073741824 1073778376 140736865598096 139880474867816 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21079/tid=21091] ppid=21076 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21079/task/21091/stat : 21091 (java) S 21076 21079 20053 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27485935 10060525568 952184 33554432000 1073741824 1073778376 140736865598096 139880473814136 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21079/tid=21092] ppid=21076 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21079/task/21092/stat : 21092 (java) S 21076 21079 20053 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27485935 10060525568 952184 33554432000 1073741824 1073778376 140736865598096 139880472761480 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21079/tid=21093] ppid=21076 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21079/task/21093/stat : 21093 (java) S 21076 21079 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27485938 10060525568 952184 33554432000 1073741824 1073778376 140736865598096 139880471710224 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21079/tid=21094] ppid=21076 vsize=9824732 CPUtime=2.18 cores=0,2,4,6
/proc/21079/task/21094/stat : 21094 (java) S 21076 21079 20053 0 -1 4202560 12838 0 0 0 216 2 0 0 20 0 22 0 27485938 10060525568 952184 33554432000 1073741824 1073778376 140736865598096 139880470657592 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21079/tid=21095] ppid=21076 vsize=9824732 CPUtime=1.39 cores=0,2,4,6
/proc/21079/task/21095/stat : 21095 (java) S 21076 21079 20053 0 -1 4202560 12366 0 0 0 137 2 0 0 20 0 22 0 27485938 10060525568 952184 33554432000 1073741824 1073778376 140736865598096 139880469605048 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21079/tid=21096] ppid=21076 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21079/task/21096/stat : 21096 (java) S 21076 21079 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27485938 10060525568 952184 33554432000 1073741824 1073778376 140736865598096 139880468552696 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21079/tid=21097] ppid=21076 vsize=9824732 CPUtime=0.33 cores=0,2,4,6
/proc/21079/task/21097/stat : 21097 (java) S 21076 21079 20053 0 -1 4202560 51 0 0 0 13 20 0 0 20 0 22 0 27485938 10060525568 952184 33554432000 1073741824 1073778376 140736865598096 139880467500360 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21079/tid=21098] ppid=21076 vsize=9824732 CPUtime=882.94 cores=0,2,4,6
/proc/21079/task/21098/stat : 21098 (java) R 21076 21079 20053 0 -1 4202560 49 0 0 0 88279 15 0 0 20 0 22 0 27485982 10060525568 952184 33554432000 1073741824 1073778376 140736865598096 139880466074096 139880523642992 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21079/tid=21099] ppid=21076 vsize=9824732 CPUtime=882.91 cores=0,2,4,6
/proc/21079/task/21099/stat : 21099 (java) R 21076 21079 20053 0 -1 4202560 1723 0 0 0 88244 47 0 0 20 0 22 0 27485982 10060525568 952184 33554432000 1073741824 1073778376 140736865598096 139880465022272 139880523774336 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21079/tid=21100] ppid=21076 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21079/task/21100/stat : 21100 (java) S 21076 21079 20053 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27485983 10060525568 952184 33554432000 1073741824 1073778376 140736865598096 139880463971368 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21079/tid=21101] ppid=21076 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21079/task/21101/stat : 21101 (java) S 21076 21079 20053 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27485983 10060525568 952184 33554432000 1073741824 1073778376 140736865598096 139880462918824 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
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 21079 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 21079 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=480349
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=561610
# CPU time returned by wait4() is 1796.04
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 895.256
CPU time (s): 1800.02
CPU user time (s): 1797.93
CPU system time (s): 2.09
CPU usage (%): 201.062
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.48
system time used= 2.56161
maximum resident set size= 3808852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38419
page faults= 1
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24579
involuntary context switches= 32383

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.9331 second user time and 6.85596 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-26 14:34:24
IDJOB=4115966
IDBENCH=109411
IDSOLVER=2543
FILE ID=node112/4115966-1466944464
RUNJOBID= node112-1466939767-20069
PBS_JOBID= 19976335
Free space on /tmp= 71688 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round21-0.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4115966-1466944464/watcher-4115966-1466944464 -o /tmp/evaluation-result-4115966-1466944464/solver-4115966-1466944464 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466939767-20069 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4115966-1466944464.opb

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

MD5SUM BENCH= 67eed53fa3ccc7342076b6ba8cc14c08
RANDOM SEED=80690653

node112.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.959
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.91
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.959
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.959
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.959
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.56
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.959
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.959
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		: 2666.959
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.959
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:        28179836 kB
Buffers:            8828 kB
Cached:           146560 kB
SwapCached:         1708 kB
Active:          3091012 kB
Inactive:         135048 kB
Active(anon):    3070252 kB
Inactive(anon):     2540 kB
Active(file):      20760 kB
Inactive(file):   132508 kB
Unevictable:      738400 kB
Mlocked:          681168 kB
SwapTotal:      67108856 kB
SwapFree:       67098660 kB
Dirty:               972 kB
Writeback:             0 kB
AnonPages:       3834392 kB
Mapped:            15404 kB
Shmem:                 0 kB
Slab:             565376 kB
SReclaimable:       8976 kB
SUnreclaim:       556400 kB
KernelStack:        1600 kB
PageTables:        11848 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4162640 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3104768 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= 71688 MiB
End job on node112 at 2016-06-26 14:49:20