Trace number 4116689

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.04 1798.23

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size112-round22-1.opb
MD5SUM154764e9df41c652e29cc0d7de19c998
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4128
Total number of constraints8688
Number of constraints which are clauses7424
Number of constraints which are cardinality constraints (but not clauses)400
Number of constraints which are nor clauses,nor cardinality constraints864
Minimum length of a constraint1
Maximum length of a constraint10
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 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.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-4116689-1466960462.opb
0.09/0.11	c reading problem ... 
0.09/0.12	c  no objective function found
0.69/0.41	c ... done. Wall clock time 0.294s.
0.69/0.41	c declared #vars     4128
0.69/0.41	c #constraints  9952
0.69/0.41	c constraints type 
0.69/0.41	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6726
0.69/0.41	c org.sat4j.specs.Constr$1 => 888
0.69/0.41	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 128
0.69/0.41	c org.sat4j.minisat.constraints.cnf.UnitClause => 488
0.69/0.41	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1722
0.69/0.41	c 9952 constraints processed.
1.62/1.09	c cleaning 2495 clauses out of 4999 with flag 15201/5001
2.40/1.74	c cleaning 4245 clauses out of 8504 with flag 36305/11001
3.10/2.48	c cleaning 5615 clauses out of 11259 with flag 64341/18001
4.02/3.36	c cleaning 6803 clauses out of 13643 with flag 98891/26000
5.03/4.40	c cleaning 7858 clauses out of 15840 with flag 139846/35000
6.24/5.56	c cleaning 8963 clauses out of 17982 with flag 187578/45000
7.63/6.94	c cleaning 10000 clauses out of 20020 with flag 242411/56001
9.14/8.41	c cleaning 10975 clauses out of 22019 with flag 302525/68000
10.75/10.05	c cleaning 11995 clauses out of 24045 with flag 368751/81001
12.54/11.85	c cleaning 12981 clauses out of 26050 with flag 442348/95001
14.54/13.81	c cleaning 14019 clauses out of 28069 with flag 522149/110001
16.75/16.01	c cleaning 14989 clauses out of 30050 with flag 610527/126001
19.05/18.38	c cleaning 16013 clauses out of 32060 with flag 708892/143000
21.65/20.97	c cleaning 17013 clauses out of 34047 with flag 810322/161000
24.34/23.63	c cleaning 18017 clauses out of 36034 with flag 919655/180000
27.25/26.55	c cleaning 18974 clauses out of 38017 with flag 1035558/200000
30.35/29.68	c cleaning 20012 clauses out of 40044 with flag 1157991/221001
33.75/33.05	c cleaning 20951 clauses out of 42031 with flag 1288244/243000
37.34/36.68	c cleaning 22025 clauses out of 44080 with flag 1424908/266000
41.24/40.52	c cleaning 22977 clauses out of 46056 with flag 1567898/290001
45.35/44.63	c cleaning 23992 clauses out of 48078 with flag 1716452/315000
49.65/48.96	c cleaning 25037 clauses out of 50090 with flag 1875742/341004
54.14/53.45	c cleaning 26005 clauses out of 52049 with flag 2041257/368000
58.94/58.24	c cleaning 27006 clauses out of 54044 with flag 2214820/396000
63.97/63.21	c cleaning 28004 clauses out of 56038 with flag 2395663/425000
68.78/68.06	c cleaning 28998 clauses out of 58034 with flag 2583886/455000
73.88/73.12	c cleaning 29998 clauses out of 60038 with flag 2774071/486002
79.18/78.47	c cleaning 30987 clauses out of 62040 with flag 2970967/518002
84.68/83.96	c cleaning 31988 clauses out of 64051 with flag 3177144/551000
90.58/89.84	c cleaning 33028 clauses out of 66064 with flag 3388917/585001
96.78/96.01	c cleaning 34004 clauses out of 68035 with flag 3604962/620000
103.09/102.39	c cleaning 35012 clauses out of 70031 with flag 3830626/656000
109.88/109.16	c cleaning 35998 clauses out of 72019 with flag 4063225/693000
116.89/116.13	c cleaning 36959 clauses out of 74022 with flag 4301974/731001
124.10/123.37	c cleaning 37980 clauses out of 76062 with flag 4547929/770000
131.80/131.02	c cleaning 39020 clauses out of 78082 with flag 4800047/810000
139.89/139.16	c cleaning 40002 clauses out of 80062 with flag 5061208/851000
148.30/147.54	c cleaning 40994 clauses out of 82061 with flag 5324445/893001
157.19/156.42	c cleaning 42003 clauses out of 84068 with flag 5598374/936002
166.15/165.34	c cleaning 42966 clauses out of 86063 with flag 5876944/980000
175.16/174.30	c cleaning 44018 clauses out of 88097 with flag 6162855/1025000
184.36/183.59	c cleaning 45027 clauses out of 90079 with flag 6456559/1071000
193.96/193.19	c cleaning 46016 clauses out of 92052 with flag 6758169/1118000
203.96/203.15	c cleaning 46988 clauses out of 94036 with flag 7067441/1166000
214.37/213.59	c cleaning 48011 clauses out of 96048 with flag 7386458/1215000
225.16/224.39	c cleaning 48961 clauses out of 98037 with flag 7704787/1265000
236.38/235.57	c cleaning 50009 clauses out of 100077 with flag 8028274/1316001
247.87/247.10	c cleaning 51009 clauses out of 102067 with flag 8359920/1368000
259.77/258.99	c cleaning 52002 clauses out of 104058 with flag 8698388/1421000
272.18/271.34	c cleaning 52996 clauses out of 106059 with flag 9042693/1475003
284.62/283.74	c cleaning 53999 clauses out of 108060 with flag 9394427/1530000
297.12/296.28	c cleaning 55013 clauses out of 110062 with flag 9751059/1586001
310.02/309.19	c cleaning 55998 clauses out of 112048 with flag 10110873/1643000
323.42/322.56	c cleaning 56982 clauses out of 114050 with flag 10479271/1701000
337.54/336.60	c cleaning 58028 clauses out of 116068 with flag 10856017/1760000
351.64/350.73	c cleaning 58990 clauses out of 118041 with flag 11241882/1820001
366.64/365.75	c cleaning 60007 clauses out of 120050 with flag 11626738/1881000
381.95/381.02	c cleaning 61007 clauses out of 122044 with flag 12020089/1943001
397.65/396.70	c cleaning 61998 clauses out of 124036 with flag 12424320/2006000
413.28/412.39	c cleaning 62982 clauses out of 126038 with flag 12832307/2070000
429.18/428.27	c cleaning 64019 clauses out of 128056 with flag 13253165/2135000
445.60/444.64	c cleaning 64973 clauses out of 130040 with flag 13673777/2201003
462.60/461.62	c cleaning 66025 clauses out of 132064 with flag 14103549/2268000
479.80/478.89	c cleaning 66999 clauses out of 134042 with flag 14539519/2336003
497.91/496.92	c cleaning 67987 clauses out of 136040 with flag 14978923/2405000
516.61/515.68	c cleaning 69026 clauses out of 138053 with flag 15423503/2475000
535.71/534.74	c cleaning 69991 clauses out of 140027 with flag 15873884/2546000
554.75/553.73	c cleaning 70994 clauses out of 142036 with flag 16333017/2618000
574.34/573.32	c cleaning 72017 clauses out of 144042 with flag 16798749/2691000
594.64/593.68	c cleaning 73013 clauses out of 146026 with flag 17270393/2765001
615.25/614.27	c cleaning 73968 clauses out of 148012 with flag 17750064/2840000
636.65/635.66	c cleaning 75007 clauses out of 150046 with flag 18231507/2916002
658.35/657.35	c cleaning 75961 clauses out of 152038 with flag 18725860/2993001
680.65/679.60	c cleaning 76998 clauses out of 154076 with flag 19223428/3071000
702.70/701.62	c cleaning 78037 clauses out of 156079 with flag 19729384/3150001
725.40/724.34	c cleaning 79007 clauses out of 158041 with flag 20241706/3230000
749.11/748.10	c cleaning 79995 clauses out of 160034 with flag 20756573/3311000
772.82/771.72	c cleaning 80973 clauses out of 162039 with flag 21279126/3393000
797.62/796.51	c cleaning 82006 clauses out of 164066 with flag 21807928/3476000
823.43/822.32	c cleaning 83004 clauses out of 166061 with flag 22343737/3560001
848.76/847.64	c cleaning 84023 clauses out of 168056 with flag 22887160/3645000
874.97/873.82	c cleaning 84998 clauses out of 170033 with flag 23431342/3731000
901.67/900.56	c cleaning 86014 clauses out of 172035 with flag 23986010/3818000
929.59/928.41	c cleaning 86996 clauses out of 174021 with flag 24545650/3906000
957.79/956.61	c cleaning 88006 clauses out of 176025 with flag 25112310/3995000
986.17/984.92	c cleaning 88983 clauses out of 178019 with flag 25684056/4085000
1015.59/1014.34	c cleaning 89991 clauses out of 180036 with flag 26266398/4176000
1045.58/1044.37	c cleaning 91009 clauses out of 182047 with flag 26852332/4268002
1076.28/1075.03	c cleaning 92005 clauses out of 184036 with flag 27445408/4361000
1107.49/1106.28	c cleaning 93014 clauses out of 186032 with flag 28040257/4455001
1139.18/1137.88	c cleaning 94002 clauses out of 188017 with flag 28644254/4550000
1170.79/1169.45	c cleaning 94995 clauses out of 190016 with flag 29257995/4646001
1203.89/1202.53	c cleaning 95993 clauses out of 192020 with flag 29875601/4743000
1237.68/1236.31	c cleaning 96974 clauses out of 194027 with flag 30504796/4841000
1272.29/1270.97	c cleaning 97992 clauses out of 196054 with flag 31134366/4940001
1307.37/1305.99	c cleaning 99025 clauses out of 198062 with flag 31770335/5040001
1342.77/1341.33	c cleaning 99969 clauses out of 200037 with flag 32410973/5141001
1379.37/1377.90	c cleaning 101026 clauses out of 202067 with flag 33058150/5243000
1417.08/1415.66	c cleaning 102008 clauses out of 204041 with flag 33711628/5346000
1457.03/1455.41	c cleaning 102983 clauses out of 206034 with flag 34372254/5450001
1496.91/1495.30	c cleaning 104008 clauses out of 208052 with flag 35045062/5555002
1536.73/1535.11	c cleaning 105007 clauses out of 210043 with flag 35716292/5661001
1577.03/1575.45	c cleaning 106008 clauses out of 212036 with flag 36396260/5768001
1618.75/1617.01	c cleaning 106965 clauses out of 214027 with flag 37086392/5876000
1660.55/1658.89	c cleaning 108012 clauses out of 216062 with flag 37778916/5985000
1703.85/1702.17	c cleaning 108994 clauses out of 218050 with flag 38478885/6095000
1747.47/1745.73	c cleaning 110010 clauses out of 220056 with flag 39191479/6206000
1791.33/1789.52	c cleaning 111006 clauses out of 222046 with flag 39905520/6318000
1800.04/1798.20	c starts		: 56797
1800.04/1798.20	c conflicts		: 6346866
1800.04/1798.20	c decisions		: 63529546
1800.04/1798.20	c propagations		: 878096345
1800.04/1798.20	c inspects		: 24805174104
1800.04/1798.20	c shortcuts		: 0
1800.04/1798.20	c learnt literals	: 2
1800.04/1798.20	c learnt binary clauses	: 50
1800.04/1798.20	c learnt ternary clauses	: 676
1800.04/1798.20	c learnt constraints	: 6346864
1800.04/1798.20	c ignored constraints	: 0
1800.04/1798.20	c root simplifications	: 0
1800.04/1798.20	c removed literals (reason simplification)	: 0
1800.04/1798.20	c reason swapping (by a shorter reason)	: 0
1800.04/1798.20	c Calls to reduceDB	: 108
1800.04/1798.20	c Number of update (reduction) of LBD	: 1330044
1800.04/1798.20	c Imported unit clauses	: 0
1800.04/1798.20	c number of reductions to clauses (during analyze)	: 0
1800.04/1798.20	c number of learned constraints concerned by reduction	: 0
1800.04/1798.20	c number of learning phase by resolution	: 0
1800.04/1798.20	c number of learning phase by cutting planes	: 0
1800.04/1798.20	c speed (assignments/second)	: 488431.5308590334
1800.04/1798.20	c non guided choices	13759
1800.04/1798.20	c timeout
1800.04/1798.23	c learnt constraints type 
1800.04/1798.23	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 50
1800.04/1798.23	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 139856
1800.04/1798.23	s UNKNOWN
1800.04/1798.23	c Total wall clock time (in seconds): 1798.114

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-4116689-1466960462/watcher-4116689-1466960462 -o /tmp/evaluation-result-4116689-1466960462/solver-4116689-1466960462 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466940040-26458 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4116689-1466960462.opb 

pid=28920
running on 4 cores: 0,2,4,6

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.07 2.08 2.08 3/195 28923
/proc/meminfo: memFree=31143584/32872528 swapFree=552864/567172
[pid=28923] ppid=28920 vsize=2492 CPUtime=0 cores=0,2,4,6
/proc/28923/stat : 28923 (java) R 28920 28923 26442 0 -1 4202496 371 0 0 0 0 0 0 0 20 0 1 0 29084159 2551808 42 33554432000 1073741824 1073778376 140733961267904 140735293300344 206619897642 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/28923/statm: 625 46 37 9 0 29 0

[startup+0.10016 s]
/proc/loadavg: 2.07 2.08 2.08 3/195 28923
/proc/meminfo: memFree=31143584/32872528 swapFree=552864/567172
[pid=28923] ppid=28920 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/28923/stat : 28923 (java) S 28920 28923 26442 0 -1 4202496 4405 0 1 0 8 1 0 0 20 0 18 0 29084159 9787879424 6033 33554432000 1073741824 1073778376 140733961267904 140733961259040 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28923/statm: 2389619 6033 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200227 s]
/proc/loadavg: 2.07 2.08 2.08 3/195 28923
/proc/meminfo: memFree=31143584/32872528 swapFree=552864/567172
[pid=28923] ppid=28920 vsize=9558476 CPUtime=0.26 cores=0,2,4,6
/proc/28923/stat : 28923 (java) S 28920 28923 26442 0 -1 4202496 4864 0 1 0 25 1 0 0 20 0 18 0 29084159 9787879424 6928 33554432000 1073741824 1073778376 140733961267904 140733961259040 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28923/statm: 2389619 6928 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476

[startup+0.300229 s]
/proc/loadavg: 2.07 2.08 2.08 3/195 28923
/proc/meminfo: memFree=31143584/32872528 swapFree=552864/567172
[pid=28923] ppid=28920 vsize=9558476 CPUtime=0.49 cores=0,2,4,6
/proc/28923/stat : 28923 (java) S 28920 28923 26442 0 -1 4202496 5826 0 1 0 48 1 0 0 20 0 18 0 29084159 9787879424 9006 33554432000 1073741824 1073778376 140733961267904 140733961259040 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28923/statm: 2389619 9006 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558476

[startup+0.700288 s]
/proc/loadavg: 2.07 2.08 2.08 3/195 28923
/proc/meminfo: memFree=31143584/32872528 swapFree=552864/567172
[pid=28923] ppid=28920 vsize=9625040 CPUtime=1.31 cores=0,2,4,6
/proc/28923/stat : 28923 (java) S 28920 28923 26442 0 -1 4202496 9531 0 1 0 129 2 0 0 20 0 19 0 29084159 9856040960 15252 33554432000 1073741824 1073778376 140733961267904 140733961259040 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28923/statm: 2406260 15252 2264 9 0 2396937 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 9625040

[startup+1.50085 s]
/proc/loadavg: 2.07 2.08 2.08 4/214 28942
/proc/meminfo: memFree=31090748/32872528 swapFree=552864/567172
[pid=28923] ppid=28920 vsize=9625040 CPUtime=2.18 cores=0,2,4,6
/proc/28923/stat : 28923 (java) S 28920 28923 26442 0 -1 4202496 9811 0 1 0 216 2 0 0 20 0 19 0 29084159 9856040960 15771 33554432000 1073741824 1073778376 140733961267904 140733961259040 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28923/statm: 2406260 15771 2270 9 0 2396937 0
[pid=28923/tid=28925] ppid=28920 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/28923/task/28925/stat : 28925 (java) R 28920 28923 26442 0 -1 4202560 2420 0 1 0 145 2 0 0 20 0 19 0 29084160 9856040960 15771 33554432000 1073741824 1073778376 140733961267904 139761160847056 139761004664866 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=28923/tid=28926] ppid=28920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28923/task/28926/stat : 28926 (java) S 28920 28923 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29084161 9856040960 15771 33554432000 1073741824 1073778376 140733961267904 139761004047016 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28923/tid=28927] ppid=28920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28923/task/28927/stat : 28927 (java) S 28920 28923 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29084161 9856040960 15771 33554432000 1073741824 1073778376 140733961267904 139761002994472 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28923/tid=28928] ppid=28920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28923/task/28928/stat : 28928 (java) S 28920 28923 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29084161 9856040960 15771 33554432000 1073741824 1073778376 140733961267904 139761001941928 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28923/tid=28929] ppid=28920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28923/task/28929/stat : 28929 (java) S 28920 28923 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29084161 9856040960 15771 33554432000 1073741824 1073778376 140733961267904 139761000889384 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28923/tid=28930] ppid=28920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28923/task/28930/stat : 28930 (java) S 28920 28923 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29084161 9856040960 15771 33554432000 1073741824 1073778376 140733961267904 139760999835816 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28923/tid=28931] ppid=28920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28923/task/28931/stat : 28931 (java) S 28920 28923 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29084161 9856040960 15771 33554432000 1073741824 1073778376 140733961267904 139760998783272 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28923/tid=28932] ppid=28920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28923/task/28932/stat : 28932 (java) S 28920 28923 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29084161 9856040960 15771 33554432000 1073741824 1073778376 140733961267904 139760997730728 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28923/tid=28933] ppid=28920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28923/task/28933/stat : 28933 (java) S 28920 28923 26442 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29084161 9856040960 15771 33554432000 1073741824 1073778376 140733961267904 139760996678184 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28923/tid=28934] ppid=28920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28923/task/28934/stat : 28934 (java) S 28920 28923 26442 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29084162 9856040960 15771 33554432000 1073741824 1073778376 140733961267904 139760514349672 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28923/tid=28935] ppid=28920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28923/task/28935/stat : 28935 (java) S 28920 28923 26442 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29084163 9856040960 15771 33554432000 1073741824 1073778376 140733961267904 139760513295992 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28923/tid=28936] ppid=28920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28923/task/28936/stat : 28936 (java) S 28920 28923 26442 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29084163 9856040960 15771 33554432000 1073741824 1073778376 140733961267904 139760512243336 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28923/tid=28937] ppid=28920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28923/task/28937/stat : 28937 (java) S 28920 28923 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29084165 9856040960 15771 33554432000 1073741824 1073778376 140733961267904 139760511192080 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28923/tid=28938] ppid=28920 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/28923/task/28938/stat : 28938 (java) S 28920 28923 26442 0 -1 4202560 3671 0 0 0 39 0 0 0 20 0 19 0 29084165 9856040960 15771 33554432000 1073741824 1073778376 140733961267904 139760510138424 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28923/tid=28939] ppid=28920 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/28923/task/28939/stat : 28939 (java) S 28920 28923 26442 0 -1 4202560 2443 0 0 0 29 0 0 0 20 0 19 0 29084165 9856040960 15771 33554432000 1073741824 1073778376 140733961267904 139760509085880 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28923/tid=28940] ppid=28920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28923/task/28940/stat : 28940 (java) S 28920 28923 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29084165 9856040960 15771 33554432000 1073741824 1073778376 140733961267904 139760508033528 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28923/tid=28941] ppid=28920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28923/task/28941/stat : 28941 (java) S 28920 28923 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29084165 9856040960 15771 33554432000 1073741824 1073778376 140733961267904 139760506981192 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28923/tid=28942] ppid=28920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28923/task/28942/stat : 28942 (java) S 28920 28923 26442 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29084201 9856040960 15771 33554432000 1073741824 1073778376 140733961267904 139760505926952 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.18
Current children cumulated vsize (KiB) 9625040

[startup+3.10081 s]
/proc/loadavg: 2.06 2.08 2.08 4/214 28942
/proc/meminfo: memFree=31086652/32872528 swapFree=552864/567172
[pid=28923] ppid=28920 vsize=9625040 CPUtime=3.82 cores=0,2,4,6
/proc/28923/stat : 28923 (java) S 28920 28923 26442 0 -1 4202496 9813 0 1 0 380 2 0 0 20 0 19 0 29084159 9856040960 16283 33554432000 1073741824 1073778376 140733961267904 140733961259040 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28923/statm: 2406260 16283 2270 9 0 2396937 0
[pid=28923/tid=28925] ppid=28920 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/28923/task/28925/stat : 28925 (java) R 28920 28923 26442 0 -1 4202560 2422 0 1 0 304 2 0 0 20 0 19 0 29084160 9856040960 16283 33554432000 1073741824 1073778376 140733961267904 139761160855968 139761004738749 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=28923/tid=28926] ppid=28920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28923/task/28926/stat : 28926 (java) S 28920 28923 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29084161 9856040960 16283 33554432000 1073741824 1073778376 140733961267904 139761004047016 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28923/tid=28927] ppid=28920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28923/task/28927/stat : 28927 (java) S 28920 28923 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29084161 9856040960 16283 33554432000 1073741824 1073778376 140733961267904 139761002994472 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28923/tid=28928] ppid=28920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28923/task/28928/stat : 28928 (java) S 28920 28923 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29084161 9856040960 16283 33554432000 1073741824 1073778376 140733961267904 139761001941928 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28923/tid=28929] ppid=28920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28923/task/28929/stat : 28929 (java) S 28920 28923 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29084161 9856040960 16283 33554432000 1073741824 1073778376 140733961267904 139761000889384 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28923/tid=28930] ppid=28920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28923/task/28930/stat : 28930 (java) S 28920 28923 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29084161 9856040960 16283 33554432000 1073741824 1073778376 140733961267904 139760999835816 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28923/tid=28931] ppid=28920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28923/task/28931/stat : 28931 (java) S 28920 28923 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29084161 9856040960 16283 33554432000 1073741824 1073778376 140733961267904 139760998783272 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28923/tid=28932] ppid=28920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28923/task/28932/stat : 28932 (java) S 28920 28923 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29084161 9856040960 16283 33554432000 1073741824 1073778376 140733961267904 139760997730728 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28923/tid=28933] ppid=28920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28923/task/28933/stat : 28933 (java) S 28920 28923 26442 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29084161 9856040960 16283 33554432000 1073741824 1073778376 140733961267904 139760996678184 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28923/tid=28934] ppid=28920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28923/task/28934/stat : 28934 (java) S 28920 28923 26442 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29084162 9856040960 16283 33554432000 1073741824 1073778376 140733961267904 139760514349672 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28923/tid=28935] ppid=28920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28923/task/28935/stat : 28935 (java) S 28920 28923 26442 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29084163 9856040960 16283 33554432000 1073741824 1073778376 140733961267904 139760513295992 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28923/tid=28936] ppid=28920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28923/task/28936/stat : 28936 (java) S 28920 28923 26442 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29084163 9856040960 16283 33554432000 1073741824 1073778376 140733961267904 139760512243336 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28923/tid=28937] ppid=28920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28923/task/28937/stat : 28937 (java) S 28920 28923 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29084165 9856040960 16283 33554432000 1073741824 1073778376 140733961267904 139760511192080 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28923/tid=28938] ppid=28920 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/28923/task/28938/stat : 28938 (java) S 28920 28923 26442 0 -1 4202560 3671 0 0 0 41 0 0 0 20 0 19 0 29084165 9856040960 16283 33554432000 1073741824 1073778376 140733961267904 139760510138424 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28923/tid=28939] ppid=28920 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/28923/task/28939/stat : 28939 (java) S 28920 28923 26442 0 -1 4202560 2443 0 0 0 31 0 0 0 20 0 19 0 29084165 9856040960 16283 33554432000 1073741824 1073778376 140733961267904 139760509085880 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28923/tid=28940] ppid=28920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28923/task/28940/stat : 28940 (java) S 28920 28923 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29084165 9856040960 16283 33554432000 1073741824 1073778376 140733961267904 139760508033528 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28923/tid=28941] ppid=28920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28923/task/28941/stat : 28941 (java) S 28920 28923 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29084165 9856040960 16283 33554432000 1073741824 1073778376 140733961267904 139760506981192 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28923/tid=28942] ppid=28920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28923/task/28942/stat : 28942 (java) S 28920 28923 26442 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29084201 9856040960 16283 33554432000 1073741824 1073778376 140733961267904 139760505926952 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.82
Current children cumulated vsize (KiB) 9625040

[startup+6.30091 s]
/proc/loadavg: 2.06 2.08 2.08 3/214 28942
/proc/meminfo: memFree=31080884/32872528 swapFree=552864/567172
[pid=28923] ppid=28920 vsize=9625040 CPUtime=7.03 cores=0,2,4,6
/proc/28923/stat : 28923 (java) S 28920 28923 26442 0 -1 4202496 9820 0 1 0 701 2 0 0 20 0 19 0 29084159 9856040960 18325 33554432000 1073741824 1073778376 140733961267904 140733961259040 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28923/statm: 2406260 18325 2271 9 0 2396937 0
[pid=28923/tid=28925] ppid=28920 vsize=9625040 CPUtime=6.26 cores=0,2,4,6
/proc/28923/task/28925/stat : 28925 (java) R 28920 28923 26442 0 -1 4202560 2427 0 1 0 624 2 0 0 20 0 19 0 29084160 9856040960 18325 33554432000 1073741824 1073778376 140733961267904 139761160847040 139761004748012 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=28923/tid=28926] ppid=28920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28923/task/28926/stat : 28926 (java) S 28920 28923 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29084161 9856040960 18325 33554432000 1073741824 1073778376 140733961267904 139761004047016 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28923/tid=28927] ppid=28920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28923/task/28927/stat : 28927 (java) S 28920 28923 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29084161 9856040960 18325 33554432000 1073741824 1073778376 140733961267904 139761002994472 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28923/tid=28928] ppid=28920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28923/task/28928/stat : 28928 (java) S 28920 28923 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29084161 9856040960 18325 33554432000 1073741824 1073778376 140733961267904 139761001941928 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28923/tid=28929] ppid=28920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28923/task/28929/stat : 28929 (java) S 28920 28923 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29084161 9856040960 18325 33554432000 1073741824 1073778376 140733961267904 139761000889384 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28923/tid=28930] ppid=28920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28923/task/28930/stat : 28930 (java) S 28920 28923 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29084161 9856040960 18325 33554432000 1073741824 1073778376 140733961267904 139760999835816 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28923/tid=28931] ppid=28920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28923/task/28931/stat : 28931 (java) S 28920 28923 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29084161 9856040960 18325 33554432000 1073741824 1073778376 140733961267904 139760998783272 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28923/tid=28932] ppid=28920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28923/task/28932/stat : 28932 (java) S 28920 28923 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29084161 9856040960 18325 33554432000 1073741824 1073778376 140733961267904 139760997730728 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28923/tid=28933] ppid=28920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28923/task/28933/stat : 28933 (java) S 28920 28923 26442 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29084161 9856040960 18325 33554432000 1073741824 1073778376 140733961267904 139760996678184 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28923/tid=28934] ppid=28920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28923/task/28934/stat : 28934 (java) S 28920 28923 26442 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29084162 9856040960 18325 33554432000 1073741824 1073778376 140733961267904 139760514349672 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28923/tid=28935] ppid=28920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28923/task/28935/stat : 28935 (java) S 28920 28923 26442 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29084163 9856040960 18325 33554432000 1073741824 1073778376 140733961267904 139760513295992 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28923/tid=28936] ppid=28920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28923/task/28936/stat : 28936 (java) S 28920 28923 26442 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29084163 9856040960 18325 33554432000 1073741824 1073778376 140733961267904 139760512243336 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28923/tid=28937] ppid=28920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28923/task/28937/stat : 28937 (java) S 28920 28923 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29084165 9856040960 18325 33554432000 1073741824 1073778376 140733961267904 139760511192080 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28923/tid=28938] ppid=28920 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/28923/task/28938/stat : 28938 (java) S 28920 28923 26442 0 -1 4202560 3672 0 0 0 42 0 0 0 20 0 19 0 29084165 9856040960 18325 33554432000 1073741824 1073778376 140733961267904 139760510138424 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28923/tid=28939] ppid=28920 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/28923/task/28939/stat : 28939 (java) S 28920 28923 26442 0 -1 4202560 2443 0 0 0 31 0 0 0 20 0 19 0 29084165 9856040960 18325 33554432000 1073741824 1073778376 140733961267904 139760509085880 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28923/tid=28940] ppid=28920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28923/task/28940/stat : 28940 (java) S 28920 28923 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29084165 9856040960 18325 33554432000 1073741824 1073778376 140733961267904 139760508033528 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28923/tid=28941] ppid=28920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28923/task/28941/stat : 28941 (java) S 28920 28923 26442 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 29084165 9856040960 18325 33554432000 1073741824 1073778376 140733961267904 139760506981192 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28923/tid=28942] ppid=28920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28923/task/28942/stat : 28942 (java) S 28920 28923 26442 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29084201 9856040960 18325 33554432000 1073741824 1073778376 140733961267904 139760505926952 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.03
Current children cumulated vsize (KiB) 9625040


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

[pid=28923/tid=28942] ppid=28920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28923/task/28942/stat : 28942 (java) S 28920 28923 26442 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29084201 9856040960 76348 33554432000 1073741824 1073778376 140733961267904 139760505926952 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1664.04
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/213 29050
/proc/meminfo: memFree=30856032/32872528 swapFree=552864/567172
[pid=28923] ppid=28920 vsize=9625040 CPUtime=1724.05 cores=0,2,4,6
/proc/28923/stat : 28923 (java) S 28920 28923 26442 0 -1 4202496 11843 0 1 0 172357 48 0 0 20 0 19 0 29084159 9856040960 76348 33554432000 1073741824 1073778376 140733961267904 140733961259040 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28923/statm: 2406260 76348 2285 9 0 2396937 0
[pid=28923/tid=28925] ppid=28920 vsize=9625040 CPUtime=1717.47 cores=0,2,4,6
/proc/28923/task/28925/stat : 28925 (java) R 28920 28923 26442 0 -1 4202560 2483 0 1 0 171719 28 0 0 20 0 19 0 29084160 9856040960 76348 33554432000 1073741824 1073778376 140733961267904 139761160847136 139761004738749 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=28923/tid=28926] ppid=28920 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/28923/task/28926/stat : 28926 (java) S 28920 28923 26442 0 -1 4202560 274 0 0 0 8 2 0 0 20 0 19 0 29084161 9856040960 76348 33554432000 1073741824 1073778376 140733961267904 139761004047016 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28923/tid=28927] ppid=28920 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/28923/task/28927/stat : 28927 (java) S 28920 28923 26442 0 -1 4202560 294 0 0 0 10 2 0 0 20 0 19 0 29084161 9856040960 76348 33554432000 1073741824 1073778376 140733961267904 139761002994472 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28923/tid=28928] ppid=28920 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/28923/task/28928/stat : 28928 (java) S 28920 28923 26442 0 -1 4202560 30 0 0 0 7 2 0 0 20 0 19 0 29084161 9856040960 76348 33554432000 1073741824 1073778376 140733961267904 139761001941928 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28923/tid=28929] ppid=28920 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/28923/task/28929/stat : 28929 (java) S 28920 28923 26442 0 -1 4202560 255 0 0 0 11 3 0 0 20 0 19 0 29084161 9856040960 76348 33554432000 1073741824 1073778376 140733961267904 139761000889384 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28923/tid=28930] ppid=28920 vsize=9625040 CPUtime=0.11 cores=0,2,4,6
/proc/28923/task/28930/stat : 28930 (java) S 28920 28923 26442 0 -1 4202560 331 0 0 0 9 2 0 0 20 0 19 0 29084161 9856040960 76348 33554432000 1073741824 1073778376 140733961267904 139760999835816 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28923/tid=28931] ppid=28920 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/28923/task/28931/stat : 28931 (java) S 28920 28923 26442 0 -1 4202560 216 0 0 0 9 0 0 0 20 0 19 0 29084161 9856040960 76348 33554432000 1073741824 1073778376 140733961267904 139760998783272 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28923/tid=28932] ppid=28920 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/28923/task/28932/stat : 28932 (java) S 28920 28923 26442 0 -1 4202560 41 0 0 0 12 2 0 0 20 0 19 0 29084161 9856040960 76348 33554432000 1073741824 1073778376 140733961267904 139760997730728 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28923/tid=28933] ppid=28920 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/28923/task/28933/stat : 28933 (java) S 28920 28923 26442 0 -1 4202560 42 0 0 0 10 3 0 0 20 0 19 0 29084161 9856040960 76348 33554432000 1073741824 1073778376 140733961267904 139760996678184 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28923/tid=28934] ppid=28920 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/28923/task/28934/stat : 28934 (java) S 28920 28923 26442 0 -1 4202560 55 0 0 0 0 2 0 0 20 0 19 0 29084162 9856040960 76348 33554432000 1073741824 1073778376 140733961267904 139760514349672 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28923/tid=28935] ppid=28920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28923/task/28935/stat : 28935 (java) S 28920 28923 26442 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29084163 9856040960 76348 33554432000 1073741824 1073778376 140733961267904 139760513295992 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28923/tid=28936] ppid=28920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28923/task/28936/stat : 28936 (java) S 28920 28923 26442 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29084163 9856040960 76348 33554432000 1073741824 1073778376 140733961267904 139760512243336 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28923/tid=28937] ppid=28920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28923/task/28937/stat : 28937 (java) S 28920 28923 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29084165 9856040960 76348 33554432000 1073741824 1073778376 140733961267904 139760511192080 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28923/tid=28938] ppid=28920 vsize=9625040 CPUtime=0.46 cores=0,2,4,6
/proc/28923/task/28938/stat : 28938 (java) S 28920 28923 26442 0 -1 4202560 4014 0 0 0 46 0 0 0 20 0 19 0 29084165 9856040960 76348 33554432000 1073741824 1073778376 140733961267904 139760510138424 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28923/tid=28939] ppid=28920 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/28923/task/28939/stat : 28939 (java) S 28920 28923 26442 0 -1 4202560 2443 0 0 0 31 0 0 0 20 0 19 0 29084165 9856040960 76348 33554432000 1073741824 1073778376 140733961267904 139760509085880 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28923/tid=28940] ppid=28920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28923/task/28940/stat : 28940 (java) S 28920 28923 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29084165 9856040960 76348 33554432000 1073741824 1073778376 140733961267904 139760508033528 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28923/tid=28941] ppid=28920 vsize=9625040 CPUtime=0.7 cores=0,2,4,6
/proc/28923/task/28941/stat : 28941 (java) S 28920 28923 26442 0 -1 4202560 102 0 0 0 32 38 0 0 20 0 19 0 29084165 9856040960 76348 33554432000 1073741824 1073778376 140733961267904 139760506981192 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28923/tid=28942] ppid=28920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28923/task/28942/stat : 28942 (java) S 28920 28923 26442 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29084201 9856040960 76348 33554432000 1073741824 1073778376 140733961267904 139760505926952 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1724.05
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.07 2.05 2.05 3/214 29054
/proc/meminfo: memFree=30840772/32872528 swapFree=552864/567172
[pid=28923] ppid=28920 vsize=9625040 CPUtime=1784.12 cores=0,2,4,6
/proc/28923/stat : 28923 (java) S 28920 28923 26442 0 -1 4202496 11873 0 1 0 178362 50 0 0 20 0 19 0 29084159 9856040960 79418 33554432000 1073741824 1073778376 140733961267904 140733961259040 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28923/statm: 2406260 79418 2285 9 0 2396937 0
[pid=28923/tid=28925] ppid=28920 vsize=9625040 CPUtime=1777.29 cores=0,2,4,6
/proc/28923/task/28925/stat : 28925 (java) R 28920 28923 26442 0 -1 4202560 2484 0 1 0 177700 29 0 0 20 0 19 0 29084160 9856040960 79418 33554432000 1073741824 1073778376 140733961267904 139761160854832 139761004738749 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=28923/tid=28926] ppid=28920 vsize=9625040 CPUtime=0.11 cores=0,2,4,6
/proc/28923/task/28926/stat : 28926 (java) S 28920 28923 26442 0 -1 4202560 279 0 0 0 8 3 0 0 20 0 19 0 29084161 9856040960 79418 33554432000 1073741824 1073778376 140733961267904 139761004047016 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28923/tid=28927] ppid=28920 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/28923/task/28927/stat : 28927 (java) S 28920 28923 26442 0 -1 4202560 294 0 0 0 10 2 0 0 20 0 19 0 29084161 9856040960 79418 33554432000 1073741824 1073778376 140733961267904 139761002994472 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28923/tid=28928] ppid=28920 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/28923/task/28928/stat : 28928 (java) S 28920 28923 26442 0 -1 4202560 31 0 0 0 7 2 0 0 20 0 19 0 29084161 9856040960 79418 33554432000 1073741824 1073778376 140733961267904 139761001941928 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28923/tid=28929] ppid=28920 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/28923/task/28929/stat : 28929 (java) S 28920 28923 26442 0 -1 4202560 260 0 0 0 12 3 0 0 20 0 19 0 29084161 9856040960 79418 33554432000 1073741824 1073778376 140733961267904 139761000889384 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28923/tid=28930] ppid=28920 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/28923/task/28930/stat : 28930 (java) S 28920 28923 26442 0 -1 4202560 331 0 0 0 10 2 0 0 20 0 19 0 29084161 9856040960 79418 33554432000 1073741824 1073778376 140733961267904 139760999835816 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28923/tid=28931] ppid=28920 vsize=9625040 CPUtime=0.11 cores=0,2,4,6
/proc/28923/task/28931/stat : 28931 (java) S 28920 28923 26442 0 -1 4202560 222 0 0 0 9 2 0 0 20 0 19 0 29084161 9856040960 79418 33554432000 1073741824 1073778376 140733961267904 139760998783272 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28923/tid=28932] ppid=28920 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/28923/task/28932/stat : 28932 (java) S 28920 28923 26442 0 -1 4202560 42 0 0 0 12 2 0 0 20 0 19 0 29084161 9856040960 79418 33554432000 1073741824 1073778376 140733961267904 139760997730728 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28923/tid=28933] ppid=28920 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/28923/task/28933/stat : 28933 (java) S 28920 28923 26442 0 -1 4202560 47 0 0 0 12 3 0 0 20 0 19 0 29084161 9856040960 79418 33554432000 1073741824 1073778376 140733961267904 139760996678184 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28923/tid=28934] ppid=28920 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/28923/task/28934/stat : 28934 (java) S 28920 28923 26442 0 -1 4202560 57 0 0 0 0 2 0 0 20 0 19 0 29084162 9856040960 79418 33554432000 1073741824 1073778376 140733961267904 139760514349672 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28923/tid=28935] ppid=28920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28923/task/28935/stat : 28935 (java) S 28920 28923 26442 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29084163 9856040960 79418 33554432000 1073741824 1073778376 140733961267904 139760513295992 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28923/tid=28936] ppid=28920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28923/task/28936/stat : 28936 (java) S 28920 28923 26442 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29084163 9856040960 79418 33554432000 1073741824 1073778376 140733961267904 139760512243336 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28923/tid=28937] ppid=28920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28923/task/28937/stat : 28937 (java) S 28920 28923 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29084165 9856040960 79418 33554432000 1073741824 1073778376 140733961267904 139760511192080 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28923/tid=28938] ppid=28920 vsize=9625040 CPUtime=0.46 cores=0,2,4,6
/proc/28923/task/28938/stat : 28938 (java) S 28920 28923 26442 0 -1 4202560 4014 0 0 0 46 0 0 0 20 0 19 0 29084165 9856040960 79418 33554432000 1073741824 1073778376 140733961267904 139760510138424 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28923/tid=28939] ppid=28920 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/28923/task/28939/stat : 28939 (java) S 28920 28923 26442 0 -1 4202560 2443 0 0 0 31 0 0 0 20 0 19 0 29084165 9856040960 79418 33554432000 1073741824 1073778376 140733961267904 139760509085880 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28923/tid=28940] ppid=28920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28923/task/28940/stat : 28940 (java) S 28920 28923 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29084165 9856040960 79418 33554432000 1073741824 1073778376 140733961267904 139760508033528 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28923/tid=28941] ppid=28920 vsize=9625040 CPUtime=0.73 cores=0,2,4,6
/proc/28923/task/28941/stat : 28941 (java) S 28920 28923 26442 0 -1 4202560 106 0 0 0 33 40 0 0 20 0 19 0 29084165 9856040960 79418 33554432000 1073741824 1073778376 140733961267904 139760506981192 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28923/tid=28942] ppid=28920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28923/task/28942/stat : 28942 (java) S 28920 28923 26442 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29084201 9856040960 79418 33554432000 1073741824 1073778376 140733961267904 139760505926952 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1784.12
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798.2 s]
/proc/loadavg: 2.06 2.05 2.05 3/214 29054
/proc/meminfo: memFree=30841060/32872528 swapFree=552864/567172
[pid=28923] ppid=28920 vsize=9625040 CPUtime=1800.04 cores=0,2,4,6
/proc/28923/stat : 28923 (java) S 28920 28923 26442 0 -1 4202496 11873 0 1 0 179953 51 0 0 20 0 19 0 29084159 9856040960 79418 33554432000 1073741824 1073778376 140733961267904 140733961259040 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28923/statm: 2406260 79418 2285 9 0 2396937 0
[pid=28923/tid=28925] ppid=28920 vsize=9625040 CPUtime=1793.15 cores=0,2,4,6
/proc/28923/task/28925/stat : 28925 (java) R 28920 28923 26442 0 -1 4202560 2484 0 1 0 179286 29 0 0 20 0 19 0 29084160 9856040960 79418 33554432000 1073741824 1073778376 140733961267904 139761160847136 139761004681814 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=28923/tid=28926] ppid=28920 vsize=9625040 CPUtime=0.11 cores=0,2,4,6
/proc/28923/task/28926/stat : 28926 (java) S 28920 28923 26442 0 -1 4202560 279 0 0 0 8 3 0 0 20 0 19 0 29084161 9856040960 79418 33554432000 1073741824 1073778376 140733961267904 139761004047016 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28923/tid=28927] ppid=28920 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/28923/task/28927/stat : 28927 (java) S 28920 28923 26442 0 -1 4202560 294 0 0 0 10 2 0 0 20 0 19 0 29084161 9856040960 79418 33554432000 1073741824 1073778376 140733961267904 139761002994472 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28923/tid=28928] ppid=28920 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/28923/task/28928/stat : 28928 (java) S 28920 28923 26442 0 -1 4202560 31 0 0 0 7 2 0 0 20 0 19 0 29084161 9856040960 79418 33554432000 1073741824 1073778376 140733961267904 139761001941928 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28923/tid=28929] ppid=28920 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/28923/task/28929/stat : 28929 (java) S 28920 28923 26442 0 -1 4202560 260 0 0 0 12 3 0 0 20 0 19 0 29084161 9856040960 79418 33554432000 1073741824 1073778376 140733961267904 139761000889384 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28923/tid=28930] ppid=28920 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/28923/task/28930/stat : 28930 (java) S 28920 28923 26442 0 -1 4202560 331 0 0 0 10 2 0 0 20 0 19 0 29084161 9856040960 79418 33554432000 1073741824 1073778376 140733961267904 139760999835816 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28923/tid=28931] ppid=28920 vsize=9625040 CPUtime=0.11 cores=0,2,4,6
/proc/28923/task/28931/stat : 28931 (java) S 28920 28923 26442 0 -1 4202560 222 0 0 0 9 2 0 0 20 0 19 0 29084161 9856040960 79418 33554432000 1073741824 1073778376 140733961267904 139760998783272 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28923/tid=28932] ppid=28920 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/28923/task/28932/stat : 28932 (java) S 28920 28923 26442 0 -1 4202560 42 0 0 0 12 2 0 0 20 0 19 0 29084161 9856040960 79418 33554432000 1073741824 1073778376 140733961267904 139760997730728 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28923/tid=28933] ppid=28920 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/28923/task/28933/stat : 28933 (java) S 28920 28923 26442 0 -1 4202560 47 0 0 0 12 3 0 0 20 0 19 0 29084161 9856040960 79418 33554432000 1073741824 1073778376 140733961267904 139760996678184 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28923/tid=28934] ppid=28920 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/28923/task/28934/stat : 28934 (java) S 28920 28923 26442 0 -1 4202560 57 0 0 0 0 2 0 0 20 0 19 0 29084162 9856040960 79418 33554432000 1073741824 1073778376 140733961267904 139760514349672 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28923/tid=28935] ppid=28920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28923/task/28935/stat : 28935 (java) S 28920 28923 26442 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29084163 9856040960 79418 33554432000 1073741824 1073778376 140733961267904 139760513295992 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28923/tid=28936] ppid=28920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28923/task/28936/stat : 28936 (java) S 28920 28923 26442 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29084163 9856040960 79418 33554432000 1073741824 1073778376 140733961267904 139760512243336 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28923/tid=28937] ppid=28920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28923/task/28937/stat : 28937 (java) S 28920 28923 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29084165 9856040960 79418 33554432000 1073741824 1073778376 140733961267904 139760511192080 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28923/tid=28938] ppid=28920 vsize=9625040 CPUtime=0.46 cores=0,2,4,6
/proc/28923/task/28938/stat : 28938 (java) S 28920 28923 26442 0 -1 4202560 4014 0 0 0 46 0 0 0 20 0 19 0 29084165 9856040960 79418 33554432000 1073741824 1073778376 140733961267904 139760510138424 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28923/tid=28939] ppid=28920 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/28923/task/28939/stat : 28939 (java) S 28920 28923 26442 0 -1 4202560 2443 0 0 0 31 0 0 0 20 0 19 0 29084165 9856040960 79418 33554432000 1073741824 1073778376 140733961267904 139760509085880 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28923/tid=28940] ppid=28920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28923/task/28940/stat : 28940 (java) S 28920 28923 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29084165 9856040960 79418 33554432000 1073741824 1073778376 140733961267904 139760508033528 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28923/tid=28941] ppid=28920 vsize=9625040 CPUtime=0.74 cores=0,2,4,6
/proc/28923/task/28941/stat : 28941 (java) S 28920 28923 26442 0 -1 4202560 106 0 0 0 34 40 0 0 20 0 19 0 29084165 9856040960 79418 33554432000 1073741824 1073778376 140733961267904 139760506981192 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28923/tid=28942] ppid=28920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28923/task/28942/stat : 28942 (java) S 28920 28923 26442 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29084201 9856040960 79418 33554432000 1073741824 1073778376 140733961267904 139760505926952 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9625040

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 28923 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 28923 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=948126
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=42841
# CPU time returned by wait4() is 1795.99
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1798.23
CPU time (s): 1800.04
CPU user time (s): 1799.53
CPU system time (s): 0.51
CPU usage (%): 100.1
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.95
system time used= 1.04284
maximum resident set size= 317788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11907
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38422
involuntary context switches= 3660

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.3758 second user time and 9.80151 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-26 19:01:02
IDJOB=4116689
IDBENCH=109501
IDSOLVER=2546
FILE ID=node138/4116689-1466960462
RUNJOBID= node138-1466940040-26458
PBS_JOBID= 19976338
Free space on /tmp= 71716 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round22-1.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4116689-1466960462/watcher-4116689-1466960462 -o /tmp/evaluation-result-4116689-1466960462/solver-4116689-1466960462 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466940040-26458 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4116689-1466960462.opb

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

MD5SUM BENCH= 154764e9df41c652e29cc0d7de19c998
RANDOM SEED=1711409485

node138.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.803
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.60
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.803
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.803
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.803
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.803
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.803
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.803
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.803
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:        31143592 kB
Buffers:           25080 kB
Cached:           223428 kB
SwapCached:         3788 kB
Active:           231900 kB
Inactive:         227500 kB
Active(anon):     208444 kB
Inactive(anon):     4676 kB
Active(file):      23456 kB
Inactive(file):   222824 kB
Unevictable:      567172 kB
Mlocked:          552864 kB
SwapTotal:      67108856 kB
SwapFree:       67094448 kB
Dirty:              1208 kB
Writeback:             0 kB
AnonPages:        885716 kB
Mapped:            15524 kB
Shmem:                 0 kB
Slab:             566932 kB
SReclaimable:      10436 kB
SUnreclaim:       556496 kB
KernelStack:        1760 kB
PageTables:         5728 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1266420 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    319488 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= 71716 MiB
End job on node138 at 2016-06-26 19:31:01