Trace number 4116590

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.75 896.455

General information on the benchmark

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

Solver Data

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	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.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	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.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4116590-1466954877.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  no objective function found
0.71/0.49	c ... done. Wall clock time 0.368s.
0.71/0.49	c declared #vars     4128
0.71/0.49	c #constraints  9952
0.71/0.49	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.71/0.49	c constraints type 
0.71/0.49	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6726
0.71/0.49	c org.sat4j.specs.Constr$1 => 888
0.71/0.49	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 128
0.71/0.49	c org.sat4j.minisat.constraints.cnf.UnitClause => 488
0.71/0.49	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1722
0.71/0.49	c 9952 constraints processed.
0.71/0.49	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.71/0.49	c constraints type 
0.71/0.49	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 128
0.71/0.49	c org.sat4j.specs.Constr$1 => 888
0.71/0.49	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6726
0.71/0.49	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1722
0.71/0.49	c org.sat4j.pb.constraints.pb.UnitClausePB => 488
0.71/0.49	c 9952 constraints processed.
4.46/1.42	c cleaning 2492 clauses out of 4999 with flag 16229/5001
6.39/2.03	c cleaning 4241 clauses out of 8507 with flag 39131/11001
8.27/2.81	c cleaning 5631 clauses out of 11265 with flag 68359/18000
9.92/3.65	c cleaning 6796 clauses out of 13634 with flag 101992/26000
11.78/4.60	c cleaning 7898 clauses out of 15838 with flag 143194/35000
14.16/5.77	c cleaning 8964 clauses out of 17940 with flag 189576/45000
17.10/7.07	c cleaning 9969 clauses out of 19976 with flag 242961/56000
20.09/8.54	c cleaning 10992 clauses out of 22007 with flag 302559/68000
23.40/10.18	c cleaning 12008 clauses out of 24017 with flag 367559/81002
27.11/11.97	c cleaning 12995 clauses out of 26007 with flag 440411/95000
30.92/13.86	c cleaning 13981 clauses out of 28012 with flag 519607/110000
35.12/15.96	c cleaning 15010 clauses out of 30032 with flag 608357/126001
38.52/17.62	c cleaning 0 clauses out of 5002 with flag 0/5002
40.21/18.39	c cleaning 16006 clauses out of 32021 with flag 704749/143000
45.77/20.93	c cleaning 16988 clauses out of 34015 with flag 806935/161000
51.15/23.64	c cleaning 18008 clauses out of 36027 with flag 915623/180000
57.32/26.67	c cleaning 18997 clauses out of 38019 with flag 1030828/200000
63.92/29.91	c cleaning 19968 clauses out of 40023 with flag 1154041/221001
70.73/33.39	c cleaning 21004 clauses out of 42054 with flag 1281634/243000
78.50/37.12	c cleaning 21979 clauses out of 44051 with flag 1417614/266001
86.10/41.00	c cleaning 23018 clauses out of 46071 with flag 1559973/290000
94.56/45.17	c cleaning 24000 clauses out of 48053 with flag 1709162/315000
103.66/49.64	c cleaning 25013 clauses out of 50053 with flag 1861515/341000
113.04/54.39	c cleaning 25984 clauses out of 52040 with flag 2024103/368000
123.12/59.32	c cleaning 27021 clauses out of 54057 with flag 2197759/396001
133.71/64.66	c cleaning 27992 clauses out of 56035 with flag 2371585/425000
144.97/70.24	c cleaning 29018 clauses out of 58045 with flag 2554644/455002
156.88/76.14	c cleaning 29995 clauses out of 60025 with flag 2744578/486000
169.55/82.40	c cleaning 30999 clauses out of 62031 with flag 2941856/518001
182.85/89.02	c cleaning 32005 clauses out of 64031 with flag 3140883/551000
196.33/95.78	c cleaning 33005 clauses out of 66027 with flag 3352732/585001
210.74/102.96	c cleaning 33988 clauses out of 68023 with flag 3570784/620002
225.62/110.31	c cleaning 35003 clauses out of 70034 with flag 3791863/656001
242.15/118.99	c cleaning 35956 clauses out of 72030 with flag 4019588/693000
258.44/127.04	c cleaning 37030 clauses out of 74074 with flag 4252775/731000
275.70/135.64	c cleaning 38006 clauses out of 76044 with flag 4493717/770000
293.61/144.57	c cleaning 39015 clauses out of 78039 with flag 4743736/810001
301.01/148.29	c cleaning 0 clauses out of 11001 with flag 0/11001
312.35/153.83	c cleaning 39993 clauses out of 80023 with flag 4998772/851000
331.84/163.56	c cleaning 40968 clauses out of 82031 with flag 5264031/893001
352.35/173.77	c cleaning 41999 clauses out of 84063 with flag 5537596/936001
373.25/184.10	c cleaning 43018 clauses out of 86063 with flag 5814963/980000
394.94/194.92	c cleaning 43968 clauses out of 88045 with flag 6099884/1025000
417.89/206.32	c cleaning 45030 clauses out of 90078 with flag 6392187/1071001
442.14/218.39	c cleaning 45977 clauses out of 92047 with flag 6690577/1118000
466.49/230.49	c cleaning 47006 clauses out of 94071 with flag 6991758/1166001
491.63/242.97	c cleaning 47996 clauses out of 96064 with flag 7299961/1215000
518.99/256.41	c cleaning 49025 clauses out of 98068 with flag 7615680/1265000
546.83/270.88	c cleaning 50012 clauses out of 100043 with flag 7937754/1316000
575.55/285.16	c cleaning 51015 clauses out of 102031 with flag 8267876/1368000
605.08/299.82	c cleaning 51955 clauses out of 104016 with flag 8604897/1421000
635.74/315.10	c cleaning 52992 clauses out of 106061 with flag 8950178/1475000
667.51/330.99	c cleaning 54015 clauses out of 108069 with flag 9295405/1530000
699.90/347.04	c cleaning 54985 clauses out of 110057 with flag 9648472/1586003
732.40/363.25	c cleaning 56015 clauses out of 112069 with flag 10008304/1643000
766.43/380.16	c cleaning 56997 clauses out of 114054 with flag 10375592/1701000
802.53/398.03	c cleaning 57998 clauses out of 116057 with flag 10755965/1760000
838.21/415.80	c cleaning 58924 clauses out of 118061 with flag 11138431/1820002
876.32/434.69	c cleaning 60031 clauses out of 120135 with flag 11526554/1881000
914.35/453.54	c cleaning 61025 clauses out of 122104 with flag 11921470/1943000
951.26/471.92	c cleaning 62032 clauses out of 124079 with flag 12319242/2006000
986.14/489.37	c cleaning 63006 clauses out of 126047 with flag 12724474/2070000
1020.13/506.32	c cleaning 63985 clauses out of 128042 with flag 13134659/2135001
1057.63/525.01	c cleaning 65021 clauses out of 130057 with flag 13554333/2201001
1096.96/544.66	c cleaning 65991 clauses out of 132035 with flag 13980476/2268000
1134.71/563.46	c cleaning 67022 clauses out of 134044 with flag 14410409/2336000
1174.91/583.52	c cleaning 67976 clauses out of 136022 with flag 14847249/2405000
1216.39/604.20	c cleaning 68996 clauses out of 138046 with flag 15290331/2475000
1256.59/624.36	c cleaning 70004 clauses out of 140050 with flag 15743379/2546000
1298.98/645.57	c cleaning 70975 clauses out of 142048 with flag 16199325/2618002
1344.30/668.15	c cleaning 72008 clauses out of 144071 with flag 16661596/2691000
1390.22/691.02	c cleaning 72979 clauses out of 146063 with flag 17132790/2765000
1437.21/714.50	c cleaning 74033 clauses out of 148085 with flag 17609293/2840001
1484.36/738.73	c cleaning 75007 clauses out of 150051 with flag 18087186/2916000
1530.75/761.97	c cleaning 75987 clauses out of 152044 with flag 18571140/2993000
1577.97/785.56	c cleaning 77019 clauses out of 154057 with flag 19058459/3071000
1626.74/809.98	c cleaning 78020 clauses out of 156040 with flag 19559638/3150002
1678.13/835.66	c cleaning 78997 clauses out of 158018 with flag 20062868/3230000
1729.46/861.19	c cleaning 79972 clauses out of 160021 with flag 20571701/3311000
1781.25/887.07	c cleaning 81000 clauses out of 162049 with flag 21088724/3393000
1800.04/896.40	c >>>>>>>>>> Solver number 0 (0 answers) <<<<<<<<<<<<<<<<<<
1800.04/896.40	c starts		: 29038
1800.04/896.40	c conflicts		: 3427979
1800.04/896.40	c decisions		: 34046188
1800.04/896.40	c propagations		: 469296485
1800.04/896.40	c inspects		: 10023783887
1800.04/896.40	c shortcuts		: 0
1800.04/896.40	c learnt literals	: 2
1800.04/896.40	c learnt binary clauses	: 44
1800.04/896.40	c learnt ternary clauses	: 633
1800.04/896.40	c learnt constraints	: 3427977
1800.04/896.40	c ignored constraints	: 0
1800.04/896.40	c root simplifications	: 0
1800.04/896.40	c removed literals (reason simplification)	: 2316501
1800.04/896.40	c reason swapping (by a shorter reason)	: 0
1800.04/896.40	c Calls to reduceDB	: 78
1800.04/896.40	c Number of update (reduction) of LBD	: 725273
1800.04/896.40	c Imported unit clauses	: 0
1800.04/896.40	c number of reductions to clauses (during analyze)	: 0
1800.04/896.40	c number of learned constraints concerned by reduction	: 0
1800.04/896.40	c number of learning phase by resolution	: 0
1800.04/896.40	c number of learning phase by cutting planes	: 0
1800.04/896.40	c speed (assignments/second)	: 523829.7847403993
1800.04/896.40	c non guided choices	7633
1800.04/896.43	c learnt constraints type 
1800.04/896.43	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 44
1800.04/896.43	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 115984
1800.04/896.43	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.04/896.43	c starts		: 44
1800.04/896.43	c conflicts		: 17904
1800.04/896.43	c decisions		: 70181
1800.04/896.43	c propagations		: 2134448
1800.04/896.43	c inspects		: 511740823
1800.04/896.43	c shortcuts		: 0
1800.04/896.43	c learnt literals	: 0
1800.04/896.43	c learnt binary clauses	: 0
1800.04/896.43	c learnt ternary clauses	: 0
1800.04/896.43	c learnt constraints	: 17903
1800.04/896.43	c ignored constraints	: 0
1800.04/896.43	c root simplifications	: 0
1800.04/896.43	c removed literals (reason simplification)	: 0
1800.04/896.43	c reason swapping (by a shorter reason)	: 0
1800.04/896.43	c Calls to reduceDB	: 2
1800.04/896.43	c Number of update (reduction) of LBD	: 0
1800.04/896.43	c Imported unit clauses	: 0
1800.04/896.43	c number of reductions to clauses (during analyze)	: 0
1800.04/896.43	c number of learned constraints concerned by reduction	: 0
1800.04/896.43	c number of learning phase by resolution	: 0
1800.04/896.43	c number of learning phase by cutting planes	: 0
1800.04/896.43	c speed (assignments/second)	: 2382.3905295855575
1800.04/896.43	c non guided choices	382
1800.04/896.44	c learnt constraints type 
1800.04/896.44	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 7
1800.04/896.44	c org.sat4j.pb.constraints.pb.MaxWatchPb => 17896
1800.04/896.44	s UNKNOWN
1800.04/896.44	c Total wall clock time (in seconds): 896.316

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-4116590-1466954877/watcher-4116590-1466954877 -o /tmp/evaluation-result-4116590-1466954877/solver-4116590-1466954877 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466946428-18143 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4116590-1466954877.opb 

pid=19950
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.35 4.25 4.19 4/197 19953
/proc/meminfo: memFree=27165588/32872528 swapFree=1437460/1543748
[pid=19953] ppid=19950 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/19953/stat : 19953 (java) D 19950 19953 18126 0 -1 4202496 317 0 0 0 0 0 0 0 20 0 1 0 28527044 9515008 175 33554432000 1073741824 1073778376 140737033985120 140737033967848 266435642256 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/19953/statm: 2323 175 133 9 0 71 0

[startup+0.100061 s]
/proc/loadavg: 4.35 4.25 4.19 4/197 19953
/proc/meminfo: memFree=27165588/32872528 swapFree=1437460/1543748
[pid=19953] ppid=19950 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/19953/stat : 19953 (java) S 19950 19953 18126 0 -1 4202496 4413 0 1 0 8 1 0 0 20 0 18 0 28527044 9787879424 6039 33554432000 1073741824 1073778376 140737408751792 140737408742928 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/19953/statm: 2389619 6039 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200196 s]
/proc/loadavg: 4.35 4.25 4.19 4/197 19953
/proc/meminfo: memFree=27165588/32872528 swapFree=1437460/1543748
[pid=19953] ppid=19950 vsize=9558476 CPUtime=0.23 cores=1,3,5,7
/proc/19953/stat : 19953 (java) S 19950 19953 18126 0 -1 4202496 4712 0 1 0 22 1 0 0 20 0 18 0 28527044 9787879424 6811 33554432000 1073741824 1073778376 140737408751792 140737408742928 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/19953/statm: 2389619 6811 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476

[startup+0.300258 s]
/proc/loadavg: 4.35 4.25 4.19 4/197 19953
/proc/meminfo: memFree=27165588/32872528 swapFree=1437460/1543748
[pid=19953] ppid=19950 vsize=9558476 CPUtime=0.47 cores=1,3,5,7
/proc/19953/stat : 19953 (java) S 19950 19953 18126 0 -1 4202496 5738 0 1 0 46 1 0 0 20 0 18 0 28527044 9787879424 8499 33554432000 1073741824 1073778376 140737408751792 140737408742928 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/19953/statm: 2389619 8499 2234 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558476

[startup+0.700201 s]
/proc/loadavg: 4.35 4.25 4.19 4/197 19953
/proc/meminfo: memFree=27165588/32872528 swapFree=1437460/1543748
[pid=19953] ppid=19950 vsize=9824732 CPUtime=1.79 cores=1,3,5,7
/proc/19953/stat : 19953 (java) S 19950 19953 18126 0 -1 4202496 13781 0 1 0 176 3 0 0 20 0 22 0 28527044 10060525568 23753 33554432000 1073741824 1073778376 140737408751792 140737408742928 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/19953/statm: 2456183 23753 2266 9 0 2446860 0
Current children cumulated CPU time (s) 1.79
Current children cumulated vsize (KiB) 9824732

[startup+1.50088 s]
/proc/loadavg: 4.35 4.25 4.19 7/219 19975
/proc/meminfo: memFree=27023908/32872528 swapFree=1437460/1543748
[pid=19953] ppid=19950 vsize=9824732 CPUtime=4.86 cores=1,3,5,7
/proc/19953/stat : 19953 (java) S 19950 19953 18126 0 -1 4202496 25910 0 1 0 479 7 0 0 20 0 22 0 28527044 10060525568 47659 33554432000 1073741824 1073778376 140737408751792 140737408742928 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/19953/statm: 2456183 47659 2292 9 0 2446860 0
[pid=19953/tid=19955] ppid=19950 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/19953/task/19955/stat : 19955 (java) S 19950 19953 18126 0 -1 4202560 2437 0 1 0 44 2 0 0 20 0 22 0 28527045 10060525568 47659 33554432000 1073741824 1073778376 140737408751792 140349186683768 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19953/tid=19956] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19956/stat : 19956 (java) S 19950 19953 18126 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 28527047 10060525568 47659 33554432000 1073741824 1073778376 140737408751792 140349148175272 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19957] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19957/stat : 19957 (java) S 19950 19953 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28527047 10060525568 47659 33554432000 1073741824 1073778376 140737408751792 140349147122728 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19953/tid=19958] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19958/stat : 19958 (java) S 19950 19953 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28527047 10060525568 47659 33554432000 1073741824 1073778376 140737408751792 140349146069672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19953/tid=19959] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19959/stat : 19959 (java) S 19950 19953 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28527047 10060525568 47659 33554432000 1073741824 1073778376 140737408751792 140349145017128 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19953/tid=19960] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19960/stat : 19960 (java) S 19950 19953 18126 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 28527047 10060525568 47659 33554432000 1073741824 1073778376 140737408751792 140349143964072 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19953/tid=19961] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19961/stat : 19961 (java) S 19950 19953 18126 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 28527047 10060525568 47659 33554432000 1073741824 1073778376 140737408751792 140349142911528 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19953/tid=19962] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19962/stat : 19962 (java) S 19950 19953 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28527047 10060525568 47659 33554432000 1073741824 1073778376 140737408751792 140349141858472 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19953/tid=19963] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19963/stat : 19963 (java) S 19950 19953 18126 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 28527047 10060525568 47659 33554432000 1073741824 1073778376 140737408751792 140349140805928 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19953/tid=19964] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19964/stat : 19964 (java) S 19950 19953 18126 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 28527048 10060525568 47659 33554432000 1073741824 1073778376 140737408751792 140349010860904 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19965] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19965/stat : 19965 (java) S 19950 19953 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28527048 10060525568 47659 33554432000 1073741824 1073778376 140737408751792 140349009807224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19966] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19966/stat : 19966 (java) S 19950 19953 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28527048 10060525568 47659 33554432000 1073741824 1073778376 140737408751792 140349008754056 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19967] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19967/stat : 19967 (java) S 19950 19953 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28527050 10060525568 47659 33554432000 1073741824 1073778376 140737408751792 140349007702800 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19968] ppid=19950 vsize=9824732 CPUtime=1.14 cores=1,3,5,7
/proc/19953/task/19968/stat : 19968 (java) R 19950 19953 18126 0 -1 4202560 9008 0 0 0 112 2 0 0 20 0 22 0 28527050 10060525568 47659 33554432000 1073741824 1073778376 140737408751792 140349006626920 140349192643716 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=19953/tid=19969] ppid=19950 vsize=9824732 CPUtime=1.22 cores=1,3,5,7
/proc/19953/task/19969/stat : 19969 (java) R 19950 19953 18126 0 -1 4202560 12994 0 0 0 120 2 0 0 20 0 22 0 28527050 10060525568 47659 33554432000 1073741824 1073778376 140737408751792 140349005584640 140349193661123 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19970] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19970/stat : 19970 (java) S 19950 19953 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28527050 10060525568 47659 33554432000 1073741824 1073778376 140737408751792 140349004544248 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19953/tid=19971] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19971/stat : 19971 (java) S 19950 19953 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28527050 10060525568 47659 33554432000 1073741824 1073778376 140737408751792 140349003491912 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19972] ppid=19950 vsize=9824732 CPUtime=0.97 cores=1,3,5,7
/proc/19953/task/19972/stat : 19972 (java) R 19950 19953 18126 0 -1 4202560 18 0 0 0 97 0 0 0 20 0 22 0 28527094 10060525568 47659 33554432000 1073741824 1073778376 140737408751792 140349002064288 140349012643656 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19953/tid=19973] ppid=19950 vsize=9824732 CPUtime=0.97 cores=1,3,5,7
/proc/19953/task/19973/stat : 19973 (java) R 19950 19953 18126 0 -1 4202560 75 0 0 0 96 1 0 0 20 0 22 0 28527094 10060525568 47659 33554432000 1073741824 1073778376 140737408751792 140349001019944 140349012737154 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19953/tid=19974] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19974/stat : 19974 (java) S 19950 19953 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28527095 10060525568 47659 33554432000 1073741824 1073778376 140737408751792 140348999968040 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19953/tid=19975] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19975/stat : 19975 (java) S 19950 19953 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28527095 10060525568 47659 33554432000 1073741824 1073778376 140737408751792 140348998915496 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.86
Current children cumulated vsize (KiB) 9824732

[startup+3.10096 s]
/proc/loadavg: 4.40 4.26 4.19 5/219 19975
/proc/meminfo: memFree=26850448/32872528 swapFree=1437460/1543748
[pid=19953] ppid=19950 vsize=9824732 CPUtime=8.92 cores=1,3,5,7
/proc/19953/stat : 19953 (java) S 19950 19953 18126 0 -1 4202496 27898 0 1 0 877 15 0 0 20 0 22 0 28527044 10060525568 91495 33554432000 1073741824 1073778376 140737408751792 140737408742928 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/19953/statm: 2456183 91495 2292 9 0 2446860 0
[pid=19953/tid=19955] ppid=19950 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/19953/task/19955/stat : 19955 (java) S 19950 19953 18126 0 -1 4202560 2437 0 1 0 44 2 0 0 20 0 22 0 28527045 10060525568 91495 33554432000 1073741824 1073778376 140737408751792 140349186683768 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19953/tid=19956] ppid=19950 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/19953/task/19956/stat : 19956 (java) S 19950 19953 18126 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 22 0 28527047 10060525568 91495 33554432000 1073741824 1073778376 140737408751792 140349148175272 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19957] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19957/stat : 19957 (java) S 19950 19953 18126 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 28527047 10060525568 91495 33554432000 1073741824 1073778376 140737408751792 140349147122728 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19958] ppid=19950 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/19953/task/19958/stat : 19958 (java) S 19950 19953 18126 0 -1 4202560 25 0 0 0 3 1 0 0 20 0 22 0 28527047 10060525568 91495 33554432000 1073741824 1073778376 140737408751792 140349146069672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19959] ppid=19950 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/19953/task/19959/stat : 19959 (java) S 19950 19953 18126 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 22 0 28527047 10060525568 91495 33554432000 1073741824 1073778376 140737408751792 140349145017128 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19953/tid=19960] ppid=19950 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/19953/task/19960/stat : 19960 (java) S 19950 19953 18126 0 -1 4202560 27 0 0 0 3 1 0 0 20 0 22 0 28527047 10060525568 91495 33554432000 1073741824 1073778376 140737408751792 140349143964072 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19961] ppid=19950 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/19953/task/19961/stat : 19961 (java) S 19950 19953 18126 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 22 0 28527047 10060525568 91495 33554432000 1073741824 1073778376 140737408751792 140349142911528 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19962] ppid=19950 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/19953/task/19962/stat : 19962 (java) S 19950 19953 18126 0 -1 4202560 22 0 0 0 1 2 0 0 20 0 22 0 28527047 10060525568 91495 33554432000 1073741824 1073778376 140737408751792 140349141858472 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19963] ppid=19950 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/19953/task/19963/stat : 19963 (java) S 19950 19953 18126 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 22 0 28527047 10060525568 91495 33554432000 1073741824 1073778376 140737408751792 140349140805928 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19953/tid=19964] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19964/stat : 19964 (java) S 19950 19953 18126 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 22 0 28527048 10060525568 91495 33554432000 1073741824 1073778376 140737408751792 140349010860904 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19953/tid=19965] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19965/stat : 19965 (java) S 19950 19953 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28527048 10060525568 91495 33554432000 1073741824 1073778376 140737408751792 140349009807224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19966] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19966/stat : 19966 (java) S 19950 19953 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28527048 10060525568 91495 33554432000 1073741824 1073778376 140737408751792 140349008754056 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19967] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19967/stat : 19967 (java) S 19950 19953 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28527050 10060525568 91495 33554432000 1073741824 1073778376 140737408751792 140349007702800 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19968] ppid=19950 vsize=9824732 CPUtime=1.73 cores=1,3,5,7
/proc/19953/task/19968/stat : 19968 (java) S 19950 19953 18126 0 -1 4202560 10707 0 0 0 171 2 0 0 20 0 22 0 28527050 10060525568 91495 33554432000 1073741824 1073778376 140737408751792 140349006649656 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19953/tid=19969] ppid=19950 vsize=9824732 CPUtime=1.37 cores=1,3,5,7
/proc/19953/task/19969/stat : 19969 (java) S 19950 19953 18126 0 -1 4202560 12994 0 0 0 135 2 0 0 20 0 22 0 28527050 10060525568 91495 33554432000 1073741824 1073778376 140737408751792 140349005597112 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19970] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19970/stat : 19970 (java) S 19950 19953 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28527050 10060525568 91495 33554432000 1073741824 1073778376 140737408751792 140349004544248 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19953/tid=19971] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19971/stat : 19971 (java) S 19950 19953 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28527050 10060525568 91495 33554432000 1073741824 1073778376 140737408751792 140349003491912 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19972] ppid=19950 vsize=9824732 CPUtime=2.49 cores=1,3,5,7
/proc/19953/task/19972/stat : 19972 (java) R 19950 19953 18126 0 -1 4202560 20 0 0 0 249 0 0 0 20 0 22 0 28527094 10060525568 91495 33554432000 1073741824 1073778376 140737408751792 140349002073336 140349012709736 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19953/tid=19973] ppid=19950 vsize=9824732 CPUtime=2.49 cores=1,3,5,7
/proc/19953/task/19973/stat : 19973 (java) R 19950 19953 18126 0 -1 4202560 137 0 0 0 246 3 0 0 20 0 22 0 28527094 10060525568 91495 33554432000 1073741824 1073778376 140737408751792 140349001019408 140349012660211 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19953/tid=19974] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19974/stat : 19974 (java) S 19950 19953 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28527095 10060525568 91495 33554432000 1073741824 1073778376 140737408751792 140348999968040 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19953/tid=19975] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19975/stat : 19975 (java) S 19950 19953 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28527095 10060525568 91495 33554432000 1073741824 1073778376 140737408751792 140348998915496 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 8.92
Current children cumulated vsize (KiB) 9824732

[startup+6.30098 s]
/proc/loadavg: 4.40 4.26 4.19 5/219 19975
/proc/meminfo: memFree=26548272/32872528 swapFree=1437460/1543748
[pid=19953] ppid=19950 vsize=9824732 CPUtime=15.45 cores=1,3,5,7
/proc/19953/stat : 19953 (java) S 19950 19953 18126 0 -1 4202496 28697 0 1 0 1521 24 0 0 20 0 22 0 28527044 10060525568 162523 33554432000 1073741824 1073778376 140737408751792 140737408742928 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/19953/statm: 2456183 162523 2292 9 0 2446860 0
[pid=19953/tid=19955] ppid=19950 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/19953/task/19955/stat : 19955 (java) S 19950 19953 18126 0 -1 4202560 2437 0 1 0 44 2 0 0 20 0 22 0 28527045 10060525568 162523 33554432000 1073741824 1073778376 140737408751792 140349186683768 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19953/tid=19956] ppid=19950 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/19953/task/19956/stat : 19956 (java) S 19950 19953 18126 0 -1 4202560 110 0 0 0 5 2 0 0 20 0 22 0 28527047 10060525568 162523 33554432000 1073741824 1073778376 140737408751792 140349148175272 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19957] ppid=19950 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/19953/task/19957/stat : 19957 (java) S 19950 19953 18126 0 -1 4202560 74 0 0 0 2 0 0 0 20 0 22 0 28527047 10060525568 162523 33554432000 1073741824 1073778376 140737408751792 140349147122728 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19953/tid=19958] ppid=19950 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/19953/task/19958/stat : 19958 (java) S 19950 19953 18126 0 -1 4202560 118 0 0 0 8 2 0 0 20 0 22 0 28527047 10060525568 162523 33554432000 1073741824 1073778376 140737408751792 140349146069672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19959] ppid=19950 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/19953/task/19959/stat : 19959 (java) S 19950 19953 18126 0 -1 4202560 39 0 0 0 7 1 0 0 20 0 22 0 28527047 10060525568 162523 33554432000 1073741824 1073778376 140737408751792 140349145017128 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19960] ppid=19950 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/19953/task/19960/stat : 19960 (java) S 19950 19953 18126 0 -1 4202560 34 0 0 0 4 2 0 0 20 0 22 0 28527047 10060525568 162523 33554432000 1073741824 1073778376 140737408751792 140349143964072 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19961] ppid=19950 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/19953/task/19961/stat : 19961 (java) S 19950 19953 18126 0 -1 4202560 127 0 0 0 6 2 0 0 20 0 22 0 28527047 10060525568 162523 33554432000 1073741824 1073778376 140737408751792 140349142911528 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19962] ppid=19950 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/19953/task/19962/stat : 19962 (java) S 19950 19953 18126 0 -1 4202560 30 0 0 0 2 2 0 0 20 0 22 0 28527047 10060525568 162523 33554432000 1073741824 1073778376 140737408751792 140349141858472 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19963] ppid=19950 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/19953/task/19963/stat : 19963 (java) S 19950 19953 18126 0 -1 4202560 22 0 0 0 4 0 0 0 20 0 22 0 28527047 10060525568 162523 33554432000 1073741824 1073778376 140737408751792 140349140805928 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19964] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19964/stat : 19964 (java) S 19950 19953 18126 0 -1 4202560 467 0 0 0 0 0 0 0 20 0 22 0 28527048 10060525568 162523 33554432000 1073741824 1073778376 140737408751792 140349010860904 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19953/tid=19965] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19965/stat : 19965 (java) S 19950 19953 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28527048 10060525568 162523 33554432000 1073741824 1073778376 140737408751792 140349009807224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19966] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19966/stat : 19966 (java) S 19950 19953 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28527048 10060525568 162523 33554432000 1073741824 1073778376 140737408751792 140349008754056 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19967] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19967/stat : 19967 (java) S 19950 19953 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28527050 10060525568 162523 33554432000 1073741824 1073778376 140737408751792 140349007702800 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19968] ppid=19950 vsize=9824732 CPUtime=1.74 cores=1,3,5,7

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


[startup+822.301 s]
/proc/loadavg: 4.25 4.24 4.19 5/219 20065
/proc/meminfo: memFree=23861728/32872528 swapFree=1437460/1543748
[pid=19953] ppid=19950 vsize=9824732 CPUtime=1651.53 cores=1,3,5,7
/proc/19953/stat : 19953 (java) S 19950 19953 18126 0 -1 4202496 40955 0 1 0 164949 204 0 0 20 0 22 0 28527044 10060525568 880980 33554432000 1073741824 1073778376 140737408751792 140737408742928 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/19953/statm: 2456183 880980 2301 9 0 2446860 0
[pid=19953/tid=19955] ppid=19950 vsize=9824732 CPUtime=0.5 cores=1,3,5,7
/proc/19953/task/19955/stat : 19955 (java) S 19950 19953 18126 0 -1 4202560 2441 0 1 0 46 4 0 0 20 0 22 0 28527045 10060525568 880980 33554432000 1073741824 1073778376 140737408751792 140349186683768 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19953/tid=19956] ppid=19950 vsize=9824732 CPUtime=1.73 cores=1,3,5,7
/proc/19953/task/19956/stat : 19956 (java) S 19950 19953 18126 0 -1 4202560 616 0 0 0 158 15 0 0 20 0 22 0 28527047 10060525568 880980 33554432000 1073741824 1073778376 140737408751792 140349148175272 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19953/tid=19957] ppid=19950 vsize=9824732 CPUtime=1.92 cores=1,3,5,7
/proc/19953/task/19957/stat : 19957 (java) S 19950 19953 18126 0 -1 4202560 849 0 0 0 176 16 0 0 20 0 22 0 28527047 10060525568 880980 33554432000 1073741824 1073778376 140737408751792 140349147122728 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19953/tid=19958] ppid=19950 vsize=9824732 CPUtime=2.02 cores=1,3,5,7
/proc/19953/task/19958/stat : 19958 (java) S 19950 19953 18126 0 -1 4202560 751 0 0 0 183 19 0 0 20 0 22 0 28527047 10060525568 880980 33554432000 1073741824 1073778376 140737408751792 140349146069672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19953/tid=19959] ppid=19950 vsize=9824732 CPUtime=1.73 cores=1,3,5,7
/proc/19953/task/19959/stat : 19959 (java) S 19950 19953 18126 0 -1 4202560 526 0 0 0 160 13 0 0 20 0 22 0 28527047 10060525568 880980 33554432000 1073741824 1073778376 140737408751792 140349145017128 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19953/tid=19960] ppid=19950 vsize=9824732 CPUtime=1.64 cores=1,3,5,7
/proc/19953/task/19960/stat : 19960 (java) S 19950 19953 18126 0 -1 4202560 549 0 0 0 152 12 0 0 20 0 22 0 28527047 10060525568 880980 33554432000 1073741824 1073778376 140737408751792 140349143964072 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19953/tid=19961] ppid=19950 vsize=9824732 CPUtime=2.03 cores=1,3,5,7
/proc/19953/task/19961/stat : 19961 (java) S 19950 19953 18126 0 -1 4202560 950 0 0 0 181 22 0 0 20 0 22 0 28527047 10060525568 880980 33554432000 1073741824 1073778376 140737408751792 140349142911528 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19953/tid=19962] ppid=19950 vsize=9824732 CPUtime=1.99 cores=1,3,5,7
/proc/19953/task/19962/stat : 19962 (java) S 19950 19953 18126 0 -1 4202560 537 0 0 0 183 16 0 0 20 0 22 0 28527047 10060525568 880980 33554432000 1073741824 1073778376 140737408751792 140349141858472 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19953/tid=19963] ppid=19950 vsize=9824732 CPUtime=2.08 cores=1,3,5,7
/proc/19953/task/19963/stat : 19963 (java) S 19950 19953 18126 0 -1 4202560 658 0 0 0 190 18 0 0 20 0 22 0 28527047 10060525568 880980 33554432000 1073741824 1073778376 140737408751792 140349140805928 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19964] ppid=19950 vsize=9824732 CPUtime=3.36 cores=1,3,5,7
/proc/19953/task/19964/stat : 19964 (java) S 19950 19953 18126 0 -1 4202560 2398 0 0 0 328 8 0 0 20 0 22 0 28527048 10060525568 880980 33554432000 1073741824 1073778376 140737408751792 140349010860904 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19953/tid=19965] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19965/stat : 19965 (java) S 19950 19953 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28527048 10060525568 880980 33554432000 1073741824 1073778376 140737408751792 140349009807224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19966] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19966/stat : 19966 (java) S 19950 19953 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28527048 10060525568 880980 33554432000 1073741824 1073778376 140737408751792 140349008754056 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19967] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19967/stat : 19967 (java) S 19950 19953 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28527050 10060525568 880980 33554432000 1073741824 1073778376 140737408751792 140349007702800 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19968] ppid=19950 vsize=9824732 CPUtime=1.89 cores=1,3,5,7
/proc/19953/task/19968/stat : 19968 (java) S 19950 19953 18126 0 -1 4202560 10715 0 0 0 187 2 0 0 20 0 22 0 28527050 10060525568 880980 33554432000 1073741824 1073778376 140737408751792 140349006649656 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19953/tid=19969] ppid=19950 vsize=9824732 CPUtime=2.08 cores=1,3,5,7
/proc/19953/task/19969/stat : 19969 (java) S 19950 19953 18126 0 -1 4202560 16656 0 0 0 205 3 0 0 20 0 22 0 28527050 10060525568 880980 33554432000 1073741824 1073778376 140737408751792 140349005597112 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19953/tid=19970] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19970/stat : 19970 (java) S 19950 19953 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28527050 10060525568 880980 33554432000 1073741824 1073778376 140737408751792 140349004544248 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19953/tid=19971] ppid=19950 vsize=9824732 CPUtime=0.32 cores=1,3,5,7
/proc/19953/task/19971/stat : 19971 (java) S 19950 19953 18126 0 -1 4202560 47 0 0 0 10 22 0 0 20 0 22 0 28527050 10060525568 880980 33554432000 1073741824 1073778376 140737408751792 140349003491912 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19953/tid=19972] ppid=19950 vsize=9824732 CPUtime=814.26 cores=1,3,5,7
/proc/19953/task/19972/stat : 19972 (java) R 19950 19953 18126 0 -1 4202560 55 0 0 0 81411 15 0 0 20 0 22 0 28527094 10060525568 880980 33554432000 1073741824 1073778376 140737408751792 140349002064368 140349012709551 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19973] ppid=19950 vsize=9824732 CPUtime=814.23 cores=1,3,5,7
/proc/19953/task/19973/stat : 19973 (java) R 19950 19953 18126 0 -1 4202560 1943 0 0 0 81369 54 0 0 20 0 22 0 28527094 10060525568 880980 33554432000 1073741824 1073778376 140737408751792 140349001018320 140349012685575 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19953/tid=19974] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19974/stat : 19974 (java) S 19950 19953 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28527095 10060525568 880980 33554432000 1073741824 1073778376 140737408751792 140348999968040 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19953/tid=19975] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19975/stat : 19975 (java) S 19950 19953 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28527095 10060525568 880980 33554432000 1073741824 1073778376 140737408751792 140348998915496 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1651.53
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.25 4.23 4.19 5/219 20066
/proc/meminfo: memFree=23985128/32872528 swapFree=1437460/1543748
[pid=19953] ppid=19950 vsize=9824732 CPUtime=1771.87 cores=1,3,5,7
/proc/19953/stat : 19953 (java) S 19950 19953 18126 0 -1 4202496 40963 0 1 0 176981 206 0 0 20 0 22 0 28527044 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140737408742928 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/19953/statm: 2456183 855331 2301 9 0 2446860 0
[pid=19953/tid=19955] ppid=19950 vsize=9824732 CPUtime=0.5 cores=1,3,5,7
/proc/19953/task/19955/stat : 19955 (java) S 19950 19953 18126 0 -1 4202560 2442 0 1 0 46 4 0 0 20 0 22 0 28527045 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349186683768 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19953/tid=19956] ppid=19950 vsize=9824732 CPUtime=1.79 cores=1,3,5,7
/proc/19953/task/19956/stat : 19956 (java) S 19950 19953 18126 0 -1 4202560 616 0 0 0 164 15 0 0 20 0 22 0 28527047 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349148175272 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19953/tid=19957] ppid=19950 vsize=9824732 CPUtime=2.05 cores=1,3,5,7
/proc/19953/task/19957/stat : 19957 (java) S 19950 19953 18126 0 -1 4202560 849 0 0 0 189 16 0 0 20 0 22 0 28527047 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349147122728 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19953/tid=19958] ppid=19950 vsize=9824732 CPUtime=2.08 cores=1,3,5,7
/proc/19953/task/19958/stat : 19958 (java) S 19950 19953 18126 0 -1 4202560 751 0 0 0 189 19 0 0 20 0 22 0 28527047 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349146069672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19953/tid=19959] ppid=19950 vsize=9824732 CPUtime=1.79 cores=1,3,5,7
/proc/19953/task/19959/stat : 19959 (java) S 19950 19953 18126 0 -1 4202560 526 0 0 0 166 13 0 0 20 0 22 0 28527047 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349145017128 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19960] ppid=19950 vsize=9824732 CPUtime=1.7 cores=1,3,5,7
/proc/19953/task/19960/stat : 19960 (java) S 19950 19953 18126 0 -1 4202560 549 0 0 0 158 12 0 0 20 0 22 0 28527047 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349143964072 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19953/tid=19961] ppid=19950 vsize=9824732 CPUtime=2.1 cores=1,3,5,7
/proc/19953/task/19961/stat : 19961 (java) S 19950 19953 18126 0 -1 4202560 950 0 0 0 187 23 0 0 20 0 22 0 28527047 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349142911528 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19962] ppid=19950 vsize=9824732 CPUtime=2.17 cores=1,3,5,7
/proc/19953/task/19962/stat : 19962 (java) S 19950 19953 18126 0 -1 4202560 537 0 0 0 201 16 0 0 20 0 22 0 28527047 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349141858472 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19953/tid=19963] ppid=19950 vsize=9824732 CPUtime=2.18 cores=1,3,5,7
/proc/19953/task/19963/stat : 19963 (java) S 19950 19953 18126 0 -1 4202560 659 0 0 0 200 18 0 0 20 0 22 0 28527047 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349140805928 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19964] ppid=19950 vsize=9824732 CPUtime=3.37 cores=1,3,5,7
/proc/19953/task/19964/stat : 19964 (java) S 19950 19953 18126 0 -1 4202560 2400 0 0 0 328 9 0 0 20 0 22 0 28527048 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349010860904 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19953/tid=19965] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19965/stat : 19965 (java) S 19950 19953 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28527048 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349009807224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19966] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19966/stat : 19966 (java) S 19950 19953 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28527048 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349008754056 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19967] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19967/stat : 19967 (java) S 19950 19953 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28527050 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349007702800 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19968] ppid=19950 vsize=9824732 CPUtime=1.89 cores=1,3,5,7
/proc/19953/task/19968/stat : 19968 (java) S 19950 19953 18126 0 -1 4202560 10715 0 0 0 187 2 0 0 20 0 22 0 28527050 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349006649656 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19953/tid=19969] ppid=19950 vsize=9824732 CPUtime=2.08 cores=1,3,5,7
/proc/19953/task/19969/stat : 19969 (java) S 19950 19953 18126 0 -1 4202560 16656 0 0 0 205 3 0 0 20 0 22 0 28527050 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349005597112 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19953/tid=19970] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19970/stat : 19970 (java) S 19950 19953 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28527050 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349004544248 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19953/tid=19971] ppid=19950 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/19953/task/19971/stat : 19971 (java) S 19950 19953 18126 0 -1 4202560 51 0 0 0 11 23 0 0 20 0 22 0 28527050 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349003491912 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19953/tid=19972] ppid=19950 vsize=9824732 CPUtime=874.07 cores=1,3,5,7
/proc/19953/task/19972/stat : 19972 (java) R 19950 19953 18126 0 -1 4202560 55 0 0 0 87391 16 0 0 20 0 22 0 28527094 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349002064368 140349012643167 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19953/tid=19973] ppid=19950 vsize=9824732 CPUtime=874.04 cores=1,3,5,7
/proc/19953/task/19973/stat : 19973 (java) R 19950 19953 18126 0 -1 4202560 1943 0 0 0 87349 55 0 0 20 0 22 0 28527094 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349001018304 140349012847456 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19953/tid=19974] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19974/stat : 19974 (java) S 19950 19953 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28527095 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140348999968040 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19953/tid=19975] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19975/stat : 19975 (java) S 19950 19953 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28527095 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140348998915496 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1771.87
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+896.401 s]
/proc/loadavg: 4.29 4.24 4.19 5/219 20066
/proc/meminfo: memFree=23985128/32872528 swapFree=1437460/1543748
[pid=19953] ppid=19950 vsize=9824732 CPUtime=1800.04 cores=1,3,5,7
/proc/19953/stat : 19953 (java) S 19950 19953 18126 0 -1 4202496 40963 0 1 0 179798 206 0 0 20 0 22 0 28527044 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140737408742928 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/19953/statm: 2456183 855331 2301 9 0 2446860 0
[pid=19953/tid=19955] ppid=19950 vsize=9824732 CPUtime=0.5 cores=1,3,5,7
/proc/19953/task/19955/stat : 19955 (java) S 19950 19953 18126 0 -1 4202560 2442 0 1 0 46 4 0 0 20 0 22 0 28527045 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349186683768 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19953/tid=19956] ppid=19950 vsize=9824732 CPUtime=1.79 cores=1,3,5,7
/proc/19953/task/19956/stat : 19956 (java) S 19950 19953 18126 0 -1 4202560 616 0 0 0 164 15 0 0 20 0 22 0 28527047 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349148175272 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19953/tid=19957] ppid=19950 vsize=9824732 CPUtime=2.05 cores=1,3,5,7
/proc/19953/task/19957/stat : 19957 (java) S 19950 19953 18126 0 -1 4202560 849 0 0 0 189 16 0 0 20 0 22 0 28527047 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349147122728 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19953/tid=19958] ppid=19950 vsize=9824732 CPUtime=2.08 cores=1,3,5,7
/proc/19953/task/19958/stat : 19958 (java) S 19950 19953 18126 0 -1 4202560 751 0 0 0 189 19 0 0 20 0 22 0 28527047 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349146069672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19953/tid=19959] ppid=19950 vsize=9824732 CPUtime=1.79 cores=1,3,5,7
/proc/19953/task/19959/stat : 19959 (java) S 19950 19953 18126 0 -1 4202560 526 0 0 0 166 13 0 0 20 0 22 0 28527047 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349145017128 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19960] ppid=19950 vsize=9824732 CPUtime=1.7 cores=1,3,5,7
/proc/19953/task/19960/stat : 19960 (java) S 19950 19953 18126 0 -1 4202560 549 0 0 0 158 12 0 0 20 0 22 0 28527047 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349143964072 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19953/tid=19961] ppid=19950 vsize=9824732 CPUtime=2.1 cores=1,3,5,7
/proc/19953/task/19961/stat : 19961 (java) S 19950 19953 18126 0 -1 4202560 950 0 0 0 187 23 0 0 20 0 22 0 28527047 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349142911528 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19962] ppid=19950 vsize=9824732 CPUtime=2.17 cores=1,3,5,7
/proc/19953/task/19962/stat : 19962 (java) S 19950 19953 18126 0 -1 4202560 537 0 0 0 201 16 0 0 20 0 22 0 28527047 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349141858472 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19953/tid=19963] ppid=19950 vsize=9824732 CPUtime=2.18 cores=1,3,5,7
/proc/19953/task/19963/stat : 19963 (java) S 19950 19953 18126 0 -1 4202560 659 0 0 0 200 18 0 0 20 0 22 0 28527047 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349140805928 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19964] ppid=19950 vsize=9824732 CPUtime=3.37 cores=1,3,5,7
/proc/19953/task/19964/stat : 19964 (java) S 19950 19953 18126 0 -1 4202560 2400 0 0 0 328 9 0 0 20 0 22 0 28527048 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349010860904 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19953/tid=19965] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19965/stat : 19965 (java) S 19950 19953 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28527048 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349009807224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19966] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19966/stat : 19966 (java) S 19950 19953 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28527048 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349008754056 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19967] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19967/stat : 19967 (java) S 19950 19953 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28527050 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349007702800 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19968] ppid=19950 vsize=9824732 CPUtime=1.89 cores=1,3,5,7
/proc/19953/task/19968/stat : 19968 (java) S 19950 19953 18126 0 -1 4202560 10715 0 0 0 187 2 0 0 20 0 22 0 28527050 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349006649656 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19953/tid=19969] ppid=19950 vsize=9824732 CPUtime=2.08 cores=1,3,5,7
/proc/19953/task/19969/stat : 19969 (java) S 19950 19953 18126 0 -1 4202560 16656 0 0 0 205 3 0 0 20 0 22 0 28527050 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349005597112 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19953/tid=19970] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19970/stat : 19970 (java) S 19950 19953 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28527050 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349004544248 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19953/tid=19971] ppid=19950 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/19953/task/19971/stat : 19971 (java) S 19950 19953 18126 0 -1 4202560 51 0 0 0 11 24 0 0 20 0 22 0 28527050 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349003491912 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19953/tid=19972] ppid=19950 vsize=9824732 CPUtime=888.17 cores=1,3,5,7
/proc/19953/task/19972/stat : 19972 (java) R 19950 19953 18126 0 -1 4202560 55 0 0 0 88801 16 0 0 20 0 22 0 28527094 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349002064368 140349012709815 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19953/tid=19973] ppid=19950 vsize=9824732 CPUtime=888.12 cores=1,3,5,7
/proc/19953/task/19973/stat : 19973 (java) R 19950 19953 18126 0 -1 4202560 1943 0 0 0 88757 55 0 0 20 0 22 0 28527094 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140349001018304 140349012847473 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19953/tid=19974] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19974/stat : 19974 (java) S 19950 19953 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28527095 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140348999968040 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19953/tid=19975] ppid=19950 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19953/task/19975/stat : 19975 (java) S 19950 19953 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28527095 10060525568 855331 33554432000 1073741824 1073778376 140737408751792 140348998915496 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
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 19953 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 896.455
CPU time (s): 1800.75
CPU user time (s): 1798.13
CPU system time (s): 2.6206
CPU usage (%): 200.875
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.13
system time used= 2.6206
maximum resident set size= 3523924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41000
page faults= 1
swaps= 0
block input operations= 0
block output operations= 888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23159
involuntary context switches= 22524

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.82211 second user time and 8.33673 second system time

The end

Launcher Data

Begin job on node116 at 2016-06-26 17:27:57
IDJOB=4116590
IDBENCH=109489
IDSOLVER=2543
FILE ID=node116/4116590-1466954877
RUNJOBID= node116-1466946428-18143
PBS_JOBID= 19976367
Free space on /tmp= 71680 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round22-4.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4116590-1466954877/watcher-4116590-1466954877 -o /tmp/evaluation-result-4116590-1466954877/solver-4116590-1466954877 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466946428-18143 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4116590-1466954877.opb

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

MD5SUM BENCH= 1c07e2194ed5ae2388902849ca890320
RANDOM SEED=1739178242

node116.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.206
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.41
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.206
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.206
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.206
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.206
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:        27165868 kB
Buffers:           16704 kB
Cached:           303140 kB
SwapCached:         2080 kB
Active:          3162544 kB
Inactive:         296808 kB
Active(anon):    3140096 kB
Inactive(anon):     1656 kB
Active(file):      22448 kB
Inactive(file):   295152 kB
Unevictable:     1543748 kB
Mlocked:         1437460 kB
SwapTotal:      67108856 kB
SwapFree:       67098672 kB
Dirty:               840 kB
Writeback:             0 kB
AnonPages:       4808800 kB
Mapped:            15424 kB
Shmem:                 0 kB
Slab:             565112 kB
SReclaimable:       9020 kB
SUnreclaim:       556092 kB
KernelStack:        1808 kB
PageTables:        13852 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4974528 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3319808 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= 71680 MiB
End job on node116 at 2016-06-26 17:42:54