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 in four parts:
  1. 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 provide some useful information on the computer.
  2. 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 !
  3. 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 1200 seconds. 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 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    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.
  4. 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.

General information on the benchmark

Namemps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-10teams.opb
MD5SUM130bea0863cb3f92addf09aabe15daa3
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 956
Optimality of the best value was proved NO
Number of terms in the objective function 1800
Biggest coefficient in the objective function 86
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 41700
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 86
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 41700
Number of bits of the biggest sum of numbers16
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1189.03
Number of variables1800
Total number of constraints2015
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)2015
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint72

Trace number 8881

Launcher Data

LAUNCH ON wulflinc22 THE 2005-09-20 19:43:12 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=6914 boxname=wulflinc22 idbench=1054 idsolver=6 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  130bea0863cb3f92addf09aabe15daa3  /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-13-7-10teams.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-13-7-10teams.opb
IDLAUNCH: 6914
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        913704 kB
Buffers:          7672 kB
Cached:          86100 kB
SwapCached:        680 kB
Active:          24148 kB
Inactive:        72240 kB
HighTotal:      131008 kB
HighFree:        47936 kB
LowTotal:       903652 kB
LowFree:        865768 kB
SwapTotal:     2097892 kB
SwapFree:      2096640 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5692 kB
Slab:            18940 kB
Committed_AS:    64304 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 20:04:13 (client local time) WITH STATUS 143 IN 1269.7 SECONDS
stats: 6914 0 1269.7 143

Solver Data

c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version JAVA5.1.1.31
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@a20892
c org.sat4j.minisat.constraints.PBMinDataStructure@1e0bc08
c org.sat4j.minisat.learning.MiniSATLearning@158b649
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c VSIDS like heuristics from MiniSAT using a sorted array
c No reason simplification
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-13-7-10teams.opb
c reading problem ... done. Time 3.559 ms.
c #vars     1800
c #constraints  335
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                1022 		Current CPU time: 71.62 ms
c starts		: 7
c conflicts		: 1220
c decisions		: 7664
c propagations		: 80871
c inspects		: 777961
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 1220
c root simplifications	: 7
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 5934
c speed (decisions/second)	: 6.4559606442482655
c non guided choices	900
c random choices	0
s SATISFIABLE
v -x10212_bit0 -x10312_bit0 -x20312_bit0 -x10412_bit0 -x20412_bit0 -x30412_bit0 -x10512_bit0 -x20512_bit0 -x30512_bit0 -x40512_bit0 -x10612_bit0 -x20612_bit0 -x30612_bit0 -x40612_bit0 -x50612_bit0 -x10712_bit0 -x20712_bit0 -x30712_bit0 -x40712_bit0 -x50712_bit0 -x60712_bit0 -x10812_bit0 -x20812_bit0 -x30812_bit0 -x40812_bit0 -x50812_bit0 -x60812_bit0 -x70812_bit0 -x10912_bit0 -x20912_bit0 -x30912_bit0 -x40912_bit0 x50912_bit0 -x60912_bit0 -x70912_bit0 -x80912_bit0 -x11012_bit0 -x21012_bit0 -x31012_bit0 -x41012_bit0 -x51012_bit0 -x61012_bit0 -x71012_bit0 -x81012_bit0 -x91012_bit0 -x10222_bit0 -x10322_bit0 -x20322_bit0 -x10422_bit0 -x20422_bit0 -x30422_bit0 -x10522_bit0 -x20522_bit0 -x30522_bit0 -x40522_bit0 -x10622_bit0 -x20622_bit0 -x30622_bit0 x40622_bit0 -x50622_bit0 -x10722_bit0 -x20722_bit0 -x30722_bit0 -x40722_bit0 -x50722_bit0 -x60722_bit0 -x10822_bit0 -x20822_bit0 -x30822_bit0 -x40822_bit0 -x50822_bit0 -x60822_bit0 -x70822_bit0 -x10922_bit0 -x20922_bit0 -x30922_bit0 -x40922_bit0 -x50922_bit0 -x60922_bit0 -x70922_bit0 -x80922_bit0 -x11022_bit0 -x21022_bit0 -x31022_bit0 -x41022_bit0 -x51022_bit0 -x61022_bit0 -x71022_bit0 -x81022_bit0 -x91022_bit0 -x10232_bit0 x10332_bit0 -x20332_bit0 -x10432_bit0 -x20432_bit0 -x30432_bit0 -x10532_bit0 -x20532_bit0 -x30532_bit0 -x40532_bit0 -x10632_bit0 -x20632_bit0 -x30632_bit0 -x40632_bit0 -x50632_bit0 -x10732_bit0 -x20732_bit0 -x30732_bit0 -x40732_bit0 -x50732_bit0 -x60732_bit0 -x10832_bit0 -x20832_bit0 -x30832_bit0 -x40832_bit0 -x50832_bit0 -x60832_bit0 -x70832_bit0 -x10932_bit0 -x20932_bit0 -x30932_bit0 -x40932_bit0 -x50932_bit0 -x60932_bit0 -x70932_bit0 -x80932_bit0 -x11032_bit0 -x21032_bit0 -x31032_bit0 -x41032_bit0 -x51032_bit0 -x61032_bit0 -x71032_bit0 -x81032_bit0 -x91032_bit0 -x10242_bit0 -x10342_bit0 -x20342_bit0 -x10442_bit0 -x20442_bit0 -x30442_bit0 -x10542_bit0 -x20542_bit0 -x30542_bit0 -x40542_bit0 -x10642_bit0 -x20642_bit0 -x30642_bit0 -x40642_bit0 -x50642_bit0 -x10742_bit0 -x20742_bit0 -x30742_bit0 -x40742_bit0 -x50742_bit0 -x60742_bit0 -x10842_bit0 x20842_bit0 -x30842_bit0 -x40842_bit0 -x50842_bit0 -x60842_bit0 -x70842_bit0 -x10942_bit0 -x20942_bit0 -x30942_bit0 -x40942_bit0 -x50942_bit0 -x60942_bit0 -x70942_bit0 -x80942_bit0 -x11042_bit0 -x21042_bit0 -x31042_bit0 -x41042_bit0 -x51042_bit0 -x61042_bit0 -x71042_bit0 -x81042_bit0 -x91042_bit0 -x10252_bit0 -x10352_bit0 -x20352_bit0 -x10452_bit0 -x20452_bit0 -x30452_bit0 -x10552_bit0 -x20552_bit0 -x30552_bit0 -x40552_bit0 -x10652_bit0 -x20652_bit0 -x30652_bit0 -x40652_bit0 -x50652_bit0 -x10752_bit0 -x20752_bit0 -x30752_bit0 -x40752_bit0 -x50752_bit0 -x60752_bit0 -x10852_bit0 -x20852_bit0 -x30852_bit0 -x40852_bit0 -x50852_bit0 -x60852_bit0 -x70852_bit0 -x10952_bit0 -x20952_bit0 -x30952_bit0 -x40952_bit0 -x50952_bit0 -x60952_bit0 -x70952_bit0 -x80952_bit0 -x11052_bit0 -x21052_bit0 -x31052_bit0 -x41052_bit0 -x51052_bit0 -x61052_bit0 x71052_bit0 -x81052_bit0 -x91052_bit0 -x10213_bit0 -x10313_bit0 -x20313_bit0 -x10413_bit0 -x20413_bit0 -x30413_bit0 -x10513_bit0 -x20513_bit0 -x30513_bit0 -x40513_bit0 -x10613_bit0 -x20613_bit0 -x30613_bit0 -x40613_bit0 -x50613_bit0 -x10713_bit0 -x20713_bit0 x30713_bit0 -x40713_bit0 -x50713_bit0 -x60713_bit0 -x10813_bit0 -x20813_bit0 -x30813_bit0 -x40813_bit0 -x50813_bit0 -x60813_bit0 -x70813_bit0 -x10913_bit0 -x20913_bit0 -x30913_bit0 -x40913_bit0 -x50913_bit0 -x60913_bit0 -x70913_bit0 -x80913_bit0 -x11013_bit0 -x21013_bit0 -x31013_bit0 -x41013_bit0 -x51013_bit0 -x61013_bit0 -x71013_bit0 -x81013_bit0 -x91013_bit0 -x10223_bit0 -x10323_bit0 -x20323_bit0 -x10423_bit0 -x20423_bit0 -x30423_bit0 -x10523_bit0 -x20523_bit0 -x30523_bit0 -x40523_bit0 -x10623_bit0 -x20623_bit0 -x30623_bit0 -x40623_bit0 -x50623_bit0 -x10723_bit0 -x20723_bit0 -x30723_bit0 -x40723_bit0 -x50723_bit0 -x60723_bit0 -x10823_bit0 -x20823_bit0 -x30823_bit0 -x40823_bit0 -x50823_bit0 -x60823_bit0 -x70823_bit0 -x10923_bit0 -x20923_bit0 -x30923_bit0 -x40923_bit0 -x50923_bit0 x60923_bit0 -x70923_bit0 -x80923_bit0 -x11023_bit0 -x21023_bit0 -x31023_bit0 -x41023_bit0 -x51023_bit0 -x61023_bit0 -x71023_bit0 -x81023_bit0 -x91023_bit0 -x10233_bit0 -x10333_bit0 -x20333_bit0 -x10433_bit0 -x20433_bit0 -x30433_bit0 -x10533_bit0 -x20533_bit0 -x30533_bit0 -x40533_bit0 -x10633_bit0 -x20633_bit0 -x30633_bit0 -x40633_bit0 -x50633_bit0 -x10733_bit0 -x20733_bit0 -x30733_bit0 -x40733_bit0 -x50733_bit0 -x60733_bit0 x10833_bit0 -x20833_bit0 -x30833_bit0 -x40833_bit0 -x50833_bit0 -x60833_bit0 -x70833_bit0 -x10933_bit0 -x20933_bit0 -x30933_bit0 -x40933_bit0 -x50933_bit0 -x60933_bit0 -x70933_bit0 -x80933_bit0 -x11033_bit0 -x21033_bit0 -x31033_bit0 -x41033_bit0 -x51033_bit0 -x61033_bit0 -x71033_bit0 -x81033_bit0 -x91033_bit0 -x10243_bit0 -x10343_bit0 -x20343_bit0 -x10443_bit0 -x20443_bit0 -x30443_bit0 -x10543_bit0 -x20543_bit0 -x30543_bit0 -x40543_bit0 -x10643_bit0 -x20643_bit0 -x30643_bit0 -x40643_bit0 -x50643_bit0 -x10743_bit0 -x20743_bit0 -x30743_bit0 -x40743_bit0 -x50743_bit0 -x60743_bit0 -x10843_bit0 -x20843_bit0 -x30843_bit0 -x40843_bit0 -x50843_bit0 -x60843_bit0 -x70843_bit0 -x10943_bit0 -x20943_bit0 -x30943_bit0 -x40943_bit0 -x50943_bit0 -x60943_bit0 -x70943_bit0 -x80943_bit0 -x11043_bit0 -x21043_bit0 -x31043_bit0 -x41043_bit0 x51043_bit0 -x61043_bit0 -x71043_bit0 -x81043_bit0 -x91043_bit0 -x10253_bit0 -x10353_bit0 -x20353_bit0 -x10453_bit0 x20453_bit0 -x30453_bit0 -x10553_bit0 -x20553_bit0 -x30553_bit0 -x40553_bit0 -x10653_bit0 -x20653_bit0 -x30653_bit0 -x40653_bit0 -x50653_bit0 -x10753_bit0 -x20753_bit0 -x30753_bit0 -x40753_bit0 -x50753_bit0 -x60753_bit0 -x10853_bit0 -x20853_bit0 -x30853_bit0 -x40853_bit0 -x50853_bit0 -x60853_bit0 -x70853_bit0 -x10953_bit0 -x20953_bit0 -x30953_bit0 -x40953_bit0 -x50953_bit0 -x60953_bit0 -x70953_bit0 -x80953_bit0 -x11053_bit0 -x21053_bit0 -x31053_bit0 -x41053_bit0 -x51053_bit0 -x61053_bit0 -x71053_bit0 -x81053_bit0 -x91053_bit0 -x10214_bit0 -x10314_bit0 -x20314_bit0 -x10414_bit0 -x20414_bit0 -x30414_bit0 -x10514_bit0 -x20514_bit0 -x30514_bit0 -x40514_bit0 -x10614_bit0 -x20614_bit0 -x30614_bit0 -x40614_bit0 -x50614_bit0 -x10714_bit0 -x20714_bit0 -x30714_bit0 -x40714_bit0 -x50714_bit0 -x60714_bit0 -x10814_bit0 -x20814_bit0 -x30814_bit0 -x40814_bit0 x50814_bit0 -x60814_bit0 -x70814_bit0 -x10914_bit0 -x20914_bit0 -x30914_bit0 -x40914_bit0 -x50914_bit0 -x60914_bit0 -x70914_bit0 -x80914_bit0 -x11014_bit0 -x21014_bit0 -x31014_bit0 -x41014_bit0 -x51014_bit0 -x61014_bit0 -x71014_bit0 -x81014_bit0 -x91014_bit0 -x10224_bit0 -x10324_bit0 -x20324_bit0 -x10424_bit0 -x20424_bit0 -x30424_bit0 -x10524_bit0 -x20524_bit0 -x30524_bit0 -x40524_bit0 -x10624_bit0 -x20624_bit0 -x30624_bit0 -x40624_bit0 -x50624_bit0 -x10724_bit0 x20724_bit0 -x30724_bit0 -x40724_bit0 -x50724_bit0 -x60724_bit0 -x10824_bit0 -x20824_bit0 -x30824_bit0 -x40824_bit0 -x50824_bit0 -x60824_bit0 -x70824_bit0 -x10924_bit0 -x20924_bit0 -x30924_bit0 -x40924_bit0 -x50924_bit0 -x60924_bit0 -x70924_bit0 -x80924_bit0 -x11024_bit0 -x21024_bit0 -x31024_bit0 -x41024_bit0 -x51024_bit0 -x61024_bit0 -x71024_bit0 -x81024_bit0 -x91024_bit0 -x10234_bit0 -x10334_bit0 -x20334_bit0 -x10434_bit0 -x20434_bit0 -x30434_bit0 -x10534_bit0 -x20534_bit0 -x30534_bit0 -x40534_bit0 -x10634_bit0 -x20634_bit0 -x30634_bit0 -x40634_bit0 -x50634_bit0 -x10734_bit0 -x20734_bit0 -x30734_bit0 -x40734_bit0 -x50734_bit0 -x60734_bit0 -x10834_bit0 -x20834_bit0 -x30834_bit0 -x40834_bit0 -x50834_bit0 -x60834_bit0 -x70834_bit0 -x10934_bit0 -x20934_bit0 -x30934_bit0 x40934_bit0 -x50934_bit0 -x60934_bit0 -x70934_bit0 -x80934_bit0 -x11034_bit0 -x21034_bit0 -x31034_bit0 -x41034_bit0 -x51034_bit0 -x61034_bit0 -x71034_bit0 -x81034_bit0 -x91034_bit0 -x10244_bit0 -x10344_bit0 -x20344_bit0 -x10444_bit0 -x20444_bit0 -x30444_bit0 -x10544_bit0 -x20544_bit0 -x30544_bit0 -x40544_bit0 -x10644_bit0 -x20644_bit0 -x30644_bit0 -x40644_bit0 -x50644_bit0 -x10744_bit0 -x20744_bit0 -x30744_bit0 -x40744_bit0 -x50744_bit0 -x60744_bit0 -x10844_bit0 -x20844_bit0 -x30844_bit0 -x40844_bit0 -x50844_bit0 -x60844_bit0 -x70844_bit0 -x10944_bit0 -x20944_bit0 -x30944_bit0 -x40944_bit0 -x50944_bit0 -x60944_bit0 -x70944_bit0 -x80944_bit0 x11044_bit0 -x21044_bit0 -x31044_bit0 -x41044_bit0 -x51044_bit0 -x61044_bit0 -x71044_bit0 -x81044_bit0 -x91044_bit0 -x10254_bit0 -x10354_bit0 -x20354_bit0 -x10454_bit0 -x20454_bit0 -x30454_bit0 -x10554_bit0 -x20554_bit0 -x30554_bit0 -x40554_bit0 -x10654_bit0 -x20654_bit0 x30654_bit0 -x40654_bit0 -x50654_bit0 -x10754_bit0 -x20754_bit0 -x30754_bit0 -x40754_bit0 -x50754_bit0 -x60754_bit0 -x10854_bit0 -x20854_bit0 -x30854_bit0 -x40854_bit0 -x50854_bit0 -x60854_bit0 -x70854_bit0 -x10954_bit0 -x20954_bit0 -x30954_bit0 -x40954_bit0 -x50954_bit0 -x60954_bit0 -x70954_bit0 -x80954_bit0 -x11054_bit0 -x21054_bit0 -x31054_bit0 -x41054_bit0 -x51054_bit0 -x61054_bit0 -x71054_bit0 -x81054_bit0 -x91054_bit0 -x10215_bit0 -x10315_bit0 -x20315_bit0 x10415_bit0 -x20415_bit0 -x30415_bit0 -x10515_bit0 -x20515_bit0 -x30515_bit0 -x40515_bit0 -x10615_bit0 -x20615_bit0 -x30615_bit0 -x40615_bit0 -x50615_bit0 -x10715_bit0 -x20715_bit0 -x30715_bit0 -x40715_bit0 -x50715_bit0 -x60715_bit0 -x10815_bit0 -x20815_bit0 -x30815_bit0 -x40815_bit0 -x50815_bit0 -x60815_bit0 -x70815_bit0 -x10915_bit0 -x20915_bit0 -x30915_bit0 -x40915_bit0 -x50915_bit0 -x60915_bit0 -x70915_bit0 -x80915_bit0 -x11015_bit0 -x21015_bit0 -x31015_bit0 -x41015_bit0 -x51015_bit0 -x61015_bit0 -x71015_bit0 -x81015_bit0 -x91015_bit0 -x10225_bit0 -x10325_bit0 -x20325_bit0 -x10425_bit0 -x20425_bit0 -x30425_bit0 -x10525_bit0 -x20525_bit0 -x30525_bit0 -x40525_bit0 -x10625_bit0 -x20625_bit0 -x30625_bit0 -x40625_bit0 -x50625_bit0 -x10725_bit0 -x20725_bit0 -x30725_bit0 -x40725_bit0 -x50725_bit0 -x60725_bit0 -x10825_bit0 -x20825_bit0 -x30825_bit0 -x40825_bit0 -x50825_bit0 -x60825_bit0 -x70825_bit0 -x10925_bit0 -x20925_bit0 -x30925_bit0 -x40925_bit0 -x50925_bit0 -x60925_bit0 -x70925_bit0 x80925_bit0 -x11025_bit0 -x21025_bit0 -x31025_bit0 -x41025_bit0 -x51025_bit0 -x61025_bit0 -x71025_bit0 -x81025_bit0 -x91025_bit0 -x10235_bit0 -x10335_bit0 -x20335_bit0 -x10435_bit0 -x20435_bit0 -x30435_bit0 -x10535_bit0 -x20535_bit0 -x30535_bit0 -x40535_bit0 -x10635_bit0 -x20635_bit0 -x30635_bit0 -x40635_bit0 -x50635_bit0 -x10735_bit0 -x20735_bit0 -x30735_bit0 -x40735_bit0 -x50735_bit0 -x60735_bit0 -x10835_bit0 -x20835_bit0 -x30835_bit0 -x40835_bit0 -x50835_bit0 -x60835_bit0 -x70835_bit0 -x10935_bit0 -x20935_bit0 -x30935_bit0 -x40935_bit0 -x50935_bit0 -x60935_bit0 -x70935_bit0 -x80935_bit0 -x11035_bit0 -x21035_bit0 -x31035_bit0 -x41035_bit0 -x51035_bit0 x61035_bit0 -x71035_bit0 -x81035_bit0 -x91035_bit0 -x10245_bit0 -x10345_bit0 x20345_bit0 -x10445_bit0 -x20445_bit0 -x30445_bit0 -x10545_bit0 -x20545_bit0 -x30545_bit0 -x40545_bit0 -x10645_bit0 -x20645_bit0 -x30645_bit0 -x40645_bit0 -x50645_bit0 -x10745_bit0 -x20745_bit0 -x30745_bit0 -x40745_bit0 -x50745_bit0 -x60745_bit0 -x10845_bit0 -x20845_bit0 -x30845_bit0 -x40845_bit0 -x50845_bit0 -x60845_bit0 -x70845_bit0 -x10945_bit0 -x20945_bit0 -x30945_bit0 -x40945_bit0 -x50945_bit0 -x60945_bit0 -x70945_bit0 -x80945_bit0 -x11045_bit0 -x21045_bit0 -x31045_bit0 -x41045_bit0 -x51045_bit0 -x61045_bit0 -x71045_bit0 -x81045_bit0 -x91045_bit0 -x10255_bit0 -x10355_bit0 -x20355_bit0 -x10455_bit0 -x20455_bit0 -x30455_bit0 -x10555_bit0 -x20555_bit0 -x30555_bit0 -x40555_bit0 -x10655_bit0 -x20655_bit0 -x30655_bit0 -x40655_bit0 -x50655_bit0 -x10755_bit0 -x20755_bit0 -x30755_bit0 -x40755_bit0 x50755_bit0 -x60755_bit0 -x10855_bit0 -x20855_bit0 -x30855_bit0 -x40855_bit0 -x50855_bit0 -x60855_bit0 -x70855_bit0 -x10955_bit0 -x20955_bit0 -x30955_bit0 -x40955_bit0 -x50955_bit0 -x60955_bit0 -x70955_bit0 -x80955_bit0 -x11055_bit0 -x21055_bit0 -x31055_bit0 -x41055_bit0 -x51055_bit0 -x61055_bit0 -x71055_bit0 -x81055_bit0 -x91055_bit0 -x10216_bit0 -x10316_bit0 -x20316_bit0 -x10416_bit0 -x20416_bit0 -x30416_bit0 -x10516_bit0 -x20516_bit0 -x30516_bit0 -x40516_bit0 -x10616_bit0 x20616_bit0 -x30616_bit0 -x40616_bit0 -x50616_bit0 -x10716_bit0 -x20716_bit0 -x30716_bit0 -x40716_bit0 -x50716_bit0 -x60716_bit0 -x10816_bit0 -x20816_bit0 -x30816_bit0 -x40816_bit0 -x50816_bit0 -x60816_bit0 -x70816_bit0 -x10916_bit0 -x20916_bit0 -x30916_bit0 -x40916_bit0 -x50916_bit0 -x60916_bit0 -x70916_bit0 -x80916_bit0 -x11016_bit0 -x21016_bit0 -x31016_bit0 -x41016_bit0 -x51016_bit0 -x61016_bit0 -x71016_bit0 -x81016_bit0 -x91016_bit0 -x10226_bit0 -x10326_bit0 -x20326_bit0 -x10426_bit0 -x20426_bit0 -x30426_bit0 -x10526_bit0 -x20526_bit0 -x30526_bit0 -x40526_bit0 -x10626_bit0 -x20626_bit0 -x30626_bit0 -x40626_bit0 -x50626_bit0 -x10726_bit0 -x20726_bit0 -x30726_bit0 -x40726_bit0 -x50726_bit0 -x60726_bit0 -x10826_bit0 -x20826_bit0 -x30826_bit0 -x40826_bit0 -x50826_bit0 -x60826_bit0 -x70826_bit0 -x10926_bit0 -x20926_bit0 -x30926_bit0 -x40926_bit0 -x50926_bit0 -x60926_bit0 -x70926_bit0 -x80926_bit0 -x11026_bit0 -x21026_bit0 -x31026_bit0 -x41026_bit0 -x51026_bit0 -x61026_bit0 -x71026_bit0 x81026_bit0 -x91026_bit0 -x10236_bit0 -x10336_bit0 -x20336_bit0 -x10436_bit0 -x20436_bit0 -x30436_bit0 -x10536_bit0 -x20536_bit0 -x30536_bit0 -x40536_bit0 -x10636_bit0 -x20636_bit0 -x30636_bit0 -x40636_bit0 -x50636_bit0 -x10736_bit0 -x20736_bit0 -x30736_bit0 x40736_bit0 -x50736_bit0 -x60736_bit0 -x10836_bit0 -x20836_bit0 -x30836_bit0 -x40836_bit0 -x50836_bit0 -x60836_bit0 -x70836_bit0 -x10936_bit0 -x20936_bit0 -x30936_bit0 -x40936_bit0 -x50936_bit0 -x60936_bit0 -x70936_bit0 -x80936_bit0 -x11036_bit0 -x21036_bit0 -x31036_bit0 -x41036_bit0 -x51036_bit0 -x61036_bit0 -x71036_bit0 -x81036_bit0 -x91036_bit0 -x10246_bit0 -x10346_bit0 -x20346_bit0 -x10446_bit0 -x20446_bit0 -x30446_bit0 -x10546_bit0 -x20546_bit0 -x30546_bit0 -x40546_bit0 -x10646_bit0 -x20646_bit0 -x30646_bit0 -x40646_bit0 -x50646_bit0 -x10746_bit0 -x20746_bit0 -x30746_bit0 -x40746_bit0 -x50746_bit0 -x60746_bit0 -x10846_bit0 -x20846_bit0 -x30846_bit0 -x40846_bit0 -x50846_bit0 -x60846_bit0 -x70846_bit0 -x10946_bit0 -x20946_bit0 x30946_bit0 -x40946_bit0 -x50946_bit0 -x60946_bit0 -x70946_bit0 -x80946_bit0 -x11046_bit0 -x21046_bit0 -x31046_bit0 -x41046_bit0 -x51046_bit0 -x61046_bit0 -x71046_bit0 -x81046_bit0 -x91046_bit0 -x10256_bit0 -x10356_bit0 -x20356_bit0 -x10456_bit0 -x20456_bit0 -x30456_bit0 x10556_bit0 -x20556_bit0 -x30556_bit0 -x40556_bit0 -x10656_bit0 -x20656_bit0 -x30656_bit0 -x40656_bit0 -x50656_bit0 -x10756_bit0 -x20756_bit0 -x30756_bit0 -x40756_bit0 -x50756_bit0 -x60756_bit0 -x10856_bit0 -x20856_bit0 -x30856_bit0 -x40856_bit0 -x50856_bit0 -x60856_bit0 -x70856_bit0 -x10956_bit0 -x20956_bit0 -x30956_bit0 -x40956_bit0 -x50956_bit0 -x60956_bit0 -x70956_bit0 -x80956_bit0 -x11056_bit0 -x21056_bit0 -x31056_bit0 -x41056_bit0 -x51056_bit0 -x61056_bit0 -x71056_bit0 -x81056_bit0 -x91056_bit0 -x10217_bit0 -x10317_bit0 -x20317_bit0 -x10417_bit0 -x20417_bit0 -x30417_bit0 -x10517_bit0 -x20517_bit0 -x30517_bit0 -x40517_bit0 -x10617_bit0 -x20617_bit0 -x30617_bit0 -x40617_bit0 -x50617_bit0 -x10717_bit0 -x20717_bit0 -x30717_bit0 -x40717_bit0 -x50717_bit0 -x60717_bit0 -x10817_bit0 -x20817_bit0 -x30817_bit0 -x40817_bit0 -x50817_bit0 -x60817_bit0 -x70817_bit0 -x10917_bit0 -x20917_bit0 -x30917_bit0 -x40917_bit0 -x50917_bit0 -x60917_bit0 -x70917_bit0 -x80917_bit0 -x11017_bit0 -x21017_bit0 -x31017_bit0 x41017_bit0 -x51017_bit0 -x61017_bit0 -x71017_bit0 -x81017_bit0 -x91017_bit0 -x10227_bit0 -x10327_bit0 -x20327_bit0 -x10427_bit0 -x20427_bit0 -x30427_bit0 -x10527_bit0 x20527_bit0 -x30527_bit0 -x40527_bit0 -x10627_bit0 -x20627_bit0 -x30627_bit0 -x40627_bit0 -x50627_bit0 -x10727_bit0 -x20727_bit0 -x30727_bit0 -x40727_bit0 -x50727_bit0 -x60727_bit0 -x10827_bit0 -x20827_bit0 -x30827_bit0 -x40827_bit0 -x50827_bit0 -x60827_bit0 -x70827_bit0 -x10927_bit0 -x20927_bit0 -x30927_bit0 -x40927_bit0 -x50927_bit0 -x60927_bit0 -x70927_bit0 -x80927_bit0 -x11027_bit0 -x21027_bit0 -x31027_bit0 -x41027_bit0 -x51027_bit0 -x61027_bit0 -x71027_bit0 -x81027_bit0 -x91027_bit0 -x10237_bit0 -x10337_bit0 -x20337_bit0 -x10437_bit0 -x20437_bit0 -x30437_bit0 -x10537_bit0 -x20537_bit0 -x30537_bit0 -x40537_bit0 -x10637_bit0 -x20637_bit0 -x30637_bit0 -x40637_bit0 -x50637_bit0 -x10737_bit0 -x20737_bit0 -x30737_bit0 -x40737_bit0 -x50737_bit0 -x60737_bit0 -x10837_bit0 -x20837_bit0 x30837_bit0 -x40837_bit0 -x50837_bit0 -x60837_bit0 -x70837_bit0 -x10937_bit0 -x20937_bit0 -x30937_bit0 -x40937_bit0 -x50937_bit0 -x60937_bit0 -x70937_bit0 -x80937_bit0 -x11037_bit0 -x21037_bit0 -x31037_bit0 -x41037_bit0 -x51037_bit0 -x61037_bit0 -x71037_bit0 -x81037_bit0 -x91037_bit0 -x10247_bit0 -x10347_bit0 -x20347_bit0 -x10447_bit0 -x20447_bit0 -x30447_bit0 -x10547_bit0 -x20547_bit0 -x30547_bit0 -x40547_bit0 -x10647_bit0 -x20647_bit0 -x30647_bit0 -x40647_bit0 -x50647_bit0 -x10747_bit0 -x20747_bit0 -x30747_bit0 -x40747_bit0 -x50747_bit0 x60747_bit0 -x10847_bit0 -x20847_bit0 -x30847_bit0 -x40847_bit0 -x50847_bit0 -x60847_bit0 -x70847_bit0 -x10947_bit0 -x20947_bit0 -x30947_bit0 -x40947_bit0 -x50947_bit0 -x60947_bit0 -x70947_bit0 -x80947_bit0 -x11047_bit0 -x21047_bit0 -x31047_bit0 -x41047_bit0 -x51047_bit0 -x61047_bit0 -x71047_bit0 -x81047_bit0 -x91047_bit0 -x10257_bit0 -x10357_bit0 -x20357_bit0 -x10457_bit0 -x20457_bit0 -x30457_bit0 -x10557_bit0 -x20557_bit0 -x30557_bit0 -x40557_bit0 -x10657_bit0 -x20657_bit0 -x30657_bit0 -x40657_bit0 -x50657_bit0 -x10757_bit0 -x20757_bit0 -x30757_bit0 -x40757_bit0 -x50757_bit0 -x60757_bit0 -x10857_bit0 -x20857_bit0 -x30857_bit0 -x40857_bit0 -x50857_bit0 -x60857_bit0 -x70857_bit0 x10957_bit0 -x20957_bit0 -x30957_bit0 -x40957_bit0 -x50957_bit0 -x60957_bit0 -x70957_bit0 -x80957_bit0 -x11057_bit0 -x21057_bit0 -x31057_bit0 -x41057_bit0 -x51057_bit0 -x61057_bit0 -x71057_bit0 -x81057_bit0 -x91057_bit0 -x10218_bit0 -x10318_bit0 -x20318_bit0 -x10418_bit0 -x20418_bit0 -x30418_bit0 -x10518_bit0 -x20518_bit0 -x30518_bit0 -x40518_bit0 -x10618_bit0 -x20618_bit0 -x30618_bit0 -x40618_bit0 -x50618_bit0 -x10718_bit0 -x20718_bit0 -x30718_bit0 -x40718_bit0 -x50718_bit0 -x60718_bit0 -x10818_bit0 -x20818_bit0 -x30818_bit0 -x40818_bit0 -x50818_bit0 -x60818_bit0 -x70818_bit0 -x10918_bit0 -x20918_bit0 -x30918_bit0 -x40918_bit0 -x50918_bit0 -x60918_bit0 x70918_bit0 -x80918_bit0 -x11018_bit0 -x21018_bit0 -x31018_bit0 -x41018_bit0 -x51018_bit0 -x61018_bit0 -x71018_bit0 -x81018_bit0 -x91018_bit0 -x10228_bit0 -x10328_bit0 -x20328_bit0 -x10428_bit0 -x20428_bit0 -x30428_bit0 -x10528_bit0 -x20528_bit0 x30528_bit0 -x40528_bit0 -x10628_bit0 -x20628_bit0 -x30628_bit0 -x40628_bit0 -x50628_bit0 -x10728_bit0 -x20728_bit0 -x30728_bit0 -x40728_bit0 -x50728_bit0 -x60728_bit0 -x10828_bit0 -x20828_bit0 -x30828_bit0 -x40828_bit0 -x50828_bit0 -x60828_bit0 -x70828_bit0 -x10928_bit0 -x20928_bit0 -x30928_bit0 -x40928_bit0 -x50928_bit0 -x60928_bit0 -x70928_bit0 -x80928_bit0 -x11028_bit0 -x21028_bit0 -x31028_bit0 -x41028_bit0 -x51028_bit0 -x61028_bit0 -x71028_bit0 -x81028_bit0 -x91028_bit0 -x10238_bit0 -x10338_bit0 -x20338_bit0 -x10438_bit0 -x20438_bit0 -x30438_bit0 -x10538_bit0 -x20538_bit0 -x30538_bit0 -x40538_bit0 -x10638_bit0 -x20638_bit0 -x30638_bit0 -x40638_bit0 -x50638_bit0 -x10738_bit0 -x20738_bit0 -x30738_bit0 -x40738_bit0 -x50738_bit0 -x60738_bit0 -x10838_bit0 -x20838_bit0 -x30838_bit0 -x40838_bit0 -x50838_bit0 -x60838_bit0 -x70838_bit0 -x10938_bit0 -x20938_bit0 -x30938_bit0 -x40938_bit0 -x50938_bit0 -x60938_bit0 -x70938_bit0 -x80938_bit0 -x11038_bit0 x21038_bit0 -x31038_bit0 -x41038_bit0 -x51038_bit0 -x61038_bit0 -x71038_bit0 -x81038_bit0 -x91038_bit0 -x10248_bit0 -x10348_bit0 -x20348_bit0 -x10448_bit0 -x20448_bit0 -x30448_bit0 -x10548_bit0 -x20548_bit0 -x30548_bit0 -x40548_bit0 x10648_bit0 -x20648_bit0 -x30648_bit0 -x40648_bit0 -x50648_bit0 -x10748_bit0 -x20748_bit0 -x30748_bit0 -x40748_bit0 -x50748_bit0 -x60748_bit0 -x10848_bit0 -x20848_bit0 -x30848_bit0 -x40848_bit0 -x50848_bit0 -x60848_bit0 -x70848_bit0 -x10948_bit0 -x20948_bit0 -x30948_bit0 -x40948_bit0 -x50948_bit0 -x60948_bit0 -x70948_bit0 -x80948_bit0 -x11048_bit0 -x21048_bit0 -x31048_bit0 -x41048_bit0 -x51048_bit0 -x61048_bit0 -x71048_bit0 -x81048_bit0 -x91048_bit0 -x10258_bit0 -x10358_bit0 -x20358_bit0 -x10458_bit0 -x20458_bit0 -x30458_bit0 -x10558_bit0 -x20558_bit0 -x30558_bit0 -x40558_bit0 -x10658_bit0 -x20658_bit0 -x30658_bit0 -x40658_bit0 -x50658_bit0 -x10758_bit0 -x20758_bit0 -x30758_bit0 -x40758_bit0 -x50758_bit0 -x60758_bit0 -x10858_bit0 -x20858_bit0 -x30858_bit0 x40858_bit0 -x50858_bit0 -x60858_bit0 -x70858_bit0 -x10958_bit0 -x20958_bit0 -x30958_bit0 -x40958_bit0 -x50958_bit0 -x60958_bit0 -x70958_bit0 -x80958_bit0 -x11058_bit0 -x21058_bit0 -x31058_bit0 -x41058_bit0 -x51058_bit0 -x61058_bit0 -x71058_bit0 -x81058_bit0 -x91058_bit0 -x10219_bit0 -x10319_bit0 -x20319_bit0 -x10419_bit0 -x20419_bit0 -x30419_bit0 -x10519_bit0 -x20519_bit0 -x30519_bit0 -x40519_bit0 -x10619_bit0 -x20619_bit0 -x30619_bit0 -x40619_bit0 -x50619_bit0 -x10719_bit0 -x20719_bit0 -x30719_bit0 -x40719_bit0 -x50719_bit0 -x60719_bit0 -x10819_bit0 -x20819_bit0 -x30819_bit0 -x40819_bit0 -x50819_bit0 -x60819_bit0 -x70819_bit0 -x10919_bit0 -x20919_bit0 -x30919_bit0 -x40919_bit0 -x50919_bit0 -x60919_bit0 -x70919_bit0 -x80919_bit0 -x11019_bit0 -x21019_bit0 x31019_bit0 -x41019_bit0 -x51019_bit0 -x61019_bit0 -x71019_bit0 -x81019_bit0 -x91019_bit0 -x10229_bit0 -x10329_bit0 -x20329_bit0 -x10429_bit0 -x20429_bit0 -x30429_bit0 -x10529_bit0 -x20529_bit0 -x30529_bit0 -x40529_bit0 -x10629_bit0 -x20629_bit0 -x30629_bit0 -x40629_bit0 -x50629_bit0 x10729_bit0 -x20729_bit0 -x30729_bit0 -x40729_bit0 -x50729_bit0 -x60729_bit0 -x10829_bit0 -x20829_bit0 -x30829_bit0 -x40829_bit0 -x50829_bit0 -x60829_bit0 -x70829_bit0 -x10929_bit0 -x20929_bit0 -x30929_bit0 -x40929_bit0 -x50929_bit0 -x60929_bit0 -x70929_bit0 -x80929_bit0 -x11029_bit0 -x21029_bit0 -x31029_bit0 -x41029_bit0 -x51029_bit0 -x61029_bit0 -x71029_bit0 -x81029_bit0 -x91029_bit0 -x10239_bit0 -x10339_bit0 -x20339_bit0 -x10439_bit0 -x20439_bit0 -x30439_bit0 -x10539_bit0 -x20539_bit0 -x30539_bit0 -x40539_bit0 -x10639_bit0 -x20639_bit0 -x30639_bit0 -x40639_bit0 -x50639_bit0 -x10739_bit0 -x20739_bit0 -x30739_bit0 -x40739_bit0 -x50739_bit0 -x60739_bit0 -x10839_bit0 -x20839_bit0 -x30839_bit0 -x40839_bit0 -x50839_bit0 -x60839_bit0 -x70839_bit0 -x10939_bit0 x20939_bit0 -x30939_bit0 -x40939_bit0 -x50939_bit0 -x60939_bit0 -x70939_bit0 -x80939_bit0 -x11039_bit0 -x21039_bit0 -x31039_bit0 -x41039_bit0 -x51039_bit0 -x61039_bit0 -x71039_bit0 -x81039_bit0 -x91039_bit0 -x10249_bit0 -x10349_bit0 -x20349_bit0 -x10449_bit0 -x20449_bit0 -x30449_bit0 -x10549_bit0 -x20549_bit0 -x30549_bit0 x40549_bit0 -x10649_bit0 -x20649_bit0 -x30649_bit0 -x40649_bit0 -x50649_bit0 -x10749_bit0 -x20749_bit0 -x30749_bit0 -x40749_bit0 -x50749_bit0 -x60749_bit0 -x10849_bit0 -x20849_bit0 -x30849_bit0 -x40849_bit0 -x50849_bit0 -x60849_bit0 -x70849_bit0 -x10949_bit0 -x20949_bit0 -x30949_bit0 -x40949_bit0 -x50949_bit0 -x60949_bit0 -x70949_bit0 -x80949_bit0 -x11049_bit0 -x21049_bit0 -x31049_bit0 -x41049_bit0 -x51049_bit0 -x61049_bit0 -x71049_bit0 -x81049_bit0 -x91049_bit0 -x10259_bit0 -x10359_bit0 -x20359_bit0 -x10459_bit0 -x20459_bit0 -x30459_bit0 -x10559_bit0 -x20559_bit0 -x30559_bit0 -x40559_bit0 -x10659_bit0 -x20659_bit0 -x30659_bit0 -x40659_bit0 -x50659_bit0 -x10759_bit0 -x20759_bit0 -x30759_bit0 -x40759_bit0 -x50759_bit0 -x60759_bit0 -x10859_bit0 -x20859_bit0 -x30859_bit0 -x40859_bit0 -x50859_bit0 x60859_bit0 -x70859_bit0 -x10959_bit0 -x20959_bit0 -x30959_bit0 -x40959_bit0 -x50959_bit0 -x60959_bit0 -x70959_bit0 -x80959_bit0 -x11059_bit0 -x21059_bit0 -x31059_bit0 -x41059_bit0 -x51059_bit0 -x61059_bit0 -x71059_bit0 -x81059_bit0 -x91059_bit0 
c objective function=1022
c Total CPU time (ms) : 1258.977

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1861148027 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 39 3 38 16 0 23 0
[pid=27084] vsize: 156
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libpthread.so.0
open syscall for file tls/i686/mmx/libdl.so.2
open syscall for file tls/i686/libdl.so.2
open syscall for file tls/mmx/libdl.so.2
open syscall for file tls/libdl.so.2
open syscall for file i686/mmx/libdl.so.2
open syscall for file i686/libdl.so.2
open syscall for file mmx/libdl.so.2
open syscall for file libdl.so.2
open syscall for file /oldhome/oroussel/lib/libdl.so.2
open syscall for file /lib/libdl.so.2
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/solvers/sat4jPseudoTer.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/jvm.cfg
execve syscall for /oldhome/oroussel/jre1.5.0_05/bin/java executable
open syscall for file /etc/ld.so.preload
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/libpthread.so.0
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libdl.so.2
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libdl.so.2
open syscall for file tls/i686/mmx/libdl.so.2
open syscall for file tls/i686/libdl.so.2
open syscall for file tls/mmx/libdl.so.2
open syscall for file tls/libdl.so.2
open syscall for file i686/mmx/libdl.so.2
open syscall for file i686/libdl.so.2
open syscall for file mmx/libdl.so.2
open syscall for file libdl.so.2
open syscall for file /oldhome/oroussel/lib/libdl.so.2
open syscall for file /lib/libdl.so.2
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libc.so.6
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libc.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/solvers/sat4jPseudoTer.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/jvm.cfg
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libjvm.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libm.so.6
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libm.so.6
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file /etc/mtab
open syscall for file /proc/stat
open syscall for file /etc/mtab
open syscall for file /proc/meminfo
open syscall for file .hotspotrc
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/endorsed
open syscall for file /etc/mtab
open syscall for file /proc/stat
open syscall for file /proc/self/maps
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/native_threads/libhpi.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libnsl.so.1
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libnsl.so.1
open syscall for file tls/i686/mmx/libnsl.so.1
open syscall for file tls/i686/libnsl.so.1
open syscall for file tls/mmx/libnsl.so.1
open syscall for file tls/libnsl.so.1
open syscall for file i686/mmx/libnsl.so.1
open syscall for file i686/libnsl.so.1
open syscall for file mmx/libnsl.so.1
open syscall for file libnsl.so.1
open syscall for file /oldhome/oroussel/lib/libnsl.so.1
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libnsl.so.1
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=4
socket syscall connect(4,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /tmp/hsperfdata_oroussel
open syscall for file /tmp/hsperfdata_oroussel/27084
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libverify.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libjava.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libzip.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/rt.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/jsse.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/jce.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/charsets.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/classes.jsa
open syscall for file .hotspot_compiler
New thread pid=27085
New thread pid=27086
New thread pid=27087
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=4
socket syscall connect(4,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /etc/localtime
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext
New thread pid=27088
New thread pid=27089
New thread pid=27090
New thread pid=27091
New thread pid=27092
New thread pid=27093
open syscall for file /oldhome/oroussel/solvers/sat4jPseudoTer.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/sunjce_provider.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/sunpkcs11.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/dnsns.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/localedata.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/security/java.security
open syscall for file /dev/random
open syscall for file /dev/urandom
open syscall for file /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-13-7-10teams.opb
New thread pid=27094

[startup+10.0022 s]
Raw data (loadavg): 1.09 1.03 1.01 2/66 27094
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18163 0 1 0 594 52 0 0 17 0 11 0 1861148027 872304640 23217 4294967295 134512640 134569956 3221224336 3221214520 1131421803 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 212965 23217 13129 16 0 212949 0
[pid=27084] vsize: 851860
Current children cumulated CPU time (s) 6.46
Current children cumulated vsize (Kb) 851860

[startup+20.003 s]
Raw data (loadavg): 1.08 1.03 1.00 2/66 27094
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18175 0 1 0 1534 53 0 0 24 0 11 0 1861148027 867917824 23955 4294967295 134512640 134569956 3221224336 3221214600 1131554054 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27084/statm): 211894 23955 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 15.87
Current children cumulated vsize (Kb) 847576

[startup+30.0036 s]
Raw data (loadavg): 1.07 1.03 1.00 2/66 27094
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18180 0 1 0 2500 53 0 0 25 0 11 0 1861148027 867917824 23955 4294967295 134512640 134569956 3221224336 3221214496 1131422085 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27084/statm): 211894 23955 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (Kb) 847576

[startup+40.0044 s]
Raw data (loadavg): 1.06 1.03 1.00 2/66 27094
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18186 0 1 0 3446 53 0 0 25 0 11 0 1861148027 867917824 23959 4294967295 134512640 134569956 3221224336 3221214488 1131599806 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27084/statm): 211894 23959 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 34.99
Current children cumulated vsize (Kb) 847576

[startup+50.0051 s]
Raw data (loadavg): 1.05 1.03 1.00 2/66 27094
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18190 0 1 0 4407 53 0 0 25 0 11 0 1861148027 867917824 24007 4294967295 134512640 134569956 3221224336 3221214704 1131576710 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27084/statm): 211894 24007 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 44.6
Current children cumulated vsize (Kb) 847576

[startup+60.0048 s]
Raw data (loadavg): 1.04 1.02 1.00 2/66 27094
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18196 0 1 0 5351 54 0 0 24 0 11 0 1861148027 867917824 24349 4294967295 134512640 134569956 3221224336 3221214600 1131553906 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27084/statm): 211894 24349 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 54.05
Current children cumulated vsize (Kb) 847576

[startup+70.0065 s]
Raw data (loadavg): 1.03 1.02 1.00 2/66 27094
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18200 0 1 0 6309 54 0 0 16 0 11 0 1861148027 867917824 24528 4294967295 134512640 134569956 3221224336 3221214716 1131380640 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27084/statm): 211894 24528 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 63.63
Current children cumulated vsize (Kb) 847576
One traced child (pid=27094) exited with status: 0
New thread pid=27095

[startup+80.0072 s]
Raw data (loadavg): 1.03 1.02 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18253 4 1 0 7251 54 0 0 24 0 11 0 1861148027 867917824 24813 4294967295 134512640 134569956 3221224336 3221214616 1131553935 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27084/statm): 211894 24813 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 73.05
Current children cumulated vsize (Kb) 847576

[startup+90.0079 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18259 4 1 0 8184 55 0 0 18 0 11 0 1861148027 867917824 24986 4294967295 134512640 134569956 3221224336 3221214616 1131553941 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27084/statm): 211894 24986 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 82.39
Current children cumulated vsize (Kb) 847576

[startup+100.009 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18265 4 1 0 9117 55 0 0 20 0 11 0 1861148027 867917824 25234 4294967295 134512640 134569956 3221224336 3221214592 1131419900 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 25234 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 91.72
Current children cumulated vsize (Kb) 847576

[startup+110.009 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18270 4 1 0 10063 55 0 0 25 0 11 0 1861148027 867917824 25456 4294967295 134512640 134569956 3221224336 3221214512 1131421727 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 25456 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 101.18
Current children cumulated vsize (Kb) 847576

[startup+120.011 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18276 4 1 0 10997 55 0 0 19 0 11 0 1861148027 867917824 25682 4294967295 134512640 134569956 3221224336 3221214760 1131498147 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 25682 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 110.52
Current children cumulated vsize (Kb) 847576

[startup+130.012 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18281 4 1 0 11939 55 0 0 25 0 11 0 1861148027 867917824 25959 4294967295 134512640 134569956 3221224336 3221214760 1131497618 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27084/statm): 211894 25959 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 119.94
Current children cumulated vsize (Kb) 847576

[startup+140.012 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18287 4 1 0 12875 55 0 0 22 0 11 0 1861148027 867917824 26218 4294967295 134512640 134569956 3221224336 3221214616 1131554432 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 26218 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 129.3
Current children cumulated vsize (Kb) 847576

[startup+150.013 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18292 4 1 0 13820 55 0 0 22 0 11 0 1861148027 867917824 26355 4294967295 134512640 134569956 3221224336 3221214048 1085806269 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 26355 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 138.75
Current children cumulated vsize (Kb) 847576

[startup+160.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18297 4 1 0 14766 55 0 0 25 0 11 0 1861148027 867917824 26461 4294967295 134512640 134569956 3221224336 3221214716 1131380640 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 26461 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 148.21
Current children cumulated vsize (Kb) 847576

[startup+170.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18302 4 1 0 15713 55 0 0 25 0 11 0 1861148027 867917824 26562 4294967295 134512640 134569956 3221224336 3221214520 1131422085 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 26562 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 157.68
Current children cumulated vsize (Kb) 847576

[startup+180.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18307 4 1 0 16660 56 0 0 22 0 11 0 1861148027 867917824 26649 4294967295 134512640 134569956 3221224336 3221214512 1131422143 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27084/statm): 211894 26649 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 167.16
Current children cumulated vsize (Kb) 847576

[startup+190.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18311 4 1 0 17623 56 0 0 25 0 11 0 1861148027 867917824 26855 4294967295 134512640 134569956 3221224336 3221214616 1131554156 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 26855 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 176.79
Current children cumulated vsize (Kb) 847576

[startup+200.018 s]
Raw data (loadavg): 1.08 1.03 1.01 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18316 4 1 0 18586 56 0 0 25 0 11 0 1861148027 867917824 26997 4294967295 134512640 134569956 3221224336 3221214504 1131602315 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27084/statm): 211894 26997 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 186.42
Current children cumulated vsize (Kb) 847576

[startup+210.017 s]
Raw data (loadavg): 1.07 1.03 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18320 4 1 0 19560 57 0 0 25 0 11 0 1861148027 867917824 27122 4294967295 134512640 134569956 3221224336 3221214616 1131553935 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27084/statm): 211894 27122 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 196.17
Current children cumulated vsize (Kb) 847576

[startup+220.018 s]
Raw data (loadavg): 1.06 1.03 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18326 4 1 0 20531 57 0 0 25 0 11 0 1861148027 867917824 27331 4294967295 134512640 134569956 3221224336 3221214616 1131554560 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 27331 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 205.88
Current children cumulated vsize (Kb) 847576

[startup+230.018 s]
Raw data (loadavg): 1.05 1.02 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18331 4 1 0 21516 57 0 0 20 0 11 0 1861148027 867917824 27439 4294967295 134512640 134569956 3221224336 3221214512 1131421867 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 27439 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 215.73
Current children cumulated vsize (Kb) 847576

[startup+240.02 s]
Raw data (loadavg): 1.04 1.02 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18335 4 1 0 22506 58 0 0 25 0 11 0 1861148027 867917824 27439 4294967295 134512640 134569956 3221224336 3221214520 1131421847 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 27439 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 225.64
Current children cumulated vsize (Kb) 847576

[startup+250.02 s]
Raw data (loadavg): 1.03 1.02 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18340 4 1 0 23493 58 0 0 25 0 11 0 1861148027 867917824 27439 4294967295 134512640 134569956 3221224336 3221214736 1131445081 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 27439 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 235.51
Current children cumulated vsize (Kb) 847576

[startup+260.021 s]
Raw data (loadavg): 1.03 1.02 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18346 4 1 0 24469 58 0 0 25 0 11 0 1861148027 867917824 27507 4294967295 134512640 134569956 3221224336 3221214704 1131576775 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 27507 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 245.27
Current children cumulated vsize (Kb) 847576

[startup+270.022 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18352 4 1 0 25437 58 0 0 25 0 11 0 1861148027 867917824 27507 4294967295 134512640 134569956 3221224336 3221214208 1080339190 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 27507 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 254.95
Current children cumulated vsize (Kb) 847576

[startup+280.022 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18357 4 1 0 26403 58 0 0 25 0 11 0 1861148027 867917824 27553 4294967295 134512640 134569956 3221224336 3221214512 1131422085 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27084/statm): 211894 27553 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 264.61
Current children cumulated vsize (Kb) 847576

[startup+290.023 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18363 4 1 0 27353 58 0 0 25 0 11 0 1861148027 867917824 27553 4294967295 134512640 134569956 3221224336 3221214632 1131470708 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 27553 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 274.11
Current children cumulated vsize (Kb) 847576

[startup+300.024 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18369 4 1 0 28290 59 0 0 24 0 11 0 1861148027 867917824 27598 4294967295 134512640 134569956 3221224336 3221214632 1131470584 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 27598 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 283.49
Current children cumulated vsize (Kb) 847576

[startup+310.025 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18373 4 1 0 29245 59 0 0 25 0 11 0 1861148027 867917824 27702 4294967295 134512640 134569956 3221224336 3221214504 1131599882 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 27702 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 293.04
Current children cumulated vsize (Kb) 847576

[startup+320.025 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18378 4 1 0 30189 59 0 0 25 0 11 0 1861148027 867917824 27825 4294967295 134512640 134569956 3221224336 3221214520 1131422085 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27084/statm): 211894 27825 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 302.48
Current children cumulated vsize (Kb) 847576

[startup+330.026 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18382 4 1 0 31148 60 0 0 25 0 11 0 1861148027 867917824 27912 4294967295 134512640 134569956 3221224336 3221214632 1131470708 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 27912 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 312.08
Current children cumulated vsize (Kb) 847576

[startup+340.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) S 27083 27084 21452 0 -1 0 18387 4 1 0 32084 60 0 0 17 0 11 0 1861148027 867917824 28086 4294967295 134512640 134569956 3221224336 3221213464 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 28086 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 321.44
Current children cumulated vsize (Kb) 847576

[startup+350.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18394 4 1 0 33015 60 0 0 20 0 11 0 1861148027 867917824 28301 4294967295 134512640 134569956 3221224336 3221214512 1131422085 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 28301 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 330.75
Current children cumulated vsize (Kb) 847576

[startup+360.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18400 4 1 0 33949 60 0 0 20 0 11 0 1861148027 867917824 28510 4294967295 134512640 134569956 3221224336 3221214696 1131419888 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 28510 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 340.09
Current children cumulated vsize (Kb) 847576

[startup+370.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18405 4 1 0 34893 60 0 0 18 0 11 0 1861148027 867917824 28592 4294967295 134512640 134569956 3221224336 3221214720 1131414176 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 28592 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 349.53
Current children cumulated vsize (Kb) 847576

[startup+380.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18409 4 1 0 35846 61 0 0 25 0 11 0 1861148027 867917824 28761 4294967295 134512640 134569956 3221224336 3221214712 1131415552 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27084/statm): 211894 28761 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 359.07
Current children cumulated vsize (Kb) 847576

[startup+390.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18414 4 1 0 36788 61 0 0 25 0 11 0 1861148027 867917824 28919 4294967295 134512640 134569956 3221224336 3221214576 1131579963 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 28919 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 368.49
Current children cumulated vsize (Kb) 847576

[startup+400.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18419 4 1 0 37730 63 0 0 25 0 11 0 1861148027 867917824 29025 4294967295 134512640 134569956 3221224336 3221214584 1131627460 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 29025 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 377.93
Current children cumulated vsize (Kb) 847576

[startup+410.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18424 4 1 0 38673 64 0 0 25 0 11 0 1861148027 867917824 29156 4294967295 134512640 134569956 3221224336 3221214712 1131415569 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27084/statm): 211894 29156 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 387.37
Current children cumulated vsize (Kb) 847576

[startup+420.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18429 4 1 0 39620 64 0 0 25 0 11 0 1861148027 867917824 29329 4294967295 134512640 134569956 3221224336 3221214632 1131470879 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27084/statm): 211894 29329 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 396.84
Current children cumulated vsize (Kb) 847576

[startup+430.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18434 4 1 0 40571 65 0 0 18 0 11 0 1861148027 867917824 29444 4294967295 134512640 134569956 3221224336 3221214616 1131554177 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 29444 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 406.36
Current children cumulated vsize (Kb) 847576

[startup+440.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18438 4 1 0 41536 65 0 0 17 0 11 0 1861148027 867917824 29568 4294967295 134512640 134569956 3221224336 3221214632 1131470814 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 29568 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 416.01
Current children cumulated vsize (Kb) 847576

[startup+450.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18442 4 1 0 42503 65 0 0 25 0 11 0 1861148027 867917824 29711 4294967295 134512640 134569956 3221224336 3221214632 1131470708 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 29711 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 425.68
Current children cumulated vsize (Kb) 847576

[startup+460.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18448 4 1 0 43459 66 0 0 25 0 11 0 1861148027 867917824 29854 4294967295 134512640 134569956 3221224336 3221214712 1131415552 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 29854 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 435.25
Current children cumulated vsize (Kb) 847576

[startup+470.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18454 4 1 0 44415 66 0 0 25 0 11 0 1861148027 867917824 29998 4294967295 134512640 134569956 3221224336 3221214452 1131612068 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 29998 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 444.81
Current children cumulated vsize (Kb) 847576

[startup+480.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18460 4 1 0 45365 67 0 0 25 0 11 0 1861148027 867917824 30101 4294967295 134512640 134569956 3221224336 3221214720 1131414015 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 30101 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 454.32
Current children cumulated vsize (Kb) 847576

[startup+490.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18466 4 1 0 46311 67 0 0 17 0 11 0 1861148027 867917824 30168 4294967295 134512640 134569956 3221224336 3221214512 1131422034 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 30168 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 463.78
Current children cumulated vsize (Kb) 847576

[startup+500.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18471 4 1 0 47262 67 0 0 25 0 11 0 1861148027 867917824 30257 4294967295 134512640 134569956 3221224336 3221214632 1131470674 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27084/statm): 211894 30257 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 473.29
Current children cumulated vsize (Kb) 847576

[startup+510.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18477 4 1 0 48200 67 0 0 25 0 11 0 1861148027 867917824 30321 4294967295 134512640 134569956 3221224336 3221214632 1131408892 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 30321 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 482.67
Current children cumulated vsize (Kb) 847576

[startup+520.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18483 4 1 0 49137 68 0 0 22 0 11 0 1861148027 867917824 30478 4294967295 134512640 134569956 3221224336 3221214616 1131553979 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27084/statm): 211894 30478 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 492.05
Current children cumulated vsize (Kb) 847576

[startup+530.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18488 4 1 0 50088 68 0 0 25 0 11 0 1861148027 867917824 30628 4294967295 134512640 134569956 3221224336 3221214520 1131422085 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 30628 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 501.56
Current children cumulated vsize (Kb) 847576

[startup+540.039 s]
Raw data (loadavg): 1.07 1.02 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18493 4 1 0 51042 68 0 0 22 0 11 0 1861148027 867917824 30820 4294967295 134512640 134569956 3221224336 3221214592 1131419860 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 30820 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 511.1
Current children cumulated vsize (Kb) 847576

[startup+550.04 s]
Raw data (loadavg): 1.06 1.02 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18499 4 1 0 51999 69 0 0 25 0 11 0 1861148027 867917824 30880 4294967295 134512640 134569956 3221224336 3221214616 1131554556 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 30880 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 520.68
Current children cumulated vsize (Kb) 847576

[startup+560.039 s]
Raw data (loadavg): 1.05 1.01 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) S 27083 27084 21452 0 -1 0 18504 4 1 0 52951 69 0 0 17 0 11 0 1861148027 867917824 31028 4294967295 134512640 134569956 3221224336 3221213336 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 31028 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 530.2
Current children cumulated vsize (Kb) 847576

[startup+570.041 s]
Raw data (loadavg): 1.04 1.01 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18511 4 1 0 53897 70 0 0 25 0 11 0 1861148027 867917824 31172 4294967295 134512640 134569956 3221224336 3221214800 1131419865 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27084/statm): 211894 31172 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 539.67
Current children cumulated vsize (Kb) 847576

[startup+580.042 s]
Raw data (loadavg): 1.04 1.01 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18517 4 1 0 54847 70 0 0 19 0 11 0 1861148027 867917824 31279 4294967295 134512640 134569956 3221224336 3221214616 1131554162 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27084/statm): 211894 31279 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 549.17
Current children cumulated vsize (Kb) 847576

[startup+590.043 s]
Raw data (loadavg): 1.03 1.01 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18522 4 1 0 55808 70 0 0 20 0 11 0 1861148027 867917824 31385 4294967295 134512640 134569956 3221224336 3221214632 1131470708 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27084/statm): 211894 31385 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 558.78
Current children cumulated vsize (Kb) 847576

[startup+600.043 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18528 4 1 0 56760 70 0 0 24 0 11 0 1861148027 867917824 31500 4294967295 134512640 134569956 3221224336 3221214512 1131422325 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27084/statm): 211894 31500 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 568.3
Current children cumulated vsize (Kb) 847576

[startup+610.044 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18533 4 1 0 57720 70 0 0 18 0 11 0 1861148027 867917824 31634 4294967295 134512640 134569956 3221224336 3221214616 1131553820 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 31634 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 577.9
Current children cumulated vsize (Kb) 847576

[startup+620.045 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18537 4 1 0 58690 71 0 0 25 0 11 0 1861148027 867917824 31688 4294967295 134512640 134569956 3221224336 3221214704 1131576703 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 31688 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 587.61
Current children cumulated vsize (Kb) 847576

[startup+630.045 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18542 4 1 0 59654 71 0 0 25 0 11 0 1861148027 867917824 31770 4294967295 134512640 134569956 3221224336 3221214632 1131617441 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 31770 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 597.25
Current children cumulated vsize (Kb) 847576

[startup+640.047 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18546 4 1 0 60628 72 0 0 22 0 11 0 1861148027 867917824 31850 4294967295 134512640 134569956 3221224336 3221214720 1131414176 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27084/statm): 211894 31850 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 607
Current children cumulated vsize (Kb) 847576

[startup+650.048 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18553 4 1 0 61585 72 0 0 19 0 11 0 1861148027 867917824 31945 4294967295 134512640 134569956 3221224336 3221214588 1131057186 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27084/statm): 211894 31945 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 616.57
Current children cumulated vsize (Kb) 847576

[startup+660.048 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18557 4 1 0 62562 72 0 0 25 0 11 0 1861148027 867917824 32007 4294967295 134512640 134569956 3221224336 3221214712 1131415569 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 32007 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 626.34
Current children cumulated vsize (Kb) 847576

[startup+670.049 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18563 4 1 0 63525 72 0 0 25 0 11 0 1861148027 867917824 32148 4294967295 134512640 134569956 3221224336 3221214720 1131414176 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27084/statm): 211894 32148 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 635.97
Current children cumulated vsize (Kb) 847576

[startup+680.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18570 4 1 0 64486 72 0 0 22 0 11 0 1861148027 867917824 32203 4294967295 134512640 134569956 3221224336 3221214616 1131553950 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 32203 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 645.58
Current children cumulated vsize (Kb) 847576

[startup+690.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18576 4 1 0 65451 73 0 0 25 0 11 0 1861148027 867917824 32218 4294967295 134512640 134569956 3221224336 3221214608 1131380660 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 32218 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 655.24
Current children cumulated vsize (Kb) 847576

[startup+700.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18581 4 1 0 66419 73 0 0 25 0 11 0 1861148027 867917824 32311 4294967295 134512640 134569956 3221224336 3221214616 1131553991 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 32311 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 664.92
Current children cumulated vsize (Kb) 847576

[startup+710.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18587 4 1 0 67380 73 0 0 21 0 11 0 1861148027 867917824 32367 4294967295 134512640 134569956 3221224336 3221214632 1131470781 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 32367 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 674.53
Current children cumulated vsize (Kb) 847576

[startup+720.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18592 4 1 0 68345 73 0 0 25 0 11 0 1861148027 867917824 32453 4294967295 134512640 134569956 3221224336 3221214616 1131554130 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 32453 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 684.18
Current children cumulated vsize (Kb) 847576

[startup+730.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18598 4 1 0 69302 73 0 0 25 0 11 0 1861148027 867917824 32527 4294967295 134512640 134569956 3221224336 3221214520 1131422085 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 32527 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 693.75
Current children cumulated vsize (Kb) 847576

[startup+740.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18603 4 1 0 70265 74 0 0 25 0 11 0 1861148027 867917824 32598 4294967295 134512640 134569956 3221224336 3221214608 1131381336 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 32598 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 703.39
Current children cumulated vsize (Kb) 847576

[startup+750.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18609 4 1 0 71217 74 0 0 25 0 11 0 1861148027 867917824 32672 4294967295 134512640 134569956 3221224336 3221214632 1131409492 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27084/statm): 211894 32672 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 712.91
Current children cumulated vsize (Kb) 847576

[startup+760.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18616 4 1 0 72164 74 0 0 18 0 11 0 1861148027 867917824 32798 4294967295 134512640 134569956 3221224336 3221214720 1131414138 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 32798 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 722.38
Current children cumulated vsize (Kb) 847576

[startup+770.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18622 4 1 0 73120 75 0 0 25 0 11 0 1861148027 867917824 32922 4294967295 134512640 134569956 3221224336 3221214520 1131422013 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 32922 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 731.95
Current children cumulated vsize (Kb) 847576

[startup+780.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) S 27083 27084 21452 0 -1 0 18629 4 1 0 74063 75 0 0 25 0 11 0 1861148027 867917824 33017 4294967295 134512640 134569956 3221224336 3221213216 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27084/statm): 211894 33017 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 741.38
Current children cumulated vsize (Kb) 847576

[startup+790.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18636 4 1 0 75016 75 0 0 25 0 11 0 1861148027 867917824 33174 4294967295 134512640 134569956 3221224336 3221214616 1131554162 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27084/statm): 211894 33174 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 750.91
Current children cumulated vsize (Kb) 847576

[startup+800.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18642 4 1 0 75978 75 0 0 24 0 11 0 1861148027 867917824 33250 4294967295 134512640 134569956 3221224336 3221214624 1131545184 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27084/statm): 211894 33250 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 760.53
Current children cumulated vsize (Kb) 847576

[startup+810.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18648 4 1 0 76947 76 0 0 25 0 11 0 1861148027 867917824 33324 4294967295 134512640 134569956 3221224336 3221214616 1131553826 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 33324 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 770.23
Current children cumulated vsize (Kb) 847576

[startup+820.062 s]
Raw data (loadavg): 1.08 1.02 1.01 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18655 4 1 0 77901 76 0 0 25 0 11 0 1861148027 867917824 33488 4294967295 134512640 134569956 3221224336 3221214632 1131470708 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27084/statm): 211894 33488 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 779.77
Current children cumulated vsize (Kb) 847576

[startup+830.062 s]
Raw data (loadavg): 1.07 1.02 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18661 4 1 0 78865 76 0 0 25 0 11 0 1861148027 867917824 33510 4294967295 134512640 134569956 3221224336 3221214616 1131553820 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27084/statm): 211894 33510 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 789.41
Current children cumulated vsize (Kb) 847576

[startup+840.063 s]
Raw data (loadavg): 1.06 1.01 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18667 4 1 0 79827 77 0 0 17 0 11 0 1861148027 867917824 33569 4294967295 134512640 134569956 3221224336 3221214632 1131471542 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27084/statm): 211894 33569 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 799.04
Current children cumulated vsize (Kb) 847576

[startup+850.064 s]
Raw data (loadavg): 1.05 1.01 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18674 4 1 0 80781 77 0 0 25 0 11 0 1861148027 867917824 33627 4294967295 134512640 134569956 3221224336 3221214632 1131470887 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 33627 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 808.58
Current children cumulated vsize (Kb) 847576

[startup+860.064 s]
Raw data (loadavg): 1.04 1.01 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18681 4 1 0 81735 77 0 0 25 0 11 0 1861148027 867917824 33817 4294967295 134512640 134569956 3221224336 3221214720 1131414068 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27084/statm): 211894 33817 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 818.12
Current children cumulated vsize (Kb) 847576

[startup+870.064 s]
Raw data (loadavg): 1.03 1.01 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18687 4 1 0 82696 77 0 0 25 0 11 0 1861148027 867917824 33858 4294967295 134512640 134569956 3221224336 3221214712 1131415552 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 33858 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 827.73
Current children cumulated vsize (Kb) 847576

[startup+880.065 s]
Raw data (loadavg): 1.03 1.01 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18694 4 1 0 83652 78 0 0 24 0 11 0 1861148027 867917824 33938 4294967295 134512640 134569956 3221224336 3221214800 1131419865 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 33938 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 837.3
Current children cumulated vsize (Kb) 847576

[startup+890.066 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18702 4 1 0 84609 78 0 0 25 0 11 0 1861148027 867917824 34049 4294967295 134512640 134569956 3221224336 3221214512 1131422085 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 34049 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 846.87
Current children cumulated vsize (Kb) 847576

[startup+900.067 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18709 4 1 0 85572 78 0 0 25 0 11 0 1861148027 867917824 34164 4294967295 134512640 134569956 3221224336 3221214608 1131380779 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27084/statm): 211894 34164 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 856.5
Current children cumulated vsize (Kb) 847576

[startup+910.067 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18714 4 1 0 86548 79 0 0 25 0 11 0 1861148027 867917824 34222 4294967295 134512640 134569956 3221224336 3221214616 1131554162 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 34222 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 866.27
Current children cumulated vsize (Kb) 847576

[startup+920.068 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18721 4 1 0 87520 79 0 0 18 0 11 0 1861148027 867917824 34307 4294967295 134512640 134569956 3221224336 3221214720 1131414176 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27084/statm): 211894 34307 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 875.99
Current children cumulated vsize (Kb) 847576

[startup+930.069 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18728 4 1 0 88489 79 0 0 17 0 11 0 1861148027 867917824 34339 4294967295 134512640 134569956 3221224336 3221214320 1085806281 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27084/statm): 211894 34339 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 885.68
Current children cumulated vsize (Kb) 847576

[startup+940.069 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18735 4 1 0 89451 79 0 0 25 0 11 0 1861148027 867917824 34388 4294967295 134512640 134569956 3221224336 3221214608 1131380663 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 34388 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 895.3
Current children cumulated vsize (Kb) 847576

[startup+950.07 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18741 4 1 0 90416 80 0 0 25 0 11 0 1861148027 867917824 34422 4294967295 134512640 134569956 3221224336 3221214588 1131057156 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27084/statm): 211894 34422 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 904.96
Current children cumulated vsize (Kb) 847576

[startup+960.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18748 4 1 0 91371 80 0 0 18 0 11 0 1861148027 867917824 34452 4294967295 134512640 134569956 3221224336 3221214712 1131415552 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 34452 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 914.51
Current children cumulated vsize (Kb) 847576

[startup+970.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18755 4 1 0 92330 81 0 0 22 0 11 0 1861148027 867917824 34549 4294967295 134512640 134569956 3221224336 3221214616 1131553808 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27084/statm): 211894 34549 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 924.11
Current children cumulated vsize (Kb) 847576

[startup+980.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18759 4 1 0 93306 81 0 0 25 0 11 0 1861148027 867917824 34595 4294967295 134512640 134569956 3221224336 3221214496 1131726368 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27084/statm): 211894 34595 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 933.87
Current children cumulated vsize (Kb) 847576

[startup+990.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18765 4 1 0 94278 81 0 0 25 0 11 0 1861148027 867917824 34746 4294967295 134512640 134569956 3221224336 3221214616 1131553944 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 34746 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 943.59
Current children cumulated vsize (Kb) 847576

[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18772 4 1 0 95250 82 0 0 18 0 11 0 1861148027 867917824 34801 4294967295 134512640 134569956 3221224336 3221214760 1131497381 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27084/statm): 211894 34801 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 953.32
Current children cumulated vsize (Kb) 847576

[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27095
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18777 4 1 0 96226 83 0 0 25 0 11 0 1861148027 867917824 34833 4294967295 134512640 134569956 3221224336 3221214720 1131413851 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 34833 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 963.09
Current children cumulated vsize (Kb) 847576

[startup+1020.08 s]
Raw data (loadavg): 1.07 1.02 1.00 2/66 27150
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18784 4 1 0 97175 99 0 0 25 0 11 0 1861148027 867917824 34872 4294967295 134512640 134569956 3221224336 3221214720 1131515671 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27084/statm): 211894 34872 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 972.74
Current children cumulated vsize (Kb) 847576

[startup+1030.08 s]
Raw data (loadavg): 1.06 1.02 1.00 2/66 27150
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18791 4 1 0 98137 99 0 0 17 0 11 0 1861148027 867917824 34903 4294967295 134512640 134569956 3221224336 3221214756 1131414357 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27084/statm): 211894 34903 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 982.36
Current children cumulated vsize (Kb) 847576

[startup+1040.08 s]
Raw data (loadavg): 1.05 1.01 1.00 2/66 27150
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18796 4 1 0 99106 99 0 0 25 0 11 0 1861148027 867917824 34949 4294967295 134512640 134569956 3221224336 3221214760 1131752451 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 34949 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 992.05
Current children cumulated vsize (Kb) 847576

[startup+1050.08 s]
Raw data (loadavg): 1.04 1.01 1.00 2/66 27150
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18802 4 1 0 100062 99 0 0 25 0 11 0 1861148027 867917824 35003 4294967295 134512640 134569956 3221224336 3221214760 1131497821 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 35003 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 1001.61
Current children cumulated vsize (Kb) 847576

[startup+1060.08 s]
Raw data (loadavg): 1.04 1.01 1.00 2/66 27150
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18808 4 1 0 101015 100 0 0 22 0 11 0 1861148027 867917824 35088 4294967295 134512640 134569956 3221224336 3221214512 1131422085 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27084/statm): 211894 35088 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 1011.15
Current children cumulated vsize (Kb) 847576

[startup+1070.08 s]
Raw data (loadavg): 1.03 1.01 1.00 2/66 27150
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18814 4 1 0 101965 100 0 0 17 0 11 0 1861148027 867917824 35148 4294967295 134512640 134569956 3221224336 3221214608 1131380704 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27084/statm): 211894 35148 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 1020.65
Current children cumulated vsize (Kb) 847576

[startup+1080.08 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 27150
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18820 4 1 0 102914 100 0 0 20 0 11 0 1861148027 867917824 35240 4294967295 134512640 134569956 3221224336 3221214712 1131415552 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27084/statm): 211894 35240 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 1030.14
Current children cumulated vsize (Kb) 847576

[startup+1090.08 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 27154
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18825 4 1 0 103872 101 0 0 23 0 11 0 1861148027 867917824 35324 4294967295 134512640 134569956 3221224336 3221214616 1131553902 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27084/statm): 211894 35324 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 1039.73
Current children cumulated vsize (Kb) 847576

[startup+1100.08 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 27154
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18830 4 1 0 104832 101 0 0 25 0 11 0 1861148027 867917824 35455 4294967295 134512640 134569956 3221224336 3221214616 1131553856 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27084/statm): 211894 35455 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 1049.33
Current children cumulated vsize (Kb) 847576

[startup+1110.08 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 27154
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18836 4 1 0 105786 101 0 0 25 0 11 0 1861148027 867917824 35628 4294967295 134512640 134569956 3221224336 3221214616 1131553820 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 35628 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 1058.87
Current children cumulated vsize (Kb) 847576

[startup+1120.09 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 27154
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18842 4 1 0 106743 102 0 0 25 0 11 0 1861148027 867917824 35705 4294967295 134512640 134569956 3221224336 3221214720 1131414346 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 35705 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 1068.45
Current children cumulated vsize (Kb) 847576

[startup+1130.09 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 27154
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18847 4 1 0 107707 103 0 0 25 0 11 0 1861148027 867917824 35790 4294967295 134512640 134569956 3221224336 3221214512 1131421929 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27084/statm): 211894 35790 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 1078.1
Current children cumulated vsize (Kb) 847576

[startup+1140.09 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 27154
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18854 4 1 0 108652 103 0 0 25 0 11 0 1861148027 867917824 35850 4294967295 134512640 134569956 3221224336 3221214616 1131553979 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 35850 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 1087.55
Current children cumulated vsize (Kb) 847576

[startup+1150.09 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 27154
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18859 4 1 0 109609 104 0 0 25 0 11 0 1861148027 867917824 35925 4294967295 134512640 134569956 3221224336 3221214624 1131545233 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 35925 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 1097.13
Current children cumulated vsize (Kb) 847576

[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27154
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18864 4 1 0 110567 104 0 0 24 0 11 0 1861148027 867917824 36028 4294967295 134512640 134569956 3221224336 3221214616 1131554426 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27084/statm): 211894 36028 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 1106.71
Current children cumulated vsize (Kb) 847576

[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27154
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18870 4 1 0 111519 104 0 0 25 0 11 0 1861148027 867917824 36107 4294967295 134512640 134569956 3221224336 3221214504 1131599834 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27084/statm): 211894 36107 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 1116.23
Current children cumulated vsize (Kb) 847576

[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27154
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18876 4 1 0 112471 105 0 0 24 0 11 0 1861148027 867917824 36206 4294967295 134512640 134569956 3221224336 3221214632 1131471360 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 36206 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 1125.76
Current children cumulated vsize (Kb) 847576

[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27154
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18881 4 1 0 113434 105 0 0 17 0 11 0 1861148027 867917824 36348 4294967295 134512640 134569956 3221224336 3221214616 1131421740 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 36348 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 1135.39
Current children cumulated vsize (Kb) 847576

[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27154
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18886 4 1 0 114395 105 0 0 25 0 11 0 1861148027 867917824 36494 4294967295 134512640 134569956 3221224336 3221214712 1131415569 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 36494 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 1145
Current children cumulated vsize (Kb) 847576

[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27154
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18891 4 1 0 115355 106 0 0 25 0 11 0 1861148027 867917824 36494 4294967295 134512640 134569956 3221224336 3221214488 1131409581 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 36494 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 1154.61
Current children cumulated vsize (Kb) 847576

[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27154
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18896 4 1 0 116316 106 0 0 25 0 11 0 1861148027 867917824 36586 4294967295 134512640 134569956 3221224336 3221214616 1131554068 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 36586 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 1164.22
Current children cumulated vsize (Kb) 847576

[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27154
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18901 4 1 0 117278 107 0 0 25 0 11 0 1861148027 867917824 36674 4294967295 134512640 134569956 3221224336 3221214096 1085806281 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27084/statm): 211894 36674 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 1173.85
Current children cumulated vsize (Kb) 847576

[startup+1240.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27154
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18907 4 1 0 118232 107 0 0 25 0 11 0 1861148027 867917824 36737 4294967295 134512640 134569956 3221224336 3221214632 1131470708 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27084/statm): 211894 36737 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 1183.39
Current children cumulated vsize (Kb) 847576

[startup+1250.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27154
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18913 4 1 0 119186 108 0 0 25 0 11 0 1861148027 867917824 36834 4294967295 134512640 134569956 3221224336 3221214512 1131421929 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27084/statm): 211894 36834 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 1192.94
Current children cumulated vsize (Kb) 847576

[startup+1260.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27154
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18917 4 1 0 120158 108 0 0 25 0 11 0 1861148027 867917824 37030 4294967295 134512640 134569956 3221224336 3221214632 1131470699 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27084/statm): 211894 37030 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 1202.66
Current children cumulated vsize (Kb) 847576



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1260.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27154
Raw data (/proc/27084/stat): 27084 (java) R 27083 27084 21452 0 -1 0 18917 4 1 0 120158 108 0 0 25 0 11 0 1861148027 867917824 37030 4294967295 134512640 134569956 3221224336 3221214760 1131497796 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27084/statm): 211894 37030 13129 16 0 211878 0
[pid=27084] vsize: 847576
Current children cumulated CPU time (s) 1202.66
Current children cumulated vsize (Kb) 847576

Sending SIGTERM to -27084
Sleeping 2 seconds
New thread pid=27156
New thread pid=27157
One traced child (pid=27157) exited with status: 0
One traced child (pid=27093) exited with status: 0
One traced child (pid=27088) exited with status: 0
One traced child (pid=27085) exited with status: 143
One traced child (pid=27086) exited with status: 143
One traced child (pid=27087) exited with status: 143
One traced child (pid=27092) exited with status: 143
One traced child (pid=27089) exited with status: 143
One traced child (pid=27091) exited with status: 143
One traced child (pid=27095) exited with status: 143
One traced child (pid=27156) exited with status: 143
One traced child (pid=27090) exited with status: 143
One traced child (pid=27084) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1260.39
CPU time (s): 1269.7
CPU user time (s): 1267.62
CPU system time (s): 2.08668
CPU usage (%): 100.739
Max. virtual memory (cumulated for all children) (Kb): 851860

Verifier Data

Verifier:	OK	1022