Trace number 4117206

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.64 897.468

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size112-round22-8.opb
MD5SUM5ea154bf81356495a44b9c22bfa96bb7
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1733.27
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.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-4117206-1466955593.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  no objective function found
0.74/0.49	c ... done. Wall clock time 0.373s.
0.74/0.49	c declared #vars     4128
0.74/0.49	c #constraints  9952
0.74/0.49	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.74/0.49	c constraints type 
0.74/0.49	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6726
0.74/0.49	c org.sat4j.specs.Constr$1 => 888
0.74/0.49	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 128
0.74/0.49	c org.sat4j.minisat.constraints.cnf.UnitClause => 488
0.74/0.49	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1722
0.74/0.49	c 9952 constraints processed.
0.74/0.50	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.74/0.50	c constraints type 
0.74/0.50	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 128
0.74/0.50	c org.sat4j.specs.Constr$1 => 888
0.74/0.50	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6726
0.74/0.50	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1722
0.74/0.50	c org.sat4j.pb.constraints.pb.UnitClausePB => 488
0.74/0.50	c 9952 constraints processed.
4.59/1.47	c cleaning 2496 clauses out of 4998 with flag 14798/5000
6.43/2.09	c cleaning 4249 clauses out of 8502 with flag 36559/11000
8.07/2.81	c cleaning 5618 clauses out of 11253 with flag 64076/18000
9.85/3.69	c cleaning 6806 clauses out of 13635 with flag 97536/26000
12.13/4.74	c cleaning 7906 clauses out of 15830 with flag 138336/35001
14.59/5.92	c cleaning 8947 clauses out of 17924 with flag 185396/45001
16.99/7.19	c cleaning 9976 clauses out of 19976 with flag 239059/56000
20.28/8.74	c cleaning 10960 clauses out of 22000 with flag 299434/68000
23.48/10.37	c cleaning 11991 clauses out of 24040 with flag 364800/81000
27.19/12.20	c cleaning 12990 clauses out of 26052 with flag 438957/95003
31.38/14.20	c cleaning 14006 clauses out of 28060 with flag 518476/110001
32.79/14.99	c cleaning 0 clauses out of 5000 with flag 0/5000
35.87/16.42	c cleaning 14992 clauses out of 30053 with flag 605750/126000
41.18/18.97	c cleaning 16017 clauses out of 32062 with flag 697697/143001
46.38/21.51	c cleaning 16993 clauses out of 34044 with flag 798342/161000
51.99/24.34	c cleaning 17988 clauses out of 36051 with flag 904026/180000
58.11/27.33	c cleaning 19007 clauses out of 38064 with flag 1021085/200001
64.31/30.48	c cleaning 19982 clauses out of 40057 with flag 1145745/221001
71.85/34.12	c cleaning 21023 clauses out of 42075 with flag 1271840/243001
79.43/37.94	c cleaning 22011 clauses out of 44051 with flag 1405654/266000
87.24/41.85	c cleaning 23004 clauses out of 46040 with flag 1546754/290000
95.96/46.13	c cleaning 24007 clauses out of 48038 with flag 1694675/315002
104.76/50.60	c cleaning 25001 clauses out of 50029 with flag 1848659/341000
114.27/55.25	c cleaning 26000 clauses out of 52028 with flag 2012210/368000
123.87/60.03	c cleaning 26999 clauses out of 54030 with flag 2182738/396002
134.79/65.44	c cleaning 27970 clauses out of 56030 with flag 2358043/425001
146.28/71.18	c cleaning 28981 clauses out of 58060 with flag 2539797/455001
158.48/77.22	c cleaning 30027 clauses out of 60079 with flag 2730505/486001
170.75/83.38	c cleaning 30998 clauses out of 62051 with flag 2927376/518000
184.46/90.18	c cleaning 31999 clauses out of 64053 with flag 3127327/551000
198.55/97.10	c cleaning 32976 clauses out of 66055 with flag 3332538/585001
213.01/104.33	c cleaning 34018 clauses out of 68079 with flag 3548052/620001
228.29/111.95	c cleaning 35031 clauses out of 70062 with flag 3770129/656002
244.77/120.54	c cleaning 36014 clauses out of 72029 with flag 3998222/693000
259.37/127.88	c cleaning 36970 clauses out of 74015 with flag 4236603/731000
273.65/134.94	c cleaning 0 clauses out of 11001 with flag 0/11001
273.85/135.09	c cleaning 37995 clauses out of 76045 with flag 4482629/770000
290.06/143.11	c cleaning 39015 clauses out of 78050 with flag 4735301/810000
306.34/151.28	c cleaning 40007 clauses out of 80035 with flag 4991643/851000
322.34/159.28	c cleaning 40999 clauses out of 82029 with flag 5253167/893001
339.14/167.64	c cleaning 42003 clauses out of 84029 with flag 5520421/936000
356.56/176.35	c cleaning 42987 clauses out of 86026 with flag 5798132/980000
375.16/185.67	c cleaning 43981 clauses out of 88039 with flag 6081094/1025000
393.97/195.06	c cleaning 44986 clauses out of 90058 with flag 6371646/1071000
413.57/204.82	c cleaning 46027 clauses out of 92072 with flag 6666341/1118000
433.37/214.77	c cleaning 47006 clauses out of 94045 with flag 6969208/1166000
454.36/225.25	c cleaning 47988 clauses out of 96039 with flag 7278945/1215000
476.16/236.17	c cleaning 49017 clauses out of 98051 with flag 7593918/1265000
498.56/247.39	c cleaning 49979 clauses out of 100035 with flag 7913184/1316001
521.96/259.09	c cleaning 51020 clauses out of 102058 with flag 8239106/1368003
545.96/271.08	c cleaning 51992 clauses out of 104035 with flag 8568230/1421000
570.36/283.27	c cleaning 53008 clauses out of 106044 with flag 8912366/1475001
596.16/296.11	c cleaning 54010 clauses out of 108035 with flag 9258412/1530000
623.15/309.66	c cleaning 54974 clauses out of 110025 with flag 9610712/1586000
650.79/323.41	c cleaning 56018 clauses out of 112052 with flag 9969952/1643001
679.17/337.63	c cleaning 56972 clauses out of 114036 with flag 10334880/1701003
708.57/352.37	c cleaning 58016 clauses out of 116061 with flag 10704775/1760000
739.23/367.55	c cleaning 58988 clauses out of 118045 with flag 11084731/1820000
769.41/382.63	c cleaning 60004 clauses out of 120057 with flag 11463350/1881000
799.82/397.88	c cleaning 60986 clauses out of 122055 with flag 11851453/1943002
834.98/415.73	c cleaning 62000 clauses out of 124067 with flag 12244562/2006000
867.17/431.85	c cleaning 63020 clauses out of 126068 with flag 12652716/2070001
900.17/448.38	c cleaning 63998 clauses out of 128049 with flag 13057410/2135002
940.44/468.38	c cleaning 64988 clauses out of 130049 with flag 13475300/2201000
981.92/488.99	c cleaning 66020 clauses out of 132061 with flag 13897573/2268000
1025.55/510.66	c cleaning 67006 clauses out of 134042 with flag 14327944/2336001
1069.20/532.34	c cleaning 68011 clauses out of 136037 with flag 14760541/2405002
1113.47/554.98	c cleaning 68986 clauses out of 138025 with flag 15201457/2475001
1155.99/576.16	c cleaning 69998 clauses out of 140038 with flag 15645588/2546000
1195.59/595.95	c cleaning 70993 clauses out of 142040 with flag 16096499/2618000
1236.38/616.32	c cleaning 72009 clauses out of 144048 with flag 16554782/2691001
1286.95/641.49	c cleaning 72970 clauses out of 146038 with flag 17018950/2765000
1340.79/668.21	c cleaning 74017 clauses out of 148068 with flag 17489367/2840000
1395.18/695.29	c cleaning 75016 clauses out of 150051 with flag 17963847/2916000
1451.74/723.41	c cleaning 75986 clauses out of 152039 with flag 18438036/2993004
1508.08/751.48	c cleaning 76973 clauses out of 154049 with flag 18924772/3071000
1568.75/781.66	c cleaning 78014 clauses out of 156077 with flag 19423374/3150001
1631.66/813.89	c cleaning 78995 clauses out of 158062 with flag 19927615/3230000
1690.95/843.37	c cleaning 80003 clauses out of 160067 with flag 20437626/3311000
1756.98/876.11	c cleaning 81008 clauses out of 162066 with flag 20952726/3393002
1800.05/897.40	c >>>>>>>>>> Solver number 0 (0 answers) <<<<<<<<<<<<<<<<<<
1800.05/897.40	c starts		: 29481
1800.05/897.40	c conflicts		: 3451187
1800.05/897.40	c decisions		: 34561499
1800.05/897.40	c propagations		: 474616007
1800.05/897.40	c inspects		: 10088558820
1800.05/897.40	c shortcuts		: 0
1800.05/897.40	c learnt literals	: 2
1800.05/897.40	c learnt binary clauses	: 47
1800.05/897.40	c learnt ternary clauses	: 699
1800.05/897.40	c learnt constraints	: 3451185
1800.05/897.40	c ignored constraints	: 0
1800.05/897.40	c root simplifications	: 0
1800.05/897.40	c removed literals (reason simplification)	: 2327948
1800.05/897.40	c reason swapping (by a shorter reason)	: 0
1800.05/897.40	c Calls to reduceDB	: 78
1800.05/897.40	c Number of update (reduction) of LBD	: 726445
1800.05/897.40	c Imported unit clauses	: 0
1800.05/897.40	c number of reductions to clauses (during analyze)	: 0
1800.05/897.40	c number of learned constraints concerned by reduction	: 0
1800.05/897.40	c number of learning phase by resolution	: 0
1800.05/897.40	c number of learning phase by cutting planes	: 0
1800.05/897.40	c speed (assignments/second)	: 529175.5987588319
1800.05/897.40	c non guided choices	7746
1800.05/897.43	c learnt constraints type 
1800.05/897.43	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 47
1800.05/897.43	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 139196
1800.05/897.43	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.05/897.43	c starts		: 44
1800.05/897.43	c conflicts		: 16644
1800.05/897.43	c decisions		: 68029
1800.05/897.43	c propagations		: 2057528
1800.05/897.43	c inspects		: 442926525
1800.05/897.43	c shortcuts		: 0
1800.05/897.43	c learnt literals	: 0
1800.05/897.43	c learnt binary clauses	: 0
1800.05/897.43	c learnt ternary clauses	: 0
1800.05/897.43	c learnt constraints	: 16644
1800.05/897.43	c ignored constraints	: 0
1800.05/897.43	c root simplifications	: 0
1800.05/897.43	c removed literals (reason simplification)	: 0
1800.05/897.43	c reason swapping (by a shorter reason)	: 0
1800.05/897.43	c Calls to reduceDB	: 2
1800.05/897.43	c Number of update (reduction) of LBD	: 0
1800.05/897.43	c Imported unit clauses	: 0
1800.05/897.43	c number of reductions to clauses (during analyze)	: 0
1800.05/897.43	c number of learned constraints concerned by reduction	: 0
1800.05/897.43	c number of learning phase by resolution	: 0
1800.05/897.43	c number of learning phase by cutting planes	: 0
1800.05/897.43	c speed (assignments/second)	: 2293.97742957613
1800.05/897.43	c non guided choices	329
1800.05/897.44	c learnt constraints type 
1800.05/897.44	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 11
1800.05/897.44	c org.sat4j.pb.constraints.pb.MaxWatchPb => 16633
1800.05/897.44	s UNKNOWN
1800.05/897.44	c Total wall clock time (in seconds): 897.321

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

pid=20036
running on 4 cores: 0,2,4,6

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.22 4.21 4.18 4/197 20039
/proc/meminfo: memFree=26871924/32872528 swapFree=1437460/1543748
[pid=20039] ppid=20036 vsize=9224 CPUtime=0 cores=0,2,4,6
/proc/20039/stat : 20039 (java) R 20036 20039 18126 0 -1 4202496 427 0 0 0 0 0 0 0 20 0 1 0 28598629 9445376 95 33554432000 1073741824 1073778376 140733287450544 140733287447672 266426432065 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20039/statm: 2290 84 63 9 0 38 0

[startup+0.10006 s]
/proc/loadavg: 4.22 4.21 4.18 4/197 20039
/proc/meminfo: memFree=26871924/32872528 swapFree=1437460/1543748
[pid=20039] ppid=20036 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/20039/stat : 20039 (java) S 20036 20039 18126 0 -1 4202496 4409 0 1 0 8 1 0 0 20 0 18 0 28598629 9787879424 6032 33554432000 1073741824 1073778376 140733287450544 140733287441680 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20039/statm: 2389619 6032 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200222 s]
/proc/loadavg: 4.22 4.21 4.18 4/197 20039
/proc/meminfo: memFree=26871924/32872528 swapFree=1437460/1543748
[pid=20039] ppid=20036 vsize=9558476 CPUtime=0.24 cores=0,2,4,6
/proc/20039/stat : 20039 (java) S 20036 20039 18126 0 -1 4202496 4709 0 1 0 23 1 0 0 20 0 18 0 28598629 9787879424 6795 33554432000 1073741824 1073778376 140733287450544 140733287441680 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20039/statm: 2389619 6795 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476

[startup+0.300224 s]
/proc/loadavg: 4.22 4.21 4.18 4/197 20039
/proc/meminfo: memFree=26871924/32872528 swapFree=1437460/1543748
[pid=20039] ppid=20036 vsize=9558476 CPUtime=0.48 cores=0,2,4,6
/proc/20039/stat : 20039 (java) S 20036 20039 18126 0 -1 4202496 5844 0 1 0 47 1 0 0 20 0 18 0 28598629 9787879424 8862 33554432000 1073741824 1073778376 140733287450544 140733287441680 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20039/statm: 2389619 8862 2234 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476

[startup+0.700188 s]
/proc/loadavg: 4.22 4.21 4.18 4/197 20039
/proc/meminfo: memFree=26871924/32872528 swapFree=1437460/1543748
[pid=20039] ppid=20036 vsize=9824732 CPUtime=1.83 cores=0,2,4,6
/proc/20039/stat : 20039 (java) S 20036 20039 18126 0 -1 4202496 16707 0 1 0 180 3 0 0 20 0 22 0 28598629 10060525568 23122 33554432000 1073741824 1073778376 140733287450544 140733287441680 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20039/statm: 2456183 23122 2265 9 0 2446860 0
Current children cumulated CPU time (s) 1.83
Current children cumulated vsize (KiB) 9824732

[startup+1.50085 s]
/proc/loadavg: 4.36 4.24 4.19 7/219 20061
/proc/meminfo: memFree=26744876/32872528 swapFree=1437460/1543748
[pid=20039] ppid=20036 vsize=9824732 CPUtime=4.96 cores=0,2,4,6
/proc/20039/stat : 20039 (java) S 20036 20039 18126 0 -1 4202496 23050 0 1 0 489 7 0 0 20 0 22 0 28598629 10060525568 46999 33554432000 1073741824 1073778376 140733287450544 140733287441680 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20039/statm: 2456183 46999 2292 9 0 2446860 0
[pid=20039/tid=20041] ppid=20036 vsize=9824732 CPUtime=0.46 cores=0,2,4,6
/proc/20039/task/20041/stat : 20041 (java) R 20036 20039 18126 0 -1 4202560 2435 0 1 0 45 1 0 0 20 0 22 0 28598630 10060525568 46999 33554432000 1073741824 1073778376 140733287450544 140164950504312 266439014313 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=20039/tid=20042] ppid=20036 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20039/task/20042/stat : 20042 (java) S 20036 20039 18126 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 28598631 10060525568 46999 33554432000 1073741824 1073778376 140733287450544 140164922955944 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20039/tid=20043] ppid=20036 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20039/task/20043/stat : 20043 (java) S 20036 20039 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28598631 10060525568 46999 33554432000 1073741824 1073778376 140733287450544 140164921903400 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20039/tid=20044] ppid=20036 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20039/task/20044/stat : 20044 (java) S 20036 20039 18126 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 28598631 10060525568 46999 33554432000 1073741824 1073778376 140733287450544 140164920850856 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20039/tid=20045] ppid=20036 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20039/task/20045/stat : 20045 (java) S 20036 20039 18126 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 28598631 10060525568 46999 33554432000 1073741824 1073778376 140733287450544 140164919798312 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20039/tid=20046] ppid=20036 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20039/task/20046/stat : 20046 (java) S 20036 20039 18126 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 28598631 10060525568 46999 33554432000 1073741824 1073778376 140733287450544 140164918745768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20039/tid=20047] ppid=20036 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20039/task/20047/stat : 20047 (java) S 20036 20039 18126 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 28598631 10060525568 46999 33554432000 1073741824 1073778376 140733287450544 140164917693224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20039/tid=20048] ppid=20036 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20039/task/20048/stat : 20048 (java) S 20036 20039 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28598631 10060525568 46999 33554432000 1073741824 1073778376 140733287450544 140164916640680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20039/tid=20049] ppid=20036 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20039/task/20049/stat : 20049 (java) S 20036 20039 18126 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 28598631 10060525568 46999 33554432000 1073741824 1073778376 140733287450544 140164787121192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20039/tid=20050] ppid=20036 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20039/task/20050/stat : 20050 (java) S 20036 20039 18126 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 28598632 10060525568 46999 33554432000 1073741824 1073778376 140733287450544 140164304173160 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20039/tid=20051] ppid=20036 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20039/task/20051/stat : 20051 (java) S 20036 20039 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28598633 10060525568 46999 33554432000 1073741824 1073778376 140733287450544 140164303119480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20039/tid=20052] ppid=20036 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20039/task/20052/stat : 20052 (java) S 20036 20039 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28598633 10060525568 46999 33554432000 1073741824 1073778376 140733287450544 140164302066824 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20039/tid=20053] ppid=20036 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20039/task/20053/stat : 20053 (java) S 20036 20039 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28598635 10060525568 47000 33554432000 1073741824 1073778376 140733287450544 140164301015568 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20039/tid=20054] ppid=20036 vsize=9824732 CPUtime=1.19 cores=0,2,4,6
/proc/20039/task/20054/stat : 20054 (java) S 20036 20039 18126 0 -1 4202560 10232 0 0 0 117 2 0 0 20 0 22 0 28598635 10060525568 47009 33554432000 1073741824 1073778376 140733287450544 140164299962936 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20039/tid=20055] ppid=20036 vsize=9824732 CPUtime=1.27 cores=0,2,4,6
/proc/20039/task/20055/stat : 20055 (java) R 20036 20039 18126 0 -1 4202560 8931 0 0 0 125 2 0 0 20 0 22 0 28598635 10060525568 47026 33554432000 1073741824 1073778376 140733287450544 140164298910392 140164957295032 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=20039/tid=20056] ppid=20036 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20039/task/20056/stat : 20056 (java) S 20036 20039 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28598635 10060525568 47041 33554432000 1073741824 1073778376 140733287450544 140164297858040 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20039/tid=20057] ppid=20036 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20039/task/20057/stat : 20057 (java) S 20036 20039 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28598635 10060525568 47063 33554432000 1073741824 1073778376 140733287450544 140164296805704 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20039/tid=20058] ppid=20036 vsize=9824732 CPUtime=0.97 cores=0,2,4,6
/proc/20039/task/20058/stat : 20058 (java) R 20036 20039 18126 0 -1 4202560 20 0 0 0 97 0 0 0 20 0 22 0 28598679 10060525568 47081 33554432000 1073741824 1073778376 140733287450544 140164295741088 140164798942177 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=20039/tid=20059] ppid=20036 vsize=9824732 CPUtime=0.96 cores=0,2,4,6
/proc/20039/task/20059/stat : 20059 (java) R 20036 20039 18126 0 -1 4202560 76 0 0 0 94 2 0 0 20 0 22 0 28598679 10060525568 47095 33554432000 1073741824 1073778376 140733287450544 140164294696504 140164798885267 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20039/tid=20060] ppid=20036 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20039/task/20060/stat : 20060 (java) S 20036 20039 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28598680 10060525568 47095 33554432000 1073741824 1073778376 140733287450544 140164293645352 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20039/tid=20061] ppid=20036 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20039/task/20061/stat : 20061 (java) S 20036 20039 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28598680 10060525568 47095 33554432000 1073741824 1073778376 140733287450544 140164292592808 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.96
Current children cumulated vsize (KiB) 9824732

[startup+3.10094 s]
/proc/loadavg: 4.36 4.24 4.19 5/219 20061
/proc/meminfo: memFree=26612684/32872528 swapFree=1437460/1543748
[pid=20039] ppid=20036 vsize=9824732 CPUtime=8.72 cores=0,2,4,6
/proc/20039/stat : 20039 (java) S 20036 20039 18126 0 -1 4202496 27021 0 1 0 858 14 0 0 20 0 22 0 28598629 10060525568 91634 33554432000 1073741824 1073778376 140733287450544 140733287441680 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20039/statm: 2456183 91634 2292 9 0 2446860 0
[pid=20039/tid=20041] ppid=20036 vsize=9824732 CPUtime=0.46 cores=0,2,4,6
/proc/20039/task/20041/stat : 20041 (java) S 20036 20039 18126 0 -1 4202560 2435 0 1 0 45 1 0 0 20 0 22 0 28598630 10060525568 91634 33554432000 1073741824 1073778376 140733287450544 140164950504312 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20039/tid=20042] ppid=20036 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/20039/task/20042/stat : 20042 (java) S 20036 20039 18126 0 -1 4202560 31 0 0 0 5 0 0 0 20 0 22 0 28598631 10060525568 91634 33554432000 1073741824 1073778376 140733287450544 140164922955944 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20039/tid=20043] ppid=20036 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/20039/task/20043/stat : 20043 (java) S 20036 20039 18126 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 22 0 28598631 10060525568 91634 33554432000 1073741824 1073778376 140733287450544 140164921903400 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20039/tid=20044] ppid=20036 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/20039/task/20044/stat : 20044 (java) S 20036 20039 18126 0 -1 4202560 17 0 0 0 3 0 0 0 20 0 22 0 28598631 10060525568 91634 33554432000 1073741824 1073778376 140733287450544 140164920850856 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20039/tid=20045] ppid=20036 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/20039/task/20045/stat : 20045 (java) S 20036 20039 18126 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 22 0 28598631 10060525568 91634 33554432000 1073741824 1073778376 140733287450544 140164919798312 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20039/tid=20046] ppid=20036 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/20039/task/20046/stat : 20046 (java) S 20036 20039 18126 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 22 0 28598631 10060525568 91634 33554432000 1073741824 1073778376 140733287450544 140164918745768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20039/tid=20047] ppid=20036 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/20039/task/20047/stat : 20047 (java) S 20036 20039 18126 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 22 0 28598631 10060525568 91634 33554432000 1073741824 1073778376 140733287450544 140164917693224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20039/tid=20048] ppid=20036 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/20039/task/20048/stat : 20048 (java) S 20036 20039 18126 0 -1 4202560 17 0 0 0 3 0 0 0 20 0 22 0 28598631 10060525568 91634 33554432000 1073741824 1073778376 140733287450544 140164916640680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20039/tid=20049] ppid=20036 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/20039/task/20049/stat : 20049 (java) S 20036 20039 18126 0 -1 4202560 22 0 0 0 3 0 0 0 20 0 22 0 28598631 10060525568 91634 33554432000 1073741824 1073778376 140733287450544 140164787121192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20039/tid=20050] ppid=20036 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20039/task/20050/stat : 20050 (java) S 20036 20039 18126 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 22 0 28598632 10060525568 91634 33554432000 1073741824 1073778376 140733287450544 140164304173160 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20039/tid=20051] ppid=20036 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20039/task/20051/stat : 20051 (java) S 20036 20039 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28598633 10060525568 91634 33554432000 1073741824 1073778376 140733287450544 140164303119480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20039/tid=20052] ppid=20036 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20039/task/20052/stat : 20052 (java) S 20036 20039 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28598633 10060525568 91634 33554432000 1073741824 1073778376 140733287450544 140164302066824 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20039/tid=20053] ppid=20036 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20039/task/20053/stat : 20053 (java) S 20036 20039 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28598635 10060525568 91634 33554432000 1073741824 1073778376 140733287450544 140164301015568 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20039/tid=20054] ppid=20036 vsize=9824732 CPUtime=1.23 cores=0,2,4,6
/proc/20039/task/20054/stat : 20054 (java) S 20036 20039 18126 0 -1 4202560 10232 0 0 0 121 2 0 0 20 0 22 0 28598635 10060525568 91634 33554432000 1073741824 1073778376 140733287450544 140164299962936 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20039/tid=20055] ppid=20036 vsize=9824732 CPUtime=1.68 cores=0,2,4,6
/proc/20039/task/20055/stat : 20055 (java) S 20036 20039 18126 0 -1 4202560 12596 0 0 0 166 2 0 0 20 0 22 0 28598635 10060525568 91634 33554432000 1073741824 1073778376 140733287450544 140164298910392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20039/tid=20056] ppid=20036 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20039/task/20056/stat : 20056 (java) S 20036 20039 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28598635 10060525568 91634 33554432000 1073741824 1073778376 140733287450544 140164297858040 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20039/tid=20057] ppid=20036 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20039/task/20057/stat : 20057 (java) S 20036 20039 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28598635 10060525568 91634 33554432000 1073741824 1073778376 140733287450544 140164296805704 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20039/tid=20058] ppid=20036 vsize=9824732 CPUtime=2.49 cores=0,2,4,6
/proc/20039/task/20058/stat : 20058 (java) R 20036 20039 18126 0 -1 4202560 21 0 0 0 249 0 0 0 20 0 22 0 28598679 10060525568 91634 33554432000 1073741824 1073778376 140733287450544 140164295747872 140164798825454 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20039/tid=20059] ppid=20036 vsize=9824732 CPUtime=2.48 cores=0,2,4,6
/proc/20039/task/20059/stat : 20059 (java) R 20036 20039 18126 0 -1 4202560 136 0 0 0 244 4 0 0 20 0 22 0 28598679 10060525568 91634 33554432000 1073741824 1073778376 140733287450544 140164294696136 140164798887312 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=20039/tid=20060] ppid=20036 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20039/task/20060/stat : 20060 (java) S 20036 20039 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28598680 10060525568 91634 33554432000 1073741824 1073778376 140733287450544 140164293645352 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20039/tid=20061] ppid=20036 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20039/task/20061/stat : 20061 (java) S 20036 20039 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28598680 10060525568 91634 33554432000 1073741824 1073778376 140733287450544 140164292592808 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 8.72
Current children cumulated vsize (KiB) 9824732

[startup+6.30097 s]
/proc/loadavg: 4.36 4.24 4.19 5/219 20061
/proc/meminfo: memFree=26268688/32872528 swapFree=1437460/1543748
[pid=20039] ppid=20036 vsize=9824732 CPUtime=15.39 cores=0,2,4,6
/proc/20039/stat : 20039 (java) S 20036 20039 18126 0 -1 4202496 27518 0 1 0 1514 25 0 0 20 0 22 0 28598629 10060525568 159723 33554432000 1073741824 1073778376 140733287450544 140733287441680 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20039/statm: 2456183 159723 2292 9 0 2446860 0
[pid=20039/tid=20041] ppid=20036 vsize=9824732 CPUtime=0.46 cores=0,2,4,6
/proc/20039/task/20041/stat : 20041 (java) S 20036 20039 18126 0 -1 4202560 2435 0 1 0 45 1 0 0 20 0 22 0 28598630 10060525568 159723 33554432000 1073741824 1073778376 140733287450544 140164950504312 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20039/tid=20042] ppid=20036 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/20039/task/20042/stat : 20042 (java) S 20036 20039 18126 0 -1 4202560 43 0 0 0 6 2 0 0 20 0 22 0 28598631 10060525568 159723 33554432000 1073741824 1073778376 140733287450544 140164922955944 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20039/tid=20043] ppid=20036 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/20039/task/20043/stat : 20043 (java) S 20036 20039 18126 0 -1 4202560 25 0 0 0 3 2 0 0 20 0 22 0 28598631 10060525568 159723 33554432000 1073741824 1073778376 140733287450544 140164921903400 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20039/tid=20044] ppid=20036 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/20039/task/20044/stat : 20044 (java) S 20036 20039 18126 0 -1 4202560 27 0 0 0 5 0 0 0 20 0 22 0 28598631 10060525568 159723 33554432000 1073741824 1073778376 140733287450544 140164920850856 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20039/tid=20045] ppid=20036 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/20039/task/20045/stat : 20045 (java) S 20036 20039 18126 0 -1 4202560 33 0 0 0 4 2 0 0 20 0 22 0 28598631 10060525568 159723 33554432000 1073741824 1073778376 140733287450544 140164919798312 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20039/tid=20046] ppid=20036 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/20039/task/20046/stat : 20046 (java) S 20036 20039 18126 0 -1 4202560 30 0 0 0 4 0 0 0 20 0 22 0 28598631 10060525568 159723 33554432000 1073741824 1073778376 140733287450544 140164918745768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20039/tid=20047] ppid=20036 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/20039/task/20047/stat : 20047 (java) S 20036 20039 18126 0 -1 4202560 20 0 0 0 4 0 0 0 20 0 22 0 28598631 10060525568 159723 33554432000 1073741824 1073778376 140733287450544 140164917693224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20039/tid=20048] ppid=20036 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/20039/task/20048/stat : 20048 (java) S 20036 20039 18126 0 -1 4202560 38 0 0 0 5 3 0 0 20 0 22 0 28598631 10060525568 159723 33554432000 1073741824 1073778376 140733287450544 140164916640680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20039/tid=20049] ppid=20036 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/20039/task/20049/stat : 20049 (java) S 20036 20039 18126 0 -1 4202560 39 0 0 0 5 2 0 0 20 0 22 0 28598631 10060525568 159723 33554432000 1073741824 1073778376 140733287450544 140164787121192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20039/tid=20050] ppid=20036 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20039/task/20050/stat : 20050 (java) S 20036 20039 18126 0 -1 4202560 460 0 0 0 0 0 0 0 20 0 22 0 28598632 10060525568 159723 33554432000 1073741824 1073778376 140733287450544 140164304173160 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20039/tid=20051] ppid=20036 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20039/task/20051/stat : 20051 (java) S 20036 20039 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28598633 10060525568 159723 33554432000 1073741824 1073778376 140733287450544 140164303119480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20039/tid=20052] ppid=20036 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20039/task/20052/stat : 20052 (java) S 20036 20039 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28598633 10060525568 159723 33554432000 1073741824 1073778376 140733287450544 140164302066824 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20039/tid=20053] ppid=20036 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20039/task/20053/stat : 20053 (java) S 20036 20039 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28598635 10060525568 159723 33554432000 1073741824 1073778376 140733287450544 140164301015568 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20039/tid=20054] ppid=20036 vsize=9824732 CPUtime=1.38 cores=0,2,4,6

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


[startup+822.301 s]
/proc/loadavg: 4.07 4.15 4.16 5/219 20151
/proc/meminfo: memFree=23006852/32872528 swapFree=1437460/1543748
[pid=20039] ppid=20036 vsize=9824732 CPUtime=1648.71 cores=0,2,4,6
/proc/20039/stat : 20039 (java) S 20036 20039 18126 0 -1 4202496 39494 0 1 0 164654 217 0 0 20 0 22 0 28598629 10060525568 933197 33554432000 1073741824 1073778376 140733287450544 140733287441680 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20039/statm: 2456183 933197 2301 9 0 2446860 0
[pid=20039/tid=20041] ppid=20036 vsize=9824732 CPUtime=0.5 cores=0,2,4,6
/proc/20039/task/20041/stat : 20041 (java) S 20036 20039 18126 0 -1 4202560 2441 0 1 0 47 3 0 0 20 0 22 0 28598630 10060525568 933197 33554432000 1073741824 1073778376 140733287450544 140164950504312 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20039/tid=20042] ppid=20036 vsize=9824732 CPUtime=1.79 cores=0,2,4,6
/proc/20039/task/20042/stat : 20042 (java) S 20036 20039 18126 0 -1 4202560 959 0 0 0 152 27 0 0 20 0 22 0 28598631 10060525568 933197 33554432000 1073741824 1073778376 140733287450544 140164922955944 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20039/tid=20043] ppid=20036 vsize=9824732 CPUtime=1.6 cores=0,2,4,6
/proc/20039/task/20043/stat : 20043 (java) S 20036 20039 18126 0 -1 4202560 848 0 0 0 142 18 0 0 20 0 22 0 28598631 10060525568 933197 33554432000 1073741824 1073778376 140733287450544 140164921903400 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20039/tid=20044] ppid=20036 vsize=9824732 CPUtime=1.45 cores=0,2,4,6
/proc/20039/task/20044/stat : 20044 (java) S 20036 20039 18126 0 -1 4202560 783 0 0 0 127 18 0 0 20 0 22 0 28598631 10060525568 933197 33554432000 1073741824 1073778376 140733287450544 140164920850856 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20039/tid=20045] ppid=20036 vsize=9824732 CPUtime=1.52 cores=0,2,4,6
/proc/20039/task/20045/stat : 20045 (java) S 20036 20039 18126 0 -1 4202560 941 0 0 0 133 19 0 0 20 0 22 0 28598631 10060525568 933197 33554432000 1073741824 1073778376 140733287450544 140164919798312 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20039/tid=20046] ppid=20036 vsize=9824732 CPUtime=1.62 cores=0,2,4,6
/proc/20039/task/20046/stat : 20046 (java) S 20036 20039 18126 0 -1 4202560 749 0 0 0 141 21 0 0 20 0 22 0 28598631 10060525568 933197 33554432000 1073741824 1073778376 140733287450544 140164918745768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20039/tid=20047] ppid=20036 vsize=9824732 CPUtime=1.54 cores=0,2,4,6
/proc/20039/task/20047/stat : 20047 (java) S 20036 20039 18126 0 -1 4202560 719 0 0 0 137 17 0 0 20 0 22 0 28598631 10060525568 933197 33554432000 1073741824 1073778376 140733287450544 140164917693224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20039/tid=20048] ppid=20036 vsize=9824732 CPUtime=1.47 cores=0,2,4,6
/proc/20039/task/20048/stat : 20048 (java) S 20036 20039 18126 0 -1 4202560 661 0 0 0 130 17 0 0 20 0 22 0 28598631 10060525568 933197 33554432000 1073741824 1073778376 140733287450544 140164916640680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20039/tid=20049] ppid=20036 vsize=9824732 CPUtime=1.68 cores=0,2,4,6
/proc/20039/task/20049/stat : 20049 (java) S 20036 20039 18126 0 -1 4202560 1055 0 0 0 146 22 0 0 20 0 22 0 28598631 10060525568 933197 33554432000 1073741824 1073778376 140733287450544 140164787121192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20039/tid=20050] ppid=20036 vsize=9824732 CPUtime=4.58 cores=0,2,4,6
/proc/20039/task/20050/stat : 20050 (java) S 20036 20039 18126 0 -1 4202560 2351 0 0 0 453 5 0 0 20 0 22 0 28598632 10060525568 933197 33554432000 1073741824 1073778376 140733287450544 140164304173160 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20039/tid=20051] ppid=20036 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20039/task/20051/stat : 20051 (java) S 20036 20039 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28598633 10060525568 933197 33554432000 1073741824 1073778376 140733287450544 140164303119480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20039/tid=20052] ppid=20036 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20039/task/20052/stat : 20052 (java) S 20036 20039 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28598633 10060525568 933197 33554432000 1073741824 1073778376 140733287450544 140164302066824 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20039/tid=20053] ppid=20036 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20039/task/20053/stat : 20053 (java) S 20036 20039 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28598635 10060525568 933197 33554432000 1073741824 1073778376 140733287450544 140164301015568 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20039/tid=20054] ppid=20036 vsize=9824732 CPUtime=1.46 cores=0,2,4,6
/proc/20039/task/20054/stat : 20054 (java) S 20036 20039 18126 0 -1 4202560 10246 0 0 0 144 2 0 0 20 0 22 0 28598635 10060525568 933197 33554432000 1073741824 1073778376 140733287450544 140164299962936 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20039/tid=20055] ppid=20036 vsize=9824732 CPUtime=1.95 cores=0,2,4,6
/proc/20039/task/20055/stat : 20055 (java) S 20036 20039 18126 0 -1 4202560 14960 0 0 0 193 2 0 0 20 0 22 0 28598635 10060525568 933197 33554432000 1073741824 1073778376 140733287450544 140164298910392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20039/tid=20056] ppid=20036 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20039/task/20056/stat : 20056 (java) S 20036 20039 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28598635 10060525568 933197 33554432000 1073741824 1073778376 140733287450544 140164297858040 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20039/tid=20057] ppid=20036 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/20039/task/20057/stat : 20057 (java) S 20036 20039 18126 0 -1 4202560 49 0 0 0 14 16 0 0 20 0 22 0 28598635 10060525568 933197 33554432000 1073741824 1073778376 140733287450544 140164296805704 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20039/tid=20058] ppid=20036 vsize=9824732 CPUtime=813.68 cores=0,2,4,6
/proc/20039/task/20058/stat : 20058 (java) R 20036 20039 18126 0 -1 4202560 50 0 0 0 81354 14 0 0 20 0 22 0 28598679 10060525568 933197 33554432000 1073741824 1073778376 140733287450544 140164295748864 140164798825416 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=20039/tid=20059] ppid=20036 vsize=9824732 CPUtime=813.7 cores=0,2,4,6
/proc/20039/task/20059/stat : 20059 (java) R 20036 20039 18126 0 -1 4202560 1416 0 0 0 81321 49 0 0 20 0 22 0 28598679 10060525568 933197 33554432000 1073741824 1073778376 140733287450544 140164294697344 140164799058893 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20039/tid=20060] ppid=20036 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20039/task/20060/stat : 20060 (java) S 20036 20039 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28598680 10060525568 933197 33554432000 1073741824 1073778376 140733287450544 140164293645352 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20039/tid=20061] ppid=20036 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20039/task/20061/stat : 20061 (java) S 20036 20039 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28598680 10060525568 933197 33554432000 1073741824 1073778376 140733287450544 140164292592808 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1648.71
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 3.99 4.12 4.15 5/219 20152
/proc/meminfo: memFree=22952892/32872528 swapFree=1437460/1543748
[pid=20039] ppid=20036 vsize=9824732 CPUtime=1769.52 cores=0,2,4,6
/proc/20039/stat : 20039 (java) S 20036 20039 18126 0 -1 4202496 39677 0 1 0 176733 219 0 0 20 0 22 0 28598629 10060525568 935909 33554432000 1073741824 1073778376 140733287450544 140733287441680 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20039/statm: 2456183 935909 2301 9 0 2446860 0
[pid=20039/tid=20041] ppid=20036 vsize=9824732 CPUtime=0.51 cores=0,2,4,6
/proc/20039/task/20041/stat : 20041 (java) S 20036 20039 18126 0 -1 4202560 2441 0 1 0 48 3 0 0 20 0 22 0 28598630 10060525568 935909 33554432000 1073741824 1073778376 140733287450544 140164950504312 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20039/tid=20042] ppid=20036 vsize=9824732 CPUtime=2.03 cores=0,2,4,6
/proc/20039/task/20042/stat : 20042 (java) S 20036 20039 18126 0 -1 4202560 988 0 0 0 176 27 0 0 20 0 22 0 28598631 10060525568 935909 33554432000 1073741824 1073778376 140733287450544 140164922955944 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20039/tid=20043] ppid=20036 vsize=9824732 CPUtime=1.82 cores=0,2,4,6
/proc/20039/task/20043/stat : 20043 (java) S 20036 20039 18126 0 -1 4202560 856 0 0 0 164 18 0 0 20 0 22 0 28598631 10060525568 935909 33554432000 1073741824 1073778376 140733287450544 140164921903400 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20039/tid=20044] ppid=20036 vsize=9824732 CPUtime=1.66 cores=0,2,4,6
/proc/20039/task/20044/stat : 20044 (java) S 20036 20039 18126 0 -1 4202560 786 0 0 0 148 18 0 0 20 0 22 0 28598631 10060525568 935909 33554432000 1073741824 1073778376 140733287450544 140164920850856 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20039/tid=20045] ppid=20036 vsize=9824732 CPUtime=1.69 cores=0,2,4,6
/proc/20039/task/20045/stat : 20045 (java) S 20036 20039 18126 0 -1 4202560 959 0 0 0 150 19 0 0 20 0 22 0 28598631 10060525568 935909 33554432000 1073741824 1073778376 140733287450544 140164919798312 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20039/tid=20046] ppid=20036 vsize=9824732 CPUtime=1.88 cores=0,2,4,6
/proc/20039/task/20046/stat : 20046 (java) S 20036 20039 18126 0 -1 4202560 788 0 0 0 167 21 0 0 20 0 22 0 28598631 10060525568 935909 33554432000 1073741824 1073778376 140733287450544 140164918745768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20039/tid=20047] ppid=20036 vsize=9824732 CPUtime=1.77 cores=0,2,4,6
/proc/20039/task/20047/stat : 20047 (java) S 20036 20039 18126 0 -1 4202560 750 0 0 0 160 17 0 0 20 0 22 0 28598631 10060525568 935909 33554432000 1073741824 1073778376 140733287450544 140164917693224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20039/tid=20048] ppid=20036 vsize=9824732 CPUtime=1.73 cores=0,2,4,6
/proc/20039/task/20048/stat : 20048 (java) S 20036 20039 18126 0 -1 4202560 662 0 0 0 156 17 0 0 20 0 22 0 28598631 10060525568 935909 33554432000 1073741824 1073778376 140733287450544 140164916640680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20039/tid=20049] ppid=20036 vsize=9824732 CPUtime=1.86 cores=0,2,4,6
/proc/20039/task/20049/stat : 20049 (java) S 20036 20039 18126 0 -1 4202560 1095 0 0 0 164 22 0 0 20 0 22 0 28598631 10060525568 935909 33554432000 1073741824 1073778376 140733287450544 140164787121192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20039/tid=20050] ppid=20036 vsize=9824732 CPUtime=4.59 cores=0,2,4,6
/proc/20039/task/20050/stat : 20050 (java) S 20036 20039 18126 0 -1 4202560 2353 0 0 0 453 6 0 0 20 0 22 0 28598632 10060525568 935909 33554432000 1073741824 1073778376 140733287450544 140164304173160 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20039/tid=20051] ppid=20036 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20039/task/20051/stat : 20051 (java) S 20036 20039 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28598633 10060525568 935909 33554432000 1073741824 1073778376 140733287450544 140164303119480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20039/tid=20052] ppid=20036 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20039/task/20052/stat : 20052 (java) S 20036 20039 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28598633 10060525568 935909 33554432000 1073741824 1073778376 140733287450544 140164302066824 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20039/tid=20053] ppid=20036 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20039/task/20053/stat : 20053 (java) S 20036 20039 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28598635 10060525568 935909 33554432000 1073741824 1073778376 140733287450544 140164301015568 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20039/tid=20054] ppid=20036 vsize=9824732 CPUtime=1.46 cores=0,2,4,6
/proc/20039/task/20054/stat : 20054 (java) S 20036 20039 18126 0 -1 4202560 10246 0 0 0 144 2 0 0 20 0 22 0 28598635 10060525568 935909 33554432000 1073741824 1073778376 140733287450544 140164299962936 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20039/tid=20055] ppid=20036 vsize=9824732 CPUtime=1.95 cores=0,2,4,6
/proc/20039/task/20055/stat : 20055 (java) S 20036 20039 18126 0 -1 4202560 14960 0 0 0 193 2 0 0 20 0 22 0 28598635 10060525568 935909 33554432000 1073741824 1073778376 140733287450544 140164298910392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20039/tid=20056] ppid=20036 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20039/task/20056/stat : 20056 (java) S 20036 20039 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28598635 10060525568 935909 33554432000 1073741824 1073778376 140733287450544 140164297858040 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20039/tid=20057] ppid=20036 vsize=9824732 CPUtime=0.33 cores=0,2,4,6
/proc/20039/task/20057/stat : 20057 (java) S 20036 20039 18126 0 -1 4202560 53 0 0 0 16 17 0 0 20 0 22 0 28598635 10060525568 935909 33554432000 1073741824 1073778376 140733287450544 140164296805704 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20039/tid=20058] ppid=20036 vsize=9824732 CPUtime=873.2 cores=0,2,4,6
/proc/20039/task/20058/stat : 20058 (java) R 20036 20039 18126 0 -1 4202560 50 0 0 0 87305 15 0 0 20 0 22 0 28598679 10060525568 935909 33554432000 1073741824 1073778376 140733287450544 140164295748864 140164798152685 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20039/tid=20059] ppid=20036 vsize=9824732 CPUtime=873.21 cores=0,2,4,6
/proc/20039/task/20059/stat : 20059 (java) R 20036 20039 18126 0 -1 4202560 1424 0 0 0 87271 50 0 0 20 0 22 0 28598679 10060525568 935909 33554432000 1073741824 1073778376 140733287450544 140164294697232 140164798941662 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=20039/tid=20060] ppid=20036 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20039/task/20060/stat : 20060 (java) S 20036 20039 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28598680 10060525568 935909 33554432000 1073741824 1073778376 140733287450544 140164293645352 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20039/tid=20061] ppid=20036 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20039/task/20061/stat : 20061 (java) S 20036 20039 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28598680 10060525568 935909 33554432000 1073741824 1073778376 140733287450544 140164292592808 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1769.52
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+897.401 s]
/proc/loadavg: 4.07 4.13 4.16 5/218 20152
/proc/meminfo: memFree=22955448/32872528 swapFree=1437460/1543748
[pid=20039] ppid=20036 vsize=9824732 CPUtime=1800.05 cores=0,2,4,6
/proc/20039/stat : 20039 (java) S 20036 20039 18126 0 -1 4202496 39724 0 1 0 179786 219 0 0 20 0 22 0 28598629 10060525568 935005 33554432000 1073741824 1073778376 140733287450544 140733287441680 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20039/statm: 2456183 935005 2301 9 0 2446860 0
[pid=20039/tid=20041] ppid=20036 vsize=9824732 CPUtime=0.51 cores=0,2,4,6
/proc/20039/task/20041/stat : 20041 (java) S 20036 20039 18126 0 -1 4202560 2441 0 1 0 48 3 0 0 20 0 22 0 28598630 10060525568 935005 33554432000 1073741824 1073778376 140733287450544 140164950504312 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20039/tid=20042] ppid=20036 vsize=9824732 CPUtime=2.07 cores=0,2,4,6
/proc/20039/task/20042/stat : 20042 (java) S 20036 20039 18126 0 -1 4202560 1002 0 0 0 180 27 0 0 20 0 22 0 28598631 10060525568 935005 33554432000 1073741824 1073778376 140733287450544 140164922955944 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20039/tid=20043] ppid=20036 vsize=9824732 CPUtime=1.93 cores=0,2,4,6
/proc/20039/task/20043/stat : 20043 (java) S 20036 20039 18126 0 -1 4202560 870 0 0 0 175 18 0 0 20 0 22 0 28598631 10060525568 935005 33554432000 1073741824 1073778376 140733287450544 140164921903400 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20039/tid=20044] ppid=20036 vsize=9824732 CPUtime=1.71 cores=0,2,4,6
/proc/20039/task/20044/stat : 20044 (java) S 20036 20039 18126 0 -1 4202560 786 0 0 0 153 18 0 0 20 0 22 0 28598631 10060525568 935005 33554432000 1073741824 1073778376 140733287450544 140164920850856 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20039/tid=20045] ppid=20036 vsize=9824732 CPUtime=1.77 cores=0,2,4,6
/proc/20039/task/20045/stat : 20045 (java) S 20036 20039 18126 0 -1 4202560 959 0 0 0 158 19 0 0 20 0 22 0 28598631 10060525568 935005 33554432000 1073741824 1073778376 140733287450544 140164919798312 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20039/tid=20046] ppid=20036 vsize=9824732 CPUtime=1.94 cores=0,2,4,6
/proc/20039/task/20046/stat : 20046 (java) S 20036 20039 18126 0 -1 4202560 788 0 0 0 173 21 0 0 20 0 22 0 28598631 10060525568 935005 33554432000 1073741824 1073778376 140733287450544 140164918745768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20039/tid=20047] ppid=20036 vsize=9824732 CPUtime=1.83 cores=0,2,4,6
/proc/20039/task/20047/stat : 20047 (java) S 20036 20039 18126 0 -1 4202560 762 0 0 0 166 17 0 0 20 0 22 0 28598631 10060525568 935005 33554432000 1073741824 1073778376 140733287450544 140164917693224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20039/tid=20048] ppid=20036 vsize=9824732 CPUtime=1.91 cores=0,2,4,6
/proc/20039/task/20048/stat : 20048 (java) S 20036 20039 18126 0 -1 4202560 662 0 0 0 174 17 0 0 20 0 22 0 28598631 10060525568 935005 33554432000 1073741824 1073778376 140733287450544 140164916640680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20039/tid=20049] ppid=20036 vsize=9824732 CPUtime=2 cores=0,2,4,6
/proc/20039/task/20049/stat : 20049 (java) S 20036 20039 18126 0 -1 4202560 1097 0 0 0 178 22 0 0 20 0 22 0 28598631 10060525568 935005 33554432000 1073741824 1073778376 140733287450544 140164787121192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20039/tid=20050] ppid=20036 vsize=9824732 CPUtime=4.59 cores=0,2,4,6
/proc/20039/task/20050/stat : 20050 (java) S 20036 20039 18126 0 -1 4202560 2355 0 0 0 453 6 0 0 20 0 22 0 28598632 10060525568 935005 33554432000 1073741824 1073778376 140733287450544 140164304173160 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20039/tid=20051] ppid=20036 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20039/task/20051/stat : 20051 (java) S 20036 20039 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28598633 10060525568 935005 33554432000 1073741824 1073778376 140733287450544 140164303119480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20039/tid=20052] ppid=20036 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20039/task/20052/stat : 20052 (java) S 20036 20039 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28598633 10060525568 935005 33554432000 1073741824 1073778376 140733287450544 140164302066824 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20039/tid=20053] ppid=20036 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20039/task/20053/stat : 20053 (java) S 20036 20039 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28598635 10060525568 935005 33554432000 1073741824 1073778376 140733287450544 140164301015568 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20039/tid=20054] ppid=20036 vsize=9824732 CPUtime=1.46 cores=0,2,4,6
/proc/20039/task/20054/stat : 20054 (java) S 20036 20039 18126 0 -1 4202560 10246 0 0 0 144 2 0 0 20 0 22 0 28598635 10060525568 935005 33554432000 1073741824 1073778376 140733287450544 140164299962936 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20039/tid=20055] ppid=20036 vsize=9824732 CPUtime=1.95 cores=0,2,4,6
/proc/20039/task/20055/stat : 20055 (java) S 20036 20039 18126 0 -1 4202560 14960 0 0 0 193 2 0 0 20 0 22 0 28598635 10060525568 935005 33554432000 1073741824 1073778376 140733287450544 140164298910392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20039/tid=20056] ppid=20036 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20039/task/20056/stat : 20056 (java) S 20036 20039 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28598635 10060525568 935005 33554432000 1073741824 1073778376 140733287450544 140164297858040 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20039/tid=20057] ppid=20036 vsize=9824732 CPUtime=0.33 cores=0,2,4,6
/proc/20039/task/20057/stat : 20057 (java) S 20036 20039 18126 0 -1 4202560 53 0 0 0 16 17 0 0 20 0 22 0 28598635 10060525568 935005 33554432000 1073741824 1073778376 140733287450544 140164296805704 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20039/tid=20058] ppid=20036 vsize=9824732 CPUtime=888.11 cores=0,2,4,6
/proc/20039/task/20058/stat : 20058 (java) R 20036 20039 18126 0 -1 4202560 50 0 0 0 88796 15 0 0 20 0 22 0 28598679 10060525568 935005 33554432000 1073741824 1073778376 140733287450544 140164295748096 140164798825416 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20039/tid=20059] ppid=20036 vsize=9824732 CPUtime=888.12 cores=0,2,4,6
/proc/20039/task/20059/stat : 20059 (java) R 20036 20039 18126 0 -1 4202560 1427 0 0 0 88762 50 0 0 20 0 22 0 28598679 10060525568 935005 33554432000 1073741824 1073778376 140733287450544 140164294696208 140164798891323 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=20039/tid=20060] ppid=20036 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20039/task/20060/stat : 20060 (java) S 20036 20039 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28598680 10060525568 935005 33554432000 1073741824 1073778376 140733287450544 140164293645352 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20039/tid=20061] ppid=20036 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20039/task/20061/stat : 20061 (java) S 20036 20039 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28598680 10060525568 935005 33554432000 1073741824 1073778376 140733287450544 140164292592808 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
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 20039 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 897.468
CPU time (s): 1800.64
CPU user time (s): 1797.92
CPU system time (s): 2.72259
CPU usage (%): 200.636
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.92
system time used= 2.72259
maximum resident set size= 3743804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39759
page faults= 1
swaps= 0
block input operations= 0
block output operations= 904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23635
involuntary context switches= 26207

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.86211 second user time and 7.37588 second system time

The end

Launcher Data

Begin job on node116 at 2016-06-26 17:39:53
IDJOB=4117206
IDBENCH=109566
IDSOLVER=2543
FILE ID=node116/4117206-1466955593
RUNJOBID= node116-1466946428-18142
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-8.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4117206-1466955593/watcher-4117206-1466955593 -o /tmp/evaluation-result-4117206-1466955593/solver-4117206-1466955593 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466946428-18142 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4117206-1466955593.opb

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

MD5SUM BENCH= 5ea154bf81356495a44b9c22bfa96bb7
RANDOM SEED=141488533

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:        26872716 kB
Buffers:           17612 kB
Cached:           303476 kB
SwapCached:         2080 kB
Active:          3453084 kB
Inactive:         297920 kB
Active(anon):    3430488 kB
Inactive(anon):     1656 kB
Active(file):      22596 kB
Inactive(file):   296264 kB
Unevictable:     1543748 kB
Mlocked:         1437460 kB
SwapTotal:      67108856 kB
SwapFree:       67098672 kB
Dirty:              1256 kB
Writeback:             0 kB
AnonPages:       4935820 kB
Mapped:            15424 kB
Shmem:                 0 kB
Slab:             565076 kB
SReclaimable:       9068 kB
SUnreclaim:       556008 kB
KernelStack:        1808 kB
PageTables:        14092 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    5187540 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3438592 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:54:51