Trace number 4088897

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 PB16UNSAT 82.1015 38.9545

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/
SUMINEQ/normalized-sumineqArity3houseP128.opb
MD5SUMdc75d0b5d88cddbaa7c6715163f93f5d
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark4.40033
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables49533
Total number of constraints16512
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)129
Number of constraints which are nor clauses,nor cardinality constraints16383
Minimum length of a constraint3
Maximum length of a constraint9
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 12
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Glucose 2.1 dynamic restart strategy
0.10/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.10/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-4088897-1466012581.opb
0.10/0.11	c reading problem ... 
0.10/0.11	c  no objective function found
1.93/0.85	c ... done. Wall clock time 0.739s.
1.93/0.85	c declared #vars     49533
1.93/0.85	c #constraints  16512
1.93/0.85	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
1.93/0.85	c constraints type 
1.93/0.85	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 16512
1.93/0.85	c 16512 constraints processed.
1.93/0.85	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
1.93/0.85	c constraints type 
1.93/0.85	c org.sat4j.pb.constraints.pb.MaxWatchPb => 16512
1.93/0.85	c 16512 constraints processed.
4.22/1.48	c cleaning 2486 clauses out of 5000 with flag 15661/5000
5.02/1.61	c cleaning 4147 clauses out of 8514 with flag 36365/11000
5.80/1.83	c cleaning 5574 clauses out of 11367 with flag 60890/18000
6.20/1.98	c cleaning 6882 clauses out of 13793 with flag 90783/26000
6.99/2.18	c cleaning 7944 clauses out of 15911 with flag 122437/35000
7.92/2.40	c cleaning 8853 clauses out of 17967 with flag 160234/45000
8.38/2.68	c cleaning 9973 clauses out of 20114 with flag 203822/56000
9.04/2.91	c cleaning 11063 clauses out of 22142 with flag 243412/68001
9.50/3.19	c cleaning 11985 clauses out of 24078 with flag 290196/81000
10.11/3.44	c cleaning 13047 clauses out of 26093 with flag 343548/95000
10.71/3.72	c cleaning 13916 clauses out of 28047 with flag 401472/110001
10.97/3.88	c cleaning 0 clauses out of 5000 with flag 0/5000
11.56/4.09	c cleaning 15019 clauses out of 30131 with flag 463585/126001
12.51/4.42	c cleaning 16031 clauses out of 32112 with flag 524978/143001
13.25/4.79	c cleaning 16976 clauses out of 34080 with flag 589277/161000
14.11/5.15	c cleaning 17914 clauses out of 36104 with flag 655103/180000
14.93/5.56	c cleaning 19013 clauses out of 38190 with flag 728337/200000
15.71/5.96	c cleaning 20026 clauses out of 40178 with flag 803022/221001
16.71/6.40	c cleaning 20844 clauses out of 42152 with flag 888864/243001
17.53/6.85	c cleaning 22066 clauses out of 44307 with flag 972021/266000
18.60/7.33	c cleaning 23107 clauses out of 46242 with flag 1066079/290001
19.62/7.89	c cleaning 21788 clauses out of 48135 with flag 1158837/315001
20.81/8.44	c cleaning 23718 clauses out of 52347 with flag 1260098/341001
21.41/8.76	c cleaning 0 clauses out of 11001 with flag 0/11001
22.50/9.25	c cleaning 23922 clauses out of 55629 with flag 1361841/368001
24.30/10.19	c cleaning 25966 clauses out of 59706 with flag 1466998/396000
25.51/10.79	c cleaning 26208 clauses out of 62740 with flag 1579237/425000
26.71/11.39	c cleaning 27182 clauses out of 66533 with flag 1694748/455001
28.33/12.16	c cleaning 27894 clauses out of 70350 with flag 1814813/486000
30.20/13.04	c cleaning 28813 clauses out of 74457 with flag 1938560/518001
32.40/14.14	c cleaning 29759 clauses out of 78644 with flag 2063198/551001
35.22/15.57	c cleaning 29844 clauses out of 82885 with flag 2191011/585001
40.93/18.33	c cleaning 0 clauses out of 18000 with flag 0/18000
40.93/18.33	c cleaning 31408 clauses out of 88042 with flag 2326309/620002
43.13/19.47	c cleaning 32050 clauses out of 92634 with flag 2467046/656002
45.79/20.75	c cleaning 31560 clauses out of 97583 with flag 2608640/693001
50.00/22.81	c cleaning 33399 clauses out of 104023 with flag 2754669/731001
53.68/24.60	c cleaning 34431 clauses out of 109624 with flag 2901744/770001
58.58/27.03	c cleaning 35515 clauses out of 115193 with flag 3059277/810001
62.18/28.83	c cleaning 36732 clauses out of 120678 with flag 3205245/851001
64.20/29.82	c cleaning 0 clauses out of 26000 with flag 0/26000
67.68/31.53	c cleaning 36161 clauses out of 125946 with flag 3373257/893001
71.29/33.33	c cleaning 38209 clauses out of 132784 with flag 3531769/936000
74.88/35.16	c cleaning 40062 clauses out of 138575 with flag 3705373/980000
81.83/38.58	c And the winner is solver0
81.93/38.90	c >>>>>>>>>> Solver number 0 (1 answers) <<<<<<<<<<<<<<<<<<
81.93/38.90	c starts		: 628
81.93/38.90	c conflicts		: 1021248
81.93/38.90	c decisions		: 17720646
81.93/38.90	c propagations		: 31153224
81.93/38.90	c inspects		: 117320272
81.93/38.90	c shortcuts		: 0
81.93/38.90	c learnt literals	: 8
81.93/38.90	c learnt binary clauses	: 16983
81.93/38.90	c learnt ternary clauses	: 53747
81.93/38.90	c learnt constraints	: 1021239
81.93/38.90	c ignored constraints	: 0
81.93/38.90	c root simplifications	: 0
81.93/38.90	c removed literals (reason simplification)	: 248393
81.93/38.90	c reason swapping (by a shorter reason)	: 0
81.93/38.90	c Calls to reduceDB	: 40
81.93/38.90	c Number of update (reduction) of LBD	: 282304
81.93/38.90	c Imported unit clauses	: 0
81.93/38.90	c number of reductions to clauses (during analyze)	: 0
81.93/38.90	c number of learned constraints concerned by reduction	: 0
81.93/38.90	c number of learning phase by resolution	: 0
81.93/38.90	c number of learning phase by cutting planes	: 0
81.93/38.90	c speed (assignments/second)	: 820059.0697307116
81.93/38.90	c non guided choices	14169500
81.93/38.93	c learnt constraints type 
81.93/38.93	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 16983
81.93/38.93	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 122769
81.93/38.93	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
81.93/38.93	c starts		: 55
81.93/38.93	c conflicts		: 30381
81.93/38.93	c decisions		: 84670
81.93/38.93	c propagations		: 637086
81.93/38.93	c inspects		: 61038782
81.93/38.93	c shortcuts		: 0
81.93/38.93	c learnt literals	: 0
81.93/38.93	c learnt binary clauses	: 0
81.93/38.93	c learnt ternary clauses	: 58
81.93/38.93	c learnt constraints	: 30380
81.93/38.93	c ignored constraints	: 0
81.93/38.93	c root simplifications	: 0
81.93/38.93	c removed literals (reason simplification)	: 0
81.93/38.93	c reason swapping (by a shorter reason)	: 0
81.93/38.93	c Calls to reduceDB	: 4
81.93/38.93	c Number of update (reduction) of LBD	: 0
81.93/38.93	c Imported unit clauses	: 0
81.93/38.93	c number of reductions to clauses (during analyze)	: 0
81.93/38.93	c number of learned constraints concerned by reduction	: 0
81.93/38.93	c number of learning phase by resolution	: 0
81.93/38.93	c number of learning phase by cutting planes	: 0
81.93/38.93	c speed (assignments/second)	: 16757.48329738545
81.93/38.93	c non guided choices	2870
81.93/38.94	c learnt constraints type 
81.93/38.94	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 1
81.93/38.94	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 58
81.93/38.94	c org.sat4j.pb.constraints.pb.MaxWatchPb => 30321
81.93/38.94	s UNSATISFIABLE
81.93/38.94	c Total wall clock time (in seconds): 38.826

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-4088897-1466012581/watcher-4088897-1466012581 -o /tmp/evaluation-result-4088897-1466012581/solver-4088897-1466012581 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1466008022-5561 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4088897-1466012581.opb 

pid=7854
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.35 4.35 4.21 4/197 7857
/proc/meminfo: memFree=27825616/32872528 swapFree=1073728/1155488
[pid=7857] ppid=7854 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/7857/stat : 7857 (java) S 7854 7857 5545 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 3307296 98570240 978 33554432000 1073741824 1073778376 140737479926944 140737479918080 219517321277 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7857/statm: 24065 978 744 9 0 16771 0
[pid=7857/tid=7858] ppid=7854 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/7857/task/7858/stat : 7858 (java) R 7854 7857 5545 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 3307297 98570240 978 33554432000 1073741824 1073778376 140737479926944 139817068432936 219513963904 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0

[startup+0.100095 s]
/proc/loadavg: 4.35 4.35 4.21 4/197 7857
/proc/meminfo: memFree=27825616/32872528 swapFree=1073728/1155488
[pid=7857] ppid=7854 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/7857/stat : 7857 (java) S 7854 7857 5545 0 -1 4202496 4413 0 1 0 9 1 0 0 20 0 18 0 3307296 9787879424 6050 33554432000 1073741824 1073778376 140737479926944 140737479918080 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7857/statm: 2389619 6050 2141 9 0 2380296 0
[pid=7857/tid=7858] ppid=7854 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/7857/task/7858/stat : 7858 (java) R 7854 7857 5545 0 -1 4202560 2386 0 1 0 6 2 0 0 20 0 18 0 3307297 9787879424 6050 33554432000 1073741824 1073778376 140737479926944 139817068436384 219517347085 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200265 s]
/proc/loadavg: 4.35 4.35 4.21 4/197 7857
/proc/meminfo: memFree=27825616/32872528 swapFree=1073728/1155488
[pid=7857] ppid=7854 vsize=9558476 CPUtime=0.26 cores=0,2,4,6
/proc/7857/stat : 7857 (java) S 7854 7857 5545 0 -1 4202496 4754 0 1 0 25 1 0 0 20 0 18 0 3307296 9787879424 7345 33554432000 1073741824 1073778376 140737479926944 140737479918080 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7857/statm: 2389619 7345 2217 9 0 2380296 0
[pid=7857/tid=7858] ppid=7854 vsize=9558476 CPUtime=0.18 cores=0,2,4,6
/proc/7857/task/7858/stat : 7858 (java) R 7854 7857 5545 0 -1 4202560 2408 0 1 0 16 2 0 0 20 0 18 0 3307297 9787879424 7345 33554432000 1073741824 1073778376 140737479926944 139817068437528 139816905848296 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476

[startup+0.300258 s]
/proc/loadavg: 4.35 4.35 4.21 4/197 7857
/proc/meminfo: memFree=27825616/32872528 swapFree=1073728/1155488
[pid=7857] ppid=7854 vsize=9558476 CPUtime=0.52 cores=0,2,4,6
/proc/7857/stat : 7857 (java) S 7854 7857 5545 0 -1 4202496 5656 0 1 0 50 2 0 0 20 0 18 0 3307296 9787879424 9550 33554432000 1073741824 1073778376 140737479926944 140737479918080 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7857/statm: 2389619 9550 2233 9 0 2380296 0
[pid=7857/tid=7858] ppid=7854 vsize=9558476 CPUtime=0.28 cores=0,2,4,6
/proc/7857/task/7858/stat : 7858 (java) R 7854 7857 5545 0 -1 4202560 2411 0 1 0 26 2 0 0 20 0 18 0 3307297 9787879424 9550 33554432000 1073741824 1073778376 140737479926944 139817068437528 139816905851280 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9558476

[startup+0.700219 s]
/proc/loadavg: 4.35 4.35 4.21 4/197 7857
/proc/meminfo: memFree=27825616/32872528 swapFree=1073728/1155488
[pid=7857] ppid=7854 vsize=9558476 CPUtime=1.58 cores=0,2,4,6
/proc/7857/stat : 7857 (java) S 7854 7857 5545 0 -1 4202496 26485 0 1 0 150 8 0 0 20 0 18 0 3307296 9787879424 53466 33554432000 1073741824 1073778376 140737479926944 140737479918080 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7857/statm: 2389619 53466 2246 9 0 2380296 0
[pid=7857/tid=7858] ppid=7854 vsize=9558476 CPUtime=0.67 cores=0,2,4,6
/proc/7857/task/7858/stat : 7858 (java) R 7854 7857 5545 0 -1 4202560 2468 0 1 0 64 3 0 0 20 0 18 0 3307297 9787879424 53466 33554432000 1073741824 1073778376 140737479926944 139817068437528 139816906256037 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 9558476

[startup+1.50084 s]
/proc/loadavg: 4.35 4.35 4.21 7/219 7879
/proc/meminfo: memFree=27593692/32872528 swapFree=1073728/1155488
[pid=7857] ppid=7854 vsize=9824732 CPUtime=4.62 cores=0,2,4,6
/proc/7857/stat : 7857 (java) S 7854 7857 5545 0 -1 4202496 31085 0 1 0 450 12 0 0 20 0 22 0 3307296 10060525568 60262 33554432000 1073741824 1073778376 140737479926944 140737479918080 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7857/statm: 2456183 60262 2287 9 0 2446860 0
[pid=7857/tid=7858] ppid=7854 vsize=9824732 CPUtime=0.78 cores=0,2,4,6
/proc/7857/task/7858/stat : 7858 (java) S 7854 7857 5545 0 -1 4202560 2486 0 1 0 74 4 0 0 20 0 22 0 3307297 10060525568 60262 33554432000 1073741824 1073778376 140737479926944 139817068438392 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7857/tid=7860] ppid=7854 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7857/task/7860/stat : 7860 (java) S 7854 7857 5545 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 3307297 10060525568 60262 33554432000 1073741824 1073778376 140737479926944 139817029929896 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7857/tid=7861] ppid=7854 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/7857/task/7861/stat : 7861 (java) S 7854 7857 5545 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 3307297 10060525568 60262 33554432000 1073741824 1073778376 140737479926944 139817028877352 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7857/tid=7862] ppid=7854 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7857/task/7862/stat : 7862 (java) S 7854 7857 5545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3307297 10060525568 60262 33554432000 1073741824 1073778376 140737479926944 139817027824296 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7857/tid=7863] ppid=7854 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/7857/task/7863/stat : 7863 (java) S 7854 7857 5545 0 -1 4202560 25 0 0 0 4 0 0 0 20 0 22 0 3307297 10060525568 60262 33554432000 1073741824 1073778376 140737479926944 139817026771752 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7857/tid=7864] ppid=7854 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7857/task/7864/stat : 7864 (java) S 7854 7857 5545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3307297 10060525568 60262 33554432000 1073741824 1073778376 140737479926944 139817025718696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7857/tid=7865] ppid=7854 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7857/task/7865/stat : 7865 (java) S 7854 7857 5545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3307297 10060525568 60262 33554432000 1073741824 1073778376 140737479926944 139817024666152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7857/tid=7866] ppid=7854 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7857/task/7866/stat : 7866 (java) S 7854 7857 5545 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 3307297 10060525568 60262 33554432000 1073741824 1073778376 140737479926944 139816905730216 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7857/tid=7867] ppid=7854 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7857/task/7867/stat : 7867 (java) S 7854 7857 5545 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 3307297 10060525568 60262 33554432000 1073741824 1073778376 140737479926944 139816904677672 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7857/tid=7868] ppid=7854 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7857/task/7868/stat : 7868 (java) S 7854 7857 5545 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 22 0 3307299 10060525568 60262 33554432000 1073741824 1073778376 140737479926944 139816892480360 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7857/tid=7869] ppid=7854 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7857/task/7869/stat : 7869 (java) S 7854 7857 5545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3307299 10060525568 60262 33554432000 1073741824 1073778376 140737479926944 139816891426680 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7857/tid=7870] ppid=7854 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7857/task/7870/stat : 7870 (java) S 7854 7857 5545 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 3307299 10060525568 60262 33554432000 1073741824 1073778376 140737479926944 139816890373512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7857/tid=7871] ppid=7854 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7857/task/7871/stat : 7871 (java) S 7854 7857 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3307301 10060525568 60262 33554432000 1073741824 1073778376 140737479926944 139816150756112 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7857/tid=7872] ppid=7854 vsize=9824732 CPUtime=1.21 cores=0,2,4,6
/proc/7857/task/7872/stat : 7872 (java) R 7854 7857 5545 0 -1 4202560 16028 0 0 0 118 3 0 0 20 0 22 0 3307301 10060525568 60262 33554432000 1073741824 1073778376 140737479926944 139816149690144 139817074900112 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=7857/tid=7873] ppid=7854 vsize=9824732 CPUtime=1.13 cores=0,2,4,6
/proc/7857/task/7873/stat : 7873 (java) R 7854 7857 5545 0 -1 4202560 11102 0 0 0 110 3 0 0 20 0 22 0 3307301 10060525568 60262 33554432000 1073741824 1073778376 140737479926944 139816148637824 139817071040151 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=7857/tid=7874] ppid=7854 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7857/task/7874/stat : 7874 (java) S 7854 7857 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3307301 10060525568 60262 33554432000 1073741824 1073778376 140737479926944 139816147597560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7857/tid=7875] ppid=7854 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7857/task/7875/stat : 7875 (java) S 7854 7857 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3307301 10060525568 60262 33554432000 1073741824 1073778376 140737479926944 139816146545224 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7857/tid=7876] ppid=7854 vsize=9824732 CPUtime=0.63 cores=0,2,4,6
/proc/7857/task/7876/stat : 7876 (java) R 7854 7857 5545 0 -1 4202560 25 0 0 0 63 0 0 0 20 0 22 0 3307382 10060525568 60262 33554432000 1073741824 1073778376 140737479926944 139816145482128 139816906984962 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=7857/tid=7877] ppid=7854 vsize=9824732 CPUtime=0.62 cores=0,2,4,6
/proc/7857/task/7877/stat : 7877 (java) R 7854 7857 5545 0 -1 4202560 24 0 0 0 62 0 0 0 20 0 22 0 3307382 10060525568 60262 33554432000 1073741824 1073778376 140737479926944 139816144438264 139817071723415 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7857/tid=7878] ppid=7854 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7857/task/7878/stat : 7878 (java) S 7854 7857 5545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3307388 10060525568 60262 33554432000 1073741824 1073778376 140737479926944 139816143385896 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7857/tid=7879] ppid=7854 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7857/task/7879/stat : 7879 (java) S 7854 7857 5545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3307388 10060525568 60262 33554432000 1073741824 1073778376 140737479926944 139816142333352 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.62
Current children cumulated vsize (KiB) 9824732

[startup+3.10099 s]
/proc/loadavg: 4.35 4.35 4.21 7/219 7879
/proc/meminfo: memFree=27428264/32872528 swapFree=1073728/1155488
[pid=7857] ppid=7854 vsize=9824732 CPUtime=9.5 cores=0,2,4,6
/proc/7857/stat : 7857 (java) S 7854 7857 5545 0 -1 4202496 38401 0 1 0 920 30 0 0 20 0 22 0 3307296 10060525568 173488 33554432000 1073741824 1073778376 140737479926944 140737479918080 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7857/statm: 2456183 173488 2288 9 0 2446860 0
[pid=7857/tid=7858] ppid=7854 vsize=9824732 CPUtime=0.78 cores=0,2,4,6
/proc/7857/task/7858/stat : 7858 (java) S 7854 7857 5545 0 -1 4202560 2486 0 1 0 74 4 0 0 20 0 22 0 3307297 10060525568 173488 33554432000 1073741824 1073778376 140737479926944 139817068438392 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7857/tid=7860] ppid=7854 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/7857/task/7860/stat : 7860 (java) S 7854 7857 5545 0 -1 4202560 138 0 0 0 7 1 0 0 20 0 22 0 3307297 10060525568 173488 33554432000 1073741824 1073778376 140737479926944 139817029929896 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7857/tid=7861] ppid=7854 vsize=9824732 CPUtime=0.09 cores=0,2,4,6
/proc/7857/task/7861/stat : 7861 (java) S 7854 7857 5545 0 -1 4202560 81 0 0 0 7 2 0 0 20 0 22 0 3307297 10060525568 173488 33554432000 1073741824 1073778376 140737479926944 139817028877352 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7857/tid=7862] ppid=7854 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/7857/task/7862/stat : 7862 (java) S 7854 7857 5545 0 -1 4202560 171 0 0 0 7 0 0 0 20 0 22 0 3307297 10060525568 173488 33554432000 1073741824 1073778376 140737479926944 139817027824296 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7857/tid=7863] ppid=7854 vsize=9824732 CPUtime=0.11 cores=0,2,4,6
/proc/7857/task/7863/stat : 7863 (java) S 7854 7857 5545 0 -1 4202560 57 0 0 0 9 2 0 0 20 0 22 0 3307297 10060525568 173488 33554432000 1073741824 1073778376 140737479926944 139817026771752 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7857/tid=7864] ppid=7854 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/7857/task/7864/stat : 7864 (java) S 7854 7857 5545 0 -1 4202560 33 0 0 0 5 1 0 0 20 0 22 0 3307297 10060525568 173488 33554432000 1073741824 1073778376 140737479926944 139817025718696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7857/tid=7865] ppid=7854 vsize=9824732 CPUtime=0.1 cores=0,2,4,6
/proc/7857/task/7865/stat : 7865 (java) S 7854 7857 5545 0 -1 4202560 55 0 0 0 8 2 0 0 20 0 22 0 3307297 10060525568 173488 33554432000 1073741824 1073778376 140737479926944 139817024666152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7857/tid=7866] ppid=7854 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/7857/task/7866/stat : 7866 (java) S 7854 7857 5545 0 -1 4202560 43 0 0 0 5 2 0 0 20 0 22 0 3307297 10060525568 173488 33554432000 1073741824 1073778376 140737479926944 139816905730216 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7857/tid=7867] ppid=7854 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/7857/task/7867/stat : 7867 (java) S 7854 7857 5545 0 -1 4202560 140 0 0 0 5 2 0 0 20 0 22 0 3307297 10060525568 173488 33554432000 1073741824 1073778376 140737479926944 139816904677672 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7857/tid=7868] ppid=7854 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7857/task/7868/stat : 7868 (java) S 7854 7857 5545 0 -1 4202560 464 0 0 0 0 0 0 0 20 0 22 0 3307299 10060525568 173488 33554432000 1073741824 1073778376 140737479926944 139816892480360 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7857/tid=7869] ppid=7854 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7857/task/7869/stat : 7869 (java) S 7854 7857 5545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3307299 10060525568 173488 33554432000 1073741824 1073778376 140737479926944 139816891426680 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7857/tid=7870] ppid=7854 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7857/task/7870/stat : 7870 (java) S 7854 7857 5545 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 3307299 10060525568 173488 33554432000 1073741824 1073778376 140737479926944 139816890373512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7857/tid=7871] ppid=7854 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7857/task/7871/stat : 7871 (java) S 7854 7857 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3307301 10060525568 173488 33554432000 1073741824 1073778376 140737479926944 139816150756112 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7857/tid=7872] ppid=7854 vsize=9824732 CPUtime=2.03 cores=0,2,4,6
/proc/7857/task/7872/stat : 7872 (java) S 7854 7857 5545 0 -1 4202560 21908 0 0 0 199 4 0 0 20 0 22 0 3307301 10060525568 173488 33554432000 1073741824 1073778376 140737479926944 139816149702968 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7857/tid=7873] ppid=7854 vsize=9824732 CPUtime=1.79 cores=0,2,4,6
/proc/7857/task/7873/stat : 7873 (java) S 7854 7857 5545 0 -1 4202560 11171 0 0 0 176 3 0 0 20 0 22 0 3307301 10060525568 173488 33554432000 1073741824 1073778376 140737479926944 139816148650424 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7857/tid=7874] ppid=7854 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7857/task/7874/stat : 7874 (java) S 7854 7857 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3307301 10060525568 173488 33554432000 1073741824 1073778376 140737479926944 139816147597560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7857/tid=7875] ppid=7854 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7857/task/7875/stat : 7875 (java) S 7854 7857 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3307301 10060525568 173488 33554432000 1073741824 1073778376 140737479926944 139816146545224 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7857/tid=7876] ppid=7854 vsize=9824732 CPUtime=2.01 cores=0,2,4,6
/proc/7857/task/7876/stat : 7876 (java) R 7854 7857 5545 0 -1 4202560 27 0 0 0 201 0 0 0 20 0 22 0 3307382 10060525568 173488 33554432000 1073741824 1073778376 140737479926944 139816145489208 139816906954637 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7857/tid=7877] ppid=7854 vsize=9824732 CPUtime=2.02 cores=0,2,4,6
/proc/7857/task/7877/stat : 7877 (java) R 7854 7857 5545 0 -1 4202560 361 0 0 0 197 5 0 0 20 0 22 0 3307382 10060525568 173488 33554432000 1073741824 1073778376 140737479926944 139816144436640 139816906898863 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=7857/tid=7878] ppid=7854 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7857/task/7878/stat : 7878 (java) S 7854 7857 5545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3307388 10060525568 173488 33554432000 1073741824 1073778376 140737479926944 139816143385896 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7857/tid=7879] ppid=7854 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7857/task/7879/stat : 7879 (java) S 7854 7857 5545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3307388 10060525568 173488 33554432000 1073741824 1073778376 140737479926944 139816142333352 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 9.5
Current children cumulated vsize (KiB) 9824732

[startup+6.30103 s]
/proc/loadavg: 4.32 4.34 4.21 5/219 7879
/proc/meminfo: memFree=26587492/32872528 swapFree=1073728/1155488
[pid=7857] ppid=7854 vsize=9824732 CPUtime=16.51 cores=0,2,4,6
/proc/7857/stat : 7857 (java) S 7854 7857 5545 0 -1 4202496 44652 0 1 0 1604 47 0 0 20 0 22 0 3307296 10060525568 406764 33554432000 1073741824 1073778376 140737479926944 140737479918080 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7857/statm: 2456183 406764 2290 9 0 2446860 0
[pid=7857/tid=7858] ppid=7854 vsize=9824732 CPUtime=0.79 cores=0,2,4,6
/proc/7857/task/7858/stat : 7858 (java) S 7854 7857 5545 0 -1 4202560 2486 0 1 0 75 4 0 0 20 0 22 0 3307297 10060525568 406764 33554432000 1073741824 1073778376 140737479926944 139817068438392 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7857/tid=7860] ppid=7854 vsize=9824732 CPUtime=0.11 cores=0,2,4,6
/proc/7857/task/7860/stat : 7860 (java) S 7854 7857 5545 0 -1 4202560 151 0 0 0 9 2 0 0 20 0 22 0 3307297 10060525568 406764 33554432000 1073741824 1073778376 140737479926944 139817029929896 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7857/tid=7861] ppid=7854 vsize=9824732 CPUtime=0.12 cores=0,2,4,6
/proc/7857/task/7861/stat : 7861 (java) S 7854 7857 5545 0 -1 4202560 85 0 0 0 10 2 0 0 20 0 22 0 3307297 10060525568 406764 33554432000 1073741824 1073778376 140737479926944 139817028877352 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7857/tid=7862] ppid=7854 vsize=9824732 CPUtime=0.1 cores=0,2,4,6
/proc/7857/task/7862/stat : 7862 (java) S 7854 7857 5545 0 -1 4202560 205 0 0 0 8 2 0 0 20 0 22 0 3307297 10060525568 406764 33554432000 1073741824 1073778376 140737479926944 139817027824296 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7857/tid=7863] ppid=7854 vsize=9824732 CPUtime=0.15 cores=0,2,4,6
/proc/7857/task/7863/stat : 7863 (java) S 7854 7857 5545 0 -1 4202560 98 0 0 0 12 3 0 0 20 0 22 0 3307297 10060525568 406764 33554432000 1073741824 1073778376 140737479926944 139817026771752 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7857/tid=7864] ppid=7854 vsize=9824732 CPUtime=0.09 cores=0,2,4,6
/proc/7857/task/7864/stat : 7864 (java) S 7854 7857 5545 0 -1 4202560 43 0 0 0 7 2 0 0 20 0 22 0 3307297 10060525568 406764 33554432000 1073741824 1073778376 140737479926944 139817025718696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7857/tid=7865] ppid=7854 vsize=9824732 CPUtime=0.14 cores=0,2,4,6
/proc/7857/task/7865/stat : 7865 (java) S 7854 7857 5545 0 -1 4202560 80 0 0 0 11 3 0 0 20 0 22 0 3307297 10060525568 406764 33554432000 1073741824 1073778376 140737479926944 139817024666152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7857/tid=7866] ppid=7854 vsize=9824732 CPUtime=0.11 cores=0,2,4,6
/proc/7857/task/7866/stat : 7866 (java) S 7854 7857 5545 0 -1 4202560 64 0 0 0 8 3 0 0 20 0 22 0 3307297 10060525568 406764 33554432000 1073741824 1073778376 140737479926944 139816905730216 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7857/tid=7867] ppid=7854 vsize=9824732 CPUtime=0.12 cores=0,2,4,6

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

/proc/7857/task/7872/stat : 7872 (java) S 7854 7857 5545 0 -1 4202560 26595 0 0 0 246 5 0 0 20 0 22 0 3307301 10060525568 745018 33554432000 1073741824 1073778376 140737479926944 139816149702968 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7857/tid=7873] ppid=7854 vsize=9824732 CPUtime=1.94 cores=0,2,4,6
/proc/7857/task/7873/stat : 7873 (java) S 7854 7857 5545 0 -1 4202560 11172 0 0 0 191 3 0 0 20 0 22 0 3307301 10060525568 745018 33554432000 1073741824 1073778376 140737479926944 139816148650424 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7857/tid=7874] ppid=7854 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7857/task/7874/stat : 7874 (java) S 7854 7857 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3307301 10060525568 745018 33554432000 1073741824 1073778376 140737479926944 139816147597560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7857/tid=7875] ppid=7854 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7857/task/7875/stat : 7875 (java) S 7854 7857 5545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 3307301 10060525568 745018 33554432000 1073741824 1073778376 140737479926944 139816146545224 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7857/tid=7876] ppid=7854 vsize=9824732 CPUtime=35.84 cores=0,2,4,6
/proc/7857/task/7876/stat : 7876 (java) R 7854 7857 5545 0 -1 4202560 41 0 0 0 3584 0 0 0 20 0 22 0 3307382 10060525568 745018 33554432000 1073741824 1073778376 140737479926944 139816145489088 139816906843255 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7857/tid=7877] ppid=7854 vsize=9824732 CPUtime=35.87 cores=0,2,4,6
/proc/7857/task/7877/stat : 7877 (java) R 7854 7857 5545 0 -1 4202560 1814 0 0 0 3553 34 0 0 20 0 22 0 3307382 10060525568 745018 33554432000 1073741824 1073778376 140737479926944 139816144437168 139816906867914 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=7857/tid=7878] ppid=7854 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7857/task/7878/stat : 7878 (java) S 7854 7857 5545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3307388 10060525568 745018 33554432000 1073741824 1073778376 140737479926944 139816143385896 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7857/tid=7879] ppid=7854 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7857/task/7879/stat : 7879 (java) S 7854 7857 5545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3307388 10060525568 745018 33554432000 1073741824 1073778376 140737479926944 139816142333352 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (KiB) 9824732

[startup+38.4009 s]
/proc/loadavg: 4.26 4.32 4.21 6/219 7879
/proc/meminfo: memFree=24803800/32872528 swapFree=1073728/1155488
[pid=7857] ppid=7854 vsize=9824732 CPUtime=81.61 cores=0,2,4,6
/proc/7857/stat : 7857 (java) S 7854 7857 5545 0 -1 4202496 46426 0 1 0 8073 88 0 0 20 0 22 0 3307296 10060525568 745018 33554432000 1073741824 1073778376 140737479926944 140737479918080 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7857/statm: 2456183 745018 2290 9 0 2446860 0
[pid=7857/tid=7858] ppid=7854 vsize=9824732 CPUtime=0.79 cores=0,2,4,6
/proc/7857/task/7858/stat : 7858 (java) S 7854 7857 5545 0 -1 4202560 2489 0 1 0 75 4 0 0 20 0 22 0 3307297 10060525568 745018 33554432000 1073741824 1073778376 140737479926944 139817068438392 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7857/tid=7860] ppid=7854 vsize=9824732 CPUtime=0.29 cores=0,2,4,6
/proc/7857/task/7860/stat : 7860 (java) S 7854 7857 5545 0 -1 4202560 256 0 0 0 25 4 0 0 20 0 22 0 3307297 10060525568 745018 33554432000 1073741824 1073778376 140737479926944 139817029929896 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7857/tid=7861] ppid=7854 vsize=9824732 CPUtime=0.34 cores=0,2,4,6
/proc/7857/task/7861/stat : 7861 (java) S 7854 7857 5545 0 -1 4202560 213 0 0 0 29 5 0 0 20 0 22 0 3307297 10060525568 745018 33554432000 1073741824 1073778376 140737479926944 139817028877352 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7857/tid=7862] ppid=7854 vsize=9824732 CPUtime=0.39 cores=0,2,4,6
/proc/7857/task/7862/stat : 7862 (java) S 7854 7857 5545 0 -1 4202560 289 0 0 0 34 5 0 0 20 0 22 0 3307297 10060525568 745018 33554432000 1073741824 1073778376 140737479926944 139817027824296 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7857/tid=7863] ppid=7854 vsize=9824732 CPUtime=0.42 cores=0,2,4,6
/proc/7857/task/7863/stat : 7863 (java) S 7854 7857 5545 0 -1 4202560 242 0 0 0 37 5 0 0 20 0 22 0 3307297 10060525568 745018 33554432000 1073741824 1073778376 140737479926944 139817026771752 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7857/tid=7864] ppid=7854 vsize=9824732 CPUtime=0.28 cores=0,2,4,6
/proc/7857/task/7864/stat : 7864 (java) S 7854 7857 5545 0 -1 4202560 147 0 0 0 23 5 0 0 20 0 22 0 3307297 10060525568 745018 33554432000 1073741824 1073778376 140737479926944 139817025718696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7857/tid=7865] ppid=7854 vsize=9824732 CPUtime=0.31 cores=0,2,4,6
/proc/7857/task/7865/stat : 7865 (java) S 7854 7857 5545 0 -1 4202560 224 0 0 0 26 5 0 0 20 0 22 0 3307297 10060525568 745018 33554432000 1073741824 1073778376 140737479926944 139817024666152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7857/tid=7866] ppid=7854 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/7857/task/7866/stat : 7866 (java) S 7854 7857 5545 0 -1 4202560 156 0 0 0 28 4 0 0 20 0 22 0 3307297 10060525568 745018 33554432000 1073741824 1073778376 140737479926944 139816905730216 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7857/tid=7867] ppid=7854 vsize=9824732 CPUtime=0.31 cores=0,2,4,6
/proc/7857/task/7867/stat : 7867 (java) S 7854 7857 5545 0 -1 4202560 254 0 0 0 25 6 0 0 20 0 22 0 3307297 10060525568 745018 33554432000 1073741824 1073778376 140737479926944 139816904677672 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7857/tid=7868] ppid=7854 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/7857/task/7868/stat : 7868 (java) S 7854 7857 5545 0 -1 4202560 1266 0 0 0 0 3 0 0 20 0 22 0 3307299 10060525568 745018 33554432000 1073741824 1073778376 140737479926944 139816892480360 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7857/tid=7869] ppid=7854 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7857/task/7869/stat : 7869 (java) S 7854 7857 5545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3307299 10060525568 745018 33554432000 1073741824 1073778376 140737479926944 139816891426680 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7857/tid=7870] ppid=7854 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7857/task/7870/stat : 7870 (java) S 7854 7857 5545 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 3307299 10060525568 745018 33554432000 1073741824 1073778376 140737479926944 139816890373512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7857/tid=7871] ppid=7854 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7857/task/7871/stat : 7871 (java) S 7854 7857 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3307301 10060525568 745018 33554432000 1073741824 1073778376 140737479926944 139816150756112 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7857/tid=7872] ppid=7854 vsize=9824732 CPUtime=2.51 cores=0,2,4,6
/proc/7857/task/7872/stat : 7872 (java) S 7854 7857 5545 0 -1 4202560 26595 0 0 0 246 5 0 0 20 0 22 0 3307301 10060525568 745018 33554432000 1073741824 1073778376 140737479926944 139816149702968 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7857/tid=7873] ppid=7854 vsize=9824732 CPUtime=1.94 cores=0,2,4,6
/proc/7857/task/7873/stat : 7873 (java) S 7854 7857 5545 0 -1 4202560 11172 0 0 0 191 3 0 0 20 0 22 0 3307301 10060525568 745018 33554432000 1073741824 1073778376 140737479926944 139816148650424 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7857/tid=7874] ppid=7854 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7857/task/7874/stat : 7874 (java) S 7854 7857 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3307301 10060525568 745018 33554432000 1073741824 1073778376 140737479926944 139816147597560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7857/tid=7875] ppid=7854 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7857/task/7875/stat : 7875 (java) S 7854 7857 5545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 3307301 10060525568 745018 33554432000 1073741824 1073778376 140737479926944 139816146545224 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7857/tid=7876] ppid=7854 vsize=9824732 CPUtime=36.64 cores=0,2,4,6
/proc/7857/task/7876/stat : 7876 (java) R 7854 7857 5545 0 -1 4202560 41 0 0 0 3664 0 0 0 20 0 22 0 3307382 10060525568 745018 33554432000 1073741824 1073778376 140737479926944 139816145489088 139816906843509 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7857/tid=7877] ppid=7854 vsize=9824732 CPUtime=36.66 cores=0,2,4,6
/proc/7857/task/7877/stat : 7877 (java) R 7854 7857 5545 0 -1 4202560 1814 0 0 0 3632 34 0 0 20 0 22 0 3307382 10060525568 745018 33554432000 1073741824 1073778376 140737479926944 139816144437168 139816906869424 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=7857/tid=7878] ppid=7854 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7857/task/7878/stat : 7878 (java) S 7854 7857 5545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3307388 10060525568 745018 33554432000 1073741824 1073778376 140737479926944 139816143385896 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7857/tid=7879] ppid=7854 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7857/task/7879/stat : 7879 (java) S 7854 7857 5545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3307388 10060525568 745018 33554432000 1073741824 1073778376 140737479926944 139816142333352 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 81.61
Current children cumulated vsize (KiB) 9824732

[startup+38.8013 s]
/proc/loadavg: 4.26 4.32 4.21 6/219 7879
/proc/meminfo: memFree=24803676/32872528 swapFree=1073728/1155488
[pid=7857] ppid=7854 vsize=9824732 CPUtime=81.88 cores=0,2,4,6
/proc/7857/stat : 7857 (java) S 7854 7857 5545 0 -1 4202496 46429 0 1 0 8100 88 0 0 20 0 19 0 3307296 10060525568 745003 33554432000 1073741824 1073778376 140737479926944 140737479918080 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7857/statm: 2456183 745003 2291 9 0 2446860 0
[pid=7857/tid=7858] ppid=7854 vsize=9824732 CPUtime=0.79 cores=0,2,4,6
/proc/7857/task/7858/stat : 7858 (java) S 7854 7857 5545 0 -1 4202560 2489 0 1 0 75 4 0 0 20 0 19 0 3307297 10060525568 745003 33554432000 1073741824 1073778376 140737479926944 139817068438392 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7857/tid=7860] ppid=7854 vsize=9824732 CPUtime=0.29 cores=0,2,4,6
/proc/7857/task/7860/stat : 7860 (java) S 7854 7857 5545 0 -1 4202560 256 0 0 0 25 4 0 0 20 0 19 0 3307297 10060525568 745003 33554432000 1073741824 1073778376 140737479926944 139817029929896 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7857/tid=7861] ppid=7854 vsize=9824732 CPUtime=0.34 cores=0,2,4,6
/proc/7857/task/7861/stat : 7861 (java) S 7854 7857 5545 0 -1 4202560 213 0 0 0 29 5 0 0 20 0 19 0 3307297 10060525568 745003 33554432000 1073741824 1073778376 140737479926944 139817028877352 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7857/tid=7862] ppid=7854 vsize=9824732 CPUtime=0.39 cores=0,2,4,6
/proc/7857/task/7862/stat : 7862 (java) S 7854 7857 5545 0 -1 4202560 289 0 0 0 34 5 0 0 20 0 19 0 3307297 10060525568 745003 33554432000 1073741824 1073778376 140737479926944 139817027824296 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7857/tid=7863] ppid=7854 vsize=9824732 CPUtime=0.42 cores=0,2,4,6
/proc/7857/task/7863/stat : 7863 (java) S 7854 7857 5545 0 -1 4202560 242 0 0 0 37 5 0 0 20 0 19 0 3307297 10060525568 745003 33554432000 1073741824 1073778376 140737479926944 139817026771752 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7857/tid=7864] ppid=7854 vsize=9824732 CPUtime=0.28 cores=0,2,4,6
/proc/7857/task/7864/stat : 7864 (java) S 7854 7857 5545 0 -1 4202560 147 0 0 0 23 5 0 0 20 0 19 0 3307297 10060525568 745003 33554432000 1073741824 1073778376 140737479926944 139817025718696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7857/tid=7865] ppid=7854 vsize=9824732 CPUtime=0.31 cores=0,2,4,6
/proc/7857/task/7865/stat : 7865 (java) S 7854 7857 5545 0 -1 4202560 224 0 0 0 26 5 0 0 20 0 19 0 3307297 10060525568 745003 33554432000 1073741824 1073778376 140737479926944 139817024666152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7857/tid=7866] ppid=7854 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/7857/task/7866/stat : 7866 (java) S 7854 7857 5545 0 -1 4202560 156 0 0 0 28 4 0 0 20 0 19 0 3307297 10060525568 745003 33554432000 1073741824 1073778376 140737479926944 139816905730216 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7857/tid=7867] ppid=7854 vsize=9824732 CPUtime=0.31 cores=0,2,4,6
/proc/7857/task/7867/stat : 7867 (java) S 7854 7857 5545 0 -1 4202560 254 0 0 0 25 6 0 0 20 0 19 0 3307297 10060525568 745003 33554432000 1073741824 1073778376 140737479926944 139816904677672 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7857/tid=7868] ppid=7854 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/7857/task/7868/stat : 7868 (java) S 7854 7857 5545 0 -1 4202560 1266 0 0 0 0 3 0 0 20 0 19 0 3307299 10060525568 745003 33554432000 1073741824 1073778376 140737479926944 139816892480360 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7857/tid=7869] ppid=7854 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7857/task/7869/stat : 7869 (java) S 7854 7857 5545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3307299 10060525568 745003 33554432000 1073741824 1073778376 140737479926944 139816891426680 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7857/tid=7870] ppid=7854 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7857/task/7870/stat : 7870 (java) S 7854 7857 5545 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3307299 10060525568 745003 33554432000 1073741824 1073778376 140737479926944 139816890373512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7857/tid=7871] ppid=7854 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7857/task/7871/stat : 7871 (java) S 7854 7857 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3307301 10060525568 745003 33554432000 1073741824 1073778376 140737479926944 139816150756112 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7857/tid=7872] ppid=7854 vsize=9824732 CPUtime=2.51 cores=0,2,4,6
/proc/7857/task/7872/stat : 7872 (java) S 7854 7857 5545 0 -1 4202560 26595 0 0 0 246 5 0 0 20 0 19 0 3307301 10060525568 745003 33554432000 1073741824 1073778376 140737479926944 139816149702968 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7857/tid=7873] ppid=7854 vsize=9824732 CPUtime=1.95 cores=0,2,4,6
/proc/7857/task/7873/stat : 7873 (java) S 7854 7857 5545 0 -1 4202560 11173 0 0 0 192 3 0 0 20 0 19 0 3307301 10060525568 745003 33554432000 1073741824 1073778376 140737479926944 139816148650424 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7857/tid=7874] ppid=7854 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7857/task/7874/stat : 7874 (java) S 7854 7857 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3307301 10060525568 745003 33554432000 1073741824 1073778376 140737479926944 139816147597560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7857/tid=7875] ppid=7854 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7857/task/7875/stat : 7875 (java) S 7854 7857 5545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3307301 10060525568 745003 33554432000 1073741824 1073778376 140737479926944 139816146545224 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7857/tid=7878] ppid=7854 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7857/task/7878/stat : 7878 (java) S 7854 7857 5545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3307388 10060525568 745003 33554432000 1073741824 1073778376 140737479926944 139816143385896 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 81.88
Current children cumulated vsize (KiB) 9824732

[startup+38.9008 s]
/proc/loadavg: 4.26 4.32 4.21 6/219 7879
/proc/meminfo: memFree=24803676/32872528 swapFree=1073728/1155488
[pid=7857] ppid=7854 vsize=9824732 CPUtime=81.88 cores=0,2,4,6
/proc/7857/stat : 7857 (java) S 7854 7857 5545 0 -1 4202496 46429 0 1 0 8100 88 0 0 20 0 19 0 3307296 10060525568 745003 33554432000 1073741824 1073778376 140737479926944 140737479918080 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7857/statm: 2456183 745003 2291 9 0 2446860 0
[pid=7857/tid=7858] ppid=7854 vsize=9824732 CPUtime=0.79 cores=0,2,4,6
/proc/7857/task/7858/stat : 7858 (java) S 7854 7857 5545 0 -1 4202560 2489 0 1 0 75 4 0 0 20 0 19 0 3307297 10060525568 745003 33554432000 1073741824 1073778376 140737479926944 139817068438392 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7857/tid=7860] ppid=7854 vsize=9824732 CPUtime=0.29 cores=0,2,4,6
/proc/7857/task/7860/stat : 7860 (java) S 7854 7857 5545 0 -1 4202560 256 0 0 0 25 4 0 0 20 0 19 0 3307297 10060525568 745003 33554432000 1073741824 1073778376 140737479926944 139817029929896 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7857/tid=7861] ppid=7854 vsize=9824732 CPUtime=0.34 cores=0,2,4,6
/proc/7857/task/7861/stat : 7861 (java) S 7854 7857 5545 0 -1 4202560 213 0 0 0 29 5 0 0 20 0 19 0 3307297 10060525568 745003 33554432000 1073741824 1073778376 140737479926944 139817028877352 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7857/tid=7862] ppid=7854 vsize=9824732 CPUtime=0.39 cores=0,2,4,6
/proc/7857/task/7862/stat : 7862 (java) S 7854 7857 5545 0 -1 4202560 289 0 0 0 34 5 0 0 20 0 19 0 3307297 10060525568 745003 33554432000 1073741824 1073778376 140737479926944 139817027824296 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7857/tid=7863] ppid=7854 vsize=9824732 CPUtime=0.42 cores=0,2,4,6
/proc/7857/task/7863/stat : 7863 (java) S 7854 7857 5545 0 -1 4202560 242 0 0 0 37 5 0 0 20 0 19 0 3307297 10060525568 745003 33554432000 1073741824 1073778376 140737479926944 139817026771752 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7857/tid=7864] ppid=7854 vsize=9824732 CPUtime=0.28 cores=0,2,4,6
/proc/7857/task/7864/stat : 7864 (java) S 7854 7857 5545 0 -1 4202560 147 0 0 0 23 5 0 0 20 0 19 0 3307297 10060525568 745003 33554432000 1073741824 1073778376 140737479926944 139817025718696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7857/tid=7865] ppid=7854 vsize=9824732 CPUtime=0.31 cores=0,2,4,6
/proc/7857/task/7865/stat : 7865 (java) S 7854 7857 5545 0 -1 4202560 224 0 0 0 26 5 0 0 20 0 19 0 3307297 10060525568 745003 33554432000 1073741824 1073778376 140737479926944 139817024666152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7857/tid=7866] ppid=7854 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/7857/task/7866/stat : 7866 (java) S 7854 7857 5545 0 -1 4202560 156 0 0 0 28 4 0 0 20 0 19 0 3307297 10060525568 745003 33554432000 1073741824 1073778376 140737479926944 139816905730216 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7857/tid=7867] ppid=7854 vsize=9824732 CPUtime=0.31 cores=0,2,4,6
/proc/7857/task/7867/stat : 7867 (java) S 7854 7857 5545 0 -1 4202560 254 0 0 0 25 6 0 0 20 0 19 0 3307297 10060525568 745003 33554432000 1073741824 1073778376 140737479926944 139816904677672 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7857/tid=7868] ppid=7854 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/7857/task/7868/stat : 7868 (java) S 7854 7857 5545 0 -1 4202560 1266 0 0 0 0 3 0 0 20 0 19 0 3307299 10060525568 745003 33554432000 1073741824 1073778376 140737479926944 139816892480360 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7857/tid=7869] ppid=7854 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7857/task/7869/stat : 7869 (java) S 7854 7857 5545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3307299 10060525568 745003 33554432000 1073741824 1073778376 140737479926944 139816891426680 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7857/tid=7870] ppid=7854 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7857/task/7870/stat : 7870 (java) S 7854 7857 5545 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3307299 10060525568 745003 33554432000 1073741824 1073778376 140737479926944 139816890373512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7857/tid=7871] ppid=7854 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7857/task/7871/stat : 7871 (java) S 7854 7857 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3307301 10060525568 745003 33554432000 1073741824 1073778376 140737479926944 139816150756112 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7857/tid=7872] ppid=7854 vsize=9824732 CPUtime=2.51 cores=0,2,4,6
/proc/7857/task/7872/stat : 7872 (java) S 7854 7857 5545 0 -1 4202560 26595 0 0 0 246 5 0 0 20 0 19 0 3307301 10060525568 745003 33554432000 1073741824 1073778376 140737479926944 139816149702968 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7857/tid=7873] ppid=7854 vsize=9824732 CPUtime=1.95 cores=0,2,4,6
/proc/7857/task/7873/stat : 7873 (java) S 7854 7857 5545 0 -1 4202560 11173 0 0 0 192 3 0 0 20 0 19 0 3307301 10060525568 745003 33554432000 1073741824 1073778376 140737479926944 139816148650424 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7857/tid=7874] ppid=7854 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7857/task/7874/stat : 7874 (java) S 7854 7857 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3307301 10060525568 745003 33554432000 1073741824 1073778376 140737479926944 139816147597560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7857/tid=7875] ppid=7854 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7857/task/7875/stat : 7875 (java) S 7854 7857 5545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3307301 10060525568 745003 33554432000 1073741824 1073778376 140737479926944 139816146545224 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7857/tid=7878] ppid=7854 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7857/task/7878/stat : 7878 (java) S 7854 7857 5545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3307388 10060525568 745003 33554432000 1073741824 1073778376 140737479926944 139816143385896 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 81.88
Current children cumulated vsize (KiB) 9824732

Child status: 20

# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 0.0500031
#  lost CPU user time (s): 0.0500031
#  lost CPU system time (s): 0

Real time (s): 38.9545
CPU time (s): 82.1015
CPU user time (s): 81.0497
CPU system time (s): 1.05184
CPU usage (%): 210.763
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 80.9997
system time used= 1.05184
maximum resident set size= 2980076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46442
page faults= 1
swaps= 0
block input operations= 0
block output operations= 104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1803
involuntary context switches= 3139

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.224965 second user time and 0.347947 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-15 19:43:01
IDJOB=4088897
IDBENCH=107329
IDSOLVER=2543
FILE ID=node114/4088897-1466012581
RUNJOBID= node114-1466008022-5561
PBS_JOBID= 19902804
Free space on /tmp= 71732 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/SUMINEQ/normalized-sumineqArity3houseP128.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4088897-1466012581/watcher-4088897-1466012581 -o /tmp/evaluation-result-4088897-1466012581/solver-4088897-1466012581 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1466008022-5561 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4088897-1466012581.opb

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

MD5SUM BENCH= dc75d0b5d88cddbaa7c6715163f93f5d
RANDOM SEED=1539671851

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

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.761
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.761
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.761
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.761
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.761
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:        27826252 kB
Buffers:            8988 kB
Cached:            43040 kB
SwapCached:        33296 kB
Active:          3123900 kB
Inactive:          60300 kB
Active(anon):    3101628 kB
Inactive(anon):    33292 kB
Active(file):      22272 kB
Inactive(file):    27008 kB
Unevictable:     1155488 kB
Mlocked:         1073728 kB
SwapTotal:      67108856 kB
SwapFree:       67068540 kB
Dirty:              2436 kB
Writeback:             4 kB
AnonPages:       4259520 kB
Mapped:            15440 kB
Shmem:                 0 kB
Slab:             565156 kB
SReclaimable:       8860 kB
SUnreclaim:       556296 kB
KernelStack:        1640 kB
PageTables:        12852 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4418040 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3096576 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= 71732 MiB
End job on node114 at 2016-06-15 19:43:40