Trace number 4116718

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.83 894.768

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size128-round23-6.opb
MD5SUM1160cf5172f569fef08315392b827576
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 variables4288
Total number of constraints9504
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)416
Number of constraints which are nor clauses,nor cardinality constraints896
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.10/0.12	c Pseudo Boolean Optimization by upper bound
0.10/0.12	c ManyCore solver with 2 solvers running in parallel
0.10/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.12	c Expensive reason simplification
0.10/0.12	c Glucose 2.1 dynamic restart strategy
0.10/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.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.10/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.12	c No reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/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.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c solving HOME/instance-4116718-1466977231.opb
0.10/0.12	c reading problem ... 
0.10/0.12	c  no objective function found
1.03/0.51	c ... done. Wall clock time 0.392s.
1.03/0.51	c declared #vars     4288
1.03/0.51	c #constraints  10816
1.03/0.51	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
1.03/0.51	c constraints type 
1.03/0.51	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7494
1.03/0.51	c org.sat4j.specs.Constr$1 => 904
1.03/0.51	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 128
1.03/0.51	c org.sat4j.minisat.constraints.cnf.UnitClause => 504
1.03/0.51	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1786
1.03/0.51	c 10816 constraints processed.
1.03/0.51	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
1.03/0.51	c constraints type 
1.03/0.51	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 128
1.03/0.51	c org.sat4j.specs.Constr$1 => 904
1.03/0.51	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 7494
1.03/0.51	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1786
1.03/0.51	c org.sat4j.pb.constraints.pb.UnitClausePB => 504
1.03/0.51	c 10816 constraints processed.
4.46/1.46	c cleaning 2496 clauses out of 4997 with flag 16019/5000
6.72/2.11	c cleaning 4247 clauses out of 8501 with flag 39460/11000
8.18/2.88	c cleaning 5605 clauses out of 11254 with flag 71550/18000
10.24/3.82	c cleaning 6811 clauses out of 13649 with flag 108039/26000
12.32/4.85	c cleaning 7902 clauses out of 15838 with flag 150131/35000
14.78/6.05	c cleaning 8947 clauses out of 17939 with flag 198151/45003
17.38/7.31	c cleaning 9987 clauses out of 19989 with flag 252364/56000
20.51/8.81	c cleaning 10994 clauses out of 22002 with flag 316530/68000
23.58/10.32	c cleaning 11972 clauses out of 24009 with flag 386042/81001
27.31/12.19	c cleaning 13007 clauses out of 26036 with flag 460822/95000
31.09/14.06	c cleaning 0 clauses out of 5001 with flag 0/5001
31.39/14.14	c cleaning 13973 clauses out of 28030 with flag 543098/110001
36.02/16.32	c cleaning 15011 clauses out of 30056 with flag 633369/126000
41.01/18.69	c cleaning 16009 clauses out of 32045 with flag 728959/143000
46.23/21.25	c cleaning 16999 clauses out of 34037 with flag 829432/161001
51.62/23.94	c cleaning 18014 clauses out of 36037 with flag 938747/180000
57.75/26.92	c cleaning 18992 clauses out of 38023 with flag 1055878/200000
64.35/30.26	c cleaning 19983 clauses out of 40034 with flag 1176987/221003
71.30/33.67	c cleaning 21016 clauses out of 42048 with flag 1306093/243000
78.30/37.19	c cleaning 22011 clauses out of 44032 with flag 1439749/266000
86.38/41.14	c cleaning 22998 clauses out of 46022 with flag 1577884/290001
94.59/45.24	c cleaning 23977 clauses out of 48023 with flag 1726731/315000
103.40/49.66	c cleaning 24973 clauses out of 50046 with flag 1879256/341000
112.66/54.24	c cleaning 26007 clauses out of 52073 with flag 2037797/368000
122.37/59.09	c cleaning 27007 clauses out of 54066 with flag 2205342/396000
132.97/64.35	c cleaning 27970 clauses out of 56059 with flag 2379135/425000
144.05/69.81	c cleaning 29024 clauses out of 58090 with flag 2560643/455001
155.45/75.52	c cleaning 30019 clauses out of 60065 with flag 2744282/486000
167.55/81.55	c cleaning 31000 clauses out of 62047 with flag 2934106/518001
180.42/87.93	c cleaning 31976 clauses out of 64046 with flag 3133240/551000
193.69/94.50	c cleaning 33008 clauses out of 66071 with flag 3341874/585001
207.76/101.50	c cleaning 34012 clauses out of 68062 with flag 3555490/620000
222.44/108.88	c cleaning 34983 clauses out of 70051 with flag 3774498/656001
237.70/116.42	c cleaning 36016 clauses out of 72067 with flag 3999299/693000
239.30/117.25	c cleaning 0 clauses out of 11002 with flag 0/11002
254.04/124.98	c cleaning 36966 clauses out of 74053 with flag 4228803/731002
270.89/133.37	c cleaning 38043 clauses out of 76086 with flag 4462403/770001
288.18/141.99	c cleaning 38998 clauses out of 78044 with flag 4706810/810002
306.13/150.85	c cleaning 39993 clauses out of 80044 with flag 4956791/851000
325.25/160.31	c cleaning 40988 clauses out of 82052 with flag 5211254/893001
344.59/169.91	c cleaning 41983 clauses out of 84063 with flag 5473453/936000
363.21/179.25	c cleaning 43034 clauses out of 86081 with flag 5738019/980001
382.51/188.81	c cleaning 44003 clauses out of 88046 with flag 6011227/1025000
400.92/198.07	c cleaning 45003 clauses out of 90044 with flag 6290396/1071001
421.70/208.47	c cleaning 45997 clauses out of 92040 with flag 6575687/1118000
443.27/219.68	c cleaning 46997 clauses out of 94043 with flag 6870999/1166000
464.26/230.16	c cleaning 48020 clauses out of 96046 with flag 7170538/1215000
486.08/241.09	c cleaning 48967 clauses out of 98029 with flag 7474874/1265003
508.51/252.23	c cleaning 50002 clauses out of 100060 with flag 7785154/1316001
533.61/264.72	c cleaning 51014 clauses out of 102057 with flag 8097477/1368000
561.99/278.86	c cleaning 51995 clauses out of 104044 with flag 8418535/1421001
591.49/293.59	c cleaning 52999 clauses out of 106049 with flag 8749399/1475001
621.99/308.67	c cleaning 53989 clauses out of 108049 with flag 9079626/1530000
653.23/324.17	c cleaning 54984 clauses out of 110061 with flag 9415649/1586001
685.64/340.25	c cleaning 55958 clauses out of 112079 with flag 9756984/1643003
719.42/356.98	c cleaning 56986 clauses out of 114118 with flag 10107748/1701000
753.93/374.05	c cleaning 58021 clauses out of 116132 with flag 10468803/1760000
788.86/391.45	c cleaning 59047 clauses out of 118111 with flag 10833542/1820000
825.42/409.67	c cleaning 59983 clauses out of 120064 with flag 11201342/1881000
863.00/428.35	c cleaning 60989 clauses out of 122083 with flag 11576924/1943002
902.15/447.75	c cleaning 62035 clauses out of 124093 with flag 11959248/2006001
941.94/467.45	c cleaning 63021 clauses out of 126057 with flag 12341368/2070000
984.42/488.52	c cleaning 64018 clauses out of 128037 with flag 12735669/2135001
1026.18/509.24	c cleaning 64984 clauses out of 130018 with flag 13134235/2201000
1068.99/530.51	c cleaning 65974 clauses out of 132034 with flag 13535963/2268000
1113.65/552.78	c cleaning 67023 clauses out of 134060 with flag 13941495/2336000
1116.65/554.29	c cleaning 0 clauses out of 18001 with flag 0/18001
1158.63/575.17	c cleaning 68002 clauses out of 136037 with flag 14355358/2405000
1205.67/598.45	c cleaning 69011 clauses out of 138035 with flag 14768396/2475000
1254.95/623.66	c cleaning 69973 clauses out of 140024 with flag 15198432/2546000
1304.00/648.02	c cleaning 71012 clauses out of 142051 with flag 15630902/2618000
1353.71/672.78	c cleaning 72012 clauses out of 144039 with flag 16069764/2691000
1405.19/698.30	c cleaning 73002 clauses out of 146027 with flag 16514240/2765000
1458.46/724.90	c cleaning 74004 clauses out of 148025 with flag 16964887/2840000
1512.99/751.96	c cleaning 74973 clauses out of 150021 with flag 17417874/2916000
1568.88/779.73	c cleaning 76001 clauses out of 152048 with flag 17877053/2993000
1626.86/808.60	c cleaning 77003 clauses out of 154048 with flag 18343221/3071001
1685.12/837.54	c cleaning 78008 clauses out of 156045 with flag 18815823/3150001
1745.43/867.53	c cleaning 79003 clauses out of 158036 with flag 19298236/3230000
1800.02/894.70	c >>>>>>>>>> Solver number 0 (0 answers) <<<<<<<<<<<<<<<<<<
1800.02/894.70	c starts		: 24945
1800.02/894.70	c conflicts		: 3304640
1800.02/894.70	c decisions		: 28933074
1800.02/894.70	c propagations		: 436364622
1800.02/894.70	c inspects		: 9041975445
1800.02/894.70	c shortcuts		: 0
1800.02/894.70	c learnt literals	: 3
1800.02/894.70	c learnt binary clauses	: 49
1800.02/894.70	c learnt ternary clauses	: 728
1800.02/894.70	c learnt constraints	: 3304637
1800.02/894.70	c ignored constraints	: 0
1800.02/894.70	c root simplifications	: 0
1800.02/894.70	c removed literals (reason simplification)	: 2740466
1800.02/894.70	c reason swapping (by a shorter reason)	: 0
1800.02/894.70	c Calls to reduceDB	: 76
1800.02/894.70	c Number of update (reduction) of LBD	: 725977
1800.02/894.70	c Imported unit clauses	: 0
1800.02/894.70	c number of reductions to clauses (during analyze)	: 0
1800.02/894.70	c number of learned constraints concerned by reduction	: 0
1800.02/894.70	c number of learning phase by resolution	: 0
1800.02/894.70	c number of learning phase by cutting planes	: 0
1800.02/894.70	c speed (assignments/second)	: 488005.89367453277
1800.02/894.70	c non guided choices	15489
1800.02/894.73	c learnt constraints type 
1800.02/894.73	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 49
1800.02/894.73	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 153624
1800.02/894.73	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.02/894.73	c starts		: 49
1800.02/894.73	c conflicts		: 21554
1800.02/894.73	c decisions		: 77705
1800.02/894.73	c propagations		: 2617090
1800.02/894.73	c inspects		: 761765464
1800.02/894.73	c shortcuts		: 0
1800.02/894.73	c learnt literals	: 0
1800.02/894.73	c learnt binary clauses	: 0
1800.02/894.73	c learnt ternary clauses	: 0
1800.02/894.73	c learnt constraints	: 21553
1800.02/894.73	c ignored constraints	: 0
1800.02/894.73	c root simplifications	: 0
1800.02/894.73	c removed literals (reason simplification)	: 0
1800.02/894.73	c reason swapping (by a shorter reason)	: 0
1800.02/894.73	c Calls to reduceDB	: 3
1800.02/894.73	c Number of update (reduction) of LBD	: 0
1800.02/894.73	c Imported unit clauses	: 0
1800.02/894.73	c number of reductions to clauses (during analyze)	: 0
1800.02/894.73	c number of learned constraints concerned by reduction	: 0
1800.02/894.73	c number of learning phase by resolution	: 0
1800.02/894.73	c number of learning phase by cutting planes	: 0
1800.02/894.73	c speed (assignments/second)	: 2926.735711545838
1800.02/894.73	c non guided choices	357
1800.02/894.74	c learnt constraints type 
1800.02/894.74	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 50
1800.02/894.74	c org.sat4j.pb.constraints.pb.MaxWatchPb => 21503
1800.02/894.74	s UNKNOWN
1800.02/894.74	c Total wall clock time (in seconds): 894.62

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-4116718-1466977231/watcher-4116718-1466977231 -o /tmp/evaluation-result-4116718-1466977231/solver-4116718-1466977231 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1466975440-23498 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4116718-1466977231.opb 

pid=23795
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.31 4.27 3.84 4/198 23798
/proc/meminfo: memFree=26837760/32872528 swapFree=1094508/1184444
[pid=23798] ppid=23795 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/23798/stat : 23798 (java) R 23795 23798 23481 0 -1 4202496 328 0 0 0 0 0 0 0 20 0 1 0 30762915 9515008 185 33554432000 1073741824 1073778376 140737295768960 140737295760184 271787388343 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23798/statm: 2323 185 142 9 0 71 0

[startup+0.100068 s]
/proc/loadavg: 4.31 4.27 3.84 4/198 23798
/proc/meminfo: memFree=26837760/32872528 swapFree=1094508/1184444
[pid=23798] ppid=23795 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/23798/stat : 23798 (java) S 23795 23798 23481 0 -1 4202496 4415 0 1 0 8 2 0 0 20 0 18 0 30762915 9787879424 6046 33554432000 1073741824 1073778376 140736983316000 140736983307136 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23798/statm: 2389619 6046 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200262 s]
/proc/loadavg: 4.31 4.27 3.84 4/198 23798
/proc/meminfo: memFree=26837760/32872528 swapFree=1094508/1184444
[pid=23798] ppid=23795 vsize=9558476 CPUtime=0.25 cores=1,3,5,7
/proc/23798/stat : 23798 (java) S 23795 23798 23481 0 -1 4202496 4695 0 1 0 23 2 0 0 20 0 18 0 30762915 9787879424 6796 33554432000 1073741824 1073778376 140736983316000 140736983307136 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23798/statm: 2389619 6796 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476

[startup+0.300244 s]
/proc/loadavg: 4.31 4.27 3.84 4/198 23798
/proc/meminfo: memFree=26837760/32872528 swapFree=1094508/1184444
[pid=23798] ppid=23795 vsize=9558476 CPUtime=0.48 cores=1,3,5,7
/proc/23798/stat : 23798 (java) S 23795 23798 23481 0 -1 4202496 5818 0 1 0 46 2 0 0 20 0 18 0 30762915 9787879424 8464 33554432000 1073741824 1073778376 140736983316000 140736983307136 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23798/statm: 2389619 8464 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476

[startup+0.700204 s]
/proc/loadavg: 4.31 4.27 3.84 4/198 23798
/proc/meminfo: memFree=26837760/32872528 swapFree=1094508/1184444
[pid=23798] ppid=23795 vsize=9824732 CPUtime=1.74 cores=1,3,5,7
/proc/23798/stat : 23798 (java) S 23795 23798 23481 0 -1 4202496 14400 0 1 0 169 5 0 0 20 0 22 0 30762915 10060525568 24733 33554432000 1073741824 1073778376 140736983316000 140736983307136 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23798/statm: 2456183 24733 2264 9 0 2446860 0
Current children cumulated CPU time (s) 1.74
Current children cumulated vsize (KiB) 9824732

[startup+1.50085 s]
/proc/loadavg: 4.31 4.27 3.84 6/194 23832
/proc/meminfo: memFree=30518484/32872528 swapFree=1094508/1184444
[pid=23798] ppid=23795 vsize=9824732 CPUtime=4.86 cores=1,3,5,7
/proc/23798/stat : 23798 (java) S 23795 23798 23481 0 -1 4202496 22228 0 1 0 477 9 0 0 20 0 22 0 30762915 10060525568 49127 33554432000 1073741824 1073778376 140736983316000 140736983307136 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23798/statm: 2456183 49127 2292 9 0 2446860 0
[pid=23798/tid=23800] ppid=23795 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/23798/task/23800/stat : 23800 (java) S 23795 23798 23481 0 -1 4202560 2481 0 1 0 46 2 0 0 20 0 22 0 30762916 10060525568 49127 33554432000 1073741824 1073778376 140736983316000 140579275010936 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23798/tid=23801] ppid=23795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23798/task/23801/stat : 23801 (java) S 23795 23798 23481 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30762917 10060525568 49127 33554432000 1073741824 1073778376 140736983316000 140579247462696 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23798/tid=23802] ppid=23795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23798/task/23802/stat : 23802 (java) S 23795 23798 23481 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 30762917 10060525568 49127 33554432000 1073741824 1073778376 140736983316000 140579117246632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23798/tid=23803] ppid=23795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23798/task/23803/stat : 23803 (java) S 23795 23798 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30762917 10060525568 49127 33554432000 1073741824 1073778376 140736983316000 140579116194344 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23798/tid=23804] ppid=23795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23798/task/23804/stat : 23804 (java) S 23795 23798 23481 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 30762917 10060525568 49127 33554432000 1073741824 1073778376 140736983316000 140579115141544 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23798/tid=23805] ppid=23795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23798/task/23805/stat : 23805 (java) S 23795 23798 23481 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 30762917 10060525568 49127 33554432000 1073741824 1073778376 140736983316000 140579114089256 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23798/tid=23806] ppid=23795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23798/task/23806/stat : 23806 (java) S 23795 23798 23481 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 30762917 10060525568 49127 33554432000 1073741824 1073778376 140736983316000 140579113036456 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23798/tid=23807] ppid=23795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23798/task/23807/stat : 23807 (java) S 23795 23798 23481 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 30762917 10060525568 49127 33554432000 1073741824 1073778376 140736983316000 140578775886888 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23798/tid=23808] ppid=23795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23798/task/23808/stat : 23808 (java) S 23795 23798 23481 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 30762917 10060525568 49127 33554432000 1073741824 1073778376 140736983316000 140578774834088 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23798/tid=23809] ppid=23795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23798/task/23809/stat : 23809 (java) S 23795 23798 23481 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 30762918 10060525568 49127 33554432000 1073741824 1073778376 140736983316000 140578762635496 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23798/tid=23810] ppid=23795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23798/task/23810/stat : 23810 (java) S 23795 23798 23481 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 30762919 10060525568 49127 33554432000 1073741824 1073778376 140736983316000 140578761581560 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23798/tid=23811] ppid=23795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23798/task/23811/stat : 23811 (java) S 23795 23798 23481 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 30762919 10060525568 49127 33554432000 1073741824 1073778376 140736983316000 140578760529160 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23798/tid=23812] ppid=23795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23798/task/23812/stat : 23812 (java) S 23795 23798 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30762921 10060525568 49127 33554432000 1073741824 1073778376 140736983316000 140578759477648 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23798/tid=23813] ppid=23795 vsize=9824732 CPUtime=1.15 cores=1,3,5,7
/proc/23798/task/23813/stat : 23813 (java) R 23795 23798 23481 0 -1 4202560 7344 0 0 0 113 2 0 0 20 0 22 0 30762921 10060525568 49127 33554432000 1073741824 1073778376 140736983316000 140578758412640 140579278589692 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23798/tid=23814] ppid=23795 vsize=9824732 CPUtime=1.23 cores=1,3,5,7
/proc/23798/task/23814/stat : 23814 (java) R 23795 23798 23481 0 -1 4202560 10929 0 0 0 120 3 0 0 20 0 22 0 30762921 10060525568 49127 33554432000 1073741824 1073778376 140736983316000 140578757358456 140579279128059 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23798/tid=23815] ppid=23795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23798/task/23815/stat : 23815 (java) S 23795 23798 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30762921 10060525568 49127 33554432000 1073741824 1073778376 140736983316000 140578756320376 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23798/tid=23816] ppid=23795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23798/task/23816/stat : 23816 (java) S 23795 23798 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30762921 10060525568 49127 33554432000 1073741824 1073778376 140736983316000 140578755267784 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23798/tid=23817] ppid=23795 vsize=9824732 CPUtime=0.94 cores=1,3,5,7
/proc/23798/task/23817/stat : 23817 (java) R 23795 23798 23481 0 -1 4202560 17 0 0 0 94 0 0 0 20 0 22 0 30762967 10060525568 49127 33554432000 1073741824 1073778376 140736983316000 140578754211512 140579129028161 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23798/tid=23818] ppid=23795 vsize=9824732 CPUtime=0.93 cores=1,3,5,7
/proc/23798/task/23818/stat : 23818 (java) R 23795 23798 23481 0 -1 4202560 80 0 0 0 91 2 0 0 20 0 22 0 30762967 10060525568 49127 33554432000 1073741824 1073778376 140736983316000 140578753158680 140579129028731 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=23798/tid=23819] ppid=23795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23798/task/23819/stat : 23819 (java) S 23795 23798 23481 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30762968 10060525568 49127 33554432000 1073741824 1073778376 140736983316000 140578752107688 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23798/tid=23820] ppid=23795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23798/task/23820/stat : 23820 (java) S 23795 23798 23481 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30762968 10060525568 49127 33554432000 1073741824 1073778376 140736983316000 140578751054888 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.86
Current children cumulated vsize (KiB) 9824732

[startup+3.10095 s]
/proc/loadavg: 4.31 4.27 3.84 7/220 23889
/proc/meminfo: memFree=30278324/32872528 swapFree=1094508/1184444
[pid=23798] ppid=23795 vsize=9824732 CPUtime=8.83 cores=1,3,5,7
/proc/23798/stat : 23798 (java) S 23795 23798 23481 0 -1 4202496 27187 0 1 0 867 16 0 0 20 0 22 0 30762915 10060525568 93634 33554432000 1073741824 1073778376 140736983316000 140736983307136 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23798/statm: 2456183 93634 2292 9 0 2446860 0
[pid=23798/tid=23800] ppid=23795 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/23798/task/23800/stat : 23800 (java) S 23795 23798 23481 0 -1 4202560 2481 0 1 0 46 2 0 0 20 0 22 0 30762916 10060525568 93634 33554432000 1073741824 1073778376 140736983316000 140579275010936 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23798/tid=23801] ppid=23795 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/23798/task/23801/stat : 23801 (java) S 23795 23798 23481 0 -1 4202560 22 0 0 0 3 0 0 0 20 0 22 0 30762917 10060525568 93634 33554432000 1073741824 1073778376 140736983316000 140579247462696 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23798/tid=23802] ppid=23795 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/23798/task/23802/stat : 23802 (java) S 23795 23798 23481 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 22 0 30762917 10060525568 93634 33554432000 1073741824 1073778376 140736983316000 140579117246632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23798/tid=23803] ppid=23795 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/23798/task/23803/stat : 23803 (java) S 23795 23798 23481 0 -1 4202560 12 0 0 0 3 0 0 0 20 0 22 0 30762917 10060525568 93634 33554432000 1073741824 1073778376 140736983316000 140579116194344 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23798/tid=23804] ppid=23795 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/23798/task/23804/stat : 23804 (java) S 23795 23798 23481 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 22 0 30762917 10060525568 93634 33554432000 1073741824 1073778376 140736983316000 140579115141544 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23798/tid=23805] ppid=23795 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/23798/task/23805/stat : 23805 (java) S 23795 23798 23481 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 22 0 30762917 10060525568 93634 33554432000 1073741824 1073778376 140736983316000 140579114089256 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23798/tid=23806] ppid=23795 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/23798/task/23806/stat : 23806 (java) S 23795 23798 23481 0 -1 4202560 22 0 0 0 3 0 0 0 20 0 22 0 30762917 10060525568 93634 33554432000 1073741824 1073778376 140736983316000 140579113036456 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23798/tid=23807] ppid=23795 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/23798/task/23807/stat : 23807 (java) S 23795 23798 23481 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 30762917 10060525568 93634 33554432000 1073741824 1073778376 140736983316000 140578775886888 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23798/tid=23808] ppid=23795 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/23798/task/23808/stat : 23808 (java) S 23795 23798 23481 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 22 0 30762917 10060525568 93634 33554432000 1073741824 1073778376 140736983316000 140578774834088 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23798/tid=23809] ppid=23795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23798/task/23809/stat : 23809 (java) S 23795 23798 23481 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 22 0 30762918 10060525568 93634 33554432000 1073741824 1073778376 140736983316000 140578762635496 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23798/tid=23810] ppid=23795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23798/task/23810/stat : 23810 (java) S 23795 23798 23481 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 30762919 10060525568 93634 33554432000 1073741824 1073778376 140736983316000 140578761581560 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23798/tid=23811] ppid=23795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23798/task/23811/stat : 23811 (java) S 23795 23798 23481 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 30762919 10060525568 93634 33554432000 1073741824 1073778376 140736983316000 140578760529160 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23798/tid=23812] ppid=23795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23798/task/23812/stat : 23812 (java) S 23795 23798 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30762921 10060525568 93634 33554432000 1073741824 1073778376 140736983316000 140578759477648 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23798/tid=23813] ppid=23795 vsize=9824732 CPUtime=1.55 cores=1,3,5,7
/proc/23798/task/23813/stat : 23813 (java) S 23795 23798 23481 0 -1 4202560 11588 0 0 0 153 2 0 0 20 0 22 0 30762921 10060525568 93634 33554432000 1073741824 1073778376 140736983316000 140578758425272 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23798/tid=23814] ppid=23795 vsize=9824732 CPUtime=1.51 cores=1,3,5,7
/proc/23798/task/23814/stat : 23814 (java) S 23795 23798 23481 0 -1 4202560 11365 0 0 0 147 4 0 0 20 0 22 0 30762921 10060525568 93634 33554432000 1073741824 1073778376 140736983316000 140578757372472 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23798/tid=23815] ppid=23795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23798/task/23815/stat : 23815 (java) S 23795 23798 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30762921 10060525568 93634 33554432000 1073741824 1073778376 140736983316000 140578756320376 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23798/tid=23816] ppid=23795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23798/task/23816/stat : 23816 (java) S 23795 23798 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30762921 10060525568 93634 33554432000 1073741824 1073778376 140736983316000 140578755267784 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23798/tid=23817] ppid=23795 vsize=9824732 CPUtime=2.46 cores=1,3,5,7
/proc/23798/task/23817/stat : 23817 (java) R 23795 23798 23481 0 -1 4202560 20 0 0 0 246 0 0 0 20 0 22 0 30762967 10060525568 93634 33554432000 1073741824 1073778376 140736983316000 140578754212440 140579128940932 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23798/tid=23818] ppid=23795 vsize=9824732 CPUtime=2.44 cores=1,3,5,7
/proc/23798/task/23818/stat : 23818 (java) R 23795 23798 23481 0 -1 4202560 139 0 0 0 241 3 0 0 20 0 22 0 30762967 10060525568 93634 33554432000 1073741824 1073778376 140736983316000 140578753158384 140579129593028 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23798/tid=23819] ppid=23795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23798/task/23819/stat : 23819 (java) S 23795 23798 23481 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30762968 10060525568 93634 33554432000 1073741824 1073778376 140736983316000 140578752107688 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23798/tid=23820] ppid=23795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23798/task/23820/stat : 23820 (java) S 23795 23798 23481 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30762968 10060525568 93634 33554432000 1073741824 1073778376 140736983316000 140578751054888 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 8.83
Current children cumulated vsize (KiB) 9824732

[startup+6.3009 s]
/proc/loadavg: 4.37 4.28 3.85 5/220 23889
/proc/meminfo: memFree=29502180/32872528 swapFree=1094508/1184444
[pid=23798] ppid=23795 vsize=9824732 CPUtime=15.38 cores=1,3,5,7
/proc/23798/stat : 23798 (java) S 23795 23798 23481 0 -1 4202496 28092 0 1 0 1510 28 0 0 20 0 22 0 30762915 10060525568 162764 33554432000 1073741824 1073778376 140736983316000 140736983307136 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23798/statm: 2456183 162764 2292 9 0 2446860 0
[pid=23798/tid=23800] ppid=23795 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/23798/task/23800/stat : 23800 (java) S 23795 23798 23481 0 -1 4202560 2481 0 1 0 46 2 0 0 20 0 22 0 30762916 10060525568 162764 33554432000 1073741824 1073778376 140736983316000 140579275010936 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23798/tid=23801] ppid=23795 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/23798/task/23801/stat : 23801 (java) S 23795 23798 23481 0 -1 4202560 42 0 0 0 6 2 0 0 20 0 22 0 30762917 10060525568 162764 33554432000 1073741824 1073778376 140736983316000 140579247462696 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23798/tid=23802] ppid=23795 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/23798/task/23802/stat : 23802 (java) S 23795 23798 23481 0 -1 4202560 21 0 0 0 4 0 0 0 20 0 22 0 30762917 10060525568 162764 33554432000 1073741824 1073778376 140736983316000 140579117246632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23798/tid=23803] ppid=23795 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/23798/task/23803/stat : 23803 (java) S 23795 23798 23481 0 -1 4202560 141 0 0 0 6 3 0 0 20 0 22 0 30762917 10060525568 162764 33554432000 1073741824 1073778376 140736983316000 140579116194344 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23798/tid=23804] ppid=23795 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/23798/task/23804/stat : 23804 (java) S 23795 23798 23481 0 -1 4202560 108 0 0 0 5 1 0 0 20 0 22 0 30762917 10060525568 162764 33554432000 1073741824 1073778376 140736983316000 140579115141544 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23798/tid=23805] ppid=23795 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/23798/task/23805/stat : 23805 (java) S 23795 23798 23481 0 -1 4202560 30 0 0 0 4 1 0 0 20 0 22 0 30762917 10060525568 162764 33554432000 1073741824 1073778376 140736983316000 140579114089256 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23798/tid=23806] ppid=23795 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/23798/task/23806/stat : 23806 (java) S 23795 23798 23481 0 -1 4202560 155 0 0 0 4 2 0 0 20 0 22 0 30762917 10060525568 162764 33554432000 1073741824 1073778376 140736983316000 140579113036456 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23798/tid=23807] ppid=23795 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/23798/task/23807/stat : 23807 (java) S 23795 23798 23481 0 -1 4202560 135 0 0 0 4 3 0 0 20 0 22 0 30762917 10060525568 162764 33554432000 1073741824 1073778376 140736983316000 140578775886888 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23798/tid=23808] ppid=23795 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/23798/task/23808/stat : 23808 (java) S 23795 23798 23481 0 -1 4202560 21 0 0 0 3 1 0 0 20 0 22 0 30762917 10060525568 162764 33554432000 1073741824 1073778376 140736983316000 140578774834088 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23798/tid=23809] ppid=23795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23798/task/23809/stat : 23809 (java) S 23795 23798 23481 0 -1 4202560 464 0 0 0 0 0 0 0 20 0 22 0 30762918 10060525568 162764 33554432000 1073741824 1073778376 140736983316000 140578762635496 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23798/tid=23810] ppid=23795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23798/task/23810/stat : 23810 (java) S 23795 23798 23481 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 30762919 10060525568 162764 33554432000 1073741824 1073778376 140736983316000 140578761581560 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23798/tid=23811] ppid=23795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23798/task/23811/stat : 23811 (java) S 23795 23798 23481 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 30762919 10060525568 162764 33554432000 1073741824 1073778376 140736983316000 140578760529160 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23798/tid=23812] ppid=23795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23798/task/23812/stat : 23812 (java) S 23795 23798 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30762921 10060525568 162764 33554432000 1073741824 1073778376 140736983316000 140578759477648 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23798/tid=23813] ppid=23795 vsize=9824732 CPUtime=1.57 cores=1,3,5,7

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


[startup+882.308 s]
/proc/loadavg: 4.18 4.14 4.00 5/219 23920
/proc/meminfo: memFree=23039952/32872528 swapFree=1094508/1184444
[pid=23798] ppid=23795 vsize=9824732 CPUtime=1775.17 cores=1,3,5,7
/proc/23798/stat : 23798 (java) S 23795 23798 23481 0 -1 4202496 37060 0 1 0 177308 209 0 0 20 0 22 0 30762915 10060525568 947381 33554432000 1073741824 1073778376 140736983316000 140736983307136 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23798/statm: 2456183 947381 2301 9 0 2446860 0
[pid=23798/tid=23800] ppid=23795 vsize=9824732 CPUtime=0.53 cores=1,3,5,7
/proc/23798/task/23800/stat : 23800 (java) S 23795 23798 23481 0 -1 4202560 2488 0 1 0 49 4 0 0 20 0 22 0 30762916 10060525568 947381 33554432000 1073741824 1073778376 140736983316000 140579275010936 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23798/tid=23801] ppid=23795 vsize=9824732 CPUtime=2.66 cores=1,3,5,7
/proc/23798/task/23801/stat : 23801 (java) S 23795 23798 23481 0 -1 4202560 528 0 0 0 249 17 0 0 20 0 22 0 30762917 10060525568 947381 33554432000 1073741824 1073778376 140736983316000 140579247462696 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23798/tid=23802] ppid=23795 vsize=9824732 CPUtime=3.08 cores=1,3,5,7
/proc/23798/task/23802/stat : 23802 (java) S 23795 23798 23481 0 -1 4202560 647 0 0 0 290 18 0 0 20 0 22 0 30762917 10060525568 947381 33554432000 1073741824 1073778376 140736983316000 140579117246632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23798/tid=23803] ppid=23795 vsize=9824732 CPUtime=3.21 cores=1,3,5,7
/proc/23798/task/23803/stat : 23803 (java) S 23795 23798 23481 0 -1 4202560 677 0 0 0 303 18 0 0 20 0 22 0 30762917 10060525568 947381 33554432000 1073741824 1073778376 140736983316000 140579116194344 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23798/tid=23804] ppid=23795 vsize=9824732 CPUtime=2.62 cores=1,3,5,7
/proc/23798/task/23804/stat : 23804 (java) S 23795 23798 23481 0 -1 4202560 609 0 0 0 244 18 0 0 20 0 22 0 30762917 10060525568 947381 33554432000 1073741824 1073778376 140736983316000 140579115141544 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23798/tid=23805] ppid=23795 vsize=9824732 CPUtime=3.12 cores=1,3,5,7
/proc/23798/task/23805/stat : 23805 (java) S 23795 23798 23481 0 -1 4202560 559 0 0 0 293 19 0 0 20 0 22 0 30762917 10060525568 947381 33554432000 1073741824 1073778376 140736983316000 140579114089256 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23798/tid=23806] ppid=23795 vsize=9824732 CPUtime=3.07 cores=1,3,5,7
/proc/23798/task/23806/stat : 23806 (java) S 23795 23798 23481 0 -1 4202560 692 0 0 0 290 17 0 0 20 0 22 0 30762917 10060525568 947381 33554432000 1073741824 1073778376 140736983316000 140579113036456 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23798/tid=23807] ppid=23795 vsize=9824732 CPUtime=2.82 cores=1,3,5,7
/proc/23798/task/23807/stat : 23807 (java) S 23795 23798 23481 0 -1 4202560 649 0 0 0 264 18 0 0 20 0 22 0 30762917 10060525568 947381 33554432000 1073741824 1073778376 140736983316000 140578775886888 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23798/tid=23808] ppid=23795 vsize=9824732 CPUtime=2.83 cores=1,3,5,7
/proc/23798/task/23808/stat : 23808 (java) S 23795 23798 23481 0 -1 4202560 590 0 0 0 265 18 0 0 20 0 22 0 30762917 10060525568 947381 33554432000 1073741824 1073778376 140736983316000 140578774834088 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23798/tid=23809] ppid=23795 vsize=9824732 CPUtime=3.35 cores=1,3,5,7
/proc/23798/task/23809/stat : 23809 (java) S 23795 23798 23481 0 -1 4202560 2363 0 0 0 322 13 0 0 20 0 22 0 30762918 10060525568 947381 33554432000 1073741824 1073778376 140736983316000 140578762635496 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23798/tid=23810] ppid=23795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23798/task/23810/stat : 23810 (java) S 23795 23798 23481 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 30762919 10060525568 947381 33554432000 1073741824 1073778376 140736983316000 140578761581560 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23798/tid=23811] ppid=23795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23798/task/23811/stat : 23811 (java) S 23795 23798 23481 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 30762919 10060525568 947381 33554432000 1073741824 1073778376 140736983316000 140578760529160 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23798/tid=23812] ppid=23795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23798/task/23812/stat : 23812 (java) S 23795 23798 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30762921 10060525568 947381 33554432000 1073741824 1073778376 140736983316000 140578759477648 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23798/tid=23813] ppid=23795 vsize=9824732 CPUtime=2.28 cores=1,3,5,7
/proc/23798/task/23813/stat : 23813 (java) S 23795 23798 23481 0 -1 4202560 12993 0 0 0 226 2 0 0 20 0 22 0 30762921 10060525568 947381 33554432000 1073741824 1073778376 140736983316000 140578758425272 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23798/tid=23814] ppid=23795 vsize=9824732 CPUtime=1.58 cores=1,3,5,7
/proc/23798/task/23814/stat : 23814 (java) S 23795 23798 23481 0 -1 4202560 11365 0 0 0 154 4 0 0 20 0 22 0 30762921 10060525568 947381 33554432000 1073741824 1073778376 140736983316000 140578757372472 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23798/tid=23815] ppid=23795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23798/task/23815/stat : 23815 (java) S 23795 23798 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30762921 10060525568 947381 33554432000 1073741824 1073778376 140736983316000 140578756320376 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23798/tid=23816] ppid=23795 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/23798/task/23816/stat : 23816 (java) S 23795 23798 23481 0 -1 4202560 51 0 0 0 14 20 0 0 20 0 22 0 30762921 10060525568 947381 33554432000 1073741824 1073778376 140736983316000 140578755267784 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23798/tid=23817] ppid=23795 vsize=9824732 CPUtime=872.07 cores=1,3,5,7
/proc/23798/task/23817/stat : 23817 (java) R 23795 23798 23481 0 -1 4202560 89 0 0 0 87192 15 0 0 20 0 22 0 30762967 10060525568 947381 33554432000 1073741824 1073778376 140736983316000 140578754211168 140579128737135 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23798/tid=23818] ppid=23795 vsize=9824732 CPUtime=871.99 cores=1,3,5,7
/proc/23798/task/23818/stat : 23818 (java) R 23795 23798 23481 0 -1 4202560 1495 0 0 0 87151 48 0 0 20 0 22 0 30762967 10060525568 947381 33554432000 1073741824 1073778376 140736983316000 140578753159408 140579128998442 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23798/tid=23819] ppid=23795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23798/task/23819/stat : 23819 (java) S 23795 23798 23481 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30762968 10060525568 947381 33554432000 1073741824 1073778376 140736983316000 140578752107688 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23798/tid=23820] ppid=23795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23798/task/23820/stat : 23820 (java) S 23795 23798 23481 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30762968 10060525568 947381 33554432000 1073741824 1073778376 140736983316000 140578751054888 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1775.17
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+894.701 s]
/proc/loadavg: 4.29 4.16 4.01 5/219 23920
/proc/meminfo: memFree=23037908/32872528 swapFree=1094508/1184444
[pid=23798] ppid=23795 vsize=9824732 CPUtime=1800.02 cores=1,3,5,7
/proc/23798/stat : 23798 (java) S 23795 23798 23481 0 -1 4202496 37062 0 1 0 179792 210 0 0 20 0 22 0 30762915 10060525568 947382 33554432000 1073741824 1073778376 140736983316000 140736983307136 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23798/statm: 2456183 947382 2301 9 0 2446860 0
[pid=23798/tid=23800] ppid=23795 vsize=9824732 CPUtime=0.53 cores=1,3,5,7
/proc/23798/task/23800/stat : 23800 (java) S 23795 23798 23481 0 -1 4202560 2488 0 1 0 49 4 0 0 20 0 22 0 30762916 10060525568 947382 33554432000 1073741824 1073778376 140736983316000 140579275010936 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23798/tid=23801] ppid=23795 vsize=9824732 CPUtime=2.68 cores=1,3,5,7
/proc/23798/task/23801/stat : 23801 (java) S 23795 23798 23481 0 -1 4202560 528 0 0 0 251 17 0 0 20 0 22 0 30762917 10060525568 947382 33554432000 1073741824 1073778376 140736983316000 140579247462696 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23798/tid=23802] ppid=23795 vsize=9824732 CPUtime=3.1 cores=1,3,5,7
/proc/23798/task/23802/stat : 23802 (java) S 23795 23798 23481 0 -1 4202560 647 0 0 0 292 18 0 0 20 0 22 0 30762917 10060525568 947382 33554432000 1073741824 1073778376 140736983316000 140579117246632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23798/tid=23803] ppid=23795 vsize=9824732 CPUtime=3.23 cores=1,3,5,7
/proc/23798/task/23803/stat : 23803 (java) S 23795 23798 23481 0 -1 4202560 677 0 0 0 305 18 0 0 20 0 22 0 30762917 10060525568 947382 33554432000 1073741824 1073778376 140736983316000 140579116194344 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23798/tid=23804] ppid=23795 vsize=9824732 CPUtime=2.64 cores=1,3,5,7
/proc/23798/task/23804/stat : 23804 (java) S 23795 23798 23481 0 -1 4202560 609 0 0 0 246 18 0 0 20 0 22 0 30762917 10060525568 947382 33554432000 1073741824 1073778376 140736983316000 140579115141544 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23798/tid=23805] ppid=23795 vsize=9824732 CPUtime=3.14 cores=1,3,5,7
/proc/23798/task/23805/stat : 23805 (java) S 23795 23798 23481 0 -1 4202560 559 0 0 0 295 19 0 0 20 0 22 0 30762917 10060525568 947382 33554432000 1073741824 1073778376 140736983316000 140579114089256 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23798/tid=23806] ppid=23795 vsize=9824732 CPUtime=3.09 cores=1,3,5,7
/proc/23798/task/23806/stat : 23806 (java) S 23795 23798 23481 0 -1 4202560 692 0 0 0 292 17 0 0 20 0 22 0 30762917 10060525568 947382 33554432000 1073741824 1073778376 140736983316000 140579113036456 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23798/tid=23807] ppid=23795 vsize=9824732 CPUtime=2.84 cores=1,3,5,7
/proc/23798/task/23807/stat : 23807 (java) S 23795 23798 23481 0 -1 4202560 649 0 0 0 266 18 0 0 20 0 22 0 30762917 10060525568 947382 33554432000 1073741824 1073778376 140736983316000 140578775886888 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23798/tid=23808] ppid=23795 vsize=9824732 CPUtime=2.85 cores=1,3,5,7
/proc/23798/task/23808/stat : 23808 (java) S 23795 23798 23481 0 -1 4202560 590 0 0 0 267 18 0 0 20 0 22 0 30762917 10060525568 947382 33554432000 1073741824 1073778376 140736983316000 140578774834088 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23798/tid=23809] ppid=23795 vsize=9824732 CPUtime=3.35 cores=1,3,5,7
/proc/23798/task/23809/stat : 23809 (java) S 23795 23798 23481 0 -1 4202560 2364 0 0 0 322 13 0 0 20 0 22 0 30762918 10060525568 947382 33554432000 1073741824 1073778376 140736983316000 140578762635496 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23798/tid=23810] ppid=23795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23798/task/23810/stat : 23810 (java) S 23795 23798 23481 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 30762919 10060525568 947382 33554432000 1073741824 1073778376 140736983316000 140578761581560 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23798/tid=23811] ppid=23795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23798/task/23811/stat : 23811 (java) S 23795 23798 23481 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 30762919 10060525568 947382 33554432000 1073741824 1073778376 140736983316000 140578760529160 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23798/tid=23812] ppid=23795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23798/task/23812/stat : 23812 (java) S 23795 23798 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30762921 10060525568 947382 33554432000 1073741824 1073778376 140736983316000 140578759477648 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23798/tid=23813] ppid=23795 vsize=9824732 CPUtime=2.28 cores=1,3,5,7
/proc/23798/task/23813/stat : 23813 (java) S 23795 23798 23481 0 -1 4202560 12993 0 0 0 226 2 0 0 20 0 22 0 30762921 10060525568 947382 33554432000 1073741824 1073778376 140736983316000 140578758425272 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23798/tid=23814] ppid=23795 vsize=9824732 CPUtime=1.58 cores=1,3,5,7
/proc/23798/task/23814/stat : 23814 (java) S 23795 23798 23481 0 -1 4202560 11365 0 0 0 154 4 0 0 20 0 22 0 30762921 10060525568 947382 33554432000 1073741824 1073778376 140736983316000 140578757372472 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23798/tid=23815] ppid=23795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23798/task/23815/stat : 23815 (java) S 23795 23798 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30762921 10060525568 947382 33554432000 1073741824 1073778376 140736983316000 140578756320376 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23798/tid=23816] ppid=23795 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/23798/task/23816/stat : 23816 (java) S 23795 23798 23481 0 -1 4202560 51 0 0 0 14 21 0 0 20 0 22 0 30762921 10060525568 947382 33554432000 1073741824 1073778376 140736983316000 140578755267784 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23798/tid=23817] ppid=23795 vsize=9824732 CPUtime=884.42 cores=1,3,5,7
/proc/23798/task/23817/stat : 23817 (java) R 23795 23798 23481 0 -1 4202560 89 0 0 0 88427 15 0 0 20 0 22 0 30762967 10060525568 947382 33554432000 1073741824 1073778376 140736983316000 140578754211168 140579129016759 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23798/tid=23818] ppid=23795 vsize=9824732 CPUtime=884.33 cores=1,3,5,7
/proc/23798/task/23818/stat : 23818 (java) R 23795 23798 23481 0 -1 4202560 1496 0 0 0 88385 48 0 0 20 0 22 0 30762967 10060525568 947382 33554432000 1073741824 1073778376 140736983316000 140578753157344 140579129028669 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23798/tid=23819] ppid=23795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23798/task/23819/stat : 23819 (java) S 23795 23798 23481 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30762968 10060525568 947382 33554432000 1073741824 1073778376 140736983316000 140578752107688 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23798/tid=23820] ppid=23795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23798/task/23820/stat : 23820 (java) S 23795 23798 23481 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30762968 10060525568 947382 33554432000 1073741824 1073778376 140736983316000 140578751054888 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
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 23798 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+894.701 s]
/proc/loadavg: 4.29 4.16 4.01 5/219 23920
/proc/meminfo: memFree=23037908/32872528 swapFree=1094508/1184444
[pid=23798] ppid=23795 vsize=9824732 CPUtime=1800.02 cores=1,3,5,7
/proc/23798/stat : 23798 (java) S 23795 23798 23481 0 -1 4202496 37062 0 1 0 179792 210 0 0 20 0 22 0 30762915 10060525568 947382 33554432000 1073741824 1073778376 140736983316000 140736983307136 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23798/statm: 2456183 947382 2301 9 0 2446860 0
[pid=23798/tid=23800] ppid=23795 vsize=9824732 CPUtime=0.53 cores=1,3,5,7
/proc/23798/task/23800/stat : 23800 (java) S 23795 23798 23481 0 -1 4202560 2488 0 1 0 49 4 0 0 20 0 22 0 30762916 10060525568 947382 33554432000 1073741824 1073778376 140736983316000 140579275010936 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23798/tid=23801] ppid=23795 vsize=9824732 CPUtime=2.68 cores=1,3,5,7
/proc/23798/task/23801/stat : 23801 (java) S 23795 23798 23481 0 -1 4202560 528 0 0 0 251 17 0 0 20 0 22 0 30762917 10060525568 947382 33554432000 1073741824 1073778376 140736983316000 140579247462696 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23798/tid=23802] ppid=23795 vsize=9824732 CPUtime=3.1 cores=1,3,5,7
/proc/23798/task/23802/stat : 23802 (java) S 23795 23798 23481 0 -1 4202560 647 0 0 0 292 18 0 0 20 0 22 0 30762917 10060525568 947382 33554432000 1073741824 1073778376 140736983316000 140579117246632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23798/tid=23803] ppid=23795 vsize=9824732 CPUtime=3.23 cores=1,3,5,7
/proc/23798/task/23803/stat : 23803 (java) S 23795 23798 23481 0 -1 4202560 677 0 0 0 305 18 0 0 20 0 22 0 30762917 10060525568 947382 33554432000 1073741824 1073778376 140736983316000 140579116194344 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23798/tid=23804] ppid=23795 vsize=9824732 CPUtime=2.64 cores=1,3,5,7
/proc/23798/task/23804/stat : 23804 (java) S 23795 23798 23481 0 -1 4202560 609 0 0 0 246 18 0 0 20 0 22 0 30762917 10060525568 947382 33554432000 1073741824 1073778376 140736983316000 140579115141544 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23798/tid=23805] ppid=23795 vsize=9824732 CPUtime=3.14 cores=1,3,5,7
/proc/23798/task/23805/stat : 23805 (java) S 23795 23798 23481 0 -1 4202560 559 0 0 0 295 19 0 0 20 0 22 0 30762917 10060525568 947382 33554432000 1073741824 1073778376 140736983316000 140579114089256 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23798/tid=23806] ppid=23795 vsize=9824732 CPUtime=3.09 cores=1,3,5,7
/proc/23798/task/23806/stat : 23806 (java) S 23795 23798 23481 0 -1 4202560 692 0 0 0 292 17 0 0 20 0 22 0 30762917 10060525568 947382 33554432000 1073741824 1073778376 140736983316000 140579113036456 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23798/tid=23807] ppid=23795 vsize=9824732 CPUtime=2.84 cores=1,3,5,7
/proc/23798/task/23807/stat : 23807 (java) S 23795 23798 23481 0 -1 4202560 649 0 0 0 266 18 0 0 20 0 22 0 30762917 10060525568 947382 33554432000 1073741824 1073778376 140736983316000 140578775886888 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23798/tid=23808] ppid=23795 vsize=9824732 CPUtime=2.85 cores=1,3,5,7
/proc/23798/task/23808/stat : 23808 (java) S 23795 23798 23481 0 -1 4202560 590 0 0 0 267 18 0 0 20 0 22 0 30762917 10060525568 947382 33554432000 1073741824 1073778376 140736983316000 140578774834088 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23798/tid=23809] ppid=23795 vsize=9824732 CPUtime=3.35 cores=1,3,5,7
/proc/23798/task/23809/stat : 23809 (java) S 23795 23798 23481 0 -1 4202560 2364 0 0 0 322 13 0 0 20 0 22 0 30762918 10060525568 947382 33554432000 1073741824 1073778376 140736983316000 140578762635496 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23798/tid=23810] ppid=23795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23798/task/23810/stat : 23810 (java) S 23795 23798 23481 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 30762919 10060525568 947382 33554432000 1073741824 1073778376 140736983316000 140578761581560 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23798/tid=23811] ppid=23795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23798/task/23811/stat : 23811 (java) S 23795 23798 23481 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 30762919 10060525568 947382 33554432000 1073741824 1073778376 140736983316000 140578760529160 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23798/tid=23812] ppid=23795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23798/task/23812/stat : 23812 (java) S 23795 23798 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30762921 10060525568 947382 33554432000 1073741824 1073778376 140736983316000 140578759477648 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23798/tid=23813] ppid=23795 vsize=9824732 CPUtime=2.28 cores=1,3,5,7
/proc/23798/task/23813/stat : 23813 (java) S 23795 23798 23481 0 -1 4202560 12993 0 0 0 226 2 0 0 20 0 22 0 30762921 10060525568 947382 33554432000 1073741824 1073778376 140736983316000 140578758425272 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23798/tid=23814] ppid=23795 vsize=9824732 CPUtime=1.58 cores=1,3,5,7
/proc/23798/task/23814/stat : 23814 (java) S 23795 23798 23481 0 -1 4202560 11365 0 0 0 154 4 0 0 20 0 22 0 30762921 10060525568 947382 33554432000 1073741824 1073778376 140736983316000 140578757372472 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23798/tid=23815] ppid=23795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23798/task/23815/stat : 23815 (java) S 23795 23798 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30762921 10060525568 947382 33554432000 1073741824 1073778376 140736983316000 140578756320376 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23798/tid=23816] ppid=23795 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/23798/task/23816/stat : 23816 (java) S 23795 23798 23481 0 -1 4202560 51 0 0 0 14 21 0 0 20 0 22 0 30762921 10060525568 947382 33554432000 1073741824 1073778376 140736983316000 140578755267784 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23798/tid=23817] ppid=23795 vsize=9824732 CPUtime=884.42 cores=1,3,5,7
/proc/23798/task/23817/stat : 23817 (java) R 23795 23798 23481 0 -1 4202560 89 0 0 0 88427 15 0 0 20 0 22 0 30762967 10060525568 947382 33554432000 1073741824 1073778376 140736983316000 140578754211168 140579129016759 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23798/tid=23818] ppid=23795 vsize=9824732 CPUtime=884.33 cores=1,3,5,7
/proc/23798/task/23818/stat : 23818 (java) R 23795 23798 23481 0 -1 4202560 1496 0 0 0 88385 48 0 0 20 0 22 0 30762967 10060525568 947382 33554432000 1073741824 1073778376 140736983316000 140578753157344 140579129028669 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23798/tid=23819] ppid=23795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23798/task/23819/stat : 23819 (java) S 23795 23798 23481 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30762968 10060525568 947382 33554432000 1073741824 1073778376 140736983316000 140578752107688 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23798/tid=23820] ppid=23795 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23798/task/23820/stat : 23820 (java) S 23795 23798 23481 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30762968 10060525568 947382 33554432000 1073741824 1073778376 140736983316000 140578751054888 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9824732

Child status: 143
Real time (s): 894.768
CPU time (s): 1800.83
CPU user time (s): 1798.16
CPU system time (s): 2.67559
CPU usage (%): 201.263
Max. virtual memory (cumulated for all children) (KiB): 9825852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.16
system time used= 2.67559
maximum resident set size= 3789644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37096
page faults= 1
swaps= 0
block input operations= 0
block output operations= 928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24437
involuntary context switches= 32604

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.58415 second user time and 7.66683 second system time

The end

Launcher Data 

Begin job on node115 at 2016-06-26 23:40:31
IDJOB=4116718
IDBENCH=109505
IDSOLVER=2543
FILE ID=node115/4116718-1466977231
RUNJOBID= node115-1466975440-23498
PBS_JOBID= 19976385
Free space on /tmp= 71664 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round23-6.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4116718-1466977231/watcher-4116718-1466977231 -o /tmp/evaluation-result-4116718-1466977231/solver-4116718-1466977231 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1466975440-23498 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4116718-1466977231.opb

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

MD5SUM BENCH= 1160cf5172f569fef08315392b827576
RANDOM SEED=757289358

node115.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.395
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.79
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.395
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.395
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.57
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.395
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.395
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.395
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.395
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.56
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.395
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:        26840080 kB
Buffers:           76832 kB
Cached:           222660 kB
SwapCached:         1676 kB
Active:          3859244 kB
Inactive:         254072 kB
Active(anon):    3816020 kB
Inactive(anon):      684 kB
Active(file):      43224 kB
Inactive(file):   253388 kB
Unevictable:     1184444 kB
Mlocked:         1094508 kB
SwapTotal:      67108856 kB
SwapFree:       67099168 kB
Dirty:              1276 kB
Writeback:             0 kB
AnonPages:       5068248 kB
Mapped:            15612 kB
Shmem:                 0 kB
Slab:             595496 kB
SReclaimable:      39548 kB
SUnreclaim:       555948 kB
KernelStack:        1824 kB
PageTables:        14000 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    5306336 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3911680 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= 71660 MiB
End job on node115 at 2016-06-26 23:55:26