Trace number 4117033

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.71 1797.84

General information on the benchmark

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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4117033-1466958832.opb
0.09/0.11	c reading problem ... 
0.09/0.12	c  no objective function found
0.69/0.41	c ... done. Wall clock time 0.293s.
0.69/0.41	c declared #vars     4128
0.69/0.41	c #constraints  9920
0.69/0.41	c constraints type 
0.69/0.41	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6726
0.69/0.41	c org.sat4j.specs.Constr$1 => 872
0.69/0.41	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 128
0.69/0.41	c org.sat4j.minisat.constraints.cnf.UnitClause => 472
0.69/0.41	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1722
0.69/0.41	c 9920 constraints processed.
1.76/1.13	c cleaning 2494 clauses out of 4999 with flag 15327/5001
2.42/1.73	c cleaning 4247 clauses out of 8505 with flag 36890/11001
3.22/2.53	c cleaning 5626 clauses out of 11257 with flag 63665/18000
4.14/3.42	c cleaning 6788 clauses out of 13632 with flag 96177/26001
5.15/4.41	c cleaning 7901 clauses out of 15843 with flag 136638/35000
6.25/5.59	c cleaning 8932 clauses out of 17943 with flag 183151/45001
7.56/6.88	c cleaning 9988 clauses out of 20011 with flag 234942/56001
9.05/8.33	c cleaning 11004 clauses out of 22022 with flag 294061/68000
10.66/9.99	c cleaning 11997 clauses out of 24020 with flag 358517/81002
12.56/11.81	c cleaning 12993 clauses out of 26021 with flag 431188/95000
14.45/13.75	c cleaning 13987 clauses out of 28028 with flag 511828/110000
16.66/15.96	c cleaning 14996 clauses out of 30041 with flag 596368/126000
19.06/18.30	c cleaning 16020 clauses out of 32047 with flag 687408/143002
21.46/20.79	c cleaning 16994 clauses out of 34025 with flag 787680/161000
24.16/23.45	c cleaning 18006 clauses out of 36032 with flag 894931/180001
27.06/26.30	c cleaning 18933 clauses out of 38025 with flag 1008770/200000
30.26/29.54	c cleaning 20015 clauses out of 40094 with flag 1128731/221002
33.66/32.92	c cleaning 21023 clauses out of 42077 with flag 1257827/243000
37.17/36.49	c cleaning 22004 clauses out of 44054 with flag 1393849/266000
40.96/40.26	c cleaning 22997 clauses out of 46050 with flag 1535127/290000
45.16/44.48	c cleaning 24010 clauses out of 48053 with flag 1682827/315000
49.57/48.80	c cleaning 24978 clauses out of 50043 with flag 1836446/341000
53.97/53.29	c cleaning 25977 clauses out of 52067 with flag 1996963/368002
58.87/58.15	c cleaning 27031 clauses out of 54089 with flag 2165142/396001
63.99/63.22	c cleaning 28019 clauses out of 56057 with flag 2342984/425000
68.70/67.93	c cleaning 29009 clauses out of 58038 with flag 2526642/455000
73.70/72.93	c cleaning 30009 clauses out of 60029 with flag 2715715/486000
79.01/78.27	c cleaning 30977 clauses out of 62020 with flag 2912981/518000
84.70/83.94	c cleaning 32000 clauses out of 64045 with flag 3113182/551002
90.50/89.78	c cleaning 33004 clauses out of 66044 with flag 3324370/585001
96.61/95.87	c cleaning 34003 clauses out of 68039 with flag 3539765/620000
103.11/102.32	c cleaning 34990 clauses out of 70037 with flag 3764944/656001
109.81/109.02	c cleaning 35993 clauses out of 72046 with flag 3994391/693000
116.81/116.02	c cleaning 37006 clauses out of 74053 with flag 4229762/731000
124.12/123.36	c cleaning 38009 clauses out of 76047 with flag 4479146/770000
131.72/130.97	c cleaning 38981 clauses out of 78038 with flag 4728762/810000
139.71/138.91	c cleaning 40029 clauses out of 80057 with flag 4986630/851000
148.23/147.42	c cleaning 40983 clauses out of 82029 with flag 5250705/893001
157.03/156.25	c cleaning 41966 clauses out of 84045 with flag 5523520/936000
166.07/165.28	c cleaning 43021 clauses out of 86080 with flag 5798294/980001
174.78/173.98	c cleaning 44005 clauses out of 88059 with flag 6086049/1025001
184.07/183.30	c cleaning 45018 clauses out of 90054 with flag 6373847/1071001
193.68/192.85	c cleaning 45978 clauses out of 92035 with flag 6674333/1118000
203.58/202.79	c cleaning 47021 clauses out of 94057 with flag 6980914/1166000
214.08/213.21	c cleaning 47967 clauses out of 96036 with flag 7297591/1215000
224.58/223.76	c cleaning 48990 clauses out of 98069 with flag 7618295/1265000
235.58/234.75	c cleaning 49994 clauses out of 100079 with flag 7944314/1316000
247.08/246.20	c cleaning 51018 clauses out of 102085 with flag 8275111/1368000
259.08/258.30	c cleaning 52017 clauses out of 104067 with flag 8612231/1421000
271.50/270.64	c cleaning 53003 clauses out of 106050 with flag 8954869/1475000
284.24/283.32	c cleaning 53991 clauses out of 108047 with flag 9305692/1530000
296.85/295.97	c cleaning 55003 clauses out of 110057 with flag 9667175/1586001
309.85/308.94	c cleaning 56014 clauses out of 112053 with flag 10030914/1643000
323.65/322.75	c cleaning 57020 clauses out of 114039 with flag 10401780/1701000
337.76/336.83	c cleaning 58001 clauses out of 116020 with flag 10777454/1760001
351.97/351.04	c cleaning 58999 clauses out of 118019 with flag 11156335/1820001
366.87/365.99	c cleaning 59978 clauses out of 120021 with flag 11545790/1881002
382.07/381.16	c cleaning 61016 clauses out of 122041 with flag 11946257/1943000
397.87/396.94	c cleaning 61990 clauses out of 124025 with flag 12348006/2006000
414.43/413.46	c cleaning 63002 clauses out of 126037 with flag 12759585/2070002
433.24/432.27	c cleaning 63995 clauses out of 128033 with flag 13176589/2135000
452.66/451.63	c cleaning 65010 clauses out of 130038 with flag 13598611/2201000
472.77/471.76	c cleaning 65988 clauses out of 132028 with flag 14025086/2268000
493.28/492.29	c cleaning 66980 clauses out of 134040 with flag 14460682/2336000
514.67/513.67	c cleaning 67992 clauses out of 136061 with flag 14902867/2405001
536.58/535.59	c cleaning 68978 clauses out of 138068 with flag 15348172/2475000
559.29/558.26	c cleaning 69992 clauses out of 140090 with flag 15798440/2546000
582.38/581.22	c cleaning 71021 clauses out of 142098 with flag 16256003/2618000
603.18/602.03	c cleaning 72028 clauses out of 144077 with flag 16722730/2691000
624.09/622.95	c cleaning 73004 clauses out of 146049 with flag 17192472/2765000
645.89/644.72	c cleaning 74005 clauses out of 148045 with flag 17670674/2840000
667.70/666.59	c cleaning 75003 clauses out of 150040 with flag 18154856/2916000
690.92/689.71	c cleaning 75986 clauses out of 152037 with flag 18644008/2993000
714.41/713.27	c cleaning 77006 clauses out of 154051 with flag 19142449/3071000
738.62/737.34	c cleaning 78008 clauses out of 156045 with flag 19641387/3150000
762.92/761.66	c cleaning 78954 clauses out of 158038 with flag 20149590/3230001
787.43/786.16	c cleaning 79975 clauses out of 160083 with flag 20660299/3311000
813.83/812.59	c cleaning 81033 clauses out of 162108 with flag 21183497/3393000
841.34/840.04	c cleaning 82011 clauses out of 164076 with flag 21713910/3476001
868.64/867.34	c cleaning 82994 clauses out of 166064 with flag 22245268/3560000
896.96/895.54	c cleaning 84028 clauses out of 168071 with flag 22786465/3645001
924.56/923.15	c cleaning 84988 clauses out of 170042 with flag 23329754/3731000
953.08/951.67	c cleaning 86012 clauses out of 172054 with flag 23883050/3818000
981.68/980.23	c cleaning 86982 clauses out of 174043 with flag 24443203/3906001
1011.30/1009.83	c cleaning 88015 clauses out of 176062 with flag 25004625/3995002
1041.40/1039.92	c cleaning 88995 clauses out of 178048 with flag 25580118/4085003
1071.71/1070.16	c cleaning 89983 clauses out of 180050 with flag 26155524/4176000
1102.91/1101.33	c cleaning 91000 clauses out of 182067 with flag 26740523/4268000
1135.42/1133.81	c cleaning 92005 clauses out of 184072 with flag 27334718/4361005
1168.23/1166.61	c cleaning 93007 clauses out of 186066 with flag 27935023/4455004
1201.75/1200.15	c cleaning 94010 clauses out of 188055 with flag 28540437/4550000
1235.55/1233.86	c cleaning 95017 clauses out of 190045 with flag 29152388/4646000
1270.27/1268.56	c cleaning 96006 clauses out of 192029 with flag 29769307/4743001
1305.98/1304.27	c cleaning 96979 clauses out of 194022 with flag 30395459/4841000
1342.79/1341.03	c cleaning 98005 clauses out of 196043 with flag 31027341/4940000
1379.91/1378.00	c cleaning 98978 clauses out of 198038 with flag 31665815/5040000
1417.52/1415.67	c cleaning 99999 clauses out of 200060 with flag 32307773/5141000
1455.83/1453.93	c cleaning 101026 clauses out of 202063 with flag 32961857/5243002
1494.84/1492.98	c cleaning 101998 clauses out of 204036 with flag 33619168/5346001
1534.36/1532.42	c cleaning 102995 clauses out of 206037 with flag 34279273/5450000
1574.74/1572.60	c cleaning 103990 clauses out of 208043 with flag 34941298/5555001
1616.34/1614.21	c cleaning 105011 clauses out of 210052 with flag 35617339/5661000
1658.47/1656.35	c cleaning 105974 clauses out of 212041 with flag 36302134/5768000
1702.07/1699.94	c cleaning 106982 clauses out of 214068 with flag 36995197/5876001
1746.68/1744.40	c cleaning 108008 clauses out of 216085 with flag 37687685/5985000
1791.79/1789.50	c cleaning 109021 clauses out of 218077 with flag 38382874/6095000
1800.09/1797.80	c starts		: 53691
1800.09/1797.80	c conflicts		: 6121934
1800.09/1797.80	c decisions		: 64110039
1800.09/1797.80	c propagations		: 856882569
1800.09/1797.80	c inspects		: 23298141016
1800.09/1797.80	c shortcuts		: 0
1800.09/1797.80	c learnt literals	: 2
1800.09/1797.80	c learnt binary clauses	: 39
1800.09/1797.80	c learnt ternary clauses	: 655
1800.09/1797.80	c learnt constraints	: 6121932
1800.09/1797.80	c ignored constraints	: 0
1800.09/1797.80	c root simplifications	: 0
1800.09/1797.80	c removed literals (reason simplification)	: 0
1800.09/1797.80	c reason swapping (by a shorter reason)	: 0
1800.09/1797.80	c Calls to reduceDB	: 106
1800.09/1797.80	c Number of update (reduction) of LBD	: 1273396
1800.09/1797.80	c Imported unit clauses	: 0
1800.09/1797.80	c number of reductions to clauses (during analyze)	: 0
1800.09/1797.80	c number of learned constraints concerned by reduction	: 0
1800.09/1797.80	c number of learning phase by resolution	: 0
1800.09/1797.80	c number of learning phase by cutting planes	: 0
1800.09/1797.80	c speed (assignments/second)	: 476737.40575913177
1800.09/1797.80	c timeout
1800.09/1797.80	c non guided choices	11890
1800.09/1797.83	c learnt constraints type 
1800.09/1797.83	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 39
1800.09/1797.83	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 135951
1800.09/1797.83	s UNKNOWN
1800.09/1797.83	c Total wall clock time (in seconds): 1797.714

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-4117033-1466958832/watcher-4117033-1466958832 -o /tmp/evaluation-result-4117033-1466958832/solver-4117033-1466958832 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466943595-19070 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4117033-1466958832.opb 

pid=21153
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.24 2.30 2.24 3/194 21156
/proc/meminfo: memFree=30029760/32872528 swapFree=1643088/1798432
[pid=21156] ppid=21153 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/21156/stat : 21156 (java) R 21153 21156 19053 0 -1 4202496 372 0 0 0 0 0 0 0 20 0 1 0 28922300 2560000 42 33554432000 1073741824 1073778376 140735812650144 140733358538312 260181159722 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21156/statm: 625 46 37 9 0 29 0

[startup+0.100059 s]
/proc/loadavg: 2.24 2.30 2.24 3/194 21156
/proc/meminfo: memFree=30029760/32872528 swapFree=1643088/1798432
[pid=21156] ppid=21153 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/21156/stat : 21156 (java) S 21153 21156 19053 0 -1 4202496 4418 0 1 0 8 1 0 0 20 0 18 0 28922300 9787879424 6052 33554432000 1073741824 1073778376 140735812650144 140735812641280 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21156/statm: 2389619 6052 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200222 s]
/proc/loadavg: 2.24 2.30 2.24 3/194 21156
/proc/meminfo: memFree=30029760/32872528 swapFree=1643088/1798432
[pid=21156] ppid=21153 vsize=9558476 CPUtime=0.25 cores=1,3,5,7
/proc/21156/stat : 21156 (java) S 21153 21156 19053 0 -1 4202496 4926 0 1 0 24 1 0 0 20 0 18 0 28922300 9787879424 6971 33554432000 1073741824 1073778376 140735812650144 140735812641280 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21156/statm: 2389619 6971 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476

[startup+0.300242 s]
/proc/loadavg: 2.24 2.30 2.24 3/194 21156
/proc/meminfo: memFree=30029760/32872528 swapFree=1643088/1798432
[pid=21156] ppid=21153 vsize=9558476 CPUtime=0.49 cores=1,3,5,7
/proc/21156/stat : 21156 (java) S 21153 21156 19053 0 -1 4202496 5802 0 1 0 47 2 0 0 20 0 18 0 28922300 9787879424 8960 33554432000 1073741824 1073778376 140735812650144 140735812641280 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21156/statm: 2389619 8960 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558476

[startup+0.700177 s]
/proc/loadavg: 2.24 2.30 2.24 3/194 21156
/proc/meminfo: memFree=30029760/32872528 swapFree=1643088/1798432
[pid=21156] ppid=21153 vsize=9625040 CPUtime=1.3 cores=1,3,5,7
/proc/21156/stat : 21156 (java) S 21153 21156 19053 0 -1 4202496 8631 0 1 0 127 3 0 0 20 0 19 0 28922300 9856040960 14942 33554432000 1073741824 1073778376 140735812650144 140735812641280 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21156/statm: 2406260 14942 2264 9 0 2396937 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 9625040

[startup+1.5008 s]
/proc/loadavg: 2.24 2.30 2.24 3/213 21175
/proc/meminfo: memFree=29977884/32872528 swapFree=1643088/1798432
[pid=21156] ppid=21153 vsize=9625040 CPUtime=2.2 cores=1,3,5,7
/proc/21156/stat : 21156 (java) S 21153 21156 19053 0 -1 4202496 9931 0 1 0 217 3 0 0 20 0 19 0 28922300 9856040960 15461 33554432000 1073741824 1073778376 140735812650144 140735812641280 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21156/statm: 2406260 15461 2270 9 0 2396937 0
[pid=21156/tid=21158] ppid=21153 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/21156/task/21158/stat : 21158 (java) R 21153 21156 19053 0 -1 4202560 2424 0 1 0 144 2 0 0 20 0 19 0 28922301 9856040960 15461 33554432000 1073741824 1073778376 140735812650144 139894491324112 139894350034292 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21156/tid=21159] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21159/stat : 21159 (java) S 21153 21156 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28922302 9856040960 15461 33554432000 1073741824 1073778376 140735812650144 139894469433896 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21156/tid=21160] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21160/stat : 21160 (java) S 21153 21156 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28922302 9856040960 15461 33554432000 1073741824 1073778376 140735812650144 139894468381096 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21156/tid=21161] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21161/stat : 21161 (java) S 21153 21156 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28922302 9856040960 15461 33554432000 1073741824 1073778376 140735812650144 139894265473320 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21156/tid=21162] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21162/stat : 21162 (java) S 21153 21156 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28922302 9856040960 15461 33554432000 1073741824 1073778376 140735812650144 139894264420520 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21156/tid=21163] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21163/stat : 21163 (java) S 21153 21156 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28922302 9856040960 15461 33554432000 1073741824 1073778376 140735812650144 139894263368744 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21156/tid=21164] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21164/stat : 21164 (java) S 21153 21156 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28922302 9856040960 15461 33554432000 1073741824 1073778376 140735812650144 139894262315944 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21156/tid=21165] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21165/stat : 21165 (java) S 21153 21156 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28922302 9856040960 15461 33554432000 1073741824 1073778376 140735812650144 139894261263144 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21156/tid=21166] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21166/stat : 21166 (java) S 21153 21156 19053 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28922302 9856040960 15461 33554432000 1073741824 1073778376 140735812650144 139894260210344 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21156/tid=21167] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21167/stat : 21167 (java) S 21153 21156 19053 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 28922303 9856040960 15461 33554432000 1073741824 1073778376 140735812650144 139894248012264 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21156/tid=21168] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21168/stat : 21168 (java) S 21153 21156 19053 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 28922303 9856040960 15461 33554432000 1073741824 1073778376 140735812650144 139894246958328 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21156/tid=21169] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21169/stat : 21169 (java) S 21153 21156 19053 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28922303 9856040960 15461 33554432000 1073741824 1073778376 140735812650144 139894245905416 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21156/tid=21170] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21170/stat : 21170 (java) S 21153 21156 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28922306 9856040960 15461 33554432000 1073741824 1073778376 140735812650144 139894244853904 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21156/tid=21171] ppid=21153 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/21156/task/21171/stat : 21171 (java) S 21153 21156 19053 0 -1 4202560 1937 0 0 0 27 0 0 0 20 0 19 0 28922306 9856040960 15461 33554432000 1073741824 1073778376 140735812650144 139894243802040 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21156/tid=21172] ppid=21153 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/21156/task/21172/stat : 21172 (java) S 21153 21156 19053 0 -1 4202560 4292 0 0 0 43 0 0 0 20 0 19 0 28922306 9856040960 15461 33554432000 1073741824 1073778376 140735812650144 139894242749240 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21156/tid=21173] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21173/stat : 21173 (java) S 21153 21156 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28922306 9856040960 15461 33554432000 1073741824 1073778376 140735812650144 139894241696632 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21156/tid=21174] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21174/stat : 21174 (java) S 21153 21156 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28922306 9856040960 15461 33554432000 1073741824 1073778376 140735812650144 139894240644040 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21156/tid=21175] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21175/stat : 21175 (java) S 21153 21156 19053 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 28922342 9856040960 15461 33554432000 1073741824 1073778376 140735812650144 139894239589544 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.2
Current children cumulated vsize (KiB) 9625040

[startup+3.10083 s]
/proc/loadavg: 2.24 2.30 2.24 4/213 21175
/proc/meminfo: memFree=29975456/32872528 swapFree=1643088/1798432
[pid=21156] ppid=21153 vsize=9625040 CPUtime=3.83 cores=1,3,5,7
/proc/21156/stat : 21156 (java) S 21153 21156 19053 0 -1 4202496 9933 0 1 0 380 3 0 0 20 0 19 0 28922300 9856040960 15973 33554432000 1073741824 1073778376 140735812650144 140735812641280 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21156/statm: 2406260 15973 2270 9 0 2396937 0
[pid=21156/tid=21158] ppid=21153 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/21156/task/21158/stat : 21158 (java) R 21153 21156 19053 0 -1 4202560 2426 0 1 0 303 3 0 0 20 0 19 0 28922301 9856040960 15973 33554432000 1073741824 1073778376 140735812650144 139894491324112 139894349994487 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21156/tid=21159] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21159/stat : 21159 (java) S 21153 21156 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28922302 9856040960 15973 33554432000 1073741824 1073778376 140735812650144 139894469433896 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21156/tid=21160] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21160/stat : 21160 (java) S 21153 21156 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28922302 9856040960 15973 33554432000 1073741824 1073778376 140735812650144 139894468381096 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21156/tid=21161] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21161/stat : 21161 (java) S 21153 21156 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28922302 9856040960 15973 33554432000 1073741824 1073778376 140735812650144 139894265473320 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21156/tid=21162] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21162/stat : 21162 (java) S 21153 21156 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28922302 9856040960 15973 33554432000 1073741824 1073778376 140735812650144 139894264420520 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21156/tid=21163] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21163/stat : 21163 (java) S 21153 21156 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28922302 9856040960 15973 33554432000 1073741824 1073778376 140735812650144 139894263368744 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21156/tid=21164] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21164/stat : 21164 (java) S 21153 21156 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28922302 9856040960 15973 33554432000 1073741824 1073778376 140735812650144 139894262315944 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21156/tid=21165] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21165/stat : 21165 (java) S 21153 21156 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28922302 9856040960 15973 33554432000 1073741824 1073778376 140735812650144 139894261263144 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21156/tid=21166] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21166/stat : 21166 (java) S 21153 21156 19053 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28922302 9856040960 15973 33554432000 1073741824 1073778376 140735812650144 139894260210344 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21156/tid=21167] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21167/stat : 21167 (java) S 21153 21156 19053 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 28922303 9856040960 15973 33554432000 1073741824 1073778376 140735812650144 139894248012264 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21156/tid=21168] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21168/stat : 21168 (java) S 21153 21156 19053 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 28922303 9856040960 15973 33554432000 1073741824 1073778376 140735812650144 139894246958328 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21156/tid=21169] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21169/stat : 21169 (java) S 21153 21156 19053 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28922303 9856040960 15973 33554432000 1073741824 1073778376 140735812650144 139894245905416 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21156/tid=21170] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21170/stat : 21170 (java) S 21153 21156 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28922306 9856040960 15973 33554432000 1073741824 1073778376 140735812650144 139894244853904 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21156/tid=21171] ppid=21153 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/21156/task/21171/stat : 21171 (java) S 21153 21156 19053 0 -1 4202560 1937 0 0 0 29 0 0 0 20 0 19 0 28922306 9856040960 15973 33554432000 1073741824 1073778376 140735812650144 139894243802040 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21156/tid=21172] ppid=21153 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/21156/task/21172/stat : 21172 (java) S 21153 21156 19053 0 -1 4202560 4292 0 0 0 45 0 0 0 20 0 19 0 28922306 9856040960 15973 33554432000 1073741824 1073778376 140735812650144 139894242749240 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21156/tid=21173] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21173/stat : 21173 (java) S 21153 21156 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28922306 9856040960 15973 33554432000 1073741824 1073778376 140735812650144 139894241696632 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21156/tid=21174] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21174/stat : 21174 (java) S 21153 21156 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28922306 9856040960 15973 33554432000 1073741824 1073778376 140735812650144 139894240644040 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21156/tid=21175] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21175/stat : 21175 (java) S 21153 21156 19053 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 28922342 9856040960 15973 33554432000 1073741824 1073778376 140735812650144 139894239589544 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.83
Current children cumulated vsize (KiB) 9625040

[startup+6.30084 s]
/proc/loadavg: 2.22 2.30 2.24 3/213 21175
/proc/meminfo: memFree=29968432/32872528 swapFree=1643088/1798432
[pid=21156] ppid=21153 vsize=9625040 CPUtime=7.06 cores=1,3,5,7
/proc/21156/stat : 21156 (java) S 21153 21156 19053 0 -1 4202496 9994 0 1 0 702 4 0 0 20 0 19 0 28922300 9856040960 17654 33554432000 1073741824 1073778376 140735812650144 140735812641280 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21156/statm: 2406260 17654 2271 9 0 2396937 0
[pid=21156/tid=21158] ppid=21153 vsize=9625040 CPUtime=6.26 cores=1,3,5,7
/proc/21156/task/21158/stat : 21158 (java) R 21153 21156 19053 0 -1 4202560 2431 0 1 0 623 3 0 0 20 0 19 0 28922301 9856040960 17654 33554432000 1073741824 1073778376 140735812650144 139894491324096 139894350088392 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21156/tid=21159] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21159/stat : 21159 (java) S 21153 21156 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28922302 9856040960 17654 33554432000 1073741824 1073778376 140735812650144 139894469433896 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21156/tid=21160] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21160/stat : 21160 (java) S 21153 21156 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28922302 9856040960 17654 33554432000 1073741824 1073778376 140735812650144 139894468381096 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21156/tid=21161] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21161/stat : 21161 (java) S 21153 21156 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28922302 9856040960 17654 33554432000 1073741824 1073778376 140735812650144 139894265473320 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21156/tid=21162] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21162/stat : 21162 (java) S 21153 21156 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28922302 9856040960 17654 33554432000 1073741824 1073778376 140735812650144 139894264420520 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21156/tid=21163] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21163/stat : 21163 (java) S 21153 21156 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28922302 9856040960 17654 33554432000 1073741824 1073778376 140735812650144 139894263368744 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21156/tid=21164] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21164/stat : 21164 (java) S 21153 21156 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28922302 9856040960 17654 33554432000 1073741824 1073778376 140735812650144 139894262315944 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21156/tid=21165] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21165/stat : 21165 (java) S 21153 21156 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28922302 9856040960 17654 33554432000 1073741824 1073778376 140735812650144 139894261263144 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21156/tid=21166] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21166/stat : 21166 (java) S 21153 21156 19053 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28922302 9856040960 17654 33554432000 1073741824 1073778376 140735812650144 139894260210344 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21156/tid=21167] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21167/stat : 21167 (java) S 21153 21156 19053 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 28922303 9856040960 17654 33554432000 1073741824 1073778376 140735812650144 139894248012264 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21156/tid=21168] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21168/stat : 21168 (java) S 21153 21156 19053 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 28922303 9856040960 17654 33554432000 1073741824 1073778376 140735812650144 139894246958328 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21156/tid=21169] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21169/stat : 21169 (java) S 21153 21156 19053 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28922303 9856040960 17654 33554432000 1073741824 1073778376 140735812650144 139894245905416 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21156/tid=21170] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21170/stat : 21170 (java) S 21153 21156 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28922306 9856040960 17654 33554432000 1073741824 1073778376 140735812650144 139894244853904 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21156/tid=21171] ppid=21153 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/21156/task/21171/stat : 21171 (java) S 21153 21156 19053 0 -1 4202560 1937 0 0 0 29 0 0 0 20 0 19 0 28922306 9856040960 17654 33554432000 1073741824 1073778376 140735812650144 139894243802040 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21156/tid=21172] ppid=21153 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/21156/task/21172/stat : 21172 (java) S 21153 21156 19053 0 -1 4202560 4347 0 0 0 46 0 0 0 20 0 19 0 28922306 9856040960 17654 33554432000 1073741824 1073778376 140735812650144 139894242749240 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21156/tid=21173] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21173/stat : 21173 (java) S 21153 21156 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28922306 9856040960 17654 33554432000 1073741824 1073778376 140735812650144 139894241696632 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21156/tid=21174] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21174/stat : 21174 (java) S 21153 21156 19053 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 28922306 9856040960 17654 33554432000 1073741824 1073778376 140735812650144 139894240644040 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21156/tid=21175] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21175/stat : 21175 (java) S 21153 21156 19053 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 28922342 9856040960 17654 33554432000 1073741824 1073778376 140735812650144 139894239589544 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.06
Current children cumulated vsize (KiB) 9625040


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

[pid=21156/tid=21168] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21168/stat : 21168 (java) S 21153 21156 19053 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28922303 9856040960 98222 33554432000 1073741824 1073778376 140735812650144 139894246958328 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21156/tid=21169] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21169/stat : 21169 (java) S 21153 21156 19053 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28922303 9856040960 98222 33554432000 1073741824 1073778376 140735812650144 139894245905416 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21156/tid=21170] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21170/stat : 21170 (java) S 21153 21156 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28922306 9856040960 98222 33554432000 1073741824 1073778376 140735812650144 139894244853904 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21156/tid=21171] ppid=21153 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/21156/task/21171/stat : 21171 (java) S 21153 21156 19053 0 -1 4202560 1937 0 0 0 29 0 0 0 20 0 19 0 28922306 9856040960 98222 33554432000 1073741824 1073778376 140735812650144 139894243802040 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21156/tid=21172] ppid=21153 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/21156/task/21172/stat : 21172 (java) S 21153 21156 19053 0 -1 4202560 4475 0 0 0 50 0 0 0 20 0 19 0 28922306 9856040960 98222 33554432000 1073741824 1073778376 140735812650144 139894242749240 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21156/tid=21173] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21173/stat : 21173 (java) S 21153 21156 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28922306 9856040960 98222 33554432000 1073741824 1073778376 140735812650144 139894241696632 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21156/tid=21174] ppid=21153 vsize=9625040 CPUtime=0.71 cores=1,3,5,7
/proc/21156/task/21174/stat : 21174 (java) S 21153 21156 19053 0 -1 4202560 95 0 0 0 29 42 0 0 20 0 19 0 28922306 9856040960 98222 33554432000 1073741824 1073778376 140735812650144 139894240644040 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 2 0 0
[pid=21156/tid=21175] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21175/stat : 21175 (java) S 21153 21156 19053 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 28922342 9856040960 98222 33554432000 1073741824 1073778376 140735812650144 139894239589544 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1664.47
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.36 2.33 2.28 4/213 21307
/proc/meminfo: memFree=29641320/32872528 swapFree=1643088/1798432
[pid=21156] ppid=21153 vsize=9625040 CPUtime=1724.56 cores=1,3,5,7
/proc/21156/stat : 21156 (java) S 21153 21156 19053 0 -1 4202496 11322 0 1 0 172380 76 0 0 20 0 19 0 28922300 9856040960 102316 33554432000 1073741824 1073778376 140735812650144 140735812641280 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21156/statm: 2406260 102316 2285 9 0 2396937 0
[pid=21156/tid=21158] ppid=21153 vsize=9625040 CPUtime=1721.9 cores=1,3,5,7
/proc/21156/task/21158/stat : 21158 (java) R 21153 21156 19053 0 -1 4202560 2487 0 1 0 172156 34 0 0 20 0 19 0 28922301 9856040960 102316 33554432000 1073741824 1073778376 140735812650144 139894491331888 139894350067530 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21156/tid=21159] ppid=21153 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/21156/task/21159/stat : 21159 (java) S 21153 21156 19053 0 -1 4202560 78 0 0 0 16 5 0 0 20 0 19 0 28922302 9856040960 102316 33554432000 1073741824 1073778376 140735812650144 139894469433896 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21156/tid=21160] ppid=21153 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/21156/task/21160/stat : 21160 (java) S 21153 21156 19053 0 -1 4202560 114 0 0 0 11 3 0 0 20 0 19 0 28922302 9856040960 102316 33554432000 1073741824 1073778376 140735812650144 139894468381096 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21156/tid=21161] ppid=21153 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/21156/task/21161/stat : 21161 (java) S 21153 21156 19053 0 -1 4202560 121 0 0 0 13 4 0 0 20 0 19 0 28922302 9856040960 102316 33554432000 1073741824 1073778376 140735812650144 139894265473320 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21156/tid=21162] ppid=21153 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/21156/task/21162/stat : 21162 (java) S 21153 21156 19053 0 -1 4202560 187 0 0 0 14 5 0 0 20 0 19 0 28922302 9856040960 102316 33554432000 1073741824 1073778376 140735812650144 139894264420520 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21156/tid=21163] ppid=21153 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/21156/task/21163/stat : 21163 (java) S 21153 21156 19053 0 -1 4202560 195 0 0 0 12 3 0 0 20 0 19 0 28922302 9856040960 102316 33554432000 1073741824 1073778376 140735812650144 139894263368744 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21156/tid=21164] ppid=21153 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/21156/task/21164/stat : 21164 (java) S 21153 21156 19053 0 -1 4202560 54 0 0 0 13 3 0 0 20 0 19 0 28922302 9856040960 102316 33554432000 1073741824 1073778376 140735812650144 139894262315944 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21156/tid=21165] ppid=21153 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/21156/task/21165/stat : 21165 (java) S 21153 21156 19053 0 -1 4202560 55 0 0 0 14 3 0 0 20 0 19 0 28922302 9856040960 102316 33554432000 1073741824 1073778376 140735812650144 139894261263144 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21156/tid=21166] ppid=21153 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/21156/task/21166/stat : 21166 (java) S 21153 21156 19053 0 -1 4202560 187 0 0 0 17 5 0 0 20 0 19 0 28922302 9856040960 102316 33554432000 1073741824 1073778376 140735812650144 139894260210344 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21156/tid=21167] ppid=21153 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/21156/task/21167/stat : 21167 (java) S 21153 21156 19053 0 -1 4202560 69 0 0 0 1 1 0 0 20 0 19 0 28922303 9856040960 102316 33554432000 1073741824 1073778376 140735812650144 139894248012264 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21156/tid=21168] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21168/stat : 21168 (java) S 21153 21156 19053 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28922303 9856040960 102316 33554432000 1073741824 1073778376 140735812650144 139894246958328 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21156/tid=21169] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21169/stat : 21169 (java) S 21153 21156 19053 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28922303 9856040960 102316 33554432000 1073741824 1073778376 140735812650144 139894245905416 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21156/tid=21170] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21170/stat : 21170 (java) S 21153 21156 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28922306 9856040960 102316 33554432000 1073741824 1073778376 140735812650144 139894244853904 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21156/tid=21171] ppid=21153 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/21156/task/21171/stat : 21171 (java) S 21153 21156 19053 0 -1 4202560 1937 0 0 0 29 0 0 0 20 0 19 0 28922306 9856040960 102316 33554432000 1073741824 1073778376 140735812650144 139894243802040 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21156/tid=21172] ppid=21153 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/21156/task/21172/stat : 21172 (java) S 21153 21156 19053 0 -1 4202560 4475 0 0 0 50 0 0 0 20 0 19 0 28922306 9856040960 102316 33554432000 1073741824 1073778376 140735812650144 139894242749240 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21156/tid=21173] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21173/stat : 21173 (java) S 21153 21156 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28922306 9856040960 102316 33554432000 1073741824 1073778376 140735812650144 139894241696632 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21156/tid=21174] ppid=21153 vsize=9625040 CPUtime=0.73 cores=1,3,5,7
/proc/21156/task/21174/stat : 21174 (java) S 21153 21156 19053 0 -1 4202560 99 0 0 0 30 43 0 0 20 0 19 0 28922306 9856040960 102316 33554432000 1073741824 1073778376 140735812650144 139894240644040 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 2 0 0
[pid=21156/tid=21175] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21175/stat : 21175 (java) S 21153 21156 19053 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 28922342 9856040960 102316 33554432000 1073741824 1073778376 140735812650144 139894239589544 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1724.56
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.36 2.33 2.28 4/213 21308
/proc/meminfo: memFree=29640800/32872528 swapFree=1643088/1798432
[pid=21156] ppid=21153 vsize=9625040 CPUtime=1784.59 cores=1,3,5,7
/proc/21156/stat : 21156 (java) S 21153 21156 19053 0 -1 4202496 11326 0 1 0 178381 78 0 0 20 0 19 0 28922300 9856040960 102316 33554432000 1073741824 1073778376 140735812650144 140735812641280 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21156/statm: 2406260 102316 2285 9 0 2396937 0
[pid=21156/tid=21158] ppid=21153 vsize=9625040 CPUtime=1781.9 cores=1,3,5,7
/proc/21156/task/21158/stat : 21158 (java) R 21153 21156 19053 0 -1 4202560 2487 0 1 0 178155 35 0 0 20 0 19 0 28922301 9856040960 102316 33554432000 1073741824 1073778376 140735812650144 139894491324192 139894349992705 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21156/tid=21159] ppid=21153 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/21156/task/21159/stat : 21159 (java) S 21153 21156 19053 0 -1 4202560 78 0 0 0 16 5 0 0 20 0 19 0 28922302 9856040960 102316 33554432000 1073741824 1073778376 140735812650144 139894469433896 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21156/tid=21160] ppid=21153 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/21156/task/21160/stat : 21160 (java) S 21153 21156 19053 0 -1 4202560 114 0 0 0 11 3 0 0 20 0 19 0 28922302 9856040960 102316 33554432000 1073741824 1073778376 140735812650144 139894468381096 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21156/tid=21161] ppid=21153 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/21156/task/21161/stat : 21161 (java) S 21153 21156 19053 0 -1 4202560 121 0 0 0 13 4 0 0 20 0 19 0 28922302 9856040960 102316 33554432000 1073741824 1073778376 140735812650144 139894265473320 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21156/tid=21162] ppid=21153 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/21156/task/21162/stat : 21162 (java) S 21153 21156 19053 0 -1 4202560 187 0 0 0 14 5 0 0 20 0 19 0 28922302 9856040960 102316 33554432000 1073741824 1073778376 140735812650144 139894264420520 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21156/tid=21163] ppid=21153 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/21156/task/21163/stat : 21163 (java) S 21153 21156 19053 0 -1 4202560 195 0 0 0 12 3 0 0 20 0 19 0 28922302 9856040960 102316 33554432000 1073741824 1073778376 140735812650144 139894263368744 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21156/tid=21164] ppid=21153 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/21156/task/21164/stat : 21164 (java) S 21153 21156 19053 0 -1 4202560 54 0 0 0 13 3 0 0 20 0 19 0 28922302 9856040960 102316 33554432000 1073741824 1073778376 140735812650144 139894262315944 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21156/tid=21165] ppid=21153 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/21156/task/21165/stat : 21165 (java) S 21153 21156 19053 0 -1 4202560 55 0 0 0 14 3 0 0 20 0 19 0 28922302 9856040960 102316 33554432000 1073741824 1073778376 140735812650144 139894261263144 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21156/tid=21166] ppid=21153 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/21156/task/21166/stat : 21166 (java) S 21153 21156 19053 0 -1 4202560 187 0 0 0 17 5 0 0 20 0 19 0 28922302 9856040960 102316 33554432000 1073741824 1073778376 140735812650144 139894260210344 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21156/tid=21167] ppid=21153 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/21156/task/21167/stat : 21167 (java) S 21153 21156 19053 0 -1 4202560 69 0 0 0 1 1 0 0 20 0 19 0 28922303 9856040960 102316 33554432000 1073741824 1073778376 140735812650144 139894248012264 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21156/tid=21168] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21168/stat : 21168 (java) S 21153 21156 19053 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28922303 9856040960 102316 33554432000 1073741824 1073778376 140735812650144 139894246958328 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21156/tid=21169] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21169/stat : 21169 (java) S 21153 21156 19053 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28922303 9856040960 102316 33554432000 1073741824 1073778376 140735812650144 139894245905416 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21156/tid=21170] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21170/stat : 21170 (java) S 21153 21156 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28922306 9856040960 102316 33554432000 1073741824 1073778376 140735812650144 139894244853904 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21156/tid=21171] ppid=21153 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/21156/task/21171/stat : 21171 (java) S 21153 21156 19053 0 -1 4202560 1937 0 0 0 29 0 0 0 20 0 19 0 28922306 9856040960 102316 33554432000 1073741824 1073778376 140735812650144 139894243802040 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21156/tid=21172] ppid=21153 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/21156/task/21172/stat : 21172 (java) S 21153 21156 19053 0 -1 4202560 4475 0 0 0 50 0 0 0 20 0 19 0 28922306 9856040960 102316 33554432000 1073741824 1073778376 140735812650144 139894242749240 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21156/tid=21173] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21173/stat : 21173 (java) S 21153 21156 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28922306 9856040960 102316 33554432000 1073741824 1073778376 140735812650144 139894241696632 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21156/tid=21174] ppid=21153 vsize=9625040 CPUtime=0.76 cores=1,3,5,7
/proc/21156/task/21174/stat : 21174 (java) S 21153 21156 19053 0 -1 4202560 103 0 0 0 32 44 0 0 20 0 19 0 28922306 9856040960 102316 33554432000 1073741824 1073778376 140735812650144 139894240644040 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 2 0 0
[pid=21156/tid=21175] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21175/stat : 21175 (java) S 21153 21156 19053 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 28922342 9856040960 102316 33554432000 1073741824 1073778376 140735812650144 139894239589544 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1784.59
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.8 s]
/proc/loadavg: 2.42 2.35 2.28 3/213 21308
/proc/meminfo: memFree=29641024/32872528 swapFree=1643088/1798432
[pid=21156] ppid=21153 vsize=9625040 CPUtime=1800.09 cores=1,3,5,7
/proc/21156/stat : 21156 (java) S 21153 21156 19053 0 -1 4202496 11326 0 1 0 179931 78 0 0 20 0 19 0 28922300 9856040960 102316 33554432000 1073741824 1073778376 140735812650144 140735812641280 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21156/statm: 2406260 102316 2285 9 0 2396937 0
[pid=21156/tid=21158] ppid=21153 vsize=9625040 CPUtime=1797.4 cores=1,3,5,7
/proc/21156/task/21158/stat : 21158 (java) R 21153 21156 19053 0 -1 4202560 2487 0 1 0 179705 35 0 0 20 0 19 0 28922301 9856040960 102316 33554432000 1073741824 1073778376 140735812650144 139894491324192 139894350067530 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21156/tid=21159] ppid=21153 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/21156/task/21159/stat : 21159 (java) S 21153 21156 19053 0 -1 4202560 78 0 0 0 16 5 0 0 20 0 19 0 28922302 9856040960 102316 33554432000 1073741824 1073778376 140735812650144 139894469433896 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21156/tid=21160] ppid=21153 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/21156/task/21160/stat : 21160 (java) S 21153 21156 19053 0 -1 4202560 114 0 0 0 11 3 0 0 20 0 19 0 28922302 9856040960 102316 33554432000 1073741824 1073778376 140735812650144 139894468381096 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21156/tid=21161] ppid=21153 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/21156/task/21161/stat : 21161 (java) S 21153 21156 19053 0 -1 4202560 121 0 0 0 13 4 0 0 20 0 19 0 28922302 9856040960 102316 33554432000 1073741824 1073778376 140735812650144 139894265473320 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21156/tid=21162] ppid=21153 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/21156/task/21162/stat : 21162 (java) S 21153 21156 19053 0 -1 4202560 187 0 0 0 14 5 0 0 20 0 19 0 28922302 9856040960 102316 33554432000 1073741824 1073778376 140735812650144 139894264420520 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21156/tid=21163] ppid=21153 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/21156/task/21163/stat : 21163 (java) S 21153 21156 19053 0 -1 4202560 195 0 0 0 12 3 0 0 20 0 19 0 28922302 9856040960 102316 33554432000 1073741824 1073778376 140735812650144 139894263368744 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21156/tid=21164] ppid=21153 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/21156/task/21164/stat : 21164 (java) S 21153 21156 19053 0 -1 4202560 54 0 0 0 13 3 0 0 20 0 19 0 28922302 9856040960 102316 33554432000 1073741824 1073778376 140735812650144 139894262315944 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21156/tid=21165] ppid=21153 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/21156/task/21165/stat : 21165 (java) S 21153 21156 19053 0 -1 4202560 55 0 0 0 14 3 0 0 20 0 19 0 28922302 9856040960 102316 33554432000 1073741824 1073778376 140735812650144 139894261263144 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21156/tid=21166] ppid=21153 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/21156/task/21166/stat : 21166 (java) S 21153 21156 19053 0 -1 4202560 187 0 0 0 17 5 0 0 20 0 19 0 28922302 9856040960 102316 33554432000 1073741824 1073778376 140735812650144 139894260210344 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21156/tid=21167] ppid=21153 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/21156/task/21167/stat : 21167 (java) S 21153 21156 19053 0 -1 4202560 69 0 0 0 1 1 0 0 20 0 19 0 28922303 9856040960 102316 33554432000 1073741824 1073778376 140735812650144 139894248012264 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21156/tid=21168] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21168/stat : 21168 (java) S 21153 21156 19053 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28922303 9856040960 102316 33554432000 1073741824 1073778376 140735812650144 139894246958328 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21156/tid=21169] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21169/stat : 21169 (java) S 21153 21156 19053 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28922303 9856040960 102316 33554432000 1073741824 1073778376 140735812650144 139894245905416 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21156/tid=21170] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21170/stat : 21170 (java) S 21153 21156 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28922306 9856040960 102316 33554432000 1073741824 1073778376 140735812650144 139894244853904 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21156/tid=21171] ppid=21153 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/21156/task/21171/stat : 21171 (java) S 21153 21156 19053 0 -1 4202560 1937 0 0 0 29 0 0 0 20 0 19 0 28922306 9856040960 102316 33554432000 1073741824 1073778376 140735812650144 139894243802040 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21156/tid=21172] ppid=21153 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/21156/task/21172/stat : 21172 (java) S 21153 21156 19053 0 -1 4202560 4475 0 0 0 50 0 0 0 20 0 19 0 28922306 9856040960 102316 33554432000 1073741824 1073778376 140735812650144 139894242749240 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21156/tid=21173] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21173/stat : 21173 (java) S 21153 21156 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28922306 9856040960 102316 33554432000 1073741824 1073778376 140735812650144 139894241696632 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21156/tid=21174] ppid=21153 vsize=9625040 CPUtime=0.77 cores=1,3,5,7
/proc/21156/task/21174/stat : 21174 (java) S 21153 21156 19053 0 -1 4202560 103 0 0 0 32 45 0 0 20 0 19 0 28922306 9856040960 102316 33554432000 1073741824 1073778376 140735812650144 139894240644040 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 2 0 0
[pid=21156/tid=21175] ppid=21153 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21156/task/21175/stat : 21175 (java) S 21153 21156 19053 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 28922342 9856040960 102316 33554432000 1073741824 1073778376 140735812650144 139894239589544 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
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 21156 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 1797.84
CPU time (s): 1800.71
CPU user time (s): 1799.45
CPU system time (s): 1.26181
CPU usage (%): 100.16
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.45
system time used= 1.26181
maximum resident set size= 410076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11543
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38345
involuntary context switches= 3540

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.897 second user time and 16.5155 second system time

The end

Launcher Data 

Begin job on node123 at 2016-06-26 18:33:52
IDJOB=4117033
IDBENCH=109544
IDSOLVER=2546
FILE ID=node123/4117033-1466958832
RUNJOBID= node123-1466943595-19070
PBS_JOBID= 19976352
Free space on /tmp= 71728 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round22-7.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4117033-1466958832/watcher-4117033-1466958832 -o /tmp/evaluation-result-4117033-1466958832/solver-4117033-1466958832 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466943595-19070 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4117033-1466958832.opb

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

MD5SUM BENCH= 2a6069c06e2a32eae387bc35cb99c2fe
RANDOM SEED=2093721953

node123.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.608
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.21
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.608
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.608
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.608
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.56
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.608
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.608
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.56
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.608
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.608
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30030140 kB
Buffers:           21392 kB
Cached:           111860 kB
SwapCached:         1776 kB
Active:           222056 kB
Inactive:         108444 kB
Active(anon):     198940 kB
Inactive(anon):      924 kB
Active(file):      23116 kB
Inactive(file):   107520 kB
Unevictable:     1798432 kB
Mlocked:         1643088 kB
SwapTotal:      67108856 kB
SwapFree:       67098700 kB
Dirty:              1252 kB
Writeback:             0 kB
AnonPages:       2007692 kB
Mapped:            15348 kB
Shmem:                 0 kB
Slab:             565480 kB
SReclaimable:       9452 kB
SUnreclaim:       556028 kB
KernelStack:        1608 kB
PageTables:         8224 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2487396 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988140 kB
HardwareCorrupted:     0 kB
AnonHugePages:    333824 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= 71728 MiB
End job on node123 at 2016-06-26 19:03:50