Trace number 4116638

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 Res+CP PB16? (TO) 1800.08 895.058

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size96-round22-9.opb
MD5SUM16a4f59e2b2123f7f2760440e462508a
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1305.04
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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	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.11	c Pseudo Boolean Optimization by upper bound
0.11/0.11	c ManyCore solver with 2 solvers running in parallel
0.11/0.11	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Glucose 2.1 dynamic restart strategy
0.11/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.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.11/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.11	c No reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/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.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-4116638-1466953248.opb
0.11/0.11	c reading problem ... 
0.11/0.11	c  no objective function found
0.75/0.48	c ... done. Wall clock time 0.37s.
0.75/0.48	c declared #vars     4128
0.75/0.48	c #constraints  9920
0.75/0.48	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.75/0.48	c constraints type 
0.75/0.48	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6726
0.75/0.48	c org.sat4j.specs.Constr$1 => 872
0.75/0.48	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 128
0.75/0.48	c org.sat4j.minisat.constraints.cnf.UnitClause => 472
0.75/0.48	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1722
0.75/0.48	c 9920 constraints processed.
0.75/0.48	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.75/0.48	c constraints type 
0.75/0.48	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 128
0.75/0.48	c org.sat4j.specs.Constr$1 => 872
0.75/0.48	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6726
0.75/0.48	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1722
0.75/0.48	c org.sat4j.pb.constraints.pb.UnitClausePB => 472
0.75/0.48	c 9920 constraints processed.
4.63/1.45	c cleaning 2497 clauses out of 4998 with flag 15715/5000
6.44/2.07	c cleaning 4246 clauses out of 8501 with flag 36924/11000
7.90/2.78	c cleaning 5609 clauses out of 11255 with flag 65061/18000
9.85/3.64	c cleaning 6808 clauses out of 13646 with flag 98388/26000
11.68/4.57	c cleaning 7892 clauses out of 15838 with flag 136921/35000
14.14/5.74	c cleaning 8948 clauses out of 17946 with flag 182105/45000
16.82/7.06	c cleaning 9990 clauses out of 19998 with flag 235583/56000
19.62/8.48	c cleaning 10983 clauses out of 22009 with flag 294056/68001
23.09/10.12	c cleaning 11999 clauses out of 24026 with flag 359696/81001
26.49/11.81	c cleaning 12989 clauses out of 26027 with flag 433014/95001
30.40/13.73	c cleaning 14005 clauses out of 28038 with flag 513151/110001
34.59/15.81	c cleaning 14980 clauses out of 30034 with flag 598809/126002
39.31/18.16	c cleaning 16016 clauses out of 32052 with flag 689706/143000
41.91/19.43	c cleaning 0 clauses out of 5000 with flag 0/5000
44.38/20.63	c cleaning 16996 clauses out of 34036 with flag 790101/161000
50.19/23.40	c cleaning 17999 clauses out of 36040 with flag 897030/180000
56.18/26.32	c cleaning 19001 clauses out of 38041 with flag 1011655/200000
62.38/29.43	c cleaning 20012 clauses out of 40040 with flag 1132509/221000
69.27/32.81	c cleaning 20984 clauses out of 42030 with flag 1262767/243002
76.49/36.41	c cleaning 22021 clauses out of 44044 with flag 1398789/266000
84.16/40.22	c cleaning 22996 clauses out of 46024 with flag 1540623/290001
92.15/44.25	c cleaning 23993 clauses out of 48027 with flag 1689030/315000
101.25/48.70	c cleaning 25004 clauses out of 50036 with flag 1844674/341002
110.64/53.44	c cleaning 26011 clauses out of 52034 with flag 2005383/368004
120.34/58.29	c cleaning 26985 clauses out of 54020 with flag 2175888/396001
130.84/63.43	c cleaning 28001 clauses out of 56035 with flag 2352974/425001
141.44/68.77	c cleaning 28983 clauses out of 58033 with flag 2537047/455000
152.93/74.44	c cleaning 29999 clauses out of 60051 with flag 2726356/486001
165.22/80.57	c cleaning 31025 clauses out of 62051 with flag 2924494/518000
177.02/86.40	c cleaning 31978 clauses out of 64026 with flag 3128715/551000
189.69/92.73	c cleaning 32979 clauses out of 66048 with flag 3339947/585000
204.52/100.48	c cleaning 33998 clauses out of 68069 with flag 3559916/620000
218.76/107.54	c cleaning 35036 clauses out of 70072 with flag 3788656/656001
234.00/115.18	c cleaning 35978 clauses out of 72036 with flag 4020655/693001
249.66/122.99	c cleaning 37019 clauses out of 74058 with flag 4257758/731001
266.54/131.38	c cleaning 37998 clauses out of 76038 with flag 4502050/770000
284.25/140.13	c cleaning 38979 clauses out of 78041 with flag 4755550/810001
303.24/149.56	c cleaning 39994 clauses out of 80062 with flag 5012826/851001
322.58/159.14	c cleaning 40991 clauses out of 82067 with flag 5280704/893000
328.78/162.24	c cleaning 0 clauses out of 11001 with flag 0/11001
342.92/169.27	c cleaning 41976 clauses out of 84076 with flag 5552029/936000
363.47/179.49	c cleaning 43037 clauses out of 86100 with flag 5830533/980000
384.96/190.13	c cleaning 43961 clauses out of 88063 with flag 6116806/1025000
407.57/201.40	c cleaning 45025 clauses out of 90102 with flag 6405676/1071000
431.20/213.17	c cleaning 46034 clauses out of 92077 with flag 6704076/1118000
455.55/225.22	c cleaning 47012 clauses out of 94043 with flag 7008875/1166000
481.03/237.93	c cleaning 47995 clauses out of 96031 with flag 7322248/1215000
507.40/251.06	c cleaning 49002 clauses out of 98036 with flag 7638056/1265000
534.52/264.50	c cleaning 50006 clauses out of 100034 with flag 7959357/1316000
562.37/278.31	c cleaning 50993 clauses out of 102028 with flag 8288972/1368000
589.87/292.07	c cleaning 51987 clauses out of 104036 with flag 8624110/1421001
620.53/307.85	c cleaning 52978 clauses out of 106048 with flag 8967998/1475000
650.26/322.69	c cleaning 54012 clauses out of 108070 with flag 9317177/1530000
681.60/338.22	c cleaning 54987 clauses out of 110058 with flag 9673928/1586000
714.20/354.46	c cleaning 56016 clauses out of 112071 with flag 10038288/1643000
748.03/371.29	c cleaning 56986 clauses out of 114055 with flag 10410431/1701000
782.38/388.35	c cleaning 58017 clauses out of 116072 with flag 10787935/1760003
818.26/406.14	c cleaning 59012 clauses out of 118054 with flag 11173860/1820002
855.65/424.63	c cleaning 59976 clauses out of 120040 with flag 11562900/1881000
893.05/443.26	c cleaning 61021 clauses out of 122064 with flag 11953907/1943000
931.40/462.33	c cleaning 61987 clauses out of 124043 with flag 12356378/2006000
971.18/482.13	c cleaning 63007 clauses out of 126056 with flag 12762489/2070000
1012.19/502.51	c cleaning 64004 clauses out of 128049 with flag 13177641/2135000
1031.27/512.05	c cleaning 0 clauses out of 18001 with flag 0/18001
1054.17/523.45	c cleaning 64958 clauses out of 130045 with flag 13595574/2201000
1096.73/544.68	c cleaning 66010 clauses out of 132087 with flag 14021796/2268000
1142.70/567.44	c cleaning 67024 clauses out of 134077 with flag 14455625/2336000
1190.37/591.92	c cleaning 68021 clauses out of 136053 with flag 14894030/2405000
1239.16/616.21	c cleaning 68994 clauses out of 138032 with flag 15341406/2475000
1288.27/640.62	c cleaning 69989 clauses out of 140038 with flag 15793456/2546000
1338.36/665.53	c cleaning 70994 clauses out of 142049 with flag 16247973/2618000
1391.13/691.76	c cleaning 71979 clauses out of 144055 with flag 16710623/2691000
1443.78/717.95	c cleaning 73014 clauses out of 146076 with flag 17180329/2765000
1497.25/744.53	c cleaning 74022 clauses out of 148062 with flag 17657389/2840000
1552.70/772.12	c cleaning 75002 clauses out of 150040 with flag 18143937/2916000
1609.42/800.30	c cleaning 75992 clauses out of 152039 with flag 18632224/2993001
1667.26/829.00	c cleaning 76977 clauses out of 154047 with flag 19132165/3071001
1726.71/858.50	c cleaning 78009 clauses out of 156069 with flag 19632442/3150000
1787.61/888.83	c cleaning 78987 clauses out of 158060 with flag 20142834/3230000
1800.08/895.00	c >>>>>>>>>> Solver number 0 (0 answers) <<<<<<<<<<<<<<<<<<
1800.08/895.00	c starts		: 26947
1800.08/895.00	c conflicts		: 3249948
1800.08/895.00	c decisions		: 33694972
1800.08/895.00	c propagations		: 453073925
1800.08/895.00	c inspects		: 9245878854
1800.08/895.00	c shortcuts		: 0
1800.08/895.00	c learnt literals	: 2
1800.08/895.00	c learnt binary clauses	: 46
1800.08/895.00	c learnt ternary clauses	: 624
1800.08/895.00	c learnt constraints	: 3249946
1800.08/895.00	c ignored constraints	: 0
1800.08/895.00	c root simplifications	: 0
1800.08/895.00	c removed literals (reason simplification)	: 2053428
1800.08/895.00	c reason swapping (by a shorter reason)	: 0
1800.08/895.00	c Calls to reduceDB	: 76
1800.08/895.00	c Number of update (reduction) of LBD	: 682777
1800.08/895.00	c Imported unit clauses	: 0
1800.08/895.00	c number of reductions to clauses (during analyze)	: 0
1800.08/895.00	c number of learned constraints concerned by reduction	: 0
1800.08/895.00	c number of learning phase by resolution	: 0
1800.08/895.00	c number of learning phase by cutting planes	: 0
1800.08/895.00	c speed (assignments/second)	: 506503.4549525831
1800.08/895.00	c non guided choices	7526
1800.08/895.03	c learnt constraints type 
1800.08/895.03	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 46
1800.08/895.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 98975
1800.08/895.03	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.08/895.03	c starts		: 51
1800.08/895.03	c conflicts		: 22668
1800.08/895.03	c decisions		: 82290
1800.08/895.03	c propagations		: 2745462
1800.08/895.03	c inspects		: 860471354
1800.08/895.03	c shortcuts		: 0
1800.08/895.03	c learnt literals	: 0
1800.08/895.03	c learnt binary clauses	: 0
1800.08/895.03	c learnt ternary clauses	: 0
1800.08/895.03	c learnt constraints	: 22667
1800.08/895.03	c ignored constraints	: 0
1800.08/895.03	c root simplifications	: 0
1800.08/895.03	c removed literals (reason simplification)	: 0
1800.08/895.03	c reason swapping (by a shorter reason)	: 0
1800.08/895.03	c Calls to reduceDB	: 3
1800.08/895.03	c Number of update (reduction) of LBD	: 0
1800.08/895.03	c Imported unit clauses	: 0
1800.08/895.03	c number of reductions to clauses (during analyze)	: 0
1800.08/895.03	c number of learned constraints concerned by reduction	: 0
1800.08/895.03	c number of learning phase by resolution	: 0
1800.08/895.03	c number of learning phase by cutting planes	: 0
1800.08/895.03	c speed (assignments/second)	: 3069.1396005535817
1800.08/895.03	c non guided choices	255
1800.08/895.04	c learnt constraints type 
1800.08/895.04	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 12
1800.08/895.04	c org.sat4j.pb.constraints.pb.MaxWatchPb => 22655
1800.08/895.04	s UNKNOWN
1800.08/895.04	c Total wall clock time (in seconds): 894.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-4116638-1466953248/watcher-4116638-1466953248 -o /tmp/evaluation-result-4116638-1466953248/solver-4116638-1466953248 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466943674-19491 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4116638-1466953248.opb 

pid=21532
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: 4.47 4.37 4.29 4/198 21535
/proc/meminfo: memFree=29774884/32872528 swapFree=1541156/1696500
[pid=21535] ppid=21532 vsize=91816 CPUtime=0 cores=1,3,5,7
/proc/21535/stat : 21535 (java) S 21532 21535 19474 0 -1 4202496 1284 0 0 0 0 0 0 0 20 0 2 0 28363525 94019584 917 33554432000 1073741824 1073778376 140735904926432 140735904917568 270710898749 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21535/statm: 22954 917 697 9 0 16769 0
[pid=21535/tid=21536] ppid=21532 vsize=92900 CPUtime=0 cores=1,3,5,7
/proc/21535/task/21536/stat : 21536 (java) D 21532 21535 19474 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 2 0 28363526 95129600 927 33554432000 1073741824 1073778376 140735904926432 140366559768104 270698376487 0 0 4096 0 18446744072100588836 0 0 -1 1 0 0 0 0 0

[startup+0.100164 s]
/proc/loadavg: 4.47 4.37 4.29 4/198 21535
/proc/meminfo: memFree=29774884/32872528 swapFree=1541156/1696500
[pid=21535] ppid=21532 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/21535/stat : 21535 (java) S 21532 21535 19474 0 -1 4202496 4499 0 1 0 10 1 0 0 20 0 18 0 28363525 9787879424 6126 33554432000 1073741824 1073778376 140735904926432 140735904917568 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21535/statm: 2389619 6126 2156 9 0 2380296 0
[pid=21535/tid=21536] ppid=21532 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/21535/task/21536/stat : 21536 (java) R 21532 21535 19474 0 -1 4202560 2388 0 1 0 7 0 0 0 20 0 18 0 28363526 9787879424 6126 33554432000 1073741824 1073778376 140735904926432 140366559772120 270710924557 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200382 s]
/proc/loadavg: 4.47 4.37 4.29 4/198 21535
/proc/meminfo: memFree=29774884/32872528 swapFree=1541156/1696500
[pid=21535] ppid=21532 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/21535/stat : 21535 (java) S 21532 21535 19474 0 -1 4202496 4712 0 1 0 26 1 0 0 20 0 18 0 28363525 9787879424 6789 33554432000 1073741824 1073778376 140735904926432 140735904917568 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21535/statm: 2389619 6789 2214 9 0 2380296 0
[pid=21535/tid=21536] ppid=21532 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/21535/task/21536/stat : 21536 (java) R 21532 21535 19474 0 -1 4202560 2404 0 1 0 17 0 0 0 20 0 18 0 28363526 9787879424 6789 33554432000 1073741824 1073778376 140735904926432 140366559772120 140366393238512 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476

[startup+0.300273 s]
/proc/loadavg: 4.47 4.37 4.29 4/198 21535
/proc/meminfo: memFree=29774884/32872528 swapFree=1541156/1696500
[pid=21535] ppid=21532 vsize=9558476 CPUtime=0.51 cores=1,3,5,7
/proc/21535/stat : 21535 (java) S 21532 21535 19474 0 -1 4202496 6039 0 1 0 50 1 0 0 20 0 18 0 28363525 9787879424 8902 33554432000 1073741824 1073778376 140735904926432 140735904917568 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21535/statm: 2389619 8902 2234 9 0 2380296 0
[pid=21535/tid=21536] ppid=21532 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/21535/task/21536/stat : 21536 (java) R 21532 21535 19474 0 -1 4202560 2408 0 1 0 27 0 0 0 20 0 18 0 28363526 9787879424 8902 33554432000 1073741824 1073778376 140735904926432 140366559772840 140366393211227 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9558476

[startup+0.700238 s]
/proc/loadavg: 4.47 4.37 4.29 4/198 21535
/proc/meminfo: memFree=29774884/32872528 swapFree=1541156/1696500
[pid=21535] ppid=21532 vsize=9824732 CPUtime=1.86 cores=1,3,5,7
/proc/21535/stat : 21535 (java) S 21532 21535 19474 0 -1 4202496 15575 0 1 0 183 3 0 0 20 0 22 0 28363525 10060525568 23070 33554432000 1073741824 1073778376 140735904926432 140735904917568 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21535/statm: 2456183 23070 2265 9 0 2446860 0
[pid=21535/tid=21536] ppid=21532 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/21535/task/21536/stat : 21536 (java) S 21532 21535 19474 0 -1 4202560 2442 0 1 0 45 1 0 0 20 0 22 0 28363526 10060525568 23070 33554432000 1073741824 1073778376 140735904926432 140366559773560 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 9824732

[startup+1.50081 s]
/proc/loadavg: 4.47 4.37 4.29 7/220 21557
/proc/meminfo: memFree=29638444/32872528 swapFree=1541156/1696500
[pid=21535] ppid=21532 vsize=9824732 CPUtime=5 cores=1,3,5,7
/proc/21535/stat : 21535 (java) S 21532 21535 19474 0 -1 4202496 24296 0 1 0 493 7 0 0 20 0 22 0 28363525 10060525568 48486 33554432000 1073741824 1073778376 140735904926432 140735904917568 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21535/statm: 2456183 48486 2292 9 0 2446860 0
[pid=21535/tid=21536] ppid=21532 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/21535/task/21536/stat : 21536 (java) S 21532 21535 19474 0 -1 4202560 2442 0 1 0 45 1 0 0 20 0 22 0 28363526 10060525568 48486 33554432000 1073741824 1073778376 140735904926432 140366559773560 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21535/tid=21538] ppid=21532 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21535/task/21538/stat : 21538 (java) S 21532 21535 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 28363527 10060525568 48486 33554432000 1073741824 1073778376 140735904926432 140366521264296 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21535/tid=21539] ppid=21532 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21535/task/21539/stat : 21539 (java) S 21532 21535 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28363527 10060525568 48486 33554432000 1073741824 1073778376 140735904926432 140366520211752 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21535/tid=21540] ppid=21532 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21535/task/21540/stat : 21540 (java) S 21532 21535 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28363527 10060525568 48486 33554432000 1073741824 1073778376 140735904926432 140366519159208 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21535/tid=21541] ppid=21532 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21535/task/21541/stat : 21541 (java) S 21532 21535 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28363527 10060525568 48486 33554432000 1073741824 1073778376 140735904926432 140366518106664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21535/tid=21542] ppid=21532 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21535/task/21542/stat : 21542 (java) S 21532 21535 19474 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 28363527 10060525568 48486 33554432000 1073741824 1073778376 140735904926432 140366517054120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21535/tid=21543] ppid=21532 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21535/task/21543/stat : 21543 (java) S 21532 21535 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28363527 10060525568 48486 33554432000 1073741824 1073778376 140735904926432 140366516001576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21535/tid=21544] ppid=21532 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21535/task/21544/stat : 21544 (java) S 21532 21535 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28363527 10060525568 48486 33554432000 1073741824 1073778376 140735904926432 140366514949032 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21535/tid=21545] ppid=21532 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21535/task/21545/stat : 21545 (java) S 21532 21535 19474 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 28363527 10060525568 48486 33554432000 1073741824 1073778376 140735904926432 140366513896488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21535/tid=21546] ppid=21532 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21535/task/21546/stat : 21546 (java) S 21532 21535 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 28363528 10060525568 48486 33554432000 1073741824 1073778376 140735904926432 140366383634536 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21535/tid=21547] ppid=21532 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21535/task/21547/stat : 21547 (java) S 21532 21535 19474 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28363528 10060525568 48486 33554432000 1073741824 1073778376 140735904926432 140366382580856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21535/tid=21548] ppid=21532 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21535/task/21548/stat : 21548 (java) S 21532 21535 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28363528 10060525568 48486 33554432000 1073741824 1073778376 140735904926432 140366381528200 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21535/tid=21549] ppid=21532 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21535/task/21549/stat : 21549 (java) S 21532 21535 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28363530 10060525568 48486 33554432000 1073741824 1073778376 140735904926432 140366380476944 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21535/tid=21550] ppid=21532 vsize=9824732 CPUtime=1.23 cores=1,3,5,7
/proc/21535/task/21550/stat : 21550 (java) R 21532 21535 19474 0 -1 4202560 10366 0 0 0 120 3 0 0 20 0 22 0 28363530 10060525568 48486 33554432000 1073741824 1073778376 140735904926432 140366379411600 140366565708056 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21535/tid=21551] ppid=21532 vsize=9824732 CPUtime=1.24 cores=1,3,5,7
/proc/21535/task/21551/stat : 21551 (java) R 21532 21535 19474 0 -1 4202560 10077 0 0 0 123 1 0 0 20 0 22 0 28363530 10060525568 48486 33554432000 1073741824 1073778376 140735904926432 140366378348768 140366563890736 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=21535/tid=21552] ppid=21532 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21535/task/21552/stat : 21552 (java) S 21532 21535 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28363530 10060525568 48486 33554432000 1073741824 1073778376 140735904926432 140365503917048 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21535/tid=21553] ppid=21532 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21535/task/21553/stat : 21553 (java) S 21532 21535 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28363530 10060525568 48486 33554432000 1073741824 1073778376 140735904926432 140365502864712 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21535/tid=21554] ppid=21532 vsize=9824732 CPUtime=0.98 cores=1,3,5,7
/proc/21535/task/21554/stat : 21554 (java) R 21532 21535 19474 0 -1 4202560 20 0 0 0 98 0 0 0 20 0 22 0 28363574 10060525568 48486 33554432000 1073741824 1073778376 140735904926432 140365501807768 140366393668690 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21535/tid=21555] ppid=21532 vsize=9824732 CPUtime=0.96 cores=1,3,5,7
/proc/21535/task/21555/stat : 21555 (java) R 21532 21535 19474 0 -1 4202560 74 0 0 0 95 1 0 0 20 0 22 0 28363574 10060525568 48487 33554432000 1073741824 1073778376 140735904926432 140365500755192 140366563299590 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21535/tid=21556] ppid=21532 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21535/task/21556/stat : 21556 (java) S 21532 21535 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28363575 10060525568 48487 33554432000 1073741824 1073778376 140735904926432 140365499704360 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21535/tid=21557] ppid=21532 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21535/task/21557/stat : 21557 (java) S 21532 21535 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28363575 10060525568 48487 33554432000 1073741824 1073778376 140735904926432 140365498651816 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 5
Current children cumulated vsize (KiB) 9824732

[startup+3.10094 s]
/proc/loadavg: 4.59 4.40 4.30 5/220 21557
/proc/meminfo: memFree=29143568/32872528 swapFree=1541156/1696500
[pid=21535] ppid=21532 vsize=9824732 CPUtime=8.75 cores=1,3,5,7
/proc/21535/stat : 21535 (java) S 21532 21535 19474 0 -1 4202496 25702 0 1 0 862 13 0 0 20 0 22 0 28363525 10060525568 86631 33554432000 1073741824 1073778376 140735904926432 140735904917568 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21535/statm: 2456183 86631 2292 9 0 2446860 0
[pid=21535/tid=21536] ppid=21532 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/21535/task/21536/stat : 21536 (java) S 21532 21535 19474 0 -1 4202560 2442 0 1 0 45 1 0 0 20 0 22 0 28363526 10060525568 86631 33554432000 1073741824 1073778376 140735904926432 140366559773560 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21535/tid=21538] ppid=21532 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/21535/task/21538/stat : 21538 (java) S 21532 21535 19474 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 22 0 28363527 10060525568 86631 33554432000 1073741824 1073778376 140735904926432 140366521264296 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21535/tid=21539] ppid=21532 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/21535/task/21539/stat : 21539 (java) S 21532 21535 19474 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 28363527 10060525568 86631 33554432000 1073741824 1073778376 140735904926432 140366520211752 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21535/tid=21540] ppid=21532 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/21535/task/21540/stat : 21540 (java) S 21532 21535 19474 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 22 0 28363527 10060525568 86631 33554432000 1073741824 1073778376 140735904926432 140366519159208 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21535/tid=21541] ppid=21532 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/21535/task/21541/stat : 21541 (java) S 21532 21535 19474 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 22 0 28363527 10060525568 86631 33554432000 1073741824 1073778376 140735904926432 140366518106664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21535/tid=21542] ppid=21532 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/21535/task/21542/stat : 21542 (java) S 21532 21535 19474 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 22 0 28363527 10060525568 86631 33554432000 1073741824 1073778376 140735904926432 140366517054120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21535/tid=21543] ppid=21532 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/21535/task/21543/stat : 21543 (java) S 21532 21535 19474 0 -1 4202560 23 0 0 0 4 0 0 0 20 0 22 0 28363527 10060525568 86631 33554432000 1073741824 1073778376 140735904926432 140366516001576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21535/tid=21544] ppid=21532 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/21535/task/21544/stat : 21544 (java) S 21532 21535 19474 0 -1 4202560 24 0 0 0 4 2 0 0 20 0 22 0 28363527 10060525568 86631 33554432000 1073741824 1073778376 140735904926432 140366514949032 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21535/tid=21545] ppid=21532 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/21535/task/21545/stat : 21545 (java) S 21532 21535 19474 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 22 0 28363527 10060525568 86631 33554432000 1073741824 1073778376 140735904926432 140366513896488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21535/tid=21546] ppid=21532 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21535/task/21546/stat : 21546 (java) S 21532 21535 19474 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 22 0 28363528 10060525568 86631 33554432000 1073741824 1073778376 140735904926432 140366383634536 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21535/tid=21547] ppid=21532 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21535/task/21547/stat : 21547 (java) S 21532 21535 19474 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28363528 10060525568 86631 33554432000 1073741824 1073778376 140735904926432 140366382580856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21535/tid=21548] ppid=21532 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21535/task/21548/stat : 21548 (java) S 21532 21535 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28363528 10060525568 86631 33554432000 1073741824 1073778376 140735904926432 140366381528200 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21535/tid=21549] ppid=21532 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21535/task/21549/stat : 21549 (java) S 21532 21535 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28363530 10060525568 86631 33554432000 1073741824 1073778376 140735904926432 140366380476944 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21535/tid=21550] ppid=21532 vsize=9824732 CPUtime=1.59 cores=1,3,5,7
/proc/21535/task/21550/stat : 21550 (java) S 21532 21535 19474 0 -1 4202560 11432 0 0 0 156 3 0 0 20 0 22 0 28363530 10060525568 86631 33554432000 1073741824 1073778376 140735904926432 140366379424312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21535/tid=21551] ppid=21532 vsize=9824732 CPUtime=1.34 cores=1,3,5,7
/proc/21535/task/21551/stat : 21551 (java) S 21532 21535 19474 0 -1 4202560 10077 0 0 0 132 2 0 0 20 0 22 0 28363530 10060525568 86631 33554432000 1073741824 1073778376 140735904926432 140366378371768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21535/tid=21552] ppid=21532 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21535/task/21552/stat : 21552 (java) S 21532 21535 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28363530 10060525568 86631 33554432000 1073741824 1073778376 140735904926432 140365503917048 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21535/tid=21553] ppid=21532 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21535/task/21553/stat : 21553 (java) S 21532 21535 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28363530 10060525568 86631 33554432000 1073741824 1073778376 140735904926432 140365502864712 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21535/tid=21554] ppid=21532 vsize=9824732 CPUtime=2.5 cores=1,3,5,7
/proc/21535/task/21554/stat : 21554 (java) R 21532 21535 19474 0 -1 4202560 21 0 0 0 250 0 0 0 20 0 22 0 28363574 10060525568 86631 33554432000 1073741824 1073778376 140735904926432 140365501809008 140366393909216 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21535/tid=21555] ppid=21532 vsize=9824732 CPUtime=2.47 cores=1,3,5,7
/proc/21535/task/21555/stat : 21555 (java) R 21532 21535 19474 0 -1 4202560 127 0 0 0 245 2 0 0 20 0 22 0 28363574 10060525568 86631 33554432000 1073741824 1073778376 140735904926432 140365500755560 140366394054212 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21535/tid=21556] ppid=21532 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21535/task/21556/stat : 21556 (java) S 21532 21535 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28363575 10060525568 86631 33554432000 1073741824 1073778376 140735904926432 140365499704360 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21535/tid=21557] ppid=21532 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21535/task/21557/stat : 21557 (java) S 21532 21535 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28363575 10060525568 86631 33554432000 1073741824 1073778376 140735904926432 140365498651816 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 8.75
Current children cumulated vsize (KiB) 9824732

[startup+6.30089 s]
/proc/loadavg: 4.59 4.40 4.30 6/220 21557
/proc/meminfo: memFree=28618096/32872528 swapFree=1541156/1696500
[pid=21535] ppid=21532 vsize=9824732 CPUtime=15.34 cores=1,3,5,7
/proc/21535/stat : 21535 (java) S 21532 21535 19474 0 -1 4202496 26441 0 1 0 1512 22 0 0 20 0 22 0 28363525 10060525568 154771 33554432000 1073741824 1073778376 140735904926432 140735904917568 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21535/statm: 2456183 154771 2292 9 0 2446860 0
[pid=21535/tid=21536] ppid=21532 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/21535/task/21536/stat : 21536 (java) S 21532 21535 19474 0 -1 4202560 2443 0 1 0 45 1 0 0 20 0 22 0 28363526 10060525568 154771 33554432000 1073741824 1073778376 140735904926432 140366559773560 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21535/tid=21538] ppid=21532 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/21535/task/21538/stat : 21538 (java) S 21532 21535 19474 0 -1 4202560 83 0 0 0 4 0 0 0 20 0 22 0 28363527 10060525568 154771 33554432000 1073741824 1073778376 140735904926432 140366521264296 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21535/tid=21539] ppid=21532 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/21535/task/21539/stat : 21539 (java) S 21532 21535 19474 0 -1 4202560 21 0 0 0 2 2 0 0 20 0 22 0 28363527 10060525568 154771 33554432000 1073741824 1073778376 140735904926432 140366520211752 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21535/tid=21540] ppid=21532 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/21535/task/21540/stat : 21540 (java) S 21532 21535 19474 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 22 0 28363527 10060525568 154771 33554432000 1073741824 1073778376 140735904926432 140366519159208 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21535/tid=21541] ppid=21532 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/21535/task/21541/stat : 21541 (java) S 21532 21535 19474 0 -1 4202560 111 0 0 0 6 2 0 0 20 0 22 0 28363527 10060525568 154771 33554432000 1073741824 1073778376 140735904926432 140366518106664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21535/tid=21542] ppid=21532 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/21535/task/21542/stat : 21542 (java) S 21532 21535 19474 0 -1 4202560 45 0 0 0 5 0 0 0 20 0 22 0 28363527 10060525568 154771 33554432000 1073741824 1073778376 140735904926432 140366517054120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21535/tid=21543] ppid=21532 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/21535/task/21543/stat : 21543 (java) S 21532 21535 19474 0 -1 4202560 104 0 0 0 6 2 0 0 20 0 22 0 28363527 10060525568 154771 33554432000 1073741824 1073778376 140735904926432 140366516001576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21535/tid=21544] ppid=21532 vsize=9824732 CPUtime=0.12 cores=1,3,5,7
/proc/21535/task/21544/stat : 21544 (java) S 21532 21535 19474 0 -1 4202560 109 0 0 0 9 3 0 0 20 0 22 0 28363527 10060525568 154771 33554432000 1073741824 1073778376 140735904926432 140366514949032 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21535/tid=21545] ppid=21532 vsize=9824732 CPUtime=0.05 cores=1,3,5,7

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

/proc/21535/task/21540/stat : 21540 (java) S 21532 21535 19474 0 -1 4202560 523 0 0 0 209 11 0 0 20 0 22 0 28363527 10060525568 915999 33554432000 1073741824 1073778376 140735904926432 140366519159208 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21535/tid=21541] ppid=21532 vsize=9824732 CPUtime=2.44 cores=1,3,5,7
/proc/21535/task/21541/stat : 21541 (java) S 21532 21535 19474 0 -1 4202560 620 0 0 0 226 18 0 0 20 0 22 0 28363527 10060525568 915999 33554432000 1073741824 1073778376 140735904926432 140366518106664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21535/tid=21542] ppid=21532 vsize=9824732 CPUtime=2.65 cores=1,3,5,7
/proc/21535/task/21542/stat : 21542 (java) S 21532 21535 19474 0 -1 4202560 652 0 0 0 250 15 0 0 20 0 22 0 28363527 10060525568 915999 33554432000 1073741824 1073778376 140735904926432 140366517054120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21535/tid=21543] ppid=21532 vsize=9824732 CPUtime=2.65 cores=1,3,5,7
/proc/21535/task/21543/stat : 21543 (java) S 21532 21535 19474 0 -1 4202560 595 0 0 0 249 16 0 0 20 0 22 0 28363527 10060525568 915999 33554432000 1073741824 1073778376 140735904926432 140366516001576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21535/tid=21544] ppid=21532 vsize=9824732 CPUtime=2.65 cores=1,3,5,7
/proc/21535/task/21544/stat : 21544 (java) S 21532 21535 19474 0 -1 4202560 790 0 0 0 250 15 0 0 20 0 22 0 28363527 10060525568 915999 33554432000 1073741824 1073778376 140735904926432 140366514949032 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21535/tid=21545] ppid=21532 vsize=9824732 CPUtime=2.55 cores=1,3,5,7
/proc/21535/task/21545/stat : 21545 (java) S 21532 21535 19474 0 -1 4202560 550 0 0 0 239 16 0 0 20 0 22 0 28363527 10060525568 915999 33554432000 1073741824 1073778376 140735904926432 140366513896488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21535/tid=21546] ppid=21532 vsize=9824732 CPUtime=3.45 cores=1,3,5,7
/proc/21535/task/21546/stat : 21546 (java) S 21532 21535 19474 0 -1 4202560 2230 0 0 0 337 8 0 0 20 0 22 0 28363528 10060525568 915999 33554432000 1073741824 1073778376 140735904926432 140366383634536 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21535/tid=21547] ppid=21532 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21535/task/21547/stat : 21547 (java) S 21532 21535 19474 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28363528 10060525568 915999 33554432000 1073741824 1073778376 140735904926432 140366382580856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21535/tid=21548] ppid=21532 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21535/task/21548/stat : 21548 (java) S 21532 21535 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28363528 10060525568 915999 33554432000 1073741824 1073778376 140735904926432 140366381528200 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21535/tid=21549] ppid=21532 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21535/task/21549/stat : 21549 (java) S 21532 21535 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28363530 10060525568 915999 33554432000 1073741824 1073778376 140735904926432 140366380476944 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21535/tid=21550] ppid=21532 vsize=9824732 CPUtime=2.06 cores=1,3,5,7
/proc/21535/task/21550/stat : 21550 (java) S 21532 21535 19474 0 -1 4202560 12577 0 0 0 203 3 0 0 20 0 22 0 28363530 10060525568 915999 33554432000 1073741824 1073778376 140735904926432 140366379424312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21535/tid=21551] ppid=21532 vsize=9824732 CPUtime=1.41 cores=1,3,5,7
/proc/21535/task/21551/stat : 21551 (java) S 21532 21535 19474 0 -1 4202560 10092 0 0 0 139 2 0 0 20 0 22 0 28363530 10060525568 915999 33554432000 1073741824 1073778376 140735904926432 140366378371768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21535/tid=21552] ppid=21532 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21535/task/21552/stat : 21552 (java) S 21532 21535 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28363530 10060525568 915999 33554432000 1073741824 1073778376 140735904926432 140365503917048 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21535/tid=21553] ppid=21532 vsize=9824732 CPUtime=0.32 cores=1,3,5,7
/proc/21535/task/21553/stat : 21553 (java) S 21532 21535 19474 0 -1 4202560 47 0 0 0 12 20 0 0 20 0 22 0 28363530 10060525568 915999 33554432000 1073741824 1073778376 140735904926432 140365502864712 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21535/tid=21554] ppid=21532 vsize=9824732 CPUtime=810.59 cores=1,3,5,7
/proc/21535/task/21554/stat : 21554 (java) R 21532 21535 19474 0 -1 4202560 79 0 0 0 81045 14 0 0 20 0 22 0 28363574 10060525568 915999 33554432000 1073741824 1073778376 140735904926432 140365501807856 140366393909228 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21535/tid=21555] ppid=21532 vsize=9824732 CPUtime=810.54 cores=1,3,5,7
/proc/21535/task/21555/stat : 21555 (java) R 21532 21535 19474 0 -1 4202560 1993 0 0 0 81005 49 0 0 20 0 22 0 28363574 10060525568 915999 33554432000 1073741824 1073778376 140735904926432 140365500754272 140366394120131 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21535/tid=21556] ppid=21532 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21535/task/21556/stat : 21556 (java) S 21532 21535 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28363575 10060525568 915999 33554432000 1073741824 1073778376 140735904926432 140365499704360 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21535/tid=21557] ppid=21532 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21535/task/21557/stat : 21557 (java) S 21532 21535 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28363575 10060525568 915999 33554432000 1073741824 1073778376 140735904926432 140365498651816 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1653.69
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.22 4.24 4.26 5/219 21600
/proc/meminfo: memFree=23294420/32872528 swapFree=1541156/1696500
[pid=21535] ppid=21532 vsize=9824732 CPUtime=1774.52 cores=1,3,5,7
/proc/21535/stat : 21535 (java) S 21532 21535 19474 0 -1 4202496 35951 0 1 0 177251 201 0 0 20 0 22 0 28363525 10060525568 933919 33554432000 1073741824 1073778376 140735904926432 140735904917568 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21535/statm: 2456183 933919 2301 9 0 2446860 0
[pid=21535/tid=21536] ppid=21532 vsize=9824732 CPUtime=0.5 cores=1,3,5,7
/proc/21535/task/21536/stat : 21536 (java) S 21532 21535 19474 0 -1 4202560 2452 0 1 0 47 3 0 0 20 0 22 0 28363526 10060525568 933919 33554432000 1073741824 1073778376 140735904926432 140366559773560 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21535/tid=21538] ppid=21532 vsize=9824732 CPUtime=3.1 cores=1,3,5,7
/proc/21535/task/21538/stat : 21538 (java) S 21532 21535 19474 0 -1 4202560 678 0 0 0 293 17 0 0 20 0 22 0 28363527 10060525568 933919 33554432000 1073741824 1073778376 140735904926432 140366521264296 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21535/tid=21539] ppid=21532 vsize=9824732 CPUtime=2.9 cores=1,3,5,7
/proc/21535/task/21539/stat : 21539 (java) S 21532 21535 19474 0 -1 4202560 698 0 0 0 274 16 0 0 20 0 22 0 28363527 10060525568 933919 33554432000 1073741824 1073778376 140735904926432 140366520211752 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21535/tid=21540] ppid=21532 vsize=9824732 CPUtime=2.41 cores=1,3,5,7
/proc/21535/task/21540/stat : 21540 (java) S 21532 21535 19474 0 -1 4202560 537 0 0 0 229 12 0 0 20 0 22 0 28363527 10060525568 933919 33554432000 1073741824 1073778376 140735904926432 140366519159208 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21535/tid=21541] ppid=21532 vsize=9824732 CPUtime=2.61 cores=1,3,5,7
/proc/21535/task/21541/stat : 21541 (java) S 21532 21535 19474 0 -1 4202560 639 0 0 0 242 19 0 0 20 0 22 0 28363527 10060525568 933919 33554432000 1073741824 1073778376 140735904926432 140366518106664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21535/tid=21542] ppid=21532 vsize=9824732 CPUtime=2.94 cores=1,3,5,7
/proc/21535/task/21542/stat : 21542 (java) S 21532 21535 19474 0 -1 4202560 671 0 0 0 278 16 0 0 20 0 22 0 28363527 10060525568 933919 33554432000 1073741824 1073778376 140735904926432 140366517054120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21535/tid=21543] ppid=21532 vsize=9824732 CPUtime=2.86 cores=1,3,5,7
/proc/21535/task/21543/stat : 21543 (java) S 21532 21535 19474 0 -1 4202560 608 0 0 0 269 17 0 0 20 0 22 0 28363527 10060525568 933919 33554432000 1073741824 1073778376 140735904926432 140366516001576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21535/tid=21544] ppid=21532 vsize=9824732 CPUtime=2.86 cores=1,3,5,7
/proc/21535/task/21544/stat : 21544 (java) S 21532 21535 19474 0 -1 4202560 802 0 0 0 271 15 0 0 20 0 22 0 28363527 10060525568 933919 33554432000 1073741824 1073778376 140735904926432 140366514949032 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21535/tid=21545] ppid=21532 vsize=9824732 CPUtime=2.72 cores=1,3,5,7
/proc/21535/task/21545/stat : 21545 (java) S 21532 21535 19474 0 -1 4202560 565 0 0 0 255 17 0 0 20 0 22 0 28363527 10060525568 933919 33554432000 1073741824 1073778376 140735904926432 140366513896488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21535/tid=21546] ppid=21532 vsize=9824732 CPUtime=3.45 cores=1,3,5,7
/proc/21535/task/21546/stat : 21546 (java) S 21532 21535 19474 0 -1 4202560 2237 0 0 0 337 8 0 0 20 0 22 0 28363528 10060525568 933919 33554432000 1073741824 1073778376 140735904926432 140366383634536 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21535/tid=21547] ppid=21532 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21535/task/21547/stat : 21547 (java) S 21532 21535 19474 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28363528 10060525568 933919 33554432000 1073741824 1073778376 140735904926432 140366382580856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21535/tid=21548] ppid=21532 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21535/task/21548/stat : 21548 (java) S 21532 21535 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28363528 10060525568 933919 33554432000 1073741824 1073778376 140735904926432 140366381528200 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21535/tid=21549] ppid=21532 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21535/task/21549/stat : 21549 (java) S 21532 21535 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28363530 10060525568 933919 33554432000 1073741824 1073778376 140735904926432 140366380476944 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21535/tid=21550] ppid=21532 vsize=9824732 CPUtime=2.06 cores=1,3,5,7
/proc/21535/task/21550/stat : 21550 (java) S 21532 21535 19474 0 -1 4202560 12577 0 0 0 203 3 0 0 20 0 22 0 28363530 10060525568 933919 33554432000 1073741824 1073778376 140735904926432 140366379424312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21535/tid=21551] ppid=21532 vsize=9824732 CPUtime=1.41 cores=1,3,5,7
/proc/21535/task/21551/stat : 21551 (java) S 21532 21535 19474 0 -1 4202560 10092 0 0 0 139 2 0 0 20 0 22 0 28363530 10060525568 933919 33554432000 1073741824 1073778376 140735904926432 140366378371768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21535/tid=21552] ppid=21532 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21535/task/21552/stat : 21552 (java) S 21532 21535 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28363530 10060525568 933919 33554432000 1073741824 1073778376 140735904926432 140365503917048 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21535/tid=21553] ppid=21532 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/21535/task/21553/stat : 21553 (java) S 21532 21535 19474 0 -1 4202560 51 0 0 0 13 21 0 0 20 0 22 0 28363530 10060525568 933919 33554432000 1073741824 1073778376 140735904926432 140365502864712 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21535/tid=21554] ppid=21532 vsize=9824732 CPUtime=869.99 cores=1,3,5,7
/proc/21535/task/21554/stat : 21554 (java) R 21532 21535 19474 0 -1 4202560 81 0 0 0 86984 15 0 0 20 0 22 0 28363574 10060525568 933919 33554432000 1073741824 1073778376 140735904926432 140365501807856 140366393836045 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21535/tid=21555] ppid=21532 vsize=9824732 CPUtime=869.94 cores=1,3,5,7
/proc/21535/task/21555/stat : 21555 (java) R 21532 21535 19474 0 -1 4202560 1996 0 0 0 86944 50 0 0 20 0 22 0 28363574 10060525568 933919 33554432000 1073741824 1073778376 140735904926432 140365500756352 140366393977756 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21535/tid=21556] ppid=21532 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21535/task/21556/stat : 21556 (java) S 21532 21535 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28363575 10060525568 933919 33554432000 1073741824 1073778376 140735904926432 140365499704360 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21535/tid=21557] ppid=21532 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21535/task/21557/stat : 21557 (java) S 21532 21535 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28363575 10060525568 933919 33554432000 1073741824 1073778376 140735904926432 140365498651816 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1774.52
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+895.001 s]
/proc/loadavg: 4.10 4.21 4.25 5/219 21669
/proc/meminfo: memFree=26398368/32872528 swapFree=1541156/1696500
[pid=21535] ppid=21532 vsize=9824732 CPUtime=1800.08 cores=1,3,5,7
/proc/21535/stat : 21535 (java) S 21532 21535 19474 0 -1 4202496 35973 0 1 0 179806 202 0 0 20 0 22 0 28363525 10060525568 937503 33554432000 1073741824 1073778376 140735904926432 140735904917568 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21535/statm: 2456183 937503 2301 9 0 2446860 0
[pid=21535/tid=21536] ppid=21532 vsize=9824732 CPUtime=0.5 cores=1,3,5,7
/proc/21535/task/21536/stat : 21536 (java) S 21532 21535 19474 0 -1 4202560 2452 0 1 0 47 3 0 0 20 0 22 0 28363526 10060525568 937503 33554432000 1073741824 1073778376 140735904926432 140366559773560 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21535/tid=21538] ppid=21532 vsize=9824732 CPUtime=3.12 cores=1,3,5,7
/proc/21535/task/21538/stat : 21538 (java) S 21532 21535 19474 0 -1 4202560 678 0 0 0 295 17 0 0 20 0 22 0 28363527 10060525568 937503 33554432000 1073741824 1073778376 140735904926432 140366521264296 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21535/tid=21539] ppid=21532 vsize=9824732 CPUtime=2.96 cores=1,3,5,7
/proc/21535/task/21539/stat : 21539 (java) S 21532 21535 19474 0 -1 4202560 702 0 0 0 280 16 0 0 20 0 22 0 28363527 10060525568 937503 33554432000 1073741824 1073778376 140735904926432 140366520211752 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21535/tid=21540] ppid=21532 vsize=9824732 CPUtime=2.44 cores=1,3,5,7
/proc/21535/task/21540/stat : 21540 (java) S 21532 21535 19474 0 -1 4202560 537 0 0 0 232 12 0 0 20 0 22 0 28363527 10060525568 937503 33554432000 1073741824 1073778376 140735904926432 140366519159208 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21535/tid=21541] ppid=21532 vsize=9824732 CPUtime=2.66 cores=1,3,5,7
/proc/21535/task/21541/stat : 21541 (java) S 21532 21535 19474 0 -1 4202560 641 0 0 0 247 19 0 0 20 0 22 0 28363527 10060525568 937503 33554432000 1073741824 1073778376 140735904926432 140366518106664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21535/tid=21542] ppid=21532 vsize=9824732 CPUtime=3 cores=1,3,5,7
/proc/21535/task/21542/stat : 21542 (java) S 21532 21535 19474 0 -1 4202560 675 0 0 0 283 17 0 0 20 0 22 0 28363527 10060525568 937503 33554432000 1073741824 1073778376 140735904926432 140366517054120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21535/tid=21543] ppid=21532 vsize=9824732 CPUtime=2.95 cores=1,3,5,7
/proc/21535/task/21543/stat : 21543 (java) S 21532 21535 19474 0 -1 4202560 613 0 0 0 278 17 0 0 20 0 22 0 28363527 10060525568 937503 33554432000 1073741824 1073778376 140735904926432 140366516001576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21535/tid=21544] ppid=21532 vsize=9824732 CPUtime=2.89 cores=1,3,5,7
/proc/21535/task/21544/stat : 21544 (java) S 21532 21535 19474 0 -1 4202560 804 0 0 0 274 15 0 0 20 0 22 0 28363527 10060525568 937503 33554432000 1073741824 1073778376 140735904926432 140366514949032 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21535/tid=21545] ppid=21532 vsize=9824732 CPUtime=2.77 cores=1,3,5,7
/proc/21535/task/21545/stat : 21545 (java) S 21532 21535 19474 0 -1 4202560 568 0 0 0 260 17 0 0 20 0 22 0 28363527 10060525568 937503 33554432000 1073741824 1073778376 140735904926432 140366513896488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21535/tid=21546] ppid=21532 vsize=9824732 CPUtime=3.45 cores=1,3,5,7
/proc/21535/task/21546/stat : 21546 (java) S 21532 21535 19474 0 -1 4202560 2237 0 0 0 337 8 0 0 20 0 22 0 28363528 10060525568 937503 33554432000 1073741824 1073778376 140735904926432 140366383634536 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21535/tid=21547] ppid=21532 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21535/task/21547/stat : 21547 (java) S 21532 21535 19474 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28363528 10060525568 937503 33554432000 1073741824 1073778376 140735904926432 140366382580856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21535/tid=21548] ppid=21532 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21535/task/21548/stat : 21548 (java) S 21532 21535 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28363528 10060525568 937503 33554432000 1073741824 1073778376 140735904926432 140366381528200 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21535/tid=21549] ppid=21532 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21535/task/21549/stat : 21549 (java) S 21532 21535 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28363530 10060525568 937503 33554432000 1073741824 1073778376 140735904926432 140366380476944 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21535/tid=21550] ppid=21532 vsize=9824732 CPUtime=2.06 cores=1,3,5,7
/proc/21535/task/21550/stat : 21550 (java) S 21532 21535 19474 0 -1 4202560 12577 0 0 0 203 3 0 0 20 0 22 0 28363530 10060525568 937503 33554432000 1073741824 1073778376 140735904926432 140366379424312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21535/tid=21551] ppid=21532 vsize=9824732 CPUtime=1.41 cores=1,3,5,7
/proc/21535/task/21551/stat : 21551 (java) S 21532 21535 19474 0 -1 4202560 10092 0 0 0 139 2 0 0 20 0 22 0 28363530 10060525568 937503 33554432000 1073741824 1073778376 140735904926432 140366378371768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21535/tid=21552] ppid=21532 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21535/task/21552/stat : 21552 (java) S 21532 21535 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28363530 10060525568 937503 33554432000 1073741824 1073778376 140735904926432 140365503917048 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21535/tid=21553] ppid=21532 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/21535/task/21553/stat : 21553 (java) S 21532 21535 19474 0 -1 4202560 51 0 0 0 13 22 0 0 20 0 22 0 28363530 10060525568 937503 33554432000 1073741824 1073778376 140735904926432 140365502864712 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21535/tid=21554] ppid=21532 vsize=9824732 CPUtime=882.55 cores=1,3,5,7
/proc/21535/task/21554/stat : 21554 (java) R 21532 21535 19474 0 -1 4202560 82 0 0 0 88240 15 0 0 20 0 22 0 28363574 10060525568 937503 33554432000 1073741824 1073778376 140735904926432 140365501807856 140366393909563 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21535/tid=21555] ppid=21532 vsize=9824732 CPUtime=882.5 cores=1,3,5,7
/proc/21535/task/21555/stat : 21555 (java) R 21532 21535 19474 0 -1 4202560 1997 0 0 0 88200 50 0 0 20 0 22 0 28363574 10060525568 937503 33554432000 1073741824 1073778376 140735904926432 140365500754272 140366393977756 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21535/tid=21556] ppid=21532 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21535/task/21556/stat : 21556 (java) S 21532 21535 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28363575 10060525568 937503 33554432000 1073741824 1073778376 140735904926432 140365499704360 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21535/tid=21557] ppid=21532 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21535/task/21557/stat : 21557 (java) S 21532 21535 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28363575 10060525568 937503 33554432000 1073741824 1073778376 140735904926432 140365498651816 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9824732

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 21535 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21535 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=530341
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=500619
# CPU time returned by wait4() is 1796.03
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 895.058
CPU time (s): 1800.08
CPU user time (s): 1798.06
CPU system time (s): 2.02
CPU usage (%): 201.113
Max. virtual memory (cumulated for all children) (KiB): 9825088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.53
system time used= 2.50062
maximum resident set size= 3750128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36007
page faults= 1
swaps= 0
block input operations= 0
block output operations= 936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24383
involuntary context switches= 30903

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.25205 second user time and 6.76697 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-26 17:00:48
IDJOB=4116638
IDBENCH=109495
IDSOLVER=2543
FILE ID=node125/4116638-1466953248
RUNJOBID= node125-1466943674-19491
PBS_JOBID= 19976354
Free space on /tmp= 71740 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round22-9.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4116638-1466953248/watcher-4116638-1466953248 -o /tmp/evaluation-result-4116638-1466953248/solver-4116638-1466953248 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466943674-19491 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4116638-1466953248.opb

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

MD5SUM BENCH= 16a4f59e2b2123f7f2760440e462508a
RANDOM SEED=2066132680

node125.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		: 2667.021
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	: 5334.04
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		: 2667.021
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.56
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		: 2667.021
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		: 2667.021
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		: 2667.021
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		: 2667.021
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		: 2667.021
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		: 2667.021
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:        29775156 kB
Buffers:           13436 kB
Cached:            40596 kB
SwapCached:         1748 kB
Active:           670284 kB
Inactive:          30636 kB
Active(anon):     648424 kB
Inactive(anon):      448 kB
Active(file):      21860 kB
Inactive(file):    30188 kB
Unevictable:     1696500 kB
Mlocked:         1541156 kB
SwapTotal:      67108856 kB
SwapFree:       67098440 kB
Dirty:              2536 kB
Writeback:             0 kB
AnonPages:       2412340 kB
Mapped:            15420 kB
Shmem:                 0 kB
Slab:             565760 kB
SReclaimable:       9244 kB
SUnreclaim:       556516 kB
KernelStack:        1816 kB
PageTables:         8848 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3310012 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    835584 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= 71740 MiB
End job on node125 at 2016-06-26 17:15:43