Trace number 4085347

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 Resolution PB16SAT (TO)305 1800.61 1798.04

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-6.opb
MD5SUMdcfce19ac0444148b26b7675e35c76bc
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark304
Best CPU time to get the best result obtained on this benchmark0.010997
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 304
Optimality of the best value was proved YES
Number of variables257
Total number of constraints97
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)97
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint44
Number of terms in the objective function 173
Biggest coefficient in the objective function 100
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 8448
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 100
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 8448
Number of bits of the biggest sum of numbers14
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.08/0.10	c version PB16.v20160501
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		501472288
0.08/0.10	c Max memory 		7480803328
0.08/0.10	c Total memory 		504102912
0.08/0.10	c Number of processors 	8
0.08/0.12	c Pseudo Boolean Optimization by upper bound
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Glucose 2.1 dynamic restart strategy
0.08/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-4085347-1465234213.opb
0.08/0.12	c reading problem ... 
0.08/0.12	c  objective function found
0.08/0.17	c ... done. Wall clock time 0.046s.
0.08/0.17	c declared #vars     257
0.08/0.17	c #constraints  182
0.08/0.17	c constraints type 
0.08/0.17	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 44
0.08/0.17	c org.sat4j.specs.Constr$1 => 1
0.08/0.17	c org.sat4j.minisat.constraints.card.MinWatchCard => 56
0.08/0.17	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 80
0.08/0.17	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
0.08/0.17	c 182 constraints processed.
0.08/0.17	c objective function length is 173 literals
0.08/0.18	c SATISFIABLE
0.08/0.18	c OPTIMIZING...
0.08/0.18	c Got one! Elapsed wall clock time (in seconds):0.055
0.08/0.18	o 305
0.94/0.60	c cleaning 2494 clauses out of 5000 with flag 10228/5000
1.63/1.00	c cleaning 4252 clauses out of 8507 with flag 22267/11001
2.14/1.57	c cleaning 5628 clauses out of 11255 with flag 36461/18001
2.95/2.38	c cleaning 6811 clauses out of 13626 with flag 53228/26000
3.47/2.87	c cleaning 7899 clauses out of 15815 with flag 76492/35000
3.98/3.36	c cleaning 8954 clauses out of 17918 with flag 103997/45002
4.58/3.92	c cleaning 9975 clauses out of 19962 with flag 134251/56000
5.19/4.57	c cleaning 10993 clauses out of 21987 with flag 167280/68000
5.98/5.30	c cleaning 11989 clauses out of 23994 with flag 203058/81000
6.78/6.11	c cleaning 13000 clauses out of 26005 with flag 241568/95000
7.68/7.04	c cleaning 13997 clauses out of 28005 with flag 282855/110000
8.68/8.07	c cleaning 15003 clauses out of 30008 with flag 326894/126000
9.88/9.23	c cleaning 16003 clauses out of 32005 with flag 373673/143000
11.18/10.52	c cleaning 16992 clauses out of 34002 with flag 423193/161000
12.59/11.90	c cleaning 18005 clauses out of 36010 with flag 475480/180000
14.00/13.39	c cleaning 18993 clauses out of 38006 with flag 530528/200001
15.69/15.00	c cleaning 20000 clauses out of 40012 with flag 588315/221000
17.39/16.75	c cleaning 21006 clauses out of 42012 with flag 647939/243000
19.29/18.65	c cleaning 21997 clauses out of 44006 with flag 710251/266000
21.38/20.74	c cleaning 22998 clauses out of 46009 with flag 775357/290000
23.58/22.96	c cleaning 24004 clauses out of 48011 with flag 843101/315000
26.10/25.44	c cleaning 25002 clauses out of 50007 with flag 913530/341000
28.59/27.95	c cleaning 25997 clauses out of 52005 with flag 986680/368000
31.19/30.56	c cleaning 26999 clauses out of 54008 with flag 1062528/396000
34.09/33.46	c cleaning 27996 clauses out of 56009 with flag 1141099/425000
37.30/36.61	c cleaning 29003 clauses out of 58013 with flag 1222393/455000
40.51/39.81	c cleaning 30003 clauses out of 60010 with flag 1306376/486000
43.61/42.98	c cleaning 30999 clauses out of 62009 with flag 1393129/518002
46.91/46.26	c cleaning 32000 clauses out of 64009 with flag 1482525/551001
50.50/49.86	c cleaning 33001 clauses out of 66008 with flag 1574616/585000
54.31/53.69	c cleaning 33996 clauses out of 68007 with flag 1669463/620000
58.31/57.67	c cleaning 35006 clauses out of 70011 with flag 1767121/656000
62.91/62.21	c cleaning 35995 clauses out of 72006 with flag 1872155/693001
67.82/67.17	c cleaning 37000 clauses out of 74012 with flag 1982263/731002
73.21/72.58	c cleaning 38000 clauses out of 76011 with flag 2095271/770001
79.01/78.33	c cleaning 39001 clauses out of 78011 with flag 2211175/810001
85.21/84.52	c cleaning 40000 clauses out of 80009 with flag 2329973/851000
91.41/90.71	c cleaning 41002 clauses out of 82009 with flag 2451200/893000
97.91/97.22	c cleaning 42001 clauses out of 84007 with flag 2575308/936000
104.41/103.79	c cleaning 42999 clauses out of 86006 with flag 2702311/980000
111.16/110.40	c cleaning 44001 clauses out of 88008 with flag 2832512/1025001
117.96/117.28	c cleaning 45004 clauses out of 90007 with flag 2965289/1071001
125.36/124.65	c cleaning 45995 clauses out of 92002 with flag 3100943/1118000
133.16/132.43	c cleaning 46999 clauses out of 94007 with flag 3239991/1166000
141.06/140.35	c cleaning 47994 clauses out of 96008 with flag 3382648/1215000
149.86/149.17	c cleaning 49002 clauses out of 98014 with flag 3532243/1265000
159.18/158.50	c cleaning 50002 clauses out of 100013 with flag 3684779/1316001
168.97/168.28	c cleaning 51002 clauses out of 102010 with flag 3840313/1368000
178.98/178.28	c cleaning 52000 clauses out of 104008 with flag 3998828/1421000
189.37/188.61	c cleaning 52996 clauses out of 106008 with flag 4160347/1475000
199.74/198.90	c cleaning 53996 clauses out of 108012 with flag 4324850/1530000
210.14/209.36	c cleaning 55007 clauses out of 110016 with flag 4492350/1586000
221.94/221.11	c cleaning 55998 clauses out of 112009 with flag 4662837/1643000
233.64/232.88	c cleaning 56999 clauses out of 114012 with flag 4836317/1701001
246.04/245.23	c cleaning 57999 clauses out of 116012 with flag 5012785/1760000
258.84/258.05	c cleaning 59005 clauses out of 118013 with flag 5192252/1820000
271.14/270.38	c cleaning 59997 clauses out of 120008 with flag 5368306/1881000
283.14/282.35	c cleaning 60995 clauses out of 122011 with flag 5542321/1943000
296.06/295.21	c cleaning 62006 clauses out of 124016 with flag 5719115/2006000
309.03/308.14	c cleaning 63004 clauses out of 126011 with flag 5898775/2070001
322.24/321.38	c cleaning 64002 clauses out of 128008 with flag 6081190/2135002
336.14/335.28	c cleaning 64993 clauses out of 130004 with flag 6266414/2201000
350.04/349.19	c cleaning 66000 clauses out of 132011 with flag 6454449/2268000
365.05/364.19	c cleaning 67002 clauses out of 134011 with flag 6645306/2336000
380.04/379.15	c cleaning 68005 clauses out of 136009 with flag 6838953/2405000
396.24/395.32	c cleaning 69001 clauses out of 138005 with flag 7035422/2475001
410.94/410.06	c cleaning 69995 clauses out of 140003 with flag 7240369/2546000
425.30/424.35	c cleaning 71001 clauses out of 142008 with flag 7449278/2618000
440.01/439.05	c cleaning 71999 clauses out of 144007 with flag 7661087/2691000
455.90/454.91	c cleaning 73000 clauses out of 146008 with flag 7875788/2765000
471.91/470.92	c cleaning 74002 clauses out of 148008 with flag 8093403/2840000
488.90/487.91	c cleaning 74996 clauses out of 150006 with flag 8313907/2916000
506.71/505.78	c cleaning 76003 clauses out of 152011 with flag 8537331/2993001
526.83/525.88	c cleaning 77001 clauses out of 154007 with flag 8758733/3071000
547.67/546.67	c cleaning 77999 clauses out of 156007 with flag 8979213/3150001
569.28/568.29	c cleaning 79000 clauses out of 158007 with flag 9202482/3230000
592.09/591.09	c cleaning 79998 clauses out of 160007 with flag 9428540/3311000
616.10/615.09	c cleaning 81001 clauses out of 162011 with flag 9657394/3393002
641.79/640.70	c cleaning 81999 clauses out of 164009 with flag 9889031/3476001
669.01/667.85	c cleaning 82999 clauses out of 166009 with flag 10131837/3560000
696.43/695.25	c cleaning 84000 clauses out of 168010 with flag 10377668/3645000
725.14/723.92	c cleaning 84999 clauses out of 170010 with flag 10626383/3731000
754.04/752.82	c cleaning 86000 clauses out of 172011 with flag 10877992/3818000
784.25/783.05	c cleaning 87004 clauses out of 174011 with flag 11132483/3906000
815.56/814.38	c cleaning 88000 clauses out of 176007 with flag 11389869/3995000
844.24/842.96	c cleaning 89004 clauses out of 178008 with flag 11650778/4085001
873.35/872.08	c cleaning 89997 clauses out of 180004 with flag 11914811/4176001
904.26/902.97	c cleaning 90999 clauses out of 182007 with flag 12181741/4268001
936.27/934.96	c cleaning 91996 clauses out of 184007 with flag 12451571/4361000
970.17/968.81	c cleaning 93006 clauses out of 186012 with flag 12724319/4455001
1002.88/1001.41	c cleaning 94003 clauses out of 188005 with flag 12999954/4550000
1037.88/1036.40	c cleaning 94990 clauses out of 190002 with flag 13277183/4646000
1074.38/1072.92	c cleaning 95999 clauses out of 192012 with flag 13557159/4743000
1111.09/1109.60	c cleaning 97000 clauses out of 194014 with flag 13840019/4841001
1149.80/1148.34	c cleaning 98004 clauses out of 196013 with flag 14125785/4940000
1185.68/1184.17	c cleaning 99000 clauses out of 198010 with flag 14414417/5040001
1225.89/1224.31	c cleaning 99997 clauses out of 200009 with flag 14700767/5141000
1267.89/1266.33	c cleaning 100998 clauses out of 202012 with flag 14982481/5243000
1310.80/1309.25	c cleaning 102002 clauses out of 204014 with flag 15266952/5346000
1354.09/1352.30	c cleaning 103001 clauses out of 206012 with flag 15554208/5450000
1398.80/1397.01	c cleaning 103996 clauses out of 208012 with flag 15844847/5555001
1446.99/1445.26	c cleaning 104998 clauses out of 210015 with flag 16151303/5661000
1496.59/1494.86	c cleaning 106006 clauses out of 212018 with flag 16460661/5768001
1549.22/1547.37	c cleaning 107000 clauses out of 214012 with flag 16772905/5876001
1603.84/1601.94	c cleaning 108001 clauses out of 216011 with flag 17088044/5985000
1658.33/1656.45	c cleaning 108996 clauses out of 218010 with flag 17406064/6095000
1709.15/1707.22	c cleaning 110001 clauses out of 220014 with flag 17726446/6206000
1759.31/1757.34	c cleaning 111005 clauses out of 222014 with flag 18049727/6318001
1800.02/1798.00	c starts		: 29
1800.02/1798.00	c conflicts		: 6415608
1800.02/1798.00	c decisions		: 15870557
1800.02/1798.00	c propagations		: 170255845
1800.02/1798.00	c inspects		: 32327623826
1800.02/1798.00	c shortcuts		: 0
1800.02/1798.00	c learnt literals	: 0
1800.02/1798.00	c learnt binary clauses	: 0
1800.02/1798.00	c learnt ternary clauses	: 0
1800.02/1798.00	c learnt constraints	: 6415608
1800.02/1798.00	c ignored constraints	: 0
1800.02/1798.00	c root simplifications	: 0
1800.02/1798.00	c removed literals (reason simplification)	: 0
1800.02/1798.00	c reason swapping (by a shorter reason)	: 0
1800.02/1798.00	c Calls to reduceDB	: 108
1800.02/1798.00	c Number of update (reduction) of LBD	: 2973692
1800.02/1798.00	c Imported unit clauses	: 0
1800.02/1798.00	c number of reductions to clauses (during analyze)	: 0
1800.02/1798.00	c number of learned constraints concerned by reduction	: 0
1800.02/1798.00	c number of learning phase by resolution	: 0
1800.02/1798.00	c number of learning phase by cutting planes	: 0
1800.02/1798.00	c speed (assignments/second)	: 94700.75813619753
1800.02/1798.00	c non guided choices	15
1800.02/1798.03	c learnt constraints type 
1800.02/1798.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 208617
1800.02/1798.03	s SATISFIABLE
1800.02/1798.03	c Found 1 solution(s)
1800.02/1798.03	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 -x145 -x146 -x147 -x148 x149 -x150 -x151 -x152 x153 x154 x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 x164 -x165 -x166 x167 x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 x180 x181 x182 -x183 x184 -x185 x186 x187 x188 x189 -x190 -x191 -x192 x193 x194 x195 x196 -x197 -x198 -x199 -x200 x201 -x202 -x203 -x204 x205 x206 -x207 -x208 -x209 -x210 x211 x212 -x213 -x214 -x215 x216 -x217 -x218 x219 -x220 -x221 -x222 x223 -x224 x225 -x226 -x227 -x228 -x229 x230 x231 x232 -x233 -x234 -x235 -x236 x237 x238 x239 x240 -x241 x242 x243 x244 -x245 -x246 x247 x248 x249 x250 -x251 -x252 x253 x254 x255 -x256 x257 
1800.02/1798.03	c objective function=305
1800.02/1798.03	c Total wall clock time (in seconds): 1797.908

Verifier Data 

OK	305

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-4085347-1465234213/watcher-4085347-1465234213 -o /tmp/evaluation-result-4085347-1465234213/solver-4085347-1465234213 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1465218951-7201 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085347-1465234213.opb 

pid=13251
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: 2.17 2.18 2.18 3/195 13254
/proc/meminfo: memFree=30179940/32872528 swapFree=15784/1434320
[pid=13254] ppid=13251 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/13254/stat : 13254 (java) D 13251 13254 7184 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 105354556 9515008 183 33554432000 1073741824 1073778376 140735391047280 140735391038312 214369648309 0 0 4096 0 18446744072100588836 0 0 17 1 0 0 0 0 0
/proc/13254/statm: 2323 183 140 9 0 71 0

[startup+0.100121 s]
/proc/loadavg: 2.17 2.18 2.18 3/195 13254
/proc/meminfo: memFree=30179940/32872528 swapFree=15784/1434320
[pid=13254] ppid=13251 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/13254/stat : 13254 (java) S 13251 13254 7184 0 -1 4202496 4349 0 1 0 7 1 0 0 20 0 18 0 105354556 9787879424 5471 33554432000 1073741824 1073778376 140734986377888 140734986369024 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13254/statm: 2389619 5472 2097 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.200282 s]
/proc/loadavg: 2.17 2.18 2.18 3/195 13254
/proc/meminfo: memFree=30179940/32872528 swapFree=15784/1434320
[pid=13254] ppid=13251 vsize=9625296 CPUtime=0.23 cores=1,3,5,7
/proc/13254/stat : 13254 (java) S 13251 13254 7184 0 -1 4202496 4944 0 1 0 22 1 0 0 20 0 19 0 105354556 9856303104 7557 33554432000 1073741824 1073778376 140734986377888 140734986369024 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13254/statm: 2406324 7586 2214 9 0 2397001 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9625296

[startup+0.300279 s]
/proc/loadavg: 2.17 2.18 2.18 3/195 13254
/proc/meminfo: memFree=30179940/32872528 swapFree=15784/1434320
[pid=13254] ppid=13251 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/13254/stat : 13254 (java) S 13251 13254 7184 0 -1 4202496 6675 0 1 0 48 2 0 0 20 0 19 0 105354556 9856040960 8396 33554432000 1073741824 1073778376 140734986377888 140734986369024 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13254/statm: 2406260 8396 2243 9 0 2396937 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9625040

[startup+0.700256 s]
/proc/loadavg: 2.17 2.18 2.18 3/195 13254
/proc/meminfo: memFree=30179940/32872528 swapFree=15784/1434320
[pid=13254] ppid=13251 vsize=9625040 CPUtime=1.15 cores=1,3,5,7
/proc/13254/stat : 13254 (java) S 13251 13254 7184 0 -1 4202496 12401 0 1 0 112 3 0 0 20 0 19 0 105354556 9856040960 12894 33554432000 1073741824 1073778376 140734986377888 140734986369024 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13254/statm: 2406260 12894 2259 9 0 2396937 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 9625040

[startup+1.50077 s]
/proc/loadavg: 2.15 2.18 2.18 3/214 13273
/proc/meminfo: memFree=30134540/32872528 swapFree=15784/1434320
[pid=13254] ppid=13251 vsize=9625040 CPUtime=2.14 cores=1,3,5,7
/proc/13254/stat : 13254 (java) S 13251 13254 7184 0 -1 4202496 12933 0 1 0 211 3 0 0 20 0 19 0 105354556 9856040960 14623 33554432000 1073741824 1073778376 140734986377888 140734986369024 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13254/statm: 2406260 14623 2261 9 0 2396937 0
[pid=13254/tid=13256] ppid=13251 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/13254/task/13256/stat : 13256 (java) R 13251 13254 7184 0 -1 4202560 2415 0 1 0 146 0 0 0 20 0 19 0 105354557 9856040960 14623 33554432000 1073741824 1073778376 140734986377888 139766003272080 139765836370616 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13254/tid=13257] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13257/stat : 13257 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354558 9856040960 14623 33554432000 1073741824 1073778376 140734986377888 139765964765480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13258] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13258/stat : 13258 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354558 9856040960 14623 33554432000 1073741824 1073778376 140734986377888 139765963712680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13254/tid=13259] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13259/stat : 13259 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354558 9856040960 14623 33554432000 1073741824 1073778376 140734986377888 139765962660392 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13254/tid=13260] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13260/stat : 13260 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354558 9856040960 14623 33554432000 1073741824 1073778376 140734986377888 139765961607592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13261] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13261/stat : 13261 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354558 9856040960 14623 33554432000 1073741824 1073778376 140734986377888 139765960555304 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13262] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13262/stat : 13262 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354558 9856040960 14623 33554432000 1073741824 1073778376 140734986377888 139765959502504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13263] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13263/stat : 13263 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354558 9856040960 14623 33554432000 1073741824 1073778376 140734986377888 139765958450216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13264] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13264/stat : 13264 (java) S 13251 13254 7184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105354558 9856040960 14623 33554432000 1073741824 1073778376 140734986377888 139765957397416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13265] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13265/stat : 13265 (java) S 13251 13254 7184 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 105354559 9856040960 14623 33554432000 1073741824 1073778376 140734986377888 139765827463400 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13266] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13266/stat : 13266 (java) S 13251 13254 7184 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 105354560 9856040960 14623 33554432000 1073741824 1073778376 140734986377888 139765826409464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13267] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13267/stat : 13267 (java) S 13251 13254 7184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105354560 9856040960 14623 33554432000 1073741824 1073778376 140734986377888 139765825357064 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13254/tid=13268] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13268/stat : 13268 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354563 9856040960 14623 33554432000 1073741824 1073778376 140734986377888 139765824305552 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13269] ppid=13251 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/13254/task/13269/stat : 13269 (java) S 13251 13254 7184 0 -1 4202560 6869 0 0 0 35 1 0 0 20 0 19 0 105354563 9856040960 14623 33554432000 1073741824 1073778376 140734986377888 139765823253176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13270] ppid=13251 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/13254/task/13270/stat : 13270 (java) S 13251 13254 7184 0 -1 4202560 2377 0 0 0 28 0 0 0 20 0 19 0 105354563 9856040960 14623 33554432000 1073741824 1073778376 140734986377888 139765822200376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13271] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13271/stat : 13271 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354563 9856040960 14623 33554432000 1073741824 1073778376 140734986377888 139765821148280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13254/tid=13272] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13272/stat : 13272 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354563 9856040960 14623 33554432000 1073741824 1073778376 140734986377888 139764812475592 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13273] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13273/stat : 13273 (java) S 13251 13254 7184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105354574 9856040960 14623 33554432000 1073741824 1073778376 140734986377888 139764811420584 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.14
Current children cumulated vsize (KiB) 9625040

[startup+3.10075 s]
/proc/loadavg: 2.15 2.18 2.18 3/214 13273
/proc/meminfo: memFree=30127776/32872528 swapFree=15784/1434320
[pid=13254] ppid=13251 vsize=9625040 CPUtime=3.77 cores=1,3,5,7
/proc/13254/stat : 13254 (java) S 13251 13254 7184 0 -1 4202496 12945 0 1 0 374 3 0 0 20 0 19 0 105354556 9856040960 17190 33554432000 1073741824 1073778376 140734986377888 140734986369024 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13254/statm: 2406260 17190 2261 9 0 2396937 0
[pid=13254/tid=13256] ppid=13251 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/13254/task/13256/stat : 13256 (java) R 13251 13254 7184 0 -1 4202560 2420 0 1 0 304 2 0 0 20 0 19 0 105354557 9856040960 17190 33554432000 1073741824 1073778376 140734986377888 139766003265216 139765836427224 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13254/tid=13257] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13257/stat : 13257 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354558 9856040960 17190 33554432000 1073741824 1073778376 140734986377888 139765964765480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13258] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13258/stat : 13258 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354558 9856040960 17190 33554432000 1073741824 1073778376 140734986377888 139765963712680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13254/tid=13259] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13259/stat : 13259 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354558 9856040960 17190 33554432000 1073741824 1073778376 140734986377888 139765962660392 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13254/tid=13260] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13260/stat : 13260 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354558 9856040960 17190 33554432000 1073741824 1073778376 140734986377888 139765961607592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13261] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13261/stat : 13261 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354558 9856040960 17190 33554432000 1073741824 1073778376 140734986377888 139765960555304 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13262] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13262/stat : 13262 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354558 9856040960 17190 33554432000 1073741824 1073778376 140734986377888 139765959502504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13263] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13263/stat : 13263 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354558 9856040960 17190 33554432000 1073741824 1073778376 140734986377888 139765958450216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13264] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13264/stat : 13264 (java) S 13251 13254 7184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105354558 9856040960 17190 33554432000 1073741824 1073778376 140734986377888 139765957397416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13265] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13265/stat : 13265 (java) S 13251 13254 7184 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 105354559 9856040960 17190 33554432000 1073741824 1073778376 140734986377888 139765827463400 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13266] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13266/stat : 13266 (java) S 13251 13254 7184 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 105354560 9856040960 17190 33554432000 1073741824 1073778376 140734986377888 139765826409464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13267] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13267/stat : 13267 (java) S 13251 13254 7184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105354560 9856040960 17190 33554432000 1073741824 1073778376 140734986377888 139765825357064 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13254/tid=13268] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13268/stat : 13268 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354563 9856040960 17190 33554432000 1073741824 1073778376 140734986377888 139765824305552 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13269] ppid=13251 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/13254/task/13269/stat : 13269 (java) S 13251 13254 7184 0 -1 4202560 6876 0 0 0 38 2 0 0 20 0 19 0 105354563 9856040960 17190 33554432000 1073741824 1073778376 140734986377888 139765823253176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13270] ppid=13251 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/13254/task/13270/stat : 13270 (java) S 13251 13254 7184 0 -1 4202560 2377 0 0 0 28 0 0 0 20 0 19 0 105354563 9856040960 17190 33554432000 1073741824 1073778376 140734986377888 139765822200376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13271] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13271/stat : 13271 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354563 9856040960 17190 33554432000 1073741824 1073778376 140734986377888 139765821148280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13254/tid=13272] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13272/stat : 13272 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354563 9856040960 17190 33554432000 1073741824 1073778376 140734986377888 139764812475592 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13273] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13273/stat : 13273 (java) S 13251 13254 7184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105354574 9856040960 17190 33554432000 1073741824 1073778376 140734986377888 139764811420584 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.77
Current children cumulated vsize (KiB) 9625040

[startup+6.30077 s]
/proc/loadavg: 2.14 2.17 2.17 3/214 13273
/proc/meminfo: memFree=30115584/32872528 swapFree=15784/1434320
[pid=13254] ppid=13251 vsize=9625040 CPUtime=6.98 cores=1,3,5,7
/proc/13254/stat : 13254 (java) S 13251 13254 7184 0 -1 4202496 12955 0 1 0 694 4 0 0 20 0 19 0 105354556 9856040960 20131 33554432000 1073741824 1073778376 140734986377888 140734986369024 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13254/statm: 2406260 20131 2262 9 0 2396937 0
[pid=13254/tid=13256] ppid=13251 vsize=9625040 CPUtime=6.26 cores=1,3,5,7
/proc/13254/task/13256/stat : 13256 (java) R 13251 13254 7184 0 -1 4202560 2429 0 1 0 624 2 0 0 20 0 19 0 105354557 9856040960 20131 33554432000 1073741824 1073778376 140734986377888 139766003265216 139765836323768 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13254/tid=13257] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13257/stat : 13257 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354558 9856040960 20131 33554432000 1073741824 1073778376 140734986377888 139765964765480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13258] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13258/stat : 13258 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354558 9856040960 20131 33554432000 1073741824 1073778376 140734986377888 139765963712680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13254/tid=13259] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13259/stat : 13259 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354558 9856040960 20131 33554432000 1073741824 1073778376 140734986377888 139765962660392 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13254/tid=13260] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13260/stat : 13260 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354558 9856040960 20131 33554432000 1073741824 1073778376 140734986377888 139765961607592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13261] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13261/stat : 13261 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354558 9856040960 20131 33554432000 1073741824 1073778376 140734986377888 139765960555304 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13262] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13262/stat : 13262 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354558 9856040960 20131 33554432000 1073741824 1073778376 140734986377888 139765959502504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13263] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13263/stat : 13263 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354558 9856040960 20131 33554432000 1073741824 1073778376 140734986377888 139765958450216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13264] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13264/stat : 13264 (java) S 13251 13254 7184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105354558 9856040960 20131 33554432000 1073741824 1073778376 140734986377888 139765957397416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13265] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13265/stat : 13265 (java) S 13251 13254 7184 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 105354559 9856040960 20131 33554432000 1073741824 1073778376 140734986377888 139765827463400 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13266] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13266/stat : 13266 (java) S 13251 13254 7184 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 105354560 9856040960 20131 33554432000 1073741824 1073778376 140734986377888 139765826409464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13267] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13267/stat : 13267 (java) S 13251 13254 7184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105354560 9856040960 20131 33554432000 1073741824 1073778376 140734986377888 139765825357064 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13254/tid=13268] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13268/stat : 13268 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354563 9856040960 20131 33554432000 1073741824 1073778376 140734986377888 139765824305552 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13269] ppid=13251 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/13254/task/13269/stat : 13269 (java) S 13251 13254 7184 0 -1 4202560 6876 0 0 0 38 2 0 0 20 0 19 0 105354563 9856040960 20131 33554432000 1073741824 1073778376 140734986377888 139765823253176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13270] ppid=13251 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/13254/task/13270/stat : 13270 (java) S 13251 13254 7184 0 -1 4202560 2377 0 0 0 28 0 0 0 20 0 19 0 105354563 9856040960 20131 33554432000 1073741824 1073778376 140734986377888 139765822200376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13271] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13271/stat : 13271 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354563 9856040960 20131 33554432000 1073741824 1073778376 140734986377888 139765821148280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13254/tid=13272] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13272/stat : 13272 (java) S 13251 13254 7184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 105354563 9856040960 20131 33554432000 1073741824 1073778376 140734986377888 139764812475592 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13273] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13273/stat : 13273 (java) S 13251 13254 7184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105354574 9856040960 20131 33554432000 1073741824 1073778376 140734986377888 139764811420584 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.98
Current children cumulated vsize (KiB) 9625040


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

[pid=13254/tid=13266] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13266/stat : 13266 (java) S 13251 13254 7184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105354560 9856040960 84978 33554432000 1073741824 1073778376 140734986377888 139765826409464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13267] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13267/stat : 13267 (java) S 13251 13254 7184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 105354560 9856040960 84978 33554432000 1073741824 1073778376 140734986377888 139765825357064 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13254/tid=13268] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13268/stat : 13268 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354563 9856040960 84978 33554432000 1073741824 1073778376 140734986377888 139765824305552 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13269] ppid=13251 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/13254/task/13269/stat : 13269 (java) S 13251 13254 7184 0 -1 4202560 6878 0 0 0 40 2 0 0 20 0 19 0 105354563 9856040960 84978 33554432000 1073741824 1073778376 140734986377888 139765823253176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13270] ppid=13251 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/13254/task/13270/stat : 13270 (java) S 13251 13254 7184 0 -1 4202560 2377 0 0 0 28 0 0 0 20 0 19 0 105354563 9856040960 84978 33554432000 1073741824 1073778376 140734986377888 139765822200376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13271] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13271/stat : 13271 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354563 9856040960 84978 33554432000 1073741824 1073778376 140734986377888 139765821148280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13254/tid=13272] ppid=13251 vsize=9625040 CPUtime=0.72 cores=1,3,5,7
/proc/13254/task/13272/stat : 13272 (java) S 13251 13254 7184 0 -1 4202560 96 0 0 0 33 39 0 0 20 0 19 0 105354563 9856040960 84978 33554432000 1073741824 1073778376 140734986377888 139764812475592 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13273] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13273/stat : 13273 (java) S 13251 13254 7184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105354574 9856040960 84978 33554432000 1073741824 1073778376 140734986377888 139764811420584 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1664.24
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.24 2.25 2.19 3/213 13378
/proc/meminfo: memFree=26737816/32872528 swapFree=15784/1434320
[pid=13254] ppid=13251 vsize=9625040 CPUtime=1724.3 cores=1,3,5,7
/proc/13254/stat : 13254 (java) S 13251 13254 7184 0 -1 4202496 14479 0 1 0 172371 59 0 0 20 0 19 0 105354556 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 140734986369024 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13254/statm: 2406260 85487 2276 9 0 2396937 0
[pid=13254/tid=13256] ppid=13251 vsize=9625040 CPUtime=1721.84 cores=1,3,5,7
/proc/13254/task/13256/stat : 13256 (java) R 13251 13254 7184 0 -1 4202560 2488 0 1 0 172149 35 0 0 20 0 19 0 105354557 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139766003272960 139765836427219 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13257] ppid=13251 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/13254/task/13257/stat : 13257 (java) S 13251 13254 7184 0 -1 4202560 232 0 0 0 11 3 0 0 20 0 19 0 105354558 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765964765480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13254/tid=13258] ppid=13251 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/13254/task/13258/stat : 13258 (java) S 13251 13254 7184 0 -1 4202560 173 0 0 0 17 2 0 0 20 0 19 0 105354558 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765963712680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13254/tid=13259] ppid=13251 vsize=9625040 CPUtime=0.13 cores=1,3,5,7
/proc/13254/task/13259/stat : 13259 (java) S 13251 13254 7184 0 -1 4202560 210 0 0 0 11 2 0 0 20 0 19 0 105354558 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765962660392 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13254/tid=13260] ppid=13251 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/13254/task/13260/stat : 13260 (java) S 13251 13254 7184 0 -1 4202560 279 0 0 0 15 1 0 0 20 0 19 0 105354558 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765961607592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13261] ppid=13251 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/13254/task/13261/stat : 13261 (java) S 13251 13254 7184 0 -1 4202560 87 0 0 0 14 2 0 0 20 0 19 0 105354558 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765960555304 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13262] ppid=13251 vsize=9625040 CPUtime=0.13 cores=1,3,5,7
/proc/13254/task/13262/stat : 13262 (java) S 13251 13254 7184 0 -1 4202560 56 0 0 0 13 0 0 0 20 0 19 0 105354558 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765959502504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13263] ppid=13251 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/13254/task/13263/stat : 13263 (java) S 13251 13254 7184 0 -1 4202560 187 0 0 0 14 2 0 0 20 0 19 0 105354558 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765958450216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13264] ppid=13251 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/13254/task/13264/stat : 13264 (java) S 13251 13254 7184 0 -1 4202560 87 0 0 0 12 3 0 0 20 0 19 0 105354558 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765957397416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13254/tid=13265] ppid=13251 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/13254/task/13265/stat : 13265 (java) S 13251 13254 7184 0 -1 4202560 67 0 0 0 0 2 0 0 20 0 19 0 105354559 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765827463400 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13266] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13266/stat : 13266 (java) S 13251 13254 7184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105354560 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765826409464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13267] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13267/stat : 13267 (java) S 13251 13254 7184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 105354560 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765825357064 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13254/tid=13268] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13268/stat : 13268 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354563 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765824305552 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13269] ppid=13251 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/13254/task/13269/stat : 13269 (java) S 13251 13254 7184 0 -1 4202560 6878 0 0 0 40 2 0 0 20 0 19 0 105354563 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765823253176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13270] ppid=13251 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/13254/task/13270/stat : 13270 (java) S 13251 13254 7184 0 -1 4202560 2377 0 0 0 28 0 0 0 20 0 19 0 105354563 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765822200376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13271] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13271/stat : 13271 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354563 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765821148280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13254/tid=13272] ppid=13251 vsize=9625040 CPUtime=0.75 cores=1,3,5,7
/proc/13254/task/13272/stat : 13272 (java) S 13251 13254 7184 0 -1 4202560 100 0 0 0 35 40 0 0 20 0 19 0 105354563 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139764812475592 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13273] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13273/stat : 13273 (java) S 13251 13254 7184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105354574 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139764811420584 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1724.3
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.58 2.35 2.23 3/213 13379
/proc/meminfo: memFree=26777472/32872528 swapFree=15784/1434320
[pid=13254] ppid=13251 vsize=9625040 CPUtime=1784.32 cores=1,3,5,7
/proc/13254/stat : 13254 (java) S 13251 13254 7184 0 -1 4202496 14483 0 1 0 178371 61 0 0 20 0 19 0 105354556 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 140734986369024 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13254/statm: 2406260 85487 2276 9 0 2396937 0
[pid=13254/tid=13256] ppid=13251 vsize=9625040 CPUtime=1781.84 cores=1,3,5,7
/proc/13254/task/13256/stat : 13256 (java) R 13251 13254 7184 0 -1 4202560 2488 0 1 0 178148 36 0 0 20 0 19 0 105354557 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139766003265216 139765836427219 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13257] ppid=13251 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/13254/task/13257/stat : 13257 (java) S 13251 13254 7184 0 -1 4202560 232 0 0 0 11 3 0 0 20 0 19 0 105354558 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765964765480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13254/tid=13258] ppid=13251 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/13254/task/13258/stat : 13258 (java) S 13251 13254 7184 0 -1 4202560 173 0 0 0 17 2 0 0 20 0 19 0 105354558 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765963712680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13254/tid=13259] ppid=13251 vsize=9625040 CPUtime=0.13 cores=1,3,5,7
/proc/13254/task/13259/stat : 13259 (java) S 13251 13254 7184 0 -1 4202560 210 0 0 0 11 2 0 0 20 0 19 0 105354558 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765962660392 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13254/tid=13260] ppid=13251 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/13254/task/13260/stat : 13260 (java) S 13251 13254 7184 0 -1 4202560 279 0 0 0 15 1 0 0 20 0 19 0 105354558 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765961607592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13261] ppid=13251 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/13254/task/13261/stat : 13261 (java) S 13251 13254 7184 0 -1 4202560 87 0 0 0 14 2 0 0 20 0 19 0 105354558 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765960555304 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13262] ppid=13251 vsize=9625040 CPUtime=0.13 cores=1,3,5,7
/proc/13254/task/13262/stat : 13262 (java) S 13251 13254 7184 0 -1 4202560 56 0 0 0 13 0 0 0 20 0 19 0 105354558 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765959502504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13263] ppid=13251 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/13254/task/13263/stat : 13263 (java) S 13251 13254 7184 0 -1 4202560 187 0 0 0 14 2 0 0 20 0 19 0 105354558 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765958450216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13264] ppid=13251 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/13254/task/13264/stat : 13264 (java) S 13251 13254 7184 0 -1 4202560 87 0 0 0 12 3 0 0 20 0 19 0 105354558 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765957397416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13254/tid=13265] ppid=13251 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/13254/task/13265/stat : 13265 (java) S 13251 13254 7184 0 -1 4202560 67 0 0 0 0 2 0 0 20 0 19 0 105354559 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765827463400 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13266] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13266/stat : 13266 (java) S 13251 13254 7184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105354560 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765826409464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13267] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13267/stat : 13267 (java) S 13251 13254 7184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 105354560 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765825357064 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13254/tid=13268] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13268/stat : 13268 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354563 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765824305552 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13269] ppid=13251 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/13254/task/13269/stat : 13269 (java) S 13251 13254 7184 0 -1 4202560 6878 0 0 0 40 2 0 0 20 0 19 0 105354563 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765823253176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13270] ppid=13251 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/13254/task/13270/stat : 13270 (java) S 13251 13254 7184 0 -1 4202560 2377 0 0 0 28 0 0 0 20 0 19 0 105354563 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765822200376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13271] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13271/stat : 13271 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354563 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765821148280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13254/tid=13272] ppid=13251 vsize=9625040 CPUtime=0.79 cores=1,3,5,7
/proc/13254/task/13272/stat : 13272 (java) S 13251 13254 7184 0 -1 4202560 104 0 0 0 36 43 0 0 20 0 19 0 105354563 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139764812475592 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13273] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13273/stat : 13273 (java) S 13251 13254 7184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105354574 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139764811420584 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1784.32
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798 s]
/proc/loadavg: 2.59 2.36 2.24 3/214 13382
/proc/meminfo: memFree=26776720/32872528 swapFree=15784/1434320
[pid=13254] ppid=13251 vsize=9625040 CPUtime=1800.02 cores=1,3,5,7
/proc/13254/stat : 13254 (java) S 13251 13254 7184 0 -1 4202496 14483 0 1 0 179941 61 0 0 20 0 19 0 105354556 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 140734986369024 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13254/statm: 2406260 85487 2276 9 0 2396937 0
[pid=13254/tid=13256] ppid=13251 vsize=9625040 CPUtime=1797.54 cores=1,3,5,7
/proc/13254/task/13256/stat : 13256 (java) R 13251 13254 7184 0 -1 4202560 2488 0 1 0 179718 36 0 0 20 0 19 0 105354557 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139766003265216 139765836427219 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13257] ppid=13251 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/13254/task/13257/stat : 13257 (java) S 13251 13254 7184 0 -1 4202560 232 0 0 0 11 3 0 0 20 0 19 0 105354558 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765964765480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13254/tid=13258] ppid=13251 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/13254/task/13258/stat : 13258 (java) S 13251 13254 7184 0 -1 4202560 173 0 0 0 17 2 0 0 20 0 19 0 105354558 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765963712680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13254/tid=13259] ppid=13251 vsize=9625040 CPUtime=0.13 cores=1,3,5,7
/proc/13254/task/13259/stat : 13259 (java) S 13251 13254 7184 0 -1 4202560 210 0 0 0 11 2 0 0 20 0 19 0 105354558 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765962660392 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13254/tid=13260] ppid=13251 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/13254/task/13260/stat : 13260 (java) S 13251 13254 7184 0 -1 4202560 279 0 0 0 15 1 0 0 20 0 19 0 105354558 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765961607592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13261] ppid=13251 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/13254/task/13261/stat : 13261 (java) S 13251 13254 7184 0 -1 4202560 87 0 0 0 14 2 0 0 20 0 19 0 105354558 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765960555304 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13262] ppid=13251 vsize=9625040 CPUtime=0.13 cores=1,3,5,7
/proc/13254/task/13262/stat : 13262 (java) S 13251 13254 7184 0 -1 4202560 56 0 0 0 13 0 0 0 20 0 19 0 105354558 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765959502504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13263] ppid=13251 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/13254/task/13263/stat : 13263 (java) S 13251 13254 7184 0 -1 4202560 187 0 0 0 14 2 0 0 20 0 19 0 105354558 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765958450216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13264] ppid=13251 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/13254/task/13264/stat : 13264 (java) S 13251 13254 7184 0 -1 4202560 87 0 0 0 12 3 0 0 20 0 19 0 105354558 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765957397416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13254/tid=13265] ppid=13251 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/13254/task/13265/stat : 13265 (java) S 13251 13254 7184 0 -1 4202560 67 0 0 0 0 2 0 0 20 0 19 0 105354559 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765827463400 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13266] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13266/stat : 13266 (java) S 13251 13254 7184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105354560 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765826409464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13267] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13267/stat : 13267 (java) S 13251 13254 7184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 105354560 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765825357064 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13254/tid=13268] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13268/stat : 13268 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354563 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765824305552 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13269] ppid=13251 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/13254/task/13269/stat : 13269 (java) S 13251 13254 7184 0 -1 4202560 6878 0 0 0 40 2 0 0 20 0 19 0 105354563 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765823253176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13254/tid=13270] ppid=13251 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/13254/task/13270/stat : 13270 (java) S 13251 13254 7184 0 -1 4202560 2377 0 0 0 28 0 0 0 20 0 19 0 105354563 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765822200376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13271] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13271/stat : 13271 (java) S 13251 13254 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105354563 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139765821148280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13254/tid=13272] ppid=13251 vsize=9625040 CPUtime=0.79 cores=1,3,5,7
/proc/13254/task/13272/stat : 13272 (java) S 13251 13254 7184 0 -1 4202560 104 0 0 0 36 43 0 0 20 0 19 0 105354563 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139764812475592 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13254/tid=13273] ppid=13251 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13254/task/13273/stat : 13273 (java) S 13251 13254 7184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105354574 9856040960 85487 33554432000 1073741824 1073778376 140734986377888 139764811420584 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9625040

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 13254 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 1798.04
CPU time (s): 1800.61
CPU user time (s): 1799.49
CPU system time (s): 1.12383
CPU usage (%): 100.143
Max. virtual memory (cumulated for all children) (KiB): 9625296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.49
system time used= 1.12383
maximum resident set size= 342104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14529
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38360
involuntary context switches= 4843

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4724 second user time and 14.5248 second system time

The end

Launcher Data 

Begin job on node130 at 2016-06-06 19:30:13
IDJOB=4085347
IDBENCH=2232
IDSOLVER=2546
FILE ID=node130/4085347-1465234213
RUNJOBID= node130-1465218951-7201
PBS_JOBID= 19843207
Free space on /tmp= 71748 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-6.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085347-1465234213/watcher-4085347-1465234213 -o /tmp/evaluation-result-4085347-1465234213/solver-4085347-1465234213 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1465218951-7201 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4085347-1465234213.opb

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

MD5SUM BENCH= dcfce19ac0444148b26b7675e35c76bc
RANDOM SEED=1665894534

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.261
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.61
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.261
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.261
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.261
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.261
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:        30180228 kB
Buffers:           27916 kB
Cached:            93696 kB
SwapCached:         1756 kB
Active:           491208 kB
Inactive:          61576 kB
Active(anon):     432400 kB
Inactive(anon):     1256 kB
Active(file):      58808 kB
Inactive(file):    60320 kB
Unevictable:     1434320 kB
Mlocked:           15784 kB
SwapTotal:      67108856 kB
SwapFree:       67098348 kB
Dirty:               888 kB
Writeback:             0 kB
AnonPages:       1826416 kB
Mapped:            15420 kB
Shmem:                 0 kB
Slab:             567544 kB
SReclaimable:      10988 kB
SUnreclaim:       556556 kB
KernelStack:        1632 kB
PageTables:         8068 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2001908 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1798144 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= 71744 MiB
End job on node130 at 2016-06-06 20:00:11