Trace number 4115854

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.19 899.87

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size128-round22-6.opb
MD5SUM3097fc69a33e905e49ae9240e81d1058
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4128
Total number of constraints8704
Number of constraints which are clauses7424
Number of constraints which are cardinality constraints (but not clauses)416
Number of constraints which are nor clauses,nor cardinality constraints864
Minimum length of a constraint1
Maximum length of a constraint10
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.05/1.76	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.05/1.76	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/1.76	c See www.sat4j.org for details.
0.05/1.78	c version PB16.v20160501
0.05/1.78	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/1.78	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/1.78	c java.vm.version	19.1-b02
0.05/1.78	c java.vm.vendor	Sun Microsystems Inc.
0.05/1.78	c sun.arch.data.model	64
0.05/1.78	c java.version		1.6.0_24
0.05/1.78	c os.name		Linux
0.05/1.78	c os.version		2.6.32-71.29.1.el6.x86_64
0.05/1.78	c os.arch		amd64
0.05/1.78	c Free memory 		501472288
0.05/1.78	c Max memory 		7480803328
0.05/1.78	c Total memory 		504102912
0.05/1.78	c Number of processors 	8
0.10/1.87	c Pseudo Boolean Optimization by upper bound
0.10/1.87	c ManyCore solver with 2 solvers running in parallel
0.10/1.87	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.10/1.87	c --- Begin Solver configuration ---
0.10/1.87	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.10/1.87	c Learn all clauses as in MiniSAT
0.10/1.87	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/1.87	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/1.87	c Expensive reason simplification
0.10/1.87	c Glucose 2.1 dynamic restart strategy
0.10/1.87	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/1.87	c timeout=2147483s
0.10/1.87	c DB Simplification allowed=false
0.10/1.87	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.10/1.87	c --- End Solver configuration ---
0.10/1.87	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.10/1.87	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/1.87	c --- Begin Solver configuration ---
0.10/1.87	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.10/1.87	c Learn all clauses as in MiniSAT
0.10/1.87	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/1.87	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/1.87	c No reason simplification
0.10/1.87	c Armin Biere (Picosat) restarts strategy
0.10/1.87	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/1.87	c timeout=2147483s
0.10/1.87	c DB Simplification allowed=false
0.10/1.87	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.10/1.87	c --- End Solver configuration ---
0.10/1.87	c solving HOME/instance-4115854-1466939767.opb
0.10/1.87	c reading problem ... 
0.10/1.89	c  no objective function found
0.83/2.27	c ... done. Wall clock time 0.4s.
0.83/2.27	c declared #vars     4128
0.83/2.27	c #constraints  9984
1.10/2.32	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
1.10/2.32	c constraints type 
1.10/2.32	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6726
1.10/2.32	c org.sat4j.specs.Constr$1 => 904
1.10/2.32	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 128
1.10/2.32	c org.sat4j.minisat.constraints.cnf.UnitClause => 504
1.10/2.32	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1722
1.10/2.32	c 9984 constraints processed.
1.10/2.32	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
1.10/2.32	c constraints type 
1.10/2.32	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 128
1.10/2.32	c org.sat4j.specs.Constr$1 => 904
1.10/2.32	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6726
1.10/2.32	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1722
1.10/2.32	c org.sat4j.pb.constraints.pb.UnitClausePB => 504
1.10/2.32	c 9984 constraints processed.
4.53/3.27	c cleaning 2500 clauses out of 4999 with flag 15664/5000
6.30/3.91	c cleaning 4244 clauses out of 8499 with flag 37283/11001
8.03/4.77	c cleaning 5625 clauses out of 11254 with flag 64626/18000
9.85/5.66	c cleaning 6809 clauses out of 13631 with flag 98720/26002
12.13/6.71	c cleaning 7880 clauses out of 15822 with flag 140209/35002
14.59/7.92	c cleaning 8966 clauses out of 17940 with flag 188599/45000
17.18/9.23	c cleaning 9977 clauses out of 19975 with flag 246144/56001
20.28/10.79	c cleaning 10980 clauses out of 21997 with flag 310438/68000
23.88/12.53	c cleaning 11978 clauses out of 24017 with flag 380411/81000
27.77/14.47	c cleaning 13004 clauses out of 26039 with flag 456081/95000
31.75/16.50	c cleaning 14007 clauses out of 28036 with flag 540662/110001
36.15/18.69	c cleaning 15006 clauses out of 30028 with flag 631275/126000
39.49/20.29	c cleaning 0 clauses out of 5001 with flag 0/5001
41.37/21.13	c cleaning 16002 clauses out of 32022 with flag 728735/143000
46.77/23.70	c cleaning 16989 clauses out of 34020 with flag 832968/161000
52.52/26.55	c cleaning 17985 clauses out of 36031 with flag 945599/180000
58.51/29.56	c cleaning 18984 clauses out of 38047 with flag 1063958/200001
65.12/32.89	c cleaning 20026 clauses out of 40062 with flag 1186837/221000
72.50/36.46	c cleaning 21009 clauses out of 42036 with flag 1317163/243000
80.08/40.20	c cleaning 22009 clauses out of 44027 with flag 1456517/266000
88.13/44.25	c cleaning 23004 clauses out of 46018 with flag 1600348/290000
96.33/48.36	c cleaning 23977 clauses out of 48014 with flag 1750748/315000
105.07/52.67	c cleaning 24979 clauses out of 50037 with flag 1909373/341000
113.67/56.99	c cleaning 25994 clauses out of 52058 with flag 2077273/368000
123.87/62.03	c cleaning 27027 clauses out of 54064 with flag 2250460/396000
134.57/67.32	c cleaning 27989 clauses out of 56038 with flag 2431857/425001
146.06/73.00	c cleaning 29023 clauses out of 58048 with flag 2619363/455000
157.86/78.94	c cleaning 29971 clauses out of 60026 with flag 2809568/486001
170.80/85.32	c cleaning 31006 clauses out of 62054 with flag 3006393/518000
184.14/91.97	c cleaning 32023 clauses out of 64048 with flag 3213158/551000
198.53/99.44	c cleaning 32986 clauses out of 66025 with flag 3425048/585000
213.19/106.78	c cleaning 33987 clauses out of 68039 with flag 3643636/620000
228.64/114.49	c cleaning 35002 clauses out of 70052 with flag 3869982/656000
244.53/122.33	c cleaning 35966 clauses out of 72051 with flag 4100576/693001
261.02/130.52	c cleaning 37015 clauses out of 74085 with flag 4341386/731001
278.83/139.33	c cleaning 38018 clauses out of 76069 with flag 4584411/770000
296.52/148.14	c cleaning 39006 clauses out of 78051 with flag 4832128/810000
315.45/157.52	c cleaning 40008 clauses out of 80045 with flag 5087616/851000
329.24/164.46	c cleaning 0 clauses out of 11000 with flag 0/11000
334.57/167.06	c cleaning 40978 clauses out of 82037 with flag 5353190/893000
354.71/177.04	c cleaning 41988 clauses out of 84061 with flag 5625215/936002
375.09/187.18	c cleaning 43012 clauses out of 86072 with flag 5903440/980001
393.47/196.33	c cleaning 44011 clauses out of 88059 with flag 6187252/1025000
412.07/205.67	c cleaning 44997 clauses out of 90048 with flag 6481202/1071000
431.67/215.46	c cleaning 46016 clauses out of 92051 with flag 6776935/1118000
452.47/225.87	c cleaning 47016 clauses out of 94035 with flag 7080697/1166000
474.30/236.65	c cleaning 47997 clauses out of 96019 with flag 7390932/1215000
496.48/247.72	c cleaning 48999 clauses out of 98023 with flag 7703192/1265001
518.49/258.74	c cleaning 49989 clauses out of 100023 with flag 8027080/1316000
542.08/270.52	c cleaning 50992 clauses out of 102035 with flag 8357816/1368001
565.88/282.49	c cleaning 52004 clauses out of 104043 with flag 8688799/1421001
591.28/295.13	c cleaning 53003 clauses out of 106038 with flag 9033299/1475000
617.10/308.01	c cleaning 53963 clauses out of 108035 with flag 9382880/1530000
643.69/321.32	c cleaning 55019 clauses out of 110072 with flag 9738035/1586000
671.48/335.21	c cleaning 56001 clauses out of 112055 with flag 10101929/1643002
700.08/349.51	c cleaning 57020 clauses out of 114052 with flag 10468820/1701000
729.68/364.32	c cleaning 57990 clauses out of 116033 with flag 10846949/1760001
759.88/379.44	c cleaning 59009 clauses out of 118043 with flag 11226622/1820001
792.52/396.11	c cleaning 59965 clauses out of 120033 with flag 11608454/1881000
824.12/411.93	c cleaning 61009 clauses out of 122068 with flag 11996931/1943000
855.92/427.83	c cleaning 62014 clauses out of 124059 with flag 12389800/2006000
888.72/444.24	c cleaning 62987 clauses out of 126045 with flag 12791435/2070000
922.71/461.24	c cleaning 64006 clauses out of 128058 with flag 13198507/2135000
957.92/478.89	c cleaning 65016 clauses out of 130052 with flag 13614844/2201000
993.52/496.68	c cleaning 65994 clauses out of 132036 with flag 14036014/2268000
1030.92/515.30	c cleaning 66990 clauses out of 134042 with flag 14465793/2336000
1068.72/534.26	c cleaning 68012 clauses out of 136053 with flag 14902157/2405001
1107.71/553.70	c cleaning 69012 clauses out of 138040 with flag 15341794/2475000
1147.72/573.76	c cleaning 70008 clauses out of 140029 with flag 15786787/2546001
1189.12/594.50	c cleaning 70988 clauses out of 142020 with flag 16237151/2618000
1231.11/615.49	c cleaning 71978 clauses out of 144032 with flag 16692621/2691000
1274.34/637.03	c cleaning 72985 clauses out of 146056 with flag 17164609/2765002
1318.33/659.01	c cleaning 74017 clauses out of 148069 with flag 17634664/2840000
1363.17/681.30	c cleaning 74975 clauses out of 150052 with flag 18112112/2916000
1408.17/703.88	c cleaning 76035 clauses out of 152078 with flag 18600519/2993001
1454.57/727.01	c cleaning 77014 clauses out of 154043 with flag 19090104/3071001
1502.78/751.19	c cleaning 77979 clauses out of 156028 with flag 19580937/3150000
1551.97/775.72	c cleaning 78995 clauses out of 158049 with flag 20079081/3230000
1601.78/800.62	c cleaning 80013 clauses out of 160056 with flag 20584069/3311002
1653.17/826.37	c cleaning 80962 clauses out of 162041 with flag 21097875/3393000
1705.79/852.63	c cleaning 82005 clauses out of 164080 with flag 21615225/3476001
1759.78/879.60	c cleaning 82994 clauses out of 166074 with flag 22134512/3560000
1800.19/899.81	c >>>>>>>>>> Solver number 0 (0 answers) <<<<<<<<<<<<<<<<<<
1800.19/899.81	c starts		: 31188
1800.19/899.81	c conflicts		: 3626826
1800.19/899.81	c decisions		: 33929583
1800.19/899.81	c propagations		: 488384580
1800.19/899.81	c inspects		: 10897879493
1800.19/899.81	c shortcuts		: 0
1800.19/899.81	c learnt literals	: 2
1800.19/899.81	c learnt binary clauses	: 47
1800.19/899.81	c learnt ternary clauses	: 719
1800.19/899.81	c learnt constraints	: 3626824
1800.19/899.81	c ignored constraints	: 0
1800.19/899.81	c root simplifications	: 0
1800.19/899.81	c removed literals (reason simplification)	: 2820262
1800.19/899.81	c reason swapping (by a shorter reason)	: 0
1800.19/899.81	c Calls to reduceDB	: 80
1800.19/899.81	c Number of update (reduction) of LBD	: 771147
1800.19/899.81	c Imported unit clauses	: 0
1800.19/899.81	c number of reductions to clauses (during analyze)	: 0
1800.19/899.81	c number of learned constraints concerned by reduction	: 0
1800.19/899.81	c number of learning phase by resolution	: 0
1800.19/899.81	c number of learning phase by cutting planes	: 0
1800.19/899.81	c speed (assignments/second)	: 544175.0373547177
1800.19/899.81	c non guided choices	8538
1800.19/899.83	c learnt constraints type 
1800.19/899.83	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 47
1800.19/899.83	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 149859
1800.19/899.83	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.19/899.83	c starts		: 35
1800.19/899.83	c conflicts		: 11354
1800.19/899.83	c decisions		: 53387
1800.19/899.83	c propagations		: 1400589
1800.19/899.83	c inspects		: 188759747
1800.19/899.83	c shortcuts		: 0
1800.19/899.83	c learnt literals	: 0
1800.19/899.83	c learnt binary clauses	: 0
1800.19/899.83	c learnt ternary clauses	: 0
1800.19/899.83	c learnt constraints	: 11353
1800.19/899.83	c ignored constraints	: 0
1800.19/899.83	c root simplifications	: 0
1800.19/899.83	c removed literals (reason simplification)	: 0
1800.19/899.83	c reason swapping (by a shorter reason)	: 0
1800.19/899.83	c Calls to reduceDB	: 2
1800.19/899.83	c Number of update (reduction) of LBD	: 0
1800.19/899.83	c Imported unit clauses	: 0
1800.19/899.83	c number of reductions to clauses (during analyze)	: 0
1800.19/899.83	c number of learned constraints concerned by reduction	: 0
1800.19/899.83	c number of learning phase by resolution	: 0
1800.19/899.83	c number of learning phase by cutting planes	: 0
1800.19/899.83	c speed (assignments/second)	: 1560.5431080299632
1800.19/899.83	c non guided choices	324
1800.19/899.84	c learnt constraints type 
1800.19/899.84	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 6
1800.19/899.84	c org.sat4j.pb.constraints.pb.MaxWatchPb => 11347
1800.19/899.84	s UNKNOWN
1800.19/899.84	c Total wall clock time (in seconds): 897.966

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

pid=20091
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.70 2.03 1.94 4/174 20098
/proc/meminfo: memFree=31303120/32872528 swapFree=681168/738400
[pid=20096] ppid=20091 vsize=24328 CPUtime=0 cores=1,3,5,7
/proc/20096/stat : 20096 (runsolver) D 20091 20096 20053 0 -1 4202560 124 0 0 0 0 0 0 0 20 0 1 0 27016244 24911872 159 33554432000 4194304 4338465 140734274149024 140734274146216 213866147255 0 0 4096 24578 18446744071579943789 0 0 17 3 0 0 0 0 0
/proc/20096/statm: 6082 159 113 36 0 2655 0

[startup+0.100188 s]
/proc/loadavg: 1.70 2.03 1.94 4/174 20098
/proc/meminfo: memFree=31303120/32872528 swapFree=681168/738400
[pid=20096] ppid=20091 vsize=3568 CPUtime=0 cores=1,3,5,7
/proc/20096/stat : 20096 (java) D 20091 20096 20053 0 -1 4202496 173 0 0 0 0 0 0 0 20 0 1 0 27016244 3653632 48 33554432000 1073741824 1073778376 140734565186752 140734565183848 213857173136 0 0 4096 0 18446744071579943789 0 0 17 3 0 0 3 0 0
/proc/20096/statm: 892 48 37 9 0 30 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 3568

[startup+0.200364 s]
/proc/loadavg: 1.70 2.03 1.94 4/174 20098
/proc/meminfo: memFree=31303120/32872528 swapFree=681168/738400
[pid=20096] ppid=20091 vsize=20596 CPUtime=0 cores=1,3,5,7
/proc/20096/stat : 20096 (java) D 20091 20096 20053 0 -1 4202496 534 0 1 0 0 0 0 0 20 0 1 0 27016244 21090304 186 33554432000 1073741824 1073778376 140735356720384 140735356708984 213857173064 0 0 4096 0 18446744071579943789 0 0 17 5 0 0 7 0 0
/proc/20096/statm: 5149 186 143 9 0 71 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 20596

[startup+0.300355 s]
/proc/loadavg: 1.70 2.03 1.94 4/174 20098
/proc/meminfo: memFree=31303120/32872528 swapFree=681168/738400
[pid=20096] ppid=20091 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/20096/stat : 20096 (java) D 20091 20096 20053 0 -1 4202496 570 0 3 0 0 0 0 0 20 0 1 0 27016244 23793664 222 33554432000 1073741824 1073778376 140735356720384 140735356710376 213857122881 0 0 4096 0 18446744071579943789 0 0 17 5 0 0 19 0 0
/proc/20096/statm: 5809 222 175 9 0 128 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23236

[startup+0.700286 s]
/proc/loadavg: 1.70 2.03 1.94 4/174 20098
/proc/meminfo: memFree=31303120/32872528 swapFree=681168/738400
[pid=20096] ppid=20091 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/20096/stat : 20096 (java) D 20091 20096 20053 0 -1 4202496 1142 0 14 0 0 0 0 0 20 0 1 0 27016244 23793664 805 33554432000 1073741824 1073778376 140735356720384 140735356710376 140002912731920 0 0 4096 0 18446744071579943789 0 0 17 5 0 0 58 0 0
/proc/20096/statm: 5809 805 599 9 0 128 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23236

[startup+1.50058 s]
/proc/loadavg: 1.70 2.03 1.94 2/194 20118
/proc/meminfo: memFree=31277772/32872528 swapFree=681168/738400
[pid=20096] ppid=20091 vsize=9225560 CPUtime=0.03 cores=1,3,5,7
/proc/20096/stat : 20096 (java) S 20091 20096 20053 0 -1 4202496 3114 0 25 0 2 1 0 0 20 0 13 0 27016244 9446973440 3757 33554432000 1073741824 1073778376 140735356720384 140735356711520 213869690941 0 0 0 16800971 18446744073709551615 0 0 17 5 0 0 68 0 0
/proc/20096/statm: 2306390 3757 1707 9 0 2297091 0
[pid=20096/tid=20101] ppid=20091 vsize=9225560 CPUtime=0.03 cores=1,3,5,7
/proc/20096/task/20101/stat : 20101 (java) D 20091 20096 20053 0 -1 4202560 1872 0 7 0 1 2 0 0 20 0 13 0 27016322 9446973440 3757 33554432000 1073741824 1073778376 140735356720384 140002907080896 213869716749 0 4 0 16800971 18446744071579943789 0 0 -1 7 0 0 55 0 0
[pid=20096/tid=20103] ppid=20091 vsize=9225560 CPUtime=0 cores=1,3,5,7
/proc/20096/task/20103/stat : 20103 (java) S 20091 20096 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 13 0 27016352 9446973440 3757 33554432000 1073741824 1073778376 140735356720384 140002868579368 213869704252 0 4 0 16800971 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20096/tid=20104] ppid=20091 vsize=9225560 CPUtime=0 cores=1,3,5,7
/proc/20096/task/20104/stat : 20104 (java) S 20091 20096 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 13 0 27016352 9446973440 3757 33554432000 1073741824 1073778376 140735356720384 140002867526568 213869704252 0 4 0 16800971 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20096/tid=20105] ppid=20091 vsize=9225560 CPUtime=0 cores=1,3,5,7
/proc/20096/task/20105/stat : 20105 (java) S 20091 20096 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 13 0 27016352 9446973440 3757 33554432000 1073741824 1073778376 140735356720384 140002866473768 213869704252 0 4 0 16800971 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20096/tid=20107] ppid=20091 vsize=9225560 CPUtime=0 cores=1,3,5,7
/proc/20096/task/20107/stat : 20107 (java) S 20091 20096 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 13 0 27016352 9446973440 3757 33554432000 1073741824 1073778376 140735356720384 140002865420968 213869704252 0 4 0 16800971 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20096/tid=20108] ppid=20091 vsize=9225560 CPUtime=0 cores=1,3,5,7
/proc/20096/task/20108/stat : 20108 (java) S 20091 20096 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 13 0 27016352 9446973440 3757 33554432000 1073741824 1073778376 140735356720384 140002864368168 213869704252 0 4 0 16800971 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20096/tid=20109] ppid=20091 vsize=9225560 CPUtime=0 cores=1,3,5,7
/proc/20096/task/20109/stat : 20109 (java) S 20091 20096 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 13 0 27016352 9446973440 3757 33554432000 1073741824 1073778376 140735356720384 140002863315368 213869704252 0 4 0 16800971 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20096/tid=20111] ppid=20091 vsize=9225560 CPUtime=0 cores=1,3,5,7
/proc/20096/task/20111/stat : 20111 (java) S 20091 20096 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 13 0 27016352 9446973440 3757 33554432000 1073741824 1073778376 140735356720384 140002862262568 213869704252 0 4 0 16800971 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20096/tid=20113] ppid=20091 vsize=9225560 CPUtime=0 cores=1,3,5,7
/proc/20096/task/20113/stat : 20113 (java) S 20091 20096 20053 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 13 0 27016352 9446973440 3757 33554432000 1073741824 1073778376 140735356720384 140002861209768 213869704252 0 4 0 16800971 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9225560

[startup+3.10074 s]
/proc/loadavg: 1.72 2.03 1.94 8/210 20134
/proc/meminfo: memFree=31170168/32872528 swapFree=681168/738400
[pid=20096] ppid=20091 vsize=9824732 CPUtime=4.16 cores=1,3,5,7
/proc/20096/stat : 20096 (java) S 20091 20096 20053 0 -1 4202496 24133 0 27 0 408 8 0 0 20 0 22 0 27016244 10060525568 47341 33554432000 1073741824 1073778376 140735356720384 140735356711520 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 68 0 0
/proc/20096/statm: 2456183 47341 2287 9 0 2446860 0
[pid=20096/tid=20101] ppid=20091 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/20096/task/20101/stat : 20101 (java) S 20091 20096 20053 0 -1 4202560 2422 0 7 0 45 3 0 0 20 0 22 0 27016322 10060525568 47341 33554432000 1073741824 1073778376 140735356720384 140002907087736 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 88 0 0
[pid=20096/tid=20103] ppid=20091 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20096/task/20103/stat : 20103 (java) S 20091 20096 20053 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 27016352 10060525568 47341 33554432000 1073741824 1073778376 140735356720384 140002868579368 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20096/tid=20104] ppid=20091 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20096/task/20104/stat : 20104 (java) S 20091 20096 20053 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27016352 10060525568 47341 33554432000 1073741824 1073778376 140735356720384 140002867526568 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20096/tid=20105] ppid=20091 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20096/task/20105/stat : 20105 (java) S 20091 20096 20053 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27016352 10060525568 47341 33554432000 1073741824 1073778376 140735356720384 140002866473768 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20096/tid=20107] ppid=20091 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20096/task/20107/stat : 20107 (java) S 20091 20096 20053 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27016352 10060525568 47341 33554432000 1073741824 1073778376 140735356720384 140002865420968 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20096/tid=20108] ppid=20091 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20096/task/20108/stat : 20108 (java) S 20091 20096 20053 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27016352 10060525568 47341 33554432000 1073741824 1073778376 140735356720384 140002864368168 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20096/tid=20109] ppid=20091 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20096/task/20109/stat : 20109 (java) S 20091 20096 20053 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27016352 10060525568 47341 33554432000 1073741824 1073778376 140735356720384 140002863315368 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20096/tid=20111] ppid=20091 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20096/task/20111/stat : 20111 (java) S 20091 20096 20053 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27016352 10060525568 47341 33554432000 1073741824 1073778376 140735356720384 140002862262568 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20096/tid=20113] ppid=20091 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20096/task/20113/stat : 20113 (java) S 20091 20096 20053 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27016352 10060525568 47341 33554432000 1073741824 1073778376 140735356720384 140002861209768 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20096/tid=20119] ppid=20091 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20096/task/20119/stat : 20119 (java) S 20091 20096 20053 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 27016377 10060525568 47341 33554432000 1073741824 1073778376 140735356720384 140002848799720 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20096/tid=20122] ppid=20091 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20096/task/20122/stat : 20122 (java) S 20091 20096 20053 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27016382 10060525568 47341 33554432000 1073741824 1073778376 140735356720384 140002730174200 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20096/tid=20124] ppid=20091 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20096/task/20124/stat : 20124 (java) D 20091 20096 20053 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27016382 10060525568 47341 33554432000 1073741824 1073778376 140735356720384 140002729119072 213869716749 0 4 0 16800975 18446744071579943789 0 0 -1 3 0 0 0 0 0
[pid=20096/tid=20125] ppid=20091 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20096/task/20125/stat : 20125 (java) S 20091 20096 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27016404 10060525568 47341 33554432000 1073741824 1073778376 140735356720384 140002728069776 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20096/tid=20126] ppid=20091 vsize=9824732 CPUtime=1.04 cores=1,3,5,7
/proc/20096/task/20126/stat : 20126 (java) R 20091 20096 20053 0 -1 4202560 10531 0 1 0 102 2 0 0 20 0 22 0 27016404 10060525568 47341 33554432000 1073741824 1073778376 140735356720384 140002727002760 213869715893 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0
[pid=20096/tid=20127] ppid=20091 vsize=9824732 CPUtime=1.03 cores=1,3,5,7
/proc/20096/task/20127/stat : 20127 (java) R 20091 20096 20053 0 -1 4202560 9731 0 1 0 102 1 0 0 20 0 22 0 27016404 10060525568 47341 33554432000 1073741824 1073778376 140735356720384 140002725941336 140002913111376 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0
[pid=20096/tid=20129] ppid=20091 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20096/task/20129/stat : 20129 (java) S 20091 20096 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27016404 10060525568 47341 33554432000 1073741824 1073778376 140735356720384 140002724911480 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20096/tid=20131] ppid=20091 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20096/task/20131/stat : 20131 (java) S 20091 20096 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27016404 10060525568 47341 33554432000 1073741824 1073778376 140735356720384 140002723858888 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.16
Current children cumulated vsize (KiB) 9824732

[startup+6.30097 s]
/proc/loadavg: 1.72 2.03 1.94 6/218 20142
/proc/meminfo: memFree=30516696/32872528 swapFree=681168/738400
[pid=20096] ppid=20091 vsize=9824732 CPUtime=11.31 cores=1,3,5,7
/proc/20096/stat : 20096 (java) S 20091 20096 20053 0 -1 4202496 25199 0 27 0 1110 21 0 0 20 0 22 0 27016244 10060525568 153395 33554432000 1073741824 1073778376 140735356720384 140735356711520 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 68 0 0
/proc/20096/statm: 2456183 153395 2292 9 0 2446860 0
[pid=20096/tid=20101] ppid=20091 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/20096/task/20101/stat : 20101 (java) S 20091 20096 20053 0 -1 4202560 2422 0 7 0 45 3 0 0 20 0 22 0 27016322 10060525568 153395 33554432000 1073741824 1073778376 140735356720384 140002907087736 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 88 0 0
[pid=20096/tid=20103] ppid=20091 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/20096/task/20103/stat : 20103 (java) S 20091 20096 20053 0 -1 4202560 25 0 0 0 3 0 0 0 20 0 22 0 27016352 10060525568 153395 33554432000 1073741824 1073778376 140735356720384 140002868579368 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20096/tid=20104] ppid=20091 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/20096/task/20104/stat : 20104 (java) S 20091 20096 20053 0 -1 4202560 34 0 0 0 5 0 0 0 20 0 22 0 27016352 10060525568 153395 33554432000 1073741824 1073778376 140735356720384 140002867526568 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20096/tid=20105] ppid=20091 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/20096/task/20105/stat : 20105 (java) S 20091 20096 20053 0 -1 4202560 37 0 0 0 4 2 0 0 20 0 22 0 27016352 10060525568 153395 33554432000 1073741824 1073778376 140735356720384 140002866473768 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20096/tid=20107] ppid=20091 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/20096/task/20107/stat : 20107 (java) S 20091 20096 20053 0 -1 4202560 28 0 0 0 4 1 0 0 20 0 22 0 27016352 10060525568 153395 33554432000 1073741824 1073778376 140735356720384 140002865420968 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20096/tid=20108] ppid=20091 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/20096/task/20108/stat : 20108 (java) S 20091 20096 20053 0 -1 4202560 21 0 0 0 4 0 0 0 20 0 22 0 27016352 10060525568 153395 33554432000 1073741824 1073778376 140735356720384 140002864368168 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20096/tid=20109] ppid=20091 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/20096/task/20109/stat : 20109 (java) S 20091 20096 20053 0 -1 4202560 45 0 0 0 5 1 0 0 20 0 22 0 27016352 10060525568 153395 33554432000 1073741824 1073778376 140735356720384 140002863315368 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20096/tid=20111] ppid=20091 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/20096/task/20111/stat : 20111 (java) S 20091 20096 20053 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 22 0 27016352 10060525568 153395 33554432000 1073741824 1073778376 140735356720384 140002862262568 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20096/tid=20113] ppid=20091 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/20096/task/20113/stat : 20113 (java) S 20091 20096 20053 0 -1 4202560 29 0 0 0 4 0 0 0 20 0 22 0 27016352 10060525568 153395 33554432000 1073741824 1073778376 140735356720384 140002861209768 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20096/tid=20119] ppid=20091 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20096/task/20119/stat : 20119 (java) S 20091 20096 20053 0 -1 4202560 458 0 0 0 0 0 0 0 20 0 22 0 27016377 10060525568 153395 33554432000 1073741824 1073778376 140735356720384 140002848799720 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20096/tid=20122] ppid=20091 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20096/task/20122/stat : 20122 (java) S 20091 20096 20053 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27016382 10060525568 153395 33554432000 1073741824 1073778376 140735356720384 140002730174200 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20096/tid=20124] ppid=20091 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20096/task/20124/stat : 20124 (java) S 20091 20096 20053 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27016382 10060525568 153395 33554432000 1073741824 1073778376 140735356720384 140002729121288 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20096/tid=20125] ppid=20091 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20096/task/20125/stat : 20125 (java) S 20091 20096 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27016404 10060525568 153395 33554432000 1073741824 1073778376 140735356720384 140002728069776 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20096/tid=20126] ppid=20091 vsize=9824732 CPUtime=1.33 cores=1,3,5,7
/proc/20096/task/20126/stat : 20126 (java) S 20091 20096 20053 0 -1 4202560 10693 0 1 0 131 2 0 0 20 0 22 0 27016404 10060525568 153395 33554432000 1073741824 1073778376 140735356720384 140002727016888 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 3 0 0
[pid=20096/tid=20127] ppid=20091 vsize=9824732 CPUtime=1.35 cores=1,3,5,7
/proc/20096/task/20127/stat : 20127 (java) S 20091 20096 20053 0 -1 4202560 9871 0 1 0 133 2 0 0 20 0 22 0 27016404 10060525568 153395 33554432000 1073741824 1073778376 140735356720384 140002725964088 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 3 0 0
[pid=20096/tid=20129] ppid=20091 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20096/task/20129/stat : 20129 (java) S 20091 20096 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27016404 10060525568 153395 33554432000 1073741824 1073778376 140735356720384 140002724911480 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20096/tid=20131] ppid=20091 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20096/task/20131/stat : 20131 (java) S 20091 20096 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27016404 10060525568 153395 33554432000 1073741824 1073778376 140735356720384 140002723858888 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20096/tid=20135] ppid=20091 vsize=9824732 CPUtime=3.78 cores=1,3,5,7
/proc/20096/task/20135/stat : 20135 (java) R 20091 20096 20053 0 -1 4202560 25 0 0 0 378 0 0 0 20 0 22 0 27016477 10060525568 153395 33554432000 1073741824 1073778376 140735356720384 140002722804912 140002731005583 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20096/tid=20136] ppid=20091 vsize=9824732 CPUtime=3.8 cores=1,3,5,7
/proc/20096/task/20136/stat : 20136 (java) R 20091 20096 20053 0 -1 4202560 241 0 0 0 373 7 0 0 20 0 22 0 27016477 10060525568 153395 33554432000 1073741824 1073778376 140735356720384 140002721750912 140002730983515 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20096/tid=20141] ppid=20091 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20096/task/20141/stat : 20141 (java) S 20091 20096 20053 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27016478 10060525568 153395 33554432000 1073741824 1073778376 140735356720384 140002720699816 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20096/tid=20142] ppid=20091 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20096/task/20142/stat : 20142 (java) S 20091 20096 20053 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27016478 10060525568 153395 33554432000 1073741824 1073778376 140735356720384 140002719647016 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 11.31
Current children cumulated vsize (KiB) 9824732

[startup+12.701 s]
/proc/loadavg: 2.15 2.11 1.97 7/218 20142
/proc/meminfo: memFree=28992920/32872528 swapFree=681168/738400
[pid=20096] ppid=20091 vsize=9824732 CPUtime=24.28 cores=1,3,5,7
/proc/20096/stat : 20096 (java) S 20091 20096 20053 0 -1 4202496 26701 0 27 0 2390 38 0 0 20 0 22 0 27016244 10060525568 288539 33554432000 1073741824 1073778376 140735356720384 140735356711520 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 68 0 0
/proc/20096/statm: 2456183 288539 2292 9 0 2446860 0
[pid=20096/tid=20101] ppid=20091 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/20096/task/20101/stat : 20101 (java) S 20091 20096 20053 0 -1 4202560 2423 0 7 0 45 3 0 0 20 0 22 0 27016322 10060525568 288539 33554432000 1073741824 1073778376 140735356720384 140002907087736 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 88 0 0
[pid=20096/tid=20103] ppid=20091 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/20096/task/20103/stat : 20103 (java) S 20091 20096 20053 0 -1 4202560 72 0 0 0 5 0 0 0 20 0 22 0 27016352 10060525568 288539 33554432000 1073741824 1073778376 140735356720384 140002868579368 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20096/tid=20104] ppid=20091 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/20096/task/20104/stat : 20104 (java) S 20091 20096 20053 0 -1 4202560 49 0 0 0 6 1 0 0 20 0 22 0 27016352 10060525568 288539 33554432000 1073741824 1073778376 140735356720384 140002867526568 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20096/tid=20105] ppid=20091 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/20096/task/20105/stat : 20105 (java) S 20091 20096 20053 0 -1 4202560 65 0 0 0 6 2 0 0 20 0 22 0 27016352 10060525568 288539 33554432000 1073741824 1073778376 140735356720384 140002866473768 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0

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

[pid=20096/tid=20107] ppid=20091 vsize=9824732 CPUtime=0.8 cores=1,3,5,7
/proc/20096/task/20107/stat : 20107 (java) S 20091 20096 20053 0 -1 4202560 448 0 0 0 69 11 0 0 20 0 22 0 27016352 10060525568 821104 33554432000 1073741824 1073778376 140735356720384 140002865420968 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20096/tid=20108] ppid=20091 vsize=9824732 CPUtime=0.9 cores=1,3,5,7
/proc/20096/task/20108/stat : 20108 (java) S 20091 20096 20053 0 -1 4202560 520 0 0 0 78 12 0 0 20 0 22 0 27016352 10060525568 821104 33554432000 1073741824 1073778376 140735356720384 140002864368168 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20096/tid=20109] ppid=20091 vsize=9824732 CPUtime=0.87 cores=1,3,5,7
/proc/20096/task/20109/stat : 20109 (java) S 20091 20096 20053 0 -1 4202560 489 0 0 0 76 11 0 0 20 0 22 0 27016352 10060525568 821104 33554432000 1073741824 1073778376 140735356720384 140002863315368 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20096/tid=20111] ppid=20091 vsize=9824732 CPUtime=0.9 cores=1,3,5,7
/proc/20096/task/20111/stat : 20111 (java) S 20091 20096 20053 0 -1 4202560 411 0 0 0 79 11 0 0 20 0 22 0 27016352 10060525568 821104 33554432000 1073741824 1073778376 140735356720384 140002862262568 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20096/tid=20113] ppid=20091 vsize=9824732 CPUtime=0.83 cores=1,3,5,7
/proc/20096/task/20113/stat : 20113 (java) S 20091 20096 20053 0 -1 4202560 345 0 0 0 70 13 0 0 20 0 22 0 27016352 10060525568 821104 33554432000 1073741824 1073778376 140735356720384 140002861209768 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20096/tid=20119] ppid=20091 vsize=9824732 CPUtime=1.64 cores=1,3,5,7
/proc/20096/task/20119/stat : 20119 (java) S 20091 20096 20053 0 -1 4202560 2129 0 0 0 161 3 0 0 20 0 22 0 27016377 10060525568 821104 33554432000 1073741824 1073778376 140735356720384 140002848799720 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20096/tid=20122] ppid=20091 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20096/task/20122/stat : 20122 (java) S 20091 20096 20053 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27016382 10060525568 821104 33554432000 1073741824 1073778376 140735356720384 140002730174200 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20096/tid=20124] ppid=20091 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20096/task/20124/stat : 20124 (java) S 20091 20096 20053 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27016382 10060525568 821104 33554432000 1073741824 1073778376 140735356720384 140002729121288 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20096/tid=20125] ppid=20091 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20096/task/20125/stat : 20125 (java) S 20091 20096 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27016404 10060525568 821104 33554432000 1073741824 1073778376 140735356720384 140002728069776 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20096/tid=20126] ppid=20091 vsize=9824732 CPUtime=1.61 cores=1,3,5,7
/proc/20096/task/20126/stat : 20126 (java) S 20091 20096 20053 0 -1 4202560 12736 0 1 0 159 2 0 0 20 0 22 0 27016404 10060525568 821104 33554432000 1073741824 1073778376 140735356720384 140002727016888 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 3 0 0
[pid=20096/tid=20127] ppid=20091 vsize=9824732 CPUtime=1.46 cores=1,3,5,7
/proc/20096/task/20127/stat : 20127 (java) S 20091 20096 20053 0 -1 4202560 9877 0 1 0 144 2 0 0 20 0 22 0 27016404 10060525568 821104 33554432000 1073741824 1073778376 140735356720384 140002725964088 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 3 0 0
[pid=20096/tid=20129] ppid=20091 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20096/task/20129/stat : 20129 (java) S 20091 20096 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27016404 10060525568 821104 33554432000 1073741824 1073778376 140735356720384 140002724911480 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20096/tid=20131] ppid=20091 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/20096/task/20131/stat : 20131 (java) S 20091 20096 20053 0 -1 4202560 47 0 0 0 13 22 0 0 20 0 22 0 27016404 10060525568 821104 33554432000 1073741824 1073778376 140735356720384 140002723858888 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20096/tid=20135] ppid=20091 vsize=9824732 CPUtime=814.23 cores=1,3,5,7
/proc/20096/task/20135/stat : 20135 (java) R 20091 20096 20053 0 -1 4202560 46 0 0 0 81410 13 0 0 20 0 22 0 27016477 10060525568 821104 33554432000 1073741824 1073778376 140735356720384 140002722796144 140002731044806 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20096/tid=20136] ppid=20091 vsize=9824732 CPUtime=814.28 cores=1,3,5,7
/proc/20096/task/20136/stat : 20136 (java) R 20091 20096 20053 0 -1 4202560 2333 0 0 0 81377 51 0 0 20 0 22 0 27016477 10060525568 821104 33554432000 1073741824 1073778376 140735356720384 140002721749824 140002731172384 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20096/tid=20141] ppid=20091 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20096/task/20141/stat : 20141 (java) S 20091 20096 20053 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27016478 10060525568 821104 33554432000 1073741824 1073778376 140735356720384 140002720699816 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20096/tid=20142] ppid=20091 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20096/task/20142/stat : 20142 (java) S 20091 20096 20053 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27016478 10060525568 821104 33554432000 1073741824 1073778376 140735356720384 140002719647016 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1645.17
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.20 4.06 3.31 6/219 20162
/proc/meminfo: memFree=24298960/32872528 swapFree=681168/738400
[pid=20096] ppid=20091 vsize=9824732 CPUtime=1765.19 cores=1,3,5,7
/proc/20096/stat : 20096 (java) S 20091 20096 20053 0 -1 4202496 34334 0 27 0 176357 162 0 0 20 0 22 0 27016244 10060525568 821104 33554432000 1073741824 1073778376 140735356720384 140735356711520 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 68 0 0
/proc/20096/statm: 2456183 821104 2301 9 0 2446860 0
[pid=20096/tid=20101] ppid=20091 vsize=9824732 CPUtime=0.51 cores=1,3,5,7
/proc/20096/task/20101/stat : 20101 (java) S 20091 20096 20053 0 -1 4202560 2427 0 7 0 48 3 0 0 20 0 22 0 27016322 10060525568 821104 33554432000 1073741824 1073778376 140735356720384 140002907087736 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 88 0 0
[pid=20096/tid=20103] ppid=20091 vsize=9824732 CPUtime=0.91 cores=1,3,5,7
/proc/20096/task/20103/stat : 20103 (java) S 20091 20096 20053 0 -1 4202560 505 0 0 0 78 13 0 0 20 0 22 0 27016352 10060525568 821104 33554432000 1073741824 1073778376 140735356720384 140002868579368 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20096/tid=20104] ppid=20091 vsize=9824732 CPUtime=0.88 cores=1,3,5,7
/proc/20096/task/20104/stat : 20104 (java) S 20091 20096 20053 0 -1 4202560 338 0 0 0 77 11 0 0 20 0 22 0 27016352 10060525568 821104 33554432000 1073741824 1073778376 140735356720384 140002867526568 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20096/tid=20105] ppid=20091 vsize=9824732 CPUtime=0.98 cores=1,3,5,7
/proc/20096/task/20105/stat : 20105 (java) S 20091 20096 20053 0 -1 4202560 431 0 0 0 85 13 0 0 20 0 22 0 27016352 10060525568 821104 33554432000 1073741824 1073778376 140735356720384 140002866473768 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20096/tid=20107] ppid=20091 vsize=9824732 CPUtime=0.8 cores=1,3,5,7
/proc/20096/task/20107/stat : 20107 (java) S 20091 20096 20053 0 -1 4202560 448 0 0 0 69 11 0 0 20 0 22 0 27016352 10060525568 821104 33554432000 1073741824 1073778376 140735356720384 140002865420968 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20096/tid=20108] ppid=20091 vsize=9824732 CPUtime=0.9 cores=1,3,5,7
/proc/20096/task/20108/stat : 20108 (java) S 20091 20096 20053 0 -1 4202560 520 0 0 0 78 12 0 0 20 0 22 0 27016352 10060525568 821104 33554432000 1073741824 1073778376 140735356720384 140002864368168 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20096/tid=20109] ppid=20091 vsize=9824732 CPUtime=0.87 cores=1,3,5,7
/proc/20096/task/20109/stat : 20109 (java) S 20091 20096 20053 0 -1 4202560 489 0 0 0 76 11 0 0 20 0 22 0 27016352 10060525568 821104 33554432000 1073741824 1073778376 140735356720384 140002863315368 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20096/tid=20111] ppid=20091 vsize=9824732 CPUtime=0.9 cores=1,3,5,7
/proc/20096/task/20111/stat : 20111 (java) S 20091 20096 20053 0 -1 4202560 411 0 0 0 79 11 0 0 20 0 22 0 27016352 10060525568 821104 33554432000 1073741824 1073778376 140735356720384 140002862262568 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20096/tid=20113] ppid=20091 vsize=9824732 CPUtime=0.83 cores=1,3,5,7
/proc/20096/task/20113/stat : 20113 (java) S 20091 20096 20053 0 -1 4202560 345 0 0 0 70 13 0 0 20 0 22 0 27016352 10060525568 821104 33554432000 1073741824 1073778376 140735356720384 140002861209768 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20096/tid=20119] ppid=20091 vsize=9824732 CPUtime=1.64 cores=1,3,5,7
/proc/20096/task/20119/stat : 20119 (java) S 20091 20096 20053 0 -1 4202560 2129 0 0 0 161 3 0 0 20 0 22 0 27016377 10060525568 821104 33554432000 1073741824 1073778376 140735356720384 140002848799720 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20096/tid=20122] ppid=20091 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20096/task/20122/stat : 20122 (java) S 20091 20096 20053 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27016382 10060525568 821104 33554432000 1073741824 1073778376 140735356720384 140002730174200 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20096/tid=20124] ppid=20091 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20096/task/20124/stat : 20124 (java) S 20091 20096 20053 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27016382 10060525568 821104 33554432000 1073741824 1073778376 140735356720384 140002729121288 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20096/tid=20125] ppid=20091 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20096/task/20125/stat : 20125 (java) S 20091 20096 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27016404 10060525568 821104 33554432000 1073741824 1073778376 140735356720384 140002728069776 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20096/tid=20126] ppid=20091 vsize=9824732 CPUtime=1.61 cores=1,3,5,7
/proc/20096/task/20126/stat : 20126 (java) S 20091 20096 20053 0 -1 4202560 12736 0 1 0 159 2 0 0 20 0 22 0 27016404 10060525568 821104 33554432000 1073741824 1073778376 140735356720384 140002727016888 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 3 0 0
[pid=20096/tid=20127] ppid=20091 vsize=9824732 CPUtime=1.46 cores=1,3,5,7
/proc/20096/task/20127/stat : 20127 (java) S 20091 20096 20053 0 -1 4202560 9877 0 1 0 144 2 0 0 20 0 22 0 27016404 10060525568 821104 33554432000 1073741824 1073778376 140735356720384 140002725964088 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 3 0 0
[pid=20096/tid=20129] ppid=20091 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20096/task/20129/stat : 20129 (java) S 20091 20096 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27016404 10060525568 821104 33554432000 1073741824 1073778376 140735356720384 140002724911480 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20096/tid=20131] ppid=20091 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/20096/task/20131/stat : 20131 (java) S 20091 20096 20053 0 -1 4202560 51 0 0 0 14 24 0 0 20 0 22 0 27016404 10060525568 821104 33554432000 1073741824 1073778376 140735356720384 140002723858888 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20096/tid=20135] ppid=20091 vsize=9824732 CPUtime=874.08 cores=1,3,5,7
/proc/20096/task/20135/stat : 20135 (java) R 20091 20096 20053 0 -1 4202560 46 0 0 0 87394 14 0 0 20 0 22 0 27016477 10060525568 821104 33554432000 1073741824 1073778376 140735356720384 140002722796144 140002730943017 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20096/tid=20136] ppid=20091 vsize=9824732 CPUtime=874.13 cores=1,3,5,7
/proc/20096/task/20136/stat : 20136 (java) R 20091 20096 20053 0 -1 4202560 2333 0 0 0 87361 52 0 0 20 0 22 0 27016477 10060525568 821104 33554432000 1073741824 1073778376 140735356720384 140002721749824 140002731735651 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20096/tid=20141] ppid=20091 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20096/task/20141/stat : 20141 (java) S 20091 20096 20053 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27016478 10060525568 821104 33554432000 1073741824 1073778376 140735356720384 140002720699816 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20096/tid=20142] ppid=20091 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20096/task/20142/stat : 20142 (java) S 20091 20096 20053 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27016478 10060525568 821104 33554432000 1073741824 1073778376 140735356720384 140002719647016 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1765.19
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+899.801 s]
/proc/loadavg: 4.24 4.07 3.33 4/214 20227
/proc/meminfo: memFree=27985000/32872528 swapFree=681168/738400
[pid=20096] ppid=20091 vsize=9824732 CPUtime=1800.19 cores=1,3,5,7
/proc/20096/stat : 20096 (java) S 20091 20096 20053 0 -1 4202496 34336 0 27 0 179856 163 0 0 20 0 22 0 27016244 10060525568 821104 33554432000 1073741824 1073778376 140735356720384 140735356711520 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 68 0 0
/proc/20096/statm: 2456183 821104 2301 9 0 2446860 0
[pid=20096/tid=20101] ppid=20091 vsize=9824732 CPUtime=0.51 cores=1,3,5,7
/proc/20096/task/20101/stat : 20101 (java) S 20091 20096 20053 0 -1 4202560 2427 0 7 0 48 3 0 0 20 0 22 0 27016322 10060525568 821104 33554432000 1073741824 1073778376 140735356720384 140002907087736 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 88 0 0
[pid=20096/tid=20103] ppid=20091 vsize=9824732 CPUtime=0.91 cores=1,3,5,7
/proc/20096/task/20103/stat : 20103 (java) S 20091 20096 20053 0 -1 4202560 505 0 0 0 78 13 0 0 20 0 22 0 27016352 10060525568 821104 33554432000 1073741824 1073778376 140735356720384 140002868579368 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20096/tid=20104] ppid=20091 vsize=9824732 CPUtime=0.88 cores=1,3,5,7
/proc/20096/task/20104/stat : 20104 (java) S 20091 20096 20053 0 -1 4202560 338 0 0 0 77 11 0 0 20 0 22 0 27016352 10060525568 821104 33554432000 1073741824 1073778376 140735356720384 140002867526568 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20096/tid=20105] ppid=20091 vsize=9824732 CPUtime=0.98 cores=1,3,5,7
/proc/20096/task/20105/stat : 20105 (java) S 20091 20096 20053 0 -1 4202560 431 0 0 0 85 13 0 0 20 0 22 0 27016352 10060525568 821104 33554432000 1073741824 1073778376 140735356720384 140002866473768 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20096/tid=20107] ppid=20091 vsize=9824732 CPUtime=0.8 cores=1,3,5,7
/proc/20096/task/20107/stat : 20107 (java) S 20091 20096 20053 0 -1 4202560 448 0 0 0 69 11 0 0 20 0 22 0 27016352 10060525568 821104 33554432000 1073741824 1073778376 140735356720384 140002865420968 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20096/tid=20108] ppid=20091 vsize=9824732 CPUtime=0.9 cores=1,3,5,7
/proc/20096/task/20108/stat : 20108 (java) S 20091 20096 20053 0 -1 4202560 520 0 0 0 78 12 0 0 20 0 22 0 27016352 10060525568 821104 33554432000 1073741824 1073778376 140735356720384 140002864368168 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20096/tid=20109] ppid=20091 vsize=9824732 CPUtime=0.87 cores=1,3,5,7
/proc/20096/task/20109/stat : 20109 (java) S 20091 20096 20053 0 -1 4202560 489 0 0 0 76 11 0 0 20 0 22 0 27016352 10060525568 821104 33554432000 1073741824 1073778376 140735356720384 140002863315368 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20096/tid=20111] ppid=20091 vsize=9824732 CPUtime=0.9 cores=1,3,5,7
/proc/20096/task/20111/stat : 20111 (java) S 20091 20096 20053 0 -1 4202560 411 0 0 0 79 11 0 0 20 0 22 0 27016352 10060525568 821104 33554432000 1073741824 1073778376 140735356720384 140002862262568 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20096/tid=20113] ppid=20091 vsize=9824732 CPUtime=0.83 cores=1,3,5,7
/proc/20096/task/20113/stat : 20113 (java) S 20091 20096 20053 0 -1 4202560 345 0 0 0 70 13 0 0 20 0 22 0 27016352 10060525568 821104 33554432000 1073741824 1073778376 140735356720384 140002861209768 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20096/tid=20119] ppid=20091 vsize=9824732 CPUtime=1.64 cores=1,3,5,7
/proc/20096/task/20119/stat : 20119 (java) S 20091 20096 20053 0 -1 4202560 2129 0 0 0 161 3 0 0 20 0 22 0 27016377 10060525568 821104 33554432000 1073741824 1073778376 140735356720384 140002848799720 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20096/tid=20122] ppid=20091 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20096/task/20122/stat : 20122 (java) S 20091 20096 20053 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27016382 10060525568 821104 33554432000 1073741824 1073778376 140735356720384 140002730174200 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20096/tid=20124] ppid=20091 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20096/task/20124/stat : 20124 (java) S 20091 20096 20053 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27016382 10060525568 821104 33554432000 1073741824 1073778376 140735356720384 140002729121288 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20096/tid=20125] ppid=20091 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20096/task/20125/stat : 20125 (java) S 20091 20096 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27016404 10060525568 821104 33554432000 1073741824 1073778376 140735356720384 140002728069776 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20096/tid=20126] ppid=20091 vsize=9824732 CPUtime=1.61 cores=1,3,5,7
/proc/20096/task/20126/stat : 20126 (java) S 20091 20096 20053 0 -1 4202560 12736 0 1 0 159 2 0 0 20 0 22 0 27016404 10060525568 821104 33554432000 1073741824 1073778376 140735356720384 140002727016888 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 3 0 0
[pid=20096/tid=20127] ppid=20091 vsize=9824732 CPUtime=1.46 cores=1,3,5,7
/proc/20096/task/20127/stat : 20127 (java) S 20091 20096 20053 0 -1 4202560 9877 0 1 0 144 2 0 0 20 0 22 0 27016404 10060525568 821104 33554432000 1073741824 1073778376 140735356720384 140002725964088 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 3 0 0
[pid=20096/tid=20129] ppid=20091 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20096/task/20129/stat : 20129 (java) S 20091 20096 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27016404 10060525568 821104 33554432000 1073741824 1073778376 140735356720384 140002724911480 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20096/tid=20131] ppid=20091 vsize=9824732 CPUtime=0.39 cores=1,3,5,7
/proc/20096/task/20131/stat : 20131 (java) S 20091 20096 20053 0 -1 4202560 53 0 0 0 14 25 0 0 20 0 22 0 27016404 10060525568 821104 33554432000 1073741824 1073778376 140735356720384 140002723858888 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20096/tid=20135] ppid=20091 vsize=9824732 CPUtime=891.53 cores=1,3,5,7
/proc/20096/task/20135/stat : 20135 (java) R 20091 20096 20053 0 -1 4202560 46 0 0 0 89139 14 0 0 20 0 22 0 27016477 10060525568 821104 33554432000 1073741824 1073778376 140735356720384 140002722796144 140002731005583 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20096/tid=20136] ppid=20091 vsize=9824732 CPUtime=891.59 cores=1,3,5,7
/proc/20096/task/20136/stat : 20136 (java) R 20091 20096 20053 0 -1 4202560 2333 0 0 0 89106 53 0 0 20 0 22 0 27016477 10060525568 821104 33554432000 1073741824 1073778376 140735356720384 140002721749824 140002731172384 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20096/tid=20141] ppid=20091 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20096/task/20141/stat : 20141 (java) S 20091 20096 20053 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27016478 10060525568 821104 33554432000 1073741824 1073778376 140735356720384 140002720699816 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20096/tid=20142] ppid=20091 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20096/task/20142/stat : 20142 (java) S 20091 20096 20053 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27016478 10060525568 821104 33554432000 1073741824 1073778376 140735356720384 140002719647016 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
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 20096 sig 9
??? kill -20096 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 20096 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=69260
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=142674
# CPU time returned by wait4() is 1796.21
# while last known CPU time is 1800.19
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 899.87
CPU time (s): 1800.19
CPU user time (s): 1798.56
CPU system time (s): 1.63
CPU usage (%): 200.05
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.07
system time used= 2.14267
maximum resident set size= 3303012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34371
page faults= 27
swaps= 0
block input operations= 14880
block output operations= 680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22404
involuntary context switches= 10408

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.69313 second user time and 7.83681 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-26 13:16:07
IDJOB=4115854
IDBENCH=109397
IDSOLVER=2543
FILE ID=node112/4115854-1466939767
RUNJOBID= node112-1466939767-20070
PBS_JOBID= 19976335
Free space on /tmp= 71688 MiB

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

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

MD5SUM BENCH= 3097fc69a33e905e49ae9240e81d1058
RANDOM SEED=1196858658

node112.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.959
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.91
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.959
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.959
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		: 2666.959
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.56
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.959
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.959
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.56
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.959
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.959
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:        31305696 kB
Buffers:            2624 kB
Cached:           125508 kB
SwapCached:         1712 kB
Active:            10544 kB
Inactive:         121428 kB
Active(anon):       3564 kB
Inactive(anon):     2516 kB
Active(file):       6980 kB
Inactive(file):   118912 kB
Unevictable:      738400 kB
Mlocked:          681168 kB
SwapTotal:      67108856 kB
SwapFree:       67098632 kB
Dirty:              2448 kB
Writeback:             0 kB
AnonPages:        740612 kB
Mapped:             6772 kB
Shmem:                 0 kB
Slab:             564388 kB
SReclaimable:       8256 kB
SUnreclaim:       556132 kB
KernelStack:        1368 kB
PageTables:         5684 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     835388 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     57344 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= 71688 MiB
End job on node112 at 2016-06-26 13:31:07