Trace number 4106975

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.92 1783.25

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_10_5_40.opb
MD5SUMc15d396f227b886c20d72f2f5b513a08
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.213966
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables400
Total number of constraints602
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
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 40
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)5056
Sum of products size (including duplicates)10112
Number of different products2528
Sum of products size5056

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-4106975-1466282523.opb
0.09/0.11	c reading problem ... 
0.09/0.12	c  no objective function found
0.46/0.38	c ... done. Wall clock time 0.26s.
0.46/0.38	c declared #vars     400
0.46/0.38	c internal #vars     2928
0.46/0.38	c #constraints  5659
0.46/0.38	c constraints type 
0.46/0.38	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2528
0.46/0.38	c org.sat4j.minisat.constraints.card.MinWatchCard => 403
0.46/0.38	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
0.46/0.38	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2528
0.46/0.38	c 5659 constraints processed.
1.75/0.98	c cleaning 2469 clauses out of 5000 with flag 12557/5000
2.42/1.51	c cleaning 4275 clauses out of 8549 with flag 25500/11018
3.11/2.13	c cleaning 5628 clauses out of 11256 with flag 42193/18000
4.02/2.99	c cleaning 6805 clauses out of 13631 with flag 60766/26003
4.85/3.73	c cleaning 7888 clauses out of 15824 with flag 81679/35001
5.75/4.62	c cleaning 8939 clauses out of 17935 with flag 104303/45000
6.55/5.50	c cleaning 9958 clauses out of 19996 with flag 130272/56000
7.65/6.52	c cleaning 10991 clauses out of 22039 with flag 157680/68001
8.93/7.74	c cleaning 12028 clauses out of 24059 with flag 187405/81012
10.13/8.97	c cleaning 12989 clauses out of 26028 with flag 221793/95009
11.62/10.42	c cleaning 13990 clauses out of 28032 with flag 259754/110002
12.92/11.78	c cleaning 15000 clauses out of 30040 with flag 308909/126000
14.54/13.31	c cleaning 15995 clauses out of 32041 with flag 366201/143001
16.54/15.38	c cleaning 17001 clauses out of 34045 with flag 415703/161000
19.21/17.85	c cleaning 18001 clauses out of 36044 with flag 466295/180000
22.01/20.60	c cleaning 19006 clauses out of 38047 with flag 515767/200004
25.11/23.76	c cleaning 20000 clauses out of 40037 with flag 565259/221000
28.51/27.17	c cleaning 20997 clauses out of 42037 with flag 618917/243000
32.51/31.13	c cleaning 22000 clauses out of 44040 with flag 672869/266000
37.19/35.66	c cleaning 23024 clauses out of 46049 with flag 726955/290009
41.58/40.08	c cleaning 24015 clauses out of 48031 with flag 785059/315015
46.88/45.31	c cleaning 24996 clauses out of 50001 with flag 843577/341000
53.43/51.60	c cleaning 26014 clauses out of 52029 with flag 905816/368024
60.93/59.14	c cleaning 26959 clauses out of 53992 with flag 970161/396001
65.93/64.10	c cleaning 28004 clauses out of 56032 with flag 1041585/425000
69.47/67.66	c cleaning 28994 clauses out of 58028 with flag 1137104/455000
75.07/73.26	c cleaning 29986 clauses out of 60038 with flag 1227024/486004
81.87/80.02	c cleaning 30973 clauses out of 62049 with flag 1309567/518001
89.11/87.07	c cleaning 32051 clauses out of 64103 with flag 1393058/551028
97.30/95.23	c cleaning 32985 clauses out of 66025 with flag 1475641/585001
106.61/104.54	c cleaning 34002 clauses out of 68039 with flag 1560913/620000
116.60/114.22	c cleaning 34983 clauses out of 70038 with flag 1651299/656001
127.09/124.74	c cleaning 36049 clauses out of 72102 with flag 1735713/693048
139.61/136.93	c cleaning 37001 clauses out of 74005 with flag 1821422/731000
151.68/148.93	c cleaning 37991 clauses out of 76004 with flag 1909803/770000
159.87/157.18	c cleaning 38993 clauses out of 78019 with flag 2014564/810006
167.87/165.02	c cleaning 39984 clauses out of 80020 with flag 2135855/851000
179.29/176.33	c cleaning 40977 clauses out of 82039 with flag 2245015/893003
191.57/188.52	c cleaning 41991 clauses out of 84060 with flag 2352391/936001
204.83/201.79	c cleaning 43011 clauses out of 86068 with flag 2460484/980000
219.20/216.02	c cleaning 44026 clauses out of 88057 with flag 2571220/1025000
235.28/232.00	c cleaning 45014 clauses out of 90034 with flag 2679174/1071003
249.47/246.01	c cleaning 45985 clauses out of 92017 with flag 2797580/1118000
258.45/254.90	c cleaning 46997 clauses out of 94034 with flag 2971280/1166002
264.11/260.58	c cleaning 47995 clauses out of 96036 with flag 3122550/1215001
271.20/267.58	c cleaning 49000 clauses out of 98043 with flag 3289674/1265003
280.68/276.89	c cleaning 50004 clauses out of 100040 with flag 3469672/1316000
291.95/288.06	c cleaning 51001 clauses out of 102036 with flag 3654956/1368000
304.74/300.78	c cleaning 51994 clauses out of 104038 with flag 3849221/1421003
318.04/313.93	c cleaning 53001 clauses out of 106041 with flag 4037916/1475000
333.04/328.80	c cleaning 54008 clauses out of 108043 with flag 4231278/1530003
348.25/343.96	c cleaning 54994 clauses out of 110033 with flag 4429430/1586001
364.10/359.76	c cleaning 55992 clauses out of 112038 with flag 4620651/1643000
381.93/377.46	c cleaning 56995 clauses out of 114046 with flag 4825044/1701000
399.63/395.06	c cleaning 57995 clauses out of 116052 with flag 5010835/1760001
419.80/415.17	c cleaning 59005 clauses out of 118056 with flag 5210882/1820000
438.82/434.03	c cleaning 60025 clauses out of 120055 with flag 5423237/1881004
459.32/454.45	c cleaning 60966 clauses out of 122026 with flag 5617171/1943000
480.83/475.70	c cleaning 62002 clauses out of 124060 with flag 5815529/2006000
502.55/497.34	c cleaning 63029 clauses out of 126071 with flag 6013061/2070013
526.05/520.66	c cleaning 63984 clauses out of 128029 with flag 6216509/2135000
549.71/544.14	c cleaning 65000 clauses out of 130045 with flag 6413567/2201000
574.95/569.26	c cleaning 65994 clauses out of 132046 with flag 6620680/2268001
602.18/596.25	c cleaning 66978 clauses out of 134051 with flag 6832449/2336000
628.78/622.62	c cleaning 68022 clauses out of 136077 with flag 7036303/2405004
658.51/652.25	c cleaning 68979 clauses out of 138052 with flag 7260313/2475001
689.00/682.53	c cleaning 70019 clauses out of 140072 with flag 7485687/2546000
718.93/712.32	c cleaning 70986 clauses out of 142053 with flag 7692225/2618000
752.02/745.27	c cleaning 72020 clauses out of 144067 with flag 7914568/2691000
788.90/781.92	c cleaning 72976 clauses out of 146047 with flag 8124088/2765000
823.21/816.08	c cleaning 73993 clauses out of 148071 with flag 8353210/2840000
858.25/850.93	c cleaning 75026 clauses out of 150087 with flag 8587601/2916009
895.37/887.77	c cleaning 76011 clauses out of 152052 with flag 8821140/2993000
936.70/928.71	c cleaning 77005 clauses out of 154041 with flag 9047771/3071000
978.95/970.66	c cleaning 78004 clauses out of 156036 with flag 9272014/3150000
1019.91/1011.36	c cleaning 78965 clauses out of 158033 with flag 9518407/3230001
1058.70/1049.62	c cleaning 80008 clauses out of 160067 with flag 9751478/3311000
1104.70/1095.14	c cleaning 81021 clauses out of 162059 with flag 9979788/3393000
1154.43/1144.43	c cleaning 82020 clauses out of 164054 with flag 10215716/3476016
1201.34/1190.89	c cleaning 82975 clauses out of 166018 with flag 10466771/3560000
1250.75/1239.78	c cleaning 84010 clauses out of 168044 with flag 10712202/3645001
1304.25/1292.74	c cleaning 85006 clauses out of 170033 with flag 10937985/3731000
1354.61/1342.54	c cleaning 85968 clauses out of 172028 with flag 11201900/3818001
1407.17/1394.52	c cleaning 86993 clauses out of 174059 with flag 11461328/3906000
1466.42/1453.11	c cleaning 88015 clauses out of 176067 with flag 11688296/3995001
1518.67/1504.85	c cleaning 88994 clauses out of 178051 with flag 11948990/4085000
1577.91/1563.33	c cleaning 90009 clauses out of 180057 with flag 12215648/4176000
1643.50/1628.38	c cleaning 91016 clauses out of 182048 with flag 12454956/4268000
1703.10/1687.40	c cleaning 91975 clauses out of 184034 with flag 12729680/4361002
1767.11/1750.63	c cleaning 93011 clauses out of 186057 with flag 12978230/4455000
1800.08/1783.21	c starts		: 1
1800.08/1783.21	c conflicts		: 4510984
1800.08/1783.21	c decisions		: 23843543
1800.08/1783.21	c propagations		: 49003370
1800.08/1783.21	c inspects		: 31389436189
1800.08/1783.21	c shortcuts		: 0
1800.08/1783.21	c learnt literals	: 0
1800.08/1783.21	c learnt binary clauses	: 0
1800.08/1783.21	c learnt ternary clauses	: 0
1800.08/1783.21	c learnt constraints	: 4510984
1800.08/1783.21	c ignored constraints	: 0
1800.08/1783.21	c root simplifications	: 0
1800.08/1783.21	c removed literals (reason simplification)	: 0
1800.08/1783.21	c reason swapping (by a shorter reason)	: 0
1800.08/1783.21	c Calls to reduceDB	: 90
1800.08/1783.21	c Number of update (reduction) of LBD	: 1029560
1800.08/1783.21	c Imported unit clauses	: 0
1800.08/1783.21	c number of reductions to clauses (during analyze)	: 0
1800.08/1783.21	c number of learned constraints concerned by reduction	: 0
1800.08/1783.21	c number of learning phase by resolution	: 0
1800.08/1783.21	c number of learning phase by cutting planes	: 0
1800.08/1783.21	c speed (assignments/second)	: 27486.29846160232
1800.08/1783.21	c non guided choices	2712
1800.08/1783.21	c timeout
1800.08/1783.24	c learnt constraints type 
1800.08/1783.24	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 149030
1800.08/1783.24	s UNKNOWN
1800.08/1783.24	c Total wall clock time (in seconds): 1783.123

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-4106975-1466282523/watcher-4106975-1466282523 -o /tmp/evaluation-result-4106975-1466282523/solver-4106975-1466282523 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466265085-26686 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4106975-1466282523.opb 

pid=30277
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.02 2.02 2.00 3/194 30280
/proc/meminfo: memFree=30607724/32872528 swapFree=163656/177964
[pid=30280] ppid=30277 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/30280/stat : 30280 (java) D 30277 30280 26669 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 30302194 2560000 46 33554432000 1073741824 1073778376 140734569302240 140734569299368 224913354023 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/30280/statm: 625 46 37 9 0 29 0

[startup+0.100111 s]
/proc/loadavg: 2.02 2.02 2.00 3/194 30280
/proc/meminfo: memFree=30607724/32872528 swapFree=163656/177964
[pid=30280] ppid=30277 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/30280/stat : 30280 (java) S 30277 30280 26669 0 -1 4202496 4412 0 1 0 8 1 0 0 20 0 18 0 30302194 9787879424 6023 33554432000 1073741824 1073778376 140734569302240 140734569293376 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30280/statm: 2389619 6023 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200291 s]
/proc/loadavg: 2.02 2.02 2.00 3/194 30280
/proc/meminfo: memFree=30607724/32872528 swapFree=163656/177964
[pid=30280] ppid=30277 vsize=9558476 CPUtime=0.23 cores=1,3,5,7
/proc/30280/stat : 30280 (java) S 30277 30280 26669 0 -1 4202496 4716 0 1 0 22 1 0 0 20 0 18 0 30302194 9787879424 6785 33554432000 1073741824 1073778376 140734569302240 140734569293376 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30280/statm: 2389619 6785 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476

[startup+0.300297 s]
/proc/loadavg: 2.02 2.02 2.00 3/194 30280
/proc/meminfo: memFree=30607724/32872528 swapFree=163656/177964
[pid=30280] ppid=30277 vsize=9558476 CPUtime=0.46 cores=1,3,5,7
/proc/30280/stat : 30280 (java) S 30277 30280 26669 0 -1 4202496 6212 0 1 0 44 2 0 0 20 0 18 0 30302194 9787879424 8880 33554432000 1073741824 1073778376 140734569302240 140734569293376 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30280/statm: 2389619 8880 2243 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558476

[startup+0.700179 s]
/proc/loadavg: 2.02 2.02 2.00 3/194 30280
/proc/meminfo: memFree=30607724/32872528 swapFree=163656/177964
[pid=30280] ppid=30277 vsize=9625040 CPUtime=1.48 cores=1,3,5,7
/proc/30280/stat : 30280 (java) S 30277 30280 26669 0 -1 4202496 12818 0 1 0 145 3 0 0 20 0 19 0 30302194 9856040960 16099 33554432000 1073741824 1073778376 140734569302240 140734569293376 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30280/statm: 2406260 16099 2263 9 0 2396937 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 9625040

[startup+1.50083 s]
/proc/loadavg: 2.02 2.02 2.00 3/213 30299
/proc/meminfo: memFree=30543752/32872528 swapFree=163656/177964
[pid=30280] ppid=30277 vsize=9625040 CPUtime=2.42 cores=1,3,5,7
/proc/30280/stat : 30280 (java) S 30277 30280 26669 0 -1 4202496 12838 0 1 0 238 4 0 0 20 0 19 0 30302194 9856040960 20206 33554432000 1073741824 1073778376 140734569302240 140734569293376 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30280/statm: 2406260 20206 2273 9 0 2396937 0
[pid=30280/tid=30282] ppid=30277 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/30280/task/30282/stat : 30282 (java) R 30277 30280 26669 0 -1 4202560 2466 0 1 0 144 2 0 0 20 0 19 0 30302195 9856040960 20206 33554432000 1073741824 1073778376 140734569302240 140696305779032 140696166152302 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=30280/tid=30283] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30283/stat : 30283 (java) S 30277 30280 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30302196 9856040960 20206 33554432000 1073741824 1073778376 140734569302240 140696149457960 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30280/tid=30284] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30284/stat : 30284 (java) S 30277 30280 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30302196 9856040960 20206 33554432000 1073741824 1073778376 140734569302240 140696148405160 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30280/tid=30285] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30285/stat : 30285 (java) S 30277 30280 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30302196 9856040960 20206 33554432000 1073741824 1073778376 140734569302240 140696147352360 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30280/tid=30286] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30286/stat : 30286 (java) S 30277 30280 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30302196 9856040960 20206 33554432000 1073741824 1073778376 140734569302240 140696146299560 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30280/tid=30287] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30287/stat : 30287 (java) S 30277 30280 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30302196 9856040960 20206 33554432000 1073741824 1073778376 140734569302240 140696145246760 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30280/tid=30288] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30288/stat : 30288 (java) S 30277 30280 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30302196 9856040960 20206 33554432000 1073741824 1073778376 140734569302240 140696144193960 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30280/tid=30289] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30289/stat : 30289 (java) S 30277 30280 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30302196 9856040960 20206 33554432000 1073741824 1073778376 140734569302240 140696143141160 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30280/tid=30290] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30290/stat : 30290 (java) S 30277 30280 26669 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 30302196 9856040960 20206 33554432000 1073741824 1073778376 140734569302240 140696142088360 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30280/tid=30291] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30291/stat : 30291 (java) S 30277 30280 26669 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 30302197 9856040960 20206 33554432000 1073741824 1073778376 140734569302240 140696129891304 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30280/tid=30292] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30292/stat : 30292 (java) S 30277 30280 26669 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 30302198 9856040960 20206 33554432000 1073741824 1073778376 140734569302240 140696128837368 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30280/tid=30293] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30293/stat : 30293 (java) S 30277 30280 26669 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30302198 9856040960 20206 33554432000 1073741824 1073778376 140734569302240 140696127784456 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30280/tid=30294] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30294/stat : 30294 (java) S 30277 30280 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30302200 9856040960 20206 33554432000 1073741824 1073778376 140734569302240 140696126732944 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30280/tid=30295] ppid=30277 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/30280/task/30295/stat : 30295 (java) S 30277 30280 26669 0 -1 4202560 5437 0 0 0 46 2 0 0 20 0 19 0 30302200 9856040960 20206 33554432000 1073741824 1073778376 140734569302240 140696125680056 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30280/tid=30296] ppid=30277 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/30280/task/30296/stat : 30296 (java) R 30277 30280 26669 0 -1 4202560 3663 0 0 0 43 2 0 0 20 0 19 0 30302200 9856040960 20206 33554432000 1073741824 1073778376 140734569302240 140696124627256 140696308507821 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=30280/tid=30297] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30297/stat : 30297 (java) S 30277 30280 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30302200 9856040960 20206 33554432000 1073741824 1073778376 140734569302240 140696123574648 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30280/tid=30298] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30298/stat : 30298 (java) S 30277 30280 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30302200 9856040960 20206 33554432000 1073741824 1073778376 140734569302240 140696122522056 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30280/tid=30299] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30299/stat : 30299 (java) S 30277 30280 26669 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30302232 9856040960 20206 33554432000 1073741824 1073778376 140734569302240 140696121468584 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.42
Current children cumulated vsize (KiB) 9625040

[startup+3.10084 s]
/proc/loadavg: 2.02 2.02 2.00 4/213 30299
/proc/meminfo: memFree=30518376/32872528 swapFree=163656/177964
[pid=30280] ppid=30277 vsize=9625040 CPUtime=4.25 cores=1,3,5,7
/proc/30280/stat : 30280 (java) S 30277 30280 26669 0 -1 4202496 17152 0 1 0 420 5 0 0 20 0 19 0 30302194 9856040960 26596 33554432000 1073741824 1073778376 140734569302240 140734569293376 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30280/statm: 2406260 26596 2273 9 0 2396937 0
[pid=30280/tid=30282] ppid=30277 vsize=9625040 CPUtime=3.04 cores=1,3,5,7
/proc/30280/task/30282/stat : 30282 (java) R 30277 30280 26669 0 -1 4202560 2479 0 1 0 302 2 0 0 20 0 19 0 30302195 9856040960 26596 33554432000 1073741824 1073778376 140734569302240 140696305778832 140696166705492 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=30280/tid=30283] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30283/stat : 30283 (java) S 30277 30280 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30302196 9856040960 26596 33554432000 1073741824 1073778376 140734569302240 140696149457960 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30280/tid=30284] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30284/stat : 30284 (java) S 30277 30280 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30302196 9856040960 26596 33554432000 1073741824 1073778376 140734569302240 140696148405160 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30280/tid=30285] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30285/stat : 30285 (java) S 30277 30280 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30302196 9856040960 26596 33554432000 1073741824 1073778376 140734569302240 140696147352360 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30280/tid=30286] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30286/stat : 30286 (java) S 30277 30280 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30302196 9856040960 26596 33554432000 1073741824 1073778376 140734569302240 140696146299560 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30280/tid=30287] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30287/stat : 30287 (java) S 30277 30280 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30302196 9856040960 26596 33554432000 1073741824 1073778376 140734569302240 140696145246760 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30280/tid=30288] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30288/stat : 30288 (java) S 30277 30280 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30302196 9856040960 26596 33554432000 1073741824 1073778376 140734569302240 140696144193960 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30280/tid=30289] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30289/stat : 30289 (java) S 30277 30280 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30302196 9856040960 26596 33554432000 1073741824 1073778376 140734569302240 140696143141160 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30280/tid=30290] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30290/stat : 30290 (java) S 30277 30280 26669 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 30302196 9856040960 26596 33554432000 1073741824 1073778376 140734569302240 140696142088360 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30280/tid=30291] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30291/stat : 30291 (java) S 30277 30280 26669 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 30302197 9856040960 26596 33554432000 1073741824 1073778376 140734569302240 140696129891304 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30280/tid=30292] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30292/stat : 30292 (java) S 30277 30280 26669 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 30302198 9856040960 26596 33554432000 1073741824 1073778376 140734569302240 140696128837368 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30280/tid=30293] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30293/stat : 30293 (java) S 30277 30280 26669 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30302198 9856040960 26596 33554432000 1073741824 1073778376 140734569302240 140696127784456 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30280/tid=30294] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30294/stat : 30294 (java) S 30277 30280 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30302200 9856040960 26596 33554432000 1073741824 1073778376 140734569302240 140696126732944 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30280/tid=30295] ppid=30277 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/30280/task/30295/stat : 30295 (java) S 30277 30280 26669 0 -1 4202560 5437 0 0 0 48 2 0 0 20 0 19 0 30302200 9856040960 26596 33554432000 1073741824 1073778376 140734569302240 140696125680056 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30280/tid=30296] ppid=30277 vsize=9625040 CPUtime=0.68 cores=1,3,5,7
/proc/30280/task/30296/stat : 30296 (java) S 30277 30280 26669 0 -1 4202560 7964 0 0 0 66 2 0 0 20 0 19 0 30302200 9856040960 26596 33554432000 1073741824 1073778376 140734569302240 140696124627256 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30280/tid=30297] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30297/stat : 30297 (java) S 30277 30280 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30302200 9856040960 26596 33554432000 1073741824 1073778376 140734569302240 140696123574648 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30280/tid=30298] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30298/stat : 30298 (java) S 30277 30280 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30302200 9856040960 26596 33554432000 1073741824 1073778376 140734569302240 140696122522056 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30280/tid=30299] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30299/stat : 30299 (java) S 30277 30280 26669 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30302232 9856040960 26596 33554432000 1073741824 1073778376 140734569302240 140696121468584 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.25
Current children cumulated vsize (KiB) 9625040

[startup+6.30086 s]
/proc/loadavg: 2.02 2.02 2.00 3/213 30299
/proc/meminfo: memFree=30475044/32872528 swapFree=163656/177964
[pid=30280] ppid=30277 vsize=9625040 CPUtime=7.45 cores=1,3,5,7
/proc/30280/stat : 30280 (java) S 30277 30280 26669 0 -1 4202496 17178 0 1 0 739 6 0 0 20 0 19 0 30302194 9856040960 37948 33554432000 1073741824 1073778376 140734569302240 140734569293376 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30280/statm: 2406260 37948 2274 9 0 2396937 0
[pid=30280/tid=30282] ppid=30277 vsize=9625040 CPUtime=6.25 cores=1,3,5,7
/proc/30280/task/30282/stat : 30282 (java) R 30277 30280 26669 0 -1 4202560 2504 0 1 0 622 3 0 0 20 0 19 0 30302195 9856040960 37948 33554432000 1073741824 1073778376 140734569302240 140696305770192 140696166694972 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=30280/tid=30283] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30283/stat : 30283 (java) S 30277 30280 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30302196 9856040960 37948 33554432000 1073741824 1073778376 140734569302240 140696149457960 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30280/tid=30284] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30284/stat : 30284 (java) S 30277 30280 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30302196 9856040960 37948 33554432000 1073741824 1073778376 140734569302240 140696148405160 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30280/tid=30285] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30285/stat : 30285 (java) S 30277 30280 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30302196 9856040960 37948 33554432000 1073741824 1073778376 140734569302240 140696147352360 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30280/tid=30286] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30286/stat : 30286 (java) S 30277 30280 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30302196 9856040960 37948 33554432000 1073741824 1073778376 140734569302240 140696146299560 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30280/tid=30287] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30287/stat : 30287 (java) S 30277 30280 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30302196 9856040960 37948 33554432000 1073741824 1073778376 140734569302240 140696145246760 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30280/tid=30288] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30288/stat : 30288 (java) S 30277 30280 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30302196 9856040960 37948 33554432000 1073741824 1073778376 140734569302240 140696144193960 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30280/tid=30289] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30289/stat : 30289 (java) S 30277 30280 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30302196 9856040960 37948 33554432000 1073741824 1073778376 140734569302240 140696143141160 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30280/tid=30290] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30290/stat : 30290 (java) S 30277 30280 26669 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 30302196 9856040960 37948 33554432000 1073741824 1073778376 140734569302240 140696142088360 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30280/tid=30291] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30291/stat : 30291 (java) S 30277 30280 26669 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 30302197 9856040960 37948 33554432000 1073741824 1073778376 140734569302240 140696129891304 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30280/tid=30292] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30292/stat : 30292 (java) S 30277 30280 26669 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 30302198 9856040960 37948 33554432000 1073741824 1073778376 140734569302240 140696128837368 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30280/tid=30293] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30293/stat : 30293 (java) S 30277 30280 26669 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30302198 9856040960 37948 33554432000 1073741824 1073778376 140734569302240 140696127784456 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30280/tid=30294] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30294/stat : 30294 (java) S 30277 30280 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30302200 9856040960 37948 33554432000 1073741824 1073778376 140734569302240 140696126732944 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30280/tid=30295] ppid=30277 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/30280/task/30295/stat : 30295 (java) S 30277 30280 26669 0 -1 4202560 5437 0 0 0 48 2 0 0 20 0 19 0 30302200 9856040960 37948 33554432000 1073741824 1073778376 140734569302240 140696125680056 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30280/tid=30296] ppid=30277 vsize=9625040 CPUtime=0.68 cores=1,3,5,7
/proc/30280/task/30296/stat : 30296 (java) S 30277 30280 26669 0 -1 4202560 7964 0 0 0 66 2 0 0 20 0 19 0 30302200 9856040960 37948 33554432000 1073741824 1073778376 140734569302240 140696124627256 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30280/tid=30297] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30297/stat : 30297 (java) S 30277 30280 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30302200 9856040960 37948 33554432000 1073741824 1073778376 140734569302240 140696123574648 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30280/tid=30298] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30298/stat : 30298 (java) S 30277 30280 26669 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 30302200 9856040960 37948 33554432000 1073741824 1073778376 140734569302240 140696122522056 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30280/tid=30299] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30299/stat : 30299 (java) S 30277 30280 26669 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30302232 9856040960 37948 33554432000 1073741824 1073778376 140734569302240 140696121468584 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.45
Current children cumulated vsize (KiB) 9625040


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

[pid=30280/tid=30292] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30292/stat : 30292 (java) S 30277 30280 26669 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 30302198 9856040960 82697 33554432000 1073741824 1073778376 140734569302240 140696128837368 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30280/tid=30293] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30293/stat : 30293 (java) S 30277 30280 26669 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 30302198 9856040960 82697 33554432000 1073741824 1073778376 140734569302240 140696127784456 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30280/tid=30294] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30294/stat : 30294 (java) S 30277 30280 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30302200 9856040960 82697 33554432000 1073741824 1073778376 140734569302240 140696126732944 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30280/tid=30295] ppid=30277 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/30280/task/30295/stat : 30295 (java) S 30277 30280 26669 0 -1 4202560 5437 0 0 0 48 2 0 0 20 0 19 0 30302200 9856040960 82697 33554432000 1073741824 1073778376 140734569302240 140696125680056 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30280/tid=30296] ppid=30277 vsize=9625040 CPUtime=0.71 cores=1,3,5,7
/proc/30280/task/30296/stat : 30296 (java) S 30277 30280 26669 0 -1 4202560 7967 0 0 0 69 2 0 0 20 0 19 0 30302200 9856040960 82697 33554432000 1073741824 1073778376 140734569302240 140696124627256 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30280/tid=30297] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30297/stat : 30297 (java) S 30277 30280 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30302200 9856040960 82697 33554432000 1073741824 1073778376 140734569302240 140696123574648 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30280/tid=30298] ppid=30277 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/30280/task/30298/stat : 30298 (java) S 30277 30280 26669 0 -1 4202560 95 0 0 0 30 32 0 0 20 0 19 0 30302200 9856040960 82697 33554432000 1073741824 1073778376 140734569302240 140696122522056 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30280/tid=30299] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30299/stat : 30299 (java) S 30277 30280 26669 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30302232 9856040960 82697 33554432000 1073741824 1073778376 140734569302240 140696121468584 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1677.87
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.15 2.05 2.02 3/214 30430
/proc/meminfo: memFree=30739796/32872528 swapFree=163656/177964
[pid=30280] ppid=30277 vsize=9625040 CPUtime=1738.5 cores=1,3,5,7
/proc/30280/stat : 30280 (java) S 30277 30280 26669 0 -1 4202496 32302 0 1 0 173655 195 0 0 20 0 19 0 30302194 9856040960 79765 33554432000 1073741824 1073778376 140734569302240 140734569293376 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30280/statm: 2406260 79765 2296 9 0 2396937 0
[pid=30280/tid=30282] ppid=30277 vsize=9625040 CPUtime=1710.6 cores=1,3,5,7
/proc/30280/task/30282/stat : 30282 (java) R 30277 30280 26669 0 -1 4202560 2904 0 1 0 171028 32 0 0 20 0 19 0 30302195 9856040960 79765 33554432000 1073741824 1073778376 140734569302240 140696305777904 140696166700825 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=30280/tid=30283] ppid=30277 vsize=9625040 CPUtime=2.7 cores=1,3,5,7
/proc/30280/task/30283/stat : 30283 (java) S 30277 30280 26669 0 -1 4202560 1802 0 0 0 251 19 0 0 20 0 19 0 30302196 9856040960 79765 33554432000 1073741824 1073778376 140734569302240 140696149457960 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30280/tid=30284] ppid=30277 vsize=9625040 CPUtime=2.69 cores=1,3,5,7
/proc/30280/task/30284/stat : 30284 (java) S 30277 30280 26669 0 -1 4202560 1683 0 0 0 246 23 0 0 20 0 19 0 30302196 9856040960 79765 33554432000 1073741824 1073778376 140734569302240 140696148405160 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30280/tid=30285] ppid=30277 vsize=9625040 CPUtime=2.56 cores=1,3,5,7
/proc/30280/task/30285/stat : 30285 (java) S 30277 30280 26669 0 -1 4202560 949 0 0 0 239 17 0 0 20 0 19 0 30302196 9856040960 79765 33554432000 1073741824 1073778376 140734569302240 140696147352360 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30280/tid=30286] ppid=30277 vsize=9625040 CPUtime=2.72 cores=1,3,5,7
/proc/30280/task/30286/stat : 30286 (java) S 30277 30280 26669 0 -1 4202560 2099 0 0 0 253 19 0 0 20 0 19 0 30302196 9856040960 79765 33554432000 1073741824 1073778376 140734569302240 140696146299560 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30280/tid=30287] ppid=30277 vsize=9625040 CPUtime=2.86 cores=1,3,5,7
/proc/30280/task/30287/stat : 30287 (java) S 30277 30280 26669 0 -1 4202560 1558 0 0 0 267 19 0 0 20 0 19 0 30302196 9856040960 79765 33554432000 1073741824 1073778376 140734569302240 140696145246760 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30280/tid=30288] ppid=30277 vsize=9625040 CPUtime=2.6 cores=1,3,5,7
/proc/30280/task/30288/stat : 30288 (java) S 30277 30280 26669 0 -1 4202560 1870 0 0 0 241 19 0 0 20 0 19 0 30302196 9856040960 79765 33554432000 1073741824 1073778376 140734569302240 140696144193960 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30280/tid=30289] ppid=30277 vsize=9625040 CPUtime=2.69 cores=1,3,5,7
/proc/30280/task/30289/stat : 30289 (java) S 30277 30280 26669 0 -1 4202560 1471 0 0 0 250 19 0 0 20 0 19 0 30302196 9856040960 79765 33554432000 1073741824 1073778376 140734569302240 140696143141160 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30280/tid=30290] ppid=30277 vsize=9625040 CPUtime=2.62 cores=1,3,5,7
/proc/30280/task/30290/stat : 30290 (java) S 30277 30280 26669 0 -1 4202560 1930 0 0 0 240 22 0 0 20 0 19 0 30302196 9856040960 79765 33554432000 1073741824 1073778376 140734569302240 140696142088360 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30280/tid=30291] ppid=30277 vsize=9625040 CPUtime=5.12 cores=1,3,5,7
/proc/30280/task/30291/stat : 30291 (java) S 30277 30280 26669 0 -1 4202560 1275 0 0 0 504 8 0 0 20 0 19 0 30302197 9856040960 79765 33554432000 1073741824 1073778376 140734569302240 140696129891304 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30280/tid=30292] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30292/stat : 30292 (java) S 30277 30280 26669 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 30302198 9856040960 79765 33554432000 1073741824 1073778376 140734569302240 140696128837368 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30280/tid=30293] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30293/stat : 30293 (java) S 30277 30280 26669 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 30302198 9856040960 79765 33554432000 1073741824 1073778376 140734569302240 140696127784456 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30280/tid=30294] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30294/stat : 30294 (java) S 30277 30280 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30302200 9856040960 79765 33554432000 1073741824 1073778376 140734569302240 140696126732944 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30280/tid=30295] ppid=30277 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/30280/task/30295/stat : 30295 (java) S 30277 30280 26669 0 -1 4202560 5437 0 0 0 48 2 0 0 20 0 19 0 30302200 9856040960 79765 33554432000 1073741824 1073778376 140734569302240 140696125680056 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30280/tid=30296] ppid=30277 vsize=9625040 CPUtime=0.71 cores=1,3,5,7
/proc/30280/task/30296/stat : 30296 (java) S 30277 30280 26669 0 -1 4202560 7967 0 0 0 69 2 0 0 20 0 19 0 30302200 9856040960 79765 33554432000 1073741824 1073778376 140734569302240 140696124627256 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30280/tid=30297] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30297/stat : 30297 (java) S 30277 30280 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30302200 9856040960 79765 33554432000 1073741824 1073778376 140734569302240 140696123574648 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30280/tid=30298] ppid=30277 vsize=9625040 CPUtime=0.65 cores=1,3,5,7
/proc/30280/task/30298/stat : 30298 (java) S 30277 30280 26669 0 -1 4202560 99 0 0 0 31 34 0 0 20 0 19 0 30302200 9856040960 79765 33554432000 1073741824 1073778376 140734569302240 140696122522056 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30280/tid=30299] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30299/stat : 30299 (java) S 30277 30280 26669 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30302232 9856040960 79765 33554432000 1073741824 1073778376 140734569302240 140696121468584 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1738.5
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.22 2.09 2.03 3/213 30431
/proc/meminfo: memFree=30713876/32872528 swapFree=163656/177964
[pid=30280] ppid=30277 vsize=9625040 CPUtime=1799.17 cores=1,3,5,7
/proc/30280/stat : 30280 (java) S 30277 30280 26669 0 -1 4202496 33437 0 1 0 179713 204 0 0 20 0 19 0 30302194 9856040960 90041 33554432000 1073741824 1073778376 140734569302240 140734569293376 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30280/statm: 2406260 90041 2296 9 0 2396937 0
[pid=30280/tid=30282] ppid=30277 vsize=9625040 CPUtime=1769.99 cores=1,3,5,7
/proc/30280/task/30282/stat : 30282 (java) R 30277 30280 26669 0 -1 4202560 2928 0 1 0 176966 33 0 0 20 0 19 0 30302195 9856040960 90041 33554432000 1073741824 1073778376 140734569302240 140696305777904 140696166770178 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=30280/tid=30283] ppid=30277 vsize=9625040 CPUtime=2.82 cores=1,3,5,7
/proc/30280/task/30283/stat : 30283 (java) S 30277 30280 26669 0 -1 4202560 1822 0 0 0 261 21 0 0 20 0 19 0 30302196 9856040960 90041 33554432000 1073741824 1073778376 140734569302240 140696149457960 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30280/tid=30284] ppid=30277 vsize=9625040 CPUtime=2.82 cores=1,3,5,7
/proc/30280/task/30284/stat : 30284 (java) S 30277 30280 26669 0 -1 4202560 1695 0 0 0 258 24 0 0 20 0 19 0 30302196 9856040960 90041 33554432000 1073741824 1073778376 140734569302240 140696148405160 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30280/tid=30285] ppid=30277 vsize=9625040 CPUtime=2.7 cores=1,3,5,7
/proc/30280/task/30285/stat : 30285 (java) S 30277 30280 26669 0 -1 4202560 1128 0 0 0 251 19 0 0 20 0 19 0 30302196 9856040960 90041 33554432000 1073741824 1073778376 140734569302240 140696147352360 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30280/tid=30286] ppid=30277 vsize=9625040 CPUtime=2.82 cores=1,3,5,7
/proc/30280/task/30286/stat : 30286 (java) S 30277 30280 26669 0 -1 4202560 2117 0 0 0 262 20 0 0 20 0 19 0 30302196 9856040960 90041 33554432000 1073741824 1073778376 140734569302240 140696146299560 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30280/tid=30287] ppid=30277 vsize=9625040 CPUtime=2.97 cores=1,3,5,7
/proc/30280/task/30287/stat : 30287 (java) S 30277 30280 26669 0 -1 4202560 1578 0 0 0 277 20 0 0 20 0 19 0 30302196 9856040960 90041 33554432000 1073741824 1073778376 140734569302240 140696145246760 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30280/tid=30288] ppid=30277 vsize=9625040 CPUtime=2.73 cores=1,3,5,7
/proc/30280/task/30288/stat : 30288 (java) S 30277 30280 26669 0 -1 4202560 2210 0 0 0 253 20 0 0 20 0 19 0 30302196 9856040960 90041 33554432000 1073741824 1073778376 140734569302240 140696144193960 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30280/tid=30289] ppid=30277 vsize=9625040 CPUtime=2.82 cores=1,3,5,7
/proc/30280/task/30289/stat : 30289 (java) S 30277 30280 26669 0 -1 4202560 1843 0 0 0 262 20 0 0 20 0 19 0 30302196 9856040960 90041 33554432000 1073741824 1073778376 140734569302240 140696143141160 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30280/tid=30290] ppid=30277 vsize=9625040 CPUtime=2.74 cores=1,3,5,7
/proc/30280/task/30290/stat : 30290 (java) S 30277 30280 26669 0 -1 4202560 2029 0 0 0 251 23 0 0 20 0 19 0 30302196 9856040960 90041 33554432000 1073741824 1073778376 140734569302240 140696142088360 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30280/tid=30291] ppid=30277 vsize=9625040 CPUtime=5.42 cores=1,3,5,7
/proc/30280/task/30291/stat : 30291 (java) S 30277 30280 26669 0 -1 4202560 1322 0 0 0 534 8 0 0 20 0 19 0 30302197 9856040960 90041 33554432000 1073741824 1073778376 140734569302240 140696129891304 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30280/tid=30292] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30292/stat : 30292 (java) S 30277 30280 26669 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 30302198 9856040960 90041 33554432000 1073741824 1073778376 140734569302240 140696128837368 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30280/tid=30293] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30293/stat : 30293 (java) S 30277 30280 26669 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 30302198 9856040960 90041 33554432000 1073741824 1073778376 140734569302240 140696127784456 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30280/tid=30294] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30294/stat : 30294 (java) S 30277 30280 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30302200 9856040960 90041 33554432000 1073741824 1073778376 140734569302240 140696126732944 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30280/tid=30295] ppid=30277 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/30280/task/30295/stat : 30295 (java) S 30277 30280 26669 0 -1 4202560 5437 0 0 0 48 2 0 0 20 0 19 0 30302200 9856040960 90041 33554432000 1073741824 1073778376 140734569302240 140696125680056 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30280/tid=30296] ppid=30277 vsize=9625040 CPUtime=0.71 cores=1,3,5,7
/proc/30280/task/30296/stat : 30296 (java) S 30277 30280 26669 0 -1 4202560 7967 0 0 0 69 2 0 0 20 0 19 0 30302200 9856040960 90041 33554432000 1073741824 1073778376 140734569302240 140696124627256 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30280/tid=30297] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30297/stat : 30297 (java) S 30277 30280 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30302200 9856040960 90041 33554432000 1073741824 1073778376 140734569302240 140696123574648 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30280/tid=30298] ppid=30277 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/30280/task/30298/stat : 30298 (java) S 30277 30280 26669 0 -1 4202560 103 0 0 0 32 35 0 0 20 0 19 0 30302200 9856040960 90041 33554432000 1073741824 1073778376 140734569302240 140696122522056 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30280/tid=30299] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30299/stat : 30299 (java) S 30277 30280 26669 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30302232 9856040960 90041 33554432000 1073741824 1073778376 140734569302240 140696121468584 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1799.17
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1783.21 s]
/proc/loadavg: 2.22 2.09 2.03 3/213 30431
/proc/meminfo: memFree=30713752/32872528 swapFree=163656/177964
[pid=30280] ppid=30277 vsize=9625040 CPUtime=1800.08 cores=1,3,5,7
/proc/30280/stat : 30280 (java) S 30277 30280 26669 0 -1 4202496 33437 0 1 0 179804 204 0 0 20 0 19 0 30302194 9856040960 90041 33554432000 1073741824 1073778376 140734569302240 140734569293376 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30280/statm: 2406260 90041 2296 9 0 2396937 0
[pid=30280/tid=30282] ppid=30277 vsize=9625040 CPUtime=1770.9 cores=1,3,5,7
/proc/30280/task/30282/stat : 30282 (java) R 30277 30280 26669 0 -1 4202560 2928 0 1 0 177057 33 0 0 20 0 19 0 30302195 9856040960 90041 33554432000 1073741824 1073778376 140734569302240 140696305777904 140696166694886 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=30280/tid=30283] ppid=30277 vsize=9625040 CPUtime=2.82 cores=1,3,5,7
/proc/30280/task/30283/stat : 30283 (java) S 30277 30280 26669 0 -1 4202560 1822 0 0 0 261 21 0 0 20 0 19 0 30302196 9856040960 90041 33554432000 1073741824 1073778376 140734569302240 140696149457960 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30280/tid=30284] ppid=30277 vsize=9625040 CPUtime=2.82 cores=1,3,5,7
/proc/30280/task/30284/stat : 30284 (java) S 30277 30280 26669 0 -1 4202560 1695 0 0 0 258 24 0 0 20 0 19 0 30302196 9856040960 90041 33554432000 1073741824 1073778376 140734569302240 140696148405160 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30280/tid=30285] ppid=30277 vsize=9625040 CPUtime=2.7 cores=1,3,5,7
/proc/30280/task/30285/stat : 30285 (java) S 30277 30280 26669 0 -1 4202560 1128 0 0 0 251 19 0 0 20 0 19 0 30302196 9856040960 90041 33554432000 1073741824 1073778376 140734569302240 140696147352360 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30280/tid=30286] ppid=30277 vsize=9625040 CPUtime=2.82 cores=1,3,5,7
/proc/30280/task/30286/stat : 30286 (java) S 30277 30280 26669 0 -1 4202560 2117 0 0 0 262 20 0 0 20 0 19 0 30302196 9856040960 90041 33554432000 1073741824 1073778376 140734569302240 140696146299560 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30280/tid=30287] ppid=30277 vsize=9625040 CPUtime=2.97 cores=1,3,5,7
/proc/30280/task/30287/stat : 30287 (java) S 30277 30280 26669 0 -1 4202560 1578 0 0 0 277 20 0 0 20 0 19 0 30302196 9856040960 90041 33554432000 1073741824 1073778376 140734569302240 140696145246760 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30280/tid=30288] ppid=30277 vsize=9625040 CPUtime=2.73 cores=1,3,5,7
/proc/30280/task/30288/stat : 30288 (java) S 30277 30280 26669 0 -1 4202560 2210 0 0 0 253 20 0 0 20 0 19 0 30302196 9856040960 90041 33554432000 1073741824 1073778376 140734569302240 140696144193960 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30280/tid=30289] ppid=30277 vsize=9625040 CPUtime=2.82 cores=1,3,5,7
/proc/30280/task/30289/stat : 30289 (java) S 30277 30280 26669 0 -1 4202560 1843 0 0 0 262 20 0 0 20 0 19 0 30302196 9856040960 90041 33554432000 1073741824 1073778376 140734569302240 140696143141160 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30280/tid=30290] ppid=30277 vsize=9625040 CPUtime=2.74 cores=1,3,5,7
/proc/30280/task/30290/stat : 30290 (java) S 30277 30280 26669 0 -1 4202560 2029 0 0 0 251 23 0 0 20 0 19 0 30302196 9856040960 90041 33554432000 1073741824 1073778376 140734569302240 140696142088360 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30280/tid=30291] ppid=30277 vsize=9625040 CPUtime=5.42 cores=1,3,5,7
/proc/30280/task/30291/stat : 30291 (java) S 30277 30280 26669 0 -1 4202560 1322 0 0 0 534 8 0 0 20 0 19 0 30302197 9856040960 90041 33554432000 1073741824 1073778376 140734569302240 140696129891304 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30280/tid=30292] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30292/stat : 30292 (java) S 30277 30280 26669 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 30302198 9856040960 90041 33554432000 1073741824 1073778376 140734569302240 140696128837368 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30280/tid=30293] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30293/stat : 30293 (java) S 30277 30280 26669 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 30302198 9856040960 90041 33554432000 1073741824 1073778376 140734569302240 140696127784456 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30280/tid=30294] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30294/stat : 30294 (java) S 30277 30280 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30302200 9856040960 90041 33554432000 1073741824 1073778376 140734569302240 140696126732944 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30280/tid=30295] ppid=30277 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/30280/task/30295/stat : 30295 (java) S 30277 30280 26669 0 -1 4202560 5437 0 0 0 48 2 0 0 20 0 19 0 30302200 9856040960 90041 33554432000 1073741824 1073778376 140734569302240 140696125680056 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30280/tid=30296] ppid=30277 vsize=9625040 CPUtime=0.71 cores=1,3,5,7
/proc/30280/task/30296/stat : 30296 (java) S 30277 30280 26669 0 -1 4202560 7967 0 0 0 69 2 0 0 20 0 19 0 30302200 9856040960 90041 33554432000 1073741824 1073778376 140734569302240 140696124627256 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30280/tid=30297] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30297/stat : 30297 (java) S 30277 30280 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30302200 9856040960 90041 33554432000 1073741824 1073778376 140734569302240 140696123574648 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30280/tid=30298] ppid=30277 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/30280/task/30298/stat : 30298 (java) S 30277 30280 26669 0 -1 4202560 103 0 0 0 32 35 0 0 20 0 19 0 30302200 9856040960 90041 33554432000 1073741824 1073778376 140734569302240 140696122522056 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30280/tid=30299] ppid=30277 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30280/task/30299/stat : 30299 (java) S 30277 30280 26669 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30302232 9856040960 90041 33554432000 1073741824 1073778376 140734569302240 140696121468584 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 7 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 30280 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 1783.25
CPU time (s): 1800.92
CPU user time (s): 1798.31
CPU system time (s): 2.6126
CPU usage (%): 100.991
Max. virtual memory (cumulated for all children) (KiB): 9626048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.31
system time used= 2.6126
maximum resident set size= 846404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33469
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50679
involuntary context switches= 54483

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0915 second user time and 14.3238 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-18 22:42:03
IDJOB=4106975
IDBENCH=48347
IDSOLVER=2546
FILE ID=node105/4106975-1466282523
RUNJOBID= node105-1466265085-26686
PBS_JOBID= 19918230
Free space on /tmp= 71748 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_200_10_5_40.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106975-1466282523/watcher-4106975-1466282523 -o /tmp/evaluation-result-4106975-1466282523/solver-4106975-1466282523 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466265085-26686 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4106975-1466282523.opb

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

MD5SUM BENCH= c15d396f227b886c20d72f2f5b513a08
RANDOM SEED=868250386

node105.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.561
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.12
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.561
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.561
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.561
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.561
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.561
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.561
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.561
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.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30608368 kB
Buffers:           98292 kB
Cached:           183536 kB
SwapCached:         1684 kB
Active:          1128960 kB
Inactive:         194104 kB
Active(anon):    1040612 kB
Inactive(anon):     2976 kB
Active(file):      88348 kB
Inactive(file):   191128 kB
Unevictable:      177964 kB
Mlocked:          163656 kB
SwapTotal:      67108856 kB
SwapFree:       67097160 kB
Dirty:               832 kB
Writeback:             0 kB
AnonPages:       1243344 kB
Mapped:            15436 kB
Shmem:                 0 kB
Slab:             605380 kB
SReclaimable:      48820 kB
SUnreclaim:       556560 kB
KernelStack:        1568 kB
PageTables:         7076 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1426968 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    999424 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= 71748 MiB
End job on node105 at 2016-06-18 23:11:46