Trace number 4085815

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)-12 1800.07 1797.04

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_10_4.opb
MD5SUM3258ae2375db1ca5a9ce9d305f00baf0
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-13
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -14
Optimality of the best value was proved NO
Number of variables100
Total number of constraints151
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints101
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 50
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 50
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)1228
Sum of products size (including duplicates)2456
Number of different products614
Sum of products size1228

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4085815-1465261856.opb
0.09/0.11	c reading problem ... 
0.09/0.12	c  objective function found
0.23/0.22	c ... done. Wall clock time 0.109s.
0.23/0.22	c declared #vars     100
0.23/0.22	c internal #vars     714
0.23/0.22	c #constraints  1380
0.23/0.22	c constraints type 
0.23/0.22	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 614
0.23/0.22	c org.sat4j.minisat.constraints.card.MinWatchCard => 102
0.23/0.22	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 50
0.23/0.22	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 614
0.23/0.22	c 1380 constraints processed.
0.23/0.22	c objective function length is 50 literals
0.47/0.31	c SATISFIABLE
0.47/0.31	c OPTIMIZING...
0.47/0.31	c Got one! Elapsed wall clock time (in seconds):0.201
0.47/0.31	o -9
0.98/0.62	c cleaning 2541 clauses out of 5081 with flag 13509/5081
1.47/0.86	c cleaning 4270 clauses out of 8539 with flag 31599/11080
1.89/1.01	c Got one! Elapsed wall clock time (in seconds):0.896
1.89/1.01	o -10
2.01/1.11	c cleaning 5106 clauses out of 10211 with flag 6318/17022
2.21/1.36	c cleaning 5552 clauses out of 11105 with flag 25087/23022
2.53/1.64	c cleaning 6277 clauses out of 12553 with flag 47654/30022
2.83/1.98	c cleaning 7135 clauses out of 14276 with flag 73333/38022
3.32/2.46	c cleaning 8069 clauses out of 16143 with flag 108505/47024
3.32/2.46	c Got one! Elapsed wall clock time (in seconds):2.351
3.32/2.46	o -11
3.64/2.70	c cleaning 6542 clauses out of 13103 with flag 18177/52053
3.85/2.96	c cleaning 6277 clauses out of 12563 with flag 41613/58055
4.15/3.24	c cleaning 6636 clauses out of 13288 with flag 66599/65057
4.45/3.57	c cleaning 7317 clauses out of 14650 with flag 95315/73055
4.86/3.94	c cleaning 8156 clauses out of 16332 with flag 128505/82054
5.36/4.42	c cleaning 9087 clauses out of 18178 with flag 165493/92056
5.97/5.01	c cleaning 10040 clauses out of 20092 with flag 205613/103057
6.66/5.70	c cleaning 11018 clauses out of 22049 with flag 253436/115054
7.46/6.50	c cleaning 12011 clauses out of 24030 with flag 303453/128053
8.26/7.38	c cleaning 13008 clauses out of 26021 with flag 354422/142055
9.16/8.29	c cleaning 14006 clauses out of 28011 with flag 409897/157053
10.26/9.32	c cleaning 14999 clauses out of 30005 with flag 465215/173053
11.36/10.42	c cleaning 15999 clauses out of 32007 with flag 521260/190054
12.66/11.76	c cleaning 17000 clauses out of 34007 with flag 582515/208053
14.16/13.21	c cleaning 18002 clauses out of 36007 with flag 655157/227053
15.76/14.88	c cleaning 19001 clauses out of 38005 with flag 732775/247053
17.56/16.63	c cleaning 19990 clauses out of 40004 with flag 815070/268053
19.67/18.70	c cleaning 21008 clauses out of 42015 with flag 894242/290054
21.76/20.89	c cleaning 22003 clauses out of 44008 with flag 980156/313055
24.17/23.25	c cleaning 22998 clauses out of 46004 with flag 1073048/337054
26.68/25.79	c cleaning 23995 clauses out of 48005 with flag 1171248/362053
29.28/28.31	c cleaning 25004 clauses out of 50010 with flag 1269332/388053
31.98/31.05	c cleaning 25999 clauses out of 52006 with flag 1371844/415053
34.68/33.76	c cleaning 27001 clauses out of 54007 with flag 1478997/443053
37.88/36.91	c cleaning 28001 clauses out of 56006 with flag 1595470/472053
41.28/40.39	c cleaning 28996 clauses out of 58006 with flag 1715994/502054
44.78/43.83	c cleaning 30001 clauses out of 60009 with flag 1829787/533053
48.58/47.68	c cleaning 31005 clauses out of 62011 with flag 1938628/565056
52.18/51.28	c cleaning 31992 clauses out of 64003 with flag 2054079/598053
56.68/55.78	c cleaning 33004 clauses out of 66013 with flag 2172112/632055
61.08/60.19	c cleaning 34000 clauses out of 68008 with flag 2286425/667054
62.78/61.85	c Got one! Elapsed wall clock time (in seconds):61.736
62.78/61.85	o -12
63.48/62.55	c cleaning 27573 clauses out of 55158 with flag 16514/688204
63.98/63.05	c cleaning 16791 clauses out of 33587 with flag 35631/694206
64.38/63.49	c cleaning 11891 clauses out of 23794 with flag 57094/701204
64.79/63.90	c cleaning 9943 clauses out of 19903 with flag 81496/709204
65.28/64.35	c cleaning 9468 clauses out of 18960 with flag 110555/718204
65.78/64.84	c cleaning 9747 clauses out of 19493 with flag 143207/728205
66.28/65.39	c cleaning 10370 clauses out of 20746 with flag 180172/739205
67.01/66.05	c cleaning 11170 clauses out of 22375 with flag 222438/751204
67.80/66.82	c cleaning 12092 clauses out of 24205 with flag 269923/764204
68.60/67.63	c cleaning 13054 clauses out of 26115 with flag 320643/778206
69.50/68.55	c cleaning 14024 clauses out of 28060 with flag 371684/793205
70.50/69.58	c cleaning 15016 clauses out of 30037 with flag 426357/809206
71.70/70.74	c cleaning 16005 clauses out of 32019 with flag 481931/826204
73.00/72.02	c cleaning 17007 clauses out of 34014 with flag 537691/844204
74.30/73.34	c cleaning 18000 clauses out of 36007 with flag 596299/863204
75.90/74.90	c cleaning 18997 clauses out of 38007 with flag 658717/883204
77.50/76.58	c cleaning 20004 clauses out of 40015 with flag 725606/904209
79.31/78.32	c cleaning 21000 clauses out of 42007 with flag 798877/926205
81.31/80.31	c cleaning 21995 clauses out of 44006 with flag 872356/949204
83.42/82.49	c cleaning 22990 clauses out of 46011 with flag 952202/973204
85.83/84.84	c cleaning 24008 clauses out of 48021 with flag 1038431/998204
88.32/87.33	c cleaning 24999 clauses out of 50015 with flag 1123047/1024206
91.02/90.02	c cleaning 26003 clauses out of 52016 with flag 1211317/1051206
93.92/92.97	c cleaning 26989 clauses out of 54011 with flag 1310193/1079204
96.92/95.99	c cleaning 28004 clauses out of 56022 with flag 1406865/1108204
100.22/99.23	c cleaning 29008 clauses out of 58019 with flag 1498778/1138205
103.63/102.60	c cleaning 30000 clauses out of 60010 with flag 1593864/1169204
107.23/106.29	c cleaning 30996 clauses out of 62011 with flag 1702460/1201205
110.93/109.97	c cleaning 32005 clauses out of 64014 with flag 1803412/1234204
114.93/114.00	c cleaning 32999 clauses out of 66009 with flag 1906939/1268204
120.03/119.04	c cleaning 34005 clauses out of 68010 with flag 2024515/1303204
125.13/124.18	c cleaning 34999 clauses out of 70005 with flag 2147286/1339204
129.93/128.91	c cleaning 36004 clauses out of 72008 with flag 2256115/1376206
134.93/133.97	c cleaning 37000 clauses out of 74005 with flag 2367132/1414207
140.33/139.32	c cleaning 37996 clauses out of 76002 with flag 2480326/1453204
145.93/144.91	c cleaning 38993 clauses out of 78007 with flag 2598101/1493205
151.63/150.67	c cleaning 40003 clauses out of 80013 with flag 2730333/1534204
157.75/156.71	c cleaning 41001 clauses out of 82011 with flag 2857545/1576205
164.05/163.08	c cleaning 41999 clauses out of 84009 with flag 2986403/1619204
171.16/170.12	c cleaning 43001 clauses out of 86010 with flag 3130245/1663204
179.66/178.66	c cleaning 43994 clauses out of 88010 with flag 3302871/1708205
187.16/186.19	c cleaning 45000 clauses out of 90015 with flag 3439203/1754204
194.86/193.82	c cleaning 46008 clauses out of 92015 with flag 3573634/1801204
203.36/202.38	c cleaning 46995 clauses out of 94007 with flag 3716379/1849204
212.56/211.57	c cleaning 48005 clauses out of 96013 with flag 3867787/1898205
222.63/221.55	c cleaning 48998 clauses out of 98007 with flag 4032822/1948204
232.33/231.25	c cleaning 50003 clauses out of 100011 with flag 4190096/1999206
243.03/241.98	c cleaning 51001 clauses out of 102006 with flag 4360164/2051204
253.33/252.20	c cleaning 51995 clauses out of 104005 with flag 4517771/2104204
264.04/263.00	c cleaning 52999 clauses out of 106011 with flag 4669812/2158205
274.94/273.90	c cleaning 54000 clauses out of 108011 with flag 4826398/2213204
286.44/285.32	c cleaning 55000 clauses out of 110011 with flag 4984812/2269204
298.73/297.69	c cleaning 56004 clauses out of 112011 with flag 5159240/2326204
311.46/310.21	c cleaning 56998 clauses out of 114007 with flag 5326091/2384204
323.66/322.42	c cleaning 57997 clauses out of 116010 with flag 5491975/2443205
336.56/335.30	c cleaning 58998 clauses out of 118012 with flag 5662779/2503204
350.46/349.21	c cleaning 60005 clauses out of 120017 with flag 5843009/2564207
364.67/363.41	c cleaning 61001 clauses out of 122009 with flag 6016383/2626204
379.47/378.17	c cleaning 61997 clauses out of 124009 with flag 6208551/2689205
394.66/393.32	c cleaning 62987 clauses out of 126011 with flag 6391741/2753204
411.16/409.85	c cleaning 64001 clauses out of 128024 with flag 6572561/2818204
427.65/426.38	c cleaning 65006 clauses out of 130023 with flag 6760730/2884204
445.06/443.77	c cleaning 66004 clauses out of 132017 with flag 6948648/2951204
464.76/463.43	c cleaning 67001 clauses out of 134014 with flag 7151859/3019205
484.52/483.04	c cleaning 68006 clauses out of 136012 with flag 7350562/3088204
502.81/501.37	c cleaning 68998 clauses out of 138006 with flag 7541721/3158204
521.91/520.49	c cleaning 70001 clauses out of 140008 with flag 7736022/3229204
543.00/541.54	c cleaning 71001 clauses out of 142007 with flag 7935543/3301204
564.96/563.39	c cleaning 72001 clauses out of 144008 with flag 8142933/3374206
585.66/584.04	c cleaning 72996 clauses out of 146005 with flag 8337051/3448204
611.16/609.54	c cleaning 73998 clauses out of 148009 with flag 8558895/3523204
635.46/633.88	c cleaning 74998 clauses out of 150011 with flag 8769649/3599204
657.82/656.05	c cleaning 76007 clauses out of 152013 with flag 8976797/3676204
679.92/678.11	c cleaning 76998 clauses out of 154006 with flag 9185072/3754204
702.81/701.00	c cleaning 78005 clauses out of 156009 with flag 9391738/3833205
727.81/725.80	c cleaning 79001 clauses out of 158003 with flag 9609408/3913204
756.30/754.37	c cleaning 79999 clauses out of 160004 with flag 9829767/3994206
783.50/781.56	c cleaning 80996 clauses out of 162005 with flag 10044730/4076206
813.11/811.10	c cleaning 81999 clauses out of 164008 with flag 10284052/4159205
844.53/842.41	c cleaning 83002 clauses out of 166009 with flag 10523869/4243205
874.55/872.46	c cleaning 84004 clauses out of 168008 with flag 10760654/4328206
904.34/902.27	c cleaning 84999 clauses out of 170004 with flag 10989361/4414206
935.87/933.67	c cleaning 85998 clauses out of 172005 with flag 11235598/4501206
969.87/967.69	c cleaning 86995 clauses out of 174005 with flag 11481573/4589204
1009.69/1007.47	c cleaning 88005 clauses out of 176011 with flag 11753391/4678205
1049.00/1046.63	c cleaning 88994 clauses out of 178006 with flag 12027385/4768205
1085.61/1083.25	c cleaning 90003 clauses out of 180013 with flag 12281948/4859206
1120.52/1118.11	c cleaning 90997 clauses out of 182010 with flag 12532298/4951206
1157.53/1155.09	c cleaning 92003 clauses out of 184013 with flag 12786135/5044206
1194.33/1191.89	c cleaning 93004 clauses out of 186013 with flag 13035403/5138209
1234.13/1231.67	c cleaning 94002 clauses out of 188006 with flag 13291591/5233206
1270.44/1267.87	c cleaning 95000 clauses out of 190004 with flag 13550894/5329206
1306.84/1304.26	c cleaning 95996 clauses out of 192003 with flag 13819328/5426205
1348.01/1345.38	c cleaning 96996 clauses out of 194006 with flag 14092814/5524204
1389.81/1387.11	c cleaning 97998 clauses out of 196010 with flag 14363099/5623204
1433.51/1430.87	c cleaning 99001 clauses out of 198012 with flag 14632943/5723204
1477.82/1475.01	c cleaning 99997 clauses out of 200011 with flag 14905165/5824204
1525.22/1522.46	c cleaning 101005 clauses out of 202017 with flag 15187880/5926207
1569.13/1566.29	c cleaning 102004 clauses out of 204011 with flag 15458657/6029206
1616.62/1613.77	c cleaning 102996 clauses out of 206005 with flag 15742302/6133204
1663.31/1660.31	c cleaning 103996 clauses out of 208009 with flag 16020787/6238204
1712.19/1709.29	c cleaning 105000 clauses out of 210015 with flag 16302518/6344206
1765.90/1762.93	c cleaning 106002 clauses out of 212013 with flag 16597447/6451204
1800.07/1797.00	c starts		: 18607
1800.07/1797.00	c conflicts		: 6530207
1800.07/1797.00	c decisions		: 13223587
1800.07/1797.00	c propagations		: 98304781
1800.07/1797.00	c inspects		: 32957776799
1800.07/1797.00	c shortcuts		: 0
1800.07/1797.00	c learnt literals	: 0
1800.07/1797.00	c learnt binary clauses	: 3
1800.07/1797.00	c learnt ternary clauses	: 4713
1800.07/1797.00	c learnt constraints	: 6530207
1800.07/1797.00	c ignored constraints	: 0
1800.07/1797.00	c root simplifications	: 0
1800.07/1797.00	c removed literals (reason simplification)	: 0
1800.07/1797.00	c reason swapping (by a shorter reason)	: 0
1800.07/1797.00	c Calls to reduceDB	: 141
1800.07/1797.00	c Number of update (reduction) of LBD	: 2007919
1800.07/1797.00	c Imported unit clauses	: 0
1800.07/1797.00	c number of reductions to clauses (during analyze)	: 0
1800.07/1797.00	c number of learned constraints concerned by reduction	: 0
1800.07/1797.00	c number of learning phase by resolution	: 0
1800.07/1797.00	c number of learning phase by cutting planes	: 0
1800.07/1797.00	c speed (assignments/second)	: 54711.734956536064
1800.07/1797.00	c non guided choices	0
1800.07/1797.03	c learnt constraints type 
1800.07/1797.03	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 3
1800.07/1797.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 185012
1800.07/1797.03	s SATISFIABLE
1800.07/1797.03	c Found 4 solution(s)
1800.07/1797.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 
1800.07/1797.03	c objective function=-12
1800.07/1797.03	c Total wall clock time (in seconds): 1796.919

Verifier Data 

OK	-12

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-4085815-1465261856/watcher-4085815-1465261856 -o /tmp/evaluation-result-4085815-1465261856/solver-4085815-1465261856 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1465256472-5401 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085815-1465261856.opb 

pid=5954
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.04 2.02 2.00 3/196 5957
/proc/meminfo: memFree=31428232/32872528 swapFree=10676/249824
[pid=5957] ppid=5954 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/5957/stat : 5957 (java) R 5954 5957 5384 0 -1 4202496 362 0 0 0 0 0 0 0 20 0 1 0 108121036 278528 33 33554432000 1073741824 1073778376 140734301019616 140736778468264 247055084839 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5957/statm: 68 33 25 9 0 25 0

[startup+0.10006 s]
/proc/loadavg: 2.04 2.02 2.00 3/196 5957
/proc/meminfo: memFree=31428232/32872528 swapFree=10676/249824
[pid=5957] ppid=5954 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/5957/stat : 5957 (java) S 5954 5957 5384 0 -1 4202496 4377 0 1 0 8 1 0 0 20 0 18 0 108121036 9787879424 6018 33554432000 1073741824 1073778376 140734301019616 140734301010752 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5957/statm: 2389619 6018 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200274 s]
/proc/loadavg: 2.04 2.02 2.00 3/196 5957
/proc/meminfo: memFree=31428232/32872528 swapFree=10676/249824
[pid=5957] ppid=5954 vsize=9558476 CPUtime=0.23 cores=1,3,5,7
/proc/5957/stat : 5957 (java) S 5954 5957 5384 0 -1 4202496 4678 0 1 0 22 1 0 0 20 0 18 0 108121036 9787879424 6805 33554432000 1073741824 1073778376 140734301019616 140734301010752 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5957/statm: 2389619 6805 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476

[startup+0.3003 s]
/proc/loadavg: 2.04 2.02 2.00 3/196 5957
/proc/meminfo: memFree=31428232/32872528 swapFree=10676/249824
[pid=5957] ppid=5954 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/5957/stat : 5957 (java) S 5954 5957 5384 0 -1 4202496 7597 0 1 0 45 2 0 0 20 0 19 0 108121036 9856040960 9381 33554432000 1073741824 1073778376 140734301019616 140734301010752 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5957/statm: 2406260 9381 2239 9 0 2396937 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9625040

[startup+0.700287 s]
/proc/loadavg: 2.04 2.02 2.00 3/196 5957
/proc/meminfo: memFree=31428232/32872528 swapFree=10676/249824
[pid=5957] ppid=5954 vsize=9625040 CPUtime=1.26 cores=1,3,5,7
/proc/5957/stat : 5957 (java) S 5954 5957 5384 0 -1 4202496 14233 0 1 0 122 4 0 0 20 0 19 0 108121036 9856040960 14309 33554432000 1073741824 1073778376 140734301019616 140734301010752 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5957/statm: 2406260 14309 2255 9 0 2396937 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 9625040

[startup+1.50078 s]
/proc/loadavg: 2.04 2.02 2.00 2/191 6007
/proc/meminfo: memFree=31663736/32872528 swapFree=10676/249824
[pid=5957] ppid=5954 vsize=9625040 CPUtime=2.43 cores=1,3,5,7
/proc/5957/stat : 5957 (java) S 5954 5957 5384 0 -1 4202496 16853 0 1 0 238 5 0 0 20 0 19 0 108121036 9856040960 15967 33554432000 1073741824 1073778376 140734301019616 140734301010752 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5957/statm: 2406260 15967 2257 9 0 2396937 0
[pid=5957/tid=5959] ppid=5954 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/5957/task/5959/stat : 5959 (java) R 5954 5957 5384 0 -1 4202560 2422 0 1 0 144 2 0 0 20 0 19 0 108121037 9856040960 15967 33554432000 1073741824 1073778376 140734301019616 140474793193168 140474640216653 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5957/tid=5960] ppid=5954 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5960/stat : 5960 (java) S 5954 5957 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121038 9856040960 15967 33554432000 1073741824 1073778376 140734301019616 140474765654440 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5957/tid=5961] ppid=5954 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5961/stat : 5961 (java) S 5954 5957 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121038 9856040960 15967 33554432000 1073741824 1073778376 140734301019616 140474764601896 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5957/tid=5962] ppid=5954 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5962/stat : 5962 (java) S 5954 5957 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121038 9856040960 15967 33554432000 1073741824 1073778376 140734301019616 140474763548840 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5957/tid=5963] ppid=5954 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5963/stat : 5963 (java) S 5954 5957 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121038 9856040960 15967 33554432000 1073741824 1073778376 140734301019616 140474762496296 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5957/tid=5964] ppid=5954 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5964/stat : 5964 (java) S 5954 5957 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121038 9856040960 15967 33554432000 1073741824 1073778376 140734301019616 140474761444264 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5957/tid=5965] ppid=5954 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5965/stat : 5965 (java) S 5954 5957 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121038 9856040960 15967 33554432000 1073741824 1073778376 140734301019616 140474760391720 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5957/tid=5966] ppid=5954 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5966/stat : 5966 (java) S 5954 5957 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121038 9856040960 15967 33554432000 1073741824 1073778376 140734301019616 140474759338664 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5957/tid=5967] ppid=5954 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5967/stat : 5967 (java) S 5954 5957 5384 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 108121038 9856040960 15967 33554432000 1073741824 1073778376 140734301019616 140474758286120 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5957/tid=5968] ppid=5954 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5968/stat : 5968 (java) S 5954 5957 5384 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 108121039 9856040960 15967 33554432000 1073741824 1073778376 140734301019616 140474146851176 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5957/tid=5969] ppid=5954 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5969/stat : 5969 (java) S 5954 5957 5384 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 108121040 9856040960 15967 33554432000 1073741824 1073778376 140734301019616 140474145797496 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5957/tid=5970] ppid=5954 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5970/stat : 5970 (java) S 5954 5957 5384 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 108121040 9856040960 15967 33554432000 1073741824 1073778376 140734301019616 140474144744328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5957/tid=5971] ppid=5954 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5971/stat : 5971 (java) S 5954 5957 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121042 9856040960 15967 33554432000 1073741824 1073778376 140734301019616 140474143693072 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5957/tid=5972] ppid=5954 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/5957/task/5972/stat : 5972 (java) S 5954 5957 5384 0 -1 4202560 3771 0 0 0 31 0 0 0 20 0 19 0 108121042 9856040960 15967 33554432000 1073741824 1073778376 140734301019616 140474142640952 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5957/tid=5973] ppid=5954 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/5957/task/5973/stat : 5973 (java) S 5954 5957 5384 0 -1 4202560 9389 0 0 0 59 2 0 0 20 0 19 0 108121042 9856040960 15967 33554432000 1073741824 1073778376 140734301019616 140474141588408 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5957/tid=5974] ppid=5954 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5974/stat : 5974 (java) S 5954 5957 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121042 9856040960 15967 33554432000 1073741824 1073778376 140734301019616 140474140535544 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5957/tid=5975] ppid=5954 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5975/stat : 5975 (java) S 5954 5957 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121042 9856040960 15967 33554432000 1073741824 1073778376 140734301019616 140474139483208 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5957/tid=5976] ppid=5954 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5976/stat : 5976 (java) S 5954 5957 5384 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 108121059 9856040960 15967 33554432000 1073741824 1073778376 140734301019616 140474138428456 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 9625040

[startup+3.1008 s]
/proc/loadavg: 2.04 2.02 2.00 4/193 6081
/proc/meminfo: memFree=31654800/32872528 swapFree=10676/249824
[pid=5957] ppid=5954 vsize=9625040 CPUtime=4.05 cores=1,3,5,7
/proc/5957/stat : 5957 (java) S 5954 5957 5384 0 -1 4202496 16859 0 1 0 400 5 0 0 20 0 19 0 108121036 9856040960 19039 33554432000 1073741824 1073778376 140734301019616 140734301010752 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5957/statm: 2406260 19039 2257 9 0 2396937 0
[pid=5957/tid=5959] ppid=5954 vsize=9625040 CPUtime=3.05 cores=1,3,5,7
/proc/5957/task/5959/stat : 5959 (java) R 5954 5957 5384 0 -1 4202560 2428 0 1 0 303 2 0 0 20 0 19 0 108121037 9856040960 19039 33554432000 1073741824 1073778376 140734301019616 140474793193152 140474640258057 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5957/tid=5960] ppid=5954 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5960/stat : 5960 (java) S 5954 5957 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121038 9856040960 19039 33554432000 1073741824 1073778376 140734301019616 140474765654440 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5957/tid=5961] ppid=5954 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5961/stat : 5961 (java) S 5954 5957 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121038 9856040960 19039 33554432000 1073741824 1073778376 140734301019616 140474764601896 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5957/tid=5962] ppid=5954 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5962/stat : 5962 (java) S 5954 5957 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121038 9856040960 19039 33554432000 1073741824 1073778376 140734301019616 140474763548840 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5957/tid=5963] ppid=5954 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5963/stat : 5963 (java) S 5954 5957 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121038 9856040960 19039 33554432000 1073741824 1073778376 140734301019616 140474762496296 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5957/tid=5964] ppid=5954 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5964/stat : 5964 (java) S 5954 5957 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121038 9856040960 19039 33554432000 1073741824 1073778376 140734301019616 140474761444264 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5957/tid=5965] ppid=5954 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5965/stat : 5965 (java) S 5954 5957 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121038 9856040960 19039 33554432000 1073741824 1073778376 140734301019616 140474760391720 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5957/tid=5966] ppid=5954 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5966/stat : 5966 (java) S 5954 5957 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121038 9856040960 19039 33554432000 1073741824 1073778376 140734301019616 140474759338664 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5957/tid=5967] ppid=5954 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5967/stat : 5967 (java) S 5954 5957 5384 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 108121038 9856040960 19039 33554432000 1073741824 1073778376 140734301019616 140474758286120 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5957/tid=5968] ppid=5954 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5968/stat : 5968 (java) S 5954 5957 5384 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 108121039 9856040960 19039 33554432000 1073741824 1073778376 140734301019616 140474146851176 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5957/tid=5969] ppid=5954 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5969/stat : 5969 (java) S 5954 5957 5384 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 108121040 9856040960 19039 33554432000 1073741824 1073778376 140734301019616 140474145797496 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5957/tid=5970] ppid=5954 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5970/stat : 5970 (java) S 5954 5957 5384 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 108121040 9856040960 19039 33554432000 1073741824 1073778376 140734301019616 140474144744328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5957/tid=5971] ppid=5954 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5971/stat : 5971 (java) S 5954 5957 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121042 9856040960 19039 33554432000 1073741824 1073778376 140734301019616 140474143693072 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5957/tid=5972] ppid=5954 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/5957/task/5972/stat : 5972 (java) S 5954 5957 5384 0 -1 4202560 3771 0 0 0 31 0 0 0 20 0 19 0 108121042 9856040960 19039 33554432000 1073741824 1073778376 140734301019616 140474142640952 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5957/tid=5973] ppid=5954 vsize=9625040 CPUtime=0.63 cores=1,3,5,7
/proc/5957/task/5973/stat : 5973 (java) S 5954 5957 5384 0 -1 4202560 9389 0 0 0 61 2 0 0 20 0 19 0 108121042 9856040960 19039 33554432000 1073741824 1073778376 140734301019616 140474141588408 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5957/tid=5974] ppid=5954 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5974/stat : 5974 (java) S 5954 5957 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121042 9856040960 19039 33554432000 1073741824 1073778376 140734301019616 140474140535544 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5957/tid=5975] ppid=5954 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5975/stat : 5975 (java) S 5954 5957 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121042 9856040960 19039 33554432000 1073741824 1073778376 140734301019616 140474139483208 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5957/tid=5976] ppid=5954 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5976/stat : 5976 (java) S 5954 5957 5384 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 108121059 9856040960 19039 33554432000 1073741824 1073778376 140734301019616 140474138428456 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.05
Current children cumulated vsize (KiB) 9625040

[startup+6.30084 s]
/proc/loadavg: 2.04 2.02 2.00 3/214 6107
/proc/meminfo: memFree=31544900/32872528 swapFree=10676/249824
[pid=5957] ppid=5954 vsize=9625040 CPUtime=7.26 cores=1,3,5,7
/proc/5957/stat : 5957 (java) S 5954 5957 5384 0 -1 4202496 16872 0 1 0 720 6 0 0 20 0 19 0 108121036 9856040960 23804 33554432000 1073741824 1073778376 140734301019616 140734301010752 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5957/statm: 2406260 23804 2258 9 0 2396937 0
[pid=5957/tid=5959] ppid=5954 vsize=9625040 CPUtime=6.24 cores=1,3,5,7
/proc/5957/task/5959/stat : 5959 (java) R 5954 5957 5384 0 -1 4202560 2440 0 1 0 622 2 0 0 20 0 19 0 108121037 9856040960 23804 33554432000 1073741824 1073778376 140734301019616 140474793193152 140474640183913 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5957/tid=5960] ppid=5954 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5960/stat : 5960 (java) S 5954 5957 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121038 9856040960 23804 33554432000 1073741824 1073778376 140734301019616 140474765654440 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5957/tid=5961] ppid=5954 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5961/stat : 5961 (java) S 5954 5957 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121038 9856040960 23804 33554432000 1073741824 1073778376 140734301019616 140474764601896 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5957/tid=5962] ppid=5954 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5962/stat : 5962 (java) S 5954 5957 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121038 9856040960 23804 33554432000 1073741824 1073778376 140734301019616 140474763548840 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5957/tid=5963] ppid=5954 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5963/stat : 5963 (java) S 5954 5957 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121038 9856040960 23804 33554432000 1073741824 1073778376 140734301019616 140474762496296 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5957/tid=5964] ppid=5954 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5964/stat : 5964 (java) S 5954 5957 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121038 9856040960 23804 33554432000 1073741824 1073778376 140734301019616 140474761444264 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5957/tid=5965] ppid=5954 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5965/stat : 5965 (java) S 5954 5957 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121038 9856040960 23804 33554432000 1073741824 1073778376 140734301019616 140474760391720 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5957/tid=5966] ppid=5954 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5966/stat : 5966 (java) S 5954 5957 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121038 9856040960 23804 33554432000 1073741824 1073778376 140734301019616 140474759338664 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5957/tid=5967] ppid=5954 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5967/stat : 5967 (java) S 5954 5957 5384 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 108121038 9856040960 23804 33554432000 1073741824 1073778376 140734301019616 140474758286120 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5957/tid=5968] ppid=5954 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5968/stat : 5968 (java) S 5954 5957 5384 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 108121039 9856040960 23804 33554432000 1073741824 1073778376 140734301019616 140474146851176 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5957/tid=5969] ppid=5954 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5969/stat : 5969 (java) S 5954 5957 5384 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 108121040 9856040960 23804 33554432000 1073741824 1073778376 140734301019616 140474145797496 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5957/tid=5970] ppid=5954 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5970/stat : 5970 (java) S 5954 5957 5384 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 108121040 9856040960 23804 33554432000 1073741824 1073778376 140734301019616 140474144744328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5957/tid=5971] ppid=5954 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5971/stat : 5971 (java) S 5954 5957 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121042 9856040960 23804 33554432000 1073741824 1073778376 140734301019616 140474143693072 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5957/tid=5972] ppid=5954 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/5957/task/5972/stat : 5972 (java) S 5954 5957 5384 0 -1 4202560 3771 0 0 0 31 0 0 0 20 0 19 0 108121042 9856040960 23804 33554432000 1073741824 1073778376 140734301019616 140474142640952 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5957/tid=5973] ppid=5954 vsize=9625040 CPUtime=0.64 cores=1,3,5,7
/proc/5957/task/5973/stat : 5973 (java) S 5954 5957 5384 0 -1 4202560 9389 0 0 0 62 2 0 0 20 0 19 0 108121042 9856040960 23804 33554432000 1073741824 1073778376 140734301019616 140474141588408 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5957/tid=5974] ppid=5954 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5974/stat : 5974 (java) S 5954 5957 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121042 9856040960 23804 33554432000 1073741824 1073778376 140734301019616 140474140535544 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5957/tid=5975] ppid=5954 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5975/stat : 5975 (java) S 5954 5957 5384 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 108121042 9856040960 23804 33554432000 1073741824 1073778376 140734301019616 140474139483208 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5957/tid=5976] ppid=5954 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5976/stat : 5976 (java) S 5954 5957 5384 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 108121059 9856040960 23804 33554432000 1073741824 1073778376 140734301019616 140474138428456 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.26
Current children cumulated vsize (KiB) 9625040


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

[pid=5957/tid=5976] ppid=5954 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5976/stat : 5976 (java) S 5954 5957 5384 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 108121059 9856040960 123891 33554432000 1073741824 1073778376 140734301019616 140474138428456 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1665.3
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.02 2.09 2.04 3/213 6351
/proc/meminfo: memFree=30758448/32872528 swapFree=10676/249824
[pid=5957] ppid=5954 vsize=9625040 CPUtime=1725.3 cores=1,3,5,7
/proc/5957/stat : 5957 (java) S 5954 5957 5384 0 -1 4202496 19972 0 1 0 172454 76 0 0 20 0 19 0 108121036 9856040960 123891 33554432000 1073741824 1073778376 140734301019616 140734301010752 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5957/statm: 2406260 123891 2280 9 0 2396937 0
[pid=5957/tid=5959] ppid=5954 vsize=9625040 CPUtime=1716.9 cores=1,3,5,7
/proc/5957/task/5959/stat : 5959 (java) R 5954 5957 5384 0 -1 4202560 2502 0 1 0 171660 30 0 0 20 0 19 0 108121037 9856040960 123891 33554432000 1073741824 1073778376 140734301019616 140474793193248 140474640183794 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5957/tid=5960] ppid=5954 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/5957/task/5960/stat : 5960 (java) S 5954 5957 5384 0 -1 4202560 445 0 0 0 29 6 0 0 20 0 19 0 108121038 9856040960 123891 33554432000 1073741824 1073778376 140734301019616 140474765654440 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5957/tid=5961] ppid=5954 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/5957/task/5961/stat : 5961 (java) S 5954 5957 5384 0 -1 4202560 582 0 0 0 25 6 0 0 20 0 19 0 108121038 9856040960 123891 33554432000 1073741824 1073778376 140734301019616 140474764601896 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5957/tid=5962] ppid=5954 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/5957/task/5962/stat : 5962 (java) S 5954 5957 5384 0 -1 4202560 231 0 0 0 23 5 0 0 20 0 19 0 108121038 9856040960 123891 33554432000 1073741824 1073778376 140734301019616 140474763548840 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5957/tid=5963] ppid=5954 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/5957/task/5963/stat : 5963 (java) S 5954 5957 5384 0 -1 4202560 326 0 0 0 26 5 0 0 20 0 19 0 108121038 9856040960 123891 33554432000 1073741824 1073778376 140734301019616 140474762496296 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5957/tid=5964] ppid=5954 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/5957/task/5964/stat : 5964 (java) S 5954 5957 5384 0 -1 4202560 335 0 0 0 30 5 0 0 20 0 19 0 108121038 9856040960 123891 33554432000 1073741824 1073778376 140734301019616 140474761444264 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5957/tid=5965] ppid=5954 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/5957/task/5965/stat : 5965 (java) S 5954 5957 5384 0 -1 4202560 413 0 0 0 25 6 0 0 20 0 19 0 108121038 9856040960 123891 33554432000 1073741824 1073778376 140734301019616 140474760391720 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5957/tid=5966] ppid=5954 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/5957/task/5966/stat : 5966 (java) S 5954 5957 5384 0 -1 4202560 125 0 0 0 29 6 0 0 20 0 19 0 108121038 9856040960 123891 33554432000 1073741824 1073778376 140734301019616 140474759338664 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5957/tid=5967] ppid=5954 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/5957/task/5967/stat : 5967 (java) S 5954 5957 5384 0 -1 4202560 368 0 0 0 28 6 0 0 20 0 19 0 108121038 9856040960 123891 33554432000 1073741824 1073778376 140734301019616 140474758286120 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5957/tid=5968] ppid=5954 vsize=9625040 CPUtime=0.12 cores=1,3,5,7
/proc/5957/task/5968/stat : 5968 (java) S 5954 5957 5384 0 -1 4202560 123 0 0 0 11 1 0 0 20 0 19 0 108121039 9856040960 123891 33554432000 1073741824 1073778376 140734301019616 140474146851176 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5957/tid=5969] ppid=5954 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5969/stat : 5969 (java) S 5954 5957 5384 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 108121040 9856040960 123891 33554432000 1073741824 1073778376 140734301019616 140474145797496 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5957/tid=5970] ppid=5954 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5970/stat : 5970 (java) S 5954 5957 5384 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 108121040 9856040960 123891 33554432000 1073741824 1073778376 140734301019616 140474144744328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5957/tid=5971] ppid=5954 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5971/stat : 5971 (java) S 5954 5957 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121042 9856040960 123891 33554432000 1073741824 1073778376 140734301019616 140474143693072 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5957/tid=5972] ppid=5954 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/5957/task/5972/stat : 5972 (java) S 5954 5957 5384 0 -1 4202560 3771 0 0 0 31 0 0 0 20 0 19 0 108121042 9856040960 123891 33554432000 1073741824 1073778376 140734301019616 140474142640952 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5957/tid=5973] ppid=5954 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/5957/task/5973/stat : 5973 (java) S 5954 5957 5384 0 -1 4202560 9394 0 0 0 65 2 0 0 20 0 19 0 108121042 9856040960 123891 33554432000 1073741824 1073778376 140734301019616 140474141588408 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5957/tid=5974] ppid=5954 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5974/stat : 5974 (java) S 5954 5957 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121042 9856040960 123891 33554432000 1073741824 1073778376 140734301019616 140474140535544 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5957/tid=5975] ppid=5954 vsize=9625040 CPUtime=0.7 cores=1,3,5,7
/proc/5957/task/5975/stat : 5975 (java) S 5954 5957 5384 0 -1 4202560 99 0 0 0 25 45 0 0 20 0 19 0 108121042 9856040960 123891 33554432000 1073741824 1073778376 140734301019616 140474139483208 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5957/tid=5976] ppid=5954 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5976/stat : 5976 (java) S 5954 5957 5384 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 108121059 9856040960 123891 33554432000 1073741824 1073778376 140734301019616 140474138428456 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1725.3
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.06 2.09 2.04 3/214 6355
/proc/meminfo: memFree=30676404/32872528 swapFree=10676/249824
[pid=5957] ppid=5954 vsize=9625040 CPUtime=1785.38 cores=1,3,5,7
/proc/5957/stat : 5957 (java) S 5954 5957 5384 0 -1 4202496 20000 0 1 0 178461 77 0 0 20 0 19 0 108121036 9856040960 123912 33554432000 1073741824 1073778376 140734301019616 140734301010752 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5957/statm: 2406260 123912 2280 9 0 2396937 0
[pid=5957/tid=5959] ppid=5954 vsize=9625040 CPUtime=1776.72 cores=1,3,5,7
/proc/5957/task/5959/stat : 5959 (java) R 5954 5957 5384 0 -1 4202560 2503 0 1 0 177641 31 0 0 20 0 19 0 108121037 9856040960 123912 33554432000 1073741824 1073778376 140734301019616 140474793200944 140474640183835 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5957/tid=5960] ppid=5954 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/5957/task/5960/stat : 5960 (java) S 5954 5957 5384 0 -1 4202560 446 0 0 0 30 6 0 0 20 0 19 0 108121038 9856040960 123912 33554432000 1073741824 1073778376 140734301019616 140474765654440 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5957/tid=5961] ppid=5954 vsize=9625040 CPUtime=0.32 cores=1,3,5,7
/proc/5957/task/5961/stat : 5961 (java) S 5954 5957 5384 0 -1 4202560 582 0 0 0 26 6 0 0 20 0 19 0 108121038 9856040960 123912 33554432000 1073741824 1073778376 140734301019616 140474764601896 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5957/tid=5962] ppid=5954 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/5957/task/5962/stat : 5962 (java) S 5954 5957 5384 0 -1 4202560 251 0 0 0 24 5 0 0 20 0 19 0 108121038 9856040960 123912 33554432000 1073741824 1073778376 140734301019616 140474763548840 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5957/tid=5963] ppid=5954 vsize=9625040 CPUtime=0.32 cores=1,3,5,7
/proc/5957/task/5963/stat : 5963 (java) S 5954 5957 5384 0 -1 4202560 326 0 0 0 27 5 0 0 20 0 19 0 108121038 9856040960 123912 33554432000 1073741824 1073778376 140734301019616 140474762496296 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5957/tid=5964] ppid=5954 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/5957/task/5964/stat : 5964 (java) S 5954 5957 5384 0 -1 4202560 335 0 0 0 31 5 0 0 20 0 19 0 108121038 9856040960 123912 33554432000 1073741824 1073778376 140734301019616 140474761444264 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5957/tid=5965] ppid=5954 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/5957/task/5965/stat : 5965 (java) S 5954 5957 5384 0 -1 4202560 413 0 0 0 27 6 0 0 20 0 19 0 108121038 9856040960 123912 33554432000 1073741824 1073778376 140734301019616 140474760391720 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5957/tid=5966] ppid=5954 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/5957/task/5966/stat : 5966 (java) S 5954 5957 5384 0 -1 4202560 125 0 0 0 30 6 0 0 20 0 19 0 108121038 9856040960 123912 33554432000 1073741824 1073778376 140734301019616 140474759338664 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5957/tid=5967] ppid=5954 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/5957/task/5967/stat : 5967 (java) S 5954 5957 5384 0 -1 4202560 368 0 0 0 29 6 0 0 20 0 19 0 108121038 9856040960 123912 33554432000 1073741824 1073778376 140734301019616 140474758286120 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5957/tid=5968] ppid=5954 vsize=9625040 CPUtime=0.12 cores=1,3,5,7
/proc/5957/task/5968/stat : 5968 (java) S 5954 5957 5384 0 -1 4202560 125 0 0 0 11 1 0 0 20 0 19 0 108121039 9856040960 123912 33554432000 1073741824 1073778376 140734301019616 140474146851176 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5957/tid=5969] ppid=5954 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5969/stat : 5969 (java) S 5954 5957 5384 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 108121040 9856040960 123912 33554432000 1073741824 1073778376 140734301019616 140474145797496 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5957/tid=5970] ppid=5954 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5970/stat : 5970 (java) S 5954 5957 5384 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 108121040 9856040960 123912 33554432000 1073741824 1073778376 140734301019616 140474144744328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5957/tid=5971] ppid=5954 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5971/stat : 5971 (java) S 5954 5957 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121042 9856040960 123912 33554432000 1073741824 1073778376 140734301019616 140474143693072 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5957/tid=5972] ppid=5954 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/5957/task/5972/stat : 5972 (java) S 5954 5957 5384 0 -1 4202560 3771 0 0 0 31 0 0 0 20 0 19 0 108121042 9856040960 123912 33554432000 1073741824 1073778376 140734301019616 140474142640952 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5957/tid=5973] ppid=5954 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/5957/task/5973/stat : 5973 (java) S 5954 5957 5384 0 -1 4202560 9394 0 0 0 65 2 0 0 20 0 19 0 108121042 9856040960 123912 33554432000 1073741824 1073778376 140734301019616 140474141588408 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5957/tid=5974] ppid=5954 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5974/stat : 5974 (java) S 5954 5957 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121042 9856040960 123912 33554432000 1073741824 1073778376 140734301019616 140474140535544 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5957/tid=5975] ppid=5954 vsize=9625040 CPUtime=0.72 cores=1,3,5,7
/proc/5957/task/5975/stat : 5975 (java) S 5954 5957 5384 0 -1 4202560 103 0 0 0 26 46 0 0 20 0 19 0 108121042 9856040960 123912 33554432000 1073741824 1073778376 140734301019616 140474139483208 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5957/tid=5976] ppid=5954 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5976/stat : 5976 (java) S 5954 5957 5384 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 108121059 9856040960 123912 33554432000 1073741824 1073778376 140734301019616 140474138428456 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1785.38
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797 s]
/proc/loadavg: 2.04 2.08 2.03 3/214 6421
/proc/meminfo: memFree=30910940/32872528 swapFree=10676/249824
[pid=5957] ppid=5954 vsize=9625040 CPUtime=1800.07 cores=1,3,5,7
/proc/5957/stat : 5957 (java) S 5954 5957 5384 0 -1 4202496 20000 0 1 0 179930 77 0 0 20 0 19 0 108121036 9856040960 123912 33554432000 1073741824 1073778376 140734301019616 140734301010752 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5957/statm: 2406260 123912 2280 9 0 2396937 0
[pid=5957/tid=5959] ppid=5954 vsize=9625040 CPUtime=1791.38 cores=1,3,5,7
/proc/5957/task/5959/stat : 5959 (java) R 5954 5957 5384 0 -1 4202560 2503 0 1 0 179107 31 0 0 20 0 19 0 108121037 9856040960 123912 33554432000 1073741824 1073778376 140734301019616 140474793200944 140474640183835 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5957/tid=5960] ppid=5954 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/5957/task/5960/stat : 5960 (java) S 5954 5957 5384 0 -1 4202560 446 0 0 0 30 6 0 0 20 0 19 0 108121038 9856040960 123912 33554432000 1073741824 1073778376 140734301019616 140474765654440 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5957/tid=5961] ppid=5954 vsize=9625040 CPUtime=0.32 cores=1,3,5,7
/proc/5957/task/5961/stat : 5961 (java) S 5954 5957 5384 0 -1 4202560 582 0 0 0 26 6 0 0 20 0 19 0 108121038 9856040960 123912 33554432000 1073741824 1073778376 140734301019616 140474764601896 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5957/tid=5962] ppid=5954 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/5957/task/5962/stat : 5962 (java) S 5954 5957 5384 0 -1 4202560 251 0 0 0 24 5 0 0 20 0 19 0 108121038 9856040960 123912 33554432000 1073741824 1073778376 140734301019616 140474763548840 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5957/tid=5963] ppid=5954 vsize=9625040 CPUtime=0.32 cores=1,3,5,7
/proc/5957/task/5963/stat : 5963 (java) S 5954 5957 5384 0 -1 4202560 326 0 0 0 27 5 0 0 20 0 19 0 108121038 9856040960 123912 33554432000 1073741824 1073778376 140734301019616 140474762496296 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5957/tid=5964] ppid=5954 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/5957/task/5964/stat : 5964 (java) S 5954 5957 5384 0 -1 4202560 335 0 0 0 31 5 0 0 20 0 19 0 108121038 9856040960 123912 33554432000 1073741824 1073778376 140734301019616 140474761444264 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5957/tid=5965] ppid=5954 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/5957/task/5965/stat : 5965 (java) S 5954 5957 5384 0 -1 4202560 413 0 0 0 27 6 0 0 20 0 19 0 108121038 9856040960 123912 33554432000 1073741824 1073778376 140734301019616 140474760391720 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5957/tid=5966] ppid=5954 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/5957/task/5966/stat : 5966 (java) S 5954 5957 5384 0 -1 4202560 125 0 0 0 30 6 0 0 20 0 19 0 108121038 9856040960 123912 33554432000 1073741824 1073778376 140734301019616 140474759338664 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5957/tid=5967] ppid=5954 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/5957/task/5967/stat : 5967 (java) S 5954 5957 5384 0 -1 4202560 368 0 0 0 29 6 0 0 20 0 19 0 108121038 9856040960 123912 33554432000 1073741824 1073778376 140734301019616 140474758286120 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5957/tid=5968] ppid=5954 vsize=9625040 CPUtime=0.12 cores=1,3,5,7
/proc/5957/task/5968/stat : 5968 (java) S 5954 5957 5384 0 -1 4202560 125 0 0 0 11 1 0 0 20 0 19 0 108121039 9856040960 123912 33554432000 1073741824 1073778376 140734301019616 140474146851176 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5957/tid=5969] ppid=5954 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5969/stat : 5969 (java) S 5954 5957 5384 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 108121040 9856040960 123912 33554432000 1073741824 1073778376 140734301019616 140474145797496 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5957/tid=5970] ppid=5954 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5970/stat : 5970 (java) S 5954 5957 5384 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 108121040 9856040960 123912 33554432000 1073741824 1073778376 140734301019616 140474144744328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5957/tid=5971] ppid=5954 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5971/stat : 5971 (java) S 5954 5957 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121042 9856040960 123912 33554432000 1073741824 1073778376 140734301019616 140474143693072 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5957/tid=5972] ppid=5954 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/5957/task/5972/stat : 5972 (java) S 5954 5957 5384 0 -1 4202560 3771 0 0 0 31 0 0 0 20 0 19 0 108121042 9856040960 123912 33554432000 1073741824 1073778376 140734301019616 140474142640952 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5957/tid=5973] ppid=5954 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/5957/task/5973/stat : 5973 (java) S 5954 5957 5384 0 -1 4202560 9394 0 0 0 65 2 0 0 20 0 19 0 108121042 9856040960 123912 33554432000 1073741824 1073778376 140734301019616 140474141588408 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5957/tid=5974] ppid=5954 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5974/stat : 5974 (java) S 5954 5957 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121042 9856040960 123912 33554432000 1073741824 1073778376 140734301019616 140474140535544 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5957/tid=5975] ppid=5954 vsize=9625040 CPUtime=0.73 cores=1,3,5,7
/proc/5957/task/5975/stat : 5975 (java) S 5954 5957 5384 0 -1 4202560 103 0 0 0 27 46 0 0 20 0 19 0 108121042 9856040960 123912 33554432000 1073741824 1073778376 140734301019616 140474139483208 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5957/tid=5976] ppid=5954 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5976/stat : 5976 (java) S 5954 5957 5384 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 108121059 9856040960 123912 33554432000 1073741824 1073778376 140734301019616 140474138428456 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
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 5957 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5957 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=848141
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=393788
# CPU time returned by wait4() is 1796.24
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1797.04
CPU time (s): 1800.07
CPU user time (s): 1799.3
CPU system time (s): 0.77
CPU usage (%): 100.169
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.85
system time used= 1.39379
maximum resident set size= 591608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20048
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38538
involuntary context switches= 9139

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.5024 second user time and 14.0419 second system time

The end

Launcher Data 

Begin job on node103 at 2016-06-07 03:10:56
IDJOB=4085815
IDBENCH=48277
IDSOLVER=2546
FILE ID=node103/4085815-1465261856
RUNJOBID= node103-1465256472-5401
PBS_JOBID= 19843279
Free space on /tmp= 71736 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_10_4.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085815-1465261856/watcher-4085815-1465261856 -o /tmp/evaluation-result-4085815-1465261856/solver-4085815-1465261856 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1465256472-5401 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4085815-1465261856.opb

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

MD5SUM BENCH= 3258ae2375db1ca5a9ce9d305f00baf0
RANDOM SEED=1405242833

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.760
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.760
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.760
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.760
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.760
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.760
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.760
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:        31429024 kB
Buffers:           71592 kB
Cached:           126624 kB
SwapCached:         1720 kB
Active:           372832 kB
Inactive:         116684 kB
Active(anon):     292620 kB
Inactive(anon):     1176 kB
Active(file):      80212 kB
Inactive(file):   115508 kB
Unevictable:      249824 kB
Mlocked:           10676 kB
SwapTotal:      67108856 kB
SwapFree:       67096656 kB
Dirty:               884 kB
Writeback:             0 kB
AnonPages:        540444 kB
Mapped:            15392 kB
Shmem:                 0 kB
Slab:             570196 kB
SReclaimable:      13920 kB
SUnreclaim:       556276 kB
KernelStack:        1608 kB
PageTables:         5368 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     688860 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    512000 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 node103 at 2016-06-07 03:40:53