Trace number 4091825

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) 1802.07 1519.24

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/pedigree/
normalized-sheep4r_wcsp.wbo
MD5SUM6de6e540477f7e35d5e4504631857538
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark344.145
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables89200
Total number of constraints5870368
Number of soft constraints5861448
Number of constraints which are clauses5861448
Number of constraints which are cardinality constraints (but not clauses)8920
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint10
Top cost 2447
Min constraint cost 1
Max constraint cost 2447
Sum of constraints costs 14289117012
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 11
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Glucose 2.1 dynamic restart strategy
0.10/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.10/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-4091825-1466107269.wbo
0.10/0.11	c reading problem ... 
104.60/70.66	c ... done. Wall clock time 70.548s.
104.60/70.66	c declared #vars     89200
104.60/70.66	c internal #vars     5950648
104.60/70.66	c #constraints  5879288
104.60/70.66	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
104.60/70.66	c constraints type 
104.60/70.66	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5848354
104.60/70.66	c org.sat4j.minisat.constraints.card.MinWatchCard => 8920
104.60/70.66	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 22014
104.60/70.66	c 5879288 constraints processed.
104.60/70.66	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
104.60/70.66	c constraints type 
104.60/70.66	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 22014
104.60/70.66	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5848354
104.60/70.66	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 8920
104.60/70.66	c 5879288 constraints processed.
104.60/70.66	c objective function length is 5861448 literals
584.63/322.39	c And the winner is solver0
585.33/323.29	c SATISFIABLE
585.33/323.29	c OPTIMIZING...
585.33/323.29	c Got one! Elapsed wall clock time (in seconds):323.177
585.33/323.29	o 536040

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-4091825-1466107269/watcher-4091825-1466107269 -o /tmp/evaluation-result-4091825-1466107269/solver-4091825-1466107269 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466103654-28446 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4091825-1466107269.wbo 

pid=29981
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.40 2.30 2.47 3/195 29984
/proc/meminfo: memFree=26116648/32872528 swapFree=1430864/1543284
[pid=29984] ppid=29981 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/29984/stat : 29984 (java) S 29981 29984 27978 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 12776115 98570240 978 33554432000 1073741824 1073778376 140737435905392 140737435896528 266439000125 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29984/statm: 24065 978 743 9 0 16771 0
[pid=29984/tid=29985] ppid=29981 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/29984/task/29985/stat : 29985 (java) R 29981 29984 27978 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 12776116 98570240 978 33554432000 1073741824 1073778376 140737435905392 140161869966888 266435642752 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0

[startup+0.100115 s]
/proc/loadavg: 2.40 2.30 2.47 3/195 29984
/proc/meminfo: memFree=26116648/32872528 swapFree=1430864/1543284
[pid=29984] ppid=29981 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/29984/stat : 29984 (java) S 29981 29984 27978 0 -1 4202496 4424 0 1 0 9 1 0 0 20 0 18 0 12776115 9787879424 6049 33554432000 1073741824 1073778376 140737435905392 140737435896528 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29984/statm: 2389619 6049 2141 9 0 2380296 0
[pid=29984/tid=29985] ppid=29981 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/29984/task/29985/stat : 29985 (java) R 29981 29984 27978 0 -1 4202560 2387 0 1 0 7 0 0 0 20 0 18 0 12776116 9787879424 6049 33554432000 1073741824 1073778376 140737435905392 140161869967288 140161877859670 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200329 s]
/proc/loadavg: 2.40 2.30 2.47 3/195 29984
/proc/meminfo: memFree=26116648/32872528 swapFree=1430864/1543284
[pid=29984] ppid=29981 vsize=9558476 CPUtime=0.22 cores=0,2,4,6
/proc/29984/stat : 29984 (java) S 29981 29984 27978 0 -1 4202496 4612 0 1 0 19 3 0 0 20 0 18 0 12776115 9787879424 37380 33554432000 1073741824 1073778376 140737435905392 140737435896528 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29984/statm: 2389619 37380 2194 9 0 2380296 0
[pid=29984/tid=29985] ppid=29981 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/29984/task/29985/stat : 29985 (java) R 29981 29984 27978 0 -1 4202560 2461 0 1 0 14 3 0 0 20 0 18 0 12776116 9787879424 37380 33554432000 1073741824 1073778376 140737435905392 140161869967288 140161711191573 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 9558476

[startup+0.300351 s]
/proc/loadavg: 2.40 2.30 2.47 3/195 29984
/proc/meminfo: memFree=26116648/32872528 swapFree=1430864/1543284
[pid=29984] ppid=29981 vsize=9558476 CPUtime=0.44 cores=0,2,4,6
/proc/29984/stat : 29984 (java) S 29981 29984 27978 0 -1 4202496 5309 0 1 0 40 4 0 0 20 0 18 0 12776115 9787879424 40851 33554432000 1073741824 1073778376 140737435905392 140737435896528 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29984/statm: 2389619 40851 2239 9 0 2380296 0
[pid=29984/tid=29985] ppid=29981 vsize=9558476 CPUtime=0.26 cores=0,2,4,6
/proc/29984/task/29985/stat : 29985 (java) R 29981 29984 27978 0 -1 4202560 2468 0 1 0 23 3 0 0 20 0 18 0 12776116 9787879424 40851 33554432000 1073741824 1073778376 140737435905392 140161869970280 140161711172903 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 9558476

[startup+0.70023 s]
/proc/loadavg: 2.40 2.30 2.47 3/195 29984
/proc/meminfo: memFree=26116648/32872528 swapFree=1430864/1543284
[pid=29984] ppid=29981 vsize=9558476 CPUtime=1.09 cores=0,2,4,6
/proc/29984/stat : 29984 (java) S 29981 29984 27978 0 -1 4202496 7472 0 1 0 96 13 0 0 20 0 18 0 12776115 9787879424 140384 33554432000 1073741824 1073778376 140737435905392 140737435896528 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29984/statm: 2389619 140384 2259 9 0 2380296 0
[pid=29984/tid=29985] ppid=29981 vsize=9558476 CPUtime=0.63 cores=0,2,4,6
/proc/29984/task/29985/stat : 29985 (java) R 29981 29984 27978 0 -1 4202560 2652 0 1 0 53 10 0 0 20 0 18 0 12776116 9787879424 140384 33554432000 1073741824 1073778376 140737435905392 140161869963184 140161877736282 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 9558476

[startup+1.50072 s]
/proc/loadavg: 2.40 2.30 2.47 4/215 30004
/proc/meminfo: memFree=25043020/32872528 swapFree=1430864/1543284
[pid=29984] ppid=29981 vsize=9558476 CPUtime=2.09 cores=0,2,4,6
/proc/29984/stat : 29984 (java) S 29981 29984 27978 0 -1 4202496 10026 0 1 0 182 27 0 0 20 0 18 0 12776115 9787879424 357948 33554432000 1073741824 1073778376 140737435905392 140737435896528 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29984/statm: 2389619 357948 2262 9 0 2380296 0
[pid=29984/tid=29985] ppid=29981 vsize=9558476 CPUtime=1.37 cores=0,2,4,6
/proc/29984/task/29985/stat : 29985 (java) R 29981 29984 27978 0 -1 4202560 3400 0 1 0 116 21 0 0 20 0 18 0 12776116 9787879424 357948 33554432000 1073741824 1073778376 140737435905392 140161869963184 140161877736289 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=29984/tid=29987] ppid=29981 vsize=9558476 CPUtime=0.02 cores=0,2,4,6
/proc/29984/task/29987/stat : 29987 (java) S 29981 29984 27978 0 -1 4202560 50 0 0 0 2 0 0 0 20 0 18 0 12776116 9787879424 357948 33554432000 1073741824 1073778376 140737435905392 140161831463976 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29984/tid=29988] ppid=29981 vsize=9558476 CPUtime=0.01 cores=0,2,4,6
/proc/29984/task/29988/stat : 29988 (java) S 29981 29984 27978 0 -1 4202560 32 0 0 0 1 0 0 0 20 0 18 0 12776116 9787879424 357948 33554432000 1073741824 1073778376 140737435905392 140161830411176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29984/tid=29989] ppid=29981 vsize=9558476 CPUtime=0.01 cores=0,2,4,6
/proc/29984/task/29989/stat : 29989 (java) S 29981 29984 27978 0 -1 4202560 116 0 0 0 1 0 0 0 20 0 18 0 12776116 9787879424 357948 33554432000 1073741824 1073778376 140737435905392 140161711074088 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29984/tid=29990] ppid=29981 vsize=9558476 CPUtime=0.01 cores=0,2,4,6
/proc/29984/task/29990/stat : 29990 (java) S 29981 29984 27978 0 -1 4202560 136 0 0 0 1 0 0 0 20 0 18 0 12776116 9787879424 357948 33554432000 1073741824 1073778376 140737435905392 140161710021288 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29984/tid=29991] ppid=29981 vsize=9558476 CPUtime=0.04 cores=0,2,4,6
/proc/29984/task/29991/stat : 29991 (java) S 29981 29984 27978 0 -1 4202560 152 0 0 0 3 1 0 0 20 0 18 0 12776116 9787879424 357948 33554432000 1073741824 1073778376 140737435905392 140161708968488 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29984/tid=29992] ppid=29981 vsize=9558476 CPUtime=0.01 cores=0,2,4,6
/proc/29984/task/29992/stat : 29992 (java) S 29981 29984 27978 0 -1 4202560 37 0 0 0 1 0 0 0 20 0 18 0 12776116 9787879424 357948 33554432000 1073741824 1073778376 140737435905392 140161707915688 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29984/tid=29993] ppid=29981 vsize=9558476 CPUtime=0.01 cores=0,2,4,6
/proc/29984/task/29993/stat : 29993 (java) S 29981 29984 27978 0 -1 4202560 149 0 0 0 1 0 0 0 20 0 18 0 12776117 9787879424 357948 33554432000 1073741824 1073778376 140737435905392 140161706862888 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29984/tid=29994] ppid=29981 vsize=9558476 CPUtime=0.03 cores=0,2,4,6
/proc/29984/task/29994/stat : 29994 (java) S 29981 29984 27978 0 -1 4202560 86 0 0 0 3 0 0 0 20 0 18 0 12776117 9787879424 357948 33554432000 1073741824 1073778376 140737435905392 140161705810088 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29984/tid=29995] ppid=29981 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/29984/task/29995/stat : 29995 (java) S 29981 29984 27978 0 -1 4202560 936 0 0 0 0 0 0 0 20 0 18 0 12776118 9787879424 357948 33554432000 1073741824 1073778376 140737435905392 140161223482344 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29984/tid=29996] ppid=29981 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/29984/task/29996/stat : 29996 (java) S 29981 29984 27978 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 12776118 9787879424 357948 33554432000 1073741824 1073778376 140737435905392 140161222428408 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29984/tid=29997] ppid=29981 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/29984/task/29997/stat : 29997 (java) S 29981 29984 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 12776118 9787879424 357948 33554432000 1073741824 1073778376 140737435905392 140161221375496 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29984/tid=29998] ppid=29981 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/29984/task/29998/stat : 29998 (java) S 29981 29984 27978 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 12776120 9787879424 357948 33554432000 1073741824 1073778376 140737435905392 140161220323984 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29984/tid=29999] ppid=29981 vsize=9558476 CPUtime=0.2 cores=0,2,4,6
/proc/29984/task/29999/stat : 29999 (java) S 29981 29984 27978 0 -1 4202560 1822 0 0 0 20 0 0 0 20 0 18 0 12776120 9787879424 357948 33554432000 1073741824 1073778376 140737435905392 140161219271096 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29984/tid=30000] ppid=29981 vsize=9558476 CPUtime=0.21 cores=0,2,4,6
/proc/29984/task/30000/stat : 30000 (java) S 29981 29984 27978 0 -1 4202560 1857 0 0 0 21 0 0 0 20 0 18 0 12776120 9787879424 357948 33554432000 1073741824 1073778376 140737435905392 140161218218296 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29984/tid=30001] ppid=29981 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/29984/task/30001/stat : 30001 (java) S 29981 29984 27978 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 12776120 9787879424 357948 33554432000 1073741824 1073778376 140737435905392 140161217165688 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29984/tid=30002] ppid=29981 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/29984/task/30002/stat : 30002 (java) S 29981 29984 27978 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 12776120 9787879424 357948 33554432000 1073741824 1073778376 140737435905392 140161216113096 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.09
Current children cumulated vsize (KiB) 9558476

[startup+3.10079 s]
/proc/loadavg: 2.40 2.30 2.47 4/216 30005
/proc/meminfo: memFree=23982716/32872528 swapFree=1430864/1543284
[pid=29984] ppid=29981 vsize=9558476 CPUtime=4.11 cores=0,2,4,6
/proc/29984/stat : 29984 (java) S 29981 29984 27978 0 -1 4202496 13342 0 1 0 361 50 0 0 20 0 18 0 12776115 9787879424 700514 33554432000 1073741824 1073778376 140737435905392 140737435896528 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29984/statm: 2389619 700514 2270 9 0 2380296 0
[pid=29984/tid=29985] ppid=29981 vsize=9558476 CPUtime=2.86 cores=0,2,4,6
/proc/29984/task/29985/stat : 29985 (java) R 29981 29984 27978 0 -1 4202560 4383 0 1 0 246 40 0 0 20 0 18 0 12776116 9787879424 700514 33554432000 1073741824 1073778376 140737435905392 140161869963216 140161711548304 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29984/tid=29987] ppid=29981 vsize=9558476 CPUtime=0.06 cores=0,2,4,6
/proc/29984/task/29987/stat : 29987 (java) S 29981 29984 27978 0 -1 4202560 247 0 0 0 6 0 0 0 20 0 18 0 12776116 9787879424 700514 33554432000 1073741824 1073778376 140737435905392 140161831463976 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29984/tid=29988] ppid=29981 vsize=9558476 CPUtime=0.06 cores=0,2,4,6
/proc/29984/task/29988/stat : 29988 (java) S 29981 29984 27978 0 -1 4202560 185 0 0 0 6 0 0 0 20 0 18 0 12776116 9787879424 700514 33554432000 1073741824 1073778376 140737435905392 140161830411176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29984/tid=29989] ppid=29981 vsize=9558476 CPUtime=0.04 cores=0,2,4,6
/proc/29984/task/29989/stat : 29989 (java) S 29981 29984 27978 0 -1 4202560 119 0 0 0 4 0 0 0 20 0 18 0 12776116 9787879424 700514 33554432000 1073741824 1073778376 140737435905392 140161711074088 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29984/tid=29990] ppid=29981 vsize=9558476 CPUtime=0.06 cores=0,2,4,6
/proc/29984/task/29990/stat : 29990 (java) S 29981 29984 27978 0 -1 4202560 258 0 0 0 6 0 0 0 20 0 18 0 12776116 9787879424 700514 33554432000 1073741824 1073778376 140737435905392 140161710021288 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29984/tid=29991] ppid=29981 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/29984/task/29991/stat : 29991 (java) S 29981 29984 27978 0 -1 4202560 194 0 0 0 7 2 0 0 20 0 18 0 12776116 9787879424 700514 33554432000 1073741824 1073778376 140737435905392 140161708968488 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29984/tid=29992] ppid=29981 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/29984/task/29992/stat : 29992 (java) S 29981 29984 27978 0 -1 4202560 187 0 0 0 6 1 0 0 20 0 18 0 12776116 9787879424 700514 33554432000 1073741824 1073778376 140737435905392 140161707915688 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29984/tid=29993] ppid=29981 vsize=9558476 CPUtime=0.06 cores=0,2,4,6
/proc/29984/task/29993/stat : 29993 (java) S 29981 29984 27978 0 -1 4202560 342 0 0 0 5 1 0 0 20 0 18 0 12776117 9787879424 700514 33554432000 1073741824 1073778376 140737435905392 140161706862888 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29984/tid=29994] ppid=29981 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/29984/task/29994/stat : 29994 (java) S 29981 29984 27978 0 -1 4202560 211 0 0 0 8 2 0 0 20 0 18 0 12776117 9787879424 700514 33554432000 1073741824 1073778376 140737435905392 140161705810088 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29984/tid=29995] ppid=29981 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/29984/task/29995/stat : 29995 (java) S 29981 29984 27978 0 -1 4202560 1261 0 0 0 0 0 0 0 20 0 18 0 12776118 9787879424 700514 33554432000 1073741824 1073778376 140737435905392 140161223482344 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29984/tid=29996] ppid=29981 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/29984/task/29996/stat : 29996 (java) S 29981 29984 27978 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 12776118 9787879424 700514 33554432000 1073741824 1073778376 140737435905392 140161222428408 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29984/tid=29997] ppid=29981 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/29984/task/29997/stat : 29997 (java) S 29981 29984 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 12776118 9787879424 700514 33554432000 1073741824 1073778376 140737435905392 140161221375496 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29984/tid=29998] ppid=29981 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/29984/task/29998/stat : 29998 (java) S 29981 29984 27978 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 12776120 9787879424 700514 33554432000 1073741824 1073778376 140737435905392 140161220323984 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29984/tid=29999] ppid=29981 vsize=9558476 CPUtime=0.26 cores=0,2,4,6
/proc/29984/task/29999/stat : 29999 (java) S 29981 29984 27978 0 -1 4202560 2837 0 0 0 26 0 0 0 20 0 18 0 12776120 9787879424 700514 33554432000 1073741824 1073778376 140737435905392 140161219271096 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29984/tid=30000] ppid=29981 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/29984/task/30000/stat : 30000 (java) S 29981 29984 27978 0 -1 4202560 1865 0 0 0 27 0 0 0 20 0 18 0 12776120 9787879424 700514 33554432000 1073741824 1073778376 140737435905392 140161218218296 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29984/tid=30001] ppid=29981 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/29984/task/30001/stat : 30001 (java) S 29981 29984 27978 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 12776120 9787879424 700514 33554432000 1073741824 1073778376 140737435905392 140161217165688 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29984/tid=30002] ppid=29981 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/29984/task/30002/stat : 30002 (java) S 29981 29984 27978 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 12776120 9787879424 700514 33554432000 1073741824 1073778376 140737435905392 140161216113096 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.11
Current children cumulated vsize (KiB) 9558476

[startup+6.3008 s]
/proc/loadavg: 2.36 2.29 2.47 11/213 30005
/proc/meminfo: memFree=23091876/32872528 swapFree=1430864/1543284
[pid=29984] ppid=29981 vsize=9558476 CPUtime=7.91 cores=0,2,4,6
/proc/29984/stat : 29984 (java) S 29981 29984 27978 0 -1 4202496 13724 0 1 0 721 70 0 0 20 0 18 0 12776115 9787879424 735788 33554432000 1073741824 1073778376 140737435905392 140737435896528 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29984/statm: 2389619 735788 2270 9 0 2380296 0
[pid=29984/tid=29985] ppid=29981 vsize=9558476 CPUtime=5.84 cores=0,2,4,6
/proc/29984/task/29985/stat : 29985 (java) R 29981 29984 27978 0 -1 4202560 4387 0 1 0 543 41 0 0 20 0 18 0 12776116 9787879424 735788 33554432000 1073741824 1073778376 140737435905392 140161869963344 266439025933 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29984/tid=29987] ppid=29981 vsize=9558476 CPUtime=0.16 cores=0,2,4,6
/proc/29984/task/29987/stat : 29987 (java) S 29981 29984 27978 0 -1 4202560 279 0 0 0 13 3 0 0 20 0 18 0 12776116 9787879424 735788 33554432000 1073741824 1073778376 140737435905392 140161831463976 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29984/tid=29988] ppid=29981 vsize=9558476 CPUtime=0.12 cores=0,2,4,6
/proc/29984/task/29988/stat : 29988 (java) S 29981 29984 27978 0 -1 4202560 201 0 0 0 10 2 0 0 20 0 18 0 12776116 9787879424 735788 33554432000 1073741824 1073778376 140737435905392 140161830411176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29984/tid=29989] ppid=29981 vsize=9558476 CPUtime=0.25 cores=0,2,4,6
/proc/29984/task/29989/stat : 29989 (java) S 29981 29984 27978 0 -1 4202560 184 0 0 0 19 6 0 0 20 0 18 0 12776116 9787879424 735788 33554432000 1073741824 1073778376 140737435905392 140161711074088 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29984/tid=29990] ppid=29981 vsize=9558476 CPUtime=0.11 cores=0,2,4,6
/proc/29984/task/29990/stat : 29990 (java) S 29981 29984 27978 0 -1 4202560 279 0 0 0 9 2 0 0 20 0 18 0 12776116 9787879424 735788 33554432000 1073741824 1073778376 140737435905392 140161710021288 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29984/tid=29991] ppid=29981 vsize=9558476 CPUtime=0.29 cores=0,2,4,6
/proc/29984/task/29991/stat : 29991 (java) S 29981 29984 27978 0 -1 4202560 329 0 0 0 23 6 0 0 20 0 18 0 12776116 9787879424 735788 33554432000 1073741824 1073778376 140737435905392 140161708968488 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29984/tid=29992] ppid=29981 vsize=9558476 CPUtime=0.12 cores=0,2,4,6
/proc/29984/task/29992/stat : 29992 (java) S 29981 29984 27978 0 -1 4202560 207 0 0 0 10 2 0 0 20 0 18 0 12776116 9787879424 735788 33554432000 1073741824 1073778376 140737435905392 140161707915688 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29984/tid=29993] ppid=29981 vsize=9558476 CPUtime=0.16 cores=0,2,4,6
/proc/29984/task/29993/stat : 29993 (java) S 29981 29984 27978 0 -1 4202560 414 0 0 0 12 4 0 0 20 0 18 0 12776117 9787879424 735788 33554432000 1073741824 1073778376 140737435905392 140161706862888 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29984/tid=29994] ppid=29981 vsize=9558476 CPUtime=0.15 cores=0,2,4,6
/proc/29984/task/29994/stat : 29994 (java) S 29981 29984 27978 0 -1 4202560 227 0 0 0 13 2 0 0 20 0 18 0 12776117 9787879424 735788 33554432000 1073741824 1073778376 140737435905392 140161705810088 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29984/tid=29995] ppid=29981 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/29984/task/29995/stat : 29995 (java) S 29981 29984 27978 0 -1 4202560 1262 0 0 0 0 0 0 0 20 0 18 0 12776118 9787879424 735788 33554432000 1073741824 1073778376 140737435905392 140161223482344 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29984/tid=29996] ppid=29981 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/29984/task/29996/stat : 29996 (java) S 29981 29984 27978 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 12776118 9787879424 735788 33554432000 1073741824 1073778376 140737435905392 140161222428408 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29984/tid=29997] ppid=29981 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/29984/task/29997/stat : 29997 (java) S 29981 29984 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 12776118 9787879424 735788 33554432000 1073741824 1073778376 140737435905392 140161221375496 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29984/tid=29998] ppid=29981 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/29984/task/29998/stat : 29998 (java) S 29981 29984 27978 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 12776120 9787879424 735788 33554432000 1073741824 1073778376 140737435905392 140161220323984 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29984/tid=29999] ppid=29981 vsize=9558476 CPUtime=0.26 cores=0,2,4,6
/proc/29984/task/29999/stat : 29999 (java) S 29981 29984 27978 0 -1 4202560 2837 0 0 0 26 0 0 0 20 0 18 0 12776120 9787879424 735788 33554432000 1073741824 1073778376 140737435905392 140161219271096 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29984/tid=30000] ppid=29981 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/29984/task/30000/stat : 30000 (java) S 29981 29984 27978 0 -1 4202560 1865 0 0 0 27 0 0 0 20 0 18 0 12776120 9787879424 735788 33554432000 1073741824 1073778376 140737435905392 140161218218296 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29984/tid=30001] ppid=29981 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/29984/task/30001/stat : 30001 (java) S 29981 29984 27978 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 12776120 9787879424 735788 33554432000 1073741824 1073778376 140737435905392 140161217165688 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29984/tid=30002] ppid=29981 vsize=9558476 CPUtime=0 cores=0,2,4,6

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

[pid=29984/tid=29987] ppid=29981 vsize=9824732 CPUtime=9 cores=0,2,4,6
/proc/29984/task/29987/stat : 29987 (java) S 29981 29984 27978 0 -1 4202560 21117 0 0 0 847 53 0 0 20 0 22 0 12776116 10060525568 2023561 33554432000 1073741824 1073778376 140737435905392 140161831463976 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29984/tid=29988] ppid=29981 vsize=9824732 CPUtime=8.95 cores=0,2,4,6
/proc/29984/task/29988/stat : 29988 (java) S 29981 29984 27978 0 -1 4202560 15292 0 0 0 843 52 0 0 20 0 22 0 12776116 10060525568 2023561 33554432000 1073741824 1073778376 140737435905392 140161830411176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29984/tid=29989] ppid=29981 vsize=9824732 CPUtime=8.95 cores=0,2,4,6
/proc/29984/task/29989/stat : 29989 (java) S 29981 29984 27978 0 -1 4202560 22505 0 0 0 836 59 0 0 20 0 22 0 12776116 10060525568 2023561 33554432000 1073741824 1073778376 140737435905392 140161711074088 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29984/tid=29990] ppid=29981 vsize=9824732 CPUtime=9.34 cores=0,2,4,6
/proc/29984/task/29990/stat : 29990 (java) S 29981 29984 27978 0 -1 4202560 20579 0 0 0 872 62 0 0 20 0 22 0 12776116 10060525568 2023561 33554432000 1073741824 1073778376 140737435905392 140161710021288 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29984/tid=29991] ppid=29981 vsize=9824732 CPUtime=9.17 cores=0,2,4,6
/proc/29984/task/29991/stat : 29991 (java) S 29981 29984 27978 0 -1 4202560 19697 0 0 0 861 56 0 0 20 0 22 0 12776116 10060525568 2023561 33554432000 1073741824 1073778376 140737435905392 140161708968488 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29984/tid=29992] ppid=29981 vsize=9824732 CPUtime=8.83 cores=0,2,4,6
/proc/29984/task/29992/stat : 29992 (java) S 29981 29984 27978 0 -1 4202560 18450 0 0 0 827 56 0 0 20 0 22 0 12776116 10060525568 2023561 33554432000 1073741824 1073778376 140737435905392 140161707915688 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29984/tid=29993] ppid=29981 vsize=9824732 CPUtime=8.7 cores=0,2,4,6
/proc/29984/task/29993/stat : 29993 (java) S 29981 29984 27978 0 -1 4202560 27051 0 0 0 820 50 0 0 20 0 22 0 12776117 10060525568 2023561 33554432000 1073741824 1073778376 140737435905392 140161706862888 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29984/tid=29994] ppid=29981 vsize=9824732 CPUtime=9 cores=0,2,4,6
/proc/29984/task/29994/stat : 29994 (java) S 29981 29984 27978 0 -1 4202560 25009 0 0 0 840 60 0 0 20 0 22 0 12776117 10060525568 2023561 33554432000 1073741824 1073778376 140737435905392 140161705810088 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29984/tid=29995] ppid=29981 vsize=9824732 CPUtime=1226.82 cores=0,2,4,6
/proc/29984/task/29995/stat : 29995 (java) R 29981 29984 27978 0 -1 4202560 24327 0 0 0 122642 40 0 0 20 0 22 0 12776118 10060525568 2023561 33554432000 1073741824 1073778376 140737435905392 140161223482280 140161872167513 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=29984/tid=29996] ppid=29981 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29984/task/29996/stat : 29996 (java) S 29981 29984 27978 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 12776118 10060525568 2023561 33554432000 1073741824 1073778376 140737435905392 140161222428408 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29984/tid=29997] ppid=29981 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29984/task/29997/stat : 29997 (java) S 29981 29984 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 12776118 10060525568 2023561 33554432000 1073741824 1073778376 140737435905392 140161221375496 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29984/tid=29998] ppid=29981 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29984/task/29998/stat : 29998 (java) S 29981 29984 27978 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 12776120 10060525568 2023561 33554432000 1073741824 1073778376 140737435905392 140161220322872 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29984/tid=29999] ppid=29981 vsize=9824732 CPUtime=0.83 cores=0,2,4,6
/proc/29984/task/29999/stat : 29999 (java) S 29981 29984 27978 0 -1 4202560 4061 0 0 0 82 1 0 0 20 0 22 0 12776120 10060525568 2023561 33554432000 1073741824 1073778376 140737435905392 140161219271096 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29984/tid=30000] ppid=29981 vsize=9824732 CPUtime=1.1 cores=0,2,4,6
/proc/29984/task/30000/stat : 30000 (java) S 29981 29984 27978 0 -1 4202560 5470 0 0 0 110 0 0 0 20 0 22 0 12776120 10060525568 2023561 33554432000 1073741824 1073778376 140737435905392 140161218218296 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29984/tid=30001] ppid=29981 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29984/task/30001/stat : 30001 (java) S 29981 29984 27978 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 12776120 10060525568 2023561 33554432000 1073741824 1073778376 140737435905392 140161217165688 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29984/tid=30002] ppid=29981 vsize=9824732 CPUtime=0.66 cores=0,2,4,6
/proc/29984/task/30002/stat : 30002 (java) S 29981 29984 27978 0 -1 4202560 87 0 0 0 36 30 0 0 20 0 22 0 12776120 10060525568 2023561 33554432000 1073741824 1073778376 140737435905392 140161216113096 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29984/tid=30606] ppid=29981 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29984/task/30606/stat : 30606 (java) S 29981 29984 27978 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 12784381 10060525568 2023561 33554432000 1073741824 1073778376 140737435905392 140161211901224 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29984/tid=30615] ppid=29981 vsize=9824732 CPUtime=9.09 cores=0,2,4,6
/proc/29984/task/30615/stat : 30615 (java) S 29981 29984 27978 0 -1 4202560 2 0 0 0 909 0 0 0 20 0 22 0 12809343 10060525568 2023561 33554432000 1073741824 1073778376 140737435905392 140161214004120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29984/tid=30616] ppid=29981 vsize=9824732 CPUtime=9.1 cores=0,2,4,6
/proc/29984/task/30616/stat : 30616 (java) S 29981 29984 27978 0 -1 4202560 31 0 0 0 910 0 0 0 20 0 22 0 12809343 10060525568 2023561 33554432000 1073741824 1073778376 140737435905392 140161215057240 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29984/tid=30617] ppid=29981 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29984/task/30617/stat : 30617 (java) S 29981 29984 27978 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 12810648 10060525568 2023561 33554432000 1073741824 1073778376 140737435905392 140161212953512 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1801.01
Current children cumulated vsize (KiB) 9824732

[startup+1519.1 s]
/proc/loadavg: 2.14 2.17 2.31 3/217 30647
/proc/meminfo: memFree=17955256/32872528 swapFree=1430864/1543284
[pid=29984] ppid=29981 vsize=9824732 CPUtime=1801.21 cores=0,2,4,6
/proc/29984/stat : 29984 (java) S 29981 29984 27978 0 -1 4202496 209607 0 1 0 179564 557 0 0 20 0 22 0 12776115 10060525568 2023561 33554432000 1073741824 1073778376 140737435905392 140737435896528 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29984/statm: 2456183 2023561 2292 9 0 2446860 0
[pid=29984/tid=29985] ppid=29981 vsize=9824732 CPUtime=41.35 cores=0,2,4,6
/proc/29984/task/29985/stat : 29985 (java) S 29981 29984 27978 0 -1 4202560 4504 0 1 0 4084 51 0 0 20 0 22 0 12776116 10060525568 2023561 33554432000 1073741824 1073778376 140737435905392 140161869972344 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29984/tid=29987] ppid=29981 vsize=9824732 CPUtime=9 cores=0,2,4,6
/proc/29984/task/29987/stat : 29987 (java) S 29981 29984 27978 0 -1 4202560 21117 0 0 0 847 53 0 0 20 0 22 0 12776116 10060525568 2023561 33554432000 1073741824 1073778376 140737435905392 140161831463976 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29984/tid=29988] ppid=29981 vsize=9824732 CPUtime=8.95 cores=0,2,4,6
/proc/29984/task/29988/stat : 29988 (java) S 29981 29984 27978 0 -1 4202560 15292 0 0 0 843 52 0 0 20 0 22 0 12776116 10060525568 2023561 33554432000 1073741824 1073778376 140737435905392 140161830411176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29984/tid=29989] ppid=29981 vsize=9824732 CPUtime=8.95 cores=0,2,4,6
/proc/29984/task/29989/stat : 29989 (java) S 29981 29984 27978 0 -1 4202560 22505 0 0 0 836 59 0 0 20 0 22 0 12776116 10060525568 2023561 33554432000 1073741824 1073778376 140737435905392 140161711074088 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29984/tid=29990] ppid=29981 vsize=9824732 CPUtime=9.34 cores=0,2,4,6
/proc/29984/task/29990/stat : 29990 (java) S 29981 29984 27978 0 -1 4202560 20579 0 0 0 872 62 0 0 20 0 22 0 12776116 10060525568 2023561 33554432000 1073741824 1073778376 140737435905392 140161710021288 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29984/tid=29991] ppid=29981 vsize=9824732 CPUtime=9.17 cores=0,2,4,6
/proc/29984/task/29991/stat : 29991 (java) S 29981 29984 27978 0 -1 4202560 19697 0 0 0 861 56 0 0 20 0 22 0 12776116 10060525568 2023561 33554432000 1073741824 1073778376 140737435905392 140161708968488 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29984/tid=29992] ppid=29981 vsize=9824732 CPUtime=8.83 cores=0,2,4,6
/proc/29984/task/29992/stat : 29992 (java) S 29981 29984 27978 0 -1 4202560 18450 0 0 0 827 56 0 0 20 0 22 0 12776116 10060525568 2023561 33554432000 1073741824 1073778376 140737435905392 140161707915688 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29984/tid=29993] ppid=29981 vsize=9824732 CPUtime=8.7 cores=0,2,4,6
/proc/29984/task/29993/stat : 29993 (java) S 29981 29984 27978 0 -1 4202560 27051 0 0 0 820 50 0 0 20 0 22 0 12776117 10060525568 2023561 33554432000 1073741824 1073778376 140737435905392 140161706862888 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29984/tid=29994] ppid=29981 vsize=9824732 CPUtime=9 cores=0,2,4,6
/proc/29984/task/29994/stat : 29994 (java) S 29981 29984 27978 0 -1 4202560 25009 0 0 0 840 60 0 0 20 0 22 0 12776117 10060525568 2023561 33554432000 1073741824 1073778376 140737435905392 140161705810088 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29984/tid=29995] ppid=29981 vsize=9824732 CPUtime=1227.02 cores=0,2,4,6
/proc/29984/task/29995/stat : 29995 (java) R 29981 29984 27978 0 -1 4202560 24327 0 0 0 122662 40 0 0 20 0 22 0 12776118 10060525568 2023561 33554432000 1073741824 1073778376 140737435905392 140161223482280 140161874108740 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=29984/tid=29996] ppid=29981 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29984/task/29996/stat : 29996 (java) S 29981 29984 27978 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 12776118 10060525568 2023561 33554432000 1073741824 1073778376 140737435905392 140161222428408 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29984/tid=29997] ppid=29981 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29984/task/29997/stat : 29997 (java) S 29981 29984 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 12776118 10060525568 2023561 33554432000 1073741824 1073778376 140737435905392 140161221375496 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29984/tid=29998] ppid=29981 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29984/task/29998/stat : 29998 (java) S 29981 29984 27978 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 12776120 10060525568 2023561 33554432000 1073741824 1073778376 140737435905392 140161220322872 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29984/tid=29999] ppid=29981 vsize=9824732 CPUtime=0.83 cores=0,2,4,6
/proc/29984/task/29999/stat : 29999 (java) S 29981 29984 27978 0 -1 4202560 4061 0 0 0 82 1 0 0 20 0 22 0 12776120 10060525568 2023561 33554432000 1073741824 1073778376 140737435905392 140161219271096 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29984/tid=30000] ppid=29981 vsize=9824732 CPUtime=1.1 cores=0,2,4,6
/proc/29984/task/30000/stat : 30000 (java) S 29981 29984 27978 0 -1 4202560 5470 0 0 0 110 0 0 0 20 0 22 0 12776120 10060525568 2023561 33554432000 1073741824 1073778376 140737435905392 140161218218296 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29984/tid=30001] ppid=29981 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29984/task/30001/stat : 30001 (java) S 29981 29984 27978 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 12776120 10060525568 2023561 33554432000 1073741824 1073778376 140737435905392 140161217165688 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29984/tid=30002] ppid=29981 vsize=9824732 CPUtime=0.66 cores=0,2,4,6
/proc/29984/task/30002/stat : 30002 (java) S 29981 29984 27978 0 -1 4202560 87 0 0 0 36 30 0 0 20 0 22 0 12776120 10060525568 2023561 33554432000 1073741824 1073778376 140737435905392 140161216113096 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29984/tid=30606] ppid=29981 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29984/task/30606/stat : 30606 (java) S 29981 29984 27978 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 12784381 10060525568 2023561 33554432000 1073741824 1073778376 140737435905392 140161211901224 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29984/tid=30615] ppid=29981 vsize=9824732 CPUtime=9.09 cores=0,2,4,6
/proc/29984/task/30615/stat : 30615 (java) S 29981 29984 27978 0 -1 4202560 2 0 0 0 909 0 0 0 20 0 22 0 12809343 10060525568 2023561 33554432000 1073741824 1073778376 140737435905392 140161214004120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29984/tid=30616] ppid=29981 vsize=9824732 CPUtime=9.1 cores=0,2,4,6
/proc/29984/task/30616/stat : 30616 (java) S 29981 29984 27978 0 -1 4202560 31 0 0 0 910 0 0 0 20 0 22 0 12809343 10060525568 2023561 33554432000 1073741824 1073778376 140737435905392 140161215057240 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29984/tid=30617] ppid=29981 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29984/task/30617/stat : 30617 (java) S 29981 29984 27978 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 12810648 10060525568 2023561 33554432000 1073741824 1073778376 140737435905392 140161212953512 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1801.21
Current children cumulated vsize (KiB) 9824732

[startup+1519.2 s]
/proc/loadavg: 2.14 2.17 2.31 3/217 30647
/proc/meminfo: memFree=17955256/32872528 swapFree=1430864/1543284
[pid=29984] ppid=29981 vsize=9824732 CPUtime=1801.32 cores=0,2,4,6
/proc/29984/stat : 29984 (java) S 29981 29984 27978 0 -1 4202496 209607 0 1 0 179575 557 0 0 20 0 22 0 12776115 10060525568 2023561 33554432000 1073741824 1073778376 140737435905392 140737435896528 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29984/statm: 2456183 2023561 2292 9 0 2446860 0
[pid=29984/tid=29985] ppid=29981 vsize=9824732 CPUtime=41.35 cores=0,2,4,6
/proc/29984/task/29985/stat : 29985 (java) S 29981 29984 27978 0 -1 4202560 4504 0 1 0 4084 51 0 0 20 0 22 0 12776116 10060525568 2023561 33554432000 1073741824 1073778376 140737435905392 140161869972344 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29984/tid=29987] ppid=29981 vsize=9824732 CPUtime=9 cores=0,2,4,6
/proc/29984/task/29987/stat : 29987 (java) S 29981 29984 27978 0 -1 4202560 21117 0 0 0 847 53 0 0 20 0 22 0 12776116 10060525568 2023561 33554432000 1073741824 1073778376 140737435905392 140161831463976 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29984/tid=29988] ppid=29981 vsize=9824732 CPUtime=8.95 cores=0,2,4,6
/proc/29984/task/29988/stat : 29988 (java) S 29981 29984 27978 0 -1 4202560 15292 0 0 0 843 52 0 0 20 0 22 0 12776116 10060525568 2023561 33554432000 1073741824 1073778376 140737435905392 140161830411176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29984/tid=29989] ppid=29981 vsize=9824732 CPUtime=8.95 cores=0,2,4,6
/proc/29984/task/29989/stat : 29989 (java) S 29981 29984 27978 0 -1 4202560 22505 0 0 0 836 59 0 0 20 0 22 0 12776116 10060525568 2023561 33554432000 1073741824 1073778376 140737435905392 140161711074088 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29984/tid=29990] ppid=29981 vsize=9824732 CPUtime=9.34 cores=0,2,4,6
/proc/29984/task/29990/stat : 29990 (java) S 29981 29984 27978 0 -1 4202560 20579 0 0 0 872 62 0 0 20 0 22 0 12776116 10060525568 2023561 33554432000 1073741824 1073778376 140737435905392 140161710021288 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29984/tid=29991] ppid=29981 vsize=9824732 CPUtime=9.17 cores=0,2,4,6
/proc/29984/task/29991/stat : 29991 (java) S 29981 29984 27978 0 -1 4202560 19697 0 0 0 861 56 0 0 20 0 22 0 12776116 10060525568 2023561 33554432000 1073741824 1073778376 140737435905392 140161708968488 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29984/tid=29992] ppid=29981 vsize=9824732 CPUtime=8.83 cores=0,2,4,6
/proc/29984/task/29992/stat : 29992 (java) S 29981 29984 27978 0 -1 4202560 18450 0 0 0 827 56 0 0 20 0 22 0 12776116 10060525568 2023561 33554432000 1073741824 1073778376 140737435905392 140161707915688 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29984/tid=29993] ppid=29981 vsize=9824732 CPUtime=8.7 cores=0,2,4,6
/proc/29984/task/29993/stat : 29993 (java) S 29981 29984 27978 0 -1 4202560 27051 0 0 0 820 50 0 0 20 0 22 0 12776117 10060525568 2023561 33554432000 1073741824 1073778376 140737435905392 140161706862888 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29984/tid=29994] ppid=29981 vsize=9824732 CPUtime=9 cores=0,2,4,6
/proc/29984/task/29994/stat : 29994 (java) S 29981 29984 27978 0 -1 4202560 25009 0 0 0 840 60 0 0 20 0 22 0 12776117 10060525568 2023561 33554432000 1073741824 1073778376 140737435905392 140161705810088 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29984/tid=29995] ppid=29981 vsize=9824732 CPUtime=1227.13 cores=0,2,4,6
/proc/29984/task/29995/stat : 29995 (java) R 29981 29984 27978 0 -1 4202560 24327 0 0 0 122673 40 0 0 20 0 22 0 12776118 10060525568 2023561 33554432000 1073741824 1073778376 140737435905392 140161223482280 140161876098177 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=29984/tid=29996] ppid=29981 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29984/task/29996/stat : 29996 (java) S 29981 29984 27978 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 12776118 10060525568 2023561 33554432000 1073741824 1073778376 140737435905392 140161222428408 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29984/tid=29997] ppid=29981 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29984/task/29997/stat : 29997 (java) S 29981 29984 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 12776118 10060525568 2023561 33554432000 1073741824 1073778376 140737435905392 140161221375496 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29984/tid=29998] ppid=29981 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29984/task/29998/stat : 29998 (java) S 29981 29984 27978 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 12776120 10060525568 2023561 33554432000 1073741824 1073778376 140737435905392 140161220322872 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29984/tid=29999] ppid=29981 vsize=9824732 CPUtime=0.83 cores=0,2,4,6
/proc/29984/task/29999/stat : 29999 (java) S 29981 29984 27978 0 -1 4202560 4061 0 0 0 82 1 0 0 20 0 22 0 12776120 10060525568 2023561 33554432000 1073741824 1073778376 140737435905392 140161219271096 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29984/tid=30000] ppid=29981 vsize=9824732 CPUtime=1.1 cores=0,2,4,6
/proc/29984/task/30000/stat : 30000 (java) S 29981 29984 27978 0 -1 4202560 5470 0 0 0 110 0 0 0 20 0 22 0 12776120 10060525568 2023561 33554432000 1073741824 1073778376 140737435905392 140161218218296 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29984/tid=30001] ppid=29981 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29984/task/30001/stat : 30001 (java) S 29981 29984 27978 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 12776120 10060525568 2023561 33554432000 1073741824 1073778376 140737435905392 140161217165688 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29984/tid=30002] ppid=29981 vsize=9824732 CPUtime=0.66 cores=0,2,4,6
/proc/29984/task/30002/stat : 30002 (java) S 29981 29984 27978 0 -1 4202560 87 0 0 0 36 30 0 0 20 0 22 0 12776120 10060525568 2023561 33554432000 1073741824 1073778376 140737435905392 140161216113096 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29984/tid=30606] ppid=29981 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29984/task/30606/stat : 30606 (java) S 29981 29984 27978 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 12784381 10060525568 2023561 33554432000 1073741824 1073778376 140737435905392 140161211901224 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29984/tid=30615] ppid=29981 vsize=9824732 CPUtime=9.09 cores=0,2,4,6
/proc/29984/task/30615/stat : 30615 (java) S 29981 29984 27978 0 -1 4202560 2 0 0 0 909 0 0 0 20 0 22 0 12809343 10060525568 2023561 33554432000 1073741824 1073778376 140737435905392 140161214004120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29984/tid=30616] ppid=29981 vsize=9824732 CPUtime=9.1 cores=0,2,4,6
/proc/29984/task/30616/stat : 30616 (java) S 29981 29984 27978 0 -1 4202560 31 0 0 0 910 0 0 0 20 0 22 0 12809343 10060525568 2023561 33554432000 1073741824 1073778376 140737435905392 140161215057240 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29984/tid=30617] ppid=29981 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29984/task/30617/stat : 30617 (java) S 29981 29984 27978 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 12810648 10060525568 2023561 33554432000 1073741824 1073778376 140737435905392 140161212953512 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1801.32
Current children cumulated vsize (KiB) 9824732

Child ended because it received signal 9 (SIGKILL)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 29984 and gives
#  childrusage.ru_utime.tv_sec=1792
#  childrusage.ru_utime.tv_usec=390515
#  childrusage.ru_stime.tv_sec=5
#  childrusage.ru_stime.tv_usec=951095
# CPU time returned by wait4() is 1798.34
# while last known CPU time is 1801.32
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


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

Real time (s): 1519.24
CPU time (s): 1802.07
CPU user time (s): 1796.58
CPU system time (s): 5.49
CPU usage (%): 118.616
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.39
system time used= 5.95109
maximum resident set size= 8097424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 209607
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1544
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 64275
involuntary context switches= 40841

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.53455 second user time and 12.5531 second system time

The end

Launcher Data 

Begin job on node116 at 2016-06-16 22:01:14
IDJOB=4091825
IDBENCH=79629
IDSOLVER=2552
FILE ID=node116/4091825-1466107269
RUNJOBID= node116-1466103654-28446
PBS_JOBID= 19904066
Free space on /tmp= 71320 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/pedigree/normalized-sheep4r_wcsp.wbo
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4091825-1466107269/watcher-4091825-1466107269 -o /tmp/evaluation-result-4091825-1466107269/solver-4091825-1466107269 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466103654-28446 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4091825-1466107269.wbo

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

MD5SUM BENCH= 6de6e540477f7e35d5e4504631857538
RANDOM SEED=570596818

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        26117812 kB
Buffers:           49364 kB
Cached:           431424 kB
SwapCached:         2820 kB
Active:          4380044 kB
Inactive:          91076 kB
Active(anon):    3991004 kB
Inactive(anon):     1948 kB
Active(file):     389040 kB
Inactive(file):    89128 kB
Unevictable:     1543284 kB
Mlocked:         1430864 kB
SwapTotal:      67108856 kB
SwapFree:       67099404 kB
Dirty:            322028 kB
Writeback:             0 kB
AnonPages:       5540564 kB
Mapped:            15308 kB
Shmem:                 0 kB
Slab:             591228 kB
SReclaimable:      30968 kB
SUnreclaim:       560260 kB
KernelStack:        1576 kB
PageTables:        14984 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    6459240 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4030464 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= 71324 MiB
End job on node116 at 2016-06-16 22:26:33