Trace number 4108898

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.09 899.982

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-154.opb
MD5SUMf522aac6d99c68f89e25c943b464d005
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 variables48411
Total number of constraints1121517
Number of constraints which are clauses1007723
Number of constraints which are cardinality constraints (but not clauses)3523
Number of constraints which are nor clauses,nor cardinality constraints110271
Minimum length of a constraint2
Maximum length of a constraint690
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 691
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4108898-1466289097.opb
0.09/0.12	c reading problem ... 
0.09/0.13	c  no objective function found
11.36/8.43	c ... done. Wall clock time 8.311s.
11.36/8.43	c declared #vars     48411
11.36/8.43	c #constraints  1123290
11.36/8.44	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
11.36/8.44	c constraints type 
11.36/8.44	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 773682
11.36/8.44	c org.sat4j.minisat.constraints.card.MinWatchCard => 3524
11.36/8.44	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 235813
11.36/8.44	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 110271
11.36/8.44	c 1123290 constraints processed.
11.36/8.44	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
11.36/8.44	c constraints type 
11.36/8.44	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 235813
11.36/8.44	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 773682
11.36/8.44	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 3524
11.36/8.44	c org.sat4j.pb.constraints.pb.MaxWatchPb => 110271
11.36/8.44	c 1123290 constraints processed.
25.95/14.94	c cleaning 2463 clauses out of 5000 with flag 287946/5000
43.25/23.76	c cleaning 4231 clauses out of 8537 with flag 704727/11000
43.49/23.80	c cleaning 0 clauses out of 5001 with flag 0/5001
52.34/28.12	c cleaning 0 clauses out of 11001 with flag 0/11001
60.21/31.92	c cleaning 5641 clauses out of 11306 with flag 1050679/18000
64.86/34.26	c cleaning 0 clauses out of 18001 with flag 0/18001
76.68/40.11	c cleaning 6774 clauses out of 13666 with flag 1427189/26001
80.08/41.83	c cleaning 0 clauses out of 26001 with flag 0/26001
104.77/54.12	c cleaning 0 clauses out of 35001 with flag 0/35001
106.16/54.87	c cleaning 7795 clauses out of 15891 with flag 1897050/35000
128.86/66.12	c cleaning 8853 clauses out of 18096 with flag 2393451/45000
131.45/67.41	c cleaning 0 clauses out of 45000 with flag 0/45000
152.88/78.12	c cleaning 10120 clauses out of 20246 with flag 2892217/56003
164.93/84.14	c cleaning 0 clauses out of 56000 with flag 0/56000
181.59/92.44	c cleaning 11036 clauses out of 22124 with flag 3395676/68001
203.23/103.29	c cleaning 0 clauses out of 68000 with flag 0/68000
217.10/110.15	c cleaning 11881 clauses out of 24087 with flag 3909383/81000
260.60/131.82	c cleaning 13051 clauses out of 26206 with flag 4492885/95000
264.20/133.67	c cleaning 0 clauses out of 81001 with flag 0/81001
293.06/148.08	c cleaning 13867 clauses out of 28155 with flag 5131873/110000
319.59/161.21	c cleaning 14973 clauses out of 30288 with flag 5599858/126000
321.58/162.22	c cleaning 0 clauses out of 95001 with flag 0/95001
355.61/179.21	c cleaning 16060 clauses out of 32317 with flag 6107887/143002
393.36/198.08	c cleaning 0 clauses out of 110001 with flag 0/110001
400.18/201.44	c cleaning 17052 clauses out of 34255 with flag 6401216/161000
430.82/216.80	c cleaning 18080 clauses out of 36203 with flag 6613158/180000
472.39/237.42	c cleaning 0 clauses out of 126000 with flag 0/126000
473.01/237.76	c cleaning 19039 clauses out of 38123 with flag 6910054/200000
519.15/260.79	c cleaning 20014 clauses out of 40086 with flag 7276714/221002
554.22/278.26	c cleaning 0 clauses out of 143001 with flag 0/143001
556.62/279.47	c cleaning 20948 clauses out of 42071 with flag 7722701/243001
611.17/306.65	c cleaning 21953 clauses out of 44122 with flag 8203256/266000
648.54/325.26	c cleaning 0 clauses out of 161001 with flag 0/161001
660.75/331.38	c cleaning 23059 clauses out of 46170 with flag 8630800/290001
717.44/359.63	c cleaning 24044 clauses out of 48112 with flag 9124436/315002
766.83/384.20	c cleaning 0 clauses out of 180000 with flag 0/180000
785.42/393.59	c cleaning 24387 clauses out of 50067 with flag 9544757/341001
847.24/424.36	c cleaning 24633 clauses out of 52679 with flag 9982941/368000
913.26/457.22	c cleaning 26608 clauses out of 56046 with flag 10538102/396000
918.46/459.90	c cleaning 0 clauses out of 200001 with flag 0/200001
968.11/484.53	c cleaning 27641 clauses out of 58435 with flag 10937017/425000
1027.47/514.16	c cleaning 28176 clauses out of 60786 with flag 11613401/455000
1064.39/532.55	c cleaning 0 clauses out of 221001 with flag 0/221001
1093.66/547.18	c cleaning 28774 clauses out of 63608 with flag 12281081/486000
1157.88/579.15	c cleaning 29880 clauses out of 66834 with flag 12734898/518001
1208.80/604.50	c cleaning 31737 clauses out of 69952 with flag 13137017/551000
1213.48/606.82	c cleaning 0 clauses out of 243001 with flag 0/243001
1265.59/632.89	c cleaning 33176 clauses out of 72216 with flag 13493195/585001
1298.90/649.47	c cleaning 34420 clauses out of 74040 with flag 13802244/620001
1341.77/670.87	c cleaning 35037 clauses out of 75617 with flag 14040583/656001
1381.87/690.81	c cleaning 36348 clauses out of 77578 with flag 14360357/693000
1392.47/696.17	c cleaning 0 clauses out of 266001 with flag 0/266001
1447.11/723.32	c cleaning 36777 clauses out of 79230 with flag 14907354/731000
1515.63/757.53	c cleaning 37007 clauses out of 81453 with flag 15521765/770000
1602.08/801.18	c cleaning 38939 clauses out of 84448 with flag 16040660/810002
1608.49/804.31	c cleaning 0 clauses out of 290002 with flag 0/290002
1699.47/849.76	c cleaning 39177 clauses out of 86508 with flag 16675935/851001
1800.09/899.91	c >>>>>>>>>> Solver number 0 (0 answers) <<<<<<<<<<<<<<<<<<
1800.09/899.91	c starts		: 4862
1800.09/899.91	c conflicts		: 890841
1800.09/899.91	c decisions		: 38720448
1800.09/899.91	c propagations		: 1284941205
1800.09/899.91	c inspects		: 7557912774
1800.09/899.91	c shortcuts		: 0
1800.09/899.91	c learnt literals	: 19
1800.09/899.91	c learnt binary clauses	: 3432
1800.09/899.91	c learnt ternary clauses	: 5337
1800.09/899.91	c learnt constraints	: 890822
1800.09/899.91	c ignored constraints	: 0
1800.09/899.91	c root simplifications	: 0
1800.09/899.91	c removed literals (reason simplification)	: 5991208
1800.09/899.91	c reason swapping (by a shorter reason)	: 0
1800.09/899.91	c Calls to reduceDB	: 37
1800.09/899.91	c Number of update (reduction) of LBD	: 494310
1800.09/899.91	c Imported unit clauses	: 0
1800.09/899.91	c number of reductions to clauses (during analyze)	: 0
1800.09/899.91	c number of learned constraints concerned by reduction	: 0
1800.09/899.91	c number of learning phase by resolution	: 0
1800.09/899.91	c number of learning phase by cutting planes	: 0
1800.09/899.91	c speed (assignments/second)	: 1441417.2100740036
1800.09/899.91	c non guided choices	1631382
1800.09/899.94	c learnt constraints type 
1800.09/899.94	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 3432
1800.09/899.94	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 83739
1800.09/899.94	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.09/899.94	c starts		: 134
1800.09/899.94	c conflicts		: 312928
1800.09/899.94	c decisions		: 711320
1800.09/899.94	c propagations		: 306799714
1800.09/899.94	c inspects		: 4640823110
1800.09/899.94	c shortcuts		: 0
1800.09/899.94	c learnt literals	: 0
1800.09/899.94	c learnt binary clauses	: 4
1800.09/899.94	c learnt ternary clauses	: 96
1800.09/899.94	c learnt constraints	: 312927
1800.09/899.94	c ignored constraints	: 0
1800.09/899.94	c root simplifications	: 0
1800.09/899.94	c removed literals (reason simplification)	: 0
1800.09/899.94	c reason swapping (by a shorter reason)	: 0
1800.09/899.94	c Calls to reduceDB	: 20
1800.09/899.94	c Number of update (reduction) of LBD	: 0
1800.09/899.94	c Imported unit clauses	: 0
1800.09/899.94	c number of reductions to clauses (during analyze)	: 0
1800.09/899.94	c number of learned constraints concerned by reduction	: 0
1800.09/899.94	c number of learning phase by resolution	: 0
1800.09/899.94	c number of learning phase by cutting planes	: 0
1800.09/899.94	c speed (assignments/second)	: 344151.5098147211
1800.09/899.94	c non guided choices	2604
1800.09/899.96	c learnt constraints type 
1800.09/899.96	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 312824
1800.09/899.96	c org.sat4j.pb.constraints.pb.LearntBinaryClausePB => 4
1800.09/899.96	c org.sat4j.pb.constraints.pb.MaxWatchPb => 99
1800.09/899.96	s UNKNOWN
1800.09/899.97	c Total wall clock time (in seconds): 899.842

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-4108898-1466289097/watcher-4108898-1466289097 -o /tmp/evaluation-result-4108898-1466289097/solver-4108898-1466289097 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1466276650-24417 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4108898-1466289097.opb 

pid=30167
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.03 4.07 4.11 4/195 30170
/proc/meminfo: memFree=28542940/32872528 swapFree=447868/480572
[pid=30170] ppid=30167 vsize=5632 CPUtime=0 cores=0,2,4,6
/proc/30170/stat : 30170 (java) R 30167 30170 24401 0 -1 4202496 384 0 0 0 0 0 0 0 20 0 1 0 30959985 5767168 56 33554432000 1073741824 1073778376 140735068539920 140735068537048 235365559591 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30170/statm: 2303 63 50 9 0 35 0

[startup+0.10006 s]
/proc/loadavg: 4.03 4.07 4.11 4/195 30170
/proc/meminfo: memFree=28542940/32872528 swapFree=447868/480572
[pid=30170] ppid=30167 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/30170/stat : 30170 (java) S 30167 30170 24401 0 -1 4202496 4416 0 1 0 9 0 0 0 20 0 18 0 30959985 9787879424 6046 33554432000 1073741824 1073778376 140735068539920 140735068531056 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30170/statm: 2389619 6046 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200257 s]
/proc/loadavg: 4.03 4.07 4.11 4/195 30170
/proc/meminfo: memFree=28542940/32872528 swapFree=447868/480572
[pid=30170] ppid=30167 vsize=9558476 CPUtime=0.23 cores=0,2,4,6
/proc/30170/stat : 30170 (java) S 30167 30170 24401 0 -1 4202496 4663 0 1 0 22 1 0 0 20 0 18 0 30959985 9787879424 8810 33554432000 1073741824 1073778376 140735068539920 140735068531056 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30170/statm: 2389619 8810 2198 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476

[startup+0.300281 s]
/proc/loadavg: 4.03 4.07 4.11 4/195 30170
/proc/meminfo: memFree=28542940/32872528 swapFree=447868/480572
[pid=30170] ppid=30167 vsize=9558476 CPUtime=0.45 cores=0,2,4,6
/proc/30170/stat : 30170 (java) S 30167 30170 24401 0 -1 4202496 5422 0 1 0 44 1 0 0 20 0 18 0 30959985 9787879424 10829 33554432000 1073741824 1073778376 140735068539920 140735068531056 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30170/statm: 2389619 10829 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9558476

[startup+0.700243 s]
/proc/loadavg: 4.03 4.07 4.11 4/195 30170
/proc/meminfo: memFree=28542940/32872528 swapFree=447868/480572
[pid=30170] ppid=30167 vsize=9558476 CPUtime=1.38 cores=0,2,4,6
/proc/30170/stat : 30170 (java) S 30167 30170 24401 0 -1 4202496 12408 0 1 0 133 5 0 0 20 0 18 0 30959985 9787879424 44708 33554432000 1073741824 1073778376 140735068539920 140735068531056 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30170/statm: 2389619 44708 2263 9 0 2380296 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 9558476

[startup+1.50077 s]
/proc/loadavg: 4.03 4.07 4.11 4/213 30188
/proc/meminfo: memFree=28281460/32872528 swapFree=447868/480572
[pid=30170] ppid=30167 vsize=9558476 CPUtime=2.56 cores=0,2,4,6
/proc/30170/stat : 30170 (java) S 30167 30170 24401 0 -1 4202496 13278 0 1 0 244 12 0 0 20 0 18 0 30959985 9787879424 84344 33554432000 1073741824 1073778376 140735068539920 140735068531056 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30170/statm: 2389619 84344 2263 9 0 2380296 0
[pid=30170/tid=30172] ppid=30167 vsize=9558476 CPUtime=1.38 cores=0,2,4,6
/proc/30170/task/30172/stat : 30172 (java) R 30167 30170 24401 0 -1 4202560 2529 0 1 0 134 4 0 0 20 0 18 0 30959986 9787879424 84344 33554432000 1073741824 1073778376 140735068539920 140005510401272 140005348023217 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=30170/tid=30173] ppid=30167 vsize=9558476 CPUtime=0.01 cores=0,2,4,6
/proc/30170/task/30173/stat : 30173 (java) S 30167 30170 24401 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 18 0 30959987 9787879424 84344 33554432000 1073741824 1073778376 140735068539920 140005471894312 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30170/tid=30174] ppid=30167 vsize=9558476 CPUtime=0.02 cores=0,2,4,6
/proc/30170/task/30174/stat : 30174 (java) S 30167 30170 24401 0 -1 4202560 7 0 0 0 2 0 0 0 20 0 18 0 30959987 9787879424 84344 33554432000 1073741824 1073778376 140735068539920 140005470841512 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30170/tid=30175] ppid=30167 vsize=9558476 CPUtime=0.02 cores=0,2,4,6
/proc/30170/task/30175/stat : 30175 (java) S 30167 30170 24401 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 18 0 30959987 9787879424 84344 33554432000 1073741824 1073778376 140735068539920 140005469789224 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30170/tid=30176] ppid=30167 vsize=9558476 CPUtime=0.06 cores=0,2,4,6
/proc/30170/task/30176/stat : 30176 (java) S 30167 30170 24401 0 -1 4202560 30 0 0 0 5 1 0 0 20 0 18 0 30959987 9787879424 84344 33554432000 1073741824 1073778376 140735068539920 140005468736424 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30170/tid=30177] ppid=30167 vsize=9558476 CPUtime=0.02 cores=0,2,4,6
/proc/30170/task/30177/stat : 30177 (java) S 30167 30170 24401 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 18 0 30959987 9787879424 84344 33554432000 1073741824 1073778376 140735068539920 140005467683112 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30170/tid=30178] ppid=30167 vsize=9558476 CPUtime=0.02 cores=0,2,4,6
/proc/30170/task/30178/stat : 30178 (java) S 30167 30170 24401 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 18 0 30959987 9787879424 84344 33554432000 1073741824 1073778376 140735068539920 140005466630312 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30170/tid=30179] ppid=30167 vsize=9558476 CPUtime=0.01 cores=0,2,4,6
/proc/30170/task/30179/stat : 30179 (java) S 30167 30170 24401 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 18 0 30959987 9787879424 84344 33554432000 1073741824 1073778376 140735068539920 140005347420712 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30170/tid=30180] ppid=30167 vsize=9558476 CPUtime=0.01 cores=0,2,4,6
/proc/30170/task/30180/stat : 30180 (java) S 30167 30170 24401 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 18 0 30959987 9787879424 84344 33554432000 1073741824 1073778376 140735068539920 140005346367912 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30170/tid=30181] ppid=30167 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/30170/task/30181/stat : 30181 (java) S 30167 30170 24401 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 30959988 9787879424 84344 33554432000 1073741824 1073778376 140735068539920 140005334170344 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30170/tid=30182] ppid=30167 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/30170/task/30182/stat : 30182 (java) S 30167 30170 24401 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 30959988 9787879424 84344 33554432000 1073741824 1073778376 140735068539920 140005333116408 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30170/tid=30183] ppid=30167 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/30170/task/30183/stat : 30183 (java) S 30167 30170 24401 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 30959988 9787879424 84344 33554432000 1073741824 1073778376 140735068539920 140005332064008 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30170/tid=30184] ppid=30167 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/30170/task/30184/stat : 30184 (java) S 30167 30170 24401 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 30959991 9787879424 84344 33554432000 1073741824 1073778376 140735068539920 140004592446352 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30170/tid=30185] ppid=30167 vsize=9558476 CPUtime=0.4 cores=0,2,4,6
/proc/30170/task/30185/stat : 30185 (java) S 30167 30170 24401 0 -1 4202560 3783 0 0 0 40 0 0 0 20 0 18 0 30959991 9787879424 84344 33554432000 1073741824 1073778376 140735068539920 140004591392952 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30170/tid=30186] ppid=30167 vsize=9558476 CPUtime=0.44 cores=0,2,4,6
/proc/30170/task/30186/stat : 30186 (java) S 30167 30170 24401 0 -1 4202560 5412 0 0 0 43 1 0 0 20 0 18 0 30959991 9787879424 84344 33554432000 1073741824 1073778376 140735068539920 140004590340152 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30170/tid=30187] ppid=30167 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/30170/task/30187/stat : 30187 (java) S 30167 30170 24401 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 30959991 9787879424 84344 33554432000 1073741824 1073778376 140735068539920 140004589288056 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30170/tid=30188] ppid=30167 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/30170/task/30188/stat : 30188 (java) S 30167 30170 24401 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 30959991 9787879424 84344 33554432000 1073741824 1073778376 140735068539920 140004588235464 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.56
Current children cumulated vsize (KiB) 9558476

[startup+3.10077 s]
/proc/loadavg: 4.03 4.07 4.11 4/213 30188
/proc/meminfo: memFree=27914684/32872528 swapFree=447868/480572
[pid=30170] ppid=30167 vsize=9558476 CPUtime=4.68 cores=0,2,4,6
/proc/30170/stat : 30170 (java) S 30167 30170 24401 0 -1 4202496 14013 0 1 0 437 31 0 0 20 0 18 0 30959985 9787879424 170748 33554432000 1073741824 1073778376 140735068539920 140735068531056 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30170/statm: 2389619 170748 2263 9 0 2380296 0
[pid=30170/tid=30172] ppid=30167 vsize=9558476 CPUtime=2.81 cores=0,2,4,6
/proc/30170/task/30172/stat : 30172 (java) R 30167 30170 24401 0 -1 4202560 2641 0 1 0 273 8 0 0 20 0 18 0 30959986 9787879424 170748 33554432000 1073741824 1073778376 140735068539920 140005510400824 140005348203872 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=30170/tid=30173] ppid=30167 vsize=9558476 CPUtime=0.15 cores=0,2,4,6
/proc/30170/task/30173/stat : 30173 (java) S 30167 30170 24401 0 -1 4202560 76 0 0 0 11 4 0 0 20 0 18 0 30959987 9787879424 170748 33554432000 1073741824 1073778376 140735068539920 140005471894312 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30170/tid=30174] ppid=30167 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/30170/task/30174/stat : 30174 (java) S 30167 30170 24401 0 -1 4202560 42 0 0 0 7 3 0 0 20 0 18 0 30959987 9787879424 170748 33554432000 1073741824 1073778376 140735068539920 140005470841512 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30170/tid=30175] ppid=30167 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/30170/task/30175/stat : 30175 (java) S 30167 30170 24401 0 -1 4202560 30 0 0 0 5 2 0 0 20 0 18 0 30959987 9787879424 170748 33554432000 1073741824 1073778376 140735068539920 140005469789224 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30170/tid=30176] ppid=30167 vsize=9558476 CPUtime=0.13 cores=0,2,4,6
/proc/30170/task/30176/stat : 30176 (java) S 30167 30170 24401 0 -1 4202560 63 0 0 0 10 3 0 0 20 0 18 0 30959987 9787879424 170748 33554432000 1073741824 1073778376 140735068539920 140005468736424 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30170/tid=30177] ppid=30167 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/30170/task/30177/stat : 30177 (java) S 30167 30170 24401 0 -1 4202560 64 0 0 0 6 2 0 0 20 0 18 0 30959987 9787879424 170748 33554432000 1073741824 1073778376 140735068539920 140005467683112 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30170/tid=30178] ppid=30167 vsize=9558476 CPUtime=0.16 cores=0,2,4,6
/proc/30170/task/30178/stat : 30178 (java) S 30167 30170 24401 0 -1 4202560 80 0 0 0 12 4 0 0 20 0 18 0 30959987 9787879424 170748 33554432000 1073741824 1073778376 140735068539920 140005466630312 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30170/tid=30179] ppid=30167 vsize=9558476 CPUtime=0.11 cores=0,2,4,6
/proc/30170/task/30179/stat : 30179 (java) S 30167 30170 24401 0 -1 4202560 57 0 0 0 8 3 0 0 20 0 18 0 30959987 9787879424 170748 33554432000 1073741824 1073778376 140735068539920 140005347420712 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30170/tid=30180] ppid=30167 vsize=9558476 CPUtime=0.06 cores=0,2,4,6
/proc/30170/task/30180/stat : 30180 (java) S 30167 30170 24401 0 -1 4202560 32 0 0 0 4 2 0 0 20 0 18 0 30959987 9787879424 170748 33554432000 1073741824 1073778376 140735068539920 140005346367912 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30170/tid=30181] ppid=30167 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/30170/task/30181/stat : 30181 (java) S 30167 30170 24401 0 -1 4202560 481 0 0 0 0 0 0 0 20 0 18 0 30959988 9787879424 170748 33554432000 1073741824 1073778376 140735068539920 140005334170344 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30170/tid=30182] ppid=30167 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/30170/task/30182/stat : 30182 (java) S 30167 30170 24401 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 30959988 9787879424 170748 33554432000 1073741824 1073778376 140735068539920 140005333116408 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30170/tid=30183] ppid=30167 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/30170/task/30183/stat : 30183 (java) S 30167 30170 24401 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 30959988 9787879424 170748 33554432000 1073741824 1073778376 140735068539920 140005332064008 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30170/tid=30184] ppid=30167 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/30170/task/30184/stat : 30184 (java) S 30167 30170 24401 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 30959991 9787879424 170748 33554432000 1073741824 1073778376 140735068539920 140004592446352 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30170/tid=30185] ppid=30167 vsize=9558476 CPUtime=0.4 cores=0,2,4,6
/proc/30170/task/30185/stat : 30185 (java) S 30167 30170 24401 0 -1 4202560 3783 0 0 0 40 0 0 0 20 0 18 0 30959991 9787879424 170748 33554432000 1073741824 1073778376 140735068539920 140004591392952 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30170/tid=30186] ppid=30167 vsize=9558476 CPUtime=0.45 cores=0,2,4,6
/proc/30170/task/30186/stat : 30186 (java) S 30167 30170 24401 0 -1 4202560 5412 0 0 0 44 1 0 0 20 0 18 0 30959991 9787879424 170748 33554432000 1073741824 1073778376 140735068539920 140004590340152 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30170/tid=30187] ppid=30167 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/30170/task/30187/stat : 30187 (java) S 30167 30170 24401 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 30959991 9787879424 170748 33554432000 1073741824 1073778376 140735068539920 140004589288056 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30170/tid=30188] ppid=30167 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/30170/task/30188/stat : 30188 (java) S 30167 30170 24401 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 30959991 9787879424 170748 33554432000 1073741824 1073778376 140735068539920 140004588235464 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.68
Current children cumulated vsize (KiB) 9558476

[startup+6.30076 s]
/proc/loadavg: 4.03 4.07 4.11 4/213 30188
/proc/meminfo: memFree=27219364/32872528 swapFree=447868/480572
[pid=30170] ppid=30167 vsize=9558476 CPUtime=8.58 cores=0,2,4,6
/proc/30170/stat : 30170 (java) S 30167 30170 24401 0 -1 4202496 15981 0 1 0 799 59 0 0 20 0 18 0 30959985 9787879424 332713 33554432000 1073741824 1073778376 140735068539920 140735068531056 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30170/statm: 2389619 332713 2263 9 0 2380296 0
[pid=30170/tid=30172] ppid=30167 vsize=9558476 CPUtime=5.75 cores=0,2,4,6
/proc/30170/task/30172/stat : 30172 (java) R 30167 30170 24401 0 -1 4202560 3335 0 1 0 559 16 0 0 20 0 18 0 30959986 9787879424 332713 33554432000 1073741824 1073778376 140735068539920 140005510393776 140005347843526 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=30170/tid=30173] ppid=30167 vsize=9558476 CPUtime=0.32 cores=0,2,4,6
/proc/30170/task/30173/stat : 30173 (java) S 30167 30170 24401 0 -1 4202560 235 0 0 0 24 8 0 0 20 0 18 0 30959987 9787879424 332713 33554432000 1073741824 1073778376 140735068539920 140005471894312 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30170/tid=30174] ppid=30167 vsize=9558476 CPUtime=0.22 cores=0,2,4,6
/proc/30170/task/30174/stat : 30174 (java) S 30167 30170 24401 0 -1 4202560 152 0 0 0 17 5 0 0 20 0 18 0 30959987 9787879424 332713 33554432000 1073741824 1073778376 140735068539920 140005470841512 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30170/tid=30175] ppid=30167 vsize=9558476 CPUtime=0.18 cores=0,2,4,6
/proc/30170/task/30175/stat : 30175 (java) S 30167 30170 24401 0 -1 4202560 149 0 0 0 14 4 0 0 20 0 18 0 30959987 9787879424 332713 33554432000 1073741824 1073778376 140735068539920 140005469789224 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30170/tid=30176] ppid=30167 vsize=9558476 CPUtime=0.21 cores=0,2,4,6
/proc/30170/task/30176/stat : 30176 (java) S 30167 30170 24401 0 -1 4202560 91 0 0 0 17 4 0 0 20 0 18 0 30959987 9787879424 332713 33554432000 1073741824 1073778376 140735068539920 140005468736424 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30170/tid=30177] ppid=30167 vsize=9558476 CPUtime=0.18 cores=0,2,4,6
/proc/30170/task/30177/stat : 30177 (java) S 30167 30170 24401 0 -1 4202560 166 0 0 0 13 5 0 0 20 0 18 0 30959987 9787879424 332713 33554432000 1073741824 1073778376 140735068539920 140005467683112 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30170/tid=30178] ppid=30167 vsize=9558476 CPUtime=0.22 cores=0,2,4,6
/proc/30170/task/30178/stat : 30178 (java) S 30167 30170 24401 0 -1 4202560 131 0 0 0 17 5 0 0 20 0 18 0 30959987 9787879424 332713 33554432000 1073741824 1073778376 140735068539920 140005466630312 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30170/tid=30179] ppid=30167 vsize=9558476 CPUtime=0.22 cores=0,2,4,6
/proc/30170/task/30179/stat : 30179 (java) S 30167 30170 24401 0 -1 4202560 92 0 0 0 18 4 0 0 20 0 18 0 30959987 9787879424 332713 33554432000 1073741824 1073778376 140735068539920 140005347420712 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30170/tid=30180] ppid=30167 vsize=9558476 CPUtime=0.24 cores=0,2,4,6
/proc/30170/task/30180/stat : 30180 (java) S 30167 30170 24401 0 -1 4202560 160 0 0 0 19 5 0 0 20 0 18 0 30959987 9787879424 332713 33554432000 1073741824 1073778376 140735068539920 140005346367912 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30170/tid=30181] ppid=30167 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/30170/task/30181/stat : 30181 (java) S 30167 30170 24401 0 -1 4202560 1023 0 0 0 0 0 0 0 20 0 18 0 30959988 9787879424 332713 33554432000 1073741824 1073778376 140735068539920 140005334170344 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30170/tid=30182] ppid=30167 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/30170/task/30182/stat : 30182 (java) S 30167 30170 24401 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 30959988 9787879424 332713 33554432000 1073741824 1073778376 140735068539920 140005333116408 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30170/tid=30183] ppid=30167 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/30170/task/30183/stat : 30183 (java) S 30167 30170 24401 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 30959988 9787879424 332713 33554432000 1073741824 1073778376 140735068539920 140005332064008 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30170/tid=30184] ppid=30167 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/30170/task/30184/stat : 30184 (java) S 30167 30170 24401 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 30959991 9787879424 332713 33554432000 1073741824 1073778376 140735068539920 140004592446352 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30170/tid=30185] ppid=30167 vsize=9558476 CPUtime=0.4 cores=0,2,4,6
/proc/30170/task/30185/stat : 30185 (java) S 30167 30170 24401 0 -1 4202560 3783 0 0 0 40 0 0 0 20 0 18 0 30959991 9787879424 332713 33554432000 1073741824 1073778376 140735068539920 140004591392952 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30170/tid=30186] ppid=30167 vsize=9558476 CPUtime=0.46 cores=0,2,4,6
/proc/30170/task/30186/stat : 30186 (java) S 30167 30170 24401 0 -1 4202560 5412 0 0 0 45 1 0 0 20 0 18 0 30959991 9787879424 332713 33554432000 1073741824 1073778376 140735068539920 140004590340152 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30170/tid=30187] ppid=30167 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/30170/task/30187/stat : 30187 (java) S 30167 30170 24401 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 30959991 9787879424 332713 33554432000 1073741824 1073778376 140735068539920 140004589288056 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30170/tid=30188] ppid=30167 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/30170/task/30188/stat : 30188 (java) S 30167 30170 24401 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 30959991 9787879424 332713 33554432000 1073741824 1073778376 140735068539920 140004588235464 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 8.58
Current children cumulated vsize (KiB) 9558476

[startup+12.7009 s]
/proc/loadavg: 4.02 4.06 4.11 5/217 30192
/proc/meminfo: memFree=26142336/32872528 swapFree=447868/480572
[pid=30170] ppid=30167 vsize=9824732 CPUtime=21.54 cores=0,2,4,6
/proc/30170/stat : 30170 (java) S 30167 30170 24401 0 -1 4202496 25766 0 1 0 2047 107 0 0 20 0 22 0 30959985 10060525568 638376 33554432000 1073741824 1073778376 140735068539920 140735068531056 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30170/statm: 2456183 638376 2284 9 0 2446860 0

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

[pid=30170/tid=30176] ppid=30167 vsize=9824732 CPUtime=1.73 cores=0,2,4,6
/proc/30170/task/30176/stat : 30176 (java) S 30167 30170 24401 0 -1 4202560 519 0 0 0 158 15 0 0 20 0 22 0 30959987 10060525568 833594 33554432000 1073741824 1073778376 140735068539920 140005468736424 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30170/tid=30177] ppid=30167 vsize=9824732 CPUtime=1.76 cores=0,2,4,6
/proc/30170/task/30177/stat : 30177 (java) S 30167 30170 24401 0 -1 4202560 551 0 0 0 163 13 0 0 20 0 22 0 30959987 10060525568 833594 33554432000 1073741824 1073778376 140735068539920 140005467683112 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30170/tid=30178] ppid=30167 vsize=9824732 CPUtime=1.65 cores=0,2,4,6
/proc/30170/task/30178/stat : 30178 (java) S 30167 30170 24401 0 -1 4202560 513 0 0 0 150 15 0 0 20 0 22 0 30959987 10060525568 833594 33554432000 1073741824 1073778376 140735068539920 140005466630312 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30170/tid=30179] ppid=30167 vsize=9824732 CPUtime=1.81 cores=0,2,4,6
/proc/30170/task/30179/stat : 30179 (java) S 30167 30170 24401 0 -1 4202560 446 0 0 0 167 14 0 0 20 0 22 0 30959987 10060525568 833594 33554432000 1073741824 1073778376 140735068539920 140005347420712 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30170/tid=30180] ppid=30167 vsize=9824732 CPUtime=1.74 cores=0,2,4,6
/proc/30170/task/30180/stat : 30180 (java) S 30167 30170 24401 0 -1 4202560 542 0 0 0 158 16 0 0 20 0 22 0 30959987 10060525568 833594 33554432000 1073741824 1073778376 140735068539920 140005346367912 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30170/tid=30181] ppid=30167 vsize=9824732 CPUtime=1.75 cores=0,2,4,6
/proc/30170/task/30181/stat : 30181 (java) S 30167 30170 24401 0 -1 4202560 2249 0 0 0 170 5 0 0 20 0 22 0 30959988 10060525568 833594 33554432000 1073741824 1073778376 140735068539920 140005334170344 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30170/tid=30182] ppid=30167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30170/task/30182/stat : 30182 (java) S 30167 30170 24401 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 30959988 10060525568 833594 33554432000 1073741824 1073778376 140735068539920 140005333116408 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30170/tid=30183] ppid=30167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30170/task/30183/stat : 30183 (java) S 30167 30170 24401 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 30959988 10060525568 833594 33554432000 1073741824 1073778376 140735068539920 140005332064008 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30170/tid=30184] ppid=30167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30170/task/30184/stat : 30184 (java) S 30167 30170 24401 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30959991 10060525568 833594 33554432000 1073741824 1073778376 140735068539920 140004592446352 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30170/tid=30185] ppid=30167 vsize=9824732 CPUtime=1.36 cores=0,2,4,6
/proc/30170/task/30185/stat : 30185 (java) S 30167 30170 24401 0 -1 4202560 11189 0 0 0 134 2 0 0 20 0 22 0 30959991 10060525568 833594 33554432000 1073741824 1073778376 140735068539920 140004591392952 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30170/tid=30186] ppid=30167 vsize=9824732 CPUtime=1.73 cores=0,2,4,6
/proc/30170/task/30186/stat : 30186 (java) S 30167 30170 24401 0 -1 4202560 10878 0 0 0 171 2 0 0 20 0 22 0 30959991 10060525568 833594 33554432000 1073741824 1073778376 140735068539920 140004590340152 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30170/tid=30187] ppid=30167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30170/task/30187/stat : 30187 (java) S 30167 30170 24401 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30959991 10060525568 833594 33554432000 1073741824 1073778376 140735068539920 140004589288056 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30170/tid=30188] ppid=30167 vsize=9824732 CPUtime=0.25 cores=0,2,4,6
/proc/30170/task/30188/stat : 30188 (java) S 30167 30170 24401 0 -1 4202560 47 0 0 0 14 11 0 0 20 0 22 0 30959991 10060525568 833594 33554432000 1073741824 1073778376 140735068539920 140004588235464 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30170/tid=30189] ppid=30167 vsize=9824732 CPUtime=806.7 cores=0,2,4,6
/proc/30170/task/30189/stat : 30189 (java) R 30167 30170 24401 0 -1 4202560 56 0 0 0 80657 13 0 0 20 0 22 0 30960829 10060525568 833594 33554432000 1073741824 1073778376 140735068539920 140004587179808 140005348325734 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=30170/tid=30190] ppid=30167 vsize=9824732 CPUtime=806.77 cores=0,2,4,6
/proc/30170/task/30190/stat : 30190 (java) R 30167 30170 24401 0 -1 4202560 488 0 0 0 80660 17 0 0 20 0 22 0 30960829 10060525568 833594 33554432000 1073741824 1073778376 140735068539920 140004586126160 140005348475865 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=30170/tid=30191] ppid=30167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30170/task/30191/stat : 30191 (java) S 30167 30170 24401 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30960832 10060525568 833594 33554432000 1073741824 1073778376 140735068539920 140004585076392 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30170/tid=30192] ppid=30167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30170/task/30192/stat : 30192 (java) S 30167 30170 24401 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30960832 10060525568 833594 33554432000 1073741824 1073778376 140735068539920 140004584023592 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1644.62
Current children cumulated vsize (KiB) 9824732

[startup+882.301 s]
/proc/loadavg: 4.10 4.12 4.11 5/217 30280
/proc/meminfo: memFree=24482172/32872528 swapFree=447868/480572
[pid=30170] ppid=30167 vsize=9824732 CPUtime=1764.81 cores=0,2,4,6
/proc/30170/stat : 30170 (java) S 30167 30170 24401 0 -1 4202496 34250 0 1 0 176297 184 0 0 20 0 22 0 30959985 10060525568 833602 33554432000 1073741824 1073778376 140735068539920 140735068531056 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30170/statm: 2456183 833602 2298 9 0 2446860 0
[pid=30170/tid=30172] ppid=30167 vsize=9824732 CPUtime=7.7 cores=0,2,4,6
/proc/30170/task/30172/stat : 30172 (java) S 30167 30170 24401 0 -1 4202560 3795 0 1 0 738 32 0 0 20 0 22 0 30959986 10060525568 833602 33554432000 1073741824 1073778376 140735068539920 140005510402936 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30170/tid=30173] ppid=30167 vsize=9824732 CPUtime=1.98 cores=0,2,4,6
/proc/30170/task/30173/stat : 30173 (java) S 30167 30170 24401 0 -1 4202560 615 0 0 0 179 19 0 0 20 0 22 0 30959987 10060525568 833602 33554432000 1073741824 1073778376 140735068539920 140005471894312 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30170/tid=30174] ppid=30167 vsize=9824732 CPUtime=1.83 cores=0,2,4,6
/proc/30170/task/30174/stat : 30174 (java) S 30167 30170 24401 0 -1 4202560 530 0 0 0 167 16 0 0 20 0 22 0 30959987 10060525568 833602 33554432000 1073741824 1073778376 140735068539920 140005470841512 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30170/tid=30175] ppid=30167 vsize=9824732 CPUtime=2.03 cores=0,2,4,6
/proc/30170/task/30175/stat : 30175 (java) S 30167 30170 24401 0 -1 4202560 548 0 0 0 184 19 0 0 20 0 22 0 30959987 10060525568 833602 33554432000 1073741824 1073778376 140735068539920 140005469789224 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30170/tid=30176] ppid=30167 vsize=9824732 CPUtime=1.76 cores=0,2,4,6
/proc/30170/task/30176/stat : 30176 (java) S 30167 30170 24401 0 -1 4202560 519 0 0 0 161 15 0 0 20 0 22 0 30959987 10060525568 833602 33554432000 1073741824 1073778376 140735068539920 140005468736424 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30170/tid=30177] ppid=30167 vsize=9824732 CPUtime=1.79 cores=0,2,4,6
/proc/30170/task/30177/stat : 30177 (java) S 30167 30170 24401 0 -1 4202560 551 0 0 0 166 13 0 0 20 0 22 0 30959987 10060525568 833602 33554432000 1073741824 1073778376 140735068539920 140005467683112 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30170/tid=30178] ppid=30167 vsize=9824732 CPUtime=1.68 cores=0,2,4,6
/proc/30170/task/30178/stat : 30178 (java) S 30167 30170 24401 0 -1 4202560 513 0 0 0 153 15 0 0 20 0 22 0 30959987 10060525568 833602 33554432000 1073741824 1073778376 140735068539920 140005466630312 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30170/tid=30179] ppid=30167 vsize=9824732 CPUtime=1.86 cores=0,2,4,6
/proc/30170/task/30179/stat : 30179 (java) S 30167 30170 24401 0 -1 4202560 448 0 0 0 172 14 0 0 20 0 22 0 30959987 10060525568 833602 33554432000 1073741824 1073778376 140735068539920 140005347420712 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30170/tid=30180] ppid=30167 vsize=9824732 CPUtime=1.82 cores=0,2,4,6
/proc/30170/task/30180/stat : 30180 (java) S 30167 30170 24401 0 -1 4202560 548 0 0 0 166 16 0 0 20 0 22 0 30959987 10060525568 833602 33554432000 1073741824 1073778376 140735068539920 140005346367912 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30170/tid=30181] ppid=30167 vsize=9824732 CPUtime=1.75 cores=0,2,4,6
/proc/30170/task/30181/stat : 30181 (java) S 30167 30170 24401 0 -1 4202560 2253 0 0 0 170 5 0 0 20 0 22 0 30959988 10060525568 833602 33554432000 1073741824 1073778376 140735068539920 140005334170344 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30170/tid=30182] ppid=30167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30170/task/30182/stat : 30182 (java) S 30167 30170 24401 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 30959988 10060525568 833602 33554432000 1073741824 1073778376 140735068539920 140005333116408 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30170/tid=30183] ppid=30167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30170/task/30183/stat : 30183 (java) S 30167 30170 24401 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 30959988 10060525568 833602 33554432000 1073741824 1073778376 140735068539920 140005332064008 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30170/tid=30184] ppid=30167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30170/task/30184/stat : 30184 (java) S 30167 30170 24401 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30959991 10060525568 833602 33554432000 1073741824 1073778376 140735068539920 140004592446352 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30170/tid=30185] ppid=30167 vsize=9824732 CPUtime=1.36 cores=0,2,4,6
/proc/30170/task/30185/stat : 30185 (java) S 30167 30170 24401 0 -1 4202560 11189 0 0 0 134 2 0 0 20 0 22 0 30959991 10060525568 833602 33554432000 1073741824 1073778376 140735068539920 140004591392952 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30170/tid=30186] ppid=30167 vsize=9824732 CPUtime=1.73 cores=0,2,4,6
/proc/30170/task/30186/stat : 30186 (java) S 30167 30170 24401 0 -1 4202560 10878 0 0 0 171 2 0 0 20 0 22 0 30959991 10060525568 833602 33554432000 1073741824 1073778376 140735068539920 140004590340152 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30170/tid=30187] ppid=30167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30170/task/30187/stat : 30187 (java) S 30167 30170 24401 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30959991 10060525568 833602 33554432000 1073741824 1073778376 140735068539920 140004589288056 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30170/tid=30188] ppid=30167 vsize=9824732 CPUtime=0.27 cores=0,2,4,6
/proc/30170/task/30188/stat : 30188 (java) S 30167 30170 24401 0 -1 4202560 51 0 0 0 15 12 0 0 20 0 22 0 30959991 10060525568 833602 33554432000 1073741824 1073778376 140735068539920 140004588235464 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30170/tid=30189] ppid=30167 vsize=9824732 CPUtime=866.44 cores=0,2,4,6
/proc/30170/task/30189/stat : 30189 (java) R 30167 30170 24401 0 -1 4202560 56 0 0 0 86630 14 0 0 20 0 22 0 30960829 10060525568 833602 33554432000 1073741824 1073778376 140735068539920 140004587179040 140005348445483 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=30170/tid=30190] ppid=30167 vsize=9824732 CPUtime=866.47 cores=0,2,4,6
/proc/30170/task/30190/stat : 30190 (java) R 30167 30170 24401 0 -1 4202560 491 0 0 0 86629 18 0 0 20 0 22 0 30960829 10060525568 833602 33554432000 1073741824 1073778376 140735068539920 140004586126976 140005348355195 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=30170/tid=30191] ppid=30167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30170/task/30191/stat : 30191 (java) S 30167 30170 24401 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30960832 10060525568 833602 33554432000 1073741824 1073778376 140735068539920 140004585076392 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30170/tid=30192] ppid=30167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30170/task/30192/stat : 30192 (java) S 30167 30170 24401 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30960832 10060525568 833602 33554432000 1073741824 1073778376 140735068539920 140004584023592 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1764.81
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+899.901 s]
/proc/loadavg: 4.08 4.12 4.11 5/217 30280
/proc/meminfo: memFree=24469516/32872528 swapFree=447868/480572
[pid=30170] ppid=30167 vsize=9824732 CPUtime=1800.09 cores=0,2,4,6
/proc/30170/stat : 30170 (java) S 30167 30170 24401 0 -1 4202496 34257 0 1 0 179825 184 0 0 20 0 22 0 30959985 10060525568 833608 33554432000 1073741824 1073778376 140735068539920 140735068531056 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30170/statm: 2456183 833608 2298 9 0 2446860 0
[pid=30170/tid=30172] ppid=30167 vsize=9824732 CPUtime=7.7 cores=0,2,4,6
/proc/30170/task/30172/stat : 30172 (java) S 30167 30170 24401 0 -1 4202560 3795 0 1 0 738 32 0 0 20 0 22 0 30959986 10060525568 833608 33554432000 1073741824 1073778376 140735068539920 140005510402936 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30170/tid=30173] ppid=30167 vsize=9824732 CPUtime=2 cores=0,2,4,6
/proc/30170/task/30173/stat : 30173 (java) S 30167 30170 24401 0 -1 4202560 615 0 0 0 181 19 0 0 20 0 22 0 30959987 10060525568 833608 33554432000 1073741824 1073778376 140735068539920 140005471894312 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30170/tid=30174] ppid=30167 vsize=9824732 CPUtime=1.84 cores=0,2,4,6
/proc/30170/task/30174/stat : 30174 (java) S 30167 30170 24401 0 -1 4202560 530 0 0 0 168 16 0 0 20 0 22 0 30959987 10060525568 833608 33554432000 1073741824 1073778376 140735068539920 140005470841512 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30170/tid=30175] ppid=30167 vsize=9824732 CPUtime=2.04 cores=0,2,4,6
/proc/30170/task/30175/stat : 30175 (java) S 30167 30170 24401 0 -1 4202560 548 0 0 0 185 19 0 0 20 0 22 0 30959987 10060525568 833608 33554432000 1073741824 1073778376 140735068539920 140005469789224 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30170/tid=30176] ppid=30167 vsize=9824732 CPUtime=1.79 cores=0,2,4,6
/proc/30170/task/30176/stat : 30176 (java) S 30167 30170 24401 0 -1 4202560 519 0 0 0 164 15 0 0 20 0 22 0 30959987 10060525568 833608 33554432000 1073741824 1073778376 140735068539920 140005468736424 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30170/tid=30177] ppid=30167 vsize=9824732 CPUtime=1.84 cores=0,2,4,6
/proc/30170/task/30177/stat : 30177 (java) S 30167 30170 24401 0 -1 4202560 551 0 0 0 171 13 0 0 20 0 22 0 30959987 10060525568 833608 33554432000 1073741824 1073778376 140735068539920 140005467683112 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30170/tid=30178] ppid=30167 vsize=9824732 CPUtime=1.73 cores=0,2,4,6
/proc/30170/task/30178/stat : 30178 (java) S 30167 30170 24401 0 -1 4202560 513 0 0 0 158 15 0 0 20 0 22 0 30959987 10060525568 833608 33554432000 1073741824 1073778376 140735068539920 140005466630312 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30170/tid=30179] ppid=30167 vsize=9824732 CPUtime=1.87 cores=0,2,4,6
/proc/30170/task/30179/stat : 30179 (java) S 30167 30170 24401 0 -1 4202560 451 0 0 0 173 14 0 0 20 0 22 0 30959987 10060525568 833608 33554432000 1073741824 1073778376 140735068539920 140005347420712 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30170/tid=30180] ppid=30167 vsize=9824732 CPUtime=1.84 cores=0,2,4,6
/proc/30170/task/30180/stat : 30180 (java) S 30167 30170 24401 0 -1 4202560 551 0 0 0 168 16 0 0 20 0 22 0 30959987 10060525568 833608 33554432000 1073741824 1073778376 140735068539920 140005346367912 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30170/tid=30181] ppid=30167 vsize=9824732 CPUtime=1.75 cores=0,2,4,6
/proc/30170/task/30181/stat : 30181 (java) S 30167 30170 24401 0 -1 4202560 2253 0 0 0 170 5 0 0 20 0 22 0 30959988 10060525568 833608 33554432000 1073741824 1073778376 140735068539920 140005334170344 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30170/tid=30182] ppid=30167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30170/task/30182/stat : 30182 (java) S 30167 30170 24401 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 30959988 10060525568 833608 33554432000 1073741824 1073778376 140735068539920 140005333116408 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30170/tid=30183] ppid=30167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30170/task/30183/stat : 30183 (java) S 30167 30170 24401 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 30959988 10060525568 833608 33554432000 1073741824 1073778376 140735068539920 140005332064008 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30170/tid=30184] ppid=30167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30170/task/30184/stat : 30184 (java) S 30167 30170 24401 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30959991 10060525568 833608 33554432000 1073741824 1073778376 140735068539920 140004592446352 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30170/tid=30185] ppid=30167 vsize=9824732 CPUtime=1.36 cores=0,2,4,6
/proc/30170/task/30185/stat : 30185 (java) S 30167 30170 24401 0 -1 4202560 11189 0 0 0 134 2 0 0 20 0 22 0 30959991 10060525568 833608 33554432000 1073741824 1073778376 140735068539920 140004591392952 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30170/tid=30186] ppid=30167 vsize=9824732 CPUtime=1.73 cores=0,2,4,6
/proc/30170/task/30186/stat : 30186 (java) S 30167 30170 24401 0 -1 4202560 10878 0 0 0 171 2 0 0 20 0 22 0 30959991 10060525568 833608 33554432000 1073741824 1073778376 140735068539920 140004590340152 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30170/tid=30187] ppid=30167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30170/task/30187/stat : 30187 (java) S 30167 30170 24401 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30959991 10060525568 833608 33554432000 1073741824 1073778376 140735068539920 140004589288056 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30170/tid=30188] ppid=30167 vsize=9824732 CPUtime=0.29 cores=0,2,4,6
/proc/30170/task/30188/stat : 30188 (java) S 30167 30170 24401 0 -1 4202560 51 0 0 0 16 13 0 0 20 0 22 0 30959991 10060525568 833608 33554432000 1073741824 1073778376 140735068539920 140004588235464 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30170/tid=30189] ppid=30167 vsize=9824732 CPUtime=883.94 cores=0,2,4,6
/proc/30170/task/30189/stat : 30189 (java) R 30167 30170 24401 0 -1 4202560 57 0 0 0 88380 14 0 0 20 0 22 0 30960829 10060525568 833608 33554432000 1073741824 1073778376 140735068539920 140004587179808 140005348325580 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=30170/tid=30190] ppid=30167 vsize=9824732 CPUtime=883.97 cores=0,2,4,6
/proc/30170/task/30190/stat : 30190 (java) R 30167 30170 24401 0 -1 4202560 491 0 0 0 88378 19 0 0 20 0 22 0 30960829 10060525568 833608 33554432000 1073741824 1073778376 140735068539920 140004586126256 140005348325748 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=30170/tid=30191] ppid=30167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30170/task/30191/stat : 30191 (java) S 30167 30170 24401 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30960832 10060525568 833608 33554432000 1073741824 1073778376 140735068539920 140004585076392 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30170/tid=30192] ppid=30167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30170/task/30192/stat : 30192 (java) S 30167 30170 24401 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30960832 10060525568 833608 33554432000 1073741824 1073778376 140735068539920 140004584023592 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
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 30170 sig 9
??? kill -30170 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

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

Real time (s): 899.982
CPU time (s): 1800.09
CPU user time (s): 1798.25
CPU system time (s): 1.84
CPU usage (%): 200.014
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.8
system time used= 2.31165
maximum resident set size= 3334548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34290
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= 23471
involuntary context switches= 25225

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.48217 second user time and 7.12592 second system time

The end

Launcher Data

Begin job on node104 at 2016-06-19 00:31:39
IDJOB=4108898
IDBENCH=89677
IDSOLVER=2543
FILE ID=node104/4108898-1466289097
RUNJOBID= node104-1466276650-24417
PBS_JOBID= 19918266
Free space on /tmp= 71616 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-154.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4108898-1466289097/watcher-4108898-1466289097 -o /tmp/evaluation-result-4108898-1466289097/solver-4108898-1466289097 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1466276650-24417 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4108898-1466289097.opb

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

MD5SUM BENCH= f522aac6d99c68f89e25c943b464d005
RANDOM SEED=1619723720

node104.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.035
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.035
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:        28543204 kB
Buffers:          153880 kB
Cached:           348296 kB
SwapCached:        40452 kB
Active:          2763892 kB
Inactive:         331128 kB
Active(anon):    2555392 kB
Inactive(anon):    39968 kB
Active(file):     208500 kB
Inactive(file):   291160 kB
Unevictable:      480572 kB
Mlocked:          447868 kB
SwapTotal:      67108856 kB
SwapFree:       67060428 kB
Dirty:             50520 kB
Writeback:             0 kB
AnonPages:       3038308 kB
Mapped:            15348 kB
Shmem:                 0 kB
Slab:             611928 kB
SReclaimable:      55640 kB
SUnreclaim:       556288 kB
KernelStack:        1592 kB
PageTables:        10440 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3150752 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2510848 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= 71580 MiB
End job on node104 at 2016-06-19 00:46:39