Trace number 4080560

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.71 894.671

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K83.opb
MD5SUM87eecd69bf3cf4e36ad8fc8a9d8af53d
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 variables5644
Total number of constraints5812
Number of constraints which are clauses5729
Number of constraints which are cardinality constraints (but not clauses)83
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint83
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 84
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4080560-1465278257.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  no objective function found
0.79/0.44	c ... done. Wall clock time 0.322s.
0.79/0.44	c declared #vars     5644
0.79/0.44	c #constraints  5812
0.79/0.44	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.79/0.44	c constraints type 
0.79/0.45	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4661
0.79/0.45	c org.sat4j.minisat.constraints.card.MinWatchCard => 83
0.79/0.45	c org.sat4j.minisat.constraints.cnf.UnitClause => 2
0.79/0.45	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1066
0.79/0.45	c 5812 constraints processed.
0.79/0.45	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.79/0.45	c constraints type 
0.79/0.45	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1066
0.79/0.45	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4661
0.79/0.45	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 83
0.79/0.45	c org.sat4j.pb.constraints.pb.UnitClausePB => 2
0.79/0.45	c 5812 constraints processed.
5.71/1.93	c cleaning 2494 clauses out of 4992 with flag 25503/5002
9.12/3.22	c cleaning 4235 clauses out of 8489 with flag 62818/11000
12.28/4.71	c cleaning 5590 clauses out of 11252 with flag 110083/18000
16.05/6.58	c cleaning 6812 clauses out of 13657 with flag 164705/26002
20.38/8.70	c cleaning 7883 clauses out of 15837 with flag 225634/35000
25.54/11.15	c cleaning 8915 clauses out of 17950 with flag 286543/45001
31.20/13.97	c cleaning 9660 clauses out of 20032 with flag 351126/56000
36.81/16.78	c cleaning 10156 clauses out of 22371 with flag 422529/68000
44.91/20.75	c cleaning 11183 clauses out of 25214 with flag 501238/81000
51.86/24.16	c cleaning 11790 clauses out of 28030 with flag 580937/95000
60.36/28.30	c cleaning 12861 clauses out of 31239 with flag 674683/110001
69.38/32.84	c cleaning 13728 clauses out of 34377 with flag 775011/126000
79.69/37.96	c cleaning 14635 clauses out of 37646 with flag 881027/143002
90.09/43.20	c cleaning 15463 clauses out of 41010 with flag 999328/161003
101.22/48.66	c cleaning 16265 clauses out of 44541 with flag 1122504/180000
113.02/54.54	c cleaning 17266 clauses out of 48275 with flag 1253925/200001
125.96/60.93	c cleaning 18282 clauses out of 52009 with flag 1395664/221001
140.45/68.20	c cleaning 19041 clauses out of 55727 with flag 1549132/243001
154.97/75.38	c cleaning 20105 clauses out of 59683 with flag 1708211/266000
170.37/83.07	c cleaning 20991 clauses out of 63578 with flag 1874800/290000
187.55/91.98	c cleaning 21754 clauses out of 67587 with flag 2053190/315000
205.00/100.61	c cleaning 22629 clauses out of 71831 with flag 2239739/341000
223.07/109.69	c cleaning 23663 clauses out of 76202 with flag 2439996/368000
242.40/119.29	c cleaning 24667 clauses out of 80540 with flag 2645609/396001
261.55/128.79	c cleaning 25260 clauses out of 84871 with flag 2862194/425000
283.10/139.40	c cleaning 26259 clauses out of 89611 with flag 3084972/455001
304.90/150.40	c cleaning 27321 clauses out of 94351 with flag 3320295/486002
326.40/161.06	c cleaning 28237 clauses out of 99028 with flag 3566131/518000
349.20/172.49	c cleaning 29186 clauses out of 103792 with flag 3846812/551001
350.20/172.98	c cleaning 0 clauses out of 5003 with flag 0/5003
377.00/186.56	c cleaning 30220 clauses out of 108604 with flag 4113644/585000
403.44/199.80	c cleaning 31163 clauses out of 113384 with flag 4395281/620002
433.59/214.74	c cleaning 32165 clauses out of 118218 with flag 4679471/656000
463.55/229.69	c cleaning 33171 clauses out of 123053 with flag 4978129/693001
495.18/245.31	c cleaning 34124 clauses out of 127882 with flag 5292264/731002
528.55/261.98	c cleaning 35288 clauses out of 132757 with flag 5624881/770001
565.02/279.97	c cleaning 36320 clauses out of 137467 with flag 5982298/810000
603.80/299.20	c cleaning 37426 clauses out of 142148 with flag 6347851/851002
644.18/319.08	c cleaning 38268 clauses out of 146720 with flag 6720875/893000
683.85/338.70	c cleaning 38987 clauses out of 151452 with flag 7115191/936001
730.66/361.98	c cleaning 40181 clauses out of 156464 with flag 7518093/980000
773.49/383.23	c cleaning 41061 clauses out of 161283 with flag 7936679/1025001
822.16/408.15	c cleaning 42134 clauses out of 166222 with flag 8391564/1071001
868.39/431.10	c cleaning 43427 clauses out of 171087 with flag 8879862/1118001
915.83/454.78	c cleaning 44517 clauses out of 175660 with flag 9350585/1166001
965.97/479.57	c cleaning 45312 clauses out of 180142 with flag 9833266/1215001
1017.22/504.89	c cleaning 46149 clauses out of 184829 with flag 10335551/1265000
1073.05/532.46	c cleaning 47190 clauses out of 189680 with flag 10863406/1316000
1129.72/560.53	c cleaning 48462 clauses out of 194488 with flag 11436863/1368000
1190.25/590.62	c cleaning 49267 clauses out of 199025 with flag 12109341/1421000
1254.45/622.55	c cleaning 50927 clauses out of 203758 with flag 12846965/1475000
1317.19/653.64	c cleaning 51592 clauses out of 207831 with flag 13535565/1530000
1377.54/683.63	c cleaning 52812 clauses out of 212238 with flag 14158617/1586000
1448.29/719.97	c cleaning 53766 clauses out of 216426 with flag 14803241/1643000
1512.62/751.91	c cleaning 54705 clauses out of 220660 with flag 15430166/1701000
1582.63/786.65	c cleaning 55659 clauses out of 224956 with flag 16114364/1760001
1654.65/822.48	c cleaning 57000 clauses out of 229296 with flag 16885595/1820000
1728.10/858.93	c cleaning 58219 clauses out of 233296 with flag 17704014/1881000
1798.08/893.60	c cleaning 58859 clauses out of 237077 with flag 18430001/1943000
1800.08/894.60	c >>>>>>>>>> Solver number 0 (0 answers) <<<<<<<<<<<<<<<<<<
1800.08/894.60	c starts		: 15427
1800.08/894.60	c conflicts		: 1945536
1800.08/894.60	c decisions		: 23223792
1800.08/894.60	c propagations		: 696740100
1800.08/894.60	c inspects		: 5219322104
1800.08/894.60	c shortcuts		: 0
1800.08/894.60	c learnt literals	: 80
1800.08/894.60	c learnt binary clauses	: 65037
1800.08/894.60	c learnt ternary clauses	: 71376
1800.08/894.60	c learnt constraints	: 1945456
1800.08/894.60	c ignored constraints	: 0
1800.08/894.60	c root simplifications	: 0
1800.08/894.60	c removed literals (reason simplification)	: 40166513
1800.08/894.60	c reason swapping (by a shorter reason)	: 0
1800.08/894.60	c Calls to reduceDB	: 58
1800.08/894.60	c Number of update (reduction) of LBD	: 1682029
1800.08/894.60	c Imported unit clauses	: 0
1800.08/894.60	c number of reductions to clauses (during analyze)	: 0
1800.08/894.60	c number of learned constraints concerned by reduction	: 0
1800.08/894.60	c number of learning phase by resolution	: 0
1800.08/894.60	c number of learning phase by cutting planes	: 0
1800.08/894.60	c speed (assignments/second)	: 779226.7008744685
1800.08/894.60	c non guided choices	3814
1800.08/894.65	c learnt constraints type 
1800.08/894.65	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 65037
1800.08/894.65	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 115717
1800.08/894.65	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.08/894.65	c starts		: 34
1800.08/894.65	c conflicts		: 10196
1800.08/894.65	c decisions		: 76650
1800.08/894.65	c propagations		: 3209719
1800.08/894.65	c inspects		: 830484038
1800.08/894.65	c shortcuts		: 0
1800.08/894.65	c learnt literals	: 0
1800.08/894.65	c learnt binary clauses	: 0
1800.08/894.65	c learnt ternary clauses	: 0
1800.08/894.65	c learnt constraints	: 10195
1800.08/894.65	c ignored constraints	: 0
1800.08/894.65	c root simplifications	: 0
1800.08/894.65	c removed literals (reason simplification)	: 0
1800.08/894.65	c reason swapping (by a shorter reason)	: 0
1800.08/894.65	c Calls to reduceDB	: 1
1800.08/894.65	c Number of update (reduction) of LBD	: 0
1800.08/894.65	c Imported unit clauses	: 0
1800.08/894.65	c number of reductions to clauses (during analyze)	: 0
1800.08/894.65	c number of learned constraints concerned by reduction	: 0
1800.08/894.65	c number of learning phase by resolution	: 0
1800.08/894.65	c number of learning phase by cutting planes	: 0
1800.08/894.65	c speed (assignments/second)	: 3589.51880580457
1800.08/894.65	c non guided choices	1484
1800.08/894.65	c learnt constraints type 
1800.08/894.65	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 202
1800.08/894.65	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 971
1800.08/894.65	c org.sat4j.pb.constraints.pb.MaxWatchPb => 9022
1800.08/894.65	s UNKNOWN
1800.08/894.65	c Total wall clock time (in seconds): 894.531

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

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

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


[startup+0 s]
/proc/loadavg: 4.44 4.17 4.09 4/197 18990
/proc/meminfo: memFree=28328472/32872528 swapFree=9100/9100
[pid=18990] ppid=18987 vsize=3568 CPUtime=0 cores=1,3,5,7
/proc/18990/stat : 18990 (java) R 18987 18990 14331 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 109756828 3653632 47 33554432000 1073741824 1073778376 140735768996592 140735768993720 243756265351 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/18990/statm: 892 49 38 9 0 30 0

[startup+0.100161 s]
/proc/loadavg: 4.44 4.17 4.09 4/197 18990
/proc/meminfo: memFree=28328472/32872528 swapFree=9100/9100
[pid=18990] ppid=18987 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/18990/stat : 18990 (java) S 18987 18990 14331 0 -1 4202496 4427 0 1 0 8 1 0 0 20 0 18 0 109756828 9787879424 6061 33554432000 1073741824 1073778376 140735768996592 140735768987728 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18990/statm: 2389619 6061 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200225 s]
/proc/loadavg: 4.44 4.17 4.09 4/197 18990
/proc/meminfo: memFree=28328472/32872528 swapFree=9100/9100
[pid=18990] ppid=18987 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/18990/stat : 18990 (java) S 18987 18990 14331 0 -1 4202496 6223 0 1 0 25 2 0 0 20 0 18 0 109756828 9787879424 7852 33554432000 1073741824 1073778376 140735768996592 140735768987728 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18990/statm: 2389619 7852 2209 9 0 2380296 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476

[startup+0.300238 s]
/proc/loadavg: 4.44 4.17 4.09 4/197 18990
/proc/meminfo: memFree=28328472/32872528 swapFree=9100/9100
[pid=18990] ppid=18987 vsize=9558476 CPUtime=0.55 cores=1,3,5,7
/proc/18990/stat : 18990 (java) S 18987 18990 14331 0 -1 4202496 7201 0 1 0 53 2 0 0 20 0 18 0 109756828 9787879424 9933 33554432000 1073741824 1073778376 140735768996592 140735768987728 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18990/statm: 2389619 9933 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 9558476

[startup+0.700218 s]
/proc/loadavg: 4.44 4.17 4.09 4/197 18990
/proc/meminfo: memFree=28328472/32872528 swapFree=9100/9100
[pid=18990] ppid=18987 vsize=9824732 CPUtime=1.92 cores=1,3,5,7
/proc/18990/stat : 18990 (java) S 18987 18990 14331 0 -1 4202496 19506 0 1 0 187 5 0 0 20 0 22 0 109756828 10060525568 27906 33554432000 1073741824 1073778376 140735768996592 140735768987728 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18990/statm: 2456183 27906 2257 9 0 2446860 0
Current children cumulated CPU time (s) 1.92
Current children cumulated vsize (KiB) 9824732

[startup+1.50095 s]
/proc/loadavg: 4.44 4.17 4.09 7/219 19012
/proc/meminfo: memFree=28209588/32872528 swapFree=9100/9100
[pid=18990] ppid=18987 vsize=9824732 CPUtime=4.76 cores=1,3,5,7
/proc/18990/stat : 18990 (java) S 18987 18990 14331 0 -1 4202496 24295 0 1 0 469 7 0 0 20 0 22 0 109756828 10060525568 32153 33554432000 1073741824 1073778376 140735768996592 140735768987728 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18990/statm: 2456183 32153 2275 9 0 2446860 0
[pid=18990/tid=18992] ppid=18987 vsize=9824732 CPUtime=0.41 cores=1,3,5,7
/proc/18990/task/18992/stat : 18992 (java) S 18987 18990 14331 0 -1 4202560 2539 0 1 0 40 1 0 0 20 0 22 0 109756829 10060525568 32153 33554432000 1073741824 1073778376 140735768996592 140408383697784 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18990/tid=18993] ppid=18987 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18990/task/18993/stat : 18993 (java) S 18987 18990 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109756830 10060525568 32153 33554432000 1073741824 1073778376 140735768996592 140408322427176 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18990/tid=18994] ppid=18987 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18990/task/18994/stat : 18994 (java) S 18987 18990 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109756830 10060525568 32153 33554432000 1073741824 1073778376 140735768996592 140408321374376 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18990/tid=18995] ppid=18987 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18990/task/18995/stat : 18995 (java) S 18987 18990 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109756830 10060525568 32153 33554432000 1073741824 1073778376 140735768996592 140408224692776 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18990/tid=18996] ppid=18987 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18990/task/18996/stat : 18996 (java) S 18987 18990 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109756830 10060525568 32153 33554432000 1073741824 1073778376 140735768996592 140408223639976 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18990/tid=18997] ppid=18987 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18990/task/18997/stat : 18997 (java) S 18987 18990 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109756830 10060525568 32153 33554432000 1073741824 1073778376 140735768996592 140408222587688 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18990/tid=18998] ppid=18987 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18990/task/18998/stat : 18998 (java) S 18987 18990 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109756830 10060525568 32153 33554432000 1073741824 1073778376 140735768996592 140408221534888 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18990/tid=18999] ppid=18987 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18990/task/18999/stat : 18999 (java) S 18987 18990 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109756830 10060525568 32153 33554432000 1073741824 1073778376 140735768996592 140408220482600 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18990/tid=19000] ppid=18987 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18990/task/19000/stat : 19000 (java) S 18987 18990 14331 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 109756830 10060525568 32153 33554432000 1073741824 1073778376 140735768996592 140408219429800 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18990/tid=19001] ppid=18987 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18990/task/19001/stat : 19001 (java) S 18987 18990 14331 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 109756832 10060525568 32153 33554432000 1073741824 1073778376 140735768996592 140408207231208 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18990/tid=19002] ppid=18987 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18990/task/19002/stat : 19002 (java) S 18987 18990 14331 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 109756832 10060525568 32153 33554432000 1073741824 1073778376 140735768996592 140408206177272 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18990/tid=19003] ppid=18987 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18990/task/19003/stat : 19003 (java) S 18987 18990 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109756832 10060525568 32153 33554432000 1073741824 1073778376 140735768996592 140408205124872 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18990/tid=19004] ppid=18987 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18990/task/19004/stat : 19004 (java) S 18987 18990 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109756834 10060525568 32153 33554432000 1073741824 1073778376 140735768996592 140408204073360 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18990/tid=19005] ppid=18987 vsize=9824732 CPUtime=1.11 cores=1,3,5,7
/proc/18990/task/19005/stat : 19005 (java) S 18987 18990 14331 0 -1 4202560 9039 0 0 0 109 2 0 0 20 0 22 0 109756834 10060525568 32153 33554432000 1073741824 1073778376 140735768996592 140408203020984 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18990/tid=19006] ppid=18987 vsize=9824732 CPUtime=1.11 cores=1,3,5,7
/proc/18990/task/19006/stat : 19006 (java) S 18987 18990 14331 0 -1 4202560 11336 0 0 0 108 3 0 0 20 0 22 0 109756834 10060525568 32153 33554432000 1073741824 1073778376 140735768996592 140408201968184 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18990/tid=19007] ppid=18987 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18990/task/19007/stat : 19007 (java) S 18987 18990 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109756834 10060525568 32153 33554432000 1073741824 1073778376 140735768996592 140408200916088 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18990/tid=19008] ppid=18987 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18990/task/19008/stat : 19008 (java) S 18987 18990 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109756834 10060525568 32153 33554432000 1073741824 1073778376 140735768996592 140408199863496 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18990/tid=19009] ppid=18987 vsize=9824732 CPUtime=1.03 cores=1,3,5,7
/proc/18990/task/19009/stat : 19009 (java) R 18987 18990 14331 0 -1 4202560 34 0 0 0 103 0 0 0 20 0 22 0 109756873 10060525568 32153 33554432000 1073741824 1073778376 140735768996592 140408198807832 140408324264641 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18990/tid=19010] ppid=18987 vsize=9824732 CPUtime=1.03 cores=1,3,5,7
/proc/18990/task/19010/stat : 19010 (java) R 18987 18990 14331 0 -1 4202560 70 0 0 0 103 0 0 0 20 0 22 0 109756873 10060525568 32153 33554432000 1073741824 1073778376 140735768996592 140408197755160 140408324257079 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18990/tid=19011] ppid=18987 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18990/task/19011/stat : 19011 (java) S 18987 18990 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109756874 10060525568 32153 33554432000 1073741824 1073778376 140735768996592 140408195105960 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18990/tid=19012] ppid=18987 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18990/task/19012/stat : 19012 (java) S 18987 18990 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109756874 10060525568 32153 33554432000 1073741824 1073778376 140735768996592 140408194053160 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.76
Current children cumulated vsize (KiB) 9824732

[startup+3.10094 s]
/proc/loadavg: 4.57 4.20 4.10 5/219 19012
/proc/meminfo: memFree=28136900/32872528 swapFree=9100/9100
[pid=18990] ppid=18987 vsize=9824732 CPUtime=8.86 cores=1,3,5,7
/proc/18990/stat : 18990 (java) S 18987 18990 14331 0 -1 4202496 26381 0 1 0 877 9 0 0 20 0 22 0 109756828 10060525568 51209 33554432000 1073741824 1073778376 140735768996592 140735768987728 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18990/statm: 2456183 51209 2292 9 0 2446860 0
[pid=18990/tid=18992] ppid=18987 vsize=9824732 CPUtime=0.41 cores=1,3,5,7
/proc/18990/task/18992/stat : 18992 (java) S 18987 18990 14331 0 -1 4202560 2539 0 1 0 40 1 0 0 20 0 22 0 109756829 10060525568 51209 33554432000 1073741824 1073778376 140735768996592 140408383697784 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18990/tid=18993] ppid=18987 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18990/task/18993/stat : 18993 (java) S 18987 18990 14331 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 109756830 10060525568 51209 33554432000 1073741824 1073778376 140735768996592 140408322427176 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18990/tid=18994] ppid=18987 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18990/task/18994/stat : 18994 (java) S 18987 18990 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109756830 10060525568 51209 33554432000 1073741824 1073778376 140735768996592 140408321374376 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18990/tid=18995] ppid=18987 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18990/task/18995/stat : 18995 (java) S 18987 18990 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109756830 10060525568 51209 33554432000 1073741824 1073778376 140735768996592 140408224692776 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18990/tid=18996] ppid=18987 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18990/task/18996/stat : 18996 (java) S 18987 18990 14331 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 109756830 10060525568 51209 33554432000 1073741824 1073778376 140735768996592 140408223639976 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18990/tid=18997] ppid=18987 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18990/task/18997/stat : 18997 (java) S 18987 18990 14331 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 109756830 10060525568 51209 33554432000 1073741824 1073778376 140735768996592 140408222587688 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18990/tid=18998] ppid=18987 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18990/task/18998/stat : 18998 (java) S 18987 18990 14331 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 109756830 10060525568 51209 33554432000 1073741824 1073778376 140735768996592 140408221534888 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18990/tid=18999] ppid=18987 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18990/task/18999/stat : 18999 (java) S 18987 18990 14331 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 109756830 10060525568 51209 33554432000 1073741824 1073778376 140735768996592 140408220482600 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18990/tid=19000] ppid=18987 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18990/task/19000/stat : 19000 (java) S 18987 18990 14331 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 109756830 10060525568 51209 33554432000 1073741824 1073778376 140735768996592 140408219429800 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18990/tid=19001] ppid=18987 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18990/task/19001/stat : 19001 (java) S 18987 18990 14331 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 109756832 10060525568 51209 33554432000 1073741824 1073778376 140735768996592 140408207231208 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18990/tid=19002] ppid=18987 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18990/task/19002/stat : 19002 (java) S 18987 18990 14331 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 109756832 10060525568 51209 33554432000 1073741824 1073778376 140735768996592 140408206177272 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18990/tid=19003] ppid=18987 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18990/task/19003/stat : 19003 (java) S 18987 18990 14331 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109756832 10060525568 51209 33554432000 1073741824 1073778376 140735768996592 140408205124872 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18990/tid=19004] ppid=18987 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18990/task/19004/stat : 19004 (java) S 18987 18990 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109756834 10060525568 51209 33554432000 1073741824 1073778376 140735768996592 140408204073360 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18990/tid=19005] ppid=18987 vsize=9824732 CPUtime=1.68 cores=1,3,5,7
/proc/18990/task/19005/stat : 19005 (java) S 18987 18990 14331 0 -1 4202560 11041 0 0 0 166 2 0 0 20 0 22 0 109756834 10060525568 51209 33554432000 1073741824 1073778376 140735768996592 140408203020984 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18990/tid=19006] ppid=18987 vsize=9824732 CPUtime=1.42 cores=1,3,5,7
/proc/18990/task/19006/stat : 19006 (java) S 18987 18990 14331 0 -1 4202560 11341 0 0 0 139 3 0 0 20 0 22 0 109756834 10060525568 51209 33554432000 1073741824 1073778376 140735768996592 140408201968184 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18990/tid=19007] ppid=18987 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18990/task/19007/stat : 19007 (java) S 18987 18990 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109756834 10060525568 51209 33554432000 1073741824 1073778376 140735768996592 140408200916088 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18990/tid=19008] ppid=18987 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18990/task/19008/stat : 19008 (java) S 18987 18990 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109756834 10060525568 51209 33554432000 1073741824 1073778376 140735768996592 140408199863496 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18990/tid=19009] ppid=18987 vsize=9824732 CPUtime=2.62 cores=1,3,5,7
/proc/18990/task/19009/stat : 19009 (java) R 18987 18990 14331 0 -1 4202560 37 0 0 0 262 0 0 0 20 0 22 0 109756873 10060525568 51209 33554432000 1073741824 1073778376 140735768996592 140408198807944 140408324085407 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18990/tid=19010] ppid=18987 vsize=9824732 CPUtime=2.62 cores=1,3,5,7
/proc/18990/task/19010/stat : 19010 (java) R 18987 18990 14331 0 -1 4202560 102 0 0 0 261 1 0 0 20 0 22 0 109756873 10060525568 51209 33554432000 1073741824 1073778376 140735768996592 140408197754952 140408324258049 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18990/tid=19011] ppid=18987 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18990/task/19011/stat : 19011 (java) S 18987 18990 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109756874 10060525568 51209 33554432000 1073741824 1073778376 140735768996592 140408195105960 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18990/tid=19012] ppid=18987 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18990/task/19012/stat : 19012 (java) S 18987 18990 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109756874 10060525568 51209 33554432000 1073741824 1073778376 140735768996592 140408194053160 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 8.86
Current children cumulated vsize (KiB) 9824732

[startup+6.30104 s]
/proc/loadavg: 4.57 4.20 4.10 5/219 19012
/proc/meminfo: memFree=27924844/32872528 swapFree=9100/9100
[pid=18990] ppid=18987 vsize=9824732 CPUtime=15.65 cores=1,3,5,7
/proc/18990/stat : 18990 (java) S 18987 18990 14331 0 -1 4202496 27240 0 1 0 1542 23 0 0 20 0 22 0 109756828 10060525568 102148 33554432000 1073741824 1073778376 140735768996592 140735768987728 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18990/statm: 2456183 102148 2292 9 0 2446860 0
[pid=18990/tid=18992] ppid=18987 vsize=9824732 CPUtime=0.41 cores=1,3,5,7
/proc/18990/task/18992/stat : 18992 (java) S 18987 18990 14331 0 -1 4202560 2539 0 1 0 40 1 0 0 20 0 22 0 109756829 10060525568 102148 33554432000 1073741824 1073778376 140735768996592 140408383697784 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18990/tid=18993] ppid=18987 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/18990/task/18993/stat : 18993 (java) S 18987 18990 14331 0 -1 4202560 48 0 0 0 3 2 0 0 20 0 22 0 109756830 10060525568 102148 33554432000 1073741824 1073778376 140735768996592 140408322427176 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18990/tid=18994] ppid=18987 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/18990/task/18994/stat : 18994 (java) S 18987 18990 14331 0 -1 4202560 122 0 0 0 6 2 0 0 20 0 22 0 109756830 10060525568 102148 33554432000 1073741824 1073778376 140735768996592 140408321374376 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18990/tid=18995] ppid=18987 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/18990/task/18995/stat : 18995 (java) S 18987 18990 14331 0 -1 4202560 117 0 0 0 7 2 0 0 20 0 22 0 109756830 10060525568 102148 33554432000 1073741824 1073778376 140735768996592 140408224692776 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18990/tid=18996] ppid=18987 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/18990/task/18996/stat : 18996 (java) S 18987 18990 14331 0 -1 4202560 110 0 0 0 7 2 0 0 20 0 22 0 109756830 10060525568 102148 33554432000 1073741824 1073778376 140735768996592 140408223639976 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18990/tid=18997] ppid=18987 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/18990/task/18997/stat : 18997 (java) S 18987 18990 14331 0 -1 4202560 26 0 0 0 4 1 0 0 20 0 22 0 109756830 10060525568 102148 33554432000 1073741824 1073778376 140735768996592 140408222587688 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18990/tid=18998] ppid=18987 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/18990/task/18998/stat : 18998 (java) S 18987 18990 14331 0 -1 4202560 25 0 0 0 5 1 0 0 20 0 22 0 109756830 10060525568 102148 33554432000 1073741824 1073778376 140735768996592 140408221534888 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18990/tid=18999] ppid=18987 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/18990/task/18999/stat : 18999 (java) S 18987 18990 14331 0 -1 4202560 43 0 0 0 7 3 0 0 20 0 22 0 109756830 10060525568 102148 33554432000 1073741824 1073778376 140735768996592 140408220482600 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18990/tid=19000] ppid=18987 vsize=9824732 CPUtime=0.12 cores=1,3,5,7
/proc/18990/task/19000/stat : 19000 (java) S 18987 18990 14331 0 -1 4202560 161 0 0 0 9 3 0 0 20 0 22 0 109756830 10060525568 102148 33554432000 1073741824 1073778376 140735768996592 140408219429800 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18990/tid=19001] ppid=18987 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18990/task/19001/stat : 19001 (java) S 18987 18990 14331 0 -1 4202560 213 0 0 0 0 0 0 0 20 0 22 0 109756832 10060525568 102148 33554432000 1073741824 1073778376 140735768996592 140408207231208 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18990/tid=19002] ppid=18987 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18990/task/19002/stat : 19002 (java) S 18987 18990 14331 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 109756832 10060525568 102148 33554432000 1073741824 1073778376 140735768996592 140408206177272 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18990/tid=19003] ppid=18987 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18990/task/19003/stat : 19003 (java) S 18987 18990 14331 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109756832 10060525568 102148 33554432000 1073741824 1073778376 140735768996592 140408205124872 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18990/tid=19004] ppid=18987 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18990/task/19004/stat : 19004 (java) S 18987 18990 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109756834 10060525568 102148 33554432000 1073741824 1073778376 140735768996592 140408204073360 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18990/tid=19005] ppid=18987 vsize=9824732 CPUtime=1.75 cores=1,3,5,7

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


[startup+822.301 s]
/proc/loadavg: 3.99 4.02 4.04 6/218 19098
/proc/meminfo: memFree=24578876/32872528 swapFree=9100/9100
[pid=18990] ppid=18987 vsize=9824732 CPUtime=1654.45 cores=1,3,5,7
/proc/18990/stat : 18990 (java) S 18987 18990 14331 0 -1 4202496 37810 0 1 0 165223 222 0 0 20 0 22 0 109756828 10060525568 964772 33554432000 1073741824 1073778376 140735768996592 140735768987728 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18990/statm: 2456183 964772 2301 9 0 2446860 0
[pid=18990/tid=18992] ppid=18987 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/18990/task/18992/stat : 18992 (java) S 18987 18990 14331 0 -1 4202560 2546 0 1 0 42 4 0 0 20 0 22 0 109756829 10060525568 964772 33554432000 1073741824 1073778376 140735768996592 140408383697784 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18990/tid=18993] ppid=18987 vsize=9824732 CPUtime=3.55 cores=1,3,5,7
/proc/18990/task/18993/stat : 18993 (java) S 18987 18990 14331 0 -1 4202560 931 0 0 0 332 23 0 0 20 0 22 0 109756830 10060525568 964772 33554432000 1073741824 1073778376 140735768996592 140408322427176 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18990/tid=18994] ppid=18987 vsize=9824732 CPUtime=3.5 cores=1,3,5,7
/proc/18990/task/18994/stat : 18994 (java) S 18987 18990 14331 0 -1 4202560 1240 0 0 0 332 18 0 0 20 0 22 0 109756830 10060525568 964772 33554432000 1073741824 1073778376 140735768996592 140408321374376 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18990/tid=18995] ppid=18987 vsize=9824732 CPUtime=3.42 cores=1,3,5,7
/proc/18990/task/18995/stat : 18995 (java) S 18987 18990 14331 0 -1 4202560 982 0 0 0 323 19 0 0 20 0 22 0 109756830 10060525568 964772 33554432000 1073741824 1073778376 140735768996592 140408224692776 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18990/tid=18996] ppid=18987 vsize=9824732 CPUtime=2.87 cores=1,3,5,7
/proc/18990/task/18996/stat : 18996 (java) S 18987 18990 14331 0 -1 4202560 804 0 0 0 271 16 0 0 20 0 22 0 109756830 10060525568 964772 33554432000 1073741824 1073778376 140735768996592 140408223639976 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18990/tid=18997] ppid=18987 vsize=9824732 CPUtime=3.39 cores=1,3,5,7
/proc/18990/task/18997/stat : 18997 (java) S 18987 18990 14331 0 -1 4202560 774 0 0 0 320 19 0 0 20 0 22 0 109756830 10060525568 964772 33554432000 1073741824 1073778376 140735768996592 140408222587688 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18990/tid=18998] ppid=18987 vsize=9824732 CPUtime=3.09 cores=1,3,5,7
/proc/18990/task/18998/stat : 18998 (java) S 18987 18990 14331 0 -1 4202560 660 0 0 0 291 18 0 0 20 0 22 0 109756830 10060525568 964772 33554432000 1073741824 1073778376 140735768996592 140408221534888 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18990/tid=18999] ppid=18987 vsize=9824732 CPUtime=3.33 cores=1,3,5,7
/proc/18990/task/18999/stat : 18999 (java) S 18987 18990 14331 0 -1 4202560 855 0 0 0 315 18 0 0 20 0 22 0 109756830 10060525568 964772 33554432000 1073741824 1073778376 140735768996592 140408220482600 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18990/tid=19000] ppid=18987 vsize=9824732 CPUtime=3.47 cores=1,3,5,7
/proc/18990/task/19000/stat : 19000 (java) S 18987 18990 14331 0 -1 4202560 1000 0 0 0 330 17 0 0 20 0 22 0 109756830 10060525568 964772 33554432000 1073741824 1073778376 140735768996592 140408219429800 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18990/tid=19001] ppid=18987 vsize=9824732 CPUtime=5.92 cores=1,3,5,7
/proc/18990/task/19001/stat : 19001 (java) S 18987 18990 14331 0 -1 4202560 2548 0 0 0 583 9 0 0 20 0 22 0 109756832 10060525568 964772 33554432000 1073741824 1073778376 140735768996592 140408207231208 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18990/tid=19002] ppid=18987 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18990/task/19002/stat : 19002 (java) S 18987 18990 14331 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 109756832 10060525568 964772 33554432000 1073741824 1073778376 140735768996592 140408206177272 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18990/tid=19003] ppid=18987 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18990/task/19003/stat : 19003 (java) S 18987 18990 14331 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109756832 10060525568 964772 33554432000 1073741824 1073778376 140735768996592 140408205124872 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18990/tid=19004] ppid=18987 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18990/task/19004/stat : 19004 (java) S 18987 18990 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109756834 10060525568 964772 33554432000 1073741824 1073778376 140735768996592 140408204073360 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18990/tid=19005] ppid=18987 vsize=9824732 CPUtime=1.98 cores=1,3,5,7
/proc/18990/task/19005/stat : 19005 (java) S 18987 18990 14331 0 -1 4202560 11051 0 0 0 196 2 0 0 20 0 22 0 109756834 10060525568 964772 33554432000 1073741824 1073778376 140735768996592 140408203020984 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18990/tid=19006] ppid=18987 vsize=9824732 CPUtime=1.55 cores=1,3,5,7
/proc/18990/task/19006/stat : 19006 (java) S 18987 18990 14331 0 -1 4202560 11342 0 0 0 152 3 0 0 20 0 22 0 109756834 10060525568 964772 33554432000 1073741824 1073778376 140735768996592 140408201968184 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18990/tid=19007] ppid=18987 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18990/task/19007/stat : 19007 (java) S 18987 18990 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109756834 10060525568 964772 33554432000 1073741824 1073778376 140735768996592 140408200916088 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18990/tid=19008] ppid=18987 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/18990/task/19008/stat : 19008 (java) S 18987 18990 14331 0 -1 4202560 47 0 0 0 13 21 0 0 20 0 22 0 109756834 10060525568 964772 33554432000 1073741824 1073778376 140735768996592 140408199863496 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18990/tid=19009] ppid=18987 vsize=9824732 CPUtime=808.9 cores=1,3,5,7
/proc/18990/task/19009/stat : 19009 (java) R 18987 18990 14331 0 -1 4202560 104 0 0 0 80875 15 0 0 20 0 22 0 109756873 10060525568 964772 33554432000 1073741824 1073778376 140735768996592 140408198806816 140408324084935 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18990/tid=19010] ppid=18987 vsize=9824732 CPUtime=808.85 cores=1,3,5,7
/proc/18990/task/19010/stat : 19010 (java) R 18987 18990 14331 0 -1 4202560 1662 0 0 0 80835 50 0 0 20 0 22 0 109756873 10060525568 964772 33554432000 1073741824 1073778376 140735768996592 140408197753152 140408324843475 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18990/tid=19011] ppid=18987 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18990/task/19011/stat : 19011 (java) S 18987 18990 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109756874 10060525568 964772 33554432000 1073741824 1073778376 140735768996592 140408195105960 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18990/tid=19012] ppid=18987 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18990/task/19012/stat : 19012 (java) S 18987 18990 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109756874 10060525568 964772 33554432000 1073741824 1073778376 140735768996592 140408194053160 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1654.45
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 3.99 4.02 4.03 6/219 19101
/proc/meminfo: memFree=24377700/32872528 swapFree=9100/9100
[pid=18990] ppid=18987 vsize=9824732 CPUtime=1775.28 cores=1,3,5,7
/proc/18990/stat : 18990 (java) S 18987 18990 14331 0 -1 4202496 38094 0 1 0 177302 226 0 0 20 0 22 0 109756828 10060525568 971132 33554432000 1073741824 1073778376 140735768996592 140735768987728 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18990/statm: 2456183 971132 2301 9 0 2446860 0
[pid=18990/tid=18992] ppid=18987 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/18990/task/18992/stat : 18992 (java) S 18987 18990 14331 0 -1 4202560 2547 0 1 0 42 4 0 0 20 0 22 0 109756829 10060525568 971132 33554432000 1073741824 1073778376 140735768996592 140408383697784 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18990/tid=18993] ppid=18987 vsize=9824732 CPUtime=3.89 cores=1,3,5,7
/proc/18990/task/18993/stat : 18993 (java) S 18987 18990 14331 0 -1 4202560 1047 0 0 0 366 23 0 0 20 0 22 0 109756830 10060525568 971132 33554432000 1073741824 1073778376 140735768996592 140408322427176 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18990/tid=18994] ppid=18987 vsize=9824732 CPUtime=3.72 cores=1,3,5,7
/proc/18990/task/18994/stat : 18994 (java) S 18987 18990 14331 0 -1 4202560 1243 0 0 0 354 18 0 0 20 0 22 0 109756830 10060525568 971132 33554432000 1073741824 1073778376 140735768996592 140408321374376 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18990/tid=18995] ppid=18987 vsize=9824732 CPUtime=3.64 cores=1,3,5,7
/proc/18990/task/18995/stat : 18995 (java) S 18987 18990 14331 0 -1 4202560 993 0 0 0 344 20 0 0 20 0 22 0 109756830 10060525568 971132 33554432000 1073741824 1073778376 140735768996592 140408224692776 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18990/tid=18996] ppid=18987 vsize=9824732 CPUtime=3.08 cores=1,3,5,7
/proc/18990/task/18996/stat : 18996 (java) S 18987 18990 14331 0 -1 4202560 812 0 0 0 292 16 0 0 20 0 22 0 109756830 10060525568 971132 33554432000 1073741824 1073778376 140735768996592 140408223639976 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18990/tid=18997] ppid=18987 vsize=9824732 CPUtime=3.67 cores=1,3,5,7
/proc/18990/task/18997/stat : 18997 (java) S 18987 18990 14331 0 -1 4202560 881 0 0 0 348 19 0 0 20 0 22 0 109756830 10060525568 971132 33554432000 1073741824 1073778376 140735768996592 140408222587688 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18990/tid=18998] ppid=18987 vsize=9824732 CPUtime=3.21 cores=1,3,5,7
/proc/18990/task/18998/stat : 18998 (java) S 18987 18990 14331 0 -1 4202560 664 0 0 0 303 18 0 0 20 0 22 0 109756830 10060525568 971132 33554432000 1073741824 1073778376 140735768996592 140408221534888 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18990/tid=18999] ppid=18987 vsize=9824732 CPUtime=3.46 cores=1,3,5,7
/proc/18990/task/18999/stat : 18999 (java) S 18987 18990 14331 0 -1 4202560 857 0 0 0 327 19 0 0 20 0 22 0 109756830 10060525568 971132 33554432000 1073741824 1073778376 140735768996592 140408220482600 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18990/tid=19000] ppid=18987 vsize=9824732 CPUtime=3.65 cores=1,3,5,7
/proc/18990/task/19000/stat : 19000 (java) S 18987 18990 14331 0 -1 4202560 1002 0 0 0 348 17 0 0 20 0 22 0 109756830 10060525568 971132 33554432000 1073741824 1073778376 140735768996592 140408219429800 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18990/tid=19001] ppid=18987 vsize=9824732 CPUtime=5.92 cores=1,3,5,7
/proc/18990/task/19001/stat : 19001 (java) S 18987 18990 14331 0 -1 4202560 2568 0 0 0 583 9 0 0 20 0 22 0 109756832 10060525568 971132 33554432000 1073741824 1073778376 140735768996592 140408207231208 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18990/tid=19002] ppid=18987 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18990/task/19002/stat : 19002 (java) S 18987 18990 14331 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 109756832 10060525568 971132 33554432000 1073741824 1073778376 140735768996592 140408206177272 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18990/tid=19003] ppid=18987 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18990/task/19003/stat : 19003 (java) S 18987 18990 14331 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109756832 10060525568 971132 33554432000 1073741824 1073778376 140735768996592 140408205124872 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18990/tid=19004] ppid=18987 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18990/task/19004/stat : 19004 (java) S 18987 18990 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109756834 10060525568 971132 33554432000 1073741824 1073778376 140735768996592 140408204073360 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18990/tid=19005] ppid=18987 vsize=9824732 CPUtime=1.99 cores=1,3,5,7
/proc/18990/task/19005/stat : 19005 (java) S 18987 18990 14331 0 -1 4202560 11052 0 0 0 197 2 0 0 20 0 22 0 109756834 10060525568 971132 33554432000 1073741824 1073778376 140735768996592 140408203020984 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18990/tid=19006] ppid=18987 vsize=9824732 CPUtime=1.55 cores=1,3,5,7
/proc/18990/task/19006/stat : 19006 (java) S 18987 18990 14331 0 -1 4202560 11342 0 0 0 152 3 0 0 20 0 22 0 109756834 10060525568 971132 33554432000 1073741824 1073778376 140735768996592 140408201968184 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18990/tid=19007] ppid=18987 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18990/task/19007/stat : 19007 (java) S 18987 18990 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109756834 10060525568 971132 33554432000 1073741824 1073778376 140735768996592 140408200916088 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18990/tid=19008] ppid=18987 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/18990/task/19008/stat : 19008 (java) S 18987 18990 14331 0 -1 4202560 51 0 0 0 13 22 0 0 20 0 22 0 109756834 10060525568 971132 33554432000 1073741824 1073778376 140735768996592 140408199863496 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18990/tid=19009] ppid=18987 vsize=9824732 CPUtime=868.45 cores=1,3,5,7
/proc/18990/task/19009/stat : 19009 (java) R 18987 18990 14331 0 -1 4202560 108 0 0 0 86828 17 0 0 20 0 22 0 109756873 10060525568 971132 33554432000 1073741824 1073778376 140735768996592 140408198806064 140408324249758 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18990/tid=19010] ppid=18987 vsize=9824732 CPUtime=868.4 cores=1,3,5,7
/proc/18990/task/19010/stat : 19010 (java) R 18987 18990 14331 0 -1 4202560 1663 0 0 0 86789 51 0 0 20 0 22 0 109756873 10060525568 971132 33554432000 1073741824 1073778376 140735768996592 140408197753744 140408324846549 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18990/tid=19011] ppid=18987 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18990/task/19011/stat : 19011 (java) S 18987 18990 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109756874 10060525568 971132 33554432000 1073741824 1073778376 140735768996592 140408195105960 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18990/tid=19012] ppid=18987 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18990/task/19012/stat : 19012 (java) S 18987 18990 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109756874 10060525568 971132 33554432000 1073741824 1073778376 140735768996592 140408194053160 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1775.28
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+894.601 s]
/proc/loadavg: 4.31 4.08 4.05 6/219 19101
/proc/meminfo: memFree=24377580/32872528 swapFree=9100/9100
[pid=18990] ppid=18987 vsize=9824732 CPUtime=1800.08 cores=1,3,5,7
/proc/18990/stat : 18990 (java) S 18987 18990 14331 0 -1 4202496 38097 0 1 0 179781 227 0 0 20 0 22 0 109756828 10060525568 971132 33554432000 1073741824 1073778376 140735768996592 140735768987728 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18990/statm: 2456183 971132 2301 9 0 2446860 0
[pid=18990/tid=18992] ppid=18987 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/18990/task/18992/stat : 18992 (java) S 18987 18990 14331 0 -1 4202560 2548 0 1 0 42 4 0 0 20 0 22 0 109756829 10060525568 971132 33554432000 1073741824 1073778376 140735768996592 140408383697784 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18990/tid=18993] ppid=18987 vsize=9824732 CPUtime=3.93 cores=1,3,5,7
/proc/18990/task/18993/stat : 18993 (java) S 18987 18990 14331 0 -1 4202560 1047 0 0 0 370 23 0 0 20 0 22 0 109756830 10060525568 971132 33554432000 1073741824 1073778376 140735768996592 140408322427176 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18990/tid=18994] ppid=18987 vsize=9824732 CPUtime=3.75 cores=1,3,5,7
/proc/18990/task/18994/stat : 18994 (java) S 18987 18990 14331 0 -1 4202560 1243 0 0 0 357 18 0 0 20 0 22 0 109756830 10060525568 971132 33554432000 1073741824 1073778376 140735768996592 140408321374376 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18990/tid=18995] ppid=18987 vsize=9824732 CPUtime=3.68 cores=1,3,5,7
/proc/18990/task/18995/stat : 18995 (java) S 18987 18990 14331 0 -1 4202560 993 0 0 0 348 20 0 0 20 0 22 0 109756830 10060525568 971132 33554432000 1073741824 1073778376 140735768996592 140408224692776 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18990/tid=18996] ppid=18987 vsize=9824732 CPUtime=3.15 cores=1,3,5,7
/proc/18990/task/18996/stat : 18996 (java) S 18987 18990 14331 0 -1 4202560 812 0 0 0 299 16 0 0 20 0 22 0 109756830 10060525568 971132 33554432000 1073741824 1073778376 140735768996592 140408223639976 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18990/tid=18997] ppid=18987 vsize=9824732 CPUtime=3.78 cores=1,3,5,7
/proc/18990/task/18997/stat : 18997 (java) S 18987 18990 14331 0 -1 4202560 881 0 0 0 359 19 0 0 20 0 22 0 109756830 10060525568 971132 33554432000 1073741824 1073778376 140735768996592 140408222587688 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18990/tid=18998] ppid=18987 vsize=9824732 CPUtime=3.26 cores=1,3,5,7
/proc/18990/task/18998/stat : 18998 (java) S 18987 18990 14331 0 -1 4202560 664 0 0 0 308 18 0 0 20 0 22 0 109756830 10060525568 971132 33554432000 1073741824 1073778376 140735768996592 140408221534888 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18990/tid=18999] ppid=18987 vsize=9824732 CPUtime=3.53 cores=1,3,5,7
/proc/18990/task/18999/stat : 18999 (java) S 18987 18990 14331 0 -1 4202560 857 0 0 0 334 19 0 0 20 0 22 0 109756830 10060525568 971132 33554432000 1073741824 1073778376 140735768996592 140408220482600 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18990/tid=19000] ppid=18987 vsize=9824732 CPUtime=3.68 cores=1,3,5,7
/proc/18990/task/19000/stat : 19000 (java) S 18987 18990 14331 0 -1 4202560 1002 0 0 0 351 17 0 0 20 0 22 0 109756830 10060525568 971132 33554432000 1073741824 1073778376 140735768996592 140408219429800 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18990/tid=19001] ppid=18987 vsize=9824732 CPUtime=5.93 cores=1,3,5,7
/proc/18990/task/19001/stat : 19001 (java) S 18987 18990 14331 0 -1 4202560 2568 0 0 0 584 9 0 0 20 0 22 0 109756832 10060525568 971132 33554432000 1073741824 1073778376 140735768996592 140408207231208 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18990/tid=19002] ppid=18987 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18990/task/19002/stat : 19002 (java) S 18987 18990 14331 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 109756832 10060525568 971132 33554432000 1073741824 1073778376 140735768996592 140408206177272 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18990/tid=19003] ppid=18987 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18990/task/19003/stat : 19003 (java) S 18987 18990 14331 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109756832 10060525568 971132 33554432000 1073741824 1073778376 140735768996592 140408205124872 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18990/tid=19004] ppid=18987 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18990/task/19004/stat : 19004 (java) S 18987 18990 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109756834 10060525568 971132 33554432000 1073741824 1073778376 140735768996592 140408204073360 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18990/tid=19005] ppid=18987 vsize=9824732 CPUtime=1.99 cores=1,3,5,7
/proc/18990/task/19005/stat : 19005 (java) S 18987 18990 14331 0 -1 4202560 11052 0 0 0 197 2 0 0 20 0 22 0 109756834 10060525568 971132 33554432000 1073741824 1073778376 140735768996592 140408203020984 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18990/tid=19006] ppid=18987 vsize=9824732 CPUtime=1.55 cores=1,3,5,7
/proc/18990/task/19006/stat : 19006 (java) S 18987 18990 14331 0 -1 4202560 11342 0 0 0 152 3 0 0 20 0 22 0 109756834 10060525568 971132 33554432000 1073741824 1073778376 140735768996592 140408201968184 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18990/tid=19007] ppid=18987 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18990/task/19007/stat : 19007 (java) S 18987 18990 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109756834 10060525568 971132 33554432000 1073741824 1073778376 140735768996592 140408200916088 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18990/tid=19008] ppid=18987 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/18990/task/19008/stat : 19008 (java) S 18987 18990 14331 0 -1 4202560 53 0 0 0 13 23 0 0 20 0 22 0 109756834 10060525568 971132 33554432000 1073741824 1073778376 140735768996592 140408199863496 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18990/tid=19009] ppid=18987 vsize=9824732 CPUtime=880.63 cores=1,3,5,7
/proc/18990/task/19009/stat : 19009 (java) R 18987 18990 14331 0 -1 4202560 108 0 0 0 88046 17 0 0 20 0 22 0 109756873 10060525568 971132 33554432000 1073741824 1073778376 140735768996592 140408198799120 140408324085400 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18990/tid=19010] ppid=18987 vsize=9824732 CPUtime=880.58 cores=1,3,5,7
/proc/18990/task/19010/stat : 19010 (java) R 18987 18990 14331 0 -1 4202560 1663 0 0 0 88007 51 0 0 20 0 22 0 109756873 10060525568 971132 33554432000 1073741824 1073778376 140735768996592 140408197753840 140408324071513 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18990/tid=19011] ppid=18987 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18990/task/19011/stat : 19011 (java) S 18987 18990 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109756874 10060525568 971132 33554432000 1073741824 1073778376 140735768996592 140408195105960 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18990/tid=19012] ppid=18987 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18990/task/19012/stat : 19012 (java) S 18987 18990 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109756874 10060525568 971132 33554432000 1073741824 1073778376 140735768996592 140408194053160 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
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 18990 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 894.671
CPU time (s): 1800.71
CPU user time (s): 1797.95
CPU system time (s): 2.76058
CPU usage (%): 201.27
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.95
system time used= 2.76058
maximum resident set size= 3884644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38133
page faults= 1
swaps= 0
block input operations= 0
block output operations= 976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24295
involuntary context switches= 31290

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.70313 second user time and 7.56485 second system time

The end

Launcher Data 

Begin job on node151 at 2016-06-07 07:44:17
IDJOB=4080560
IDBENCH=90136
IDSOLVER=2543
FILE ID=node151/4080560-1465278257
RUNJOBID= node151-1465261736-14348
PBS_JOBID= 19843295
Free space on /tmp= 71748 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K83.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080560-1465278257/watcher-4080560-1465278257 -o /tmp/evaluation-result-4080560-1465278257/solver-4080560-1465278257 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1465261736-14348 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4080560-1465278257.opb

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

MD5SUM BENCH= 87eecd69bf3cf4e36ad8fc8a9d8af53d
RANDOM SEED=819650212

node151.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.334
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.66
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.334
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.334
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.334
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.334
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.334
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.334
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.54
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.334
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:        28329000 kB
Buffers:           86188 kB
Cached:           241632 kB
SwapCached:         2184 kB
Active:          3537216 kB
Inactive:         231196 kB
Active(anon):    3441128 kB
Inactive(anon):     1680 kB
Active(file):      96088 kB
Inactive(file):   229516 kB
Unevictable:        9100 kB
Mlocked:            9100 kB
SwapTotal:      67108856 kB
SwapFree:       67098860 kB
Dirty:               872 kB
Writeback:             0 kB
AnonPages:       3479192 kB
Mapped:            16512 kB
Shmem:                 0 kB
Slab:             611736 kB
SReclaimable:      55416 kB
SUnreclaim:       556320 kB
KernelStack:        1808 kB
PageTables:        11316 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3686876 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3399680 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= 71744 MiB
End job on node151 at 2016-06-07 07:59:12