Trace number 4117502

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Res+CP PB16SAT (TO)70 1800.58 896.47

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/
dt-problems/normalized-lo_12x12_003.opb.metafix.opb
MD5SUMfc85ebb3b36c463ab9827197226616c3
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark70
Best CPU time to get the best result obtained on this benchmark3.16352
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables144
Total number of constraints70
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint12
Number of terms in the objective function 144
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 144
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 144
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.03/0.28	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.03/0.28	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.28	c See www.sat4j.org for details.
0.03/0.28	c version PB16.v20160501
0.03/0.28	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.28	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.28	c java.vm.version	19.1-b02
0.03/0.28	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.28	c sun.arch.data.model	64
0.03/0.28	c java.version		1.6.0_24
0.03/0.28	c os.name		Linux
0.03/0.28	c os.version		2.6.32-71.29.1.el6.x86_64
0.03/0.28	c os.arch		amd64
0.03/0.28	c Free memory 		501472288
0.03/0.28	c Max memory 		7480803328
0.03/0.28	c Total memory 		504102912
0.03/0.28	c Number of processors 	8
0.09/0.35	c Pseudo Boolean Optimization by upper bound
0.09/0.35	c ManyCore solver with 2 solvers running in parallel
0.09/0.35	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.35	c --- Begin Solver configuration ---
0.09/0.35	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.09/0.35	c Learn all clauses as in MiniSAT
0.09/0.35	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.35	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.35	c Expensive reason simplification
0.09/0.35	c Glucose 2.1 dynamic restart strategy
0.09/0.35	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.35	c timeout=2147483s
0.09/0.35	c DB Simplification allowed=false
0.09/0.35	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.35	c --- End Solver configuration ---
0.09/0.35	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.35	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.35	c --- Begin Solver configuration ---
0.09/0.35	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.09/0.35	c Learn all clauses as in MiniSAT
0.09/0.35	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.35	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.35	c No reason simplification
0.09/0.35	c Armin Biere (Picosat) restarts strategy
0.09/0.35	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.35	c timeout=2147483s
0.09/0.35	c DB Simplification allowed=false
0.09/0.35	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.35	c --- End Solver configuration ---
0.09/0.35	c solving HOME/instance-4117502-1467212962.opb
0.09/0.35	c reading problem ... 
0.09/0.36	c  objective function found
0.18/0.40	c ... done. Wall clock time 0.05s.
0.18/0.40	c declared #vars     144
0.18/0.40	c #constraints  140
0.18/0.43	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.18/0.43	c constraints type 
0.18/0.43	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5
0.18/0.43	c org.sat4j.minisat.constraints.cnf.UnitClauses => 7
0.18/0.43	c org.sat4j.specs.Constr$1 => 11
0.18/0.43	c org.sat4j.minisat.constraints.card.MinWatchCard => 111
0.18/0.43	c org.sat4j.minisat.constraints.cnf.UnitClause => 4
0.18/0.43	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2
0.18/0.43	c 140 constraints processed.
0.18/0.43	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.18/0.43	c constraints type 
0.18/0.43	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.18/0.43	c org.sat4j.specs.Constr$1 => 11
0.18/0.43	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5
0.18/0.43	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 111
0.18/0.43	c org.sat4j.pb.constraints.pb.UnitClausesPB => 7
0.18/0.43	c org.sat4j.pb.constraints.pb.UnitClausePB => 4
0.18/0.43	c 140 constraints processed.
0.18/0.43	c objective function length is 144 literals
0.18/0.44	c And the winner is solver0
0.21/0.93	c SATISFIABLE
0.21/0.93	c OPTIMIZING...
0.21/0.93	c Got one! Elapsed wall clock time (in seconds):0.581
0.21/0.94	o 70
2.39/1.53	c cleaning 2507 clauses out of 5015 with flag 20532/5015
3.96/1.99	c cleaning 4250 clauses out of 8506 with flag 44668/11013
5.13/2.48	c cleaning 5624 clauses out of 11256 with flag 77791/18013
6.37/3.08	c cleaning 6815 clauses out of 13632 with flag 110984/26013
8.12/3.86	c cleaning 7904 clauses out of 15817 with flag 146678/35013
9.93/4.76	c cleaning 8954 clauses out of 17915 with flag 187820/45015
12.17/5.89	c cleaning 9978 clauses out of 19959 with flag 242155/56013
15.22/7.33	c cleaning 10984 clauses out of 21982 with flag 303568/68014
18.45/8.94	c cleaning 11992 clauses out of 23999 with flag 371220/81015
21.68/10.57	c cleaning 12993 clauses out of 26007 with flag 437269/95015
25.55/12.46	c cleaning 13993 clauses out of 28013 with flag 504889/110014
29.95/14.66	c cleaning 15001 clauses out of 30021 with flag 579972/126015
36.02/17.61	c cleaning 16005 clauses out of 32019 with flag 665015/143014
41.80/20.55	c cleaning 17002 clauses out of 34013 with flag 753100/161013
48.44/23.87	c cleaning 17998 clauses out of 36013 with flag 853427/180015
55.88/27.57	c cleaning 18998 clauses out of 38014 with flag 954280/200014
65.29/32.25	c cleaning 19999 clauses out of 40015 with flag 1062981/221013
75.17/37.12	c cleaning 21000 clauses out of 42017 with flag 1179905/243014
85.15/42.13	c cleaning 22002 clauses out of 44019 with flag 1307616/266016
97.20/48.13	c cleaning 23003 clauses out of 46016 with flag 1455383/290015
109.64/54.38	c cleaning 24001 clauses out of 48011 with flag 1616883/315013
123.29/61.12	c cleaning 24999 clauses out of 50010 with flag 1788271/341013
135.75/67.36	c cleaning 26007 clauses out of 52014 with flag 1946983/368016
149.35/74.19	c cleaning 26998 clauses out of 54004 with flag 2140008/396013
164.40/81.62	c cleaning 27990 clauses out of 56006 with flag 2326107/425013
182.43/90.68	c cleaning 29000 clauses out of 58016 with flag 2504470/455013
185.08/91.91	c cleaning 0 clauses out of 5001 with flag 0/5002
202.84/100.67	c cleaning 30001 clauses out of 60017 with flag 2704752/486014
225.03/111.63	c cleaning 31001 clauses out of 62015 with flag 2905410/518013
248.68/123.46	c cleaning 31996 clauses out of 64014 with flag 3111739/551013
275.01/136.56	c cleaning 33000 clauses out of 66020 with flag 3343787/585015
300.88/149.48	c cleaning 34005 clauses out of 68020 with flag 3569498/620015
332.40/165.18	c cleaning 35001 clauses out of 70015 with flag 3817587/656015
364.40/181.09	c cleaning 36002 clauses out of 72012 with flag 4080089/693013
395.77/196.63	c cleaning 37003 clauses out of 74011 with flag 4307007/731014
429.79/213.55	c cleaning 37994 clauses out of 76008 with flag 4568067/770014
466.20/231.64	c cleaning 38999 clauses out of 78013 with flag 4830408/810013
503.99/250.46	c cleaning 40002 clauses out of 80014 with flag 5128786/851013
543.98/270.33	c cleaning 41001 clauses out of 82012 with flag 5412891/893013
583.99/290.21	c cleaning 42003 clauses out of 84012 with flag 5710091/936014
621.93/309.10	c cleaning 43001 clauses out of 86008 with flag 6046927/980013
672.38/334.28	c cleaning 43997 clauses out of 88009 with flag 6386377/1025015
726.86/361.32	c cleaning 44995 clauses out of 90010 with flag 6711335/1071013
780.88/388.48	c cleaning 45998 clauses out of 92016 with flag 7052883/1118014
837.28/416.52	c cleaning 47004 clauses out of 94019 with flag 7423308/1166015
897.94/446.74	c cleaning 47997 clauses out of 96016 with flag 7779839/1215016
959.85/477.57	c cleaning 49005 clauses out of 98016 with flag 8146173/1265013
1026.34/510.63	c cleaning 49998 clauses out of 100013 with flag 8516235/1316015
1090.93/542.88	c cleaning 51004 clauses out of 102014 with flag 8878479/1368014
1163.96/579.46	c cleaning 52001 clauses out of 104009 with flag 9239703/1421013
1234.28/614.44	c cleaning 52995 clauses out of 106009 with flag 9616698/1475014
1245.12/619.84	c cleaning 0 clauses out of 11003 with flag 0/11004
1303.47/648.97	c cleaning 54006 clauses out of 108016 with flag 10024360/1530016
1363.80/679.00	c cleaning 55000 clauses out of 110008 with flag 10452912/1586014
1443.15/718.53	c cleaning 56000 clauses out of 112007 with flag 10932401/1643013
1528.46/761.04	c cleaning 56994 clauses out of 114009 with flag 11351524/1701015
1624.49/808.83	c cleaning 58006 clauses out of 116016 with flag 11805083/1760016
1726.88/860.05	c cleaning 58998 clauses out of 118008 with flag 12275588/1820014
1800.02/896.40	c >>>>>>>>>> Solver number 0 (1 answers) <<<<<<<<<<<<<<<<<<
1800.02/896.40	c starts		: 3279
1800.02/896.40	c conflicts		: 1870448
1800.02/896.40	c decisions		: 2134118
1800.02/896.40	c propagations		: 53716455
1800.02/896.40	c inspects		: 13281353280
1800.02/896.40	c shortcuts		: 0
1800.02/896.40	c learnt literals	: 0
1800.02/896.40	c learnt binary clauses	: 0
1800.02/896.40	c learnt ternary clauses	: 12
1800.02/896.40	c learnt constraints	: 1870448
1800.02/896.40	c ignored constraints	: 0
1800.02/896.40	c root simplifications	: 0
1800.02/896.40	c removed literals (reason simplification)	: 23499302
1800.02/896.40	c reason swapping (by a shorter reason)	: 0
1800.02/896.40	c Calls to reduceDB	: 56
1800.02/896.40	c Number of update (reduction) of LBD	: 511358
1800.02/896.40	c Imported unit clauses	: 0
1800.02/896.40	c number of reductions to clauses (during analyze)	: 0
1800.02/896.40	c number of learned constraints concerned by reduction	: 0
1800.02/896.40	c number of learning phase by resolution	: 0
1800.02/896.40	c number of learning phase by cutting planes	: 0
1800.02/896.40	c speed (assignments/second)	: 59953.60878246632
1800.02/896.40	c non guided choices	0
1800.02/896.43	c learnt constraints type 
1800.02/896.43	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 109444
1800.02/896.43	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.02/896.43	c starts		: 37
1800.02/896.43	c conflicts		: 12670
1800.02/896.43	c decisions		: 18346
1800.02/896.43	c propagations		: 289429
1800.02/896.43	c inspects		: 562902025
1800.02/896.43	c shortcuts		: 0
1800.02/896.43	c learnt literals	: 0
1800.02/896.43	c learnt binary clauses	: 0
1800.02/896.43	c learnt ternary clauses	: 0
1800.02/896.43	c learnt constraints	: 12668
1800.02/896.43	c ignored constraints	: 0
1800.02/896.43	c root simplifications	: 0
1800.02/896.43	c removed literals (reason simplification)	: 0
1800.02/896.43	c reason swapping (by a shorter reason)	: 0
1800.02/896.43	c Calls to reduceDB	: 2
1800.02/896.43	c Number of update (reduction) of LBD	: 0
1800.02/896.43	c Imported unit clauses	: 0
1800.02/896.43	c number of reductions to clauses (during analyze)	: 0
1800.02/896.43	c number of learned constraints concerned by reduction	: 0
1800.02/896.43	c number of learning phase by resolution	: 0
1800.02/896.43	c number of learning phase by cutting planes	: 0
1800.02/896.43	c speed (assignments/second)	: 323.20524044775186
1800.02/896.43	c non guided choices	0
1800.02/896.44	c learnt constraints type 
1800.02/896.44	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 4
1800.02/896.44	c org.sat4j.pb.constraints.pb.MaxWatchPb => 12664
1800.02/896.44	s SATISFIABLE
1800.02/896.44	c Found 1 solution(s)
1800.02/896.44	v -x1 x2 x3 x4 -x5 -x6 x7 x8 -x9 -x10 x11 -x12 x13 x14 x15 -x16 -x17 -x18 x19 -x20 x21 x22 -x23 -x24 x25 x26 -x27 x28 -x29 -x30 x31 -x32 x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 x43 x44 x45 x46 -x47 -x48 -x49 x50 x51 -x52 x53 -x54 -x55 x56 x57 x58 -x59 x60 x61 x62 -x63 -x64 x65 -x66 x67 x68 -x69 x70 -x71 -x72 -x73 x74 x75 -x76 -x77 x78 x79 x80 -x81 -x82 -x83 -x84 x85 -x86 -x87 x88 -x89 -x90 x91 -x92 x93 -x94 x95 -x96 x97 -x98 -x99 -x100 -x101 x102 x103 -x104 -x105 x106 x107 -x108 -x109 -x110 -x111 -x112 x113 -x114 x115 x116 -x117 x118 -x119 -x120 x121 x122 -x123 -x124 -x125 x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 x136 x137 x138 -x139 -x140 -x141 -x142 x143 -x144 
1800.02/896.45	c objective function=70
1800.02/896.45	c Total wall clock time (in seconds): 896.092

Verifier Data 

OK	70

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

pid=6673
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: 1.39 1.29 1.49 2/176 6676
/proc/meminfo: memFree=28569788/32872528 swapFree=1499084/1695308
[pid=6676] ppid=6673 vsize=24328 CPUtime=0 cores=1,3,5,7
/proc/6676/stat : 6676 (runsolver) D 6673 6676 5962 0 -1 4202560 115 0 0 0 0 0 0 0 20 0 1 0 2247461 24911872 152 33554432000 4194304 4338465 140735356644688 140735356642328 225444711607 0 0 4096 24578 18446744071579943789 0 0 17 3 0 0 0 0 0
/proc/6676/statm: 6082 152 105 36 0 2655 0

[startup+0.100159 s]
/proc/loadavg: 1.39 1.29 1.49 2/176 6676
/proc/meminfo: memFree=28569788/32872528 swapFree=1499084/1695308
[pid=6676] ppid=6673 vsize=101528 CPUtime=0 cores=1,3,5,7
/proc/6676/stat : 6676 (java) S 6673 6676 5962 0 -1 4202496 1440 0 13 0 0 0 0 0 20 0 2 0 2247461 103964672 1057 33554432000 1073741824 1073778376 140734974013648 140734974004784 225448067133 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 3 0 0
/proc/6676/statm: 25382 1057 809 9 0 16774 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 101528

[startup+0.200347 s]
/proc/loadavg: 1.39 1.29 1.49 2/176 6676
/proc/meminfo: memFree=28569788/32872528 swapFree=1499084/1695308
[pid=6676] ppid=6673 vsize=9225560 CPUtime=0.03 cores=1,3,5,7
/proc/6676/stat : 6676 (java) S 6673 6676 5962 0 -1 4202496 3114 0 16 0 2 1 0 0 20 0 13 0 2247461 9446973440 3750 33554432000 1073741824 1073778376 140734974013648 140734974004784 225448067133 0 0 0 16800971 18446744073709551615 0 0 17 7 0 0 3 0 0
/proc/6676/statm: 2306390 3750 1703 9 0 2297091 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9225560

[startup+0.300331 s]
/proc/loadavg: 1.39 1.29 1.49 2/176 6676
/proc/meminfo: memFree=28569788/32872528 swapFree=1499084/1695308
[pid=6676] ppid=6673 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/6676/stat : 6676 (java) S 6673 6676 5962 0 -1 4202496 4370 0 18 0 8 1 0 0 20 0 18 0 2247461 9787879424 6023 33554432000 1073741824 1073778376 140734974013648 140734974004784 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 3 0 0
/proc/6676/statm: 2389619 6023 2124 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.700261 s]
/proc/loadavg: 1.39 1.29 1.49 2/176 6676
/proc/meminfo: memFree=28569788/32872528 swapFree=1499084/1695308
[pid=6676] ppid=6673 vsize=9824732 CPUtime=0.21 cores=1,3,5,7
/proc/6676/stat : 6676 (java) S 6673 6676 5962 0 -1 4202496 4702 0 18 0 19 2 0 0 20 0 19 0 2247461 10060525568 7823 33554432000 1073741824 1073778376 140734974013648 140734974004784 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 3 0 0
/proc/6676/statm: 2456183 7823 2198 9 0 2446860 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 9824732

[startup+1.50087 s]
/proc/loadavg: 1.39 1.29 1.49 5/215 6724
/proc/meminfo: memFree=28488336/32872528 swapFree=1499084/1695308
[pid=6676] ppid=6673 vsize=9824732 CPUtime=2.39 cores=1,3,5,7
/proc/6676/stat : 6676 (java) S 6673 6676 5962 0 -1 4202496 17792 0 18 0 233 6 0 0 20 0 22 0 2247461 10060525568 29316 33554432000 1073741824 1073778376 140734974013648 140734974004784 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 3 0 0
/proc/6676/statm: 2456183 29316 2260 9 0 2446860 0
[pid=6676/tid=6678] ppid=6673 vsize=9824732 CPUtime=0.15 cores=1,3,5,7
/proc/6676/task/6678/stat : 6678 (java) S 6673 6676 5962 0 -1 4202560 2407 0 6 0 14 1 0 0 20 0 22 0 2247468 10060525568 29316 33554432000 1073741824 1073778376 140734974013648 139736955335544 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 15 0 0
[pid=6676/tid=6681] ppid=6673 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6676/task/6681/stat : 6681 (java) S 6673 6676 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2247473 10060525568 29316 33554432000 1073741824 1073778376 140734974013648 139736916826664 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6676/tid=6683] ppid=6673 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6676/task/6683/stat : 6683 (java) S 6673 6676 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2247473 10060525568 29316 33554432000 1073741824 1073778376 140734974013648 139736915773864 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6676/tid=6686] ppid=6673 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6676/task/6686/stat : 6686 (java) S 6673 6676 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2247473 10060525568 29316 33554432000 1073741824 1073778376 140734974013648 139736914721064 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6676/tid=6688] ppid=6673 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6676/task/6688/stat : 6688 (java) S 6673 6676 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2247473 10060525568 29316 33554432000 1073741824 1073778376 140734974013648 139736913668264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6676/tid=6690] ppid=6673 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6676/task/6690/stat : 6690 (java) S 6673 6676 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2247473 10060525568 29316 33554432000 1073741824 1073778376 140734974013648 139736912616488 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6676/tid=6693] ppid=6673 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6676/task/6693/stat : 6693 (java) S 6673 6676 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2247473 10060525568 29316 33554432000 1073741824 1073778376 140734974013648 139736911563688 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6676/tid=6694] ppid=6673 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6676/task/6694/stat : 6694 (java) S 6673 6676 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2247473 10060525568 29316 33554432000 1073741824 1073778376 140734974013648 139736910510888 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6676/tid=6695] ppid=6673 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6676/task/6695/stat : 6695 (java) S 6673 6676 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 2247473 10060525568 29316 33554432000 1073741824 1073778376 140734974013648 139736909458088 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6676/tid=6697] ppid=6673 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6676/task/6697/stat : 6697 (java) S 6673 6676 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 2247476 10060525568 29316 33554432000 1073741824 1073778376 140734974013648 139736897047016 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6676/tid=6699] ppid=6673 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6676/task/6699/stat : 6699 (java) S 6673 6676 5962 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 2247477 10060525568 29316 33554432000 1073741824 1073778376 140734974013648 139736777745656 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6676/tid=6700] ppid=6673 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6676/task/6700/stat : 6700 (java) S 6673 6676 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2247478 10060525568 29316 33554432000 1073741824 1073778376 140734974013648 139736776692744 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6676/tid=6703] ppid=6673 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6676/task/6703/stat : 6703 (java) S 6673 6676 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2247483 10060525568 29316 33554432000 1073741824 1073778376 140734974013648 139736775641232 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6676/tid=6705] ppid=6673 vsize=9824732 CPUtime=0.57 cores=1,3,5,7
/proc/6676/task/6705/stat : 6705 (java) R 6673 6676 5962 0 -1 4202560 6059 0 1 0 55 2 0 0 20 0 22 0 2247483 10060525568 29316 33554432000 1073741824 1073778376 140734974013648 139736774576776 139736957910645 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6676/tid=6707] ppid=6673 vsize=9824732 CPUtime=0.55 cores=1,3,5,7
/proc/6676/task/6707/stat : 6707 (java) R 6673 6676 5962 0 -1 4202560 7959 0 1 0 53 2 0 0 20 0 22 0 2247483 10060525568 29316 33554432000 1073741824 1073778376 140734974013648 139736773536600 139736961298252 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=6676/tid=6709] ppid=6673 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6676/task/6709/stat : 6709 (java) S 6673 6676 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2247483 10060525568 29316 33554432000 1073741824 1073778376 140734974013648 139736772483960 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6676/tid=6711] ppid=6673 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6676/task/6711/stat : 6711 (java) S 6673 6676 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2247483 10060525568 29316 33554432000 1073741824 1073778376 140734974013648 139736771431368 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6676/tid=6718] ppid=6673 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6676/task/6718/stat : 6718 (java) S 6673 6676 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2247505 10060525568 29316 33554432000 1073741824 1073778376 140734974013648 139736767218472 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6676/tid=6722] ppid=6673 vsize=9824732 CPUtime=0.53 cores=1,3,5,7
/proc/6676/task/6722/stat : 6722 (java) R 6673 6676 5962 0 -1 4202560 7 0 0 0 53 0 0 0 20 0 22 0 2247555 10060525568 29316 33554432000 1073741824 1073778376 140734974013648 139736769323792 139736777983456 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=6676/tid=6723] ppid=6673 vsize=9824732 CPUtime=0.52 cores=1,3,5,7
/proc/6676/task/6723/stat : 6723 (java) R 6673 6676 5962 0 -1 4202560 44 0 0 0 51 1 0 0 20 0 22 0 2247555 10060525568 29316 33554432000 1073741824 1073778376 140734974013648 139736770376032 139736777818039 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6676/tid=6724] ppid=6673 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6676/task/6724/stat : 6724 (java) S 6673 6676 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 2247555 10060525568 29316 33554432000 1073741824 1073778376 140734974013648 139736768271784 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.39
Current children cumulated vsize (KiB) 9824732

[startup+3.10088 s]
/proc/loadavg: 1.39 1.29 1.49 3/216 6792
/proc/meminfo: memFree=28347776/32872528 swapFree=1499084/1695308
[pid=6676] ppid=6673 vsize=9824732 CPUtime=6.58 cores=1,3,5,7
/proc/6676/stat : 6676 (java) S 6673 6676 5962 0 -1 4202496 25170 0 18 0 645 13 0 0 20 0 22 0 2247461 10060525568 70887 33554432000 1073741824 1073778376 140734974013648 140734974004784 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 3 0 0
/proc/6676/statm: 2456183 70887 2284 9 0 2446860 0
[pid=6676/tid=6678] ppid=6673 vsize=9824732 CPUtime=0.15 cores=1,3,5,7
/proc/6676/task/6678/stat : 6678 (java) S 6673 6676 5962 0 -1 4202560 2407 0 6 0 14 1 0 0 20 0 22 0 2247468 10060525568 70887 33554432000 1073741824 1073778376 140734974013648 139736955335544 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 15 0 0
[pid=6676/tid=6681] ppid=6673 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/6676/task/6681/stat : 6681 (java) S 6673 6676 5962 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 2247473 10060525568 70887 33554432000 1073741824 1073778376 140734974013648 139736916826664 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6676/tid=6683] ppid=6673 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/6676/task/6683/stat : 6683 (java) S 6673 6676 5962 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 2247473 10060525568 70887 33554432000 1073741824 1073778376 140734974013648 139736915773864 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6676/tid=6686] ppid=6673 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6676/task/6686/stat : 6686 (java) S 6673 6676 5962 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 2247473 10060525568 70887 33554432000 1073741824 1073778376 140734974013648 139736914721064 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6676/tid=6688] ppid=6673 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/6676/task/6688/stat : 6688 (java) S 6673 6676 5962 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 2247473 10060525568 70887 33554432000 1073741824 1073778376 140734974013648 139736913668264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6676/tid=6690] ppid=6673 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/6676/task/6690/stat : 6690 (java) S 6673 6676 5962 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 2247473 10060525568 70887 33554432000 1073741824 1073778376 140734974013648 139736912616488 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6676/tid=6693] ppid=6673 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6676/task/6693/stat : 6693 (java) S 6673 6676 5962 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 2247473 10060525568 70887 33554432000 1073741824 1073778376 140734974013648 139736911563688 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6676/tid=6694] ppid=6673 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6676/task/6694/stat : 6694 (java) S 6673 6676 5962 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 2247473 10060525568 70887 33554432000 1073741824 1073778376 140734974013648 139736910510888 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6676/tid=6695] ppid=6673 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/6676/task/6695/stat : 6695 (java) S 6673 6676 5962 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 2247473 10060525568 70887 33554432000 1073741824 1073778376 140734974013648 139736909458088 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6676/tid=6697] ppid=6673 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6676/task/6697/stat : 6697 (java) S 6673 6676 5962 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 22 0 2247476 10060525568 70887 33554432000 1073741824 1073778376 140734974013648 139736897047016 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6676/tid=6699] ppid=6673 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6676/task/6699/stat : 6699 (java) S 6673 6676 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 2247477 10060525568 70887 33554432000 1073741824 1073778376 140734974013648 139736777745656 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6676/tid=6700] ppid=6673 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6676/task/6700/stat : 6700 (java) S 6673 6676 5962 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 2247478 10060525568 70887 33554432000 1073741824 1073778376 140734974013648 139736776692744 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6676/tid=6703] ppid=6673 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6676/task/6703/stat : 6703 (java) S 6673 6676 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2247483 10060525568 70887 33554432000 1073741824 1073778376 140734974013648 139736775641232 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6676/tid=6705] ppid=6673 vsize=9824732 CPUtime=1.07 cores=1,3,5,7
/proc/6676/task/6705/stat : 6705 (java) S 6673 6676 5962 0 -1 4202560 12529 0 1 0 104 3 0 0 20 0 22 0 2247483 10060525568 70887 33554432000 1073741824 1073778376 140734974013648 139736774589368 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6676/tid=6707] ppid=6673 vsize=9824732 CPUtime=0.99 cores=1,3,5,7
/proc/6676/task/6707/stat : 6707 (java) S 6673 6676 5962 0 -1 4202560 8662 0 1 0 97 2 0 0 20 0 22 0 2247483 10060525568 70887 33554432000 1073741824 1073778376 140734974013648 139736773536568 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6676/tid=6709] ppid=6673 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6676/task/6709/stat : 6709 (java) S 6673 6676 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2247483 10060525568 70887 33554432000 1073741824 1073778376 140734974013648 139736772483960 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6676/tid=6711] ppid=6673 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6676/task/6711/stat : 6711 (java) S 6673 6676 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2247483 10060525568 70887 33554432000 1073741824 1073778376 140734974013648 139736771431368 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6676/tid=6718] ppid=6673 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6676/task/6718/stat : 6718 (java) S 6673 6676 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2247505 10060525568 70887 33554432000 1073741824 1073778376 140734974013648 139736767218472 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6676/tid=6722] ppid=6673 vsize=9824732 CPUtime=2.07 cores=1,3,5,7
/proc/6676/task/6722/stat : 6722 (java) R 6673 6676 5962 0 -1 4202560 11 0 0 0 207 0 0 0 20 0 22 0 2247555 10060525568 70887 33554432000 1073741824 1073778376 140734974013648 139736769324200 139736778199924 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=6676/tid=6723] ppid=6673 vsize=9824732 CPUtime=2.07 cores=1,3,5,7
/proc/6676/task/6723/stat : 6723 (java) R 6673 6676 5962 0 -1 4202560 113 0 0 0 204 3 0 0 20 0 22 0 2247555 10060525568 70887 33554432000 1073741824 1073778376 140734974013648 139736770375600 139736778337987 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6676/tid=6724] ppid=6673 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6676/task/6724/stat : 6724 (java) S 6673 6676 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 2247555 10060525568 70887 33554432000 1073741824 1073778376 140734974013648 139736768271784 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 6.58
Current children cumulated vsize (KiB) 9824732

[startup+6.30102 s]
/proc/loadavg: 1.60 1.34 1.50 5/219 6866
/proc/meminfo: memFree=27764144/32872528 swapFree=1499084/1695308
[pid=6676] ppid=6673 vsize=9824732 CPUtime=13.17 cores=1,3,5,7
/proc/6676/stat : 6676 (java) S 6673 6676 5962 0 -1 4202496 25965 0 18 0 1294 23 0 0 20 0 22 0 2247461 10060525568 150297 33554432000 1073741824 1073778376 140734974013648 140734974004784 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 3 0 0
/proc/6676/statm: 2456183 150297 2284 9 0 2446860 0
[pid=6676/tid=6678] ppid=6673 vsize=9824732 CPUtime=0.15 cores=1,3,5,7
/proc/6676/task/6678/stat : 6678 (java) S 6673 6676 5962 0 -1 4202560 2407 0 6 0 14 1 0 0 20 0 22 0 2247468 10060525568 150297 33554432000 1073741824 1073778376 140734974013648 139736955335544 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 15 0 0
[pid=6676/tid=6681] ppid=6673 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/6676/task/6681/stat : 6681 (java) S 6673 6676 5962 0 -1 4202560 44 0 0 0 3 0 0 0 20 0 22 0 2247473 10060525568 150297 33554432000 1073741824 1073778376 140734974013648 139736916826664 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6676/tid=6683] ppid=6673 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/6676/task/6683/stat : 6683 (java) S 6673 6676 5962 0 -1 4202560 22 0 0 0 3 0 0 0 20 0 22 0 2247473 10060525568 150297 33554432000 1073741824 1073778376 140734974013648 139736915773864 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6676/tid=6686] ppid=6673 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/6676/task/6686/stat : 6686 (java) S 6673 6676 5962 0 -1 4202560 76 0 0 0 2 2 0 0 20 0 22 0 2247473 10060525568 150297 33554432000 1073741824 1073778376 140734974013648 139736914721064 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6676/tid=6688] ppid=6673 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/6676/task/6688/stat : 6688 (java) S 6673 6676 5962 0 -1 4202560 24 0 0 0 2 1 0 0 20 0 22 0 2247473 10060525568 150297 33554432000 1073741824 1073778376 140734974013648 139736913668264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6676/tid=6690] ppid=6673 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/6676/task/6690/stat : 6690 (java) S 6673 6676 5962 0 -1 4202560 37 0 0 0 3 0 0 0 20 0 22 0 2247473 10060525568 150297 33554432000 1073741824 1073778376 140734974013648 139736912616488 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6676/tid=6693] ppid=6673 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/6676/task/6693/stat : 6693 (java) S 6673 6676 5962 0 -1 4202560 64 0 0 0 3 0 0 0 20 0 22 0 2247473 10060525568 150297 33554432000 1073741824 1073778376 140734974013648 139736911563688 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6676/tid=6694] ppid=6673 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/6676/task/6694/stat : 6694 (java) S 6673 6676 5962 0 -1 4202560 31 0 0 0 4 0 0 0 20 0 22 0 2247473 10060525568 150297 33554432000 1073741824 1073778376 140734974013648 139736910510888 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6676/tid=6695] ppid=6673 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/6676/task/6695/stat : 6695 (java) S 6673 6676 5962 0 -1 4202560 66 0 0 0 2 2 0 0 20 0 22 0 2247473 10060525568 150297 33554432000 1073741824 1073778376 140734974013648 139736909458088 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6676/tid=6697] ppid=6673 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6676/task/6697/stat : 6697 (java) S 6673 6676 5962 0 -1 4202560 440 0 0 0 0 0 0 0 20 0 22 0 2247476 10060525568 150297 33554432000 1073741824 1073778376 140734974013648 139736897047016 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6676/tid=6699] ppid=6673 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6676/task/6699/stat : 6699 (java) S 6673 6676 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 2247477 10060525568 150297 33554432000 1073741824 1073778376 140734974013648 139736777745656 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6676/tid=6700] ppid=6673 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6676/task/6700/stat : 6700 (java) S 6673 6676 5962 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 2247478 10060525568 150297 33554432000 1073741824 1073778376 140734974013648 139736776692744 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6676/tid=6703] ppid=6673 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6676/task/6703/stat : 6703 (java) S 6673 6676 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2247483 10060525568 150297 33554432000 1073741824 1073778376 140734974013648 139736775641232 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6676/tid=6705] ppid=6673 vsize=9824732 CPUtime=1.07 cores=1,3,5,7

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


[startup+822.301 s]
/proc/loadavg: 4.33 4.09 3.11 5/219 6888
/proc/meminfo: memFree=23341100/32872528 swapFree=1499084/1695308
[pid=6676] ppid=6673 vsize=9824732 CPUtime=1651.6 cores=1,3,5,7
/proc/6676/stat : 6676 (java) S 6673 6676 5962 0 -1 4202496 37215 0 18 0 164991 169 0 0 20 0 22 0 2247461 10060525568 565149 33554432000 1073741824 1073778376 140734974013648 140734974004784 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 3 0 0
/proc/6676/statm: 2456183 565149 2293 9 0 2446860 0
[pid=6676/tid=6678] ppid=6673 vsize=9824732 CPUtime=0.2 cores=1,3,5,7
/proc/6676/task/6678/stat : 6678 (java) S 6673 6676 5962 0 -1 4202560 2416 0 6 0 16 4 0 0 20 0 22 0 2247468 10060525568 565149 33554432000 1073741824 1073778376 140734974013648 139736955335544 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 15 0 0
[pid=6676/tid=6681] ppid=6673 vsize=9824732 CPUtime=2.3 cores=1,3,5,7
/proc/6676/task/6681/stat : 6681 (java) S 6673 6676 5962 0 -1 4202560 317 0 0 0 223 7 0 0 20 0 22 0 2247473 10060525568 565149 33554432000 1073741824 1073778376 140734974013648 139736916826664 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6676/tid=6683] ppid=6673 vsize=9824732 CPUtime=2.4 cores=1,3,5,7
/proc/6676/task/6683/stat : 6683 (java) S 6673 6676 5962 0 -1 4202560 334 0 0 0 231 9 0 0 20 0 22 0 2247473 10060525568 565149 33554432000 1073741824 1073778376 140734974013648 139736915773864 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6676/tid=6686] ppid=6673 vsize=9824732 CPUtime=2.36 cores=1,3,5,7
/proc/6676/task/6686/stat : 6686 (java) S 6673 6676 5962 0 -1 4202560 393 0 0 0 227 9 0 0 20 0 22 0 2247473 10060525568 565149 33554432000 1073741824 1073778376 140734974013648 139736914721064 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6676/tid=6688] ppid=6673 vsize=9824732 CPUtime=2.38 cores=1,3,5,7
/proc/6676/task/6688/stat : 6688 (java) S 6673 6676 5962 0 -1 4202560 307 0 0 0 231 7 0 0 20 0 22 0 2247473 10060525568 565149 33554432000 1073741824 1073778376 140734974013648 139736913668264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6676/tid=6690] ppid=6673 vsize=9824732 CPUtime=2.26 cores=1,3,5,7
/proc/6676/task/6690/stat : 6690 (java) S 6673 6676 5962 0 -1 4202560 359 0 0 0 218 8 0 0 20 0 22 0 2247473 10060525568 565149 33554432000 1073741824 1073778376 140734974013648 139736912616488 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6676/tid=6693] ppid=6673 vsize=9824732 CPUtime=2.19 cores=1,3,5,7
/proc/6676/task/6693/stat : 6693 (java) S 6673 6676 5962 0 -1 4202560 315 0 0 0 211 8 0 0 20 0 22 0 2247473 10060525568 565149 33554432000 1073741824 1073778376 140734974013648 139736911563688 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6676/tid=6694] ppid=6673 vsize=9824732 CPUtime=2.35 cores=1,3,5,7
/proc/6676/task/6694/stat : 6694 (java) S 6673 6676 5962 0 -1 4202560 336 0 0 0 227 8 0 0 20 0 22 0 2247473 10060525568 565149 33554432000 1073741824 1073778376 140734974013648 139736910510888 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6676/tid=6695] ppid=6673 vsize=9824732 CPUtime=2.48 cores=1,3,5,7
/proc/6676/task/6695/stat : 6695 (java) S 6673 6676 5962 0 -1 4202560 409 0 0 0 239 9 0 0 20 0 22 0 2247473 10060525568 565149 33554432000 1073741824 1073778376 140734974013648 139736909458088 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6676/tid=6697] ppid=6673 vsize=9824732 CPUtime=1.36 cores=1,3,5,7
/proc/6676/task/6697/stat : 6697 (java) S 6673 6676 5962 0 -1 4202560 2114 0 0 0 99 37 0 0 20 0 22 0 2247476 10060525568 565149 33554432000 1073741824 1073778376 140734974013648 139736897047016 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6676/tid=6699] ppid=6673 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6676/task/6699/stat : 6699 (java) S 6673 6676 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 2247477 10060525568 565149 33554432000 1073741824 1073778376 140734974013648 139736777745656 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6676/tid=6700] ppid=6673 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6676/task/6700/stat : 6700 (java) S 6673 6676 5962 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 2247478 10060525568 565149 33554432000 1073741824 1073778376 140734974013648 139736776692744 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6676/tid=6703] ppid=6673 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6676/task/6703/stat : 6703 (java) S 6673 6676 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2247483 10060525568 565149 33554432000 1073741824 1073778376 140734974013648 139736775641232 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6676/tid=6705] ppid=6673 vsize=9824732 CPUtime=1.11 cores=1,3,5,7
/proc/6676/task/6705/stat : 6705 (java) S 6673 6676 5962 0 -1 4202560 12532 0 1 0 108 3 0 0 20 0 22 0 2247483 10060525568 565149 33554432000 1073741824 1073778376 140734974013648 139736774589368 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6676/tid=6707] ppid=6673 vsize=9824732 CPUtime=1.63 cores=1,3,5,7
/proc/6676/task/6707/stat : 6707 (java) S 6673 6676 5962 0 -1 4202560 13984 0 1 0 160 3 0 0 20 0 22 0 2247483 10060525568 565149 33554432000 1073741824 1073778376 140734974013648 139736773536568 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6676/tid=6709] ppid=6673 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6676/task/6709/stat : 6709 (java) S 6673 6676 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2247483 10060525568 565149 33554432000 1073741824 1073778376 140734974013648 139736772483960 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6676/tid=6711] ppid=6673 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/6676/task/6711/stat : 6711 (java) S 6673 6676 5962 0 -1 4202560 49 0 0 0 11 20 0 0 20 0 22 0 2247483 10060525568 565149 33554432000 1073741824 1073778376 140734974013648 139736771431368 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6676/tid=6718] ppid=6673 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6676/task/6718/stat : 6718 (java) S 6673 6676 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2247505 10060525568 565149 33554432000 1073741824 1073778376 140734974013648 139736767218472 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6676/tid=6722] ppid=6673 vsize=9824732 CPUtime=814.19 cores=1,3,5,7
/proc/6676/task/6722/stat : 6722 (java) R 6673 6676 5962 0 -1 4202560 195 0 0 0 81403 16 0 0 20 0 22 0 2247555 10060525568 565149 33554432000 1073741824 1073778376 140734974013648 139736769323008 139736778268793 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6676/tid=6723] ppid=6673 vsize=9824732 CPUtime=814.21 cores=1,3,5,7
/proc/6676/task/6723/stat : 6723 (java) R 6673 6676 5962 0 -1 4202560 1850 0 0 0 81367 54 0 0 20 0 22 0 2247555 10060525568 565149 33554432000 1073741824 1073778376 140734974013648 139736770376640 139736778334308 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=6676/tid=6724] ppid=6673 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6676/task/6724/stat : 6724 (java) S 6673 6676 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 2247555 10060525568 565149 33554432000 1073741824 1073778376 140734974013648 139736768271784 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1651.6
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.20 4.10 3.17 5/219 6889
/proc/meminfo: memFree=23365476/32872528 swapFree=1499084/1695308
[pid=6676] ppid=6673 vsize=9824732 CPUtime=1771.73 cores=1,3,5,7
/proc/6676/stat : 6676 (java) S 6673 6676 5962 0 -1 4202496 37585 0 18 0 176999 174 0 0 20 0 22 0 2247461 10060525568 559301 33554432000 1073741824 1073778376 140734974013648 140734974004784 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 3 0 0
/proc/6676/statm: 2456183 559301 2293 9 0 2446860 0
[pid=6676/tid=6678] ppid=6673 vsize=9824732 CPUtime=0.2 cores=1,3,5,7
/proc/6676/task/6678/stat : 6678 (java) S 6673 6676 5962 0 -1 4202560 2416 0 6 0 16 4 0 0 20 0 22 0 2247468 10060525568 559301 33554432000 1073741824 1073778376 140734974013648 139736955335544 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 15 0 0
[pid=6676/tid=6681] ppid=6673 vsize=9824732 CPUtime=2.53 cores=1,3,5,7
/proc/6676/task/6681/stat : 6681 (java) S 6673 6676 5962 0 -1 4202560 363 0 0 0 246 7 0 0 20 0 22 0 2247473 10060525568 559301 33554432000 1073741824 1073778376 140734974013648 139736916826664 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6676/tid=6683] ppid=6673 vsize=9824732 CPUtime=2.59 cores=1,3,5,7
/proc/6676/task/6683/stat : 6683 (java) S 6673 6676 5962 0 -1 4202560 358 0 0 0 249 10 0 0 20 0 22 0 2247473 10060525568 559301 33554432000 1073741824 1073778376 140734974013648 139736915773864 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6676/tid=6686] ppid=6673 vsize=9824732 CPUtime=2.55 cores=1,3,5,7
/proc/6676/task/6686/stat : 6686 (java) S 6673 6676 5962 0 -1 4202560 413 0 0 0 246 9 0 0 20 0 22 0 2247473 10060525568 559301 33554432000 1073741824 1073778376 140734974013648 139736914721064 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6676/tid=6688] ppid=6673 vsize=9824732 CPUtime=2.59 cores=1,3,5,7
/proc/6676/task/6688/stat : 6688 (java) S 6673 6676 5962 0 -1 4202560 334 0 0 0 251 8 0 0 20 0 22 0 2247473 10060525568 559301 33554432000 1073741824 1073778376 140734974013648 139736913668264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6676/tid=6690] ppid=6673 vsize=9824732 CPUtime=2.44 cores=1,3,5,7
/proc/6676/task/6690/stat : 6690 (java) S 6673 6676 5962 0 -1 4202560 397 0 0 0 236 8 0 0 20 0 22 0 2247473 10060525568 559301 33554432000 1073741824 1073778376 140734974013648 139736912616488 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6676/tid=6693] ppid=6673 vsize=9824732 CPUtime=2.34 cores=1,3,5,7
/proc/6676/task/6693/stat : 6693 (java) S 6673 6676 5962 0 -1 4202560 333 0 0 0 225 9 0 0 20 0 22 0 2247473 10060525568 559301 33554432000 1073741824 1073778376 140734974013648 139736911563688 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6676/tid=6694] ppid=6673 vsize=9824732 CPUtime=2.54 cores=1,3,5,7
/proc/6676/task/6694/stat : 6694 (java) S 6673 6676 5962 0 -1 4202560 373 0 0 0 245 9 0 0 20 0 22 0 2247473 10060525568 559301 33554432000 1073741824 1073778376 140734974013648 139736910510888 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6676/tid=6695] ppid=6673 vsize=9824732 CPUtime=2.69 cores=1,3,5,7
/proc/6676/task/6695/stat : 6695 (java) S 6673 6676 5962 0 -1 4202560 441 0 0 0 260 9 0 0 20 0 22 0 2247473 10060525568 559301 33554432000 1073741824 1073778376 140734974013648 139736909458088 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6676/tid=6697] ppid=6673 vsize=9824732 CPUtime=1.85 cores=1,3,5,7
/proc/6676/task/6697/stat : 6697 (java) S 6673 6676 5962 0 -1 4202560 2212 0 0 0 147 38 0 0 20 0 22 0 2247476 10060525568 559301 33554432000 1073741824 1073778376 140734974013648 139736897047016 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6676/tid=6699] ppid=6673 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6676/task/6699/stat : 6699 (java) S 6673 6676 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 2247477 10060525568 559301 33554432000 1073741824 1073778376 140734974013648 139736777745656 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6676/tid=6700] ppid=6673 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6676/task/6700/stat : 6700 (java) S 6673 6676 5962 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 2247478 10060525568 559301 33554432000 1073741824 1073778376 140734974013648 139736776692744 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6676/tid=6703] ppid=6673 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6676/task/6703/stat : 6703 (java) S 6673 6676 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2247483 10060525568 559301 33554432000 1073741824 1073778376 140734974013648 139736775641232 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6676/tid=6705] ppid=6673 vsize=9824732 CPUtime=1.11 cores=1,3,5,7
/proc/6676/task/6705/stat : 6705 (java) S 6673 6676 5962 0 -1 4202560 12532 0 1 0 108 3 0 0 20 0 22 0 2247483 10060525568 559301 33554432000 1073741824 1073778376 140734974013648 139736774589368 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6676/tid=6707] ppid=6673 vsize=9824732 CPUtime=1.63 cores=1,3,5,7
/proc/6676/task/6707/stat : 6707 (java) S 6673 6676 5962 0 -1 4202560 13984 0 1 0 160 3 0 0 20 0 22 0 2247483 10060525568 559301 33554432000 1073741824 1073778376 140734974013648 139736773536568 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6676/tid=6709] ppid=6673 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6676/task/6709/stat : 6709 (java) S 6673 6676 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2247483 10060525568 559301 33554432000 1073741824 1073778376 140734974013648 139736772483960 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6676/tid=6711] ppid=6673 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/6676/task/6711/stat : 6711 (java) S 6673 6676 5962 0 -1 4202560 51 0 0 0 13 22 0 0 20 0 22 0 2247483 10060525568 559301 33554432000 1073741824 1073778376 140734974013648 139736771431368 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6676/tid=6718] ppid=6673 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6676/task/6718/stat : 6718 (java) S 6673 6676 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2247505 10060525568 559301 33554432000 1073741824 1073778376 140734974013648 139736767218472 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6676/tid=6722] ppid=6673 vsize=9824732 CPUtime=873.23 cores=1,3,5,7
/proc/6676/task/6722/stat : 6722 (java) R 6673 6676 5962 0 -1 4202560 206 0 0 0 87306 17 0 0 20 0 22 0 2247555 10060525568 559301 33554432000 1073741824 1073778376 140734974013648 139736769323024 139736778268793 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=6676/tid=6723] ppid=6673 vsize=9824732 CPUtime=873.24 cores=1,3,5,7
/proc/6676/task/6723/stat : 6723 (java) R 6673 6676 5962 0 -1 4202560 1867 0 0 0 87268 56 0 0 20 0 22 0 2247555 10060525568 559301 33554432000 1073741824 1073778376 140734974013648 139736770374624 139736778219410 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6676/tid=6724] ppid=6673 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6676/task/6724/stat : 6724 (java) S 6673 6676 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 2247555 10060525568 559301 33554432000 1073741824 1073778376 140734974013648 139736768271784 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1771.73
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+896.401 s]
/proc/loadavg: 4.23 4.11 3.19 5/219 6889
/proc/meminfo: memFree=23375960/32872528 swapFree=1499084/1695308
[pid=6676] ppid=6673 vsize=9824732 CPUtime=1800.02 cores=1,3,5,7
/proc/6676/stat : 6676 (java) S 6673 6676 5962 0 -1 4202496 37613 0 18 0 179827 175 0 0 20 0 22 0 2247461 10060525568 556609 33554432000 1073741824 1073778376 140734974013648 140734974004784 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 3 0 0
/proc/6676/statm: 2456183 556609 2293 9 0 2446860 0
[pid=6676/tid=6678] ppid=6673 vsize=9824732 CPUtime=0.2 cores=1,3,5,7
/proc/6676/task/6678/stat : 6678 (java) S 6673 6676 5962 0 -1 4202560 2416 0 6 0 16 4 0 0 20 0 22 0 2247468 10060525568 556609 33554432000 1073741824 1073778376 140734974013648 139736955335544 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 15 0 0
[pid=6676/tid=6681] ppid=6673 vsize=9824732 CPUtime=2.58 cores=1,3,5,7
/proc/6676/task/6681/stat : 6681 (java) S 6673 6676 5962 0 -1 4202560 364 0 0 0 251 7 0 0 20 0 22 0 2247473 10060525568 556609 33554432000 1073741824 1073778376 140734974013648 139736916826664 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6676/tid=6683] ppid=6673 vsize=9824732 CPUtime=2.64 cores=1,3,5,7
/proc/6676/task/6683/stat : 6683 (java) S 6673 6676 5962 0 -1 4202560 359 0 0 0 254 10 0 0 20 0 22 0 2247473 10060525568 556609 33554432000 1073741824 1073778376 140734974013648 139736915773864 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6676/tid=6686] ppid=6673 vsize=9824732 CPUtime=2.59 cores=1,3,5,7
/proc/6676/task/6686/stat : 6686 (java) S 6673 6676 5962 0 -1 4202560 416 0 0 0 250 9 0 0 20 0 22 0 2247473 10060525568 556609 33554432000 1073741824 1073778376 140734974013648 139736914721064 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6676/tid=6688] ppid=6673 vsize=9824732 CPUtime=2.63 cores=1,3,5,7
/proc/6676/task/6688/stat : 6688 (java) S 6673 6676 5962 0 -1 4202560 337 0 0 0 255 8 0 0 20 0 22 0 2247473 10060525568 556609 33554432000 1073741824 1073778376 140734974013648 139736913668264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6676/tid=6690] ppid=6673 vsize=9824732 CPUtime=2.47 cores=1,3,5,7
/proc/6676/task/6690/stat : 6690 (java) S 6673 6676 5962 0 -1 4202560 399 0 0 0 239 8 0 0 20 0 22 0 2247473 10060525568 556609 33554432000 1073741824 1073778376 140734974013648 139736912616488 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6676/tid=6693] ppid=6673 vsize=9824732 CPUtime=2.37 cores=1,3,5,7
/proc/6676/task/6693/stat : 6693 (java) S 6673 6676 5962 0 -1 4202560 335 0 0 0 228 9 0 0 20 0 22 0 2247473 10060525568 556609 33554432000 1073741824 1073778376 140734974013648 139736911563688 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6676/tid=6694] ppid=6673 vsize=9824732 CPUtime=2.58 cores=1,3,5,7
/proc/6676/task/6694/stat : 6694 (java) S 6673 6676 5962 0 -1 4202560 378 0 0 0 249 9 0 0 20 0 22 0 2247473 10060525568 556609 33554432000 1073741824 1073778376 140734974013648 139736910510888 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6676/tid=6695] ppid=6673 vsize=9824732 CPUtime=2.73 cores=1,3,5,7
/proc/6676/task/6695/stat : 6695 (java) S 6673 6676 5962 0 -1 4202560 441 0 0 0 264 9 0 0 20 0 22 0 2247473 10060525568 556609 33554432000 1073741824 1073778376 140734974013648 139736909458088 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6676/tid=6697] ppid=6673 vsize=9824732 CPUtime=1.86 cores=1,3,5,7
/proc/6676/task/6697/stat : 6697 (java) S 6673 6676 5962 0 -1 4202560 2214 0 0 0 148 38 0 0 20 0 22 0 2247476 10060525568 556609 33554432000 1073741824 1073778376 140734974013648 139736897047016 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6676/tid=6699] ppid=6673 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6676/task/6699/stat : 6699 (java) S 6673 6676 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 2247477 10060525568 556609 33554432000 1073741824 1073778376 140734974013648 139736777745656 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6676/tid=6700] ppid=6673 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6676/task/6700/stat : 6700 (java) S 6673 6676 5962 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 2247478 10060525568 556609 33554432000 1073741824 1073778376 140734974013648 139736776692744 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6676/tid=6703] ppid=6673 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6676/task/6703/stat : 6703 (java) S 6673 6676 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2247483 10060525568 556609 33554432000 1073741824 1073778376 140734974013648 139736775641232 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6676/tid=6705] ppid=6673 vsize=9824732 CPUtime=1.11 cores=1,3,5,7
/proc/6676/task/6705/stat : 6705 (java) S 6673 6676 5962 0 -1 4202560 12532 0 1 0 108 3 0 0 20 0 22 0 2247483 10060525568 556609 33554432000 1073741824 1073778376 140734974013648 139736774589368 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6676/tid=6707] ppid=6673 vsize=9824732 CPUtime=1.63 cores=1,3,5,7
/proc/6676/task/6707/stat : 6707 (java) S 6673 6676 5962 0 -1 4202560 13984 0 1 0 160 3 0 0 20 0 22 0 2247483 10060525568 556609 33554432000 1073741824 1073778376 140734974013648 139736773536568 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6676/tid=6709] ppid=6673 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6676/task/6709/stat : 6709 (java) S 6673 6676 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2247483 10060525568 556609 33554432000 1073741824 1073778376 140734974013648 139736772483960 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6676/tid=6711] ppid=6673 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/6676/task/6711/stat : 6711 (java) S 6673 6676 5962 0 -1 4202560 53 0 0 0 13 22 0 0 20 0 22 0 2247483 10060525568 556609 33554432000 1073741824 1073778376 140734974013648 139736771431368 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6676/tid=6718] ppid=6673 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6676/task/6718/stat : 6718 (java) S 6673 6676 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2247505 10060525568 556609 33554432000 1073741824 1073778376 140734974013648 139736767218472 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6676/tid=6722] ppid=6673 vsize=9824732 CPUtime=887.21 cores=1,3,5,7
/proc/6676/task/6722/stat : 6722 (java) R 6673 6676 5962 0 -1 4202560 211 0 0 0 88704 17 0 0 20 0 22 0 2247555 10060525568 556609 33554432000 1073741824 1073778376 140734974013648 139736769323024 139736778268793 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6676/tid=6723] ppid=6673 vsize=9824732 CPUtime=887.22 cores=1,3,5,7
/proc/6676/task/6723/stat : 6723 (java) R 6673 6676 5962 0 -1 4202560 1869 0 0 0 88666 56 0 0 20 0 22 0 2247555 10060525568 556609 33554432000 1073741824 1073778376 140734974013648 139736770374624 139736778428088 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6676/tid=6724] ppid=6673 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6676/task/6724/stat : 6724 (java) S 6673 6676 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 2247555 10060525568 556609 33554432000 1073741824 1073778376 140734974013648 139736768271784 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9824732

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 6676 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 896.47
CPU time (s): 1800.58
CPU user time (s): 1798.3
CPU system time (s): 2.28265
CPU usage (%): 200.852
Max. virtual memory (cumulated for all children) (KiB): 9826340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.3
system time used= 2.28265
maximum resident set size= 2850976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37671
page faults= 18
swaps= 0
block input operations= 11016
block output operations= 944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 34699
involuntary context switches= 48364

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.22605 second user time and 6.54101 second system time

The end

Launcher Data 

Begin job on node137 at 2016-06-29 17:09:22
IDJOB=4117502
IDBENCH=111582
IDSOLVER=2543
FILE ID=node137/4117502-1467212962
RUNJOBID= node137-1467212962-6647
PBS_JOBID= 19997573
Free space on /tmp= 71696 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_12x12_003.opb.metafix.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4117502-1467212962/watcher-4117502-1467212962 -o /tmp/evaluation-result-4117502-1467212962/solver-4117502-1467212962 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1467212962-6647 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4117502-1467212962.opb

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

MD5SUM BENCH= fc85ebb3b36c463ab9827197226616c3
RANDOM SEED=207721528

node137.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.265
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.53
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.265
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.265
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.53
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.265
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.265
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.265
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.265
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.54
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.265
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:        28571804 kB
Buffers:           87152 kB
Cached:          1766912 kB
SwapCached:            0 kB
Active:           203984 kB
Inactive:        1661300 kB
Active(anon):      14172 kB
Inactive(anon):        4 kB
Active(file):     189812 kB
Inactive(file):  1661296 kB
Unevictable:     1695308 kB
Mlocked:         1499084 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1560 kB
Writeback:             0 kB
AnonPages:       1819124 kB
Mapped:            13848 kB
Shmem:               204 kB
Slab:             607000 kB
SReclaimable:      51600 kB
SUnreclaim:       555400 kB
KernelStack:        1416 kB
PageTables:         8216 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1803708 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    309248 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= 71692 MiB
End job on node137 at 2016-06-29 17:24:19