Trace number 4084461

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.62 1793.04

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb
MD5SUMd484bc8efed557f17788965b19feafe5
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
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
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables4602
Total number of constraints30179
Number of constraints which are clauses29160
Number of constraints which are cardinality constraints (but not clauses)941
Number of constraints which are nor clauses,nor cardinality constraints78
Minimum length of a constraint3
Maximum length of a constraint29
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 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 103
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization by upper bound
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Glucose 2.1 dynamic restart strategy
0.11/0.10	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.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.11/0.10	c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-4084461-1465221604.opb
0.11/0.10	c reading problem ... 
0.11/0.11	c  no objective function found
0.95/0.50	c ... done. Wall clock time 0.392s.
0.95/0.50	c declared #vars     4602
0.95/0.50	c #constraints  30353
0.95/0.50	c constraints type 
0.95/0.50	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 29334
0.95/0.50	c org.sat4j.minisat.constraints.card.MinWatchCard => 941
0.95/0.50	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 78
0.95/0.50	c 30353 constraints processed.
1.64/0.88	c cleaning 2497 clauses out of 5002 with flag 18604/5002
2.02/1.19	c cleaning 4245 clauses out of 8505 with flag 45610/11002
2.44/1.52	c cleaning 5572 clauses out of 11258 with flag 84204/18000
2.75/1.87	c cleaning 6760 clauses out of 13686 with flag 126825/26000
3.27/2.37	c cleaning 7962 clauses out of 15926 with flag 191383/35000
4.10/3.11	c cleaning 8980 clauses out of 17964 with flag 272902/45000
4.70/3.75	c cleaning 9976 clauses out of 19984 with flag 344221/56000
5.90/4.91	c cleaning 10984 clauses out of 22008 with flag 441504/68000
7.20/6.27	c cleaning 11995 clauses out of 24025 with flag 558776/81001
8.60/7.67	c cleaning 12998 clauses out of 26031 with flag 682105/95002
10.10/9.19	c cleaning 13990 clauses out of 28031 with flag 784505/110000
12.00/11.08	c cleaning 14995 clauses out of 30041 with flag 921850/126000
13.90/12.97	c cleaning 16019 clauses out of 32047 with flag 1034805/143001
15.50/14.50	c cleaning 17000 clauses out of 34028 with flag 1134322/161001
17.70/16.71	c cleaning 18000 clauses out of 36027 with flag 1250948/180000
20.10/19.14	c cleaning 19006 clauses out of 38028 with flag 1367551/200001
22.80/21.85	c cleaning 20001 clauses out of 40022 with flag 1489398/221001
25.91/24.98	c cleaning 21000 clauses out of 42020 with flag 1624934/243000
27.41/26.41	c cleaning 21962 clauses out of 44020 with flag 1760665/266000
30.21/29.29	c cleaning 22977 clauses out of 46058 with flag 1884825/290000
33.41/32.41	c cleaning 23989 clauses out of 48083 with flag 2026683/315002
36.81/35.82	c cleaning 24986 clauses out of 50092 with flag 2187576/341000
40.64/39.63	c cleaning 25996 clauses out of 52109 with flag 2357459/368003
44.94/43.94	c cleaning 26994 clauses out of 54110 with flag 2544024/396000
49.44/48.49	c cleaning 28002 clauses out of 56117 with flag 2753855/425001
52.14/51.19	c cleaning 29006 clauses out of 58114 with flag 2928034/455000
54.34/53.37	c cleaning 30047 clauses out of 60108 with flag 3118474/486000
59.44/58.47	c cleaning 31024 clauses out of 62061 with flag 3274922/518000
62.85/61.84	c cleaning 32005 clauses out of 64038 with flag 3442422/551001
64.85/63.81	c cleaning 33012 clauses out of 66032 with flag 3607156/585000
67.74/66.74	c cleaning 33996 clauses out of 68021 with flag 3790251/620001
75.31/74.28	c cleaning 35004 clauses out of 70029 with flag 3959398/656005
82.41/81.37	c cleaning 36005 clauses out of 72022 with flag 4137558/693002
90.32/89.28	c cleaning 36995 clauses out of 74015 with flag 4394510/731000
98.02/96.98	c cleaning 38000 clauses out of 76020 with flag 4638630/770000
106.61/105.52	c cleaning 39001 clauses out of 78020 with flag 4883352/810000
116.11/115.09	c cleaning 39999 clauses out of 80023 with flag 5119420/851004
127.72/126.61	c cleaning 40998 clauses out of 82022 with flag 5366727/893002
139.42/138.36	c cleaning 41999 clauses out of 84023 with flag 5600954/936001
145.38/144.16	c cleaning 42993 clauses out of 86024 with flag 5864917/980001
152.58/151.37	c cleaning 43991 clauses out of 88032 with flag 6106949/1025002
160.88/159.63	c cleaning 44992 clauses out of 90040 with flag 6361652/1071001
164.38/163.10	c cleaning 45988 clauses out of 92047 with flag 6625641/1118000
172.37/171.19	c cleaning 47021 clauses out of 94060 with flag 6913213/1166001
182.58/181.35	c cleaning 48004 clauses out of 96039 with flag 7246190/1215001
192.38/191.17	c cleaning 48997 clauses out of 98034 with flag 7609880/1265000
202.83/201.42	c cleaning 50002 clauses out of 100038 with flag 7972562/1316001
215.82/214.42	c cleaning 51003 clauses out of 102037 with flag 8355405/1368002
228.92/227.52	c cleaning 52003 clauses out of 104032 with flag 8802611/1421000
243.41/242.08	c cleaning 52998 clauses out of 106030 with flag 9219848/1475001
251.50/250.11	c cleaning 54003 clauses out of 108032 with flag 9559479/1530001
255.20/253.85	c cleaning 54960 clauses out of 110028 with flag 9856750/1586000
259.40/257.86	c cleaning 55996 clauses out of 112069 with flag 10200143/1643001
272.00/270.46	c cleaning 57029 clauses out of 114074 with flag 10527678/1701002
286.20/284.62	c cleaning 58012 clauses out of 116043 with flag 10823000/1760000
301.30/299.74	c cleaning 59004 clauses out of 118032 with flag 11106507/1820001
315.60/314.03	c cleaning 60006 clauses out of 120028 with flag 11400663/1881001
330.59/328.84	c cleaning 61001 clauses out of 122021 with flag 11715738/1943000
337.39/335.63	c cleaning 61991 clauses out of 124020 with flag 12063058/2006000
350.59/348.89	c cleaning 62992 clauses out of 126029 with flag 12366452/2070000
356.68/354.93	c cleaning 63988 clauses out of 128040 with flag 12717726/2135003
369.92/367.93	c cleaning 64985 clauses out of 130050 with flag 13256145/2201001
375.22/373.28	c cleaning 65970 clauses out of 132064 with flag 13668374/2268000
390.30/388.01	c cleaning 67029 clauses out of 134094 with flag 14071125/2336000
408.00/405.75	c cleaning 68016 clauses out of 136065 with flag 14480840/2405000
423.90/421.62	c cleaning 69007 clauses out of 138049 with flag 14935781/2475000
443.28/440.85	c cleaning 70004 clauses out of 140042 with flag 15450680/2546000
462.58/460.12	c cleaning 70992 clauses out of 142039 with flag 15849678/2618001
472.78/470.38	c cleaning 71990 clauses out of 144046 with flag 16231009/2691000
484.41/481.87	c cleaning 73015 clauses out of 146056 with flag 16677975/2765000
499.62/497.07	c cleaning 74000 clauses out of 148042 with flag 17183115/2840001
522.09/519.49	c cleaning 75007 clauses out of 150041 with flag 17760666/2916000
543.89/541.24	c cleaning 76004 clauses out of 152036 with flag 18341350/2993002
567.00/564.34	c cleaning 77005 clauses out of 154032 with flag 18965890/3071002
589.98/587.24	c cleaning 77987 clauses out of 156026 with flag 19631445/3150001
615.88/613.10	c cleaning 78998 clauses out of 158038 with flag 20291341/3230000
644.39/641.54	c cleaning 80000 clauses out of 160040 with flag 20992186/3311000
671.29/668.43	c cleaning 80998 clauses out of 162040 with flag 21706517/3393000
678.60/675.69	c cleaning 81984 clauses out of 164042 with flag 22219737/3476000
685.20/682.26	c cleaning 83017 clauses out of 166058 with flag 22702455/3560000
695.71/692.62	c cleaning 83964 clauses out of 168041 with flag 23212124/3645000
704.71/701.67	c cleaning 85031 clauses out of 170078 with flag 23699517/3731001
724.71/721.55	c cleaning 86010 clauses out of 172047 with flag 24108192/3818001
745.82/742.62	c cleaning 87006 clauses out of 174036 with flag 24561013/3906000
754.63/751.33	c cleaning 88003 clauses out of 176030 with flag 25122020/3995000
764.71/761.37	c cleaning 88958 clauses out of 178028 with flag 25722731/4085001
787.60/784.25	c cleaning 90021 clauses out of 180069 with flag 26206075/4176000
799.81/796.32	c cleaning 91007 clauses out of 182051 with flag 26685698/4268003
813.62/810.06	c cleaning 91980 clauses out of 184041 with flag 27284683/4361000
847.23/843.70	c cleaning 92993 clauses out of 186061 with flag 27847707/4455000
881.21/877.53	c cleaning 93998 clauses out of 188069 with flag 28389578/4550001
915.51/911.88	c cleaning 94994 clauses out of 190070 with flag 28979303/4646000
932.10/928.39	c cleaning 96001 clauses out of 192078 with flag 29626205/4743002
941.77/937.95	c cleaning 97032 clauses out of 194075 with flag 30153259/4841000
955.46/951.55	c cleaning 97968 clauses out of 196043 with flag 30786243/4940000
971.25/967.33	c cleaning 99025 clauses out of 198076 with flag 31336024/5040001
1009.79/1005.77	c cleaning 100012 clauses out of 200052 with flag 31882654/5141002
1050.14/1045.97	c cleaning 101004 clauses out of 202038 with flag 32489752/5243000
1088.65/1084.46	c cleaning 102001 clauses out of 204037 with flag 33042507/5346003
1130.54/1126.22	c cleaning 103002 clauses out of 206034 with flag 33683631/5450001
1161.85/1157.49	c cleaning 104009 clauses out of 208031 with flag 34321572/5555000
1193.32/1188.85	c cleaning 104998 clauses out of 210024 with flag 34901045/5661002
1207.75/1203.12	c cleaning 106002 clauses out of 212024 with flag 35536391/5768000
1223.05/1218.45	c cleaning 106969 clauses out of 214023 with flag 36159741/5876001
1240.55/1235.81	c cleaning 108018 clauses out of 216053 with flag 36803003/5985000
1267.13/1262.36	c cleaning 109008 clauses out of 218035 with flag 37447761/6095000
1283.95/1279.03	c cleaning 109967 clauses out of 220027 with flag 38123439/6206000
1294.73/1289.74	c cleaning 111014 clauses out of 222061 with flag 38821205/6318001
1309.11/1304.01	c cleaning 112006 clauses out of 224046 with flag 39497369/6431000
1320.90/1315.73	c cleaning 112955 clauses out of 226040 with flag 40185583/6545000
1352.18/1346.99	c cleaning 114031 clauses out of 228085 with flag 40909595/6660000
1386.18/1380.83	c cleaning 115010 clauses out of 230054 with flag 41584584/6776000
1419.58/1414.15	c cleaning 116016 clauses out of 232045 with flag 42281304/6893001
1445.19/1439.60	c cleaning 116997 clauses out of 234029 with flag 42990030/7011001
1461.42/1455.67	c cleaning 118007 clauses out of 236033 with flag 43862175/7130002
1499.60/1493.79	c cleaning 118994 clauses out of 238024 with flag 44535422/7250000
1523.50/1517.54	c cleaning 119974 clauses out of 240030 with flag 45220182/7371000
1541.40/1535.38	c cleaning 121009 clauses out of 242057 with flag 45952412/7493001
1589.95/1583.71	c cleaning 122005 clauses out of 244048 with flag 46851632/7616001
1606.44/1600.16	c cleaning 123012 clauses out of 246043 with flag 47553423/7740001
1628.02/1621.63	c cleaning 123998 clauses out of 248030 with flag 48352878/7865000
1647.03/1640.51	c cleaning 125000 clauses out of 250032 with flag 49038327/7991000
1676.98/1670.33	c cleaning 125975 clauses out of 252032 with flag 49721067/8118000
1692.38/1685.70	c cleaning 127008 clauses out of 254057 with flag 50423534/8246000
1715.46/1708.62	c cleaning 128014 clauses out of 256049 with flag 51081951/8375000
1799.26/1792.26	c cleaning 129003 clauses out of 258035 with flag 51798659/8505000
1800.07/1793.01	c starts		: 14187
1800.07/1793.01	c conflicts		: 8513778
1800.07/1793.01	c decisions		: 11890598
1800.07/1793.01	c propagations		: 311876335
1800.07/1793.01	c inspects		: 37882301328
1800.07/1793.01	c shortcuts		: 0
1800.07/1793.01	c learnt literals	: 0
1800.07/1793.01	c learnt binary clauses	: 0
1800.07/1793.01	c learnt ternary clauses	: 0
1800.07/1793.01	c learnt constraints	: 8513778
1800.07/1793.01	c ignored constraints	: 0
1800.07/1793.01	c root simplifications	: 0
1800.07/1793.01	c removed literals (reason simplification)	: 0
1800.07/1793.01	c timeout
1800.07/1793.01	c reason swapping (by a shorter reason)	: 0
1800.07/1793.01	c Calls to reduceDB	: 126
1800.07/1793.01	c Number of update (reduction) of LBD	: 3077414
1800.07/1793.01	c Imported unit clauses	: 0
1800.07/1793.01	c number of reductions to clauses (during analyze)	: 0
1800.07/1793.01	c number of learned constraints concerned by reduction	: 0
1800.07/1793.01	c number of learning phase by resolution	: 0
1800.07/1793.01	c number of learning phase by cutting planes	: 0
1800.07/1793.01	c speed (assignments/second)	: 173988.9105035573
1800.07/1793.01	c non guided choices	363727
1800.07/1793.04	c learnt constraints type 
1800.07/1793.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 137810
1800.07/1793.04	s UNKNOWN
1800.07/1793.04	c Total wall clock time (in seconds): 1792.933

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

pid=1897
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.47 2.31 2.21 3/195 1900
/proc/meminfo: memFree=30322084/32872528 swapFree=16252/1391864
[pid=1900] ppid=1897 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/1900/stat : 1900 (java) S 1897 1900 737 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 104093577 98570240 978 33554432000 1073741824 1073778376 140733848847728 140733848838864 272889839677 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1900/statm: 24065 978 744 9 0 16771 0
[pid=1900/tid=1901] ppid=1897 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/1900/task/1901/stat : 1901 (java) R 1897 1900 737 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 104093577 98570240 978 33554432000 1073741824 1073778376 140733848847728 139761526201896 272886482304 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0

[startup+0.10007 s]
/proc/loadavg: 2.47 2.31 2.21 3/195 1900
/proc/meminfo: memFree=30322084/32872528 swapFree=16252/1391864
[pid=1900] ppid=1897 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/1900/stat : 1900 (java) S 1897 1900 737 0 -1 4202496 4486 0 1 0 10 1 0 0 20 0 18 0 104093577 9787879424 5612 33554432000 1073741824 1073778376 140733848847728 140733848838864 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1900/statm: 2389619 5617 2150 9 0 2380296 0
[pid=1900/tid=1901] ppid=1897 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/1900/task/1901/stat : 1901 (java) R 1897 1900 737 0 -1 4202560 2434 0 1 0 7 0 0 0 20 0 18 0 104093577 9787879424 5617 33554432000 1073741824 1073778376 140733848847728 139761526205344 272889864629 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200317 s]
/proc/loadavg: 2.47 2.31 2.21 3/195 1900
/proc/meminfo: memFree=30322084/32872528 swapFree=16252/1391864
[pid=1900] ppid=1897 vsize=9558476 CPUtime=0.29 cores=1,3,5,7
/proc/1900/stat : 1900 (java) S 1897 1900 737 0 -1 4202496 5048 0 1 0 28 1 0 0 20 0 18 0 104093577 9787879424 7582 33554432000 1073741824 1073778376 140733848847728 140733848838864 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1900/statm: 2389619 7582 2218 9 0 2380296 0
[pid=1900/tid=1901] ppid=1897 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/1900/task/1901/stat : 1901 (java) R 1897 1900 737 0 -1 4202560 2456 0 1 0 16 1 0 0 20 0 18 0 104093577 9787879424 7582 33554432000 1073741824 1073778376 140733848847728 139761526205344 139761397939796 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9558476

[startup+0.300298 s]
/proc/loadavg: 2.47 2.31 2.21 3/195 1900
/proc/meminfo: memFree=30322084/32872528 swapFree=16252/1391864
[pid=1900] ppid=1897 vsize=9558476 CPUtime=0.54 cores=1,3,5,7
/proc/1900/stat : 1900 (java) S 1897 1900 737 0 -1 4202496 6766 0 1 0 52 2 0 0 20 0 18 0 104093577 9787879424 14077 33554432000 1073741824 1073778376 140733848847728 140733848838864 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1900/statm: 2389619 14077 2234 9 0 2380296 0
[pid=1900/tid=1901] ppid=1897 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/1900/task/1901/stat : 1901 (java) R 1897 1900 737 0 -1 4202560 2467 0 1 0 25 2 0 0 20 0 18 0 104093577 9787879424 14077 33554432000 1073741824 1073778376 140733848847728 139761526205344 272889865485 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9558476

[startup+0.700324 s]
/proc/loadavg: 2.47 2.31 2.21 3/195 1900
/proc/meminfo: memFree=30322084/32872528 swapFree=16252/1391864
[pid=1900] ppid=1897 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/1900/stat : 1900 (java) S 1897 1900 737 0 -1 4202496 8456 0 1 0 143 4 0 0 20 0 19 0 104093577 9856040960 34391 33554432000 1073741824 1073778376 140733848847728 140733848838864 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1900/statm: 2406260 34391 2264 9 0 2396937 0
[pid=1900/tid=1901] ppid=1897 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/1900/task/1901/stat : 1901 (java) R 1897 1900 737 0 -1 4202560 2518 0 1 0 64 3 0 0 20 0 19 0 104093577 9856040960 34391 33554432000 1073741824 1073778376 140733848847728 139761526198424 139761398592728 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 9625040

[startup+1.50076 s]
/proc/loadavg: 2.47 2.31 2.21 3/214 1919
/proc/meminfo: memFree=30189424/32872528 swapFree=16252/1391864
[pid=1900] ppid=1897 vsize=9625040 CPUtime=2.44 cores=1,3,5,7
/proc/1900/stat : 1900 (java) S 1897 1900 737 0 -1 4202496 9511 0 1 0 239 5 0 0 20 0 19 0 104093577 9856040960 36282 33554432000 1073741824 1073778376 140733848847728 140733848838864 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1900/statm: 2406260 36282 2271 9 0 2396937 0
[pid=1900/tid=1901] ppid=1897 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/1900/task/1901/stat : 1901 (java) R 1897 1900 737 0 -1 4202560 2521 0 1 0 144 3 0 0 20 0 19 0 104093577 9856040960 36282 33554432000 1073741824 1073778376 140733848847728 139761526197984 139761398636685 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=1900/tid=1903] ppid=1897 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1900/task/1903/stat : 1903 (java) S 1897 1900 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104093578 9856040960 36282 33554432000 1073741824 1073778376 140733848847728 139761370262056 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1900/tid=1904] ppid=1897 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1900/task/1904/stat : 1904 (java) S 1897 1900 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104093578 9856040960 36282 33554432000 1073741824 1073778376 140733848847728 139761369209256 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1900/tid=1905] ppid=1897 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1900/task/1905/stat : 1905 (java) S 1897 1900 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104093578 9856040960 36282 33554432000 1073741824 1073778376 140733848847728 139761368156456 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1900/tid=1906] ppid=1897 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1900/task/1906/stat : 1906 (java) S 1897 1900 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104093578 9856040960 36282 33554432000 1073741824 1073778376 140733848847728 139761367103656 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1900/tid=1907] ppid=1897 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1900/task/1907/stat : 1907 (java) S 1897 1900 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104093578 9856040960 36282 33554432000 1073741824 1073778376 140733848847728 139761366051880 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1900/tid=1908] ppid=1897 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1900/task/1908/stat : 1908 (java) S 1897 1900 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104093578 9856040960 36282 33554432000 1073741824 1073778376 140733848847728 139761364999080 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1900/tid=1909] ppid=1897 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1900/task/1909/stat : 1909 (java) S 1897 1900 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104093578 9856040960 36282 33554432000 1073741824 1073778376 140733848847728 139761363946280 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1900/tid=1910] ppid=1897 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1900/task/1910/stat : 1910 (java) S 1897 1900 737 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104093578 9856040960 36282 33554432000 1073741824 1073778376 140733848847728 139761362893480 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1900/tid=1911] ppid=1897 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1900/task/1911/stat : 1911 (java) S 1897 1900 737 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 104093579 9856040960 36282 33554432000 1073741824 1073778376 140733848847728 139761350482408 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1900/tid=1912] ppid=1897 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1900/task/1912/stat : 1912 (java) S 1897 1900 737 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104093579 9856040960 36282 33554432000 1073741824 1073778376 140733848847728 139761349428472 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1900/tid=1913] ppid=1897 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1900/task/1913/stat : 1913 (java) S 1897 1900 737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104093579 9856040960 36282 33554432000 1073741824 1073778376 140733848847728 139761348375560 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1900/tid=1914] ppid=1897 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1900/task/1914/stat : 1914 (java) S 1897 1900 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104093582 9856040960 36282 33554432000 1073741824 1073778376 140733848847728 139761347324048 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1900/tid=1915] ppid=1897 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/1900/task/1915/stat : 1915 (java) S 1897 1900 737 0 -1 4202560 3091 0 0 0 49 0 0 0 20 0 19 0 104093582 9856040960 36282 33554432000 1073741824 1073778376 140733848847728 139761346272184 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1900/tid=1916] ppid=1897 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/1900/task/1916/stat : 1916 (java) S 1897 1900 737 0 -1 4202560 2627 0 0 0 43 0 0 0 20 0 19 0 104093582 9856040960 36282 33554432000 1073741824 1073778376 140733848847728 139761345219384 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1900/tid=1917] ppid=1897 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1900/task/1917/stat : 1917 (java) S 1897 1900 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104093582 9856040960 36282 33554432000 1073741824 1073778376 140733848847728 139761344166776 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1900/tid=1918] ppid=1897 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1900/task/1918/stat : 1918 (java) S 1897 1900 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104093582 9856040960 36282 33554432000 1073741824 1073778376 140733848847728 139761343114184 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1900/tid=1919] ppid=1897 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1900/task/1919/stat : 1919 (java) S 1897 1900 737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104093627 9856040960 36282 33554432000 1073741824 1073778376 140733848847728 139761342010536 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.44
Current children cumulated vsize (KiB) 9625040

[startup+3.10086 s]
/proc/loadavg: 2.47 2.31 2.21 4/214 1919
/proc/meminfo: memFree=30179140/32872528 swapFree=16252/1391864
[pid=1900] ppid=1897 vsize=9625040 CPUtime=4.1 cores=1,3,5,7
/proc/1900/stat : 1900 (java) S 1897 1900 737 0 -1 4202496 9561 0 1 0 404 6 0 0 20 0 19 0 104093577 9856040960 42450 33554432000 1073741824 1073778376 140733848847728 140733848838864 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1900/statm: 2406260 42450 2284 9 0 2396937 0
[pid=1900/tid=1901] ppid=1897 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/1900/task/1901/stat : 1901 (java) R 1897 1900 737 0 -1 4202560 2532 0 1 0 302 4 0 0 20 0 19 0 104093577 9856040960 42450 33554432000 1073741824 1073778376 140733848847728 139761526205736 139761398556116 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=1900/tid=1903] ppid=1897 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1900/task/1903/stat : 1903 (java) S 1897 1900 737 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 104093578 9856040960 42450 33554432000 1073741824 1073778376 140733848847728 139761370262056 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1900/tid=1904] ppid=1897 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1900/task/1904/stat : 1904 (java) S 1897 1900 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104093578 9856040960 42450 33554432000 1073741824 1073778376 140733848847728 139761369209256 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1900/tid=1905] ppid=1897 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1900/task/1905/stat : 1905 (java) S 1897 1900 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104093578 9856040960 42450 33554432000 1073741824 1073778376 140733848847728 139761368156456 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1900/tid=1906] ppid=1897 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1900/task/1906/stat : 1906 (java) S 1897 1900 737 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104093578 9856040960 42450 33554432000 1073741824 1073778376 140733848847728 139761367103656 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1900/tid=1907] ppid=1897 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1900/task/1907/stat : 1907 (java) S 1897 1900 737 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 104093578 9856040960 42450 33554432000 1073741824 1073778376 140733848847728 139761366051880 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1900/tid=1908] ppid=1897 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1900/task/1908/stat : 1908 (java) S 1897 1900 737 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104093578 9856040960 42450 33554432000 1073741824 1073778376 140733848847728 139761364999080 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1900/tid=1909] ppid=1897 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1900/task/1909/stat : 1909 (java) S 1897 1900 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104093578 9856040960 42450 33554432000 1073741824 1073778376 140733848847728 139761363946280 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1900/tid=1910] ppid=1897 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1900/task/1910/stat : 1910 (java) S 1897 1900 737 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104093578 9856040960 42450 33554432000 1073741824 1073778376 140733848847728 139761362893480 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1900/tid=1911] ppid=1897 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1900/task/1911/stat : 1911 (java) S 1897 1900 737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 104093579 9856040960 42450 33554432000 1073741824 1073778376 140733848847728 139761350482408 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1900/tid=1912] ppid=1897 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1900/task/1912/stat : 1912 (java) S 1897 1900 737 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104093579 9856040960 42450 33554432000 1073741824 1073778376 140733848847728 139761349428472 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1900/tid=1913] ppid=1897 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1900/task/1913/stat : 1913 (java) S 1897 1900 737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104093579 9856040960 42450 33554432000 1073741824 1073778376 140733848847728 139761348375560 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1900/tid=1914] ppid=1897 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1900/task/1914/stat : 1914 (java) S 1897 1900 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104093582 9856040960 42450 33554432000 1073741824 1073778376 140733848847728 139761347324048 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1900/tid=1915] ppid=1897 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/1900/task/1915/stat : 1915 (java) S 1897 1900 737 0 -1 4202560 3095 0 0 0 51 0 0 0 20 0 19 0 104093582 9856040960 42450 33554432000 1073741824 1073778376 140733848847728 139761346272184 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1900/tid=1916] ppid=1897 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/1900/task/1916/stat : 1916 (java) S 1897 1900 737 0 -1 4202560 2627 0 0 0 44 0 0 0 20 0 19 0 104093582 9856040960 42450 33554432000 1073741824 1073778376 140733848847728 139761345219384 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1900/tid=1917] ppid=1897 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1900/task/1917/stat : 1917 (java) S 1897 1900 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104093582 9856040960 42450 33554432000 1073741824 1073778376 140733848847728 139761344166776 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1900/tid=1918] ppid=1897 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1900/task/1918/stat : 1918 (java) S 1897 1900 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104093582 9856040960 42450 33554432000 1073741824 1073778376 140733848847728 139761343114184 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1900/tid=1919] ppid=1897 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1900/task/1919/stat : 1919 (java) S 1897 1900 737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104093627 9856040960 42450 33554432000 1073741824 1073778376 140733848847728 139761342010536 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.1
Current children cumulated vsize (KiB) 9625040

[startup+6.30076 s]
/proc/loadavg: 2.43 2.30 2.21 3/214 1919
/proc/meminfo: memFree=30161296/32872528 swapFree=16252/1391864
[pid=1900] ppid=1897 vsize=9625040 CPUtime=7.3 cores=1,3,5,7
/proc/1900/stat : 1900 (java) S 1897 1900 737 0 -1 4202496 9562 0 1 0 724 6 0 0 20 0 19 0 104093577 9856040960 42130 33554432000 1073741824 1073778376 140733848847728 140733848838864 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1900/statm: 2406260 42130 2284 9 0 2396937 0
[pid=1900/tid=1901] ppid=1897 vsize=9625040 CPUtime=6.26 cores=1,3,5,7
/proc/1900/task/1901/stat : 1901 (java) R 1897 1900 737 0 -1 4202560 2533 0 1 0 622 4 0 0 20 0 19 0 104093577 9856040960 42130 33554432000 1073741824 1073778376 140733848847728 139761526197952 139761398636369 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=1900/tid=1903] ppid=1897 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1900/task/1903/stat : 1903 (java) S 1897 1900 737 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 104093578 9856040960 42130 33554432000 1073741824 1073778376 140733848847728 139761370262056 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1900/tid=1904] ppid=1897 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1900/task/1904/stat : 1904 (java) S 1897 1900 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104093578 9856040960 42130 33554432000 1073741824 1073778376 140733848847728 139761369209256 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1900/tid=1905] ppid=1897 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1900/task/1905/stat : 1905 (java) S 1897 1900 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104093578 9856040960 42130 33554432000 1073741824 1073778376 140733848847728 139761368156456 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1900/tid=1906] ppid=1897 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1900/task/1906/stat : 1906 (java) S 1897 1900 737 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104093578 9856040960 42130 33554432000 1073741824 1073778376 140733848847728 139761367103656 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1900/tid=1907] ppid=1897 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1900/task/1907/stat : 1907 (java) S 1897 1900 737 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 104093578 9856040960 42130 33554432000 1073741824 1073778376 140733848847728 139761366051880 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1900/tid=1908] ppid=1897 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1900/task/1908/stat : 1908 (java) S 1897 1900 737 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104093578 9856040960 42130 33554432000 1073741824 1073778376 140733848847728 139761364999080 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1900/tid=1909] ppid=1897 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1900/task/1909/stat : 1909 (java) S 1897 1900 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104093578 9856040960 42130 33554432000 1073741824 1073778376 140733848847728 139761363946280 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1900/tid=1910] ppid=1897 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1900/task/1910/stat : 1910 (java) S 1897 1900 737 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104093578 9856040960 42130 33554432000 1073741824 1073778376 140733848847728 139761362893480 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1900/tid=1911] ppid=1897 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1900/task/1911/stat : 1911 (java) S 1897 1900 737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 104093579 9856040960 42130 33554432000 1073741824 1073778376 140733848847728 139761350482408 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1900/tid=1912] ppid=1897 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1900/task/1912/stat : 1912 (java) S 1897 1900 737 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104093579 9856040960 42130 33554432000 1073741824 1073778376 140733848847728 139761349428472 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1900/tid=1913] ppid=1897 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1900/task/1913/stat : 1913 (java) S 1897 1900 737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104093579 9856040960 42130 33554432000 1073741824 1073778376 140733848847728 139761348375560 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1900/tid=1914] ppid=1897 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1900/task/1914/stat : 1914 (java) S 1897 1900 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104093582 9856040960 42130 33554432000 1073741824 1073778376 140733848847728 139761347324048 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1900/tid=1915] ppid=1897 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/1900/task/1915/stat : 1915 (java) S 1897 1900 737 0 -1 4202560 3095 0 0 0 51 0 0 0 20 0 19 0 104093582 9856040960 42130 33554432000 1073741824 1073778376 140733848847728 139761346272184 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1900/tid=1916] ppid=1897 vsize=9625040 CPUtime=0.44 cores=1,3,5,7

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

/proc/1900/task/1912/stat : 1912 (java) S 1897 1900 737 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104093579 9856040960 116200 33554432000 1073741824 1073778376 140733848847728 139761349428472 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1900/tid=1913] ppid=1897 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1900/task/1913/stat : 1913 (java) S 1897 1900 737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104093579 9856040960 116200 33554432000 1073741824 1073778376 140733848847728 139761348375560 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1900/tid=1914] ppid=1897 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1900/task/1914/stat : 1914 (java) S 1897 1900 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104093582 9856040960 116200 33554432000 1073741824 1073778376 140733848847728 139761347324048 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1900/tid=1915] ppid=1897 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/1900/task/1915/stat : 1915 (java) S 1897 1900 737 0 -1 4202560 3156 0 0 0 53 0 0 0 20 0 19 0 104093582 9856040960 116200 33554432000 1073741824 1073778376 140733848847728 139761346272184 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1900/tid=1916] ppid=1897 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/1900/task/1916/stat : 1916 (java) S 1897 1900 737 0 -1 4202560 2627 0 0 0 44 0 0 0 20 0 19 0 104093582 9856040960 116200 33554432000 1073741824 1073778376 140733848847728 139761345219384 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1900/tid=1917] ppid=1897 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1900/task/1917/stat : 1917 (java) S 1897 1900 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104093582 9856040960 116200 33554432000 1073741824 1073778376 140733848847728 139761344166776 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1900/tid=1918] ppid=1897 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/1900/task/1918/stat : 1918 (java) S 1897 1900 737 0 -1 4202560 95 0 0 0 22 28 0 0 20 0 19 0 104093582 9856040960 116200 33554432000 1073741824 1073778376 140733848847728 139761343114184 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1900/tid=1919] ppid=1897 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1900/task/1919/stat : 1919 (java) S 1897 1900 737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104093627 9856040960 116200 33554432000 1073741824 1073778376 140733848847728 139761342010536 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1668.89
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.31 2.24 2.19 3/213 2045
/proc/meminfo: memFree=28452488/32872528 swapFree=16252/1391864
[pid=1900] ppid=1897 vsize=9625040 CPUtime=1729.25 cores=1,3,5,7
/proc/1900/stat : 1900 (java) S 1897 1900 737 0 -1 4202496 13039 0 1 0 172831 94 0 0 20 0 19 0 104093577 9856040960 115189 33554432000 1073741824 1073778376 140733848847728 140733848838864 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1900/statm: 2406260 115189 2293 9 0 2396937 0
[pid=1900/tid=1901] ppid=1897 vsize=9625040 CPUtime=1718.95 cores=1,3,5,7
/proc/1900/task/1901/stat : 1901 (java) R 1897 1900 737 0 -1 4202560 2588 0 1 0 171863 32 0 0 20 0 19 0 104093577 9856040960 115189 33554432000 1073741824 1073778376 140733848847728 139761526205648 139761398488205 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=1900/tid=1903] ppid=1897 vsize=9625040 CPUtime=1.04 cores=1,3,5,7
/proc/1900/task/1903/stat : 1903 (java) S 1897 1900 737 0 -1 4202560 510 0 0 0 96 8 0 0 20 0 19 0 104093578 9856040960 115189 33554432000 1073741824 1073778376 140733848847728 139761370262056 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1900/tid=1904] ppid=1897 vsize=9625040 CPUtime=1.05 cores=1,3,5,7
/proc/1900/task/1904/stat : 1904 (java) S 1897 1900 737 0 -1 4202560 487 0 0 0 95 10 0 0 20 0 19 0 104093578 9856040960 115189 33554432000 1073741824 1073778376 140733848847728 139761369209256 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1900/tid=1905] ppid=1897 vsize=9625040 CPUtime=1.02 cores=1,3,5,7
/proc/1900/task/1905/stat : 1905 (java) S 1897 1900 737 0 -1 4202560 314 0 0 0 93 9 0 0 20 0 19 0 104093578 9856040960 115189 33554432000 1073741824 1073778376 140733848847728 139761368156456 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1900/tid=1906] ppid=1897 vsize=9625040 CPUtime=0.97 cores=1,3,5,7
/proc/1900/task/1906/stat : 1906 (java) S 1897 1900 737 0 -1 4202560 287 0 0 0 91 6 0 0 20 0 19 0 104093578 9856040960 115189 33554432000 1073741824 1073778376 140733848847728 139761367103656 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1900/tid=1907] ppid=1897 vsize=9625040 CPUtime=1.11 cores=1,3,5,7
/proc/1900/task/1907/stat : 1907 (java) S 1897 1900 737 0 -1 4202560 428 0 0 0 102 9 0 0 20 0 19 0 104093578 9856040960 115189 33554432000 1073741824 1073778376 140733848847728 139761366051880 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1900/tid=1908] ppid=1897 vsize=9625040 CPUtime=0.8 cores=1,3,5,7
/proc/1900/task/1908/stat : 1908 (java) S 1897 1900 737 0 -1 4202560 243 0 0 0 74 6 0 0 20 0 19 0 104093578 9856040960 115189 33554432000 1073741824 1073778376 140733848847728 139761364999080 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1900/tid=1909] ppid=1897 vsize=9625040 CPUtime=1.05 cores=1,3,5,7
/proc/1900/task/1909/stat : 1909 (java) S 1897 1900 737 0 -1 4202560 282 0 0 0 97 8 0 0 20 0 19 0 104093578 9856040960 115189 33554432000 1073741824 1073778376 140733848847728 139761363946280 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1900/tid=1910] ppid=1897 vsize=9625040 CPUtime=1 cores=1,3,5,7
/proc/1900/task/1910/stat : 1910 (java) S 1897 1900 737 0 -1 4202560 480 0 0 0 93 7 0 0 20 0 19 0 104093578 9856040960 115189 33554432000 1073741824 1073778376 140733848847728 139761362893480 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1900/tid=1911] ppid=1897 vsize=9625040 CPUtime=1 cores=1,3,5,7
/proc/1900/task/1911/stat : 1911 (java) S 1897 1900 737 0 -1 4202560 279 0 0 0 97 3 0 0 20 0 19 0 104093579 9856040960 115189 33554432000 1073741824 1073778376 140733848847728 139761350482408 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1900/tid=1912] ppid=1897 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1900/task/1912/stat : 1912 (java) S 1897 1900 737 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104093579 9856040960 115189 33554432000 1073741824 1073778376 140733848847728 139761349428472 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1900/tid=1913] ppid=1897 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1900/task/1913/stat : 1913 (java) S 1897 1900 737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104093579 9856040960 115189 33554432000 1073741824 1073778376 140733848847728 139761348375560 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1900/tid=1914] ppid=1897 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1900/task/1914/stat : 1914 (java) S 1897 1900 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104093582 9856040960 115189 33554432000 1073741824 1073778376 140733848847728 139761347324048 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1900/tid=1915] ppid=1897 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/1900/task/1915/stat : 1915 (java) S 1897 1900 737 0 -1 4202560 3157 0 0 0 53 0 0 0 20 0 19 0 104093582 9856040960 115189 33554432000 1073741824 1073778376 140733848847728 139761346272184 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1900/tid=1916] ppid=1897 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/1900/task/1916/stat : 1916 (java) S 1897 1900 737 0 -1 4202560 2627 0 0 0 44 0 0 0 20 0 19 0 104093582 9856040960 115189 33554432000 1073741824 1073778376 140733848847728 139761345219384 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1900/tid=1917] ppid=1897 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1900/task/1917/stat : 1917 (java) S 1897 1900 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104093582 9856040960 115189 33554432000 1073741824 1073778376 140733848847728 139761344166776 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1900/tid=1918] ppid=1897 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/1900/task/1918/stat : 1918 (java) S 1897 1900 737 0 -1 4202560 99 0 0 0 23 29 0 0 20 0 19 0 104093582 9856040960 115189 33554432000 1073741824 1073778376 140733848847728 139761343114184 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1900/tid=1919] ppid=1897 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1900/task/1919/stat : 1919 (java) S 1897 1900 737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104093627 9856040960 115189 33554432000 1073741824 1073778376 140733848847728 139761342010536 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1729.25
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.24 2.23 2.18 3/213 2046
/proc/meminfo: memFree=28517760/32872528 swapFree=16252/1391864
[pid=1900] ppid=1897 vsize=9625040 CPUtime=1789.37 cores=1,3,5,7
/proc/1900/stat : 1900 (java) S 1897 1900 737 0 -1 4202496 13046 0 1 0 178841 96 0 0 20 0 19 0 104093577 9856040960 115045 33554432000 1073741824 1073778376 140733848847728 140733848838864 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1900/statm: 2406260 115045 2293 9 0 2396937 0
[pid=1900/tid=1901] ppid=1897 vsize=9625040 CPUtime=1778.91 cores=1,3,5,7
/proc/1900/task/1901/stat : 1901 (java) R 1897 1900 737 0 -1 4202560 2589 0 1 0 177858 33 0 0 20 0 19 0 104093577 9856040960 115045 33554432000 1073741824 1073778376 140733848847728 139761526205648 139761398556344 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=1900/tid=1903] ppid=1897 vsize=9625040 CPUtime=1.08 cores=1,3,5,7
/proc/1900/task/1903/stat : 1903 (java) S 1897 1900 737 0 -1 4202560 510 0 0 0 100 8 0 0 20 0 19 0 104093578 9856040960 115045 33554432000 1073741824 1073778376 140733848847728 139761370262056 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1900/tid=1904] ppid=1897 vsize=9625040 CPUtime=1.07 cores=1,3,5,7
/proc/1900/task/1904/stat : 1904 (java) S 1897 1900 737 0 -1 4202560 487 0 0 0 97 10 0 0 20 0 19 0 104093578 9856040960 115045 33554432000 1073741824 1073778376 140733848847728 139761369209256 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1900/tid=1905] ppid=1897 vsize=9625040 CPUtime=1.03 cores=1,3,5,7
/proc/1900/task/1905/stat : 1905 (java) S 1897 1900 737 0 -1 4202560 314 0 0 0 94 9 0 0 20 0 19 0 104093578 9856040960 115045 33554432000 1073741824 1073778376 140733848847728 139761368156456 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1900/tid=1906] ppid=1897 vsize=9625040 CPUtime=0.99 cores=1,3,5,7
/proc/1900/task/1906/stat : 1906 (java) S 1897 1900 737 0 -1 4202560 287 0 0 0 92 7 0 0 20 0 19 0 104093578 9856040960 115045 33554432000 1073741824 1073778376 140733848847728 139761367103656 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1900/tid=1907] ppid=1897 vsize=9625040 CPUtime=1.12 cores=1,3,5,7
/proc/1900/task/1907/stat : 1907 (java) S 1897 1900 737 0 -1 4202560 428 0 0 0 103 9 0 0 20 0 19 0 104093578 9856040960 115045 33554432000 1073741824 1073778376 140733848847728 139761366051880 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1900/tid=1908] ppid=1897 vsize=9625040 CPUtime=0.81 cores=1,3,5,7
/proc/1900/task/1908/stat : 1908 (java) S 1897 1900 737 0 -1 4202560 243 0 0 0 75 6 0 0 20 0 19 0 104093578 9856040960 115045 33554432000 1073741824 1073778376 140733848847728 139761364999080 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1900/tid=1909] ppid=1897 vsize=9625040 CPUtime=1.07 cores=1,3,5,7
/proc/1900/task/1909/stat : 1909 (java) S 1897 1900 737 0 -1 4202560 282 0 0 0 99 8 0 0 20 0 19 0 104093578 9856040960 115045 33554432000 1073741824 1073778376 140733848847728 139761363946280 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1900/tid=1910] ppid=1897 vsize=9625040 CPUtime=1.01 cores=1,3,5,7
/proc/1900/task/1910/stat : 1910 (java) S 1897 1900 737 0 -1 4202560 480 0 0 0 94 7 0 0 20 0 19 0 104093578 9856040960 115045 33554432000 1073741824 1073778376 140733848847728 139761362893480 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1900/tid=1911] ppid=1897 vsize=9625040 CPUtime=1 cores=1,3,5,7
/proc/1900/task/1911/stat : 1911 (java) S 1897 1900 737 0 -1 4202560 281 0 0 0 97 3 0 0 20 0 19 0 104093579 9856040960 115045 33554432000 1073741824 1073778376 140733848847728 139761350482408 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1900/tid=1912] ppid=1897 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1900/task/1912/stat : 1912 (java) S 1897 1900 737 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104093579 9856040960 115045 33554432000 1073741824 1073778376 140733848847728 139761349428472 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1900/tid=1913] ppid=1897 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1900/task/1913/stat : 1913 (java) S 1897 1900 737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104093579 9856040960 115045 33554432000 1073741824 1073778376 140733848847728 139761348375560 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1900/tid=1914] ppid=1897 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1900/task/1914/stat : 1914 (java) S 1897 1900 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104093582 9856040960 115045 33554432000 1073741824 1073778376 140733848847728 139761347324048 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1900/tid=1915] ppid=1897 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/1900/task/1915/stat : 1915 (java) S 1897 1900 737 0 -1 4202560 3157 0 0 0 53 0 0 0 20 0 19 0 104093582 9856040960 115045 33554432000 1073741824 1073778376 140733848847728 139761346272184 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1900/tid=1916] ppid=1897 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/1900/task/1916/stat : 1916 (java) S 1897 1900 737 0 -1 4202560 2627 0 0 0 44 0 0 0 20 0 19 0 104093582 9856040960 115045 33554432000 1073741824 1073778376 140733848847728 139761345219384 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1900/tid=1917] ppid=1897 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1900/task/1917/stat : 1917 (java) S 1897 1900 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104093582 9856040960 115045 33554432000 1073741824 1073778376 140733848847728 139761344166776 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1900/tid=1918] ppid=1897 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/1900/task/1918/stat : 1918 (java) S 1897 1900 737 0 -1 4202560 103 0 0 0 23 31 0 0 20 0 19 0 104093582 9856040960 115045 33554432000 1073741824 1073778376 140733848847728 139761343114184 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1900/tid=1919] ppid=1897 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1900/task/1919/stat : 1919 (java) S 1897 1900 737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104093627 9856040960 115045 33554432000 1073741824 1073778376 140733848847728 139761342010536 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1789.37
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1793 s]
/proc/loadavg: 2.26 2.23 2.18 4/213 2047
/proc/meminfo: memFree=28536824/32872528 swapFree=16252/1391864
[pid=1900] ppid=1897 vsize=9625040 CPUtime=1800.07 cores=1,3,5,7
/proc/1900/stat : 1900 (java) S 1897 1900 737 0 -1 4202496 13046 0 1 0 179911 96 0 0 20 0 19 0 104093577 9856040960 115045 33554432000 1073741824 1073778376 140733848847728 140733848838864 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1900/statm: 2406260 115045 2293 9 0 2396937 0
[pid=1900/tid=1901] ppid=1897 vsize=9625040 CPUtime=1789.62 cores=1,3,5,7
/proc/1900/task/1901/stat : 1901 (java) R 1897 1900 737 0 -1 4202560 2589 0 1 0 178929 33 0 0 20 0 19 0 104093577 9856040960 115045 33554432000 1073741824 1073778376 140733848847728 139761526197952 139761398653663 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=1900/tid=1903] ppid=1897 vsize=9625040 CPUtime=1.08 cores=1,3,5,7
/proc/1900/task/1903/stat : 1903 (java) S 1897 1900 737 0 -1 4202560 510 0 0 0 100 8 0 0 20 0 19 0 104093578 9856040960 115045 33554432000 1073741824 1073778376 140733848847728 139761370262056 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1900/tid=1904] ppid=1897 vsize=9625040 CPUtime=1.07 cores=1,3,5,7
/proc/1900/task/1904/stat : 1904 (java) S 1897 1900 737 0 -1 4202560 487 0 0 0 97 10 0 0 20 0 19 0 104093578 9856040960 115045 33554432000 1073741824 1073778376 140733848847728 139761369209256 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1900/tid=1905] ppid=1897 vsize=9625040 CPUtime=1.03 cores=1,3,5,7
/proc/1900/task/1905/stat : 1905 (java) S 1897 1900 737 0 -1 4202560 314 0 0 0 94 9 0 0 20 0 19 0 104093578 9856040960 115045 33554432000 1073741824 1073778376 140733848847728 139761368156456 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1900/tid=1906] ppid=1897 vsize=9625040 CPUtime=0.99 cores=1,3,5,7
/proc/1900/task/1906/stat : 1906 (java) S 1897 1900 737 0 -1 4202560 287 0 0 0 92 7 0 0 20 0 19 0 104093578 9856040960 115045 33554432000 1073741824 1073778376 140733848847728 139761367103656 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1900/tid=1907] ppid=1897 vsize=9625040 CPUtime=1.12 cores=1,3,5,7
/proc/1900/task/1907/stat : 1907 (java) S 1897 1900 737 0 -1 4202560 428 0 0 0 103 9 0 0 20 0 19 0 104093578 9856040960 115045 33554432000 1073741824 1073778376 140733848847728 139761366051880 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1900/tid=1908] ppid=1897 vsize=9625040 CPUtime=0.81 cores=1,3,5,7
/proc/1900/task/1908/stat : 1908 (java) S 1897 1900 737 0 -1 4202560 243 0 0 0 75 6 0 0 20 0 19 0 104093578 9856040960 115045 33554432000 1073741824 1073778376 140733848847728 139761364999080 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1900/tid=1909] ppid=1897 vsize=9625040 CPUtime=1.07 cores=1,3,5,7
/proc/1900/task/1909/stat : 1909 (java) S 1897 1900 737 0 -1 4202560 282 0 0 0 99 8 0 0 20 0 19 0 104093578 9856040960 115045 33554432000 1073741824 1073778376 140733848847728 139761363946280 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1900/tid=1910] ppid=1897 vsize=9625040 CPUtime=1.01 cores=1,3,5,7
/proc/1900/task/1910/stat : 1910 (java) S 1897 1900 737 0 -1 4202560 480 0 0 0 94 7 0 0 20 0 19 0 104093578 9856040960 115045 33554432000 1073741824 1073778376 140733848847728 139761362893480 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1900/tid=1911] ppid=1897 vsize=9625040 CPUtime=1 cores=1,3,5,7
/proc/1900/task/1911/stat : 1911 (java) S 1897 1900 737 0 -1 4202560 281 0 0 0 97 3 0 0 20 0 19 0 104093579 9856040960 115045 33554432000 1073741824 1073778376 140733848847728 139761350482408 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1900/tid=1912] ppid=1897 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1900/task/1912/stat : 1912 (java) S 1897 1900 737 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104093579 9856040960 115045 33554432000 1073741824 1073778376 140733848847728 139761349428472 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1900/tid=1913] ppid=1897 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1900/task/1913/stat : 1913 (java) S 1897 1900 737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104093579 9856040960 115045 33554432000 1073741824 1073778376 140733848847728 139761348375560 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1900/tid=1914] ppid=1897 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1900/task/1914/stat : 1914 (java) S 1897 1900 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104093582 9856040960 115045 33554432000 1073741824 1073778376 140733848847728 139761347324048 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1900/tid=1915] ppid=1897 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/1900/task/1915/stat : 1915 (java) S 1897 1900 737 0 -1 4202560 3157 0 0 0 53 0 0 0 20 0 19 0 104093582 9856040960 115045 33554432000 1073741824 1073778376 140733848847728 139761346272184 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1900/tid=1916] ppid=1897 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/1900/task/1916/stat : 1916 (java) S 1897 1900 737 0 -1 4202560 2627 0 0 0 44 0 0 0 20 0 19 0 104093582 9856040960 115045 33554432000 1073741824 1073778376 140733848847728 139761345219384 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1900/tid=1917] ppid=1897 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1900/task/1917/stat : 1917 (java) S 1897 1900 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104093582 9856040960 115045 33554432000 1073741824 1073778376 140733848847728 139761344166776 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1900/tid=1918] ppid=1897 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/1900/task/1918/stat : 1918 (java) S 1897 1900 737 0 -1 4202560 103 0 0 0 23 31 0 0 20 0 19 0 104093582 9856040960 115045 33554432000 1073741824 1073778376 140733848847728 139761343114184 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1900/tid=1919] ppid=1897 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1900/task/1919/stat : 1919 (java) S 1897 1900 737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104093627 9856040960 115045 33554432000 1073741824 1073778376 140733848847728 139761342010536 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9625040

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 1900 sig 9
??? kill -1900 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 1793.04
CPU time (s): 1800.62
CPU user time (s): 1799.17
CPU system time (s): 1.45078
CPU usage (%): 100.423
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.17
system time used= 1.45078
maximum resident set size= 689364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13084
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1616
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39357
involuntary context switches= 16583

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4114 second user time and 13.295 second system time

The end

Launcher Data 

Begin job on node119 at 2016-06-06 16:00:04
IDJOB=4084461
IDBENCH=1500
IDSOLVER=2546
FILE ID=node119/4084461-1465221604
RUNJOBID= node119-1465217315-755
PBS_JOBID= 19843200
Free space on /tmp= 71728 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4084461-1465221604/watcher-4084461-1465221604 -o /tmp/evaluation-result-4084461-1465221604/solver-4084461-1465221604 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1465217315-755 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4084461-1465221604.opb

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

MD5SUM BENCH= d484bc8efed557f17788965b19feafe5
RANDOM SEED=1851870638

node119.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.410
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.82
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.410
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.410
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.410
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.410
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.410
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.410
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.410
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:        30322612 kB
Buffers:           11444 kB
Cached:            92288 kB
SwapCached:          832 kB
Active:           414716 kB
Inactive:          39400 kB
Active(anon):     351536 kB
Inactive(anon):     1604 kB
Active(file):      63180 kB
Inactive(file):    37796 kB
Unevictable:     1391864 kB
Mlocked:           16252 kB
SwapTotal:      67108856 kB
SwapFree:       67100124 kB
Dirty:              2164 kB
Writeback:             0 kB
AnonPages:       1746164 kB
Mapped:            15292 kB
Shmem:                 0 kB
Slab:             566300 kB
SReclaimable:       9588 kB
SUnreclaim:       556712 kB
KernelStack:        1576 kB
PageTables:         7640 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2465520 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1703936 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71736 MiB
End job on node119 at 2016-06-06 16:29:57