Trace number 4080455

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.6 897.25

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12038_7-unsat.opb
MD5SUMdcebcc122dcddcac4192e5e5bf5bd3e3
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 variables24684
Total number of constraints81656
Number of constraints which are clauses81252
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints404
Minimum length of a constraint1
Maximum length of a constraint120
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 49
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 745
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.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-4080455-1465263908.opb
0.10/0.12	c reading problem ... 
0.10/0.12	c  no objective function found
4.20/1.65	c ... done. Wall clock time 1.536s.
4.20/1.65	c declared #vars     24684
4.20/1.65	c #constraints  81656
4.20/1.66	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
4.20/1.66	c constraints type 
4.20/1.66	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 8726
4.20/1.66	c org.sat4j.specs.Constr$1 => 10341
4.20/1.66	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 57864
4.20/1.66	c org.sat4j.minisat.constraints.cnf.UnitClause => 4321
4.20/1.66	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 404
4.20/1.66	c 81656 constraints processed.
4.20/1.66	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
4.20/1.66	c constraints type 
4.20/1.66	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 57864
4.20/1.66	c org.sat4j.specs.Constr$1 => 10341
4.20/1.66	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 8726
4.20/1.66	c org.sat4j.pb.constraints.pb.MaxWatchPb => 404
4.20/1.66	c org.sat4j.pb.constraints.pb.UnitClausePB => 4321
4.20/1.66	c 81656 constraints processed.
9.55/3.49	c cleaning 2498 clauses out of 5001 with flag 25598/5001
12.98/5.01	c cleaning 4246 clauses out of 8503 with flag 54179/11001
16.08/6.51	c cleaning 5621 clauses out of 11259 with flag 83793/18003
19.56/8.28	c cleaning 6814 clauses out of 13635 with flag 121403/26000
24.20/10.59	c cleaning 7903 clauses out of 15822 with flag 156234/35001
29.73/13.26	c cleaning 8948 clauses out of 17918 with flag 201166/45000
36.06/16.38	c cleaning 9975 clauses out of 19970 with flag 267790/56000
41.89/19.24	c cleaning 10994 clauses out of 22000 with flag 320240/68005
49.89/23.17	c cleaning 11991 clauses out of 24002 with flag 378716/81001
57.28/26.88	c cleaning 13005 clauses out of 26011 with flag 446193/95001
66.46/31.34	c cleaning 13981 clauses out of 28005 with flag 545031/110000
74.48/35.38	c cleaning 15004 clauses out of 30026 with flag 624889/126002
83.82/39.95	c cleaning 15996 clauses out of 32020 with flag 707935/143000
93.42/44.74	c cleaning 17012 clauses out of 34028 with flag 790652/161004
97.35/46.63	c cleaning 0 clauses out of 5001 with flag 0/5001
103.65/49.68	c cleaning 17992 clauses out of 36013 with flag 892209/180001
116.48/55.98	c cleaning 19004 clauses out of 38020 with flag 1003088/200000
128.49/61.97	c cleaning 19990 clauses out of 40017 with flag 1094086/221001
140.98/68.10	c cleaning 20996 clauses out of 42026 with flag 1207313/243000
154.91/75.01	c cleaning 22006 clauses out of 44032 with flag 1322120/266002
169.51/82.37	c cleaning 22992 clauses out of 46025 with flag 1447372/290001
185.83/90.48	c cleaning 24003 clauses out of 48034 with flag 1613912/315002
204.85/100.31	c cleaning 24998 clauses out of 50029 with flag 1798430/341000
225.12/110.43	c cleaning 26006 clauses out of 52031 with flag 2048110/368000
242.42/119.09	c cleaning 27006 clauses out of 54026 with flag 2195362/396001
262.55/129.01	c cleaning 28005 clauses out of 56019 with flag 2362336/425000
283.70/139.50	c cleaning 28993 clauses out of 58015 with flag 2512691/455001
304.21/149.73	c cleaning 29997 clauses out of 60022 with flag 2682401/486001
324.91/160.00	c cleaning 31003 clauses out of 62025 with flag 2860382/518001
346.23/170.64	c cleaning 31999 clauses out of 64021 with flag 3051663/551000
368.76/181.77	c cleaning 33002 clauses out of 66022 with flag 3265024/585000
392.37/193.42	c cleaning 0 clauses out of 11001 with flag 0/11001
393.79/194.13	c cleaning 33999 clauses out of 68021 with flag 3459365/620001
421.34/207.82	c cleaning 35005 clauses out of 70022 with flag 3658916/656001
449.41/221.72	c cleaning 35999 clauses out of 72016 with flag 3873920/693000
478.60/236.29	c cleaning 36998 clauses out of 74017 with flag 4112020/731000
507.29/250.47	c cleaning 38005 clauses out of 76019 with flag 4340580/770000
538.07/265.62	c cleaning 38987 clauses out of 78014 with flag 4578652/810000
569.65/281.39	c cleaning 39988 clauses out of 80027 with flag 4814829/851000
599.40/296.01	c cleaning 41000 clauses out of 82039 with flag 5052896/893000
632.74/312.62	c cleaning 42020 clauses out of 84039 with flag 5333013/936000
667.28/329.78	c cleaning 43000 clauses out of 86019 with flag 5598471/980000
703.41/348.49	c cleaning 44005 clauses out of 88020 with flag 5887817/1025001
736.55/364.91	c cleaning 44993 clauses out of 90016 with flag 6198169/1071002
776.31/384.78	c cleaning 46003 clauses out of 92022 with flag 6511923/1118001
827.76/410.34	c cleaning 46983 clauses out of 94018 with flag 6916280/1166000
875.18/433.89	c cleaning 48003 clauses out of 96035 with flag 7256006/1215000
927.13/459.67	c cleaning 49006 clauses out of 98033 with flag 7600825/1265001
972.84/482.32	c cleaning 50001 clauses out of 100026 with flag 7948537/1316000
1016.32/503.75	c cleaning 50997 clauses out of 102025 with flag 8275257/1368000
1066.11/528.41	c cleaning 51999 clauses out of 104029 with flag 8610055/1421001
1115.77/553.04	c cleaning 53003 clauses out of 106030 with flag 8950231/1475001
1166.80/578.43	c cleaning 54005 clauses out of 108027 with flag 9319227/1530001
1215.92/602.85	c cleaning 54998 clauses out of 110021 with flag 9661722/1586000
1238.79/614.27	c cleaning 0 clauses out of 18000 with flag 0/18000
1265.10/627.33	c cleaning 56000 clauses out of 112023 with flag 10031991/1643000
1317.35/654.51	c cleaning 56999 clauses out of 114025 with flag 10414776/1701002
1368.69/681.15	c cleaning 58005 clauses out of 116024 with flag 10755878/1760000
1427.10/707.85	c cleaning 58982 clauses out of 118019 with flag 11173244/1820000
1476.20/734.47	c cleaning 60010 clauses out of 120038 with flag 11562072/1881001
1530.63/764.15	c cleaning 61007 clauses out of 122027 with flag 11988149/1943000
1585.30/790.17	c cleaning 62005 clauses out of 124025 with flag 12409923/2006005
1643.09/818.27	c cleaning 63004 clauses out of 126015 with flag 12856727/2070000
1705.96/848.94	c cleaning 63997 clauses out of 128011 with flag 13313726/2135000
1764.43/878.23	c cleaning 64995 clauses out of 130014 with flag 13698567/2201000
1800.57/895.25	c >>>>>>>>>> Solver number 0 (0 answers) <<<<<<<<<<<<<<<<<<
1800.57/895.25	c starts		: 7635
1800.57/895.25	c conflicts		: 2242368
1800.57/895.25	c decisions		: 3455182
1800.57/895.25	c propagations		: 843208356
1800.57/895.25	c inspects		: 7840924397
1800.57/895.25	c shortcuts		: 0
1800.57/895.25	c learnt literals	: 0
1800.57/895.25	c learnt binary clauses	: 0
1800.57/895.25	c learnt ternary clauses	: 1699
1800.57/895.25	c learnt constraints	: 2242368
1800.57/895.25	c ignored constraints	: 0
1800.57/895.25	c root simplifications	: 0
1800.57/895.25	c removed literals (reason simplification)	: 19885176
1800.57/895.25	c reason swapping (by a shorter reason)	: 0
1800.57/895.25	c Calls to reduceDB	: 62
1800.57/895.25	c Number of update (reduction) of LBD	: 815371
1800.57/895.25	c Imported unit clauses	: 0
1800.57/895.25	c number of reductions to clauses (during analyze)	: 0
1800.57/895.25	c number of learned constraints concerned by reduction	: 0
1800.57/895.25	c number of learning phase by resolution	: 0
1800.57/895.25	c number of learning phase by cutting planes	: 0
1800.57/895.25	c speed (assignments/second)	: 943704.37902696
1800.57/895.25	c non guided choices	180
1800.57/895.28	c learnt constraints type 
1800.57/895.28	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 106387
1800.57/895.28	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.57/895.28	c starts		: 51
1800.57/895.28	c conflicts		: 22549
1800.57/895.28	c decisions		: 107665
1800.57/895.28	c propagations		: 10741781
1800.57/895.28	c inspects		: 920854877
1800.57/895.28	c shortcuts		: 0
1800.57/895.28	c learnt literals	: 0
1800.57/895.28	c learnt binary clauses	: 0
1800.57/895.28	c learnt ternary clauses	: 55
1800.57/895.28	c learnt constraints	: 22548
1800.57/895.28	c ignored constraints	: 0
1800.57/895.28	c root simplifications	: 0
1800.57/895.28	c removed literals (reason simplification)	: 0
1800.57/895.28	c reason swapping (by a shorter reason)	: 0
1800.57/895.28	c Calls to reduceDB	: 3
1800.57/895.28	c Number of update (reduction) of LBD	: 0
1800.57/895.28	c Imported unit clauses	: 0
1800.57/895.28	c number of reductions to clauses (during analyze)	: 0
1800.57/895.28	c number of learned constraints concerned by reduction	: 0
1800.57/895.28	c number of learning phase by resolution	: 0
1800.57/895.28	c number of learning phase by cutting planes	: 0
1800.57/895.28	c speed (assignments/second)	: 12021.600599861227
1800.57/895.28	c non guided choices	73
1800.57/895.29	c learnt constraints type 
1800.57/895.29	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 56
1800.57/895.29	c org.sat4j.pb.constraints.pb.MaxWatchPb => 22492
1800.57/895.29	s UNKNOWN
1800.57/895.29	c Total wall clock time (in seconds): 895.17

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-4080455-1465263908/watcher-4080455-1465263908 -o /tmp/evaluation-result-4080455-1465263908/solver-4080455-1465263908 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1465253685-3609 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4080455-1465263908.opb 

pid=8189
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.27 4.26 4.11 4/197 8192
/proc/meminfo: memFree=27539228/32872528 swapFree=16080/1655368
[pid=8192] ppid=8189 vsize=9160 CPUtime=0 cores=0,2,4,6
/proc/8192/stat : 8192 (java) R 8189 8192 3593 0 -1 4202496 432 0 0 0 0 0 0 0 20 0 1 0 108324346 9379840 87 33554432000 1073741824 1073778376 140736274078640 140736274075768 217410540352 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8192/statm: 2290 104 79 9 0 38 0

[startup+0.100163 s]
/proc/loadavg: 4.27 4.26 4.11 4/197 8192
/proc/meminfo: memFree=27539228/32872528 swapFree=16080/1655368
[pid=8192] ppid=8189 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/8192/stat : 8192 (java) S 8189 8192 3593 0 -1 4202496 4407 0 1 0 8 2 0 0 20 0 18 0 108324346 9787879424 6038 33554432000 1073741824 1073778376 140736274078640 140736274069776 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8192/statm: 2389619 6038 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200227 s]
/proc/loadavg: 4.27 4.26 4.11 4/197 8192
/proc/meminfo: memFree=27539228/32872528 swapFree=16080/1655368
[pid=8192] ppid=8189 vsize=9558476 CPUtime=0.24 cores=0,2,4,6
/proc/8192/stat : 8192 (java) S 8189 8192 3593 0 -1 4202496 4663 0 1 0 22 2 0 0 20 0 18 0 108324346 9787879424 6754 33554432000 1073741824 1073778376 140736274078640 140736274069776 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8192/statm: 2389619 6754 2198 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476

[startup+0.300217 s]
/proc/loadavg: 4.27 4.26 4.11 4/197 8192
/proc/meminfo: memFree=27539228/32872528 swapFree=16080/1655368
[pid=8192] ppid=8189 vsize=9558476 CPUtime=0.47 cores=0,2,4,6
/proc/8192/stat : 8192 (java) S 8189 8192 3593 0 -1 4202496 5714 0 1 0 45 2 0 0 20 0 18 0 108324346 9787879424 9098 33554432000 1073741824 1073778376 140736274078640 140736274069776 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8192/statm: 2389619 9098 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558476

[startup+0.700188 s]
/proc/loadavg: 4.27 4.26 4.11 4/197 8192
/proc/meminfo: memFree=27539228/32872528 swapFree=16080/1655368
[pid=8192] ppid=8189 vsize=9559080 CPUtime=1.63 cores=0,2,4,6
/proc/8192/stat : 8192 (java) S 8189 8192 3593 0 -1 4202496 23274 0 1 0 157 6 0 0 20 0 18 0 108324346 9788497920 33052 33554432000 1073741824 1073778376 140736274078640 140736274069776 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8192/statm: 2389770 33052 2250 9 0 2380447 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 9559080

[startup+1.5008 s]
/proc/loadavg: 4.27 4.26 4.11 6/215 8210
/proc/meminfo: memFree=27330700/32872528 swapFree=16080/1655368
[pid=8192] ppid=8189 vsize=9558476 CPUtime=3.9 cores=0,2,4,6
/proc/8192/stat : 8192 (java) S 8189 8192 3593 0 -1 4202496 32399 0 1 0 380 10 0 0 20 0 18 0 108324346 9787879424 53701 33554432000 1073741824 1073778376 140736274078640 140736274069776 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8192/statm: 2389619 53701 2270 9 0 2380296 0
[pid=8192/tid=8194] ppid=8189 vsize=9558476 CPUtime=1.43 cores=0,2,4,6
/proc/8192/task/8194/stat : 8194 (java) R 8189 8192 3593 0 -1 4202560 2476 0 1 0 140 3 0 0 20 0 18 0 108324347 9787879424 53701 33554432000 1073741824 1073778376 140736274078640 140465076149224 217413903629 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8192/tid=8195] ppid=8189 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8195/stat : 8195 (java) S 8189 8192 3593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 18 0 108324348 9787879424 53701 33554432000 1073741824 1073778376 140736274078640 140465037642792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8192/tid=8196] ppid=8189 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8196/stat : 8196 (java) S 8189 8192 3593 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 108324348 9787879424 53701 33554432000 1073741824 1073778376 140736274078640 140465036589992 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8192/tid=8197] ppid=8189 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8197/stat : 8197 (java) S 8189 8192 3593 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 108324348 9787879424 53701 33554432000 1073741824 1073778376 140736274078640 140465035537192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8192/tid=8198] ppid=8189 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8198/stat : 8198 (java) S 8189 8192 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 108324348 9787879424 53701 33554432000 1073741824 1073778376 140736274078640 140465034484392 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8192/tid=8199] ppid=8189 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8199/stat : 8199 (java) S 8189 8192 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 108324348 9787879424 53701 33554432000 1073741824 1073778376 140736274078640 140465033431592 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8192/tid=8200] ppid=8189 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8200/stat : 8200 (java) S 8189 8192 3593 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 108324348 9787879424 53701 33554432000 1073741824 1073778376 140736274078640 140465032378792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8192/tid=8201] ppid=8189 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8201/stat : 8201 (java) S 8189 8192 3593 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 108324348 9787879424 53701 33554432000 1073741824 1073778376 140736274078640 140465031325992 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8192/tid=8202] ppid=8189 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8202/stat : 8202 (java) S 8189 8192 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 108324348 9787879424 53701 33554432000 1073741824 1073778376 140736274078640 140465030273192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8192/tid=8203] ppid=8189 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8203/stat : 8203 (java) S 8189 8192 3593 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 18 0 108324349 9787879424 53701 33554432000 1073741824 1073778376 140736274078640 140464899447784 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8192/tid=8204] ppid=8189 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8204/stat : 8204 (java) S 8189 8192 3593 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 108324349 9787879424 53701 33554432000 1073741824 1073778376 140736274078640 140464898393848 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8192/tid=8205] ppid=8189 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8205/stat : 8205 (java) S 8189 8192 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 108324349 9787879424 53701 33554432000 1073741824 1073778376 140736274078640 140464897340936 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8192/tid=8206] ppid=8189 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8206/stat : 8206 (java) S 8189 8192 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 108324352 9787879424 53701 33554432000 1073741824 1073778376 140736274078640 140464896289424 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8192/tid=8207] ppid=8189 vsize=9558476 CPUtime=1.18 cores=0,2,4,6
/proc/8192/task/8207/stat : 8207 (java) R 8189 8192 3593 0 -1 4202560 14750 0 0 0 116 2 0 0 20 0 18 0 108324352 9787879424 53701 33554432000 1073741824 1073778376 140736274078640 140464895236256 140465083124596 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8192/tid=8208] ppid=8189 vsize=9558476 CPUtime=1.17 cores=0,2,4,6
/proc/8192/task/8208/stat : 8208 (java) R 8189 8192 3593 0 -1 4202560 13797 0 0 0 114 3 0 0 20 0 18 0 108324352 9787879424 53701 33554432000 1073741824 1073778376 140736274078640 140464894171264 140465081997875 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8192/tid=8209] ppid=8189 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8209/stat : 8209 (java) S 8189 8192 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 108324352 9787879424 53701 33554432000 1073741824 1073778376 140736274078640 140464019728760 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8192/tid=8210] ppid=8189 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8210/stat : 8210 (java) S 8189 8192 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 108324352 9787879424 53701 33554432000 1073741824 1073778376 140736274078640 140464018676168 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.9
Current children cumulated vsize (KiB) 9558476

[startup+3.10087 s]
/proc/loadavg: 4.27 4.26 4.11 11/219 8214
/proc/meminfo: memFree=27313092/32872528 swapFree=16080/1655368
[pid=8192] ppid=8189 vsize=9824732 CPUtime=8.73 cores=0,2,4,6
/proc/8192/stat : 8192 (java) S 8189 8192 3593 0 -1 4202496 35009 0 1 0 859 14 0 0 20 0 22 0 108324346 10060525568 79830 33554432000 1073741824 1073778376 140736274078640 140736274069776 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8192/statm: 2456183 79830 2286 9 0 2446860 0
[pid=8192/tid=8194] ppid=8189 vsize=9824732 CPUtime=1.59 cores=0,2,4,6
/proc/8192/task/8194/stat : 8194 (java) S 8189 8192 3593 0 -1 4202560 2482 0 1 0 156 3 0 0 20 0 22 0 108324347 10060525568 79830 33554432000 1073741824 1073778376 140736274078640 140465076151160 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8192/tid=8195] ppid=8189 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/8192/task/8195/stat : 8195 (java) S 8189 8192 3593 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 108324348 10060525568 79830 33554432000 1073741824 1073778376 140736274078640 140465037642792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8192/tid=8196] ppid=8189 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/8192/task/8196/stat : 8196 (java) S 8189 8192 3593 0 -1 4202560 131 0 0 0 2 0 0 0 20 0 22 0 108324348 10060525568 79830 33554432000 1073741824 1073778376 140736274078640 140465036589992 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8192/tid=8197] ppid=8189 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8197/stat : 8197 (java) S 8189 8192 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 108324348 10060525568 79830 33554432000 1073741824 1073778376 140736274078640 140465035537192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8192/tid=8198] ppid=8189 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/8192/task/8198/stat : 8198 (java) S 8189 8192 3593 0 -1 4202560 149 0 0 0 4 0 0 0 20 0 22 0 108324348 10060525568 79830 33554432000 1073741824 1073778376 140736274078640 140465034484392 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8192/tid=8199] ppid=8189 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8199/stat : 8199 (java) S 8189 8192 3593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 108324348 10060525568 79830 33554432000 1073741824 1073778376 140736274078640 140465033431592 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8192/tid=8200] ppid=8189 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/8192/task/8200/stat : 8200 (java) S 8189 8192 3593 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 108324348 10060525568 79830 33554432000 1073741824 1073778376 140736274078640 140465032378792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8192/tid=8201] ppid=8189 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/8192/task/8201/stat : 8201 (java) S 8189 8192 3593 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 108324348 10060525568 79830 33554432000 1073741824 1073778376 140736274078640 140465031325992 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8192/tid=8202] ppid=8189 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/8192/task/8202/stat : 8202 (java) S 8189 8192 3593 0 -1 4202560 112 0 0 0 3 0 0 0 20 0 22 0 108324348 10060525568 79830 33554432000 1073741824 1073778376 140736274078640 140465030273192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8192/tid=8203] ppid=8189 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8203/stat : 8203 (java) S 8189 8192 3593 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 22 0 108324349 10060525568 79830 33554432000 1073741824 1073778376 140736274078640 140464899447784 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8192/tid=8204] ppid=8189 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8204/stat : 8204 (java) S 8189 8192 3593 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 108324349 10060525568 79830 33554432000 1073741824 1073778376 140736274078640 140464898393848 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8192/tid=8205] ppid=8189 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8205/stat : 8205 (java) S 8189 8192 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 108324349 10060525568 79830 33554432000 1073741824 1073778376 140736274078640 140464897340936 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8192/tid=8206] ppid=8189 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8206/stat : 8206 (java) S 8189 8192 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108324352 10060525568 79830 33554432000 1073741824 1073778376 140736274078640 140464896289424 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8192/tid=8207] ppid=8189 vsize=9824732 CPUtime=2.06 cores=0,2,4,6
/proc/8192/task/8207/stat : 8207 (java) S 8189 8192 3593 0 -1 4202560 16847 0 0 0 204 2 0 0 20 0 22 0 108324352 10060525568 79830 33554432000 1073741824 1073778376 140736274078640 140464895236536 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8192/tid=8208] ppid=8189 vsize=9824732 CPUtime=2.01 cores=0,2,4,6
/proc/8192/task/8208/stat : 8208 (java) S 8189 8192 3593 0 -1 4202560 13810 0 0 0 198 3 0 0 20 0 22 0 108324352 10060525568 79830 33554432000 1073741824 1073778376 140736274078640 140464894183736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8192/tid=8209] ppid=8189 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8209/stat : 8209 (java) S 8189 8192 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108324352 10060525568 79830 33554432000 1073741824 1073778376 140736274078640 140464019728760 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8192/tid=8210] ppid=8189 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8210/stat : 8210 (java) S 8189 8192 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108324352 10060525568 79830 33554432000 1073741824 1073778376 140736274078640 140464018676168 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8192/tid=8211] ppid=8189 vsize=9824732 CPUtime=1.37 cores=0,2,4,6
/proc/8192/task/8211/stat : 8211 (java) R 8189 8192 3593 0 -1 4202560 18 0 0 0 137 0 0 0 20 0 22 0 108324512 10060525568 79830 33554432000 1073741824 1073778376 140736274078640 140464017622312 140464910523337 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=8192/tid=8212] ppid=8189 vsize=9824732 CPUtime=1.38 cores=0,2,4,6
/proc/8192/task/8212/stat : 8212 (java) R 8189 8192 3593 0 -1 4202560 68 0 0 0 137 1 0 0 20 0 22 0 108324512 10060525568 79830 33554432000 1073741824 1073778376 140736274078640 140464016568952 140464909916077 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8192/tid=8213] ppid=8189 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8213/stat : 8213 (java) S 8189 8192 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 108324520 10060525568 79830 33554432000 1073741824 1073778376 140736274078640 140464015517096 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8192/tid=8214] ppid=8189 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8214/stat : 8214 (java) S 8189 8192 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 108324520 10060525568 79830 33554432000 1073741824 1073778376 140736274078640 140464014464296 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 8.73
Current children cumulated vsize (KiB) 9824732

[startup+6.301 s]
/proc/loadavg: 4.33 4.27 4.11 5/219 8214
/proc/meminfo: memFree=27058848/32872528 swapFree=16080/1655368
[pid=8192] ppid=8189 vsize=9824732 CPUtime=15.68 cores=0,2,4,6
/proc/8192/stat : 8192 (java) S 8189 8192 3593 0 -1 4202496 38377 0 1 0 1540 28 0 0 20 0 22 0 108324346 10060525568 165470 33554432000 1073741824 1073778376 140736274078640 140736274069776 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8192/statm: 2456183 165470 2291 9 0 2446860 0
[pid=8192/tid=8194] ppid=8189 vsize=9824732 CPUtime=1.59 cores=0,2,4,6
/proc/8192/task/8194/stat : 8194 (java) S 8189 8192 3593 0 -1 4202560 2483 0 1 0 156 3 0 0 20 0 22 0 108324347 10060525568 165470 33554432000 1073741824 1073778376 140736274078640 140465076151160 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8192/tid=8195] ppid=8189 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/8192/task/8195/stat : 8195 (java) S 8189 8192 3593 0 -1 4202560 41 0 0 0 4 2 0 0 20 0 22 0 108324348 10060525568 165470 33554432000 1073741824 1073778376 140736274078640 140465037642792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8192/tid=8196] ppid=8189 vsize=9824732 CPUtime=0.1 cores=0,2,4,6
/proc/8192/task/8196/stat : 8196 (java) S 8189 8192 3593 0 -1 4202560 168 0 0 0 8 2 0 0 20 0 22 0 108324348 10060525568 165470 33554432000 1073741824 1073778376 140736274078640 140465036589992 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8192/tid=8197] ppid=8189 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/8192/task/8197/stat : 8197 (java) S 8189 8192 3593 0 -1 4202560 50 0 0 0 7 1 0 0 20 0 22 0 108324348 10060525568 165470 33554432000 1073741824 1073778376 140736274078640 140465035537192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8192/tid=8198] ppid=8189 vsize=9824732 CPUtime=0.12 cores=0,2,4,6
/proc/8192/task/8198/stat : 8198 (java) S 8189 8192 3593 0 -1 4202560 194 0 0 0 9 3 0 0 20 0 22 0 108324348 10060525568 165470 33554432000 1073741824 1073778376 140736274078640 140465034484392 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8192/tid=8199] ppid=8189 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/8192/task/8199/stat : 8199 (java) S 8189 8192 3593 0 -1 4202560 38 0 0 0 3 2 0 0 20 0 22 0 108324348 10060525568 165470 33554432000 1073741824 1073778376 140736274078640 140465033431592 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8192/tid=8200] ppid=8189 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/8192/task/8200/stat : 8200 (java) S 8189 8192 3593 0 -1 4202560 37 0 0 0 4 2 0 0 20 0 22 0 108324348 10060525568 165470 33554432000 1073741824 1073778376 140736274078640 140465032378792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8192/tid=8201] ppid=8189 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/8192/task/8201/stat : 8201 (java) S 8189 8192 3593 0 -1 4202560 59 0 0 0 6 2 0 0 20 0 22 0 108324348 10060525568 165470 33554432000 1073741824 1073778376 140736274078640 140465031325992 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8192/tid=8202] ppid=8189 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/8192/task/8202/stat : 8202 (java) S 8189 8192 3593 0 -1 4202560 143 0 0 0 6 2 0 0 20 0 22 0 108324348 10060525568 165470 33554432000 1073741824 1073778376 140736274078640 140465030273192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8192/tid=8203] ppid=8189 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8203/stat : 8203 (java) S 8189 8192 3593 0 -1 4202560 471 0 0 0 0 0 0 0 20 0 22 0 108324349 10060525568 165470 33554432000 1073741824 1073778376 140736274078640 140464899447784 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8192/tid=8204] ppid=8189 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8204/stat : 8204 (java) S 8189 8192 3593 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 108324349 10060525568 165470 33554432000 1073741824 1073778376 140736274078640 140464898393848 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8192/tid=8205] ppid=8189 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8205/stat : 8205 (java) S 8189 8192 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 108324349 10060525568 165470 33554432000 1073741824 1073778376 140736274078640 140464897340936 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8192/tid=8206] ppid=8189 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8206/stat : 8206 (java) S 8189 8192 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108324352 10060525568 165470 33554432000 1073741824 1073778376 140736274078640 140464896289424 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8192/tid=8207] ppid=8189 vsize=9824732 CPUtime=2.32 cores=0,2,4,6
/proc/8192/task/8207/stat : 8207 (java) S 8189 8192 3593 0 -1 4202560 19223 0 0 0 230 2 0 0 20 0 22 0 108324352 10060525568 165470 33554432000 1073741824 1073778376 140736274078640 140464895236536 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8192/tid=8208] ppid=8189 vsize=9824732 CPUtime=2.09 cores=0,2,4,6
/proc/8192/task/8208/stat : 8208 (java) S 8189 8192 3593 0 -1 4202560 13815 0 0 0 206 3 0 0 20 0 22 0 108324352 10060525568 165470 33554432000 1073741824 1073778376 140736274078640 140464894183736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8192/tid=8209] ppid=8189 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8209/stat : 8209 (java) S 8189 8192 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108324352 10060525568 165470 33554432000 1073741824 1073778376 140736274078640 140464019728760 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8192/tid=8210] ppid=8189 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8210/stat : 8210 (java) S 8189 8192 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108324352 10060525568 165470 33554432000 1073741824 1073778376 140736274078640 140464018676168 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8192/tid=8211] ppid=8189 vsize=9824732 CPUtime=4.41 cores=0,2,4,6

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

/proc/8192/task/8211/stat : 8211 (java) R 8189 8192 3593 0 -1 4202560 89 0 0 0 86587 15 0 0 20 0 22 0 108324512 10060525568 918511 33554432000 1073741824 1073778376 140736274078640 140464017613328 140464910712903 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8192/tid=8212] ppid=8189 vsize=9824732 CPUtime=867.33 cores=0,2,4,6
/proc/8192/task/8212/stat : 8212 (java) R 8189 8192 3593 0 -1 4202560 1748 0 0 0 86688 45 0 0 20 0 22 0 108324512 10060525568 918511 33554432000 1073741824 1073778376 140736274078640 140464016568256 140464910604216 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8192/tid=8213] ppid=8189 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8213/stat : 8213 (java) S 8189 8192 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 108324520 10060525568 918511 33554432000 1073741824 1073778376 140736274078640 140464015517096 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8192/tid=8214] ppid=8189 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8214/stat : 8214 (java) S 8189 8192 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 108324520 10060525568 918511 33554432000 1073741824 1073778376 140736274078640 140464014464296 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1776.43
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+895.241 s]
/proc/loadavg: 4.17 3.98 4.04 5/219 8646
/proc/meminfo: memFree=23399576/32872528 swapFree=16080/1655368
[pid=8192] ppid=8189 vsize=9824732 CPUtime=1800.57 cores=0,2,4,6
/proc/8192/stat : 8192 (java) S 8189 8192 3593 0 -1 4202496 45887 0 1 0 179876 181 0 0 20 0 22 0 108324346 10060525568 921578 33554432000 1073741824 1073778376 140736274078640 140736274069776 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8192/statm: 2456183 921578 2300 9 0 2446860 0
[pid=8192/tid=8194] ppid=8189 vsize=9824732 CPUtime=1.63 cores=0,2,4,6
/proc/8192/task/8194/stat : 8194 (java) S 8189 8192 3593 0 -1 4202560 2499 0 1 0 158 5 0 0 20 0 22 0 108324347 10060525568 921578 33554432000 1073741824 1073778376 140736274078640 140465076151160 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8192/tid=8195] ppid=8189 vsize=9824732 CPUtime=3.56 cores=0,2,4,6
/proc/8192/task/8195/stat : 8195 (java) S 8189 8192 3593 0 -1 4202560 622 0 0 0 340 16 0 0 20 0 22 0 108324348 10060525568 921578 33554432000 1073741824 1073778376 140736274078640 140465037642792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8192/tid=8196] ppid=8189 vsize=9824732 CPUtime=3.59 cores=0,2,4,6
/proc/8192/task/8196/stat : 8196 (java) S 8189 8192 3593 0 -1 4202560 649 0 0 0 344 15 0 0 20 0 22 0 108324348 10060525568 921578 33554432000 1073741824 1073778376 140736274078640 140465036589992 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8192/tid=8197] ppid=8189 vsize=9824732 CPUtime=3.28 cores=0,2,4,6
/proc/8192/task/8197/stat : 8197 (java) S 8189 8192 3593 0 -1 4202560 659 0 0 0 311 17 0 0 20 0 22 0 108324348 10060525568 921578 33554432000 1073741824 1073778376 140736274078640 140465035537192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8192/tid=8198] ppid=8189 vsize=9824732 CPUtime=3.28 cores=0,2,4,6
/proc/8192/task/8198/stat : 8198 (java) S 8189 8192 3593 0 -1 4202560 729 0 0 0 314 14 0 0 20 0 22 0 108324348 10060525568 921578 33554432000 1073741824 1073778376 140736274078640 140465034484392 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8192/tid=8199] ppid=8189 vsize=9824732 CPUtime=3.55 cores=0,2,4,6
/proc/8192/task/8199/stat : 8199 (java) S 8189 8192 3593 0 -1 4202560 514 0 0 0 339 16 0 0 20 0 22 0 108324348 10060525568 921578 33554432000 1073741824 1073778376 140736274078640 140465033431592 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8192/tid=8200] ppid=8189 vsize=9824732 CPUtime=3.29 cores=0,2,4,6
/proc/8192/task/8200/stat : 8200 (java) S 8189 8192 3593 0 -1 4202560 601 0 0 0 315 14 0 0 20 0 22 0 108324348 10060525568 921578 33554432000 1073741824 1073778376 140736274078640 140465032378792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8192/tid=8201] ppid=8189 vsize=9824732 CPUtime=3.13 cores=0,2,4,6
/proc/8192/task/8201/stat : 8201 (java) S 8189 8192 3593 0 -1 4202560 500 0 0 0 301 12 0 0 20 0 22 0 108324348 10060525568 921578 33554432000 1073741824 1073778376 140736274078640 140465031325992 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8192/tid=8202] ppid=8189 vsize=9824732 CPUtime=3.83 cores=0,2,4,6
/proc/8192/task/8202/stat : 8202 (java) S 8189 8192 3593 0 -1 4202560 618 0 0 0 368 15 0 0 20 0 22 0 108324348 10060525568 921578 33554432000 1073741824 1073778376 140736274078640 140465030273192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8192/tid=8203] ppid=8189 vsize=9824732 CPUtime=4.46 cores=0,2,4,6
/proc/8192/task/8203/stat : 8203 (java) S 8189 8192 3593 0 -1 4202560 2285 0 0 0 437 9 0 0 20 0 22 0 108324349 10060525568 921578 33554432000 1073741824 1073778376 140736274078640 140464899447784 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8192/tid=8204] ppid=8189 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8204/stat : 8204 (java) S 8189 8192 3593 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 108324349 10060525568 921578 33554432000 1073741824 1073778376 140736274078640 140464898393848 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8192/tid=8205] ppid=8189 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8205/stat : 8205 (java) S 8189 8192 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 108324349 10060525568 921578 33554432000 1073741824 1073778376 140736274078640 140464897340936 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8192/tid=8206] ppid=8189 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8206/stat : 8206 (java) S 8189 8192 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108324352 10060525568 921578 33554432000 1073741824 1073778376 140736274078640 140464896289424 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8192/tid=8207] ppid=8189 vsize=9824732 CPUtime=2.79 cores=0,2,4,6
/proc/8192/task/8207/stat : 8207 (java) S 8189 8192 3593 0 -1 4202560 19229 0 0 0 277 2 0 0 20 0 22 0 108324352 10060525568 921578 33554432000 1073741824 1073778376 140736274078640 140464895236536 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8192/tid=8208] ppid=8189 vsize=9824732 CPUtime=2.25 cores=0,2,4,6
/proc/8192/task/8208/stat : 8208 (java) S 8189 8192 3593 0 -1 4202560 13825 0 0 0 222 3 0 0 20 0 22 0 108324352 10060525568 921578 33554432000 1073741824 1073778376 140736274078640 140464894183736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8192/tid=8209] ppid=8189 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8209/stat : 8209 (java) S 8189 8192 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108324352 10060525568 921578 33554432000 1073741824 1073778376 140736274078640 140464019728760 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8192/tid=8210] ppid=8189 vsize=9824732 CPUtime=0.28 cores=0,2,4,6
/proc/8192/task/8210/stat : 8210 (java) S 8189 8192 3593 0 -1 4202560 53 0 0 0 13 15 0 0 20 0 22 0 108324352 10060525568 921578 33554432000 1073741824 1073778376 140736274078640 140464018676168 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 1 0 0
[pid=8192/tid=8211] ppid=8189 vsize=9824732 CPUtime=877.92 cores=0,2,4,6
/proc/8192/task/8211/stat : 8211 (java) R 8189 8192 3593 0 -1 4202560 90 0 0 0 87777 15 0 0 20 0 22 0 108324512 10060525568 921578 33554432000 1073741824 1073778376 140736274078640 140464017622160 140464910721367 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8192/tid=8212] ppid=8189 vsize=9824732 CPUtime=879.23 cores=0,2,4,6
/proc/8192/task/8212/stat : 8212 (java) R 8189 8192 3593 0 -1 4202560 1748 0 0 0 87878 45 0 0 20 0 22 0 108324512 10060525568 921578 33554432000 1073741824 1073778376 140736274078640 140464016568256 140464910601466 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8192/tid=8213] ppid=8189 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8213/stat : 8213 (java) S 8189 8192 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 108324520 10060525568 921578 33554432000 1073741824 1073778376 140736274078640 140464015517096 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8192/tid=8214] ppid=8189 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8214/stat : 8214 (java) S 8189 8192 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 108324520 10060525568 921578 33554432000 1073741824 1073778376 140736274078640 140464014464296 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.57
Current children cumulated vsize (KiB) 9824732

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

############
# WARNING:
# current cumulated CPU time (1796.46 s) is less than in the last sample (1800.57 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (4.10999 s) to the 'lost time'.

[startup+895.241 s]
/proc/loadavg: 4.17 3.98 4.04 5/219 8646
/proc/meminfo: memFree=23399576/32872528 swapFree=16080/1655368
[pid=8192] ppid=8189 vsize=9824732 CPUtime=1800.57 cores=0,2,4,6
/proc/8192/stat : 8192 (java) S 8189 8192 3593 0 -1 4202496 45887 0 1 0 179876 181 0 0 20 0 22 0 108324346 10060525568 921578 33554432000 1073741824 1073778376 140736274078640 140736274069776 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8192/statm: 2456183 921578 2300 9 0 2446860 0
[pid=8192/tid=8194] ppid=8189 vsize=9824732 CPUtime=1.63 cores=0,2,4,6
/proc/8192/task/8194/stat : 8194 (java) S 8189 8192 3593 0 -1 4202560 2499 0 1 0 158 5 0 0 20 0 22 0 108324347 10060525568 921578 33554432000 1073741824 1073778376 140736274078640 140465076151160 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8192/tid=8195] ppid=8189 vsize=9824732 CPUtime=3.56 cores=0,2,4,6
/proc/8192/task/8195/stat : 8195 (java) S 8189 8192 3593 0 -1 4202560 622 0 0 0 340 16 0 0 20 0 22 0 108324348 10060525568 921578 33554432000 1073741824 1073778376 140736274078640 140465037642792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8192/tid=8196] ppid=8189 vsize=9824732 CPUtime=3.59 cores=0,2,4,6
/proc/8192/task/8196/stat : 8196 (java) S 8189 8192 3593 0 -1 4202560 649 0 0 0 344 15 0 0 20 0 22 0 108324348 10060525568 921578 33554432000 1073741824 1073778376 140736274078640 140465036589992 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8192/tid=8197] ppid=8189 vsize=9824732 CPUtime=3.28 cores=0,2,4,6
/proc/8192/task/8197/stat : 8197 (java) S 8189 8192 3593 0 -1 4202560 659 0 0 0 311 17 0 0 20 0 22 0 108324348 10060525568 921578 33554432000 1073741824 1073778376 140736274078640 140465035537192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8192/tid=8198] ppid=8189 vsize=9824732 CPUtime=3.28 cores=0,2,4,6
/proc/8192/task/8198/stat : 8198 (java) S 8189 8192 3593 0 -1 4202560 729 0 0 0 314 14 0 0 20 0 22 0 108324348 10060525568 921578 33554432000 1073741824 1073778376 140736274078640 140465034484392 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8192/tid=8199] ppid=8189 vsize=9824732 CPUtime=3.55 cores=0,2,4,6
/proc/8192/task/8199/stat : 8199 (java) S 8189 8192 3593 0 -1 4202560 514 0 0 0 339 16 0 0 20 0 22 0 108324348 10060525568 921578 33554432000 1073741824 1073778376 140736274078640 140465033431592 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8192/tid=8200] ppid=8189 vsize=9824732 CPUtime=3.29 cores=0,2,4,6
/proc/8192/task/8200/stat : 8200 (java) S 8189 8192 3593 0 -1 4202560 601 0 0 0 315 14 0 0 20 0 22 0 108324348 10060525568 921578 33554432000 1073741824 1073778376 140736274078640 140465032378792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8192/tid=8201] ppid=8189 vsize=9824732 CPUtime=3.13 cores=0,2,4,6
/proc/8192/task/8201/stat : 8201 (java) S 8189 8192 3593 0 -1 4202560 500 0 0 0 301 12 0 0 20 0 22 0 108324348 10060525568 921578 33554432000 1073741824 1073778376 140736274078640 140465031325992 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8192/tid=8202] ppid=8189 vsize=9824732 CPUtime=3.83 cores=0,2,4,6
/proc/8192/task/8202/stat : 8202 (java) S 8189 8192 3593 0 -1 4202560 618 0 0 0 368 15 0 0 20 0 22 0 108324348 10060525568 921578 33554432000 1073741824 1073778376 140736274078640 140465030273192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8192/tid=8203] ppid=8189 vsize=9824732 CPUtime=4.46 cores=0,2,4,6
/proc/8192/task/8203/stat : 8203 (java) S 8189 8192 3593 0 -1 4202560 2285 0 0 0 437 9 0 0 20 0 22 0 108324349 10060525568 921578 33554432000 1073741824 1073778376 140736274078640 140464899447784 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8192/tid=8204] ppid=8189 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8204/stat : 8204 (java) S 8189 8192 3593 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 108324349 10060525568 921578 33554432000 1073741824 1073778376 140736274078640 140464898393848 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8192/tid=8205] ppid=8189 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8205/stat : 8205 (java) S 8189 8192 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 108324349 10060525568 921578 33554432000 1073741824 1073778376 140736274078640 140464897340936 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8192/tid=8206] ppid=8189 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8206/stat : 8206 (java) S 8189 8192 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108324352 10060525568 921578 33554432000 1073741824 1073778376 140736274078640 140464896289424 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8192/tid=8207] ppid=8189 vsize=9824732 CPUtime=2.79 cores=0,2,4,6
/proc/8192/task/8207/stat : 8207 (java) S 8189 8192 3593 0 -1 4202560 19229 0 0 0 277 2 0 0 20 0 22 0 108324352 10060525568 921578 33554432000 1073741824 1073778376 140736274078640 140464895236536 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8192/tid=8208] ppid=8189 vsize=9824732 CPUtime=2.25 cores=0,2,4,6
/proc/8192/task/8208/stat : 8208 (java) S 8189 8192 3593 0 -1 4202560 13825 0 0 0 222 3 0 0 20 0 22 0 108324352 10060525568 921578 33554432000 1073741824 1073778376 140736274078640 140464894183736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8192/tid=8209] ppid=8189 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8209/stat : 8209 (java) S 8189 8192 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108324352 10060525568 921578 33554432000 1073741824 1073778376 140736274078640 140464019728760 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8192/tid=8210] ppid=8189 vsize=9824732 CPUtime=0.28 cores=0,2,4,6
/proc/8192/task/8210/stat : 8210 (java) S 8189 8192 3593 0 -1 4202560 53 0 0 0 13 15 0 0 20 0 22 0 108324352 10060525568 921578 33554432000 1073741824 1073778376 140736274078640 140464018676168 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 1 0 0
[pid=8192/tid=8211] ppid=8189 vsize=9824732 CPUtime=877.92 cores=0,2,4,6
/proc/8192/task/8211/stat : 8211 (java) R 8189 8192 3593 0 -1 4202560 90 0 0 0 87777 15 0 0 20 0 22 0 108324512 10060525568 921578 33554432000 1073741824 1073778376 140736274078640 140464017622160 140464910721367 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8192/tid=8212] ppid=8189 vsize=9824732 CPUtime=879.23 cores=0,2,4,6
/proc/8192/task/8212/stat : 8212 (java) R 8189 8192 3593 0 -1 4202560 1748 0 0 0 87878 45 0 0 20 0 22 0 108324512 10060525568 921578 33554432000 1073741824 1073778376 140736274078640 140464016568256 140464910601466 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8192/tid=8213] ppid=8189 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8213/stat : 8213 (java) S 8189 8192 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 108324520 10060525568 921578 33554432000 1073741824 1073778376 140736274078640 140464015517096 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8192/tid=8214] ppid=8189 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8192/task/8214/stat : 8214 (java) S 8189 8192 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 108324520 10060525568 921578 33554432000 1073741824 1073778376 140736274078640 140464014464296 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.57
Current children cumulated vsize (KiB) 9824732

[startup+897.234 s]
/proc/loadavg: 4.15 3.98 4.04 24/217 8651
/proc/meminfo: memFree=23390972/32872528 swapFree=16080/1655368
[pid=8192] ppid=8189 vsize=0 CPUtime=1796.46 cores=0,2,4,6
/proc/8192/stat : 8192 (java) Z 8189 8192 3593 0 -1 4203532 45921 0 1 0 179418 228 0 0 20 0 2 0 108324346 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8192/statm: 0 0 0 0 0 0 0
[pid=8192/tid=8208] ppid=8189 vsize=0 CPUtime=2.28 cores=0,2,4,6
/proc/8192/task/8208/stat : 8208 (java) R 8189 8192 3593 0 -1 4203588 13826 0 0 0 225 3 0 0 20 0 2 0 108324352 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1796.46
Current children cumulated vsize (KiB) 0
#
############


Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 8192 sig 9
??? kill -8192 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+897.234 s]
/proc/loadavg: 4.15 3.98 4.04 24/217 8651
/proc/meminfo: memFree=23390972/32872528 swapFree=16080/1655368
[pid=8192] ppid=8189 vsize=0 CPUtime=1796.46 cores=0,2,4,6
/proc/8192/stat : 8192 (java) Z 8189 8192 3593 0 -1 4203532 45921 0 1 0 179418 228 0 0 20 0 2 0 108324346 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8192/statm: 0 0 0 0 0 0 0
[pid=8192/tid=8208] ppid=8189 vsize=0 CPUtime=2.28 cores=0,2,4,6
/proc/8192/task/8208/stat : 8208 (java) R 8189 8192 3593 0 -1 4203588 13826 0 0 0 225 3 0 0 20 0 2 0 108324352 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1796.46
Current children cumulated vsize (KiB) 0

Child status: 143

# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 4.10999
#  lost CPU user time (s): 4.57996
#  lost CPU system time (s): -0.47

Real time (s): 897.25
CPU time (s): 1800.6
CPU user time (s): 1798.77
CPU system time (s): 1.83365
CPU usage (%): 200.68
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.19
system time used= 2.30365
maximum resident set size= 3686428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45921
page faults= 1
swaps= 0
block input operations= 0
block output operations= 960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22448
involuntary context switches= 28062

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.64129 second user time and 6.37303 second system time

The end

Launcher Data 

Begin job on node122 at 2016-06-07 03:45:08
IDJOB=4080455
IDBENCH=73968
IDSOLVER=2543
FILE ID=node122/4080455-1465263908
RUNJOBID= node122-1465253685-3609
PBS_JOBID= 19843267
Free space on /tmp= 71740 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12038_7-unsat.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080455-1465263908/watcher-4080455-1465263908 -o /tmp/evaluation-result-4080455-1465263908/solver-4080455-1465263908 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1465253685-3609 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4080455-1465263908.opb

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

MD5SUM BENCH= dcebcc122dcddcac4192e5e5bf5bd3e3
RANDOM SEED=1531276666

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.898
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:        27539120 kB
Buffers:          118300 kB
Cached:           112700 kB
SwapCached:          860 kB
Active:          2783168 kB
Inactive:         151016 kB
Active(anon):    2704188 kB
Inactive(anon):     1632 kB
Active(file):      78980 kB
Inactive(file):   149384 kB
Unevictable:     1655368 kB
Mlocked:           16080 kB
SwapTotal:      67108856 kB
SwapFree:       67099512 kB
Dirty:              3728 kB
Writeback:             0 kB
AnonPages:       4362160 kB
Mapped:            15508 kB
Shmem:                 0 kB
Slab:             598812 kB
SReclaimable:      42712 kB
SUnreclaim:       556100 kB
KernelStack:        1624 kB
PageTables:        13180 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4510680 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4298752 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= 71732 MiB
End job on node122 at 2016-06-07 04:00:05