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-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-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.02
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 4853

Launcher Data

LAUNCH ON wulflinc30 THE 2005-09-19 20:29:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=6531 boxname=wulflinc30 idbench=671 idsolver=6 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  130bea0863cb3f92addf09aabe15daa3  /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-10teams.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-10teams.opb
IDLAUNCH: 6531
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        895864 kB
Buffers:         32964 kB
Cached:          77044 kB
SwapCached:        764 kB
Active:          52152 kB
Inactive:        60460 kB
HighTotal:      131008 kB
HighFree:        53340 kB
LowTotal:       903652 kB
LowFree:        842524 kB
SwapTotal:     2097892 kB
SwapFree:      2096620 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5712 kB
Slab:            20724 kB
Committed_AS:    64304 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-19 20:50:49 (client local time) WITH STATUS 143 IN 1268.85 SECONDS
stats: 6531 0 1268.85 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/wulflinc30/normalized-mps-v2-20-10-10teams.opb
c reading problem ... done. Time 2.972 ms.
c #vars     1800
c #constraints  335
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                1022 		Current CPU time: 72.63 ms
c starts		: 7
c conflicts		: 1228
c decisions		: 7721
c propagations		: 81265
c inspects		: 786274
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 1228
c root simplifications	: 7
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 5991
c speed (decisions/second)	: 6.508581447887514
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) : 1259.185

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/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1852773312 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 39 3 38 16 0 23 0
[pid=25518] 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/25518
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=25519
New thread pid=25520
New thread pid=25521
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=25522
New thread pid=25523
New thread pid=25524
New thread pid=25525
New thread pid=25526
New thread pid=25527
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/wulflinc30/normalized-mps-v2-20-10-10teams.opb
New thread pid=25528

[startup+10.003 s]
Raw data (loadavg): 1.10 1.03 1.00 2/66 25528
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18147 0 1 0 567 50 0 0 18 0 11 0 1852773312 867676160 22410 4294967295 134512640 134569956 3221224336 3221214720 1131491210 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 211835 22410 13129 16 0 211819 0
[pid=25518] vsize: 847340
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (Kb) 847340

[startup+20.0039 s]
Raw data (loadavg): 1.09 1.03 1.00 2/66 25528
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18157 0 1 0 1505 50 0 0 25 0 11 0 1852773312 862666752 23035 4294967295 134512640 134569956 3221224336 3221214720 1131491277 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25518/statm): 210612 23035 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 15.55
Current children cumulated vsize (Kb) 842448

[startup+30.0046 s]
Raw data (loadavg): 1.07 1.03 1.00 2/66 25528
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18162 0 1 0 2471 50 0 0 25 0 11 0 1852773312 862666752 22971 4294967295 134512640 134569956 3221224336 3221214608 1131484675 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25518/statm): 210612 22971 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 25.21
Current children cumulated vsize (Kb) 842448

[startup+40.0055 s]
Raw data (loadavg): 1.06 1.03 1.00 2/66 25528
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18168 0 1 0 3419 50 0 0 16 0 11 0 1852773312 862666752 22976 4294967295 134512640 134569956 3221224336 3221214608 1131484722 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25518/statm): 210612 22976 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 34.69
Current children cumulated vsize (Kb) 842448

[startup+50.0063 s]
Raw data (loadavg): 1.05 1.03 1.00 2/66 25528
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18172 0 1 0 4379 51 0 0 25 0 11 0 1852773312 862666752 23024 4294967295 134512640 134569956 3221224336 3221214608 1131484722 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 210612 23024 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 44.3
Current children cumulated vsize (Kb) 842448

[startup+60.0071 s]
Raw data (loadavg): 1.04 1.03 1.00 2/66 25528
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18178 0 1 0 5333 51 0 0 25 0 11 0 1852773312 862666752 23232 4294967295 134512640 134569956 3221224336 3221214648 1131518221 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 210612 23232 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 53.84
Current children cumulated vsize (Kb) 842448

[startup+70.0079 s]
Raw data (loadavg): 1.04 1.03 1.00 2/66 25528
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18182 0 1 0 6289 51 0 0 25 0 11 0 1852773312 862666752 23451 4294967295 134512640 134569956 3221224336 3221214496 1131602718 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 210612 23451 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 63.4
Current children cumulated vsize (Kb) 842448
One traced child (pid=25528) exited with status: 0
New thread pid=25529

[startup+80.0087 s]
Raw data (loadavg): 1.03 1.02 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) S 25517 25518 5245 0 -1 0 18233 4 1 0 7221 51 0 0 25 0 11 0 1852773312 862666752 23776 4294967295 134512640 134569956 3221224336 3221213208 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 210612 23776 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 72.72
Current children cumulated vsize (Kb) 842448

[startup+90.0095 s]
Raw data (loadavg): 1.18 1.06 1.01 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18239 4 1 0 8161 52 0 0 25 0 11 0 1852773312 862666752 23998 4294967295 134512640 134569956 3221224336 3221214564 1131057189 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 210612 23998 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 82.13
Current children cumulated vsize (Kb) 842448

[startup+100.01 s]
Raw data (loadavg): 1.16 1.05 1.01 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18245 4 1 0 9095 52 0 0 25 0 11 0 1852773312 862666752 24171 4294967295 134512640 134569956 3221224336 3221214504 1131428740 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 210612 24171 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 91.47
Current children cumulated vsize (Kb) 842448

[startup+110.011 s]
Raw data (loadavg): 1.13 1.05 1.01 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18252 4 1 0 10030 52 0 0 21 0 11 0 1852773312 862666752 24468 4294967295 134512640 134569956 3221224336 3221214648 1131517057 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 210612 24468 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 100.82
Current children cumulated vsize (Kb) 842448

[startup+120.012 s]
Raw data (loadavg): 1.11 1.05 1.01 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18257 4 1 0 10975 52 0 0 25 0 11 0 1852773312 862666752 24672 4294967295 134512640 134569956 3221224336 3221214560 1131453051 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 210612 24672 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 110.27
Current children cumulated vsize (Kb) 842448

[startup+130.013 s]
Raw data (loadavg): 1.09 1.05 1.01 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18263 4 1 0 11906 52 0 0 22 0 11 0 1852773312 862666752 24972 4294967295 134512640 134569956 3221224336 3221214648 1131520819 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25518/statm): 210612 24972 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 119.58
Current children cumulated vsize (Kb) 842448

[startup+140.014 s]
Raw data (loadavg): 1.08 1.05 1.01 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18269 4 1 0 12840 53 0 0 16 0 11 0 1852773312 862666752 25231 4294967295 134512640 134569956 3221224336 3221214504 1131428941 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25518/statm): 210612 25231 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 128.93
Current children cumulated vsize (Kb) 842448

[startup+150.016 s]
Raw data (loadavg): 1.07 1.04 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) S 25517 25518 5245 0 -1 0 18274 4 1 0 13790 54 0 0 25 0 11 0 1852773312 862666752 25312 4294967295 134512640 134569956 3221224336 3221213136 1073952481 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25518/statm): 210612 25312 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 138.44
Current children cumulated vsize (Kb) 842448

[startup+160.017 s]
Raw data (loadavg): 1.06 1.04 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18279 4 1 0 14729 54 0 0 20 0 11 0 1852773312 862666752 25474 4294967295 134512640 134569956 3221224336 3221214480 1131700270 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25518/statm): 210612 25474 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 147.83
Current children cumulated vsize (Kb) 842448

[startup+170.018 s]
Raw data (loadavg): 1.19 1.07 1.01 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18284 4 1 0 15675 54 0 0 24 0 11 0 1852773312 862666752 25575 4294967295 134512640 134569956 3221224336 3221214504 1131429362 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 210612 25575 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 157.29
Current children cumulated vsize (Kb) 842448

[startup+180.019 s]
Raw data (loadavg): 1.16 1.07 1.01 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18288 4 1 0 16633 55 0 0 25 0 11 0 1852773312 862666752 25575 4294967295 134512640 134569956 3221224336 3221214504 1131428941 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 210612 25575 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 166.88
Current children cumulated vsize (Kb) 842448

[startup+190.02 s]
Raw data (loadavg): 1.14 1.07 1.01 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18292 4 1 0 17594 55 0 0 25 0 11 0 1852773312 862666752 25804 4294967295 134512640 134569956 3221224336 3221214468 1131737267 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 210612 25804 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 176.49
Current children cumulated vsize (Kb) 842448

[startup+200.019 s]
Raw data (loadavg): 1.12 1.06 1.01 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18296 4 1 0 18562 55 0 0 25 0 11 0 1852773312 862666752 25977 4294967295 134512640 134569956 3221224336 3221214584 1131460913 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 210612 25977 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 186.17
Current children cumulated vsize (Kb) 842448

[startup+210.02 s]
Raw data (loadavg): 1.10 1.06 1.01 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18301 4 1 0 19528 56 0 0 23 0 11 0 1852773312 862666752 26104 4294967295 134512640 134569956 3221224336 3221214608 1131484675 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25518/statm): 210612 26104 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 195.84
Current children cumulated vsize (Kb) 842448

[startup+220.021 s]
Raw data (loadavg): 1.08 1.06 1.01 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18306 4 1 0 20502 56 0 0 17 0 11 0 1852773312 862666752 26289 4294967295 134512640 134569956 3221224336 3221214496 1131603809 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25518/statm): 210612 26289 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 205.58
Current children cumulated vsize (Kb) 842448

[startup+230.022 s]
Raw data (loadavg): 1.07 1.06 1.01 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18311 4 1 0 21483 57 0 0 25 0 11 0 1852773312 862666752 26432 4294967295 134512640 134569956 3221224336 3221214608 1131484704 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 210612 26432 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 215.4
Current children cumulated vsize (Kb) 842448

[startup+240.023 s]
Raw data (loadavg): 1.06 1.05 1.01 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18315 4 1 0 22472 57 0 0 25 0 11 0 1852773312 862666752 26452 4294967295 134512640 134569956 3221224336 3221214600 1131507510 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25518/statm): 210612 26452 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 225.29
Current children cumulated vsize (Kb) 842448

[startup+250.023 s]
Raw data (loadavg): 1.05 1.05 1.01 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) S 25517 25518 5245 0 -1 0 18319 4 1 0 23462 57 0 0 16 0 11 0 1852773312 862666752 26452 4294967295 134512640 134569956 3221224336 3221213440 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25518/statm): 210612 26452 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 235.19
Current children cumulated vsize (Kb) 842448

[startup+260.024 s]
Raw data (loadavg): 1.04 1.05 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18325 4 1 0 24443 57 0 0 25 0 11 0 1852773312 862666752 26491 4294967295 134512640 134569956 3221224336 3221214576 1131515248 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 210612 26491 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 245
Current children cumulated vsize (Kb) 842448

[startup+270.025 s]
Raw data (loadavg): 1.03 1.05 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18331 4 1 0 25415 58 0 0 25 0 11 0 1852773312 862666752 26520 4294967295 134512640 134569956 3221224336 3221214496 1131602524 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25518/statm): 210612 26520 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 254.73
Current children cumulated vsize (Kb) 842448

[startup+280.026 s]
Raw data (loadavg): 1.03 1.05 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18337 4 1 0 26377 58 0 0 16 0 11 0 1852773312 862666752 26542 4294967295 134512640 134569956 3221224336 3221214696 1131587071 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25518/statm): 210612 26542 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 264.35
Current children cumulated vsize (Kb) 842448

[startup+290.027 s]
Raw data (loadavg): 1.02 1.04 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18342 4 1 0 27341 58 0 0 25 0 11 0 1852773312 862666752 26566 4294967295 134512640 134569956 3221224336 3221214264 1085759286 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25518/statm): 210612 26566 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 273.99
Current children cumulated vsize (Kb) 842448

[startup+300.027 s]
Raw data (loadavg): 1.02 1.04 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18348 4 1 0 28283 59 0 0 25 0 11 0 1852773312 862666752 26566 4294967295 134512640 134569956 3221224336 3221214608 1131484675 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 210612 26566 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 283.42
Current children cumulated vsize (Kb) 842448

[startup+310.029 s]
Raw data (loadavg): 1.02 1.04 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18353 4 1 0 29228 59 0 0 25 0 11 0 1852773312 862666752 26675 4294967295 134512640 134569956 3221224336 3221214496 1131603779 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25518/statm): 210612 26675 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 292.87
Current children cumulated vsize (Kb) 842448

[startup+320.029 s]
Raw data (loadavg): 1.01 1.04 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18358 4 1 0 30174 59 0 0 22 0 11 0 1852773312 862666752 26778 4294967295 134512640 134569956 3221224336 3221214576 1131515254 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 210612 26778 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 302.33
Current children cumulated vsize (Kb) 842448

[startup+330.03 s]
Raw data (loadavg): 1.01 1.04 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18362 4 1 0 31130 60 0 0 19 0 11 0 1852773312 862666752 26901 4294967295 134512640 134569956 3221224336 3221214592 1131428941 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25518/statm): 210612 26901 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 311.9
Current children cumulated vsize (Kb) 842448

[startup+340.031 s]
Raw data (loadavg): 1.01 1.04 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18367 4 1 0 32074 60 0 0 22 0 11 0 1852773312 862666752 27032 4294967295 134512640 134569956 3221224336 3221214168 1131335975 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 210612 27032 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 321.34
Current children cumulated vsize (Kb) 842448

[startup+350.031 s]
Raw data (loadavg): 1.01 1.03 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18373 4 1 0 33008 60 0 0 24 0 11 0 1852773312 862666752 27201 4294967295 134512640 134569956 3221224336 3221214560 1131452641 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25518/statm): 210612 27201 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 330.68
Current children cumulated vsize (Kb) 842448

[startup+360.032 s]
Raw data (loadavg): 1.00 1.03 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18380 4 1 0 33932 60 0 0 16 0 11 0 1852773312 862666752 27437 4294967295 134512640 134569956 3221224336 3221214560 1131452676 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 210612 27437 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 339.92
Current children cumulated vsize (Kb) 842448

[startup+370.034 s]
Raw data (loadavg): 1.00 1.03 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18385 4 1 0 34878 60 0 0 23 0 11 0 1852773312 862666752 27523 4294967295 134512640 134569956 3221224336 3221214616 1131429089 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 210612 27523 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 349.38
Current children cumulated vsize (Kb) 842448

[startup+380.034 s]
Raw data (loadavg): 1.00 1.03 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18390 4 1 0 35818 61 0 0 18 0 11 0 1852773312 862666752 27774 4294967295 134512640 134569956 3221224336 3221214696 1131587169 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25518/statm): 210612 27774 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 358.79
Current children cumulated vsize (Kb) 842448

[startup+390.035 s]
Raw data (loadavg): 1.00 1.03 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18394 4 1 0 36773 61 0 0 25 0 11 0 1852773312 862666752 27893 4294967295 134512640 134569956 3221224336 3221214128 1131736128 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 210612 27893 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 368.34
Current children cumulated vsize (Kb) 842448

[startup+400.035 s]
Raw data (loadavg): 1.00 1.03 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) S 25517 25518 5245 0 -1 0 18398 4 1 0 37724 61 0 0 17 0 11 0 1852773312 862666752 27989 4294967295 134512640 134569956 3221224336 3221213240 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25518/statm): 210612 27989 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 377.85
Current children cumulated vsize (Kb) 842448

[startup+410.037 s]
Raw data (loadavg): 1.00 1.03 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18404 4 1 0 38660 61 0 0 25 0 11 0 1852773312 862666752 28076 4294967295 134512640 134569956 3221224336 3221214648 1131517257 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 210612 28076 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 387.21
Current children cumulated vsize (Kb) 842448

[startup+420.038 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18409 4 1 0 39606 61 0 0 25 0 11 0 1852773312 862666752 28277 4294967295 134512640 134569956 3221224336 3221214496 1131602888 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25518/statm): 210612 28277 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 396.67
Current children cumulated vsize (Kb) 842448

[startup+430.039 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18413 4 1 0 40566 61 0 0 25 0 11 0 1852773312 862666752 28366 4294967295 134512640 134569956 3221224336 3221214600 1131507662 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 210612 28366 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 406.27
Current children cumulated vsize (Kb) 842448

[startup+440.04 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18418 4 1 0 41518 62 0 0 25 0 11 0 1852773312 862666752 28561 4294967295 134512640 134569956 3221224336 3221214496 1131602718 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25518/statm): 210612 28561 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 415.8
Current children cumulated vsize (Kb) 842448

[startup+450.04 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18422 4 1 0 42485 62 0 0 25 0 11 0 1852773312 862666752 28668 4294967295 134512640 134569956 3221224336 3221214560 1131406251 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25518/statm): 210612 28668 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 425.47
Current children cumulated vsize (Kb) 842448

[startup+460.042 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18427 4 1 0 43446 62 0 0 24 0 11 0 1852773312 862666752 28821 4294967295 134512640 134569956 3221224336 3221214648 1131518388 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25518/statm): 210612 28821 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 435.08
Current children cumulated vsize (Kb) 842448

[startup+470.043 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18434 4 1 0 44396 63 0 0 22 0 11 0 1852773312 862666752 28969 4294967295 134512640 134569956 3221224336 3221214608 1131484808 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25518/statm): 210612 28969 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 444.59
Current children cumulated vsize (Kb) 842448

[startup+480.044 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18439 4 1 0 45359 63 0 0 25 0 11 0 1852773312 862666752 29037 4294967295 134512640 134569956 3221224336 3221214284 1076637342 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 210612 29037 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 454.22
Current children cumulated vsize (Kb) 842448

[startup+490.046 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18445 4 1 0 46305 64 0 0 25 0 11 0 1852773312 862666752 29157 4294967295 134512640 134569956 3221224336 3221214560 1131453165 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 210612 29157 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 463.69
Current children cumulated vsize (Kb) 842448

[startup+500.045 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18451 4 1 0 47249 64 0 0 20 0 11 0 1852773312 862666752 29208 4294967295 134512640 134569956 3221224336 3221214496 1131428941 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25518/statm): 210612 29208 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 473.13
Current children cumulated vsize (Kb) 842448

[startup+510.046 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18456 4 1 0 48199 64 0 0 25 0 11 0 1852773312 862666752 29300 4294967295 134512640 134569956 3221224336 3221214648 1131517188 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 210612 29300 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 482.63
Current children cumulated vsize (Kb) 842448

[startup+520.047 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18463 4 1 0 49124 65 0 0 24 0 11 0 1852773312 862666752 29445 4294967295 134512640 134569956 3221224336 3221214720 1131490634 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 210612 29445 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 491.89
Current children cumulated vsize (Kb) 842448

[startup+530.048 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18468 4 1 0 50074 65 0 0 25 0 11 0 1852773312 862666752 29540 4294967295 134512640 134569956 3221224336 3221214696 1131503864 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 210612 29540 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 501.39
Current children cumulated vsize (Kb) 842448

[startup+540.049 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18473 4 1 0 51026 65 0 0 25 0 11 0 1852773312 862666752 29808 4294967295 134512640 134569956 3221224336 3221214576 1131515223 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25518/statm): 210612 29808 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 510.91
Current children cumulated vsize (Kb) 842448

[startup+550.049 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18478 4 1 0 51983 65 0 0 21 0 11 0 1852773312 862666752 29891 4294967295 134512640 134569956 3221224336 3221214496 1131603934 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 210612 29891 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 520.48
Current children cumulated vsize (Kb) 842448

[startup+560.05 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18484 4 1 0 52940 66 0 0 25 0 11 0 1852773312 862666752 29983 4294967295 134512640 134569956 3221224336 3221214560 1131452487 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25518/statm): 210612 29983 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 530.06
Current children cumulated vsize (Kb) 842448

[startup+570.051 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18491 4 1 0 53882 66 0 0 25 0 11 0 1852773312 862666752 30149 4294967295 134512640 134569956 3221224336 3221214648 1131517322 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25518/statm): 210612 30149 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 539.48
Current children cumulated vsize (Kb) 842448

[startup+580.052 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18497 4 1 0 54832 66 0 0 25 0 11 0 1852773312 862666752 30261 4294967295 134512640 134569956 3221224336 3221214560 1131452222 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 210612 30261 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 548.98
Current children cumulated vsize (Kb) 842448

[startup+590.053 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18503 4 1 0 55784 66 0 0 25 0 11 0 1852773312 862666752 30397 4294967295 134512640 134569956 3221224336 3221214576 1131515248 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 210612 30397 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 558.5
Current children cumulated vsize (Kb) 842448

[startup+600.053 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18508 4 1 0 56745 67 0 0 25 0 11 0 1852773312 862666752 30451 4294967295 134512640 134569956 3221224336 3221214492 1131571744 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25518/statm): 210612 30451 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 568.12
Current children cumulated vsize (Kb) 842448

[startup+610.055 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18513 4 1 0 57705 67 0 0 25 0 11 0 1852773312 862666752 30582 4294967295 134512640 134569956 3221224336 3221214648 1131517257 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25518/statm): 210612 30582 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 577.72
Current children cumulated vsize (Kb) 842448

[startup+620.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18518 4 1 0 58666 67 0 0 25 0 11 0 1852773312 862666752 30696 4294967295 134512640 134569956 3221224336 3221214600 1131507488 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 210612 30696 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 587.33
Current children cumulated vsize (Kb) 842448

[startup+630.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18523 4 1 0 59630 68 0 0 25 0 11 0 1852773312 862666752 30781 4294967295 134512640 134569956 3221224336 3221214496 1131602479 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25518/statm): 210612 30781 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 596.98
Current children cumulated vsize (Kb) 842448

[startup+640.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18527 4 1 0 60603 68 0 0 25 0 11 0 1852773312 862666752 30862 4294967295 134512640 134569956 3221224336 3221214504 1131428890 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 210612 30862 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 606.71
Current children cumulated vsize (Kb) 842448

[startup+650.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18533 4 1 0 61565 68 0 0 25 0 11 0 1852773312 862666752 30920 4294967295 134512640 134569956 3221224336 3221214608 1131484707 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25518/statm): 210612 30920 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 616.33
Current children cumulated vsize (Kb) 842448

[startup+660.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18538 4 1 0 62534 69 0 0 25 0 11 0 1852773312 862666752 31019 4294967295 134512640 134569956 3221224336 3221214648 1131517188 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25518/statm): 210612 31019 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 626.03
Current children cumulated vsize (Kb) 842448

[startup+670.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18544 4 1 0 63497 69 0 0 25 0 11 0 1852773312 862666752 31095 4294967295 134512640 134569956 3221224336 3221214600 1131507897 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 210612 31095 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 635.66
Current children cumulated vsize (Kb) 842448

[startup+680.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18551 4 1 0 64458 70 0 0 17 0 11 0 1852773312 862666752 31193 4294967295 134512640 134569956 3221224336 3221214560 1131452641 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25518/statm): 210612 31193 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 645.28
Current children cumulated vsize (Kb) 842448

[startup+690.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18557 4 1 0 65423 70 0 0 25 0 11 0 1852773312 862666752 31230 4294967295 134512640 134569956 3221224336 3221214496 1131602918 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25518/statm): 210612 31230 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 654.93
Current children cumulated vsize (Kb) 842448

[startup+700.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18563 4 1 0 66385 70 0 0 20 0 11 0 1852773312 862666752 31323 4294967295 134512640 134569956 3221224336 3221214592 1131406233 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 210612 31323 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 664.55
Current children cumulated vsize (Kb) 842448

[startup+710.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18568 4 1 0 67352 70 0 0 16 0 11 0 1852773312 862666752 31353 4294967295 134512640 134569956 3221224336 3221214608 1131484656 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 210612 31353 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 674.22
Current children cumulated vsize (Kb) 842448

[startup+720.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18573 4 1 0 68318 71 0 0 25 0 11 0 1852773312 862666752 31438 4294967295 134512640 134569956 3221224336 3221214600 1131507513 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 210612 31438 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 683.89
Current children cumulated vsize (Kb) 842448

[startup+730.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18580 4 1 0 69267 71 0 0 25 0 11 0 1852773312 862666752 31539 4294967295 134512640 134569956 3221224336 3221214560 1131452641 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 210612 31539 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 693.38
Current children cumulated vsize (Kb) 842448

[startup+740.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18585 4 1 0 70230 72 0 0 25 0 11 0 1852773312 862666752 31610 4294967295 134512640 134569956 3221224336 3221214584 1131460857 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 210612 31610 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 703.02
Current children cumulated vsize (Kb) 842448

[startup+750.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18590 4 1 0 71189 73 0 0 25 0 11 0 1852773312 862666752 31638 4294967295 134512640 134569956 3221224336 3221214720 1131490402 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 210612 31638 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 712.62
Current children cumulated vsize (Kb) 842448

[startup+760.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18597 4 1 0 72136 73 0 0 25 0 11 0 1852773312 862666752 31787 4294967295 134512640 134569956 3221224336 3221214560 1131452641 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25518/statm): 210612 31787 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 722.09
Current children cumulated vsize (Kb) 842448

[startup+770.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18604 4 1 0 73083 73 0 0 25 0 11 0 1852773312 862666752 31933 4294967295 134512640 134569956 3221224336 3221214556 1131057201 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 210612 31933 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 731.56
Current children cumulated vsize (Kb) 842448

[startup+780.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18612 4 1 0 74023 74 0 0 24 0 11 0 1852773312 862666752 32029 4294967295 134512640 134569956 3221224336 3221214608 1131484758 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25518/statm): 210612 32029 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 740.97
Current children cumulated vsize (Kb) 842448

[startup+790.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18618 4 1 0 74980 74 0 0 25 0 11 0 1852773312 862666752 32186 4294967295 134512640 134569956 3221224336 3221214584 1131476734 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25518/statm): 210612 32186 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 750.54
Current children cumulated vsize (Kb) 842448

[startup+800.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18624 4 1 0 75943 75 0 0 25 0 11 0 1852773312 862666752 32262 4294967295 134512640 134569956 3221224336 3221214600 1131507504 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 210612 32262 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 760.18
Current children cumulated vsize (Kb) 842448

[startup+810.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18629 4 1 0 76911 75 0 0 25 0 11 0 1852773312 862666752 32335 4294967295 134512640 134569956 3221224336 3221214560 1131453056 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 210612 32335 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 769.86
Current children cumulated vsize (Kb) 842448

[startup+820.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18637 4 1 0 77859 76 0 0 20 0 11 0 1852773312 862666752 32503 4294967295 134512640 134569956 3221224336 3221214604 1131515168 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25518/statm): 210612 32503 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 779.35
Current children cumulated vsize (Kb) 842448

[startup+830.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18643 4 1 0 78822 76 0 0 25 0 11 0 1852773312 862666752 32521 4294967295 134512640 134569956 3221224336 3221214408 1131452521 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 210612 32521 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 788.98
Current children cumulated vsize (Kb) 842448

[startup+840.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18649 4 1 0 79783 76 0 0 17 0 11 0 1852773312 862666752 32580 4294967295 134512640 134569956 3221224336 3221214284 1131735584 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25518/statm): 210612 32580 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 798.59
Current children cumulated vsize (Kb) 842448

[startup+850.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18657 4 1 0 80729 77 0 0 20 0 11 0 1852773312 862666752 32686 4294967295 134512640 134569956 3221224336 3221214560 1131452641 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25518/statm): 210612 32686 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 808.06
Current children cumulated vsize (Kb) 842448

[startup+860.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18664 4 1 0 81685 77 0 0 25 0 11 0 1852773312 862666752 32838 4294967295 134512640 134569956 3221224336 3221214648 1131518392 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 210612 32838 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 817.62
Current children cumulated vsize (Kb) 842448

[startup+870.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18670 4 1 0 82646 77 0 0 25 0 11 0 1852773312 862666752 32892 4294967295 134512640 134569956 3221224336 3221214400 1131735973 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25518/statm): 210612 32892 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 827.23
Current children cumulated vsize (Kb) 842448

[startup+880.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18679 4 1 0 83593 77 0 0 25 0 11 0 1852773312 862666752 33043 4294967295 134512640 134569956 3221224336 3221214648 1131520772 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 210612 33043 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 836.7
Current children cumulated vsize (Kb) 842448

[startup+890.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18687 4 1 0 84550 78 0 0 24 0 11 0 1852773312 862666752 33119 4294967295 134512640 134569956 3221224336 3221214600 1131507597 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 210612 33119 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 846.28
Current children cumulated vsize (Kb) 842448

[startup+900.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18693 4 1 0 85520 78 0 0 25 0 11 0 1852773312 862666752 33207 4294967295 134512640 134569956 3221224336 3221214608 1131484707 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25518/statm): 210612 33207 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 855.98
Current children cumulated vsize (Kb) 842448

[startup+910.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18698 4 1 0 86499 78 0 0 25 0 11 0 1852773312 862666752 33278 4294967295 134512640 134569956 3221224336 3221214712 1131541820 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25518/statm): 210612 33278 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 865.77
Current children cumulated vsize (Kb) 842448

[startup+920.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18705 4 1 0 87470 78 0 0 25 0 11 0 1852773312 862666752 33325 4294967295 134512640 134569956 3221224336 3221214504 1131428941 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 210612 33325 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 875.48
Current children cumulated vsize (Kb) 842448

[startup+930.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18713 4 1 0 88430 79 0 0 25 0 11 0 1852773312 862666752 33375 4294967295 134512640 134569956 3221224336 3221214472 1131400252 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 210612 33375 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 885.09
Current children cumulated vsize (Kb) 842448

[startup+940.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18720 4 1 0 89390 79 0 0 25 0 11 0 1852773312 862666752 33432 4294967295 134512640 134569956 3221224336 3221214560 1131452257 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 210612 33432 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 894.69
Current children cumulated vsize (Kb) 842448

[startup+950.081 s]
Raw data (loadavg): 1.08 1.02 1.01 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18727 4 1 0 90348 79 0 0 16 0 11 0 1852773312 862666752 33433 4294967295 134512640 134569956 3221224336 3221214720 1131541808 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25518/statm): 210612 33433 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 904.27
Current children cumulated vsize (Kb) 842448

[startup+960.083 s]
Raw data (loadavg): 1.07 1.02 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18735 4 1 0 91299 79 0 0 25 0 11 0 1852773312 862666752 33535 4294967295 134512640 134569956 3221224336 3221214608 1131484761 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 210612 33535 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 913.78
Current children cumulated vsize (Kb) 842448

[startup+970.084 s]
Raw data (loadavg): 1.06 1.01 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18739 4 1 0 92276 79 0 0 25 0 11 0 1852773312 862666752 33578 4294967295 134512640 134569956 3221224336 3221214496 1131603075 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25518/statm): 210612 33578 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 923.55
Current children cumulated vsize (Kb) 842448

[startup+980.084 s]
Raw data (loadavg): 1.05 1.01 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18744 4 1 0 93250 80 0 0 20 0 11 0 1852773312 862666752 33728 4294967295 134512640 134569956 3221224336 3221214560 1131452193 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25518/statm): 210612 33728 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 933.3
Current children cumulated vsize (Kb) 842448

[startup+990.086 s]
Raw data (loadavg): 1.04 1.01 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18751 4 1 0 94221 80 0 0 24 0 11 0 1852773312 862666752 33806 4294967295 134512640 134569956 3221224336 3221214560 1131452234 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25518/statm): 210612 33806 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 943.01
Current children cumulated vsize (Kb) 842448

[startup+1000.09 s]
Raw data (loadavg): 1.03 1.01 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18757 4 1 0 95193 80 0 0 25 0 11 0 1852773312 862666752 33844 4294967295 134512640 134569956 3221224336 3221214504 1131428941 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25518/statm): 210612 33844 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 952.73
Current children cumulated vsize (Kb) 842448

[startup+1010.09 s]
Raw data (loadavg): 1.03 1.01 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18765 4 1 0 96156 81 0 0 17 0 11 0 1852773312 862666752 33883 4294967295 134512640 134569956 3221224336 3221214560 1131452775 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 210612 33883 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 962.37
Current children cumulated vsize (Kb) 842448

[startup+1020.09 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18772 4 1 0 97118 81 0 0 16 0 11 0 1852773312 862666752 33914 4294967295 134512640 134569956 3221224336 3221214560 1131452817 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25518/statm): 210612 33914 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 971.99
Current children cumulated vsize (Kb) 842448

[startup+1030.09 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18777 4 1 0 98086 81 0 0 25 0 11 0 1852773312 862666752 33960 4294967295 134512640 134569956 3221224336 3221214648 1131518268 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25518/statm): 210612 33960 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 981.67
Current children cumulated vsize (Kb) 842448

[startup+1040.09 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18784 4 1 0 99035 82 0 0 16 0 11 0 1852773312 862666752 34037 4294967295 134512640 134569956 3221224336 3221214616 1131428941 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25518/statm): 210612 34037 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 991.17
Current children cumulated vsize (Kb) 842448

[startup+1050.24 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18790 4 1 0 100002 82 0 0 17 0 11 0 1852773312 862666752 34112 4294967295 134512640 134569956 3221224336 3221214560 1131452193 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 210612 34112 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 1000.84
Current children cumulated vsize (Kb) 842448

[startup+1060.24 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18795 4 1 0 100959 82 0 0 25 0 11 0 1852773312 862666752 34159 4294967295 134512640 134569956 3221224336 3221214560 1131452564 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25518/statm): 210612 34159 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 1010.41
Current children cumulated vsize (Kb) 842448

[startup+1070.24 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18802 4 1 0 101901 82 0 0 25 0 11 0 1852773312 862666752 34258 4294967295 134512640 134569956 3221224336 3221214648 1131517322 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 210612 34258 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 1019.83
Current children cumulated vsize (Kb) 842448

[startup+1080.24 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18807 4 1 0 102859 82 0 0 20 0 11 0 1852773312 862666752 34357 4294967295 134512640 134569956 3221224336 3221214648 1131517322 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25518/statm): 210612 34357 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 1029.41
Current children cumulated vsize (Kb) 842448

[startup+1090.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18812 4 1 0 103820 83 0 0 25 0 11 0 1852773312 862666752 34480 4294967295 134512640 134569956 3221224336 3221214560 1131452222 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 210612 34480 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 1039.03
Current children cumulated vsize (Kb) 842448

[startup+1100.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18819 4 1 0 104768 83 0 0 19 0 11 0 1852773312 862666752 34651 4294967295 134512640 134569956 3221224336 3221214504 1131429241 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25518/statm): 210612 34651 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 1048.51
Current children cumulated vsize (Kb) 842448

[startup+1110.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18825 4 1 0 105727 83 0 0 25 0 11 0 1852773312 862666752 34742 4294967295 134512640 134569956 3221224336 3221214496 1131602479 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 210612 34742 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 1058.1
Current children cumulated vsize (Kb) 842448

[startup+1120.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18830 4 1 0 106690 83 0 0 25 0 11 0 1852773312 862666752 34820 4294967295 134512640 134569956 3221224336 3221214648 1131517257 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 210612 34820 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 1067.73
Current children cumulated vsize (Kb) 842448

[startup+1130.25 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18837 4 1 0 107633 83 0 0 25 0 11 0 1852773312 862666752 34883 4294967295 134512640 134569956 3221224336 3221214496 1131602486 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 210612 34883 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 1077.16
Current children cumulated vsize (Kb) 842448

[startup+1140.25 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18841 4 1 0 108598 84 0 0 25 0 11 0 1852773312 862666752 34966 4294967295 134512640 134569956 3221224336 3221214496 1131429024 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25518/statm): 210612 34966 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 1086.82
Current children cumulated vsize (Kb) 842448

[startup+1150.25 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18846 4 1 0 109558 84 0 0 25 0 11 0 1852773312 862666752 35050 4294967295 134512640 134569956 3221224336 3221214560 1131452882 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25518/statm): 210612 35050 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 1096.42
Current children cumulated vsize (Kb) 842448

[startup+1160.25 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18853 4 1 0 110502 84 0 0 24 0 11 0 1852773312 862666752 35141 4294967295 134512640 134569956 3221224336 3221214576 1131515329 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 210612 35141 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 1105.86
Current children cumulated vsize (Kb) 842448

[startup+1170.25 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18858 4 1 0 111463 84 0 0 25 0 11 0 1852773312 862666752 35241 4294967295 134512640 134569956 3221224336 3221214496 1131603845 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 210612 35241 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 1115.47
Current children cumulated vsize (Kb) 842448

[startup+1180.25 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18863 4 1 0 112426 84 0 0 23 0 11 0 1852773312 862666752 35373 4294967295 134512640 134569956 3221224336 3221214648 1131517331 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25518/statm): 210612 35373 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 1125.1
Current children cumulated vsize (Kb) 842448

[startup+1190.25 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18869 4 1 0 113380 84 0 0 21 0 11 0 1852773312 862666752 35505 4294967295 134512640 134569956 3221224336 3221214312 1076478361 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25518/statm): 210612 35505 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 1134.64
Current children cumulated vsize (Kb) 842448

[startup+1200.25 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18873 4 1 0 114348 84 0 0 25 0 11 0 1852773312 862666752 35533 4294967295 134512640 134569956 3221224336 3221214648 1131517322 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 210612 35533 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 1144.32
Current children cumulated vsize (Kb) 842448

[startup+1210.25 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18878 4 1 0 115309 84 0 0 23 0 11 0 1852773312 862666752 35662 4294967295 134512640 134569956 3221224336 3221214584 1131476722 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25518/statm): 210612 35662 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 1153.93
Current children cumulated vsize (Kb) 842448

[startup+1220.25 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18884 4 1 0 116264 84 0 0 17 0 11 0 1852773312 862666752 35685 4294967295 134512640 134569956 3221224336 3221214472 1131400860 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25518/statm): 210612 35685 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 1163.48
Current children cumulated vsize (Kb) 842448

[startup+1230.25 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18889 4 1 0 117226 85 0 0 25 0 11 0 1852773312 862666752 35748 4294967295 134512640 134569956 3221224336 3221214648 1131517204 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 210612 35748 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 1173.11
Current children cumulated vsize (Kb) 842448

[startup+1240.25 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18895 4 1 0 118180 85 0 0 25 0 11 0 1852773312 862666752 35864 4294967295 134512640 134569956 3221224336 3221214392 1131737537 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25518/statm): 210612 35864 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 1182.65
Current children cumulated vsize (Kb) 842448

[startup+1250.25 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18899 4 1 0 119154 85 0 0 25 0 11 0 1852773312 862666752 36063 4294967295 134512640 134569956 3221224336 3221214496 1131463793 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25518/statm): 210612 36063 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 1192.39
Current children cumulated vsize (Kb) 842448

[startup+1260.26 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18906 4 1 0 120110 86 0 0 25 0 11 0 1852773312 862666752 36118 4294967295 134512640 134569956 3221224336 3221214560 1131452641 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 210612 36118 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 1201.96
Current children cumulated vsize (Kb) 842448



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1260.26 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25529
Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18906 4 1 0 120110 86 0 0 25 0 11 0 1852773312 862666752 36118 4294967295 134512640 134569956 3221224336 3221214560 1131452641 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25518/statm): 210612 36118 13129 16 0 210596 0
[pid=25518] vsize: 842448
Current children cumulated CPU time (s) 1201.96
Current children cumulated vsize (Kb) 842448

Sending SIGTERM to -25518
Sleeping 2 seconds
New thread pid=25531
New thread pid=25532
One traced child (pid=25532) exited with status: 0
One traced child (pid=25527) exited with status: 0
One traced child (pid=25522) exited with status: 0
One traced child (pid=25519) exited with status: 143
One traced child (pid=25520) exited with status: 143
One traced child (pid=25521) exited with status: 143
One traced child (pid=25526) exited with status: 143
One traced child (pid=25523) exited with status: 143
One traced child (pid=25525) exited with status: 143
One traced child (pid=25529) exited with status: 143
One traced child (pid=25524) exited with status: 143
One traced child (pid=25531) exited with status: 143
One traced child (pid=25518) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1260.59
CPU time (s): 1268.85
CPU user time (s): 1267.03
CPU system time (s): 1.81472
CPU usage (%): 100.655
Max. virtual memory (cumulated for all children) (Kb): 847340

Verifier Data

Verifier:	OK	1022