Trace number 4085156

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 PB16? (TO) 1800.8 1776.24

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-l152lav.opb
MD5SUM1a5510d564851e49e3b50f1a87922ca2
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5556
Best CPU time to get the best result obtained on this benchmark1800.47
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4722
Optimality of the best value was proved YES
Number of variables1989
Total number of constraints97
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)96
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint3
Maximum length of a constraint1989
Number of terms in the objective function 1989
Biggest coefficient in the objective function 268
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 382524
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 268
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 382524
Number of bits of the biggest sum of numbers19
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.09/0.10	c version PB16.v20160501
0.09/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.09/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.09/0.10	c java.vm.version	19.1-b02
0.09/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.09/0.10	c sun.arch.data.model	64
0.09/0.10	c java.version		1.6.0_24
0.09/0.10	c os.name		Linux
0.09/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.09/0.10	c os.arch		amd64
0.09/0.10	c Free memory 		501472288
0.09/0.10	c Max memory 		7480803328
0.09/0.10	c Total memory 		504102912
0.09/0.10	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/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.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4085156-1465222602.opb
0.09/0.12	c reading problem ... 
0.09/0.13	c  objective function found
0.27/0.29	c ... done. Wall clock time 0.163s.
0.27/0.29	c declared #vars     1989
0.27/0.29	c #constraints  193
0.27/0.29	c constraints type 
0.27/0.29	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 95
0.27/0.29	c org.sat4j.minisat.constraints.card.MinWatchCard => 97
0.27/0.29	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
0.27/0.29	c 193 constraints processed.
0.27/0.29	c objective function length is 1989 literals
1.47/0.81	c cleaning 2471 clauses out of 5000 with flag 16072/5000
1.85/1.16	c cleaning 4263 clauses out of 8530 with flag 36049/11001
2.36/1.60	c cleaning 5632 clauses out of 11266 with flag 62801/18000
2.86/2.12	c cleaning 6805 clauses out of 13635 with flag 93603/26001
3.48/2.79	c cleaning 7909 clauses out of 15829 with flag 131951/35000
4.28/3.57	c cleaning 8956 clauses out of 17920 with flag 175929/45000
5.19/4.46	c cleaning 9982 clauses out of 19966 with flag 222354/56002
6.19/5.47	c cleaning 10983 clauses out of 21983 with flag 277987/68001
7.39/6.66	c cleaning 12000 clauses out of 23999 with flag 340449/81000
8.59/7.88	c cleaning 12997 clauses out of 26001 with flag 399344/95002
9.98/9.24	c cleaning 14001 clauses out of 28003 with flag 454613/110001
11.61/10.80	c cleaning 14998 clauses out of 30001 with flag 516723/126000
13.41/12.65	c cleaning 16004 clauses out of 32007 with flag 597439/143004
15.31/14.59	c cleaning 16996 clauses out of 33999 with flag 673405/161000
17.51/16.72	c cleaning 17994 clauses out of 36005 with flag 756570/180002
19.62/18.84	c cleaning 19003 clauses out of 38010 with flag 834988/200001
21.61/20.89	c cleaning 20002 clauses out of 40006 with flag 910342/221000
24.16/23.30	c cleaning 20998 clauses out of 42005 with flag 989714/243001
26.96/26.17	c cleaning 21992 clauses out of 44006 with flag 1090049/266000
30.06/29.29	c cleaning 23001 clauses out of 46015 with flag 1202342/290001
33.45/32.56	c cleaning 24003 clauses out of 48013 with flag 1313995/315000
37.05/36.16	c cleaning 25001 clauses out of 50011 with flag 1424140/341001
41.02/39.98	c cleaning 25992 clauses out of 52010 with flag 1534524/368001
44.32/43.28	c cleaning 27000 clauses out of 54017 with flag 1658684/396000
47.52/46.48	c cleaning 28004 clauses out of 56017 with flag 1774635/425000
51.02/49.89	c cleaning 29003 clauses out of 58013 with flag 1882517/455000
54.52/53.33	c cleaning 29998 clauses out of 60010 with flag 2010593/486000
58.58/57.29	c cleaning 31003 clauses out of 62012 with flag 2141742/518000
62.28/60.95	c cleaning 32003 clauses out of 64011 with flag 2276686/551002
67.45/65.97	c cleaning 32996 clauses out of 66006 with flag 2407633/585000
72.25/70.72	c cleaning 33998 clauses out of 68011 with flag 2559342/620001
77.11/75.42	c cleaning 34999 clauses out of 70012 with flag 2707412/656000
81.71/80.04	c cleaning 36002 clauses out of 72013 with flag 2877055/693000
85.83/84.05	c cleaning 37004 clauses out of 74014 with flag 3034038/731003
90.66/88.75	c cleaning 37995 clauses out of 76009 with flag 3168615/770002
95.26/93.39	c cleaning 39002 clauses out of 78014 with flag 3314603/810002
100.02/98.09	c cleaning 39991 clauses out of 80010 with flag 3484411/851000
105.66/103.62	c cleaning 40998 clauses out of 82020 with flag 3630844/893001
111.77/109.69	c cleaning 42004 clauses out of 84021 with flag 3786260/936000
118.56/116.35	c cleaning 43003 clauses out of 86017 with flag 3947118/980000
125.45/123.18	c cleaning 43996 clauses out of 88014 with flag 4121073/1025000
132.81/130.47	c cleaning 45003 clauses out of 90019 with flag 4301940/1071001
139.73/137.23	c cleaning 45996 clauses out of 92015 with flag 4502947/1118000
146.22/143.60	c cleaning 47003 clauses out of 94021 with flag 4707503/1166002
152.40/149.77	c cleaning 48005 clauses out of 96017 with flag 4923782/1215001
159.69/156.90	c cleaning 49003 clauses out of 98012 with flag 5112038/1265001
167.83/165.00	c cleaning 49993 clauses out of 100008 with flag 5315369/1316000
174.32/171.46	c cleaning 50999 clauses out of 102015 with flag 5539571/1368000
181.88/178.88	c cleaning 52005 clauses out of 104016 with flag 5765767/1421000
188.86/185.71	c cleaning 52997 clauses out of 106012 with flag 5998645/1475001
196.31/193.11	c cleaning 53991 clauses out of 108014 with flag 6262991/1530000
203.67/200.49	c cleaning 55004 clauses out of 110024 with flag 6527009/1586001
212.78/209.40	c cleaning 56010 clauses out of 112020 with flag 6795937/1643001
221.91/218.40	c cleaning 56998 clauses out of 114011 with flag 7049906/1701002
229.89/226.26	c cleaning 57997 clauses out of 116011 with flag 7302010/1760000
238.97/235.21	c cleaning 59004 clauses out of 118014 with flag 7571093/1820000
248.21/244.30	c cleaning 59991 clauses out of 120010 with flag 7858392/1881000
258.18/254.13	c cleaning 61005 clauses out of 122020 with flag 8153578/1943001
267.02/262.80	c cleaning 62002 clauses out of 124015 with flag 8434003/2006001
277.86/273.59	c cleaning 62999 clauses out of 126013 with flag 8750756/2070001
288.45/284.08	c cleaning 64001 clauses out of 128013 with flag 9088243/2135000
297.87/293.32	c cleaning 65006 clauses out of 130012 with flag 9425212/2201000
308.16/303.49	c cleaning 65997 clauses out of 132007 with flag 9684350/2268001
317.87/313.04	c cleaning 66996 clauses out of 134009 with flag 10018793/2336000
333.31/328.14	c cleaning 68003 clauses out of 136014 with flag 10386039/2405001
348.23/342.84	c cleaning 68997 clauses out of 138010 with flag 10708620/2475000
363.75/358.04	c cleaning 69992 clauses out of 140013 with flag 11066318/2546000
379.22/373.36	c cleaning 71001 clauses out of 142021 with flag 11415388/2618000
393.99/387.95	c cleaning 72000 clauses out of 144020 with flag 11733273/2691000
405.44/399.26	c cleaning 72999 clauses out of 146021 with flag 12081670/2765001
416.25/409.95	c cleaning 74000 clauses out of 148021 with flag 12398082/2840000
429.88/423.38	c cleaning 75007 clauses out of 150021 with flag 12703062/2916000
441.80/435.02	c cleaning 76004 clauses out of 152014 with flag 13046598/2993000
456.89/449.94	c cleaning 76999 clauses out of 154011 with flag 13369360/3071001
472.73/465.66	c cleaning 77995 clauses out of 156011 with flag 13737868/3150000
486.19/478.91	c cleaning 78998 clauses out of 158017 with flag 14082360/3230001
503.63/496.17	c cleaning 80002 clauses out of 160019 with flag 14398672/3311001
520.99/513.31	c cleaning 80992 clauses out of 162016 with flag 14811416/3393000
540.49/532.61	c cleaning 82000 clauses out of 164025 with flag 15210281/3476001
554.41/546.37	c cleaning 82999 clauses out of 166025 with flag 15580118/3560001
572.27/563.95	c cleaning 84004 clauses out of 168028 with flag 15939135/3645003
593.13/584.53	c cleaning 84995 clauses out of 170021 with flag 16308679/3731000
610.68/601.81	c cleaning 86011 clauses out of 172027 with flag 16676795/3818001
630.77/621.77	c cleaning 87003 clauses out of 174017 with flag 17062284/3906002
645.01/635.72	c cleaning 88001 clauses out of 176012 with flag 17385953/3995000
661.45/651.93	c cleaning 88994 clauses out of 178011 with flag 17766927/4085000
677.76/667.93	c cleaning 90004 clauses out of 180018 with flag 18164044/4176001
692.86/682.72	c cleaning 91003 clauses out of 182013 with flag 18616473/4268000
710.41/700.07	c cleaning 91999 clauses out of 184010 with flag 19069824/4361000
727.47/716.85	c cleaning 93005 clauses out of 186012 with flag 19556947/4455001
744.03/733.17	c cleaning 93994 clauses out of 188007 with flag 19965986/4550001
762.32/751.22	c cleaning 95003 clauses out of 190013 with flag 20345429/4646001
779.58/768.39	c cleaning 95996 clauses out of 192010 with flag 20757376/4743001
796.43/785.06	c cleaning 97001 clauses out of 194014 with flag 21197050/4841001
812.49/800.93	c cleaning 97999 clauses out of 196012 with flag 21688028/4940000
833.22/821.47	c cleaning 98994 clauses out of 198013 with flag 22127504/5040000
857.51/845.44	c cleaning 100001 clauses out of 200019 with flag 22495619/5141000
880.61/868.35	c cleaning 100997 clauses out of 202018 with flag 22872117/5243000
902.92/890.34	c cleaning 102000 clauses out of 204022 with flag 23269093/5346001
922.07/909.26	c cleaning 103000 clauses out of 206021 with flag 23767291/5450000
942.22/929.13	c cleaning 104007 clauses out of 208021 with flag 24271952/5555000
960.89/947.54	c cleaning 104992 clauses out of 210015 with flag 24736157/5661001
983.02/969.30	c cleaning 106008 clauses out of 212023 with flag 25262753/5768001
1002.54/988.59	c cleaning 107000 clauses out of 214014 with flag 25809070/5876000
1025.73/1011.43	c cleaning 107982 clauses out of 216014 with flag 26287995/5985000
1047.85/1033.31	c cleaning 109004 clauses out of 218032 with flag 26798426/6095000
1069.75/1054.88	c cleaning 110003 clauses out of 220028 with flag 27346912/6206000
1093.03/1077.82	c cleaning 111005 clauses out of 222026 with flag 27865684/6318001
1115.06/1099.42	c cleaning 111998 clauses out of 224020 with flag 28429936/6431000
1140.63/1124.85	c cleaning 113002 clauses out of 226022 with flag 28910366/6545000
1171.39/1155.24	c cleaning 114007 clauses out of 228021 with flag 29433983/6660001
1201.67/1185.29	c cleaning 114994 clauses out of 230014 with flag 29898251/6776001
1236.57/1219.86	c cleaning 116000 clauses out of 232019 with flag 30324356/6893000
1272.07/1255.05	c cleaning 117004 clauses out of 234019 with flag 30744326/7011000
1304.22/1286.74	c cleaning 118002 clauses out of 236016 with flag 31193295/7130001
1338.11/1320.21	c cleaning 119007 clauses out of 238013 with flag 31689003/7250000
1372.13/1353.85	c cleaning 119996 clauses out of 240006 with flag 32202258/7371000
1399.67/1381.03	c cleaning 120998 clauses out of 242011 with flag 32766334/7493001
1425.95/1406.94	c cleaning 121993 clauses out of 244014 with flag 33385730/7616002
1456.41/1437.19	c cleaning 122997 clauses out of 246019 with flag 33839614/7740000
1488.22/1468.65	c cleaning 124002 clauses out of 248022 with flag 34277299/7865000
1521.42/1501.34	c cleaning 125006 clauses out of 250021 with flag 34730664/7991001
1555.29/1534.79	c cleaning 125995 clauses out of 252015 with flag 35184573/8118001
1592.16/1571.36	c cleaning 127003 clauses out of 254021 with flag 35637073/8246002
1620.26/1598.97	c cleaning 128001 clauses out of 256016 with flag 36228436/8375000
1648.46/1626.67	c cleaning 128998 clauses out of 258016 with flag 36910832/8505001
1682.65/1660.40	c cleaning 130003 clauses out of 260018 with flag 37554128/8636001
1710.47/1687.77	c cleaning 130999 clauses out of 262014 with flag 38119871/8768000
1752.55/1729.40	c cleaning 131997 clauses out of 264015 with flag 38614617/8901000
1785.85/1762.24	c cleaning 133008 clauses out of 266018 with flag 39185119/9035000
1800.04/1776.20	c starts		: 2560
1800.04/1776.20	c conflicts		: 9097290
1800.04/1776.20	c decisions		: 11289677
1800.04/1776.20	c propagations		: 96965239
1800.04/1776.20	c inspects		: 28414083734
1800.04/1776.20	c shortcuts		: 0
1800.04/1776.20	c learnt literals	: 0
1800.04/1776.20	c learnt binary clauses	: 0
1800.04/1776.20	c learnt ternary clauses	: 1
1800.04/1776.20	c learnt constraints	: 9097290
1800.04/1776.20	c ignored constraints	: 0
1800.04/1776.20	c root simplifications	: 0
1800.04/1776.20	c removed literals (reason simplification)	: 0
1800.04/1776.20	c reason swapping (by a shorter reason)	: 0
1800.04/1776.20	c Calls to reduceDB	: 130
1800.04/1776.20	c Number of update (reduction) of LBD	: 882556
1800.04/1776.20	c Imported unit clauses	: 0
1800.04/1776.20	c number of reductions to clauses (during analyze)	: 0
1800.04/1776.20	c number of learned constraints concerned by reduction	: 0
1800.04/1776.20	c number of learning phase by resolution	: 0
1800.04/1776.20	c timeout
1800.04/1776.20	c number of learning phase by cutting planes	: 0
1800.04/1776.20	c speed (assignments/second)	: 54600.52716843206
1800.04/1776.20	c non guided choices	58
1800.04/1776.23	c learnt constraints type 
1800.04/1776.23	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 195300
1800.04/1776.23	s UNKNOWN
1800.04/1776.23	c Total wall clock time (in seconds): 1776.109

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4085156-1465222602/watcher-4085156-1465222602 -o /tmp/evaluation-result-4085156-1465222602/solver-4085156-1465222602 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1465216773-5890 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085156-1465222602.opb 

pid=8013
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.21 2.23 2.18 3/194 8016
/proc/meminfo: memFree=30553824/32872528 swapFree=16740/1306504
[pid=8016] ppid=8013 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/8016/stat : 8016 (java) D 8013 8016 5873 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 104192758 2560000 46 33554432000 1073741824 1073778376 140734077458464 140734077455592 214528257319 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/8016/statm: 625 46 37 9 0 29 0

[startup+0.100061 s]
/proc/loadavg: 2.21 2.23 2.18 3/194 8016
/proc/meminfo: memFree=30553824/32872528 swapFree=16740/1306504
[pid=8016] ppid=8013 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/8016/stat : 8016 (java) S 8013 8016 5873 0 -1 4202496 4340 0 1 0 8 1 0 0 20 0 18 0 104192758 9787879424 5457 33554432000 1073741824 1073778376 140734077458464 140734077449600 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8016/statm: 2389619 5458 2097 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200221 s]
/proc/loadavg: 2.21 2.23 2.18 3/194 8016
/proc/meminfo: memFree=30553824/32872528 swapFree=16740/1306504
[pid=8016] ppid=8013 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/8016/stat : 8016 (java) S 8013 8016 5873 0 -1 4202496 4980 0 1 0 26 1 0 0 20 0 18 0 104192758 9787879424 6961 33554432000 1073741824 1073778376 140734077458464 140734077449600 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8016/statm: 2389619 6961 2220 9 0 2380296 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476

[startup+0.300235 s]
/proc/loadavg: 2.21 2.23 2.18 3/194 8016
/proc/meminfo: memFree=30553824/32872528 swapFree=16740/1306504
[pid=8016] ppid=8013 vsize=9558476 CPUtime=0.52 cores=1,3,5,7
/proc/8016/stat : 8016 (java) S 8013 8016 5873 0 -1 4202496 7080 0 1 0 50 2 0 0 20 0 18 0 104192758 9787879424 10397 33554432000 1073741824 1073778376 140734077458464 140734077449600 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8016/statm: 2389619 10397 2239 9 0 2380296 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9558476

[startup+0.700294 s]
/proc/loadavg: 2.21 2.23 2.18 3/194 8016
/proc/meminfo: memFree=30553824/32872528 swapFree=16740/1306504
[pid=8016] ppid=8013 vsize=9625040 CPUtime=1.36 cores=1,3,5,7
/proc/8016/stat : 8016 (java) S 8013 8016 5873 0 -1 4202496 9010 0 1 0 133 3 0 0 20 0 19 0 104192758 9856040960 12576 33554432000 1073741824 1073778376 140734077458464 140734077449600 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8016/statm: 2406260 12576 2253 9 0 2396937 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 9625040

[startup+1.50081 s]
/proc/loadavg: 2.27 2.24 2.19 3/213 8035
/proc/meminfo: memFree=30505676/32872528 swapFree=16740/1306504
[pid=8016] ppid=8013 vsize=9625040 CPUtime=2.26 cores=1,3,5,7
/proc/8016/stat : 8016 (java) S 8013 8016 5873 0 -1 4202496 9477 0 1 0 223 3 0 0 20 0 19 0 104192758 9856040960 15144 33554432000 1073741824 1073778376 140734077458464 140734077449600 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8016/statm: 2406260 15144 2260 9 0 2396937 0
[pid=8016/tid=8018] ppid=8013 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/8016/task/8018/stat : 8018 (java) R 8013 8016 5873 0 -1 4202560 2439 0 1 0 145 2 0 0 20 0 19 0 104192759 9856040960 15144 33554432000 1073741824 1073778376 140734077458464 140454653943288 140454507691698 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8016/tid=8019] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8019/stat : 8019 (java) S 8013 8016 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104192760 9856040960 15144 33554432000 1073741824 1073778376 140734077458464 140454626397224 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8016/tid=8020] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8020/stat : 8020 (java) S 8013 8016 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104192760 9856040960 15144 33554432000 1073741824 1073778376 140734077458464 140454496086952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8016/tid=8021] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8021/stat : 8021 (java) S 8013 8016 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104192760 9856040960 15144 33554432000 1073741824 1073778376 140734077458464 140454495034152 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8016/tid=8022] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8022/stat : 8022 (java) S 8013 8016 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104192760 9856040960 15144 33554432000 1073741824 1073778376 140734077458464 140454493981352 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8016/tid=8023] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8023/stat : 8023 (java) S 8013 8016 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104192760 9856040960 15144 33554432000 1073741824 1073778376 140734077458464 140454492928552 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8016/tid=8024] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8024/stat : 8024 (java) S 8013 8016 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104192760 9856040960 15144 33554432000 1073741824 1073778376 140734077458464 140454491875752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8016/tid=8025] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8025/stat : 8025 (java) S 8013 8016 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104192760 9856040960 15144 33554432000 1073741824 1073778376 140734077458464 140454154725672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8016/tid=8026] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8026/stat : 8026 (java) S 8013 8016 5873 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104192760 9856040960 15144 33554432000 1073741824 1073778376 140734077458464 140454153672872 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8016/tid=8027] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8027/stat : 8027 (java) S 8013 8016 5873 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 104192761 9856040960 15144 33554432000 1073741824 1073778376 140734077458464 140454141475816 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8016/tid=8028] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8028/stat : 8028 (java) S 8013 8016 5873 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104192762 9856040960 15144 33554432000 1073741824 1073778376 140734077458464 140454140421880 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8016/tid=8029] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8029/stat : 8029 (java) S 8013 8016 5873 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104192762 9856040960 15144 33554432000 1073741824 1073778376 140734077458464 140454139368968 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8016/tid=8030] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8030/stat : 8030 (java) S 8013 8016 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104192764 9856040960 15144 33554432000 1073741824 1073778376 140734077458464 140454138317456 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8016/tid=8031] ppid=8013 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/8016/task/8031/stat : 8031 (java) S 8013 8016 5873 0 -1 4202560 3615 0 0 0 42 0 0 0 20 0 19 0 104192764 9856040960 15144 33554432000 1073741824 1073778376 140734077458464 140454137264568 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8016/tid=8032] ppid=8013 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/8016/task/8032/stat : 8032 (java) S 8013 8016 5873 0 -1 4202560 2146 0 0 0 33 0 0 0 20 0 19 0 104192764 9856040960 15144 33554432000 1073741824 1073778376 140734077458464 140454136211768 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8016/tid=8033] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8033/stat : 8033 (java) S 8013 8016 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104192764 9856040960 15144 33554432000 1073741824 1073778376 140734077458464 140454135159160 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8016/tid=8034] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8034/stat : 8034 (java) S 8013 8016 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104192764 9856040960 15144 33554432000 1073741824 1073778376 140734077458464 140454134106568 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8016/tid=8035] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8035/stat : 8035 (java) S 8013 8016 5873 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104192788 9856040960 15144 33554432000 1073741824 1073778376 140734077458464 140454133053096 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.26
Current children cumulated vsize (KiB) 9625040

[startup+3.10084 s]
/proc/loadavg: 2.27 2.24 2.19 3/213 8035
/proc/meminfo: memFree=30490852/32872528 swapFree=16740/1306504
[pid=8016] ppid=8013 vsize=9625040 CPUtime=3.88 cores=1,3,5,7
/proc/8016/stat : 8016 (java) S 8013 8016 5873 0 -1 4202496 9489 0 1 0 385 3 0 0 20 0 19 0 104192758 9856040960 20776 33554432000 1073741824 1073778376 140734077458464 140734077449600 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8016/statm: 2406260 20776 2260 9 0 2396937 0
[pid=8016/tid=8018] ppid=8013 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/8016/task/8018/stat : 8018 (java) R 8013 8016 5873 0 -1 4202560 2451 0 1 0 304 2 0 0 20 0 19 0 104192759 9856040960 20776 33554432000 1073741824 1073778376 140734077458464 140454653944200 140454507691984 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8016/tid=8019] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8019/stat : 8019 (java) S 8013 8016 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104192760 9856040960 20776 33554432000 1073741824 1073778376 140734077458464 140454626397224 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8016/tid=8020] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8020/stat : 8020 (java) S 8013 8016 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104192760 9856040960 20776 33554432000 1073741824 1073778376 140734077458464 140454496086952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8016/tid=8021] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8021/stat : 8021 (java) S 8013 8016 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104192760 9856040960 20776 33554432000 1073741824 1073778376 140734077458464 140454495034152 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8016/tid=8022] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8022/stat : 8022 (java) S 8013 8016 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104192760 9856040960 20776 33554432000 1073741824 1073778376 140734077458464 140454493981352 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8016/tid=8023] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8023/stat : 8023 (java) S 8013 8016 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104192760 9856040960 20776 33554432000 1073741824 1073778376 140734077458464 140454492928552 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8016/tid=8024] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8024/stat : 8024 (java) S 8013 8016 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104192760 9856040960 20776 33554432000 1073741824 1073778376 140734077458464 140454491875752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8016/tid=8025] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8025/stat : 8025 (java) S 8013 8016 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104192760 9856040960 20776 33554432000 1073741824 1073778376 140734077458464 140454154725672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8016/tid=8026] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8026/stat : 8026 (java) S 8013 8016 5873 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104192760 9856040960 20776 33554432000 1073741824 1073778376 140734077458464 140454153672872 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8016/tid=8027] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8027/stat : 8027 (java) S 8013 8016 5873 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 104192761 9856040960 20776 33554432000 1073741824 1073778376 140734077458464 140454141475816 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8016/tid=8028] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8028/stat : 8028 (java) S 8013 8016 5873 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104192762 9856040960 20776 33554432000 1073741824 1073778376 140734077458464 140454140421880 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8016/tid=8029] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8029/stat : 8029 (java) S 8013 8016 5873 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104192762 9856040960 20776 33554432000 1073741824 1073778376 140734077458464 140454139368968 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8016/tid=8030] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8030/stat : 8030 (java) S 8013 8016 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104192764 9856040960 20776 33554432000 1073741824 1073778376 140734077458464 140454138317456 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8016/tid=8031] ppid=8013 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/8016/task/8031/stat : 8031 (java) S 8013 8016 5873 0 -1 4202560 3615 0 0 0 44 0 0 0 20 0 19 0 104192764 9856040960 20776 33554432000 1073741824 1073778376 140734077458464 140454137264568 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8016/tid=8032] ppid=8013 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/8016/task/8032/stat : 8032 (java) S 8013 8016 5873 0 -1 4202560 2146 0 0 0 34 0 0 0 20 0 19 0 104192764 9856040960 20776 33554432000 1073741824 1073778376 140734077458464 140454136211768 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8016/tid=8033] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8033/stat : 8033 (java) S 8013 8016 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104192764 9856040960 20776 33554432000 1073741824 1073778376 140734077458464 140454135159160 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8016/tid=8034] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8034/stat : 8034 (java) S 8013 8016 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104192764 9856040960 20776 33554432000 1073741824 1073778376 140734077458464 140454134106568 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8016/tid=8035] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8035/stat : 8035 (java) S 8013 8016 5873 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104192788 9856040960 20776 33554432000 1073741824 1073778376 140734077458464 140454133053096 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.88
Current children cumulated vsize (KiB) 9625040

[startup+6.30086 s]
/proc/loadavg: 2.27 2.24 2.19 3/213 8035
/proc/meminfo: memFree=30449768/32872528 swapFree=16740/1306504
[pid=8016] ppid=8013 vsize=9625040 CPUtime=7.09 cores=1,3,5,7
/proc/8016/stat : 8016 (java) S 8013 8016 5873 0 -1 4202496 9511 0 1 0 705 4 0 0 20 0 19 0 104192758 9856040960 30342 33554432000 1073741824 1073778376 140734077458464 140734077449600 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8016/statm: 2406260 30342 2261 9 0 2396937 0
[pid=8016/tid=8018] ppid=8013 vsize=9625040 CPUtime=6.26 cores=1,3,5,7
/proc/8016/task/8018/stat : 8018 (java) R 8013 8016 5873 0 -1 4202560 2472 0 1 0 624 2 0 0 20 0 19 0 104192759 9856040960 30342 33554432000 1073741824 1073778376 140734077458464 140454653943960 140454507699402 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8016/tid=8019] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8019/stat : 8019 (java) S 8013 8016 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104192760 9856040960 30342 33554432000 1073741824 1073778376 140734077458464 140454626397224 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8016/tid=8020] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8020/stat : 8020 (java) S 8013 8016 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104192760 9856040960 30342 33554432000 1073741824 1073778376 140734077458464 140454496086952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8016/tid=8021] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8021/stat : 8021 (java) S 8013 8016 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104192760 9856040960 30342 33554432000 1073741824 1073778376 140734077458464 140454495034152 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8016/tid=8022] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8022/stat : 8022 (java) S 8013 8016 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104192760 9856040960 30342 33554432000 1073741824 1073778376 140734077458464 140454493981352 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8016/tid=8023] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8023/stat : 8023 (java) S 8013 8016 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104192760 9856040960 30342 33554432000 1073741824 1073778376 140734077458464 140454492928552 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8016/tid=8024] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8024/stat : 8024 (java) S 8013 8016 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104192760 9856040960 30342 33554432000 1073741824 1073778376 140734077458464 140454491875752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8016/tid=8025] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8025/stat : 8025 (java) S 8013 8016 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104192760 9856040960 30342 33554432000 1073741824 1073778376 140734077458464 140454154725672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8016/tid=8026] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8026/stat : 8026 (java) S 8013 8016 5873 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104192760 9856040960 30342 33554432000 1073741824 1073778376 140734077458464 140454153672872 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8016/tid=8027] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8027/stat : 8027 (java) S 8013 8016 5873 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 104192761 9856040960 30342 33554432000 1073741824 1073778376 140734077458464 140454141475816 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8016/tid=8028] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8028/stat : 8028 (java) S 8013 8016 5873 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104192762 9856040960 30342 33554432000 1073741824 1073778376 140734077458464 140454140421880 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8016/tid=8029] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8029/stat : 8029 (java) S 8013 8016 5873 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104192762 9856040960 30342 33554432000 1073741824 1073778376 140734077458464 140454139368968 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8016/tid=8030] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8030/stat : 8030 (java) S 8013 8016 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104192764 9856040960 30342 33554432000 1073741824 1073778376 140734077458464 140454138317456 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8016/tid=8031] ppid=8013 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/8016/task/8031/stat : 8031 (java) S 8013 8016 5873 0 -1 4202560 3615 0 0 0 44 0 0 0 20 0 19 0 104192764 9856040960 30342 33554432000 1073741824 1073778376 140734077458464 140454137264568 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8016/tid=8032] ppid=8013 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/8016/task/8032/stat : 8032 (java) S 8013 8016 5873 0 -1 4202560 2146 0 0 0 34 0 0 0 20 0 19 0 104192764 9856040960 30342 33554432000 1073741824 1073778376 140734077458464 140454136211768 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8016/tid=8033] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8033/stat : 8033 (java) S 8013 8016 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104192764 9856040960 30342 33554432000 1073741824 1073778376 140734077458464 140454135159160 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8016/tid=8034] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8034/stat : 8034 (java) S 8013 8016 5873 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 104192764 9856040960 30342 33554432000 1073741824 1073778376 140734077458464 140454134106568 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8016/tid=8035] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8035/stat : 8035 (java) S 8013 8016 5873 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104192788 9856040960 30342 33554432000 1073741824 1073778376 140734077458464 140454133053096 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.09
Current children cumulated vsize (KiB) 9625040


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

[pid=8016/tid=8028] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8028/stat : 8028 (java) S 8013 8016 5873 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104192762 9856040960 170726 33554432000 1073741824 1073778376 140734077458464 140454140421880 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8016/tid=8029] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8029/stat : 8029 (java) S 8013 8016 5873 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104192762 9856040960 170726 33554432000 1073741824 1073778376 140734077458464 140454139368968 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8016/tid=8030] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8030/stat : 8030 (java) S 8013 8016 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104192764 9856040960 170726 33554432000 1073741824 1073778376 140734077458464 140454138317456 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8016/tid=8031] ppid=8013 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/8016/task/8031/stat : 8031 (java) S 8013 8016 5873 0 -1 4202560 3615 0 0 0 44 0 0 0 20 0 19 0 104192764 9856040960 170726 33554432000 1073741824 1073778376 140734077458464 140454137264568 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8016/tid=8032] ppid=8013 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/8016/task/8032/stat : 8032 (java) S 8013 8016 5873 0 -1 4202560 2152 0 0 0 37 0 0 0 20 0 19 0 104192764 9856040960 170726 33554432000 1073741824 1073778376 140734077458464 140454136211768 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8016/tid=8033] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8033/stat : 8033 (java) S 8013 8016 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104192764 9856040960 170726 33554432000 1073741824 1073778376 140734077458464 140454135159160 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8016/tid=8034] ppid=8013 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/8016/task/8034/stat : 8034 (java) S 8013 8016 5873 0 -1 4202560 94 0 0 0 28 29 0 0 20 0 19 0 104192764 9856040960 170726 33554432000 1073741824 1073778376 140734077458464 140454134106568 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8016/tid=8035] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8035/stat : 8035 (java) S 8013 8016 5873 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104192788 9856040960 170726 33554432000 1073741824 1073778376 140734077458464 140454133053096 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1623.67
Current children cumulated vsize (KiB) 9625040

[startup+1662.3 s]
/proc/loadavg: 2.27 2.15 2.15 3/213 8143
/proc/meminfo: memFree=29549084/32872528 swapFree=16740/1306504
[pid=8016] ppid=8013 vsize=9625040 CPUtime=1684.68 cores=1,3,5,7
/proc/8016/stat : 8016 (java) S 8013 8016 5873 0 -1 4202496 24552 0 1 0 168292 176 0 0 20 0 19 0 104192758 9856040960 167403 33554432000 1073741824 1073778376 140734077458464 140734077449600 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8016/statm: 2406260 167403 2286 9 0 2396937 0
[pid=8016/tid=8018] ppid=8013 vsize=9625040 CPUtime=1647.87 cores=1,3,5,7
/proc/8016/task/8018/stat : 8018 (java) R 8013 8016 5873 0 -1 4202560 2780 0 1 0 164755 32 0 0 20 0 19 0 104192759 9856040960 167403 33554432000 1073741824 1073778376 140734077458464 140454653942992 140454507654643 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8016/tid=8019] ppid=8013 vsize=9625040 CPUtime=3.68 cores=1,3,5,7
/proc/8016/task/8019/stat : 8019 (java) S 8013 8016 5873 0 -1 4202560 963 0 0 0 350 18 0 0 20 0 19 0 104192760 9856040960 167403 33554432000 1073741824 1073778376 140734077458464 140454626397224 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8016/tid=8020] ppid=8013 vsize=9625040 CPUtime=3.58 cores=1,3,5,7
/proc/8016/task/8020/stat : 8020 (java) S 8013 8016 5873 0 -1 4202560 1759 0 0 0 340 18 0 0 20 0 19 0 104192760 9856040960 167403 33554432000 1073741824 1073778376 140734077458464 140454496086952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8016/tid=8021] ppid=8013 vsize=9625040 CPUtime=3.72 cores=1,3,5,7
/proc/8016/task/8021/stat : 8021 (java) S 8013 8016 5873 0 -1 4202560 1855 0 0 0 357 15 0 0 20 0 19 0 104192760 9856040960 167403 33554432000 1073741824 1073778376 140734077458464 140454495034152 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8016/tid=8022] ppid=8013 vsize=9625040 CPUtime=3.81 cores=1,3,5,7
/proc/8016/task/8022/stat : 8022 (java) S 8013 8016 5873 0 -1 4202560 1816 0 0 0 362 19 0 0 20 0 19 0 104192760 9856040960 167403 33554432000 1073741824 1073778376 140734077458464 140454493981352 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8016/tid=8023] ppid=8013 vsize=9625040 CPUtime=3.58 cores=1,3,5,7
/proc/8016/task/8023/stat : 8023 (java) S 8013 8016 5873 0 -1 4202560 1902 0 0 0 338 20 0 0 20 0 19 0 104192760 9856040960 167403 33554432000 1073741824 1073778376 140734077458464 140454492928552 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8016/tid=8024] ppid=8013 vsize=9625040 CPUtime=3.77 cores=1,3,5,7
/proc/8016/task/8024/stat : 8024 (java) S 8013 8016 5873 0 -1 4202560 1011 0 0 0 362 15 0 0 20 0 19 0 104192760 9856040960 167403 33554432000 1073741824 1073778376 140734077458464 140454491875752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8016/tid=8025] ppid=8013 vsize=9625040 CPUtime=3.8 cores=1,3,5,7
/proc/8016/task/8025/stat : 8025 (java) S 8013 8016 5873 0 -1 4202560 1719 0 0 0 362 18 0 0 20 0 19 0 104192760 9856040960 167403 33554432000 1073741824 1073778376 140734077458464 140454154725672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8016/tid=8026] ppid=8013 vsize=9625040 CPUtime=3.76 cores=1,3,5,7
/proc/8016/task/8026/stat : 8026 (java) S 8013 8016 5873 0 -1 4202560 1949 0 0 0 357 19 0 0 20 0 19 0 104192760 9856040960 167403 33554432000 1073741824 1073778376 140734077458464 140454153672872 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8016/tid=8027] ppid=8013 vsize=9625040 CPUtime=6.13 cores=1,3,5,7
/proc/8016/task/8027/stat : 8027 (java) S 8013 8016 5873 0 -1 4202560 1672 0 0 0 606 7 0 0 20 0 19 0 104192761 9856040960 167403 33554432000 1073741824 1073778376 140734077458464 140454141475816 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8016/tid=8028] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8028/stat : 8028 (java) S 8013 8016 5873 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104192762 9856040960 167403 33554432000 1073741824 1073778376 140734077458464 140454140421880 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8016/tid=8029] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8029/stat : 8029 (java) S 8013 8016 5873 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104192762 9856040960 167403 33554432000 1073741824 1073778376 140734077458464 140454139368968 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8016/tid=8030] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8030/stat : 8030 (java) S 8013 8016 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104192764 9856040960 167403 33554432000 1073741824 1073778376 140734077458464 140454138317456 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8016/tid=8031] ppid=8013 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/8016/task/8031/stat : 8031 (java) S 8013 8016 5873 0 -1 4202560 3615 0 0 0 44 0 0 0 20 0 19 0 104192764 9856040960 167403 33554432000 1073741824 1073778376 140734077458464 140454137264568 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8016/tid=8032] ppid=8013 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/8016/task/8032/stat : 8032 (java) S 8013 8016 5873 0 -1 4202560 2152 0 0 0 37 0 0 0 20 0 19 0 104192764 9856040960 167403 33554432000 1073741824 1073778376 140734077458464 140454136211768 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8016/tid=8033] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8033/stat : 8033 (java) S 8013 8016 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104192764 9856040960 167403 33554432000 1073741824 1073778376 140734077458464 140454135159160 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8016/tid=8034] ppid=8013 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/8016/task/8034/stat : 8034 (java) S 8013 8016 5873 0 -1 4202560 96 0 0 0 30 30 0 0 20 0 19 0 104192764 9856040960 167403 33554432000 1073741824 1073778376 140734077458464 140454134106568 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8016/tid=8035] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8035/stat : 8035 (java) S 8013 8016 5873 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104192788 9856040960 167403 33554432000 1073741824 1073778376 140734077458464 140454133053096 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1684.68
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.26 2.16 2.16 3/213 8145
/proc/meminfo: memFree=29562388/32872528 swapFree=16740/1306504
[pid=8016] ppid=8013 vsize=9625040 CPUtime=1745.37 cores=1,3,5,7
/proc/8016/stat : 8016 (java) S 8013 8016 5873 0 -1 4202496 24681 0 1 0 174359 178 0 0 20 0 19 0 104192758 9856040960 168521 33554432000 1073741824 1073778376 140734077458464 140734077449600 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8016/statm: 2406260 168521 2286 9 0 2396937 0
[pid=8016/tid=8018] ppid=8013 vsize=9625040 CPUtime=1707.24 cores=1,3,5,7
/proc/8016/task/8018/stat : 8018 (java) R 8013 8016 5873 0 -1 4202560 2789 0 1 0 170692 32 0 0 20 0 19 0 104192759 9856040960 168521 33554432000 1073741824 1073778376 140734077458464 140454653943008 140454507746396 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8016/tid=8019] ppid=8013 vsize=9625040 CPUtime=3.81 cores=1,3,5,7
/proc/8016/task/8019/stat : 8019 (java) S 8013 8016 5873 0 -1 4202560 965 0 0 0 363 18 0 0 20 0 19 0 104192760 9856040960 168521 33554432000 1073741824 1073778376 140734077458464 140454626397224 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8016/tid=8020] ppid=8013 vsize=9625040 CPUtime=3.68 cores=1,3,5,7
/proc/8016/task/8020/stat : 8020 (java) S 8013 8016 5873 0 -1 4202560 1760 0 0 0 349 19 0 0 20 0 19 0 104192760 9856040960 168521 33554432000 1073741824 1073778376 140734077458464 140454496086952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8016/tid=8021] ppid=8013 vsize=9625040 CPUtime=3.87 cores=1,3,5,7
/proc/8016/task/8021/stat : 8021 (java) S 8013 8016 5873 0 -1 4202560 1859 0 0 0 372 15 0 0 20 0 19 0 104192760 9856040960 168521 33554432000 1073741824 1073778376 140734077458464 140454495034152 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8016/tid=8022] ppid=8013 vsize=9625040 CPUtime=3.9 cores=1,3,5,7
/proc/8016/task/8022/stat : 8022 (java) S 8013 8016 5873 0 -1 4202560 1816 0 0 0 371 19 0 0 20 0 19 0 104192760 9856040960 168521 33554432000 1073741824 1073778376 140734077458464 140454493981352 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8016/tid=8023] ppid=8013 vsize=9625040 CPUtime=3.75 cores=1,3,5,7
/proc/8016/task/8023/stat : 8023 (java) S 8013 8016 5873 0 -1 4202560 1906 0 0 0 355 20 0 0 20 0 19 0 104192760 9856040960 168521 33554432000 1073741824 1073778376 140734077458464 140454492928552 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8016/tid=8024] ppid=8013 vsize=9625040 CPUtime=3.88 cores=1,3,5,7
/proc/8016/task/8024/stat : 8024 (java) S 8013 8016 5873 0 -1 4202560 1014 0 0 0 373 15 0 0 20 0 19 0 104192760 9856040960 168521 33554432000 1073741824 1073778376 140734077458464 140454491875752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8016/tid=8025] ppid=8013 vsize=9625040 CPUtime=3.9 cores=1,3,5,7
/proc/8016/task/8025/stat : 8025 (java) S 8013 8016 5873 0 -1 4202560 1719 0 0 0 372 18 0 0 20 0 19 0 104192760 9856040960 168521 33554432000 1073741824 1073778376 140734077458464 140454154725672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8016/tid=8026] ppid=8013 vsize=9625040 CPUtime=3.89 cores=1,3,5,7
/proc/8016/task/8026/stat : 8026 (java) S 8013 8016 5873 0 -1 4202560 1949 0 0 0 370 19 0 0 20 0 19 0 104192760 9856040960 168521 33554432000 1073741824 1073778376 140734077458464 140454153672872 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8016/tid=8027] ppid=8013 vsize=9625040 CPUtime=6.46 cores=1,3,5,7
/proc/8016/task/8027/stat : 8027 (java) S 8013 8016 5873 0 -1 4202560 1774 0 0 0 639 7 0 0 20 0 19 0 104192761 9856040960 168521 33554432000 1073741824 1073778376 140734077458464 140454141475816 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8016/tid=8028] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8028/stat : 8028 (java) S 8013 8016 5873 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104192762 9856040960 168521 33554432000 1073741824 1073778376 140734077458464 140454140421880 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8016/tid=8029] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8029/stat : 8029 (java) S 8013 8016 5873 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104192762 9856040960 168521 33554432000 1073741824 1073778376 140734077458464 140454139368968 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8016/tid=8030] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8030/stat : 8030 (java) S 8013 8016 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104192764 9856040960 168521 33554432000 1073741824 1073778376 140734077458464 140454138317456 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8016/tid=8031] ppid=8013 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/8016/task/8031/stat : 8031 (java) S 8013 8016 5873 0 -1 4202560 3615 0 0 0 44 0 0 0 20 0 19 0 104192764 9856040960 168521 33554432000 1073741824 1073778376 140734077458464 140454137264568 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8016/tid=8032] ppid=8013 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/8016/task/8032/stat : 8032 (java) S 8013 8016 5873 0 -1 4202560 2152 0 0 0 37 0 0 0 20 0 19 0 104192764 9856040960 168521 33554432000 1073741824 1073778376 140734077458464 140454136211768 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8016/tid=8033] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8033/stat : 8033 (java) S 8013 8016 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104192764 9856040960 168521 33554432000 1073741824 1073778376 140734077458464 140454135159160 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8016/tid=8034] ppid=8013 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/8016/task/8034/stat : 8034 (java) S 8013 8016 5873 0 -1 4202560 100 0 0 0 32 30 0 0 20 0 19 0 104192764 9856040960 168521 33554432000 1073741824 1073778376 140734077458464 140454134106568 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8016/tid=8035] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8035/stat : 8035 (java) S 8013 8016 5873 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104192788 9856040960 168521 33554432000 1073741824 1073778376 140734077458464 140454133053096 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1745.37
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1776.2 s]
/proc/loadavg: 2.20 2.16 2.16 3/213 8146
/proc/meminfo: memFree=29540900/32872528 swapFree=16740/1306504
[pid=8016] ppid=8013 vsize=9625040 CPUtime=1800.04 cores=1,3,5,7
/proc/8016/stat : 8016 (java) S 8013 8016 5873 0 -1 4202496 25375 0 1 0 179821 183 0 0 20 0 19 0 104192758 9856040960 175739 33554432000 1073741824 1073778376 140734077458464 140734077449600 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8016/statm: 2406260 175739 2286 9 0 2396937 0
[pid=8016/tid=8018] ppid=8013 vsize=9625040 CPUtime=1760.68 cores=1,3,5,7
/proc/8016/task/8018/stat : 8018 (java) R 8013 8016 5873 0 -1 4202560 2799 0 1 0 176035 33 0 0 20 0 19 0 104192759 9856040960 175739 33554432000 1073741824 1073778376 140734077458464 140454653943008 140454507699402 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8016/tid=8019] ppid=8013 vsize=9625040 CPUtime=3.94 cores=1,3,5,7
/proc/8016/task/8019/stat : 8019 (java) S 8013 8016 5873 0 -1 4202560 1218 0 0 0 375 19 0 0 20 0 19 0 104192760 9856040960 175739 33554432000 1073741824 1073778376 140734077458464 140454626397224 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8016/tid=8020] ppid=8013 vsize=9625040 CPUtime=3.8 cores=1,3,5,7
/proc/8016/task/8020/stat : 8020 (java) S 8013 8016 5873 0 -1 4202560 1767 0 0 0 361 19 0 0 20 0 19 0 104192760 9856040960 175739 33554432000 1073741824 1073778376 140734077458464 140454496086952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8016/tid=8021] ppid=8013 vsize=9625040 CPUtime=4.01 cores=1,3,5,7
/proc/8016/task/8021/stat : 8021 (java) S 8013 8016 5873 0 -1 4202560 2099 0 0 0 385 16 0 0 20 0 19 0 104192760 9856040960 175739 33554432000 1073741824 1073778376 140734077458464 140454495034152 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8016/tid=8022] ppid=8013 vsize=9625040 CPUtime=3.99 cores=1,3,5,7
/proc/8016/task/8022/stat : 8022 (java) S 8013 8016 5873 0 -1 4202560 1891 0 0 0 380 19 0 0 20 0 19 0 104192760 9856040960 175739 33554432000 1073741824 1073778376 140734077458464 140454493981352 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8016/tid=8023] ppid=8013 vsize=9625040 CPUtime=3.9 cores=1,3,5,7
/proc/8016/task/8023/stat : 8023 (java) S 8013 8016 5873 0 -1 4202560 1915 0 0 0 370 20 0 0 20 0 19 0 104192760 9856040960 175739 33554432000 1073741824 1073778376 140734077458464 140454492928552 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8016/tid=8024] ppid=8013 vsize=9625040 CPUtime=3.98 cores=1,3,5,7
/proc/8016/task/8024/stat : 8024 (java) S 8013 8016 5873 0 -1 4202560 1019 0 0 0 382 16 0 0 20 0 19 0 104192760 9856040960 175739 33554432000 1073741824 1073778376 140734077458464 140454491875752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8016/tid=8025] ppid=8013 vsize=9625040 CPUtime=4.03 cores=1,3,5,7
/proc/8016/task/8025/stat : 8025 (java) S 8013 8016 5873 0 -1 4202560 1724 0 0 0 385 18 0 0 20 0 19 0 104192760 9856040960 175739 33554432000 1073741824 1073778376 140734077458464 140454154725672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8016/tid=8026] ppid=8013 vsize=9625040 CPUtime=4.06 cores=1,3,5,7
/proc/8016/task/8026/stat : 8026 (java) S 8013 8016 5873 0 -1 4202560 1956 0 0 0 386 20 0 0 20 0 19 0 104192760 9856040960 175739 33554432000 1073741824 1073778376 140734077458464 140454153672872 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8016/tid=8027] ppid=8013 vsize=9625040 CPUtime=6.63 cores=1,3,5,7
/proc/8016/task/8027/stat : 8027 (java) S 8013 8016 5873 0 -1 4202560 1853 0 0 0 656 7 0 0 20 0 19 0 104192761 9856040960 175739 33554432000 1073741824 1073778376 140734077458464 140454141475816 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8016/tid=8028] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8028/stat : 8028 (java) S 8013 8016 5873 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104192762 9856040960 175739 33554432000 1073741824 1073778376 140734077458464 140454140421880 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8016/tid=8029] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8029/stat : 8029 (java) S 8013 8016 5873 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104192762 9856040960 175739 33554432000 1073741824 1073778376 140734077458464 140454139368968 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8016/tid=8030] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8030/stat : 8030 (java) S 8013 8016 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104192764 9856040960 175739 33554432000 1073741824 1073778376 140734077458464 140454138317456 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8016/tid=8031] ppid=8013 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/8016/task/8031/stat : 8031 (java) S 8013 8016 5873 0 -1 4202560 3615 0 0 0 44 0 0 0 20 0 19 0 104192764 9856040960 175739 33554432000 1073741824 1073778376 140734077458464 140454137264568 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8016/tid=8032] ppid=8013 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/8016/task/8032/stat : 8032 (java) S 8013 8016 5873 0 -1 4202560 2152 0 0 0 37 0 0 0 20 0 19 0 104192764 9856040960 175739 33554432000 1073741824 1073778376 140734077458464 140454136211768 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8016/tid=8033] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8033/stat : 8033 (java) S 8013 8016 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104192764 9856040960 175739 33554432000 1073741824 1073778376 140734077458464 140454135159160 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8016/tid=8034] ppid=8013 vsize=9625040 CPUtime=0.65 cores=1,3,5,7
/proc/8016/task/8034/stat : 8034 (java) S 8013 8016 5873 0 -1 4202560 104 0 0 0 34 31 0 0 20 0 19 0 104192764 9856040960 175739 33554432000 1073741824 1073778376 140734077458464 140454134106568 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8016/tid=8035] ppid=8013 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8016/task/8035/stat : 8035 (java) S 8013 8016 5873 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104192788 9856040960 175739 33554432000 1073741824 1073778376 140734077458464 140454133053096 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
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 8016 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 1776.24
CPU time (s): 1800.8
CPU user time (s): 1798.48
CPU system time (s): 2.32065
CPU usage (%): 101.383
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.48
system time used= 2.32065
maximum resident set size= 838936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25415
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46466
involuntary context switches= 49772

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.6334 second user time and 13.182 second system time

The end

Launcher Data 

Begin job on node127 at 2016-06-06 16:16:42
IDJOB=4085156
IDBENCH=1852
IDSOLVER=2546
FILE ID=node127/4085156-1465222602
RUNJOBID= node127-1465216773-5890
PBS_JOBID= 19843202
Free space on /tmp= 71740 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-l152lav.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085156-1465222602/watcher-4085156-1465222602 -o /tmp/evaluation-result-4085156-1465222602/solver-4085156-1465222602 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1465216773-5890 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4085156-1465222602.opb

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

MD5SUM BENCH= 1a5510d564851e49e3b50f1a87922ca2
RANDOM SEED=973652394

node127.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.227
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.45
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.227
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.227
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.56
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.227
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.227
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.227
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.54
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.227
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.227
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:        30554244 kB
Buffers:            8828 kB
Cached:            40792 kB
SwapCached:         1760 kB
Active:           266204 kB
Inactive:          27316 kB
Active(anon):     245456 kB
Inactive(anon):      948 kB
Active(file):      20748 kB
Inactive(file):    26368 kB
Unevictable:     1306504 kB
Mlocked:           16740 kB
SwapTotal:      67108856 kB
SwapFree:       67098476 kB
Dirty:               824 kB
Writeback:             0 kB
AnonPages:       1682740 kB
Mapped:            15384 kB
Shmem:                 0 kB
Slab:             565844 kB
SReclaimable:       9944 kB
SUnreclaim:       555900 kB
KernelStack:        1760 kB
PageTables:         7880 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2079280 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1644544 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= 71736 MiB
End job on node127 at 2016-06-06 16:46:18