Trace number 4089075

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16? (TO) 1800.7 1795.35

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/
vertexcover-instances/normalized-vertexcover-grid6x23-hard.opb
MD5SUMf56d72df87ffa4deaca06ea56c7299ad
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.016996
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables138
Total number of constraints277
Number of constraints which are clauses276
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint138
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 71
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 209
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.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-4089075-1466016958.opb
0.09/0.11	c reading problem ... 
0.09/0.11	c  no objective function found
0.09/0.15	c ... done. Wall clock time 0.036s.
0.09/0.15	c declared #vars     138
0.09/0.15	c #constraints  277
0.09/0.15	c constraints type 
0.09/0.15	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
0.09/0.15	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 276
0.09/0.15	c 277 constraints processed.
0.61/0.41	c cleaning 2500 clauses out of 5000 with flag 10404/5000
0.78/0.59	c cleaning 4250 clauses out of 8500 with flag 22889/11000
1.01/0.79	c cleaning 5623 clauses out of 11250 with flag 37427/18000
1.33/1.05	c cleaning 6814 clauses out of 13627 with flag 54064/26000
1.65/1.35	c cleaning 7904 clauses out of 15813 with flag 72708/35000
1.95/1.67	c cleaning 8955 clauses out of 17909 with flag 93496/45000
2.35/2.05	c cleaning 9976 clauses out of 19955 with flag 116284/56001
2.75/2.49	c cleaning 10989 clauses out of 21979 with flag 141283/68001
3.25/2.98	c cleaning 11992 clauses out of 23990 with flag 168302/81001
3.85/3.56	c cleaning 12998 clauses out of 25999 with flag 197438/95002
4.55/4.22	c cleaning 13998 clauses out of 27999 with flag 228599/110000
5.25/4.95	c cleaning 15000 clauses out of 30001 with flag 261868/126000
6.05/5.76	c cleaning 16002 clauses out of 32003 with flag 297250/143002
7.05/6.71	c cleaning 16996 clauses out of 33999 with flag 334670/161000
7.95/7.67	c cleaning 17998 clauses out of 36004 with flag 374131/180001
9.05/8.74	c cleaning 19003 clauses out of 38005 with flag 415648/200000
10.15/9.80	c cleaning 19997 clauses out of 40002 with flag 459300/221000
11.26/10.99	c cleaning 21000 clauses out of 42006 with flag 505056/243001
12.56/12.28	c cleaning 22000 clauses out of 44006 with flag 552792/266001
13.95/13.62	c cleaning 23002 clauses out of 46006 with flag 602600/290001
15.35/15.09	c cleaning 23999 clauses out of 48003 with flag 654424/315000
16.86/16.58	c cleaning 25001 clauses out of 50004 with flag 708377/341000
18.65/18.35	c cleaning 26002 clauses out of 52003 with flag 764651/368000
20.31/19.97	c cleaning 26997 clauses out of 54001 with flag 822745/396000
21.80/21.49	c cleaning 28003 clauses out of 56005 with flag 882995/425001
23.51/23.12	c cleaning 29000 clauses out of 58002 with flag 945308/455001
25.30/24.90	c cleaning 29998 clauses out of 60003 with flag 1009718/486002
27.30/26.93	c cleaning 31001 clauses out of 62003 with flag 1076198/518000
29.60/29.22	c cleaning 31996 clauses out of 64002 with flag 1144859/551000
31.40/31.08	c cleaning 32996 clauses out of 66006 with flag 1215515/585000
33.30/33.00	c cleaning 34004 clauses out of 68011 with flag 1288154/620001
35.61/35.24	c cleaning 35003 clauses out of 70008 with flag 1362860/656002
38.10/37.79	c cleaning 35999 clauses out of 72005 with flag 1439640/693002
40.90/40.58	c cleaning 37002 clauses out of 74004 with flag 1518560/731000
44.00/43.68	c cleaning 37995 clauses out of 76004 with flag 1599678/770002
46.84/46.46	c cleaning 39004 clauses out of 78008 with flag 1682939/810001
49.74/49.33	c cleaning 40003 clauses out of 80005 with flag 1768002/851002
53.14/52.76	c cleaning 40995 clauses out of 82000 with flag 1855172/893000
56.34/55.99	c cleaning 42003 clauses out of 84008 with flag 1944676/936003
59.64/59.21	c cleaning 42999 clauses out of 86002 with flag 2036199/980000
63.04/62.63	c cleaning 44001 clauses out of 88005 with flag 2129544/1025002
66.74/66.34	c cleaning 45000 clauses out of 90002 with flag 2225047/1071000
71.04/70.60	c cleaning 45996 clauses out of 92002 with flag 2322661/1118000
75.94/75.59	c cleaning 47000 clauses out of 94007 with flag 2422367/1166001
80.27/79.86	c cleaning 48000 clauses out of 96008 with flag 2524128/1215002
84.98/84.53	c cleaning 48999 clauses out of 98006 with flag 2627943/1265000
89.28/88.85	c cleaning 50002 clauses out of 100008 with flag 2733798/1316001
93.88/93.40	c cleaning 51000 clauses out of 102005 with flag 2841777/1368000
98.68/98.21	c cleaning 51999 clauses out of 104005 with flag 2952068/1421000
103.58/103.17	c cleaning 52999 clauses out of 106006 with flag 3064130/1475000
109.18/108.71	c cleaning 53999 clauses out of 108008 with flag 3178406/1530001
114.75/114.27	c cleaning 55000 clauses out of 110009 with flag 3294720/1586001
120.15/119.65	c cleaning 56002 clauses out of 112008 with flag 3413078/1643000
125.85/125.31	c cleaning 57003 clauses out of 114008 with flag 3533588/1701002
132.15/131.66	c cleaning 57999 clauses out of 116003 with flag 3656283/1760000
138.34/137.82	c cleaning 59001 clauses out of 118005 with flag 3780788/1820001
146.11/145.53	c cleaning 60002 clauses out of 120004 with flag 3914742/1881001
151.91/151.36	c cleaning 60999 clauses out of 122002 with flag 4056694/1943001
159.21/158.52	c cleaning 61999 clauses out of 124002 with flag 4201894/2006000
169.40/168.74	c cleaning 62998 clauses out of 126003 with flag 4352736/2070000
180.51/179.89	c cleaning 63997 clauses out of 128005 with flag 4507364/2135000
193.01/192.36	c cleaning 64999 clauses out of 130010 with flag 4661604/2201002
205.22/204.52	c cleaning 66001 clauses out of 132009 with flag 4817691/2268000
217.42/216.78	c cleaning 67005 clauses out of 134009 with flag 4974215/2336001
231.75/230.96	c cleaning 68002 clauses out of 136003 with flag 5130436/2405000
246.95/246.15	c cleaning 68999 clauses out of 138001 with flag 5294212/2475000
261.96/261.17	c cleaning 69995 clauses out of 140002 with flag 5455685/2546000
277.66/276.83	c cleaning 71000 clauses out of 142007 with flag 5620554/2618000
295.56/294.76	c cleaning 72004 clauses out of 144008 with flag 5788478/2691001
313.29/312.31	c cleaning 73002 clauses out of 146004 with flag 5955346/2765001
331.69/330.73	c cleaning 73994 clauses out of 148001 with flag 6126150/2840000
354.69/353.75	c cleaning 75002 clauses out of 150008 with flag 6301222/2916001
378.31/377.37	c cleaning 76003 clauses out of 152005 with flag 6479541/2993000
401.78/400.52	c cleaning 76997 clauses out of 154002 with flag 6657325/3071000
425.88/424.69	c cleaning 78000 clauses out of 156007 with flag 6838154/3150002
453.88/452.63	c cleaning 78998 clauses out of 158006 with flag 7020860/3230001
482.98/481.71	c cleaning 80001 clauses out of 160008 with flag 7207983/3311001
514.00/512.67	c cleaning 81000 clauses out of 162006 with flag 7404822/3393000
543.90/542.58	c cleaning 82001 clauses out of 164008 with flag 7594252/3476002
573.51/572.19	c cleaning 83002 clauses out of 166008 with flag 7783872/3560003
602.83/601.30	c cleaning 84001 clauses out of 168003 with flag 7976740/3645000
633.13/631.67	c cleaning 84997 clauses out of 170003 with flag 8170080/3731001
664.65/663.11	c cleaning 86003 clauses out of 172005 with flag 8365595/3818000
700.37/698.70	c cleaning 86999 clauses out of 174002 with flag 8564485/3906000
740.49/738.89	c cleaning 88001 clauses out of 176003 with flag 8766019/3995000
783.81/782.19	c cleaning 88999 clauses out of 178003 with flag 8971149/4085001
795.11/793.35	c cleaning 89999 clauses out of 180004 with flag 9159675/4176001
805.31/803.60	c cleaning 91000 clauses out of 182005 with flag 9348721/4268001
818.92/817.15	c cleaning 91999 clauses out of 184006 with flag 9539351/4361002
830.82/828.99	c cleaning 93000 clauses out of 186006 with flag 9732760/4455001
843.82/841.92	c cleaning 94001 clauses out of 188006 with flag 9927680/4550001
857.62/855.70	c cleaning 95000 clauses out of 190006 with flag 10124522/4646002
872.11/870.14	c cleaning 96000 clauses out of 192004 with flag 10323445/4743000
885.42/883.46	c cleaning 97000 clauses out of 194006 with flag 10524507/4841002
899.31/897.27	c cleaning 97999 clauses out of 196004 with flag 10727888/4940000
914.42/912.31	c cleaning 99001 clauses out of 198005 with flag 10933160/5040000
928.92/926.90	c cleaning 99996 clauses out of 200004 with flag 11140441/5141000
942.23/940.09	c cleaning 101003 clauses out of 202008 with flag 11350076/5243000
956.73/954.56	c cleaning 102002 clauses out of 204006 with flag 11561366/5346001
973.17/970.82	c cleaning 103000 clauses out of 206005 with flag 11774544/5450002
989.77/987.45	c cleaning 103994 clauses out of 208004 with flag 11992613/5555001
1004.19/1001.77	c cleaning 105003 clauses out of 210010 with flag 12222745/5661001
1014.19/1011.75	c cleaning 105998 clauses out of 212006 with flag 12450848/5768000
1027.73/1025.19	c cleaning 107001 clauses out of 214009 with flag 12679827/5876001
1037.63/1035.03	c cleaning 107998 clauses out of 216007 with flag 12912179/5985000
1050.11/1047.44	c cleaning 109003 clauses out of 218012 with flag 13144613/6095003
1066.31/1063.70	c cleaning 109999 clauses out of 220006 with flag 13376894/6206000
1081.39/1078.62	c cleaning 110997 clauses out of 222007 with flag 13612190/6318000
1095.39/1092.64	c cleaning 112003 clauses out of 224010 with flag 13848020/6431000
1108.18/1105.34	c cleaning 113000 clauses out of 226007 with flag 14086055/6545000
1123.38/1120.52	c cleaning 114005 clauses out of 228009 with flag 14325776/6660002
1139.96/1137.09	c cleaning 114999 clauses out of 230002 with flag 14567324/6776000
1154.26/1151.37	c cleaning 116000 clauses out of 232003 with flag 14810865/6893000
1171.36/1168.37	c cleaning 116999 clauses out of 234003 with flag 15056565/7011000
1185.55/1182.58	c cleaning 117997 clauses out of 236006 with flag 15304939/7130002
1202.81/1199.70	c cleaning 119002 clauses out of 238010 with flag 15555209/7250003
1222.17/1218.94	c cleaning 119999 clauses out of 240005 with flag 15807301/7371000
1242.27/1239.01	c cleaning 120998 clauses out of 242006 with flag 16061574/7493000
1266.67/1263.38	c cleaning 122001 clauses out of 244010 with flag 16317871/7616002
1289.17/1285.80	c cleaning 122999 clauses out of 246008 with flag 16575804/7740001
1310.72/1307.34	c cleaning 124004 clauses out of 248012 with flag 16835979/7865004
1334.80/1331.31	c cleaning 124996 clauses out of 250004 with flag 17098490/7991000
1358.41/1354.97	c cleaning 125999 clauses out of 252009 with flag 17362331/8118001
1382.17/1378.62	c cleaning 127003 clauses out of 254010 with flag 17627639/8246001
1404.09/1400.49	c cleaning 127998 clauses out of 256006 with flag 17895712/8375000
1428.59/1424.93	c cleaning 128999 clauses out of 258008 with flag 18165293/8505000
1458.06/1454.38	c cleaning 130003 clauses out of 260010 with flag 18437547/8636001
1490.96/1487.12	c cleaning 130999 clauses out of 262006 with flag 18711141/8768000
1517.45/1513.58	c cleaning 131999 clauses out of 264007 with flag 18987840/8901000
1548.26/1544.37	c cleaning 132998 clauses out of 266008 with flag 19265293/9035000
1578.71/1574.75	c cleaning 133999 clauses out of 268011 with flag 19545850/9170001
1611.20/1607.16	c cleaning 135001 clauses out of 270012 with flag 19828992/9306001
1633.19/1629.09	c cleaning 136001 clauses out of 272011 with flag 20115662/9443001
1648.69/1644.43	c cleaning 137004 clauses out of 274010 with flag 20403260/9581001
1665.80/1661.54	c cleaning 137996 clauses out of 276005 with flag 20693277/9720000
1690.03/1685.76	c cleaning 139003 clauses out of 278009 with flag 20984969/9860000
1713.61/1709.21	c cleaning 140001 clauses out of 280007 with flag 21278067/10001001
1736.67/1732.28	c cleaning 141000 clauses out of 282007 with flag 21573498/10143002
1759.77/1755.26	c cleaning 142000 clauses out of 284006 with flag 21871175/10286001
1781.55/1776.91	c cleaning 143004 clauses out of 286007 with flag 22170628/10430002
1800.08/1795.31	c starts		: 10513
1800.08/1795.31	c conflicts		: 10575001
1800.08/1795.31	c decisions		: 11758273
1800.08/1795.31	c propagations		: 56451349
1800.08/1795.31	c inspects		: 30187435089
1800.08/1795.31	c shortcuts		: 0
1800.08/1795.31	c learnt literals	: 0
1800.08/1795.31	c learnt binary clauses	: 0
1800.08/1795.31	c learnt ternary clauses	: 0
1800.08/1795.31	c learnt constraints	: 10575001
1800.08/1795.31	c ignored constraints	: 0
1800.08/1795.31	c root simplifications	: 0
1800.08/1795.31	c removed literals (reason simplification)	: 0
1800.08/1795.31	c reason swapping (by a shorter reason)	: 0
1800.08/1795.31	c Calls to reduceDB	: 141
1800.08/1795.31	c Number of update (reduction) of LBD	: 288309
1800.08/1795.31	c Imported unit clauses	: 0
1800.08/1795.31	c number of reductions to clauses (during analyze)	: 0
1800.08/1795.31	c number of learned constraints concerned by reduction	: 0
1800.08/1795.31	c number of learning phase by resolution	: 0
1800.08/1795.31	c number of learning phase by cutting planes	: 0
1800.08/1795.31	c speed (assignments/second)	: 31446.43399275496
1800.08/1795.31	c non guided choices	65
1800.08/1795.34	c learnt constraints type 
1800.08/1795.34	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 288002
1800.08/1795.34	s UNKNOWN
1800.08/1795.34	c Total wall clock time (in seconds): 1795.229

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-4089075-1466016958/watcher-4089075-1466016958 -o /tmp/evaluation-result-4089075-1466016958/solver-4089075-1466016958 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1466012072-5946 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4089075-1466016958.opb 

pid=8277
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.20 2.20 2.18 3/194 8280
/proc/meminfo: memFree=30105232/32872528 swapFree=1243664/1390832
[pid=8280] ppid=8277 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/8280/stat : 8280 (java) R 8277 8280 5929 0 -1 4202496 829 0 0 0 0 0 0 0 20 0 1 0 3744425 23793664 478 33554432000 1073741824 1073778376 140735492695696 140735492684760 272877271603 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8280/statm: 5809 491 372 9 0 128 0

[startup+0.100161 s]
/proc/loadavg: 2.20 2.20 2.18 3/194 8280
/proc/meminfo: memFree=30105232/32872528 swapFree=1243664/1390832
[pid=8280] ppid=8277 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/8280/stat : 8280 (java) S 8277 8280 5929 0 -1 4202496 4390 0 1 0 8 1 0 0 20 0 18 0 3744425 9787879424 6024 33554432000 1073741824 1073778376 140735492695696 140735492686832 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8280/statm: 2389619 6024 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200322 s]
/proc/loadavg: 2.20 2.20 2.18 3/194 8280
/proc/meminfo: memFree=30105232/32872528 swapFree=1243664/1390832
[pid=8280] ppid=8277 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/8280/stat : 8280 (java) S 8277 8280 5929 0 -1 4202496 6331 0 1 0 27 1 0 0 20 0 19 0 3744425 9856040960 7340 33554432000 1073741824 1073778376 140735492695696 140735492686832 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8280/statm: 2406260 7340 2232 9 0 2396937 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9625040

[startup+0.300338 s]
/proc/loadavg: 2.20 2.20 2.18 3/194 8280
/proc/meminfo: memFree=30105232/32872528 swapFree=1243664/1390832
[pid=8280] ppid=8277 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/8280/stat : 8280 (java) S 8277 8280 5929 0 -1 4202496 6717 0 1 0 48 1 0 0 20 0 19 0 3744425 9856040960 7986 33554432000 1073741824 1073778376 140735492695696 140735492686832 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8280/statm: 2406260 7986 2238 9 0 2396937 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9625040

[startup+0.700276 s]
/proc/loadavg: 2.20 2.20 2.18 3/194 8280
/proc/meminfo: memFree=30105232/32872528 swapFree=1243664/1390832
[pid=8280] ppid=8277 vsize=9625040 CPUtime=1.01 cores=1,3,5,7
/proc/8280/stat : 8280 (java) S 8277 8280 5929 0 -1 4202496 7627 0 1 0 100 1 0 0 20 0 19 0 3744425 9856040960 9316 33554432000 1073741824 1073778376 140735492695696 140735492686832 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8280/statm: 2406260 9316 2248 9 0 2396937 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 9625040

[startup+1.50086 s]
/proc/loadavg: 2.20 2.20 2.18 3/213 8299
/proc/meminfo: memFree=30072124/32872528 swapFree=1243664/1390832
[pid=8280] ppid=8277 vsize=9625040 CPUtime=1.85 cores=1,3,5,7
/proc/8280/stat : 8280 (java) S 8277 8280 5929 0 -1 4202496 7634 0 1 0 183 2 0 0 20 0 19 0 3744425 9856040960 11366 33554432000 1073741824 1073778376 140735492695696 140735492686832 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8280/statm: 2406260 11366 2249 9 0 2396937 0
[pid=8280/tid=8282] ppid=8277 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/8280/task/8282/stat : 8282 (java) R 8277 8280 5929 0 -1 4202560 2407 0 1 0 145 1 0 0 20 0 19 0 3744426 9856040960 11366 33554432000 1073741824 1073778376 140735492695696 140701747597008 140701602323559 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8280/tid=8283] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8283/stat : 8283 (java) S 8277 8280 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3744427 9856040960 11366 33554432000 1073741824 1073778376 140735492695696 140701590924328 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8280/tid=8284] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8284/stat : 8284 (java) S 8277 8280 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3744427 9856040960 11366 33554432000 1073741824 1073778376 140735492695696 140701589871528 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8280/tid=8285] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8285/stat : 8285 (java) S 8277 8280 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3744427 9856040960 11366 33554432000 1073741824 1073778376 140735492695696 140701588818728 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8280/tid=8286] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8286/stat : 8286 (java) S 8277 8280 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3744427 9856040960 11366 33554432000 1073741824 1073778376 140735492695696 140701587765928 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8280/tid=8287] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8287/stat : 8287 (java) S 8277 8280 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3744427 9856040960 11366 33554432000 1073741824 1073778376 140735492695696 140701586713128 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8280/tid=8288] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8288/stat : 8288 (java) S 8277 8280 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3744427 9856040960 11366 33554432000 1073741824 1073778376 140735492695696 140701249563048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8280/tid=8289] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8289/stat : 8289 (java) S 8277 8280 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3744427 9856040960 11366 33554432000 1073741824 1073778376 140735492695696 140701248510248 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8280/tid=8290] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8290/stat : 8290 (java) S 8277 8280 5929 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3744427 9856040960 11366 33554432000 1073741824 1073778376 140735492695696 140701247457448 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8280/tid=8291] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8291/stat : 8291 (java) S 8277 8280 5929 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3744428 9856040960 11366 33554432000 1073741824 1073778376 140735492695696 140701235260392 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8280/tid=8292] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8292/stat : 8292 (java) S 8277 8280 5929 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3744429 9856040960 11366 33554432000 1073741824 1073778376 140735492695696 140701234206456 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8280/tid=8293] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8293/stat : 8293 (java) S 8277 8280 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3744429 9856040960 11366 33554432000 1073741824 1073778376 140735492695696 140701233153544 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8280/tid=8294] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8294/stat : 8294 (java) S 8277 8280 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3744431 9856040960 11366 33554432000 1073741824 1073778376 140735492695696 140701232102032 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8280/tid=8295] ppid=8277 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/8280/task/8295/stat : 8295 (java) S 8277 8280 5929 0 -1 4202560 1624 0 0 0 17 0 0 0 20 0 19 0 3744431 9856040960 11366 33554432000 1073741824 1073778376 140735492695696 140701231049144 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8280/tid=8296] ppid=8277 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/8280/task/8296/stat : 8296 (java) S 8277 8280 5929 0 -1 4202560 2332 0 0 0 18 0 0 0 20 0 19 0 3744431 9856040960 11366 33554432000 1073741824 1073778376 140735492695696 140701229996344 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8280/tid=8297] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8297/stat : 8297 (java) S 8277 8280 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3744431 9856040960 11366 33554432000 1073741824 1073778376 140735492695696 140701228943736 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8280/tid=8298] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8298/stat : 8298 (java) S 8277 8280 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3744431 9856040960 11366 33554432000 1073741824 1073778376 140735492695696 140701227891144 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8280/tid=8299] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8299/stat : 8299 (java) S 8277 8280 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3744441 9856040960 11366 33554432000 1073741824 1073778376 140735492695696 140701226739368 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.85
Current children cumulated vsize (KiB) 9625040

[startup+3.10082 s]
/proc/loadavg: 2.20 2.20 2.18 3/213 8299
/proc/meminfo: memFree=30059092/32872528 swapFree=1243664/1390832
[pid=8280] ppid=8277 vsize=9625040 CPUtime=3.45 cores=1,3,5,7
/proc/8280/stat : 8280 (java) S 8277 8280 5929 0 -1 4202496 7642 0 1 0 343 2 0 0 20 0 19 0 3744425 9856040960 15462 33554432000 1073741824 1073778376 140735492695696 140735492686832 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8280/statm: 2406260 15462 2249 9 0 2396937 0
[pid=8280/tid=8282] ppid=8277 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/8280/task/8282/stat : 8282 (java) R 8277 8280 5929 0 -1 4202560 2415 0 1 0 305 1 0 0 20 0 19 0 3744426 9856040960 15462 33554432000 1073741824 1073778376 140735492695696 140701747597008 140701602388434 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8280/tid=8283] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8283/stat : 8283 (java) S 8277 8280 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3744427 9856040960 15462 33554432000 1073741824 1073778376 140735492695696 140701590924328 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8280/tid=8284] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8284/stat : 8284 (java) S 8277 8280 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3744427 9856040960 15462 33554432000 1073741824 1073778376 140735492695696 140701589871528 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8280/tid=8285] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8285/stat : 8285 (java) S 8277 8280 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3744427 9856040960 15462 33554432000 1073741824 1073778376 140735492695696 140701588818728 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8280/tid=8286] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8286/stat : 8286 (java) S 8277 8280 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3744427 9856040960 15462 33554432000 1073741824 1073778376 140735492695696 140701587765928 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8280/tid=8287] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8287/stat : 8287 (java) S 8277 8280 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3744427 9856040960 15462 33554432000 1073741824 1073778376 140735492695696 140701586713128 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8280/tid=8288] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8288/stat : 8288 (java) S 8277 8280 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3744427 9856040960 15462 33554432000 1073741824 1073778376 140735492695696 140701249563048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8280/tid=8289] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8289/stat : 8289 (java) S 8277 8280 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3744427 9856040960 15462 33554432000 1073741824 1073778376 140735492695696 140701248510248 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8280/tid=8290] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8290/stat : 8290 (java) S 8277 8280 5929 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3744427 9856040960 15462 33554432000 1073741824 1073778376 140735492695696 140701247457448 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8280/tid=8291] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8291/stat : 8291 (java) S 8277 8280 5929 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3744428 9856040960 15462 33554432000 1073741824 1073778376 140735492695696 140701235260392 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8280/tid=8292] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8292/stat : 8292 (java) S 8277 8280 5929 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3744429 9856040960 15462 33554432000 1073741824 1073778376 140735492695696 140701234206456 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8280/tid=8293] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8293/stat : 8293 (java) S 8277 8280 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3744429 9856040960 15462 33554432000 1073741824 1073778376 140735492695696 140701233153544 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8280/tid=8294] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8294/stat : 8294 (java) S 8277 8280 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3744431 9856040960 15462 33554432000 1073741824 1073778376 140735492695696 140701232102032 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8280/tid=8295] ppid=8277 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/8280/task/8295/stat : 8295 (java) S 8277 8280 5929 0 -1 4202560 1624 0 0 0 17 0 0 0 20 0 19 0 3744431 9856040960 15462 33554432000 1073741824 1073778376 140735492695696 140701231049144 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8280/tid=8296] ppid=8277 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/8280/task/8296/stat : 8296 (java) S 8277 8280 5929 0 -1 4202560 2332 0 0 0 18 0 0 0 20 0 19 0 3744431 9856040960 15462 33554432000 1073741824 1073778376 140735492695696 140701229996344 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8280/tid=8297] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8297/stat : 8297 (java) S 8277 8280 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3744431 9856040960 15462 33554432000 1073741824 1073778376 140735492695696 140701228943736 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8280/tid=8298] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8298/stat : 8298 (java) S 8277 8280 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3744431 9856040960 15462 33554432000 1073741824 1073778376 140735492695696 140701227891144 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8280/tid=8299] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8299/stat : 8299 (java) S 8277 8280 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3744441 9856040960 15462 33554432000 1073741824 1073778376 140735492695696 140701226739368 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.45
Current children cumulated vsize (KiB) 9625040

[startup+6.30087 s]
/proc/loadavg: 2.19 2.20 2.18 3/213 8299
/proc/meminfo: memFree=30034524/32872528 swapFree=1243664/1390832
[pid=8280] ppid=8277 vsize=9625040 CPUtime=6.65 cores=1,3,5,7
/proc/8280/stat : 8280 (java) S 8277 8280 5929 0 -1 4202496 7655 0 1 0 663 2 0 0 20 0 19 0 3744425 9856040960 21094 33554432000 1073741824 1073778376 140735492695696 140735492686832 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8280/statm: 2406260 21094 2250 9 0 2396937 0
[pid=8280/tid=8282] ppid=8277 vsize=9625040 CPUtime=6.26 cores=1,3,5,7
/proc/8280/task/8282/stat : 8282 (java) R 8277 8280 5929 0 -1 4202560 2427 0 1 0 624 2 0 0 20 0 19 0 3744426 9856040960 21094 33554432000 1073741824 1073778376 140735492695696 140701747597008 140701602366439 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8280/tid=8283] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8283/stat : 8283 (java) S 8277 8280 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3744427 9856040960 21094 33554432000 1073741824 1073778376 140735492695696 140701590924328 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8280/tid=8284] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8284/stat : 8284 (java) S 8277 8280 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3744427 9856040960 21094 33554432000 1073741824 1073778376 140735492695696 140701589871528 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8280/tid=8285] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8285/stat : 8285 (java) S 8277 8280 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3744427 9856040960 21094 33554432000 1073741824 1073778376 140735492695696 140701588818728 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8280/tid=8286] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8286/stat : 8286 (java) S 8277 8280 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3744427 9856040960 21094 33554432000 1073741824 1073778376 140735492695696 140701587765928 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8280/tid=8287] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8287/stat : 8287 (java) S 8277 8280 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3744427 9856040960 21094 33554432000 1073741824 1073778376 140735492695696 140701586713128 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8280/tid=8288] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8288/stat : 8288 (java) S 8277 8280 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3744427 9856040960 21094 33554432000 1073741824 1073778376 140735492695696 140701249563048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8280/tid=8289] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8289/stat : 8289 (java) S 8277 8280 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3744427 9856040960 21094 33554432000 1073741824 1073778376 140735492695696 140701248510248 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8280/tid=8290] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8290/stat : 8290 (java) S 8277 8280 5929 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3744427 9856040960 21094 33554432000 1073741824 1073778376 140735492695696 140701247457448 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8280/tid=8291] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8291/stat : 8291 (java) S 8277 8280 5929 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3744428 9856040960 21094 33554432000 1073741824 1073778376 140735492695696 140701235260392 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8280/tid=8292] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8292/stat : 8292 (java) S 8277 8280 5929 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3744429 9856040960 21094 33554432000 1073741824 1073778376 140735492695696 140701234206456 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8280/tid=8293] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8293/stat : 8293 (java) S 8277 8280 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3744429 9856040960 21094 33554432000 1073741824 1073778376 140735492695696 140701233153544 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8280/tid=8294] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8294/stat : 8294 (java) S 8277 8280 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3744431 9856040960 21094 33554432000 1073741824 1073778376 140735492695696 140701232102032 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8280/tid=8295] ppid=8277 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/8280/task/8295/stat : 8295 (java) S 8277 8280 5929 0 -1 4202560 1624 0 0 0 17 0 0 0 20 0 19 0 3744431 9856040960 21094 33554432000 1073741824 1073778376 140735492695696 140701231049144 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8280/tid=8296] ppid=8277 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/8280/task/8296/stat : 8296 (java) S 8277 8280 5929 0 -1 4202560 2332 0 0 0 18 0 0 0 20 0 19 0 3744431 9856040960 21094 33554432000 1073741824 1073778376 140735492695696 140701229996344 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8280/tid=8297] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8297/stat : 8297 (java) S 8277 8280 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3744431 9856040960 21094 33554432000 1073741824 1073778376 140735492695696 140701228943736 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8280/tid=8298] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8298/stat : 8298 (java) S 8277 8280 5929 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 3744431 9856040960 21094 33554432000 1073741824 1073778376 140735492695696 140701227891144 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8280/tid=8299] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8299/stat : 8299 (java) S 8277 8280 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3744441 9856040960 21094 33554432000 1073741824 1073778376 140735492695696 140701226739368 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.65
Current children cumulated vsize (KiB) 9625040


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

[pid=8280/tid=8292] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8292/stat : 8292 (java) S 8277 8280 5929 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3744429 9856040960 110107 33554432000 1073741824 1073778376 140735492695696 140701234206456 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8280/tid=8293] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8293/stat : 8293 (java) S 8277 8280 5929 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3744429 9856040960 110107 33554432000 1073741824 1073778376 140735492695696 140701233153544 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8280/tid=8294] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8294/stat : 8294 (java) S 8277 8280 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3744431 9856040960 110107 33554432000 1073741824 1073778376 140735492695696 140701232102032 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8280/tid=8295] ppid=8277 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/8280/task/8295/stat : 8295 (java) S 8277 8280 5929 0 -1 4202560 3313 0 0 0 25 0 0 0 20 0 19 0 3744431 9856040960 110107 33554432000 1073741824 1073778376 140735492695696 140701231049144 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8280/tid=8296] ppid=8277 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/8280/task/8296/stat : 8296 (java) S 8277 8280 5929 0 -1 4202560 2332 0 0 0 18 0 0 0 20 0 19 0 3744431 9856040960 110107 33554432000 1073741824 1073778376 140735492695696 140701229996344 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8280/tid=8297] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8297/stat : 8297 (java) S 8277 8280 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3744431 9856040960 110107 33554432000 1073741824 1073778376 140735492695696 140701228943736 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8280/tid=8298] ppid=8277 vsize=9625040 CPUtime=0.65 cores=1,3,5,7
/proc/8280/task/8298/stat : 8298 (java) S 8277 8280 5929 0 -1 4202560 100 0 0 0 28 37 0 0 20 0 19 0 3744431 9856040960 110107 33554432000 1073741824 1073778376 140735492695696 140701227891144 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8280/tid=8299] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8299/stat : 8299 (java) S 8277 8280 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3744441 9856040960 110107 33554432000 1073741824 1073778376 140735492695696 140701226739368 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1726.78
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.24 2.19 2.17 4/213 8496
/proc/meminfo: memFree=29730972/32872528 swapFree=1243664/1390832
[pid=8280] ppid=8277 vsize=9625040 CPUtime=1786.95 cores=1,3,5,7
/proc/8280/stat : 8280 (java) S 8277 8280 5929 0 -1 4202496 13330 0 1 0 178610 85 0 0 20 0 19 0 3744425 9856040960 108973 33554432000 1073741824 1073778376 140735492695696 140735492686832 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8280/statm: 2406260 108973 2277 9 0 2396937 0
[pid=8280/tid=8282] ppid=8277 vsize=9625040 CPUtime=1780.39 cores=1,3,5,7
/proc/8280/task/8282/stat : 8282 (java) R 8277 8280 5929 0 -1 4202560 2509 0 1 0 178006 33 0 0 20 0 19 0 3744426 9856040960 108973 33554432000 1073741824 1073778376 140735492695696 140701747596992 140701602342313 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8280/tid=8283] ppid=8277 vsize=9625040 CPUtime=0.66 cores=1,3,5,7
/proc/8280/task/8283/stat : 8283 (java) S 8277 8280 5929 0 -1 4202560 560 0 0 0 60 6 0 0 20 0 19 0 3744427 9856040960 108973 33554432000 1073741824 1073778376 140735492695696 140701590924328 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8280/tid=8284] ppid=8277 vsize=9625040 CPUtime=0.79 cores=1,3,5,7
/proc/8280/task/8284/stat : 8284 (java) S 8277 8280 5929 0 -1 4202560 346 0 0 0 73 6 0 0 20 0 19 0 3744427 9856040960 108973 33554432000 1073741824 1073778376 140735492695696 140701589871528 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8280/tid=8285] ppid=8277 vsize=9625040 CPUtime=0.69 cores=1,3,5,7
/proc/8280/task/8285/stat : 8285 (java) S 8277 8280 5929 0 -1 4202560 626 0 0 0 62 7 0 0 20 0 19 0 3744427 9856040960 108973 33554432000 1073741824 1073778376 140735492695696 140701588818728 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8280/tid=8286] ppid=8277 vsize=9625040 CPUtime=0.63 cores=1,3,5,7
/proc/8280/task/8286/stat : 8286 (java) S 8277 8280 5929 0 -1 4202560 296 0 0 0 57 6 0 0 20 0 19 0 3744427 9856040960 108973 33554432000 1073741824 1073778376 140735492695696 140701587765928 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8280/tid=8287] ppid=8277 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/8280/task/8287/stat : 8287 (java) S 8277 8280 5929 0 -1 4202560 706 0 0 0 56 6 0 0 20 0 19 0 3744427 9856040960 108973 33554432000 1073741824 1073778376 140735492695696 140701586713128 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8280/tid=8288] ppid=8277 vsize=9625040 CPUtime=0.68 cores=1,3,5,7
/proc/8280/task/8288/stat : 8288 (java) S 8277 8280 5929 0 -1 4202560 461 0 0 0 62 6 0 0 20 0 19 0 3744427 9856040960 108973 33554432000 1073741824 1073778376 140735492695696 140701249563048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8280/tid=8289] ppid=8277 vsize=9625040 CPUtime=0.68 cores=1,3,5,7
/proc/8280/task/8289/stat : 8289 (java) S 8277 8280 5929 0 -1 4202560 395 0 0 0 63 5 0 0 20 0 19 0 3744427 9856040960 108973 33554432000 1073741824 1073778376 140735492695696 140701248510248 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8280/tid=8290] ppid=8277 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/8280/task/8290/stat : 8290 (java) S 8277 8280 5929 0 -1 4202560 257 0 0 0 52 6 0 0 20 0 19 0 3744427 9856040960 108973 33554432000 1073741824 1073778376 140735492695696 140701247457448 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8280/tid=8291] ppid=8277 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/8280/task/8291/stat : 8291 (java) S 8277 8280 5929 0 -1 4202560 166 0 0 0 36 3 0 0 20 0 19 0 3744428 9856040960 108973 33554432000 1073741824 1073778376 140735492695696 140701235260392 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8280/tid=8292] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8292/stat : 8292 (java) S 8277 8280 5929 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3744429 9856040960 108973 33554432000 1073741824 1073778376 140735492695696 140701234206456 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8280/tid=8293] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8293/stat : 8293 (java) S 8277 8280 5929 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3744429 9856040960 108973 33554432000 1073741824 1073778376 140735492695696 140701233153544 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8280/tid=8294] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8294/stat : 8294 (java) S 8277 8280 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3744431 9856040960 108973 33554432000 1073741824 1073778376 140735492695696 140701232102032 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8280/tid=8295] ppid=8277 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/8280/task/8295/stat : 8295 (java) S 8277 8280 5929 0 -1 4202560 3313 0 0 0 25 0 0 0 20 0 19 0 3744431 9856040960 108973 33554432000 1073741824 1073778376 140735492695696 140701231049144 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8280/tid=8296] ppid=8277 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/8280/task/8296/stat : 8296 (java) S 8277 8280 5929 0 -1 4202560 2332 0 0 0 18 0 0 0 20 0 19 0 3744431 9856040960 108973 33554432000 1073741824 1073778376 140735492695696 140701229996344 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8280/tid=8297] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8297/stat : 8297 (java) S 8277 8280 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3744431 9856040960 108973 33554432000 1073741824 1073778376 140735492695696 140701228943736 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8280/tid=8298] ppid=8277 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/8280/task/8298/stat : 8298 (java) S 8277 8280 5929 0 -1 4202560 104 0 0 0 29 38 0 0 20 0 19 0 3744431 9856040960 108973 33554432000 1073741824 1073778376 140735492695696 140701227891144 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8280/tid=8299] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8299/stat : 8299 (java) S 8277 8280 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3744441 9856040960 108973 33554432000 1073741824 1073778376 140735492695696 140701226739368 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1786.95
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795.31 s]
/proc/loadavg: 2.19 2.18 2.17 3/213 8496
/proc/meminfo: memFree=29736432/32872528 swapFree=1243664/1390832
[pid=8280] ppid=8277 vsize=9625040 CPUtime=1800.08 cores=1,3,5,7
/proc/8280/stat : 8280 (java) S 8277 8280 5929 0 -1 4202496 13333 0 1 0 179922 86 0 0 20 0 19 0 3744425 9856040960 107658 33554432000 1073741824 1073778376 140735492695696 140735492686832 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8280/statm: 2406260 107658 2277 9 0 2396937 0
[pid=8280/tid=8282] ppid=8277 vsize=9625040 CPUtime=1793.35 cores=1,3,5,7
/proc/8280/task/8282/stat : 8282 (java) R 8277 8280 5929 0 -1 4202560 2510 0 1 0 179302 33 0 0 20 0 19 0 3744426 9856040960 107658 33554432000 1073741824 1073778376 140735492695696 140701747604688 140701602499256 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8280/tid=8283] ppid=8277 vsize=9625040 CPUtime=0.7 cores=1,3,5,7
/proc/8280/task/8283/stat : 8283 (java) S 8277 8280 5929 0 -1 4202560 560 0 0 0 64 6 0 0 20 0 19 0 3744427 9856040960 107658 33554432000 1073741824 1073778376 140735492695696 140701590924328 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8280/tid=8284] ppid=8277 vsize=9625040 CPUtime=0.8 cores=1,3,5,7
/proc/8280/task/8284/stat : 8284 (java) S 8277 8280 5929 0 -1 4202560 346 0 0 0 74 6 0 0 20 0 19 0 3744427 9856040960 107658 33554432000 1073741824 1073778376 140735492695696 140701589871528 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8280/tid=8285] ppid=8277 vsize=9625040 CPUtime=0.7 cores=1,3,5,7
/proc/8280/task/8285/stat : 8285 (java) S 8277 8280 5929 0 -1 4202560 626 0 0 0 63 7 0 0 20 0 19 0 3744427 9856040960 107658 33554432000 1073741824 1073778376 140735492695696 140701588818728 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8280/tid=8286] ppid=8277 vsize=9625040 CPUtime=0.64 cores=1,3,5,7
/proc/8280/task/8286/stat : 8286 (java) S 8277 8280 5929 0 -1 4202560 296 0 0 0 58 6 0 0 20 0 19 0 3744427 9856040960 107658 33554432000 1073741824 1073778376 140735492695696 140701587765928 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8280/tid=8287] ppid=8277 vsize=9625040 CPUtime=0.66 cores=1,3,5,7
/proc/8280/task/8287/stat : 8287 (java) S 8277 8280 5929 0 -1 4202560 706 0 0 0 60 6 0 0 20 0 19 0 3744427 9856040960 107658 33554432000 1073741824 1073778376 140735492695696 140701586713128 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8280/tid=8288] ppid=8277 vsize=9625040 CPUtime=0.69 cores=1,3,5,7
/proc/8280/task/8288/stat : 8288 (java) S 8277 8280 5929 0 -1 4202560 461 0 0 0 63 6 0 0 20 0 19 0 3744427 9856040960 107658 33554432000 1073741824 1073778376 140735492695696 140701249563048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8280/tid=8289] ppid=8277 vsize=9625040 CPUtime=0.7 cores=1,3,5,7
/proc/8280/task/8289/stat : 8289 (java) S 8277 8280 5929 0 -1 4202560 395 0 0 0 65 5 0 0 20 0 19 0 3744427 9856040960 107658 33554432000 1073741824 1073778376 140735492695696 140701248510248 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8280/tid=8290] ppid=8277 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/8280/task/8290/stat : 8290 (java) S 8277 8280 5929 0 -1 4202560 257 0 0 0 53 6 0 0 20 0 19 0 3744427 9856040960 107658 33554432000 1073741824 1073778376 140735492695696 140701247457448 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8280/tid=8291] ppid=8277 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/8280/task/8291/stat : 8291 (java) S 8277 8280 5929 0 -1 4202560 168 0 0 0 36 3 0 0 20 0 19 0 3744428 9856040960 107658 33554432000 1073741824 1073778376 140735492695696 140701235260392 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8280/tid=8292] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8292/stat : 8292 (java) S 8277 8280 5929 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3744429 9856040960 107658 33554432000 1073741824 1073778376 140735492695696 140701234206456 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8280/tid=8293] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8293/stat : 8293 (java) S 8277 8280 5929 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3744429 9856040960 107658 33554432000 1073741824 1073778376 140735492695696 140701233153544 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8280/tid=8294] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8294/stat : 8294 (java) S 8277 8280 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3744431 9856040960 107658 33554432000 1073741824 1073778376 140735492695696 140701232102032 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8280/tid=8295] ppid=8277 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/8280/task/8295/stat : 8295 (java) S 8277 8280 5929 0 -1 4202560 3313 0 0 0 25 0 0 0 20 0 19 0 3744431 9856040960 107658 33554432000 1073741824 1073778376 140735492695696 140701231049144 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8280/tid=8296] ppid=8277 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/8280/task/8296/stat : 8296 (java) S 8277 8280 5929 0 -1 4202560 2332 0 0 0 18 0 0 0 20 0 19 0 3744431 9856040960 107658 33554432000 1073741824 1073778376 140735492695696 140701229996344 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8280/tid=8297] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8297/stat : 8297 (java) S 8277 8280 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3744431 9856040960 107658 33554432000 1073741824 1073778376 140735492695696 140701228943736 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8280/tid=8298] ppid=8277 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/8280/task/8298/stat : 8298 (java) S 8277 8280 5929 0 -1 4202560 104 0 0 0 29 38 0 0 20 0 19 0 3744431 9856040960 107658 33554432000 1073741824 1073778376 140735492695696 140701227891144 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8280/tid=8299] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8299/stat : 8299 (java) S 8277 8280 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3744441 9856040960 107658 33554432000 1073741824 1073778376 140735492695696 140701226739368 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
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 8280 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1795.31 s]
/proc/loadavg: 2.19 2.18 2.17 3/213 8496
/proc/meminfo: memFree=29736432/32872528 swapFree=1243664/1390832
[pid=8280] ppid=8277 vsize=9625040 CPUtime=1800.08 cores=1,3,5,7
/proc/8280/stat : 8280 (java) S 8277 8280 5929 0 -1 4202496 13333 0 1 0 179922 86 0 0 20 0 19 0 3744425 9856040960 107658 33554432000 1073741824 1073778376 140735492695696 140735492686832 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8280/statm: 2406260 107658 2277 9 0 2396937 0
[pid=8280/tid=8282] ppid=8277 vsize=9625040 CPUtime=1793.35 cores=1,3,5,7
/proc/8280/task/8282/stat : 8282 (java) R 8277 8280 5929 0 -1 4202560 2510 0 1 0 179302 33 0 0 20 0 19 0 3744426 9856040960 107658 33554432000 1073741824 1073778376 140735492695696 140701747604688 140701602499256 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8280/tid=8283] ppid=8277 vsize=9625040 CPUtime=0.7 cores=1,3,5,7
/proc/8280/task/8283/stat : 8283 (java) S 8277 8280 5929 0 -1 4202560 560 0 0 0 64 6 0 0 20 0 19 0 3744427 9856040960 107658 33554432000 1073741824 1073778376 140735492695696 140701590924328 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8280/tid=8284] ppid=8277 vsize=9625040 CPUtime=0.8 cores=1,3,5,7
/proc/8280/task/8284/stat : 8284 (java) S 8277 8280 5929 0 -1 4202560 346 0 0 0 74 6 0 0 20 0 19 0 3744427 9856040960 107658 33554432000 1073741824 1073778376 140735492695696 140701589871528 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8280/tid=8285] ppid=8277 vsize=9625040 CPUtime=0.7 cores=1,3,5,7
/proc/8280/task/8285/stat : 8285 (java) S 8277 8280 5929 0 -1 4202560 626 0 0 0 63 7 0 0 20 0 19 0 3744427 9856040960 107658 33554432000 1073741824 1073778376 140735492695696 140701588818728 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8280/tid=8286] ppid=8277 vsize=9625040 CPUtime=0.64 cores=1,3,5,7
/proc/8280/task/8286/stat : 8286 (java) S 8277 8280 5929 0 -1 4202560 296 0 0 0 58 6 0 0 20 0 19 0 3744427 9856040960 107658 33554432000 1073741824 1073778376 140735492695696 140701587765928 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8280/tid=8287] ppid=8277 vsize=9625040 CPUtime=0.66 cores=1,3,5,7
/proc/8280/task/8287/stat : 8287 (java) S 8277 8280 5929 0 -1 4202560 706 0 0 0 60 6 0 0 20 0 19 0 3744427 9856040960 107658 33554432000 1073741824 1073778376 140735492695696 140701586713128 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8280/tid=8288] ppid=8277 vsize=9625040 CPUtime=0.69 cores=1,3,5,7
/proc/8280/task/8288/stat : 8288 (java) S 8277 8280 5929 0 -1 4202560 461 0 0 0 63 6 0 0 20 0 19 0 3744427 9856040960 107658 33554432000 1073741824 1073778376 140735492695696 140701249563048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8280/tid=8289] ppid=8277 vsize=9625040 CPUtime=0.7 cores=1,3,5,7
/proc/8280/task/8289/stat : 8289 (java) S 8277 8280 5929 0 -1 4202560 395 0 0 0 65 5 0 0 20 0 19 0 3744427 9856040960 107658 33554432000 1073741824 1073778376 140735492695696 140701248510248 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8280/tid=8290] ppid=8277 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/8280/task/8290/stat : 8290 (java) S 8277 8280 5929 0 -1 4202560 257 0 0 0 53 6 0 0 20 0 19 0 3744427 9856040960 107658 33554432000 1073741824 1073778376 140735492695696 140701247457448 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8280/tid=8291] ppid=8277 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/8280/task/8291/stat : 8291 (java) S 8277 8280 5929 0 -1 4202560 168 0 0 0 36 3 0 0 20 0 19 0 3744428 9856040960 107658 33554432000 1073741824 1073778376 140735492695696 140701235260392 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8280/tid=8292] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8292/stat : 8292 (java) S 8277 8280 5929 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3744429 9856040960 107658 33554432000 1073741824 1073778376 140735492695696 140701234206456 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8280/tid=8293] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8293/stat : 8293 (java) S 8277 8280 5929 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3744429 9856040960 107658 33554432000 1073741824 1073778376 140735492695696 140701233153544 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8280/tid=8294] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8294/stat : 8294 (java) S 8277 8280 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3744431 9856040960 107658 33554432000 1073741824 1073778376 140735492695696 140701232102032 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8280/tid=8295] ppid=8277 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/8280/task/8295/stat : 8295 (java) S 8277 8280 5929 0 -1 4202560 3313 0 0 0 25 0 0 0 20 0 19 0 3744431 9856040960 107658 33554432000 1073741824 1073778376 140735492695696 140701231049144 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8280/tid=8296] ppid=8277 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/8280/task/8296/stat : 8296 (java) S 8277 8280 5929 0 -1 4202560 2332 0 0 0 18 0 0 0 20 0 19 0 3744431 9856040960 107658 33554432000 1073741824 1073778376 140735492695696 140701229996344 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8280/tid=8297] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8297/stat : 8297 (java) S 8277 8280 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3744431 9856040960 107658 33554432000 1073741824 1073778376 140735492695696 140701228943736 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8280/tid=8298] ppid=8277 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/8280/task/8298/stat : 8298 (java) S 8277 8280 5929 0 -1 4202560 104 0 0 0 29 38 0 0 20 0 19 0 3744431 9856040960 107658 33554432000 1073741824 1073778376 140735492695696 140701227891144 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8280/tid=8299] ppid=8277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8280/task/8299/stat : 8299 (java) S 8277 8280 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3744441 9856040960 107658 33554432000 1073741824 1073778376 140735492695696 140701226739368 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9625040

Child status: 143
Real time (s): 1795.35
CPU time (s): 1800.7
CPU user time (s): 1799.34
CPU system time (s): 1.36079
CPU usage (%): 100.298
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.34
system time used= 1.36079
maximum resident set size= 599860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13375
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39251
involuntary context switches= 11660

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.0999 second user time and 9.99548 second system time

The end

Launcher Data 

Begin job on node119 at 2016-06-15 20:55:58
IDJOB=4089075
IDBENCH=107354
IDSOLVER=2546
FILE ID=node119/4089075-1466016958
RUNJOBID= node119-1466012072-5946
PBS_JOBID= 19902816
Free space on /tmp= 71736 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/vertexcover-instances/normalized-vertexcover-grid6x23-hard.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4089075-1466016958/watcher-4089075-1466016958 -o /tmp/evaluation-result-4089075-1466016958/solver-4089075-1466016958 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1466012072-5946 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4089075-1466016958.opb

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

MD5SUM BENCH= f56d72df87ffa4deaca06ea56c7299ad
RANDOM SEED=935050502

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
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.456
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.54
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.456
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.456
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.56
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.456
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:        30106396 kB
Buffers:           10396 kB
Cached:            90228 kB
SwapCached:        14200 kB
Active:           584728 kB
Inactive:          91608 kB
Active(anon):     563848 kB
Inactive(anon):    14104 kB
Active(file):      20880 kB
Inactive(file):    77504 kB
Unevictable:     1390832 kB
Mlocked:         1243664 kB
SwapTotal:      67108856 kB
SwapFree:       67088056 kB
Dirty:               852 kB
Writeback:             0 kB
AnonPages:       1948916 kB
Mapped:            15472 kB
Shmem:                 0 kB
Slab:             564816 kB
SReclaimable:       8928 kB
SUnreclaim:       555888 kB
KernelStack:        1760 kB
PageTables:         8196 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2193776 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    675840 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 node119 at 2016-06-15 21:25:53