Trace number 4116318

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.82 895.266

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size160-round22-0.opb
MD5SUM21a0e500ca727a88f38c5e532822f09b
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 constraints8736
Number of constraints which are clauses7424
Number of constraints which are cardinality constraints (but not clauses)448
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@5d764be1
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@9f436f5
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@4413ee
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@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4116318-1466959360.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  10048
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 => 936
0.71/0.49	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 128
0.71/0.49	c org.sat4j.minisat.constraints.cnf.UnitClause => 536
0.71/0.49	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1722
0.71/0.49	c 10048 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 => 936
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 => 536
0.71/0.49	c 10048 constraints processed.
4.08/1.30	c cleaning 2493 clauses out of 4996 with flag 16346/5000
5.82/1.94	c cleaning 4240 clauses out of 8503 with flag 37683/11000
7.30/2.65	c cleaning 5623 clauses out of 11263 with flag 66879/18000
9.18/3.53	c cleaning 6810 clauses out of 13640 with flag 100608/26000
11.25/4.54	c cleaning 7871 clauses out of 15831 with flag 139765/35001
13.53/5.67	c cleaning 8954 clauses out of 17960 with flag 185526/45001
16.18/6.96	c cleaning 9996 clauses out of 20006 with flag 239671/56001
19.18/8.40	c cleaning 10939 clauses out of 22010 with flag 299425/68001
22.27/9.96	c cleaning 12024 clauses out of 24070 with flag 365936/81000
25.87/11.70	c cleaning 13004 clauses out of 26046 with flag 439271/95000
29.76/13.62	c cleaning 13999 clauses out of 28043 with flag 518263/110001
33.96/15.71	c cleaning 14998 clauses out of 30043 with flag 605935/126000
38.67/18.09	c cleaning 15999 clauses out of 32045 with flag 700453/143000
42.06/19.80	c cleaning 0 clauses out of 5000 with flag 0/5000
43.92/20.65	c cleaning 17000 clauses out of 34047 with flag 800641/161001
49.64/23.38	c cleaning 18016 clauses out of 36046 with flag 909201/180000
55.44/26.26	c cleaning 18991 clauses out of 38031 with flag 1023985/200001
61.63/29.35	c cleaning 19979 clauses out of 40039 with flag 1142098/221000
68.52/32.75	c cleaning 21016 clauses out of 42060 with flag 1267964/243000
75.74/36.32	c cleaning 22012 clauses out of 44045 with flag 1400437/266001
83.42/40.16	c cleaning 22994 clauses out of 46034 with flag 1536510/290002
91.62/44.23	c cleaning 23997 clauses out of 48038 with flag 1682837/315000
100.36/48.52	c cleaning 25014 clauses out of 50043 with flag 1837761/341002
109.54/53.19	c cleaning 26004 clauses out of 52027 with flag 1997164/368000
120.05/58.32	c cleaning 27006 clauses out of 54023 with flag 2161472/396000
130.44/63.56	c cleaning 27984 clauses out of 56019 with flag 2334236/425002
141.30/68.94	c cleaning 28979 clauses out of 58035 with flag 2512431/455002
152.76/74.64	c cleaning 30004 clauses out of 60054 with flag 2698221/486000
164.76/80.69	c cleaning 31026 clauses out of 62052 with flag 2888923/518002
178.04/87.24	c cleaning 32004 clauses out of 64025 with flag 3087521/551001
191.51/93.91	c cleaning 32999 clauses out of 66020 with flag 3292988/585000
205.96/101.00	c cleaning 33996 clauses out of 68022 with flag 3507735/620001
221.03/108.54	c cleaning 34989 clauses out of 70026 with flag 3720432/656001
237.61/117.17	c cleaning 35993 clauses out of 72036 with flag 3940629/693000
253.85/125.24	c cleaning 36966 clauses out of 74044 with flag 4169041/731001
270.72/133.62	c cleaning 38040 clauses out of 76079 with flag 4403029/770002
288.41/142.43	c cleaning 39016 clauses out of 78037 with flag 4646449/810000
306.93/151.65	c cleaning 0 clauses out of 11000 with flag 0/11000
306.93/151.67	c cleaning 39979 clauses out of 80021 with flag 4894089/851000
326.07/161.10	c cleaning 40991 clauses out of 82044 with flag 5153258/893002
345.80/170.97	c cleaning 41990 clauses out of 84052 with flag 5414772/936001
366.95/181.43	c cleaning 43024 clauses out of 86064 with flag 5685960/980003
389.04/192.37	c cleaning 44008 clauses out of 88037 with flag 5960737/1025000
411.28/203.48	c cleaning 44954 clauses out of 90029 with flag 6242760/1071000
434.78/215.18	c cleaning 46024 clauses out of 92076 with flag 6531171/1118001
459.04/227.21	c cleaning 46998 clauses out of 94052 with flag 6827457/1166001
484.24/239.80	c cleaning 48017 clauses out of 96053 with flag 7129569/1215000
511.26/253.71	c cleaning 48997 clauses out of 98036 with flag 7441455/1265000
538.17/267.12	c cleaning 49992 clauses out of 100039 with flag 7757384/1316000
565.82/280.91	c cleaning 50996 clauses out of 102047 with flag 8079694/1368000
593.09/294.57	c cleaning 51965 clauses out of 104051 with flag 8405393/1421000
620.81/308.32	c cleaning 53016 clauses out of 106086 with flag 8741660/1475000
652.24/323.97	c cleaning 54027 clauses out of 108071 with flag 9082636/1530001
684.45/339.96	c cleaning 55010 clauses out of 110044 with flag 9430479/1586001
717.50/356.30	c cleaning 56003 clauses out of 112034 with flag 9781181/1643001
752.16/373.52	c cleaning 56996 clauses out of 114030 with flag 10140571/1701000
787.59/391.19	c cleaning 57975 clauses out of 116035 with flag 10505652/1760001
824.03/409.24	c cleaning 59030 clauses out of 118060 with flag 10873786/1820001
861.63/427.99	c cleaning 60007 clauses out of 120029 with flag 11251615/1881000
900.26/447.14	c cleaning 60985 clauses out of 122023 with flag 11636911/1943001
939.83/466.80	c cleaning 61995 clauses out of 124038 with flag 12027878/2006001
980.28/486.98	c cleaning 62987 clauses out of 126042 with flag 12418675/2070000
1022.09/507.70	c cleaning 63983 clauses out of 128057 with flag 12819594/2135002
1065.14/529.15	c cleaning 65031 clauses out of 130073 with flag 13224681/2201001
1108.97/550.89	c cleaning 65993 clauses out of 132042 with flag 13635762/2268001
1127.96/560.26	c cleaning 0 clauses out of 18000 with flag 0/18000
1153.54/572.93	c cleaning 66997 clauses out of 134048 with flag 14055951/2336000
1200.59/597.24	c cleaning 67991 clauses out of 136051 with flag 14482973/2405000
1247.87/620.77	c cleaning 69006 clauses out of 138060 with flag 14911670/2475000
1296.08/644.75	c cleaning 69977 clauses out of 140054 with flag 15343462/2546000
1346.13/669.66	c cleaning 70985 clauses out of 142079 with flag 15781241/2618002
1397.83/695.35	c cleaning 72020 clauses out of 144092 with flag 16228200/2691000
1450.37/721.44	c cleaning 73019 clauses out of 146072 with flag 16681073/2765000
1505.76/748.92	c cleaning 74020 clauses out of 148053 with flag 17142452/2840000
1561.59/776.65	c cleaning 74989 clauses out of 150034 with flag 17607411/2916001
1617.96/804.66	c cleaning 75994 clauses out of 152045 with flag 18072731/2993001
1676.29/833.68	c cleaning 76995 clauses out of 154050 with flag 18545376/3071000
1736.14/863.49	c cleaning 78000 clauses out of 156055 with flag 19028307/3150000
1798.13/894.29	c cleaning 78990 clauses out of 158055 with flag 19513440/3230000
1800.13/895.20	c >>>>>>>>>> Solver number 0 (0 answers) <<<<<<<<<<<<<<<<<<
1800.13/895.20	c starts		: 28037
1800.13/895.20	c conflicts		: 3233221
1800.13/895.20	c decisions		: 26999006
1800.13/895.20	c propagations		: 413979246
1800.13/895.20	c inspects		: 9279701267
1800.13/895.20	c shortcuts		: 0
1800.13/895.20	c learnt literals	: 4
1800.13/895.20	c learnt binary clauses	: 78
1800.13/895.20	c learnt ternary clauses	: 833
1800.13/895.20	c learnt constraints	: 3233217
1800.13/895.20	c ignored constraints	: 0
1800.13/895.20	c root simplifications	: 0
1800.13/895.20	c removed literals (reason simplification)	: 2778743
1800.13/895.20	c reason swapping (by a shorter reason)	: 0
1800.13/895.20	c Calls to reduceDB	: 76
1800.13/895.20	c Number of update (reduction) of LBD	: 700935
1800.13/895.20	c Imported unit clauses	: 0
1800.13/895.20	c number of reductions to clauses (during analyze)	: 0
1800.13/895.20	c number of learned constraints concerned by reduction	: 0
1800.13/895.20	c number of learning phase by resolution	: 0
1800.13/895.20	c number of learning phase by cutting planes	: 0
1800.13/895.20	c speed (assignments/second)	: 462701.2219724802
1800.13/895.20	c non guided choices	7294
1800.13/895.23	c learnt constraints type 
1800.13/895.23	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 78
1800.13/895.23	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 82208
1800.13/895.23	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.13/895.23	c starts		: 49
1800.13/895.23	c conflicts		: 21544
1800.13/895.23	c decisions		: 69202
1800.13/895.23	c propagations		: 2586071
1800.13/895.23	c inspects		: 846431520
1800.13/895.23	c shortcuts		: 0
1800.13/895.23	c learnt literals	: 0
1800.13/895.23	c learnt binary clauses	: 0
1800.13/895.23	c learnt ternary clauses	: 0
1800.13/895.23	c learnt constraints	: 21544
1800.13/895.23	c ignored constraints	: 0
1800.13/895.23	c root simplifications	: 0
1800.13/895.23	c removed literals (reason simplification)	: 0
1800.13/895.23	c reason swapping (by a shorter reason)	: 0
1800.13/895.23	c Calls to reduceDB	: 3
1800.13/895.23	c Number of update (reduction) of LBD	: 0
1800.13/895.23	c Imported unit clauses	: 0
1800.13/895.23	c number of reductions to clauses (during analyze)	: 0
1800.13/895.23	c number of learned constraints concerned by reduction	: 0
1800.13/895.23	c number of learning phase by resolution	: 0
1800.13/895.23	c number of learning phase by cutting planes	: 0
1800.13/895.23	c speed (assignments/second)	: 2890.352901729582
1800.13/895.23	c non guided choices	291
1800.13/895.24	c learnt constraints type 
1800.13/895.24	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 9
1800.13/895.24	c org.sat4j.pb.constraints.pb.MaxWatchPb => 21535
1800.13/895.24	s UNKNOWN
1800.13/895.24	c Total wall clock time (in seconds): 895.118

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

pid=20772
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.61 4.39 4.30 4/197 20775
/proc/meminfo: memFree=27130024/32872528 swapFree=1437460/1543748
[pid=20775] ppid=20772 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/20775/stat : 20775 (java) R 20772 20775 18126 0 -1 4202496 362 0 0 0 0 0 0 0 20 0 1 0 28975340 278528 33 33554432000 1073741824 1073778376 140735306787280 140733195837480 266426477749 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20775/statm: 84 36 28 9 0 25 0

[startup+0.10006 s]
/proc/loadavg: 4.61 4.39 4.30 4/197 20775
/proc/meminfo: memFree=27130024/32872528 swapFree=1437460/1543748
[pid=20775] ppid=20772 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/20775/stat : 20775 (java) S 20772 20775 18126 0 -1 4202496 4405 0 1 0 8 1 0 0 20 0 18 0 28975340 9787879424 6033 33554432000 1073741824 1073778376 140735306787280 140735306778416 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20775/statm: 2389619 6033 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200216 s]
/proc/loadavg: 4.61 4.39 4.30 4/197 20775
/proc/meminfo: memFree=27130024/32872528 swapFree=1437460/1543748
[pid=20775] ppid=20772 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/20775/stat : 20775 (java) S 20772 20775 18126 0 -1 4202496 4697 0 1 0 23 1 0 0 20 0 18 0 28975340 9787879424 6784 33554432000 1073741824 1073778376 140735306787280 140735306778416 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20775/statm: 2389619 6784 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476

[startup+0.300223 s]
/proc/loadavg: 4.61 4.39 4.30 4/197 20775
/proc/meminfo: memFree=27130024/32872528 swapFree=1437460/1543748
[pid=20775] ppid=20772 vsize=9558476 CPUtime=0.47 cores=1,3,5,7
/proc/20775/stat : 20775 (java) S 20772 20775 18126 0 -1 4202496 5825 0 1 0 46 1 0 0 20 0 18 0 28975340 9787879424 8317 33554432000 1073741824 1073778376 140735306787280 140735306778416 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20775/statm: 2389619 8317 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.61 4.39 4.30 4/197 20775
/proc/meminfo: memFree=27130024/32872528 swapFree=1437460/1543748
[pid=20775] ppid=20772 vsize=9824732 CPUtime=1.81 cores=1,3,5,7
/proc/20775/stat : 20775 (java) S 20772 20775 18126 0 -1 4202496 13320 0 1 0 179 2 0 0 20 0 22 0 28975340 10060525568 23064 33554432000 1073741824 1073778376 140735306787280 140735306778416 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20775/statm: 2456183 23064 2269 9 0 2446860 0
Current children cumulated CPU time (s) 1.81
Current children cumulated vsize (KiB) 9824732

[startup+1.50086 s]
/proc/loadavg: 4.61 4.39 4.30 8/219 20797
/proc/meminfo: memFree=26984904/32872528 swapFree=1437460/1543748
[pid=20775] ppid=20772 vsize=9824732 CPUtime=4.72 cores=1,3,5,7
/proc/20775/stat : 20775 (java) S 20772 20775 18126 0 -1 4202496 22100 0 1 0 465 7 0 0 20 0 22 0 28975340 10060525568 48151 33554432000 1073741824 1073778376 140735306787280 140735306778416 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20775/statm: 2456183 48151 2292 9 0 2446860 0
[pid=20775/tid=20777] ppid=20772 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/20775/task/20777/stat : 20777 (java) S 20772 20775 18126 0 -1 4202560 2437 0 1 0 44 2 0 0 20 0 22 0 28975341 10060525568 48151 33554432000 1073741824 1073778376 140735306787280 140420705743736 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20775/tid=20778] ppid=20772 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20775/task/20778/stat : 20778 (java) S 20772 20775 18126 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 28975342 10060525568 48151 33554432000 1073741824 1073778376 140735306787280 140420549793960 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20775/tid=20779] ppid=20772 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20775/task/20779/stat : 20779 (java) S 20772 20775 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28975343 10060525568 48151 33554432000 1073741824 1073778376 140735306787280 140420548741416 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20775/tid=20780] ppid=20772 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20775/task/20780/stat : 20780 (java) S 20772 20775 18126 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 28975343 10060525568 48151 33554432000 1073741824 1073778376 140735306787280 140420547688872 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20775/tid=20781] ppid=20772 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20775/task/20781/stat : 20781 (java) S 20772 20775 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28975343 10060525568 48151 33554432000 1073741824 1073778376 140735306787280 140420546636328 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20775/tid=20782] ppid=20772 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20775/task/20782/stat : 20782 (java) S 20772 20775 18126 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 28975343 10060525568 48151 33554432000 1073741824 1073778376 140735306787280 140420545583784 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20775/tid=20783] ppid=20772 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20775/task/20783/stat : 20783 (java) S 20772 20775 18126 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 28975343 10060525568 48151 33554432000 1073741824 1073778376 140735306787280 140420544531240 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20775/tid=20784] ppid=20772 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20775/task/20784/stat : 20784 (java) S 20772 20775 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28975343 10060525568 48151 33554432000 1073741824 1073778376 140735306787280 140420543478696 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20775/tid=20785] ppid=20772 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20775/task/20785/stat : 20785 (java) S 20772 20775 18126 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 28975343 10060525568 48151 33554432000 1073741824 1073778376 140735306787280 140420542426152 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20775/tid=20786] ppid=20772 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20775/task/20786/stat : 20786 (java) S 20772 20775 18126 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 28975344 10060525568 48151 33554432000 1073741824 1073778376 140735306787280 140420059211880 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20775/tid=20787] ppid=20772 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20775/task/20787/stat : 20787 (java) S 20772 20775 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28975344 10060525568 48151 33554432000 1073741824 1073778376 140735306787280 140420058158200 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20775/tid=20788] ppid=20772 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20775/task/20788/stat : 20788 (java) S 20772 20775 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28975344 10060525568 48151 33554432000 1073741824 1073778376 140735306787280 140420057105544 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20775/tid=20789] ppid=20772 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20775/task/20789/stat : 20789 (java) S 20772 20775 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28975346 10060525568 48151 33554432000 1073741824 1073778376 140735306787280 140420056054288 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20775/tid=20790] ppid=20772 vsize=9824732 CPUtime=1.2 cores=1,3,5,7
/proc/20775/task/20790/stat : 20790 (java) R 20772 20775 18126 0 -1 4202560 10853 0 0 0 118 2 0 0 20 0 22 0 28975346 10060525568 48151 33554432000 1073741824 1073778376 140735306787280 140420054989224 140420712717563 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20775/tid=20791] ppid=20772 vsize=9824732 CPUtime=1.02 cores=1,3,5,7
/proc/20775/task/20791/stat : 20791 (java) S 20772 20775 18126 0 -1 4202560 7399 0 0 0 101 1 0 0 20 0 22 0 28975346 10060525568 48151 33554432000 1073741824 1073778376 140735306787280 140420053949112 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20775/tid=20792] ppid=20772 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20775/task/20792/stat : 20792 (java) S 20772 20775 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28975346 10060525568 48151 33554432000 1073741824 1073778376 140735306787280 140420052896760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20775/tid=20793] ppid=20772 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20775/task/20793/stat : 20793 (java) S 20772 20775 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28975346 10060525568 48151 33554432000 1073741824 1073778376 140735306787280 140420051844424 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20775/tid=20794] ppid=20772 vsize=9824732 CPUtime=0.97 cores=1,3,5,7
/proc/20775/task/20794/stat : 20794 (java) R 20772 20775 18126 0 -1 4202560 19 0 0 0 97 0 0 0 20 0 22 0 28975390 10060525568 48151 33554432000 1073741824 1073778376 140735306787280 140420050779808 140420550708707 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20775/tid=20795] ppid=20772 vsize=9824732 CPUtime=0.97 cores=1,3,5,7
/proc/20775/task/20795/stat : 20795 (java) R 20772 20775 18126 0 -1 4202560 75 0 0 0 95 2 0 0 20 0 22 0 28975390 10060525568 48151 33554432000 1073741824 1073778376 140735306787280 140420049735784 140420550749009 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=20775/tid=20796] ppid=20772 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20775/task/20796/stat : 20796 (java) S 20772 20775 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28975391 10060525568 48151 33554432000 1073741824 1073778376 140735306787280 140420048684072 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20775/tid=20797] ppid=20772 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20775/task/20797/stat : 20797 (java) S 20772 20775 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28975391 10060525568 48151 33554432000 1073741824 1073778376 140735306787280 140420047631528 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.72
Current children cumulated vsize (KiB) 9824732

[startup+3.10095 s]
/proc/loadavg: 4.61 4.39 4.30 5/219 20797
/proc/meminfo: memFree=26910180/32872528 swapFree=1437460/1543748
[pid=20775] ppid=20772 vsize=9824732 CPUtime=8.37 cores=1,3,5,7
/proc/20775/stat : 20775 (java) S 20772 20775 18126 0 -1 4202496 22455 0 1 0 823 14 0 0 20 0 22 0 28975340 10060525568 88202 33554432000 1073741824 1073778376 140735306787280 140735306778416 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20775/statm: 2456183 88202 2292 9 0 2446860 0
[pid=20775/tid=20777] ppid=20772 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/20775/task/20777/stat : 20777 (java) S 20772 20775 18126 0 -1 4202560 2437 0 1 0 44 2 0 0 20 0 22 0 28975341 10060525568 88202 33554432000 1073741824 1073778376 140735306787280 140420705743736 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20775/tid=20778] ppid=20772 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/20775/task/20778/stat : 20778 (java) S 20772 20775 18126 0 -1 4202560 26 0 0 0 4 0 0 0 20 0 22 0 28975342 10060525568 88202 33554432000 1073741824 1073778376 140735306787280 140420549793960 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20775/tid=20779] ppid=20772 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/20775/task/20779/stat : 20779 (java) S 20772 20775 18126 0 -1 4202560 9 0 0 0 3 0 0 0 20 0 22 0 28975343 10060525568 88202 33554432000 1073741824 1073778376 140735306787280 140420548741416 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20775/tid=20780] ppid=20772 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/20775/task/20780/stat : 20780 (java) S 20772 20775 18126 0 -1 4202560 4 0 0 0 2 0 0 0 20 0 22 0 28975343 10060525568 88202 33554432000 1073741824 1073778376 140735306787280 140420547688872 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20775/tid=20781] ppid=20772 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/20775/task/20781/stat : 20781 (java) S 20772 20775 18126 0 -1 4202560 18 0 0 0 4 0 0 0 20 0 22 0 28975343 10060525568 88202 33554432000 1073741824 1073778376 140735306787280 140420546636328 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20775/tid=20782] ppid=20772 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/20775/task/20782/stat : 20782 (java) S 20772 20775 18126 0 -1 4202560 29 0 0 0 5 1 0 0 20 0 22 0 28975343 10060525568 88202 33554432000 1073741824 1073778376 140735306787280 140420545583784 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20775/tid=20783] ppid=20772 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/20775/task/20783/stat : 20783 (java) S 20772 20775 18126 0 -1 4202560 24 0 0 0 4 2 0 0 20 0 22 0 28975343 10060525568 88202 33554432000 1073741824 1073778376 140735306787280 140420544531240 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20775/tid=20784] ppid=20772 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/20775/task/20784/stat : 20784 (java) S 20772 20775 18126 0 -1 4202560 14 0 0 0 4 0 0 0 20 0 22 0 28975343 10060525568 88202 33554432000 1073741824 1073778376 140735306787280 140420543478696 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20775/tid=20785] ppid=20772 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/20775/task/20785/stat : 20785 (java) S 20772 20775 18126 0 -1 4202560 30 0 0 0 4 2 0 0 20 0 22 0 28975343 10060525568 88202 33554432000 1073741824 1073778376 140735306787280 140420542426152 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20775/tid=20786] ppid=20772 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20775/task/20786/stat : 20786 (java) S 20772 20775 18126 0 -1 4202560 200 0 0 0 0 0 0 0 20 0 22 0 28975344 10060525568 88202 33554432000 1073741824 1073778376 140735306787280 140420059211880 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20775/tid=20787] ppid=20772 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20775/task/20787/stat : 20787 (java) S 20772 20775 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28975344 10060525568 88202 33554432000 1073741824 1073778376 140735306787280 140420058158200 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20775/tid=20788] ppid=20772 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20775/task/20788/stat : 20788 (java) S 20772 20775 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28975344 10060525568 88202 33554432000 1073741824 1073778376 140735306787280 140420057105544 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20775/tid=20789] ppid=20772 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20775/task/20789/stat : 20789 (java) S 20772 20775 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28975346 10060525568 88202 33554432000 1073741824 1073778376 140735306787280 140420056054288 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20775/tid=20790] ppid=20772 vsize=9824732 CPUtime=1.46 cores=1,3,5,7
/proc/20775/task/20790/stat : 20790 (java) S 20772 20775 18126 0 -1 4202560 10853 0 0 0 144 2 0 0 20 0 22 0 28975346 10060525568 88202 33554432000 1073741824 1073778376 140735306787280 140420055001656 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20775/tid=20791] ppid=20772 vsize=9824732 CPUtime=1.08 cores=1,3,5,7
/proc/20775/task/20791/stat : 20791 (java) S 20772 20775 18126 0 -1 4202560 7399 0 0 0 106 2 0 0 20 0 22 0 28975346 10060525568 88202 33554432000 1073741824 1073778376 140735306787280 140420053949112 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20775/tid=20792] ppid=20772 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20775/task/20792/stat : 20792 (java) S 20772 20775 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28975346 10060525568 88202 33554432000 1073741824 1073778376 140735306787280 140420052896760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20775/tid=20793] ppid=20772 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20775/task/20793/stat : 20793 (java) S 20772 20775 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28975346 10060525568 88202 33554432000 1073741824 1073778376 140735306787280 140420051844424 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20775/tid=20794] ppid=20772 vsize=9824732 CPUtime=2.44 cores=1,3,5,7
/proc/20775/task/20794/stat : 20794 (java) R 20772 20775 18126 0 -1 4202560 20 0 0 0 244 0 0 0 20 0 22 0 28975390 10060525568 88202 33554432000 1073741824 1073778376 140735306787280 140420050786712 140420550748887 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20775/tid=20795] ppid=20772 vsize=9824732 CPUtime=2.42 cores=1,3,5,7
/proc/20775/task/20795/stat : 20795 (java) R 20772 20775 18126 0 -1 4202560 126 0 0 0 240 2 0 0 20 0 22 0 28975390 10060525568 88202 33554432000 1073741824 1073778376 140735306787280 140420049734800 140420550730577 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20775/tid=20796] ppid=20772 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20775/task/20796/stat : 20796 (java) S 20772 20775 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28975391 10060525568 88202 33554432000 1073741824 1073778376 140735306787280 140420048684072 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20775/tid=20797] ppid=20772 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20775/task/20797/stat : 20797 (java) S 20772 20775 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28975391 10060525568 88202 33554432000 1073741824 1073778376 140735306787280 140420047631528 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 8.37
Current children cumulated vsize (KiB) 9824732

[startup+6.30097 s]
/proc/loadavg: 4.64 4.40 4.30 5/219 20797
/proc/meminfo: memFree=26503440/32872528 swapFree=1437460/1543748
[pid=20775] ppid=20772 vsize=9824732 CPUtime=14.91 cores=1,3,5,7
/proc/20775/stat : 20775 (java) S 20772 20775 18126 0 -1 4202496 23132 0 1 0 1468 23 0 0 20 0 22 0 28975340 10060525568 154757 33554432000 1073741824 1073778376 140735306787280 140735306778416 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20775/statm: 2456183 154757 2292 9 0 2446860 0
[pid=20775/tid=20777] ppid=20772 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/20775/task/20777/stat : 20777 (java) S 20772 20775 18126 0 -1 4202560 2437 0 1 0 44 2 0 0 20 0 22 0 28975341 10060525568 154757 33554432000 1073741824 1073778376 140735306787280 140420705743736 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20775/tid=20778] ppid=20772 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/20775/task/20778/stat : 20778 (java) S 20772 20775 18126 0 -1 4202560 58 0 0 0 5 1 0 0 20 0 22 0 28975342 10060525568 154757 33554432000 1073741824 1073778376 140735306787280 140420549793960 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20775/tid=20779] ppid=20772 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/20775/task/20779/stat : 20779 (java) S 20772 20775 18126 0 -1 4202560 60 0 0 0 5 1 0 0 20 0 22 0 28975343 10060525568 154757 33554432000 1073741824 1073778376 140735306787280 140420548741416 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20775/tid=20780] ppid=20772 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/20775/task/20780/stat : 20780 (java) S 20772 20775 18126 0 -1 4202560 61 0 0 0 7 1 0 0 20 0 22 0 28975343 10060525568 154757 33554432000 1073741824 1073778376 140735306787280 140420547688872 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20775/tid=20781] ppid=20772 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/20775/task/20781/stat : 20781 (java) S 20772 20775 18126 0 -1 4202560 28 0 0 0 6 1 0 0 20 0 22 0 28975343 10060525568 154757 33554432000 1073741824 1073778376 140735306787280 140420546636328 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20775/tid=20782] ppid=20772 vsize=9824732 CPUtime=0.11 cores=1,3,5,7
/proc/20775/task/20782/stat : 20782 (java) S 20772 20775 18126 0 -1 4202560 82 0 0 0 8 3 0 0 20 0 22 0 28975343 10060525568 154757 33554432000 1073741824 1073778376 140735306787280 140420545583784 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20775/tid=20783] ppid=20772 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/20775/task/20783/stat : 20783 (java) S 20772 20775 18126 0 -1 4202560 72 0 0 0 7 2 0 0 20 0 22 0 28975343 10060525568 154757 33554432000 1073741824 1073778376 140735306787280 140420544531240 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20775/tid=20784] ppid=20772 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/20775/task/20784/stat : 20784 (java) S 20772 20775 18126 0 -1 4202560 45 0 0 0 5 2 0 0 20 0 22 0 28975343 10060525568 154757 33554432000 1073741824 1073778376 140735306787280 140420543478696 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20775/tid=20785] ppid=20772 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/20775/task/20785/stat : 20785 (java) S 20772 20775 18126 0 -1 4202560 62 0 0 0 7 2 0 0 20 0 22 0 28975343 10060525568 154757 33554432000 1073741824 1073778376 140735306787280 140420542426152 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20775/tid=20786] ppid=20772 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20775/task/20786/stat : 20786 (java) S 20772 20775 18126 0 -1 4202560 454 0 0 0 0 0 0 0 20 0 22 0 28975344 10060525568 154757 33554432000 1073741824 1073778376 140735306787280 140420059211880 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20775/tid=20787] ppid=20772 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20775/task/20787/stat : 20787 (java) S 20772 20775 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28975344 10060525568 154757 33554432000 1073741824 1073778376 140735306787280 140420058158200 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20775/tid=20788] ppid=20772 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20775/task/20788/stat : 20788 (java) S 20772 20775 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28975344 10060525568 154757 33554432000 1073741824 1073778376 140735306787280 140420057105544 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20775/tid=20789] ppid=20772 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20775/task/20789/stat : 20789 (java) S 20772 20775 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28975346 10060525568 154757 33554432000 1073741824 1073778376 140735306787280 140420056054288 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20775/tid=20790] ppid=20772 vsize=9824732 CPUtime=1.46 cores=1,3,5,7

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


[startup+822.301 s]
/proc/loadavg: 4.22 4.19 4.21 5/219 20884
/proc/meminfo: memFree=23638256/32872528 swapFree=1437460/1543748
[pid=20775] ppid=20772 vsize=9824732 CPUtime=1653.58 cores=1,3,5,7
/proc/20775/stat : 20775 (java) S 20772 20775 18126 0 -1 4202496 34602 0 1 0 165161 197 0 0 20 0 22 0 28975340 10060525568 936301 33554432000 1073741824 1073778376 140735306787280 140735306778416 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20775/statm: 2456183 936301 2301 9 0 2446860 0
[pid=20775/tid=20777] ppid=20772 vsize=9824732 CPUtime=0.5 cores=1,3,5,7
/proc/20775/task/20777/stat : 20777 (java) S 20772 20775 18126 0 -1 4202560 2442 0 1 0 47 3 0 0 20 0 22 0 28975341 10060525568 936301 33554432000 1073741824 1073778376 140735306787280 140420705743736 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20775/tid=20778] ppid=20772 vsize=9824732 CPUtime=2.94 cores=1,3,5,7
/proc/20775/task/20778/stat : 20778 (java) S 20772 20775 18126 0 -1 4202560 652 0 0 0 278 16 0 0 20 0 22 0 28975342 10060525568 936301 33554432000 1073741824 1073778376 140735306787280 140420549793960 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20775/tid=20779] ppid=20772 vsize=9824732 CPUtime=2.4 cores=1,3,5,7
/proc/20775/task/20779/stat : 20779 (java) S 20772 20775 18126 0 -1 4202560 753 0 0 0 225 15 0 0 20 0 22 0 28975343 10060525568 936301 33554432000 1073741824 1073778376 140735306787280 140420548741416 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20775/tid=20780] ppid=20772 vsize=9824732 CPUtime=2.98 cores=1,3,5,7
/proc/20775/task/20780/stat : 20780 (java) S 20772 20775 18126 0 -1 4202560 624 0 0 0 281 17 0 0 20 0 22 0 28975343 10060525568 936301 33554432000 1073741824 1073778376 140735306787280 140420547688872 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20775/tid=20781] ppid=20772 vsize=9824732 CPUtime=2.4 cores=1,3,5,7
/proc/20775/task/20781/stat : 20781 (java) S 20772 20775 18126 0 -1 4202560 508 0 0 0 228 12 0 0 20 0 22 0 28975343 10060525568 936301 33554432000 1073741824 1073778376 140735306787280 140420546636328 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20775/tid=20782] ppid=20772 vsize=9824732 CPUtime=2.73 cores=1,3,5,7
/proc/20775/task/20782/stat : 20782 (java) S 20772 20775 18126 0 -1 4202560 874 0 0 0 257 16 0 0 20 0 22 0 28975343 10060525568 936301 33554432000 1073741824 1073778376 140735306787280 140420545583784 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20775/tid=20783] ppid=20772 vsize=9824732 CPUtime=2.94 cores=1,3,5,7
/proc/20775/task/20783/stat : 20783 (java) S 20772 20775 18126 0 -1 4202560 844 0 0 0 278 16 0 0 20 0 22 0 28975343 10060525568 936301 33554432000 1073741824 1073778376 140735306787280 140420544531240 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20775/tid=20784] ppid=20772 vsize=9824732 CPUtime=2.8 cores=1,3,5,7
/proc/20775/task/20784/stat : 20784 (java) S 20772 20775 18126 0 -1 4202560 800 0 0 0 264 16 0 0 20 0 22 0 28975343 10060525568 936301 33554432000 1073741824 1073778376 140735306787280 140420543478696 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20775/tid=20785] ppid=20772 vsize=9824732 CPUtime=2.88 cores=1,3,5,7
/proc/20775/task/20785/stat : 20785 (java) S 20772 20775 18126 0 -1 4202560 651 0 0 0 269 19 0 0 20 0 22 0 28975343 10060525568 936301 33554432000 1073741824 1073778376 140735306787280 140420542426152 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20775/tid=20786] ppid=20772 vsize=9824732 CPUtime=3.66 cores=1,3,5,7
/proc/20775/task/20786/stat : 20786 (java) S 20772 20775 18126 0 -1 4202560 2353 0 0 0 358 8 0 0 20 0 22 0 28975344 10060525568 936301 33554432000 1073741824 1073778376 140735306787280 140420059211880 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20775/tid=20787] ppid=20772 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20775/task/20787/stat : 20787 (java) S 20772 20775 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28975344 10060525568 936301 33554432000 1073741824 1073778376 140735306787280 140420058158200 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20775/tid=20788] ppid=20772 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20775/task/20788/stat : 20788 (java) S 20772 20775 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28975344 10060525568 936301 33554432000 1073741824 1073778376 140735306787280 140420057105544 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20775/tid=20789] ppid=20772 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20775/task/20789/stat : 20789 (java) S 20772 20775 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28975346 10060525568 936301 33554432000 1073741824 1073778376 140735306787280 140420056054288 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20775/tid=20790] ppid=20772 vsize=9824732 CPUtime=1.68 cores=1,3,5,7
/proc/20775/task/20790/stat : 20790 (java) S 20772 20775 18126 0 -1 4202560 10856 0 0 0 166 2 0 0 20 0 22 0 28975346 10060525568 936301 33554432000 1073741824 1073778376 140735306787280 140420055001656 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20775/tid=20791] ppid=20772 vsize=9824732 CPUtime=1.46 cores=1,3,5,7
/proc/20775/task/20791/stat : 20791 (java) S 20772 20775 18126 0 -1 4202560 9469 0 0 0 144 2 0 0 20 0 22 0 28975346 10060525568 936301 33554432000 1073741824 1073778376 140735306787280 140420053949112 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20775/tid=20792] ppid=20772 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20775/task/20792/stat : 20792 (java) S 20772 20775 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28975346 10060525568 936301 33554432000 1073741824 1073778376 140735306787280 140420052896760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20775/tid=20793] ppid=20772 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/20775/task/20793/stat : 20793 (java) S 20772 20775 18126 0 -1 4202560 47 0 0 0 13 20 0 0 20 0 22 0 28975346 10060525568 936301 33554432000 1073741824 1073778376 140735306787280 140420051844424 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20775/tid=20794] ppid=20772 vsize=9824732 CPUtime=812.05 cores=1,3,5,7
/proc/20775/task/20794/stat : 20794 (java) R 20772 20775 18126 0 -1 4202560 72 0 0 0 81189 16 0 0 20 0 22 0 28975390 10060525568 936301 33554432000 1073741824 1073778376 140735306787280 140420050787600 140420550720710 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20775/tid=20795] ppid=20772 vsize=9824732 CPUtime=812.07 cores=1,3,5,7
/proc/20775/task/20795/stat : 20795 (java) R 20772 20775 18126 0 -1 4202560 2392 0 0 0 81157 50 0 0 20 0 22 0 28975390 10060525568 936301 33554432000 1073741824 1073778376 140735306787280 140420049736264 140420550696499 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20775/tid=20796] ppid=20772 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20775/task/20796/stat : 20796 (java) S 20772 20775 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28975391 10060525568 936301 33554432000 1073741824 1073778376 140735306787280 140420048684072 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20775/tid=20797] ppid=20772 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20775/task/20797/stat : 20797 (java) S 20772 20775 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28975391 10060525568 936301 33554432000 1073741824 1073778376 140735306787280 140420047631528 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1653.58
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.14 4.17 4.20 5/219 20885
/proc/meminfo: memFree=23432720/32872528 swapFree=1437460/1543748
[pid=20775] ppid=20772 vsize=9824732 CPUtime=1774.15 cores=1,3,5,7
/proc/20775/stat : 20775 (java) S 20772 20775 18126 0 -1 4202496 34664 0 1 0 177213 202 0 0 20 0 22 0 28975340 10060525568 942953 33554432000 1073741824 1073778376 140735306787280 140735306778416 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20775/statm: 2456183 942953 2301 9 0 2446860 0
[pid=20775/tid=20777] ppid=20772 vsize=9824732 CPUtime=0.5 cores=1,3,5,7
/proc/20775/task/20777/stat : 20777 (java) S 20772 20775 18126 0 -1 4202560 2442 0 1 0 47 3 0 0 20 0 22 0 28975341 10060525568 942953 33554432000 1073741824 1073778376 140735306787280 140420705743736 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20775/tid=20778] ppid=20772 vsize=9824732 CPUtime=3.09 cores=1,3,5,7
/proc/20775/task/20778/stat : 20778 (java) S 20772 20775 18126 0 -1 4202560 658 0 0 0 292 17 0 0 20 0 22 0 28975342 10060525568 942953 33554432000 1073741824 1073778376 140735306787280 140420549793960 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20775/tid=20779] ppid=20772 vsize=9824732 CPUtime=2.58 cores=1,3,5,7
/proc/20775/task/20779/stat : 20779 (java) S 20772 20775 18126 0 -1 4202560 763 0 0 0 242 16 0 0 20 0 22 0 28975343 10060525568 942953 33554432000 1073741824 1073778376 140735306787280 140420548741416 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20775/tid=20780] ppid=20772 vsize=9824732 CPUtime=3.13 cores=1,3,5,7
/proc/20775/task/20780/stat : 20780 (java) S 20772 20775 18126 0 -1 4202560 626 0 0 0 296 17 0 0 20 0 22 0 28975343 10060525568 942953 33554432000 1073741824 1073778376 140735306787280 140420547688872 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20775/tid=20781] ppid=20772 vsize=9824732 CPUtime=2.52 cores=1,3,5,7
/proc/20775/task/20781/stat : 20781 (java) S 20772 20775 18126 0 -1 4202560 519 0 0 0 239 13 0 0 20 0 22 0 28975343 10060525568 942953 33554432000 1073741824 1073778376 140735306787280 140420546636328 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20775/tid=20782] ppid=20772 vsize=9824732 CPUtime=2.85 cores=1,3,5,7
/proc/20775/task/20782/stat : 20782 (java) S 20772 20775 18126 0 -1 4202560 879 0 0 0 269 16 0 0 20 0 22 0 28975343 10060525568 942953 33554432000 1073741824 1073778376 140735306787280 140420545583784 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20775/tid=20783] ppid=20772 vsize=9824732 CPUtime=3.05 cores=1,3,5,7
/proc/20775/task/20783/stat : 20783 (java) S 20772 20775 18126 0 -1 4202560 848 0 0 0 289 16 0 0 20 0 22 0 28975343 10060525568 942953 33554432000 1073741824 1073778376 140735306787280 140420544531240 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20775/tid=20784] ppid=20772 vsize=9824732 CPUtime=3 cores=1,3,5,7
/proc/20775/task/20784/stat : 20784 (java) S 20772 20775 18126 0 -1 4202560 804 0 0 0 283 17 0 0 20 0 22 0 28975343 10060525568 942953 33554432000 1073741824 1073778376 140735306787280 140420543478696 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20775/tid=20785] ppid=20772 vsize=9824732 CPUtime=3.04 cores=1,3,5,7
/proc/20775/task/20785/stat : 20785 (java) S 20772 20775 18126 0 -1 4202560 654 0 0 0 285 19 0 0 20 0 22 0 28975343 10060525568 942953 33554432000 1073741824 1073778376 140735306787280 140420542426152 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20775/tid=20786] ppid=20772 vsize=9824732 CPUtime=3.67 cores=1,3,5,7
/proc/20775/task/20786/stat : 20786 (java) S 20772 20775 18126 0 -1 4202560 2360 0 0 0 359 8 0 0 20 0 22 0 28975344 10060525568 942953 33554432000 1073741824 1073778376 140735306787280 140420059211880 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20775/tid=20787] ppid=20772 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20775/task/20787/stat : 20787 (java) S 20772 20775 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28975344 10060525568 942953 33554432000 1073741824 1073778376 140735306787280 140420058158200 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20775/tid=20788] ppid=20772 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20775/task/20788/stat : 20788 (java) S 20772 20775 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28975344 10060525568 942953 33554432000 1073741824 1073778376 140735306787280 140420057105544 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20775/tid=20789] ppid=20772 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20775/task/20789/stat : 20789 (java) S 20772 20775 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28975346 10060525568 942953 33554432000 1073741824 1073778376 140735306787280 140420056054288 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20775/tid=20790] ppid=20772 vsize=9824732 CPUtime=1.68 cores=1,3,5,7
/proc/20775/task/20790/stat : 20790 (java) S 20772 20775 18126 0 -1 4202560 10856 0 0 0 166 2 0 0 20 0 22 0 28975346 10060525568 942953 33554432000 1073741824 1073778376 140735306787280 140420055001656 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20775/tid=20791] ppid=20772 vsize=9824732 CPUtime=1.46 cores=1,3,5,7
/proc/20775/task/20791/stat : 20791 (java) S 20772 20775 18126 0 -1 4202560 9469 0 0 0 144 2 0 0 20 0 22 0 28975346 10060525568 942953 33554432000 1073741824 1073778376 140735306787280 140420053949112 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20775/tid=20792] ppid=20772 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20775/task/20792/stat : 20792 (java) S 20772 20775 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28975346 10060525568 942953 33554432000 1073741824 1073778376 140735306787280 140420052896760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20775/tid=20793] ppid=20772 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/20775/task/20793/stat : 20793 (java) S 20772 20775 18126 0 -1 4202560 51 0 0 0 14 22 0 0 20 0 22 0 28975346 10060525568 942953 33554432000 1073741824 1073778376 140735306787280 140420051844424 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20775/tid=20794] ppid=20772 vsize=9824732 CPUtime=871.75 cores=1,3,5,7
/proc/20775/task/20794/stat : 20794 (java) R 20772 20775 18126 0 -1 4202560 73 0 0 0 87158 17 0 0 20 0 22 0 28975390 10060525568 942953 33554432000 1073741824 1073778376 140735306787280 140420050787600 140420550671240 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20775/tid=20795] ppid=20772 vsize=9824732 CPUtime=871.76 cores=1,3,5,7
/proc/20775/task/20795/stat : 20795 (java) R 20772 20775 18126 0 -1 4202560 2397 0 0 0 87125 51 0 0 20 0 22 0 28975390 10060525568 942953 33554432000 1073741824 1073778376 140735306787280 140420049735968 140420550894144 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20775/tid=20796] ppid=20772 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20775/task/20796/stat : 20796 (java) S 20772 20775 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28975391 10060525568 942953 33554432000 1073741824 1073778376 140735306787280 140420048684072 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20775/tid=20797] ppid=20772 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20775/task/20797/stat : 20797 (java) S 20772 20775 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28975391 10060525568 942953 33554432000 1073741824 1073778376 140735306787280 140420047631528 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1774.15
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+895.201 s]
/proc/loadavg: 4.12 4.16 4.20 5/219 20886
/proc/meminfo: memFree=23413544/32872528 swapFree=1437460/1543748
[pid=20775] ppid=20772 vsize=9824732 CPUtime=1800.13 cores=1,3,5,7
/proc/20775/stat : 20775 (java) S 20772 20775 18126 0 -1 4202496 34674 0 1 0 179810 203 0 0 20 0 22 0 28975340 10060525568 943463 33554432000 1073741824 1073778376 140735306787280 140735306778416 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20775/statm: 2456183 943463 2301 9 0 2446860 0
[pid=20775/tid=20777] ppid=20772 vsize=9824732 CPUtime=0.5 cores=1,3,5,7
/proc/20775/task/20777/stat : 20777 (java) S 20772 20775 18126 0 -1 4202560 2442 0 1 0 47 3 0 0 20 0 22 0 28975341 10060525568 943463 33554432000 1073741824 1073778376 140735306787280 140420705743736 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20775/tid=20778] ppid=20772 vsize=9824732 CPUtime=3.14 cores=1,3,5,7
/proc/20775/task/20778/stat : 20778 (java) S 20772 20775 18126 0 -1 4202560 658 0 0 0 297 17 0 0 20 0 22 0 28975342 10060525568 943463 33554432000 1073741824 1073778376 140735306787280 140420549793960 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20775/tid=20779] ppid=20772 vsize=9824732 CPUtime=2.64 cores=1,3,5,7
/proc/20775/task/20779/stat : 20779 (java) S 20772 20775 18126 0 -1 4202560 764 0 0 0 248 16 0 0 20 0 22 0 28975343 10060525568 943463 33554432000 1073741824 1073778376 140735306787280 140420548741416 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20775/tid=20780] ppid=20772 vsize=9824732 CPUtime=3.16 cores=1,3,5,7
/proc/20775/task/20780/stat : 20780 (java) S 20772 20775 18126 0 -1 4202560 626 0 0 0 299 17 0 0 20 0 22 0 28975343 10060525568 943463 33554432000 1073741824 1073778376 140735306787280 140420547688872 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20775/tid=20781] ppid=20772 vsize=9824732 CPUtime=2.57 cores=1,3,5,7
/proc/20775/task/20781/stat : 20781 (java) S 20772 20775 18126 0 -1 4202560 519 0 0 0 244 13 0 0 20 0 22 0 28975343 10060525568 943463 33554432000 1073741824 1073778376 140735306787280 140420546636328 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20775/tid=20782] ppid=20772 vsize=9824732 CPUtime=2.88 cores=1,3,5,7
/proc/20775/task/20782/stat : 20782 (java) S 20772 20775 18126 0 -1 4202560 879 0 0 0 272 16 0 0 20 0 22 0 28975343 10060525568 943463 33554432000 1073741824 1073778376 140735306787280 140420545583784 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20775/tid=20783] ppid=20772 vsize=9824732 CPUtime=3.09 cores=1,3,5,7
/proc/20775/task/20783/stat : 20783 (java) S 20772 20775 18126 0 -1 4202560 848 0 0 0 293 16 0 0 20 0 22 0 28975343 10060525568 943463 33554432000 1073741824 1073778376 140735306787280 140420544531240 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20775/tid=20784] ppid=20772 vsize=9824732 CPUtime=3.08 cores=1,3,5,7
/proc/20775/task/20784/stat : 20784 (java) S 20772 20775 18126 0 -1 4202560 804 0 0 0 291 17 0 0 20 0 22 0 28975343 10060525568 943463 33554432000 1073741824 1073778376 140735306787280 140420543478696 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20775/tid=20785] ppid=20772 vsize=9824732 CPUtime=3.13 cores=1,3,5,7
/proc/20775/task/20785/stat : 20785 (java) S 20772 20775 18126 0 -1 4202560 655 0 0 0 294 19 0 0 20 0 22 0 28975343 10060525568 943463 33554432000 1073741824 1073778376 140735306787280 140420542426152 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20775/tid=20786] ppid=20772 vsize=9824732 CPUtime=3.67 cores=1,3,5,7
/proc/20775/task/20786/stat : 20786 (java) S 20772 20775 18126 0 -1 4202560 2363 0 0 0 359 8 0 0 20 0 22 0 28975344 10060525568 943463 33554432000 1073741824 1073778376 140735306787280 140420059211880 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20775/tid=20787] ppid=20772 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20775/task/20787/stat : 20787 (java) S 20772 20775 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28975344 10060525568 943463 33554432000 1073741824 1073778376 140735306787280 140420058158200 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20775/tid=20788] ppid=20772 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20775/task/20788/stat : 20788 (java) S 20772 20775 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28975344 10060525568 943463 33554432000 1073741824 1073778376 140735306787280 140420057105544 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20775/tid=20789] ppid=20772 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20775/task/20789/stat : 20789 (java) S 20772 20775 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28975346 10060525568 943463 33554432000 1073741824 1073778376 140735306787280 140420056054288 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20775/tid=20790] ppid=20772 vsize=9824732 CPUtime=1.68 cores=1,3,5,7
/proc/20775/task/20790/stat : 20790 (java) S 20772 20775 18126 0 -1 4202560 10856 0 0 0 166 2 0 0 20 0 22 0 28975346 10060525568 943463 33554432000 1073741824 1073778376 140735306787280 140420055001656 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20775/tid=20791] ppid=20772 vsize=9824732 CPUtime=1.46 cores=1,3,5,7
/proc/20775/task/20791/stat : 20791 (java) S 20772 20775 18126 0 -1 4202560 9469 0 0 0 144 2 0 0 20 0 22 0 28975346 10060525568 943463 33554432000 1073741824 1073778376 140735306787280 140420053949112 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20775/tid=20792] ppid=20772 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20775/task/20792/stat : 20792 (java) S 20772 20775 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28975346 10060525568 943463 33554432000 1073741824 1073778376 140735306787280 140420052896760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20775/tid=20793] ppid=20772 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/20775/task/20793/stat : 20793 (java) S 20772 20775 18126 0 -1 4202560 53 0 0 0 14 22 0 0 20 0 22 0 28975346 10060525568 943463 33554432000 1073741824 1073778376 140735306787280 140420051844424 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20775/tid=20794] ppid=20772 vsize=9824732 CPUtime=884.52 cores=1,3,5,7
/proc/20775/task/20794/stat : 20794 (java) R 20772 20775 18126 0 -1 4202560 74 0 0 0 88435 17 0 0 20 0 22 0 28975390 10060525568 943463 33554432000 1073741824 1073778376 140735306787280 140420050779888 140420550671240 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20775/tid=20795] ppid=20772 vsize=9824732 CPUtime=884.53 cores=1,3,5,7
/proc/20775/task/20795/stat : 20795 (java) R 20772 20775 18126 0 -1 4202560 2399 0 0 0 88402 51 0 0 20 0 22 0 28975390 10060525568 943463 33554432000 1073741824 1073778376 140735306787280 140420049735968 140420550730577 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20775/tid=20796] ppid=20772 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20775/task/20796/stat : 20796 (java) S 20772 20775 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28975391 10060525568 943463 33554432000 1073741824 1073778376 140735306787280 140420048684072 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20775/tid=20797] ppid=20772 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20775/task/20797/stat : 20797 (java) S 20772 20775 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28975391 10060525568 943463 33554432000 1073741824 1073778376 140735306787280 140420047631528 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
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 20775 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 895.266
CPU time (s): 1800.82
CPU user time (s): 1798.29
CPU system time (s): 2.53161
CPU usage (%): 201.149
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.29
system time used= 2.53161
maximum resident set size= 3773968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34709
page faults= 1
swaps= 0
block input operations= 0
block output operations= 968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24281
involuntary context switches= 27593

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.56015 second user time and 7.74782 second system time

The end

Launcher Data 

Begin job on node116 at 2016-06-26 18:42:40
IDJOB=4116318
IDBENCH=109455
IDSOLVER=2543
FILE ID=node116/4116318-1466959360
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-size160-round22-0.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4116318-1466959360/watcher-4116318-1466959360 -o /tmp/evaluation-result-4116318-1466959360/solver-4116318-1466959360 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466946428-18143 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4116318-1466959360.opb

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

MD5SUM BENCH= 21a0e500ca727a88f38c5e532822f09b
RANDOM SEED=467674910

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:        27130560 kB
Buffers:           22580 kB
Cached:           305068 kB
SwapCached:         2076 kB
Active:          3174304 kB
Inactive:         303740 kB
Active(anon):    3150992 kB
Inactive(anon):     1656 kB
Active(file):      23312 kB
Inactive(file):   302084 kB
Unevictable:     1543748 kB
Mlocked:         1437460 kB
SwapTotal:      67108856 kB
SwapFree:       67098676 kB
Dirty:              1256 kB
Writeback:             0 kB
AnonPages:       4723848 kB
Mapped:            15424 kB
Shmem:                 0 kB
Slab:             565412 kB
SReclaimable:       9368 kB
SUnreclaim:       556044 kB
KernelStack:        1808 kB
PageTables:        13300 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4972352 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3233792 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 18:57:35