Trace number 4116510

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.95 895.371

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size160-round23-5.opb
MD5SUM0d8707a053909ae250d7beee514953f6
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4288
Total number of constraints9536
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)448
Number of constraints which are nor clauses,nor cardinality constraints896
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.09	c Number of processors 	8
0.08/0.12	c Pseudo Boolean Optimization by upper bound
0.08/0.12	c ManyCore solver with 2 solvers running in parallel
0.08/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c Expensive reason simplification
0.08/0.12	c Glucose 2.1 dynamic restart strategy
0.08/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.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.08/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/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.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-4116510-1466979920.opb
0.08/0.12	c reading problem ... 
0.08/0.12	c  no objective function found
1.00/0.51	c ... done. Wall clock time 0.39s.
1.00/0.51	c declared #vars     4288
1.00/0.51	c #constraints  10880
1.00/0.51	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
1.00/0.51	c constraints type 
1.00/0.51	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7494
1.00/0.51	c org.sat4j.specs.Constr$1 => 936
1.00/0.51	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 128
1.00/0.51	c org.sat4j.minisat.constraints.cnf.UnitClause => 536
1.00/0.51	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1786
1.00/0.51	c 10880 constraints processed.
1.00/0.51	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
1.00/0.51	c constraints type 
1.00/0.51	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 128
1.00/0.51	c org.sat4j.specs.Constr$1 => 936
1.00/0.51	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 7494
1.00/0.51	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1786
1.00/0.51	c org.sat4j.pb.constraints.pb.UnitClausePB => 536
1.00/0.51	c 10880 constraints processed.
4.43/1.44	c cleaning 2495 clauses out of 4996 with flag 16544/5000
6.47/2.10	c cleaning 4219 clauses out of 8501 with flag 39324/11000
7.92/2.85	c cleaning 5638 clauses out of 11282 with flag 70218/18000
9.85/3.75	c cleaning 6815 clauses out of 13644 with flag 105181/26000
11.87/4.75	c cleaning 7876 clauses out of 15829 with flag 146149/35000
14.34/5.92	c cleaning 8956 clauses out of 17954 with flag 193551/45001
17.02/7.23	c cleaning 9982 clauses out of 19999 with flag 249683/56002
19.82/8.67	c cleaning 10994 clauses out of 22015 with flag 311902/68000
23.10/10.30	c cleaning 11992 clauses out of 24021 with flag 377826/81000
26.77/12.10	c cleaning 12965 clauses out of 26030 with flag 451212/95001
30.78/14.05	c cleaning 14026 clauses out of 28064 with flag 532063/110000
32.43/14.89	c cleaning 0 clauses out of 5000 with flag 0/5000
35.84/16.36	c cleaning 15008 clauses out of 30039 with flag 618449/126001
40.67/18.70	c cleaning 15975 clauses out of 32030 with flag 711863/143000
45.93/21.20	c cleaning 17017 clauses out of 34059 with flag 812684/161004
51.33/23.94	c cleaning 17977 clauses out of 36038 with flag 916183/180000
57.13/26.87	c cleaning 19001 clauses out of 38063 with flag 1028326/200002
63.57/30.08	c cleaning 20019 clauses out of 40060 with flag 1145822/221000
70.57/33.56	c cleaning 20965 clauses out of 42044 with flag 1267401/243003
77.97/37.22	c cleaning 22028 clauses out of 44076 with flag 1396174/266000
85.67/41.07	c cleaning 23017 clauses out of 46049 with flag 1532523/290001
93.88/45.13	c cleaning 24007 clauses out of 48032 with flag 1672792/315001
103.01/49.61	c cleaning 24997 clauses out of 50025 with flag 1818597/341001
111.99/54.14	c cleaning 26001 clauses out of 52028 with flag 1969568/368001
121.90/59.02	c cleaning 26983 clauses out of 54026 with flag 2128141/396000
132.42/64.29	c cleaning 27994 clauses out of 56045 with flag 2291940/425002
143.62/69.80	c cleaning 29017 clauses out of 58050 with flag 2465987/455001
155.10/75.54	c cleaning 29974 clauses out of 60032 with flag 2645795/486000
167.50/81.72	c cleaning 30977 clauses out of 62058 with flag 2824874/518000
180.39/88.13	c cleaning 31996 clauses out of 64081 with flag 3013979/551000
193.48/94.62	c cleaning 33023 clauses out of 66085 with flag 3213865/585000
206.14/100.99	c cleaning 0 clauses out of 11001 with flag 0/11001
207.54/101.61	c cleaning 34011 clauses out of 68062 with flag 3416981/620000
222.45/109.03	c cleaning 34975 clauses out of 70053 with flag 3628103/656002
238.49/117.49	c cleaning 36020 clauses out of 72076 with flag 3844635/693000
254.36/125.37	c cleaning 36992 clauses out of 74056 with flag 4069173/731000
271.26/133.77	c cleaning 38024 clauses out of 76064 with flag 4298116/770000
288.96/142.52	c cleaning 38984 clauses out of 78040 with flag 4535962/810000
307.23/151.60	c cleaning 40002 clauses out of 80057 with flag 4775787/851001
325.71/160.80	c cleaning 41008 clauses out of 82054 with flag 5026537/893000
345.61/170.71	c cleaning 41968 clauses out of 84046 with flag 5280457/936000
366.14/180.99	c cleaning 43032 clauses out of 86078 with flag 5539392/980000
387.27/191.48	c cleaning 44003 clauses out of 88047 with flag 5805326/1025001
409.59/202.52	c cleaning 44985 clauses out of 90043 with flag 6076668/1071000
432.43/213.99	c cleaning 45996 clauses out of 92058 with flag 6354490/1118000
456.31/225.81	c cleaning 47019 clauses out of 94063 with flag 6635114/1166001
481.03/238.18	c cleaning 48018 clauses out of 96043 with flag 6920725/1215000
504.55/249.83	c cleaning 49004 clauses out of 98025 with flag 7215130/1265000
530.64/262.75	c cleaning 49982 clauses out of 100022 with flag 7516746/1316001
557.34/276.07	c cleaning 50998 clauses out of 102039 with flag 7822865/1368000
584.06/289.40	c cleaning 52004 clauses out of 104041 with flag 8133370/1421000
614.86/305.24	c cleaning 52963 clauses out of 106038 with flag 8445636/1475001
644.56/320.09	c cleaning 54007 clauses out of 108074 with flag 8765495/1530000
675.75/335.58	c cleaning 55021 clauses out of 110068 with flag 9085632/1586001
707.76/351.49	c cleaning 56008 clauses out of 112046 with flag 9424344/1643000
740.05/367.58	c cleaning 57012 clauses out of 114038 with flag 9756830/1701000
774.04/384.45	c cleaning 57983 clauses out of 116026 with flag 10101388/1760000
808.68/401.63	c cleaning 58962 clauses out of 118045 with flag 10448039/1820002
841.45/417.92	c cleaning 0 clauses out of 18000 with flag 0/18000
844.65/419.51	c cleaning 60018 clauses out of 120081 with flag 10797534/1881000
881.86/438.01	c cleaning 61009 clauses out of 122063 with flag 11152514/1943000
920.42/457.19	c cleaning 61984 clauses out of 124055 with flag 11516327/2006001
959.07/476.31	c cleaning 63011 clauses out of 126071 with flag 11887572/2070001
998.48/495.90	c cleaning 64022 clauses out of 128059 with flag 12261317/2135000
1040.51/516.83	c cleaning 64972 clauses out of 130037 with flag 12644406/2201000
1084.30/538.50	c cleaning 65980 clauses out of 132065 with flag 13031540/2268000
1128.31/560.47	c cleaning 67033 clauses out of 134086 with flag 13423427/2336001
1174.87/584.46	c cleaning 68015 clauses out of 136053 with flag 13825430/2405001
1221.17/607.42	c cleaning 69007 clauses out of 138038 with flag 14235365/2475001
1267.58/630.55	c cleaning 69988 clauses out of 140031 with flag 14641394/2546001
1316.56/654.85	c cleaning 70971 clauses out of 142042 with flag 15056510/2618000
1366.93/679.82	c cleaning 71993 clauses out of 144071 with flag 15474044/2691000
1418.27/705.44	c cleaning 73016 clauses out of 146078 with flag 15897993/2765000
1471.07/731.73	c cleaning 74014 clauses out of 148062 with flag 16330071/2840000
1525.12/758.61	c cleaning 75025 clauses out of 150049 with flag 16763335/2916001
1581.30/786.53	c cleaning 75990 clauses out of 152023 with flag 17206430/2993000
1639.12/815.24	c cleaning 76996 clauses out of 154033 with flag 17662773/3071000
1698.31/844.69	c cleaning 78010 clauses out of 156037 with flag 18114503/3150000
1758.96/874.85	c cleaning 79009 clauses out of 158028 with flag 18568218/3230001
1800.12/895.30	c >>>>>>>>>> Solver number 0 (0 answers) <<<<<<<<<<<<<<<<<<
1800.12/895.30	c starts		: 25878
1800.12/895.30	c conflicts		: 3289509
1800.12/895.30	c decisions		: 26289840
1800.12/895.30	c propagations		: 414378456
1800.12/895.30	c inspects		: 8906290036
1800.12/895.30	c shortcuts		: 0
1800.12/895.30	c learnt literals	: 4
1800.12/895.30	c learnt binary clauses	: 84
1800.12/895.30	c learnt ternary clauses	: 950
1800.12/895.30	c learnt constraints	: 3289505
1800.12/895.30	c ignored constraints	: 0
1800.12/895.30	c root simplifications	: 0
1800.12/895.30	c removed literals (reason simplification)	: 2896236
1800.12/895.30	c reason swapping (by a shorter reason)	: 0
1800.12/895.30	c Calls to reduceDB	: 76
1800.12/895.30	c Number of update (reduction) of LBD	: 724925
1800.12/895.30	c Imported unit clauses	: 0
1800.12/895.30	c number of reductions to clauses (during analyze)	: 0
1800.12/895.30	c number of learned constraints concerned by reduction	: 0
1800.12/895.30	c number of learning phase by resolution	: 0
1800.12/895.30	c number of learning phase by cutting planes	: 0
1800.12/895.30	c speed (assignments/second)	: 463106.5245088178
1800.12/895.30	c non guided choices	12912
1800.12/895.33	c learnt constraints type 
1800.12/895.33	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 84
1800.12/895.33	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 138443
1800.12/895.33	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.12/895.33	c starts		: 52
1800.12/895.33	c conflicts		: 23845
1800.12/895.33	c decisions		: 75950
1800.12/895.33	c propagations		: 2721644
1800.12/895.33	c inspects		: 863936015
1800.12/895.33	c shortcuts		: 0
1800.12/895.33	c learnt literals	: 0
1800.12/895.33	c learnt binary clauses	: 0
1800.12/895.33	c learnt ternary clauses	: 0
1800.12/895.33	c learnt constraints	: 23844
1800.12/895.33	c ignored constraints	: 0
1800.12/895.33	c root simplifications	: 0
1800.12/895.33	c removed literals (reason simplification)	: 0
1800.12/895.33	c reason swapping (by a shorter reason)	: 0
1800.12/895.33	c Calls to reduceDB	: 3
1800.12/895.33	c Number of update (reduction) of LBD	: 0
1800.12/895.33	c Imported unit clauses	: 0
1800.12/895.33	c number of reductions to clauses (during analyze)	: 0
1800.12/895.33	c number of learned constraints concerned by reduction	: 0
1800.12/895.33	c number of learning phase by resolution	: 0
1800.12/895.33	c number of learning phase by cutting planes	: 0
1800.12/895.33	c speed (assignments/second)	: 3041.6057129765704
1800.12/895.33	c non guided choices	222
1800.12/895.34	c learnt constraints type 
1800.12/895.34	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 58
1800.12/895.34	c org.sat4j.pb.constraints.pb.MaxWatchPb => 23786
1800.12/895.34	s UNKNOWN
1800.12/895.34	c Total wall clock time (in seconds): 895.224

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-4116510-1466979920/watcher-4116510-1466979920 -o /tmp/evaluation-result-4116510-1466979920/solver-4116510-1466979920 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1466975440-23498 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4116510-1466979920.opb 

pid=24306
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.16 4.20 4.14 5/197 24309
/proc/meminfo: memFree=27578644/32872528 swapFree=1094508/1184444
[pid=24309] ppid=24306 vsize=9160 CPUtime=0 cores=1,3,5,7
/proc/24309/stat : 24309 (java) R 24306 24309 23481 0 -1 4202496 430 0 0 0 0 0 0 0 20 0 1 0 31031760 9379840 84 33554432000 1073741824 1073778376 140737280803456 140737280800584 271790921710 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24309/statm: 2290 95 71 9 0 38 0

[startup+0.100062 s]
/proc/loadavg: 4.16 4.20 4.14 5/197 24309
/proc/meminfo: memFree=27578644/32872528 swapFree=1094508/1184444
[pid=24309] ppid=24306 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/24309/stat : 24309 (java) S 24306 24309 23481 0 -1 4202496 4404 0 1 0 7 1 0 0 20 0 18 0 31031760 9787879424 6038 33554432000 1073741824 1073778376 140737280803456 140737280794592 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24309/statm: 2389619 6038 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.200222 s]
/proc/loadavg: 4.16 4.20 4.14 5/197 24309
/proc/meminfo: memFree=27578644/32872528 swapFree=1094508/1184444
[pid=24309] ppid=24306 vsize=9558476 CPUtime=0.23 cores=1,3,5,7
/proc/24309/stat : 24309 (java) S 24306 24309 23481 0 -1 4202496 4698 0 1 0 22 1 0 0 20 0 18 0 31031760 9787879424 6795 33554432000 1073741824 1073778376 140737280803456 140737280794592 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24309/statm: 2389619 6795 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476

[startup+0.300225 s]
/proc/loadavg: 4.16 4.20 4.14 5/197 24309
/proc/meminfo: memFree=27578644/32872528 swapFree=1094508/1184444
[pid=24309] ppid=24306 vsize=9558476 CPUtime=0.47 cores=1,3,5,7
/proc/24309/stat : 24309 (java) S 24306 24309 23481 0 -1 4202496 5833 0 1 0 45 2 0 0 20 0 18 0 31031760 9787879424 8336 33554432000 1073741824 1073778376 140737280803456 140737280794592 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24309/statm: 2389619 8336 2234 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558476

[startup+0.70016 s]
/proc/loadavg: 4.16 4.20 4.14 5/197 24309
/proc/meminfo: memFree=27578644/32872528 swapFree=1094508/1184444
[pid=24309] ppid=24306 vsize=9824732 CPUtime=1.73 cores=1,3,5,7
/proc/24309/stat : 24309 (java) S 24306 24309 23481 0 -1 4202496 13231 0 1 0 169 4 0 0 20 0 22 0 31031760 10060525568 23837 33554432000 1073741824 1073778376 140737280803456 140737280794592 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24309/statm: 2456183 23837 2266 9 0 2446860 0
Current children cumulated CPU time (s) 1.73
Current children cumulated vsize (KiB) 9824732

[startup+1.50088 s]
/proc/loadavg: 4.16 4.20 4.14 8/219 24331
/proc/meminfo: memFree=27443116/32872528 swapFree=1094508/1184444
[pid=24309] ppid=24306 vsize=9824732 CPUtime=4.8 cores=1,3,5,7
/proc/24309/stat : 24309 (java) S 24306 24309 23481 0 -1 4202496 22034 0 1 0 472 8 0 0 20 0 22 0 31031760 10060525568 48156 33554432000 1073741824 1073778376 140737280803456 140737280794592 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24309/statm: 2456183 48156 2292 9 0 2446860 0
[pid=24309/tid=24311] ppid=24306 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/24309/task/24311/stat : 24311 (java) S 24306 24309 23481 0 -1 4202560 2477 0 1 0 46 2 0 0 20 0 22 0 31031761 10060525568 48156 33554432000 1073741824 1073778376 140737280803456 140305957294968 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24309/tid=24312] ppid=24306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24309/task/24312/stat : 24312 (java) S 24306 24309 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 31031762 10060525568 48156 33554432000 1073741824 1073778376 140737280803456 140305918785960 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24309/tid=24313] ppid=24306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24309/task/24313/stat : 24313 (java) S 24306 24309 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 31031762 10060525568 48156 33554432000 1073741824 1073778376 140737280803456 140305917733416 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24309/tid=24314] ppid=24306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24309/task/24314/stat : 24314 (java) S 24306 24309 23481 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 31031762 10060525568 48168 33554432000 1073741824 1073778376 140737280803456 140305916680360 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24309/tid=24315] ppid=24306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24309/task/24315/stat : 24315 (java) S 24306 24309 23481 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 31031762 10060525568 48180 33554432000 1073741824 1073778376 140737280803456 140305915627816 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24309/tid=24316] ppid=24306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24309/task/24316/stat : 24316 (java) S 24306 24309 23481 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 31031762 10060525568 48200 33554432000 1073741824 1073778376 140737280803456 140305914575784 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24309/tid=24317] ppid=24306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24309/task/24317/stat : 24317 (java) S 24306 24309 23481 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 31031762 10060525568 48215 33554432000 1073741824 1073778376 140737280803456 140305913523240 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24309/tid=24318] ppid=24306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24309/task/24318/stat : 24318 (java) S 24306 24309 23481 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 31031762 10060525568 48230 33554432000 1073741824 1073778376 140737280803456 140305912470184 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24309/tid=24319] ppid=24306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24309/task/24319/stat : 24319 (java) S 24306 24309 23481 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 31031762 10060525568 48245 33554432000 1073741824 1073778376 140737280803456 140305793805096 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24309/tid=24320] ppid=24306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24309/task/24320/stat : 24320 (java) S 24306 24309 23481 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 31031763 10060525568 48265 33554432000 1073741824 1073778376 140737280803456 140305781393768 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24309/tid=24321] ppid=24306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24309/task/24321/stat : 24321 (java) S 24306 24309 23481 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 31031763 10060525568 48275 33554432000 1073741824 1073778376 140737280803456 140305780340088 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24309/tid=24322] ppid=24306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24309/task/24322/stat : 24322 (java) S 24306 24309 23481 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 31031763 10060525568 48275 33554432000 1073741824 1073778376 140737280803456 140305779286920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24309/tid=24323] ppid=24306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24309/task/24323/stat : 24323 (java) S 24306 24309 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 31031766 10060525568 48275 33554432000 1073741824 1073778376 140737280803456 140305778235664 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24309/tid=24324] ppid=24306 vsize=9824732 CPUtime=1.2 cores=1,3,5,7
/proc/24309/task/24324/stat : 24324 (java) R 24306 24309 23481 0 -1 4202560 7949 0 0 0 119 1 0 0 20 0 22 0 31031766 10060525568 48275 33554432000 1073741824 1073778376 140737280803456 140305038807752 271787242189 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24309/tid=24325] ppid=24306 vsize=9824732 CPUtime=1.14 cores=1,3,5,7
/proc/24309/task/24325/stat : 24325 (java) S 24306 24309 23481 0 -1 4202560 10315 0 0 0 111 3 0 0 20 0 22 0 31031766 10060525568 48275 33554432000 1073741824 1073778376 140737280803456 140305037777848 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24309/tid=24326] ppid=24306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24309/task/24326/stat : 24326 (java) S 24306 24309 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 31031766 10060525568 48275 33554432000 1073741824 1073778376 140737280803456 140305036724984 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24309/tid=24327] ppid=24306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24309/task/24327/stat : 24327 (java) S 24306 24309 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 31031766 10060525568 48275 33554432000 1073741824 1073778376 140737280803456 140305035672648 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24309/tid=24328] ppid=24306 vsize=9824732 CPUtime=0.95 cores=1,3,5,7
/proc/24309/task/24328/stat : 24328 (java) R 24306 24309 23481 0 -1 4202560 18 0 0 0 95 0 0 0 20 0 22 0 31031811 10060525568 48275 33554432000 1073741824 1073778376 140737280803456 140305034608544 140305794646106 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24309/tid=24329] ppid=24306 vsize=9824732 CPUtime=0.91 cores=1,3,5,7
/proc/24309/task/24329/stat : 24329 (java) R 24306 24309 23481 0 -1 4202560 74 0 0 0 91 0 0 0 20 0 22 0 31031811 10060525568 48275 33554432000 1073741824 1073778376 140737280803456 140305033562952 140305794714133 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24309/tid=24330] ppid=24306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24309/task/24330/stat : 24330 (java) S 24306 24309 23481 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 31031812 10060525568 48275 33554432000 1073741824 1073778376 140737280803456 140305032512296 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24309/tid=24331] ppid=24306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24309/task/24331/stat : 24331 (java) S 24306 24309 23481 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 31031813 10060525568 48275 33554432000 1073741824 1073778376 140737280803456 140305031459752 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.8
Current children cumulated vsize (KiB) 9824732

[startup+3.10085 s]
/proc/loadavg: 4.16 4.20 4.14 6/219 24331
/proc/meminfo: memFree=27370760/32872528 swapFree=1094508/1184444
[pid=24309] ppid=24306 vsize=9824732 CPUtime=8.58 cores=1,3,5,7
/proc/24309/stat : 24309 (java) S 24306 24309 23481 0 -1 4202496 23407 0 1 0 841 17 0 0 20 0 22 0 31031760 10060525568 88770 33554432000 1073741824 1073778376 140737280803456 140737280794592 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24309/statm: 2456183 88770 2292 9 0 2446860 0
[pid=24309/tid=24311] ppid=24306 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/24309/task/24311/stat : 24311 (java) S 24306 24309 23481 0 -1 4202560 2478 0 1 0 46 2 0 0 20 0 22 0 31031761 10060525568 88770 33554432000 1073741824 1073778376 140737280803456 140305957294968 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24309/tid=24312] ppid=24306 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/24309/task/24312/stat : 24312 (java) S 24306 24309 23481 0 -1 4202560 15 0 0 0 3 1 0 0 20 0 22 0 31031762 10060525568 88770 33554432000 1073741824 1073778376 140737280803456 140305918785960 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24309/tid=24313] ppid=24306 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/24309/task/24313/stat : 24313 (java) S 24306 24309 23481 0 -1 4202560 21 0 0 0 4 0 0 0 20 0 22 0 31031762 10060525568 88770 33554432000 1073741824 1073778376 140737280803456 140305917733416 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24309/tid=24314] ppid=24306 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/24309/task/24314/stat : 24314 (java) S 24306 24309 23481 0 -1 4202560 30 0 0 0 5 2 0 0 20 0 22 0 31031762 10060525568 88770 33554432000 1073741824 1073778376 140737280803456 140305916680360 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24309/tid=24315] ppid=24306 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/24309/task/24315/stat : 24315 (java) S 24306 24309 23481 0 -1 4202560 24 0 0 0 3 2 0 0 20 0 22 0 31031762 10060525568 88770 33554432000 1073741824 1073778376 140737280803456 140305915627816 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24309/tid=24316] ppid=24306 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/24309/task/24316/stat : 24316 (java) S 24306 24309 23481 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 22 0 31031762 10060525568 88770 33554432000 1073741824 1073778376 140737280803456 140305914575784 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24309/tid=24317] ppid=24306 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/24309/task/24317/stat : 24317 (java) S 24306 24309 23481 0 -1 4202560 28 0 0 0 3 2 0 0 20 0 22 0 31031762 10060525568 88770 33554432000 1073741824 1073778376 140737280803456 140305913523240 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24309/tid=24318] ppid=24306 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/24309/task/24318/stat : 24318 (java) S 24306 24309 23481 0 -1 4202560 27 0 0 0 3 2 0 0 20 0 22 0 31031762 10060525568 88770 33554432000 1073741824 1073778376 140737280803456 140305912470184 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24309/tid=24319] ppid=24306 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/24309/task/24319/stat : 24319 (java) S 24306 24309 23481 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 22 0 31031762 10060525568 88770 33554432000 1073741824 1073778376 140737280803456 140305793805096 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24309/tid=24320] ppid=24306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24309/task/24320/stat : 24320 (java) S 24306 24309 23481 0 -1 4202560 201 0 0 0 0 0 0 0 20 0 22 0 31031763 10060525568 88770 33554432000 1073741824 1073778376 140737280803456 140305781393768 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24309/tid=24321] ppid=24306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24309/task/24321/stat : 24321 (java) S 24306 24309 23481 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 31031763 10060525568 88770 33554432000 1073741824 1073778376 140737280803456 140305780340088 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24309/tid=24322] ppid=24306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24309/task/24322/stat : 24322 (java) S 24306 24309 23481 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 31031763 10060525568 88770 33554432000 1073741824 1073778376 140737280803456 140305779286920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24309/tid=24323] ppid=24306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24309/task/24323/stat : 24323 (java) S 24306 24309 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 31031766 10060525568 88770 33554432000 1073741824 1073778376 140737280803456 140305778235664 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24309/tid=24324] ppid=24306 vsize=9824732 CPUtime=1.58 cores=1,3,5,7
/proc/24309/task/24324/stat : 24324 (java) S 24306 24309 23481 0 -1 4202560 8838 0 0 0 156 2 0 0 20 0 22 0 31031766 10060525568 88770 33554432000 1073741824 1073778376 140737280803456 140305038830392 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24309/tid=24325] ppid=24306 vsize=9824732 CPUtime=1.21 cores=1,3,5,7
/proc/24309/task/24325/stat : 24325 (java) S 24306 24309 23481 0 -1 4202560 10316 0 0 0 118 3 0 0 20 0 22 0 31031766 10060525568 88770 33554432000 1073741824 1073778376 140737280803456 140305037777848 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24309/tid=24326] ppid=24306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24309/task/24326/stat : 24326 (java) S 24306 24309 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 31031766 10060525568 88770 33554432000 1073741824 1073778376 140737280803456 140305036724984 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24309/tid=24327] ppid=24306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24309/task/24327/stat : 24327 (java) S 24306 24309 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 31031766 10060525568 88770 33554432000 1073741824 1073778376 140737280803456 140305035672648 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24309/tid=24328] ppid=24306 vsize=9824732 CPUtime=2.43 cores=1,3,5,7
/proc/24309/task/24328/stat : 24328 (java) R 24306 24309 23481 0 -1 4202560 18 0 0 0 243 0 0 0 20 0 22 0 31031811 10060525568 88770 33554432000 1073741824 1073778376 140737280803456 140305034615552 140305794360048 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=24309/tid=24329] ppid=24306 vsize=9824732 CPUtime=2.38 cores=1,3,5,7
/proc/24309/task/24329/stat : 24329 (java) R 24306 24309 23481 0 -1 4202560 124 0 0 0 235 3 0 0 20 0 22 0 31031811 10060525568 88770 33554432000 1073741824 1073778376 140737280803456 140305033563552 140305794562539 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24309/tid=24330] ppid=24306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24309/task/24330/stat : 24330 (java) S 24306 24309 23481 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 31031812 10060525568 88770 33554432000 1073741824 1073778376 140737280803456 140305032512296 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24309/tid=24331] ppid=24306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24309/task/24331/stat : 24331 (java) S 24306 24309 23481 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 31031813 10060525568 88770 33554432000 1073741824 1073778376 140737280803456 140305031459752 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 8.58
Current children cumulated vsize (KiB) 9824732

[startup+6.30097 s]
/proc/loadavg: 4.07 4.18 4.13 5/219 24331
/proc/meminfo: memFree=26940936/32872528 swapFree=1094508/1184444
[pid=24309] ppid=24306 vsize=9824732 CPUtime=15.14 cores=1,3,5,7
/proc/24309/stat : 24309 (java) S 24306 24309 23481 0 -1 4202496 24193 0 1 0 1487 27 0 0 20 0 22 0 31031760 10060525568 155660 33554432000 1073741824 1073778376 140737280803456 140737280794592 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24309/statm: 2456183 155660 2292 9 0 2446860 0
[pid=24309/tid=24311] ppid=24306 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/24309/task/24311/stat : 24311 (java) S 24306 24309 23481 0 -1 4202560 2478 0 1 0 46 2 0 0 20 0 22 0 31031761 10060525568 155660 33554432000 1073741824 1073778376 140737280803456 140305957294968 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24309/tid=24312] ppid=24306 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/24309/task/24312/stat : 24312 (java) S 24306 24309 23481 0 -1 4202560 74 0 0 0 5 2 0 0 20 0 22 0 31031762 10060525568 155660 33554432000 1073741824 1073778376 140737280803456 140305918785960 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24309/tid=24313] ppid=24306 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/24309/task/24313/stat : 24313 (java) S 24306 24309 23481 0 -1 4202560 95 0 0 0 6 2 0 0 20 0 22 0 31031762 10060525568 155660 33554432000 1073741824 1073778376 140737280803456 140305917733416 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24309/tid=24314] ppid=24306 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/24309/task/24314/stat : 24314 (java) S 24306 24309 23481 0 -1 4202560 35 0 0 0 7 2 0 0 20 0 22 0 31031762 10060525568 155660 33554432000 1073741824 1073778376 140737280803456 140305916680360 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24309/tid=24315] ppid=24306 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/24309/task/24315/stat : 24315 (java) S 24306 24309 23481 0 -1 4202560 76 0 0 0 5 2 0 0 20 0 22 0 31031762 10060525568 155660 33554432000 1073741824 1073778376 140737280803456 140305915627816 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24309/tid=24316] ppid=24306 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/24309/task/24316/stat : 24316 (java) S 24306 24309 23481 0 -1 4202560 64 0 0 0 6 2 0 0 20 0 22 0 31031762 10060525568 155660 33554432000 1073741824 1073778376 140737280803456 140305914575784 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24309/tid=24317] ppid=24306 vsize=9824732 CPUtime=0.11 cores=1,3,5,7
/proc/24309/task/24317/stat : 24317 (java) S 24306 24309 23481 0 -1 4202560 88 0 0 0 8 3 0 0 20 0 22 0 31031762 10060525568 155660 33554432000 1073741824 1073778376 140737280803456 140305913523240 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24309/tid=24318] ppid=24306 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/24309/task/24318/stat : 24318 (java) S 24306 24309 23481 0 -1 4202560 109 0 0 0 7 3 0 0 20 0 22 0 31031762 10060525568 155660 33554432000 1073741824 1073778376 140737280803456 140305912470184 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24309/tid=24319] ppid=24306 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/24309/task/24319/stat : 24319 (java) S 24306 24309 23481 0 -1 4202560 48 0 0 0 6 0 0 0 20 0 22 0 31031762 10060525568 155660 33554432000 1073741824 1073778376 140737280803456 140305793805096 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24309/tid=24320] ppid=24306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24309/task/24320/stat : 24320 (java) S 24306 24309 23481 0 -1 4202560 454 0 0 0 0 0 0 0 20 0 22 0 31031763 10060525568 155660 33554432000 1073741824 1073778376 140737280803456 140305781393768 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24309/tid=24321] ppid=24306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24309/task/24321/stat : 24321 (java) S 24306 24309 23481 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 31031763 10060525568 155660 33554432000 1073741824 1073778376 140737280803456 140305780340088 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24309/tid=24322] ppid=24306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24309/task/24322/stat : 24322 (java) S 24306 24309 23481 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 31031763 10060525568 155660 33554432000 1073741824 1073778376 140737280803456 140305779286920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24309/tid=24323] ppid=24306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24309/task/24323/stat : 24323 (java) S 24306 24309 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 31031766 10060525568 155660 33554432000 1073741824 1073778376 140737280803456 140305778235664 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24309/tid=24324] ppid=24306 vsize=9824732 CPUtime=1.6 cores=1,3,5,7

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


[startup+882.308 s]
/proc/loadavg: 4.16 4.16 4.16 5/220 24424
/proc/meminfo: memFree=22997972/32872528 swapFree=1094508/1184444
[pid=24309] ppid=24306 vsize=9824732 CPUtime=1774.05 cores=1,3,5,7
/proc/24309/stat : 24309 (java) S 24306 24309 23481 0 -1 4202496 37704 0 1 0 177209 196 0 0 20 0 22 0 31031760 10060525568 941274 33554432000 1073741824 1073778376 140737280803456 140737280794592 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24309/statm: 2456183 941274 2301 9 0 2446860 0
[pid=24309/tid=24311] ppid=24306 vsize=9824732 CPUtime=0.52 cores=1,3,5,7
/proc/24309/task/24311/stat : 24311 (java) S 24306 24309 23481 0 -1 4202560 2482 0 1 0 49 3 0 0 20 0 22 0 31031761 10060525568 941274 33554432000 1073741824 1073778376 140737280803456 140305957294968 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24309/tid=24312] ppid=24306 vsize=9824732 CPUtime=2.65 cores=1,3,5,7
/proc/24309/task/24312/stat : 24312 (java) S 24306 24309 23481 0 -1 4202560 607 0 0 0 249 16 0 0 20 0 22 0 31031762 10060525568 941274 33554432000 1073741824 1073778376 140737280803456 140305918785960 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24309/tid=24313] ppid=24306 vsize=9824732 CPUtime=2.58 cores=1,3,5,7
/proc/24309/task/24313/stat : 24313 (java) S 24306 24309 23481 0 -1 4202560 564 0 0 0 242 16 0 0 20 0 22 0 31031762 10060525568 941274 33554432000 1073741824 1073778376 140737280803456 140305917733416 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24309/tid=24314] ppid=24306 vsize=9824732 CPUtime=2.89 cores=1,3,5,7
/proc/24309/task/24314/stat : 24314 (java) S 24306 24309 23481 0 -1 4202560 546 0 0 0 273 16 0 0 20 0 22 0 31031762 10060525568 941274 33554432000 1073741824 1073778376 140737280803456 140305916680360 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24309/tid=24315] ppid=24306 vsize=9824732 CPUtime=2.98 cores=1,3,5,7
/proc/24309/task/24315/stat : 24315 (java) S 24306 24309 23481 0 -1 4202560 597 0 0 0 281 17 0 0 20 0 22 0 31031762 10060525568 941274 33554432000 1073741824 1073778376 140737280803456 140305915627816 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24309/tid=24316] ppid=24306 vsize=9824732 CPUtime=2.63 cores=1,3,5,7
/proc/24309/task/24316/stat : 24316 (java) S 24306 24309 23481 0 -1 4202560 514 0 0 0 249 14 0 0 20 0 22 0 31031762 10060525568 941274 33554432000 1073741824 1073778376 140737280803456 140305914575784 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24309/tid=24317] ppid=24306 vsize=9824732 CPUtime=2.79 cores=1,3,5,7
/proc/24309/task/24317/stat : 24317 (java) S 24306 24309 23481 0 -1 4202560 559 0 0 0 263 16 0 0 20 0 22 0 31031762 10060525568 941274 33554432000 1073741824 1073778376 140737280803456 140305913523240 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24309/tid=24318] ppid=24306 vsize=9824732 CPUtime=3.08 cores=1,3,5,7
/proc/24309/task/24318/stat : 24318 (java) S 24306 24309 23481 0 -1 4202560 652 0 0 0 289 19 0 0 20 0 22 0 31031762 10060525568 941274 33554432000 1073741824 1073778376 140737280803456 140305912470184 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24309/tid=24319] ppid=24306 vsize=9824732 CPUtime=2.85 cores=1,3,5,7
/proc/24309/task/24319/stat : 24319 (java) S 24306 24309 23481 0 -1 4202560 597 0 0 0 270 15 0 0 20 0 22 0 31031762 10060525568 941274 33554432000 1073741824 1073778376 140737280803456 140305793805096 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24309/tid=24320] ppid=24306 vsize=9824732 CPUtime=3.65 cores=1,3,5,7
/proc/24309/task/24320/stat : 24320 (java) S 24306 24309 23481 0 -1 4202560 2236 0 0 0 355 10 0 0 20 0 22 0 31031763 10060525568 941274 33554432000 1073741824 1073778376 140737280803456 140305781393768 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24309/tid=24321] ppid=24306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24309/task/24321/stat : 24321 (java) S 24306 24309 23481 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 31031763 10060525568 941274 33554432000 1073741824 1073778376 140737280803456 140305780340088 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24309/tid=24322] ppid=24306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24309/task/24322/stat : 24322 (java) S 24306 24309 23481 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 31031763 10060525568 941274 33554432000 1073741824 1073778376 140737280803456 140305779286920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24309/tid=24323] ppid=24306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24309/task/24323/stat : 24323 (java) S 24306 24309 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 31031766 10060525568 941274 33554432000 1073741824 1073778376 140737280803456 140305778235664 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24309/tid=24324] ppid=24306 vsize=9824732 CPUtime=2.16 cores=1,3,5,7
/proc/24309/task/24324/stat : 24324 (java) S 24306 24309 23481 0 -1 4202560 14814 0 0 0 213 3 0 0 20 0 22 0 31031766 10060525568 941274 33554432000 1073741824 1073778376 140737280803456 140305038830392 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24309/tid=24325] ppid=24306 vsize=9824732 CPUtime=1.32 cores=1,3,5,7
/proc/24309/task/24325/stat : 24325 (java) S 24306 24309 23481 0 -1 4202560 10329 0 0 0 129 3 0 0 20 0 22 0 31031766 10060525568 941274 33554432000 1073741824 1073778376 140737280803456 140305037777848 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24309/tid=24326] ppid=24306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24309/task/24326/stat : 24326 (java) S 24306 24309 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 31031766 10060525568 941274 33554432000 1073741824 1073778376 140737280803456 140305036724984 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24309/tid=24327] ppid=24306 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/24309/task/24327/stat : 24327 (java) S 24306 24309 23481 0 -1 4202560 51 0 0 0 15 22 0 0 20 0 22 0 31031766 10060525568 941274 33554432000 1073741824 1073778376 140737280803456 140305035672648 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24309/tid=24328] ppid=24306 vsize=9824732 CPUtime=872.02 cores=1,3,5,7
/proc/24309/task/24328/stat : 24328 (java) R 24306 24309 23481 0 -1 4202560 77 0 0 0 87187 15 0 0 20 0 22 0 31031811 10060525568 941274 33554432000 1073741824 1073778376 140737280803456 140305034616320 140305794567880 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24309/tid=24329] ppid=24306 vsize=9824732 CPUtime=871.96 cores=1,3,5,7
/proc/24309/task/24329/stat : 24329 (java) R 24306 24309 23481 0 -1 4202560 1813 0 0 0 87147 49 0 0 20 0 22 0 31031811 10060525568 941274 33554432000 1073741824 1073778376 140737280803456 140305033564800 140305794800452 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24309/tid=24330] ppid=24306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24309/task/24330/stat : 24330 (java) S 24306 24309 23481 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 31031812 10060525568 941274 33554432000 1073741824 1073778376 140737280803456 140305032512296 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24309/tid=24331] ppid=24306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24309/task/24331/stat : 24331 (java) S 24306 24309 23481 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 31031813 10060525568 941274 33554432000 1073741824 1073778376 140737280803456 140305031459752 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1774.05
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+895.301 s]
/proc/loadavg: 4.21 4.17 4.17 5/220 24424
/proc/meminfo: memFree=22988472/32872528 swapFree=1094508/1184444
[pid=24309] ppid=24306 vsize=9824732 CPUtime=1800.12 cores=1,3,5,7
/proc/24309/stat : 24309 (java) S 24306 24309 23481 0 -1 4202496 37711 0 1 0 179816 196 0 0 20 0 22 0 31031760 10060525568 942297 33554432000 1073741824 1073778376 140737280803456 140737280794592 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24309/statm: 2456183 942297 2301 9 0 2446860 0
[pid=24309/tid=24311] ppid=24306 vsize=9824732 CPUtime=0.53 cores=1,3,5,7
/proc/24309/task/24311/stat : 24311 (java) S 24306 24309 23481 0 -1 4202560 2482 0 1 0 49 4 0 0 20 0 22 0 31031761 10060525568 942297 33554432000 1073741824 1073778376 140737280803456 140305957294968 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24309/tid=24312] ppid=24306 vsize=9824732 CPUtime=2.67 cores=1,3,5,7
/proc/24309/task/24312/stat : 24312 (java) S 24306 24309 23481 0 -1 4202560 607 0 0 0 251 16 0 0 20 0 22 0 31031762 10060525568 942297 33554432000 1073741824 1073778376 140737280803456 140305918785960 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24309/tid=24313] ppid=24306 vsize=9824732 CPUtime=2.61 cores=1,3,5,7
/proc/24309/task/24313/stat : 24313 (java) S 24306 24309 23481 0 -1 4202560 566 0 0 0 245 16 0 0 20 0 22 0 31031762 10060525568 942297 33554432000 1073741824 1073778376 140737280803456 140305917733416 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24309/tid=24314] ppid=24306 vsize=9824732 CPUtime=2.91 cores=1,3,5,7
/proc/24309/task/24314/stat : 24314 (java) S 24306 24309 23481 0 -1 4202560 546 0 0 0 275 16 0 0 20 0 22 0 31031762 10060525568 942297 33554432000 1073741824 1073778376 140737280803456 140305916680360 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24309/tid=24315] ppid=24306 vsize=9824732 CPUtime=3 cores=1,3,5,7
/proc/24309/task/24315/stat : 24315 (java) S 24306 24309 23481 0 -1 4202560 599 0 0 0 283 17 0 0 20 0 22 0 31031762 10060525568 942297 33554432000 1073741824 1073778376 140737280803456 140305915627816 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24309/tid=24316] ppid=24306 vsize=9824732 CPUtime=2.66 cores=1,3,5,7
/proc/24309/task/24316/stat : 24316 (java) S 24306 24309 23481 0 -1 4202560 514 0 0 0 252 14 0 0 20 0 22 0 31031762 10060525568 942297 33554432000 1073741824 1073778376 140737280803456 140305914575784 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24309/tid=24317] ppid=24306 vsize=9824732 CPUtime=2.81 cores=1,3,5,7
/proc/24309/task/24317/stat : 24317 (java) S 24306 24309 23481 0 -1 4202560 559 0 0 0 265 16 0 0 20 0 22 0 31031762 10060525568 942297 33554432000 1073741824 1073778376 140737280803456 140305913523240 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24309/tid=24318] ppid=24306 vsize=9824732 CPUtime=3.1 cores=1,3,5,7
/proc/24309/task/24318/stat : 24318 (java) S 24306 24309 23481 0 -1 4202560 652 0 0 0 291 19 0 0 20 0 22 0 31031762 10060525568 942297 33554432000 1073741824 1073778376 140737280803456 140305912470184 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24309/tid=24319] ppid=24306 vsize=9824732 CPUtime=2.88 cores=1,3,5,7
/proc/24309/task/24319/stat : 24319 (java) S 24306 24309 23481 0 -1 4202560 598 0 0 0 273 15 0 0 20 0 22 0 31031762 10060525568 942297 33554432000 1073741824 1073778376 140737280803456 140305793805096 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24309/tid=24320] ppid=24306 vsize=9824732 CPUtime=3.65 cores=1,3,5,7
/proc/24309/task/24320/stat : 24320 (java) S 24306 24309 23481 0 -1 4202560 2236 0 0 0 355 10 0 0 20 0 22 0 31031763 10060525568 942297 33554432000 1073741824 1073778376 140737280803456 140305781393768 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24309/tid=24321] ppid=24306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24309/task/24321/stat : 24321 (java) S 24306 24309 23481 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 31031763 10060525568 942297 33554432000 1073741824 1073778376 140737280803456 140305780340088 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24309/tid=24322] ppid=24306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24309/task/24322/stat : 24322 (java) S 24306 24309 23481 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 31031763 10060525568 942297 33554432000 1073741824 1073778376 140737280803456 140305779286920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24309/tid=24323] ppid=24306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24309/task/24323/stat : 24323 (java) S 24306 24309 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 31031766 10060525568 942297 33554432000 1073741824 1073778376 140737280803456 140305778235664 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24309/tid=24324] ppid=24306 vsize=9824732 CPUtime=2.16 cores=1,3,5,7
/proc/24309/task/24324/stat : 24324 (java) S 24306 24309 23481 0 -1 4202560 14814 0 0 0 213 3 0 0 20 0 22 0 31031766 10060525568 942297 33554432000 1073741824 1073778376 140737280803456 140305038830392 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24309/tid=24325] ppid=24306 vsize=9824732 CPUtime=1.32 cores=1,3,5,7
/proc/24309/task/24325/stat : 24325 (java) S 24306 24309 23481 0 -1 4202560 10329 0 0 0 129 3 0 0 20 0 22 0 31031766 10060525568 942297 33554432000 1073741824 1073778376 140737280803456 140305037777848 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24309/tid=24326] ppid=24306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24309/task/24326/stat : 24326 (java) S 24306 24309 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 31031766 10060525568 942297 33554432000 1073741824 1073778376 140737280803456 140305036724984 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24309/tid=24327] ppid=24306 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/24309/task/24327/stat : 24327 (java) S 24306 24309 23481 0 -1 4202560 51 0 0 0 15 22 0 0 20 0 22 0 31031766 10060525568 942297 33554432000 1073741824 1073778376 140737280803456 140305035672648 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24309/tid=24328] ppid=24306 vsize=9824732 CPUtime=884.96 cores=1,3,5,7
/proc/24309/task/24328/stat : 24328 (java) R 24306 24309 23481 0 -1 4202560 78 0 0 0 88481 15 0 0 20 0 22 0 31031811 10060525568 942297 33554432000 1073741824 1073778376 140737280803456 140305034616320 140305794646554 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24309/tid=24329] ppid=24306 vsize=9824732 CPUtime=884.89 cores=1,3,5,7
/proc/24309/task/24329/stat : 24329 (java) R 24306 24309 23481 0 -1 4202560 1814 0 0 0 88440 49 0 0 20 0 22 0 31031811 10060525568 942297 33554432000 1073741824 1073778376 140737280803456 140305033564952 140305794580868 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24309/tid=24330] ppid=24306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24309/task/24330/stat : 24330 (java) S 24306 24309 23481 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 31031812 10060525568 942297 33554432000 1073741824 1073778376 140737280803456 140305032512296 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24309/tid=24331] ppid=24306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24309/task/24331/stat : 24331 (java) S 24306 24309 23481 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 31031813 10060525568 942297 33554432000 1073741824 1073778376 140737280803456 140305031459752 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
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 24309 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+895.301 s]
/proc/loadavg: 4.21 4.17 4.17 5/220 24424
/proc/meminfo: memFree=22988472/32872528 swapFree=1094508/1184444
[pid=24309] ppid=24306 vsize=9824732 CPUtime=1800.12 cores=1,3,5,7
/proc/24309/stat : 24309 (java) S 24306 24309 23481 0 -1 4202496 37711 0 1 0 179816 196 0 0 20 0 22 0 31031760 10060525568 942297 33554432000 1073741824 1073778376 140737280803456 140737280794592 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24309/statm: 2456183 942297 2301 9 0 2446860 0
[pid=24309/tid=24311] ppid=24306 vsize=9824732 CPUtime=0.53 cores=1,3,5,7
/proc/24309/task/24311/stat : 24311 (java) S 24306 24309 23481 0 -1 4202560 2482 0 1 0 49 4 0 0 20 0 22 0 31031761 10060525568 942297 33554432000 1073741824 1073778376 140737280803456 140305957294968 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24309/tid=24312] ppid=24306 vsize=9824732 CPUtime=2.67 cores=1,3,5,7
/proc/24309/task/24312/stat : 24312 (java) S 24306 24309 23481 0 -1 4202560 607 0 0 0 251 16 0 0 20 0 22 0 31031762 10060525568 942297 33554432000 1073741824 1073778376 140737280803456 140305918785960 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24309/tid=24313] ppid=24306 vsize=9824732 CPUtime=2.61 cores=1,3,5,7
/proc/24309/task/24313/stat : 24313 (java) S 24306 24309 23481 0 -1 4202560 566 0 0 0 245 16 0 0 20 0 22 0 31031762 10060525568 942297 33554432000 1073741824 1073778376 140737280803456 140305917733416 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24309/tid=24314] ppid=24306 vsize=9824732 CPUtime=2.91 cores=1,3,5,7
/proc/24309/task/24314/stat : 24314 (java) S 24306 24309 23481 0 -1 4202560 546 0 0 0 275 16 0 0 20 0 22 0 31031762 10060525568 942297 33554432000 1073741824 1073778376 140737280803456 140305916680360 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24309/tid=24315] ppid=24306 vsize=9824732 CPUtime=3 cores=1,3,5,7
/proc/24309/task/24315/stat : 24315 (java) S 24306 24309 23481 0 -1 4202560 599 0 0 0 283 17 0 0 20 0 22 0 31031762 10060525568 942297 33554432000 1073741824 1073778376 140737280803456 140305915627816 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24309/tid=24316] ppid=24306 vsize=9824732 CPUtime=2.66 cores=1,3,5,7
/proc/24309/task/24316/stat : 24316 (java) S 24306 24309 23481 0 -1 4202560 514 0 0 0 252 14 0 0 20 0 22 0 31031762 10060525568 942297 33554432000 1073741824 1073778376 140737280803456 140305914575784 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24309/tid=24317] ppid=24306 vsize=9824732 CPUtime=2.81 cores=1,3,5,7
/proc/24309/task/24317/stat : 24317 (java) S 24306 24309 23481 0 -1 4202560 559 0 0 0 265 16 0 0 20 0 22 0 31031762 10060525568 942297 33554432000 1073741824 1073778376 140737280803456 140305913523240 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24309/tid=24318] ppid=24306 vsize=9824732 CPUtime=3.1 cores=1,3,5,7
/proc/24309/task/24318/stat : 24318 (java) S 24306 24309 23481 0 -1 4202560 652 0 0 0 291 19 0 0 20 0 22 0 31031762 10060525568 942297 33554432000 1073741824 1073778376 140737280803456 140305912470184 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24309/tid=24319] ppid=24306 vsize=9824732 CPUtime=2.88 cores=1,3,5,7
/proc/24309/task/24319/stat : 24319 (java) S 24306 24309 23481 0 -1 4202560 598 0 0 0 273 15 0 0 20 0 22 0 31031762 10060525568 942297 33554432000 1073741824 1073778376 140737280803456 140305793805096 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24309/tid=24320] ppid=24306 vsize=9824732 CPUtime=3.65 cores=1,3,5,7
/proc/24309/task/24320/stat : 24320 (java) S 24306 24309 23481 0 -1 4202560 2236 0 0 0 355 10 0 0 20 0 22 0 31031763 10060525568 942297 33554432000 1073741824 1073778376 140737280803456 140305781393768 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24309/tid=24321] ppid=24306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24309/task/24321/stat : 24321 (java) S 24306 24309 23481 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 31031763 10060525568 942297 33554432000 1073741824 1073778376 140737280803456 140305780340088 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24309/tid=24322] ppid=24306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24309/task/24322/stat : 24322 (java) S 24306 24309 23481 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 31031763 10060525568 942297 33554432000 1073741824 1073778376 140737280803456 140305779286920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24309/tid=24323] ppid=24306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24309/task/24323/stat : 24323 (java) S 24306 24309 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 31031766 10060525568 942297 33554432000 1073741824 1073778376 140737280803456 140305778235664 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24309/tid=24324] ppid=24306 vsize=9824732 CPUtime=2.16 cores=1,3,5,7
/proc/24309/task/24324/stat : 24324 (java) S 24306 24309 23481 0 -1 4202560 14814 0 0 0 213 3 0 0 20 0 22 0 31031766 10060525568 942297 33554432000 1073741824 1073778376 140737280803456 140305038830392 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24309/tid=24325] ppid=24306 vsize=9824732 CPUtime=1.32 cores=1,3,5,7
/proc/24309/task/24325/stat : 24325 (java) S 24306 24309 23481 0 -1 4202560 10329 0 0 0 129 3 0 0 20 0 22 0 31031766 10060525568 942297 33554432000 1073741824 1073778376 140737280803456 140305037777848 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24309/tid=24326] ppid=24306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24309/task/24326/stat : 24326 (java) S 24306 24309 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 31031766 10060525568 942297 33554432000 1073741824 1073778376 140737280803456 140305036724984 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24309/tid=24327] ppid=24306 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/24309/task/24327/stat : 24327 (java) S 24306 24309 23481 0 -1 4202560 51 0 0 0 15 22 0 0 20 0 22 0 31031766 10060525568 942297 33554432000 1073741824 1073778376 140737280803456 140305035672648 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24309/tid=24328] ppid=24306 vsize=9824732 CPUtime=884.96 cores=1,3,5,7
/proc/24309/task/24328/stat : 24328 (java) R 24306 24309 23481 0 -1 4202560 78 0 0 0 88481 15 0 0 20 0 22 0 31031811 10060525568 942297 33554432000 1073741824 1073778376 140737280803456 140305034616320 140305794646554 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24309/tid=24329] ppid=24306 vsize=9824732 CPUtime=884.89 cores=1,3,5,7
/proc/24309/task/24329/stat : 24329 (java) R 24306 24309 23481 0 -1 4202560 1814 0 0 0 88440 49 0 0 20 0 22 0 31031811 10060525568 942297 33554432000 1073741824 1073778376 140737280803456 140305033564952 140305794580868 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24309/tid=24330] ppid=24306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24309/task/24330/stat : 24330 (java) S 24306 24309 23481 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 31031812 10060525568 942297 33554432000 1073741824 1073778376 140737280803456 140305032512296 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24309/tid=24331] ppid=24306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24309/task/24331/stat : 24331 (java) S 24306 24309 23481 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 31031813 10060525568 942297 33554432000 1073741824 1073778376 140737280803456 140305031459752 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 9824732

Child status: 143
Real time (s): 895.371
CPU time (s): 1800.95
CPU user time (s): 1798.43
CPU system time (s): 2.52262
CPU usage (%): 201.14
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.43
system time used= 2.52262
maximum resident set size= 3769304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37744
page faults= 1
swaps= 0
block input operations= 0
block output operations= 944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24224
involuntary context switches= 28550

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.96309 second user time and 8.37973 second system time

The end

Launcher Data 

Begin job on node115 at 2016-06-27 00:25:20
IDJOB=4116510
IDBENCH=109479
IDSOLVER=2543
FILE ID=node115/4116510-1466979920
RUNJOBID= node115-1466975440-23498
PBS_JOBID= 19976385
Free space on /tmp= 71664 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round23-5.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4116510-1466979920/watcher-4116510-1466979920 -o /tmp/evaluation-result-4116510-1466979920/solver-4116510-1466979920 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1466975440-23498 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4116510-1466979920.opb

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

MD5SUM BENCH= 0d8707a053909ae250d7beee514953f6
RANDOM SEED=990576130

node115.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.395
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	: 5332.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.395
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.395
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.57
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.395
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.395
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.395
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.395
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.56
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.395
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:        27578924 kB
Buffers:           80084 kB
Cached:           224340 kB
SwapCached:         1676 kB
Active:          3101908 kB
Inactive:         258784 kB
Active(anon):    3058220 kB
Inactive(anon):      684 kB
Active(file):      43688 kB
Inactive(file):   258100 kB
Unevictable:     1184444 kB
Mlocked:         1094508 kB
SwapTotal:      67108856 kB
SwapFree:       67099168 kB
Dirty:              1256 kB
Writeback:             0 kB
AnonPages:       4234224 kB
Mapped:            15612 kB
Shmem:                 0 kB
Slab:             595772 kB
SReclaimable:      39716 kB
SUnreclaim:       556056 kB
KernelStack:        1808 kB
PageTables:        12768 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4496692 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3092480 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= 71660 MiB
End job on node115 at 2016-06-27 00:40:15