PB'05 competition: run trace

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:
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.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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.
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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-10teams.opb
MD5SUM	130bea0863cb3f92addf09aabe15daa3
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	912
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 numbers	16
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.97
Number of variables	1800
Total number of constraints	2015
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2015
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	72
Trace number 25710

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-21 22:02:58 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18142 boxname=wulflinc31 idbench=1396 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  130bea0863cb3f92addf09aabe15daa3  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-10teams.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-10teams.opb
IDLAUNCH: 18142
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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.153
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:        900164 kB
Buffers:         21988 kB
Cached:          89452 kB
SwapCached:        964 kB
Active:          56336 kB
Inactive:        57352 kB
HighTotal:      131008 kB
HighFree:        70448 kB
LowTotal:       903652 kB
LowFree:        829716 kB
SwapTotal:     2097892 kB
SwapFree:      2095964 kB
Dirty:            4060 kB
Writeback:           0 kB
Mapped:           5096 kB
Slab:            15112 kB
Committed_AS:    63840 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-21 22:22:48 (client local time) WITH STATUS 10 IN 1189.1 SECONDS
stats: 18142 0 1189.1 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Pueblo version 1.2 (Sept 2004)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c Solving: /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-10teams.opb
c #variables read: 1800 - #constraints read: 2141
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 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 1.01 1.02 0.99 2/55 16565
Raw data (stat): 16565 (runsolver) R 16564 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 807744449 1056768 100 4294967295 134512640 135381576 3221221680 3221216904 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0009 s]
Raw data (loadavg): 1.00 1.02 0.99 2/55 16565
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 1039 0 0 0 991 6 0 0 25 0 1 0 807744449 9867264 1016 4294967295 134512640 134581331 3221221792 3221220688 134517871 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2409 1016 566 18 0 2391 0
vsize: 9636
[startup+20.0017 s]
Raw data (loadavg): 1.00 1.01 0.99 2/55 16565
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 1503 0 0 0 1990 7 0 0 25 0 1 0 807744449 11784192 1480 4294967295 134512640 134581331 3221221792 3221220704 134519011 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2877 1480 566 18 0 2859 0
vsize: 11508
[startup+30.0016 s]
Raw data (loadavg): 1.00 1.01 0.99 2/55 16565
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 1539 0 0 0 2988 9 0 0 25 0 1 0 807744449 11866112 1516 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2897 1516 566 18 0 2879 0
vsize: 11588
[startup+40.0026 s]
Raw data (loadavg): 1.00 1.01 0.99 2/55 16565
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 1863 0 0 0 3987 11 0 0 25 0 1 0 807744449 13189120 1840 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3220 1840 566 18 0 3202 0
vsize: 12880
[startup+50.0034 s]
Raw data (loadavg): 1.00 1.01 0.99 2/55 16565
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 1966 0 0 0 4985 13 0 0 25 0 1 0 807744449 13692928 1943 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3343 1943 566 18 0 3325 0
vsize: 13372
[startup+60.0044 s]
Raw data (loadavg): 1.00 1.01 0.99 2/55 16565
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 1979 0 0 0 5985 13 0 0 25 0 1 0 807744449 13692928 1956 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3343 1956 566 18 0 3325 0
vsize: 13372
[startup+70.0053 s]
Raw data (loadavg): 1.00 1.01 0.99 2/55 16565
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 1979 0 0 0 6984 14 0 0 25 0 1 0 807744449 13692928 1956 4294967295 134512640 134581331 3221221792 3221220512 134524441 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3343 1956 566 18 0 3325 0
vsize: 13372
[startup+80.0052 s]
Raw data (loadavg): 1.00 1.01 0.99 2/55 16565
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 2246 0 0 0 7983 15 0 0 25 0 1 0 807744449 14827520 2223 4294967295 134512640 134581331 3221221792 3221220512 134522634 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3620 2223 566 18 0 3602 0
vsize: 14480
[startup+90.0052 s]
Raw data (loadavg): 1.00 1.01 0.99 2/55 16565
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 2409 0 0 0 8982 16 0 0 25 0 1 0 807744449 15429632 2386 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3767 2386 566 18 0 3749 0
vsize: 15068
[startup+100.005 s]
Raw data (loadavg): 1.00 1.01 0.99 2/55 16565
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 2596 0 0 0 9982 17 0 0 25 0 1 0 807744449 16248832 2573 4294967295 134512640 134581331 3221221792 3221220512 134522609 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3967 2573 566 18 0 3949 0
vsize: 15868
[startup+110.006 s]
Raw data (loadavg): 1.00 1.01 0.99 2/55 16565
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 2820 0 0 0 10981 18 0 0 25 0 1 0 807744449 17223680 2797 4294967295 134512640 134581331 3221221792 3221220512 134522456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4205 2797 566 18 0 4187 0
vsize: 16820
[startup+120.007 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16565
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 2820 0 0 0 11981 19 0 0 25 0 1 0 807744449 17223680 2797 4294967295 134512640 134581331 3221221792 3221220656 134526983 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4205 2797 566 18 0 4187 0
vsize: 16820
[startup+130.007 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16565
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 2820 0 0 0 12980 19 0 0 25 0 1 0 807744449 17223680 2797 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4205 2797 566 18 0 4187 0
vsize: 16820
[startup+140.008 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16565
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 2820 0 0 0 13980 20 0 0 25 0 1 0 807744449 17203200 2797 4294967295 134512640 134581331 3221221792 3221219424 134532268 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4200 2797 566 18 0 4182 0
vsize: 16800
[startup+150.008 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16565
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 2861 0 0 0 14980 20 0 0 25 0 1 0 807744449 17350656 2838 4294967295 134512640 134581331 3221221792 3221220704 134527440 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4236 2838 566 18 0 4218 0
vsize: 16944
[startup+160.009 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16565
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 2861 0 0 0 15979 21 0 0 25 0 1 0 807744449 17350656 2838 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4236 2838 566 18 0 4218 0
vsize: 16944
[startup+170.009 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16565
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 2872 0 0 0 16979 21 0 0 25 0 1 0 807744449 17350656 2849 4294967295 134512640 134581331 3221221792 3221220704 134527445 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4236 2849 566 18 0 4218 0
vsize: 16944
[startup+180.009 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 2872 0 0 0 17978 22 0 0 25 0 1 0 807744449 17350656 2849 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4236 2849 566 18 0 4218 0
vsize: 16944
[startup+190.01 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 2872 0 0 0 18977 23 0 0 25 0 1 0 807744449 17350656 2849 4294967295 134512640 134581331 3221221792 3221220512 134522568 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4236 2849 566 18 0 4218 0
vsize: 16944
[startup+200.009 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 2872 0 0 0 19977 24 0 0 25 0 1 0 807744449 17350656 2849 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4236 2849 566 18 0 4218 0
vsize: 16944
[startup+210.01 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 2872 0 0 0 20977 24 0 0 25 0 1 0 807744449 17350656 2849 4294967295 134512640 134581331 3221221792 3221220676 134557761 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4236 2849 566 18 0 4218 0
vsize: 16944
[startup+220.011 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 2916 0 0 0 21977 24 0 0 25 0 1 0 807744449 17637376 2893 4294967295 134512640 134581331 3221221792 3221220512 134522634 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4306 2893 566 18 0 4288 0
vsize: 17224
[startup+230.012 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 3155 0 0 0 22976 25 0 0 25 0 1 0 807744449 18595840 3132 4294967295 134512640 134581331 3221221792 3221220512 134522586 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4540 3132 566 18 0 4522 0
vsize: 18160
[startup+240.012 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 3162 0 0 0 23976 25 0 0 25 0 1 0 807744449 18595840 3139 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4540 3139 566 18 0 4522 0
vsize: 18160
[startup+250.012 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 3162 0 0 0 24975 26 0 0 25 0 1 0 807744449 18595840 3139 4294967295 134512640 134581331 3221221792 3221220688 134517905 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4540 3139 566 18 0 4522 0
vsize: 18160
[startup+260.013 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 3162 0 0 0 25975 27 0 0 25 0 1 0 807744449 18595840 3139 4294967295 134512640 134581331 3221221792 3221220512 134524432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4540 3139 566 18 0 4522 0
vsize: 18160
[startup+270.013 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 3162 0 0 0 26975 27 0 0 25 0 1 0 807744449 18595840 3139 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4540 3139 566 18 0 4522 0
vsize: 18160
[startup+280.013 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 3162 0 0 0 27975 27 0 0 25 0 1 0 807744449 18595840 3139 4294967295 134512640 134581331 3221221792 3221220704 134527772 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4540 3139 566 18 0 4522 0
vsize: 18160
[startup+290.014 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 3162 0 0 0 28975 27 0 0 25 0 1 0 807744449 18595840 3139 4294967295 134512640 134581331 3221221792 3221220512 134522606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4540 3139 566 18 0 4522 0
vsize: 18160
[startup+300.014 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 3162 0 0 0 29975 28 0 0 25 0 1 0 807744449 18595840 3139 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4540 3139 566 18 0 4522 0
vsize: 18160
[startup+310.015 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 3162 0 0 0 30975 28 0 0 25 0 1 0 807744449 18595840 3139 4294967295 134512640 134581331 3221221792 3221220512 134522624 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4540 3139 566 18 0 4522 0
vsize: 18160
[startup+320.016 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 3162 0 0 0 31974 29 0 0 25 0 1 0 807744449 18595840 3139 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4540 3139 566 18 0 4522 0
vsize: 18160
[startup+330.016 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 3162 0 0 0 32973 30 0 0 25 0 1 0 807744449 18595840 3139 4294967295 134512640 134581331 3221221792 3221220704 134527510 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4540 3139 566 18 0 4522 0
vsize: 18160
[startup+340.017 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 3162 0 0 0 33973 30 0 0 25 0 1 0 807744449 18595840 3139 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4540 3139 566 18 0 4522 0
vsize: 18160
[startup+350.017 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 3162 0 0 0 34973 31 0 0 25 0 1 0 807744449 18595840 3139 4294967295 134512640 134581331 3221221792 3221220688 134517862 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4540 3139 566 18 0 4522 0
vsize: 18160
[startup+360.017 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 3162 0 0 0 35972 32 0 0 25 0 1 0 807744449 18595840 3139 4294967295 134512640 134581331 3221221792 3221220688 134517851 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4540 3139 566 18 0 4522 0
vsize: 18160
[startup+370.017 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 3162 0 0 0 36972 32 0 0 25 0 1 0 807744449 18595840 3139 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4540 3139 566 18 0 4522 0
vsize: 18160
[startup+380.017 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 3162 0 0 0 37971 33 0 0 25 0 1 0 807744449 18595840 3139 4294967295 134512640 134581331 3221221792 3221220464 134526952 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4540 3139 566 18 0 4522 0
vsize: 18160
[startup+390.018 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 3162 0 0 0 38971 33 0 0 25 0 1 0 807744449 18595840 3139 4294967295 134512640 134581331 3221221792 3221220512 134522634 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4540 3139 566 18 0 4522 0
vsize: 18160
[startup+400.018 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 3162 0 0 0 39971 34 0 0 25 0 1 0 807744449 18595840 3139 4294967295 134512640 134581331 3221221792 3221220676 134557898 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4540 3139 566 18 0 4522 0
vsize: 18160
[startup+410.019 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 3162 0 0 0 40971 34 0 0 25 0 1 0 807744449 18595840 3139 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4540 3139 566 18 0 4522 0
vsize: 18160
[startup+420.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 3270 0 0 0 41971 34 0 0 25 0 1 0 807744449 18993152 3247 4294967295 134512640 134581331 3221221792 3221220704 134527652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4637 3247 566 18 0 4619 0
vsize: 18548
[startup+430.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 3313 0 0 0 42971 35 0 0 25 0 1 0 807744449 19083264 3279 4294967295 134512640 134581331 3221221792 3221220688 134517873 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4659 3279 566 18 0 4641 0
vsize: 18636
[startup+440.021 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 3356 0 0 0 43971 35 0 0 25 0 1 0 807744449 19206144 3305 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4689 3305 566 18 0 4671 0
vsize: 18756
[startup+450.021 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 3741 0 0 0 44969 36 0 0 25 0 1 0 807744449 20844544 3690 4294967295 134512640 134581331 3221221792 3221220688 134517868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5089 3690 566 18 0 5071 0
vsize: 20356
[startup+460.022 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 3779 0 0 0 45970 36 0 0 25 0 1 0 807744449 20979712 3728 4294967295 134512640 134581331 3221221792 3221220688 134517888 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5122 3728 566 18 0 5104 0
vsize: 20488
[startup+470.022 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 3779 0 0 0 46969 36 0 0 25 0 1 0 807744449 20979712 3728 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5122 3728 566 18 0 5104 0
vsize: 20488
[startup+480.022 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 3779 0 0 0 47970 37 0 0 25 0 1 0 807744449 20979712 3728 4294967295 134512640 134581331 3221221792 3221220688 134517873 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5122 3728 566 18 0 5104 0
vsize: 20488
[startup+490.023 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 3779 0 0 0 48969 37 0 0 25 0 1 0 807744449 20979712 3728 4294967295 134512640 134581331 3221221792 3221220688 134517880 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5122 3728 566 18 0 5104 0
vsize: 20488
[startup+500.022 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 3779 0 0 0 49969 38 0 0 25 0 1 0 807744449 20897792 3722 4294967295 134512640 134581331 3221221792 3221220688 134517873 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5102 3722 566 18 0 5084 0
vsize: 20408
[startup+510.024 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 3779 0 0 0 50969 38 0 0 25 0 1 0 807744449 20897792 3722 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5102 3722 566 18 0 5084 0
vsize: 20408
[startup+520.023 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 3779 0 0 0 51968 39 0 0 25 0 1 0 807744449 20897792 3722 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5102 3722 566 18 0 5084 0
vsize: 20408
[startup+530.024 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 3779 0 0 0 52968 39 0 0 25 0 1 0 807744449 20844544 3709 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5089 3709 566 18 0 5071 0
vsize: 20356
[startup+540.024 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 3779 0 0 0 53968 39 0 0 25 0 1 0 807744449 20844544 3709 4294967295 134512640 134581331 3221221792 3221220736 134558842 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5089 3709 566 18 0 5071 0
vsize: 20356
[startup+550.024 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 3779 0 0 0 54968 40 0 0 25 0 1 0 807744449 20840448 3708 4294967295 134512640 134581331 3221221792 3221220512 134522613 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5088 3708 566 18 0 5070 0
vsize: 20352
[startup+560.025 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 3779 0 0 0 55967 40 0 0 25 0 1 0 807744449 20840448 3708 4294967295 134512640 134581331 3221221792 3221220720 134519947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5088 3708 566 18 0 5070 0
vsize: 20352
[startup+570.025 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 3779 0 0 0 56966 41 0 0 25 0 1 0 807744449 20840448 3708 4294967295 134512640 134581331 3221221792 3221220676 134557898 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5088 3708 566 18 0 5070 0
vsize: 20352
[startup+580.025 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 3779 0 0 0 57966 42 0 0 25 0 1 0 807744449 20836352 3707 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5087 3707 566 18 0 5069 0
vsize: 20348
[startup+590.026 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 3779 0 0 0 58965 42 0 0 25 0 1 0 807744449 20836352 3707 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5087 3707 566 18 0 5069 0
vsize: 20348
[startup+600.027 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 3779 0 0 0 59965 42 0 0 25 0 1 0 807744449 20836352 3707 4294967295 134512640 134581331 3221221792 3221220512 134524432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5087 3707 566 18 0 5069 0
vsize: 20348
[startup+610.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 3779 0 0 0 60965 43 0 0 25 0 1 0 807744449 20836352 3707 4294967295 134512640 134581331 3221221792 3221220512 134522624 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5087 3707 566 18 0 5069 0
vsize: 20348
[startup+620.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 3779 0 0 0 61965 43 0 0 25 0 1 0 807744449 20836352 3707 4294967295 134512640 134581331 3221221792 3221220512 134522586 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5087 3707 566 18 0 5069 0
vsize: 20348
[startup+630.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 3779 0 0 0 62965 43 0 0 25 0 1 0 807744449 20836352 3707 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5087 3707 566 18 0 5069 0
vsize: 20348
[startup+640.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 3779 0 0 0 63965 44 0 0 25 0 1 0 807744449 20836352 3707 4294967295 134512640 134581331 3221221792 3221220512 134522274 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5087 3707 566 18 0 5069 0
vsize: 20348
[startup+650.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 3779 0 0 0 64964 44 0 0 25 0 1 0 807744449 20836352 3707 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5087 3707 566 18 0 5069 0
vsize: 20348
[startup+660.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 3799 0 0 0 65964 45 0 0 25 0 1 0 807744449 20971520 3727 4294967295 134512640 134581331 3221221792 3221220688 134517873 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5120 3727 566 18 0 5102 0
vsize: 20480
[startup+670.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 3935 0 0 0 66964 45 0 0 25 0 1 0 807744449 21590016 3863 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5271 3863 566 18 0 5253 0
vsize: 21084
[startup+680.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 3959 0 0 0 67963 46 0 0 25 0 1 0 807744449 21590016 3887 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5271 3887 566 18 0 5253 0
vsize: 21084
[startup+690.031 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 3959 0 0 0 68963 47 0 0 25 0 1 0 807744449 21590016 3887 4294967295 134512640 134581331 3221221792 3221220688 134517862 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5271 3887 566 18 0 5253 0
vsize: 21084
[startup+700.032 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 3959 0 0 0 69963 47 0 0 25 0 1 0 807744449 21590016 3887 4294967295 134512640 134581331 3221221792 3221220676 134557761 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5271 3887 566 18 0 5253 0
vsize: 21084
[startup+710.034 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 3959 0 0 0 70963 47 0 0 25 0 1 0 807744449 21590016 3887 4294967295 134512640 134581331 3221221792 3221220512 134522611 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5271 3887 566 18 0 5253 0
vsize: 21084
[startup+720.034 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 3959 0 0 0 71963 47 0 0 25 0 1 0 807744449 21590016 3887 4294967295 134512640 134581331 3221221792 3221220704 134519025 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5271 3887 566 18 0 5253 0
vsize: 21084
[startup+730.136 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 3959 0 0 0 72973 47 0 0 25 0 1 0 807744449 21590016 3887 4294967295 134512640 134581331 3221221792 3221220688 134517859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5271 3887 566 18 0 5253 0
vsize: 21084
[startup+740.136 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 4030 0 0 0 73973 48 0 0 25 0 1 0 807744449 21864448 3958 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5338 3958 566 18 0 5320 0
vsize: 21352
[startup+750.136 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 4055 0 0 0 74973 48 0 0 25 0 1 0 807744449 21958656 3980 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5361 3980 566 18 0 5343 0
vsize: 21444
[startup+760.137 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 4055 0 0 0 75973 48 0 0 25 0 1 0 807744449 21958656 3980 4294967295 134512640 134581331 3221221792 3221220512 134524441 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5361 3980 566 18 0 5343 0
vsize: 21444
[startup+770.138 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 4166 0 0 0 76973 49 0 0 25 0 1 0 807744449 22355968 4070 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5458 4070 566 18 0 5440 0
vsize: 21832
[startup+780.138 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 4166 0 0 0 77973 49 0 0 25 0 1 0 807744449 22355968 4070 4294967295 134512640 134581331 3221221792 3221220704 134527418 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5458 4070 566 18 0 5440 0
vsize: 21832
[startup+790.139 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 4166 0 0 0 78973 49 0 0 25 0 1 0 807744449 22355968 4070 4294967295 134512640 134581331 3221221792 3221220704 134527423 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5458 4070 566 18 0 5440 0
vsize: 21832
[startup+800.139 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 4166 0 0 0 79972 50 0 0 25 0 1 0 807744449 22355968 4070 4294967295 134512640 134581331 3221221792 3221220512 134524432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5458 4070 566 18 0 5440 0
vsize: 21832
[startup+810.139 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 4166 0 0 0 80973 50 0 0 25 0 1 0 807744449 22355968 4070 4294967295 134512640 134581331 3221221792 3221220704 134519003 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5458 4070 566 18 0 5440 0
vsize: 21832
[startup+820.14 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 4166 0 0 0 81972 50 0 0 25 0 1 0 807744449 22355968 4070 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5458 4070 566 18 0 5440 0
vsize: 21832
[startup+830.141 s]
Raw data (loadavg): 1.08 1.02 1.00 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 4166 0 0 0 82972 50 0 0 25 0 1 0 807744449 22355968 4070 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5458 4070 566 18 0 5440 0
vsize: 21832
[startup+840.141 s]
Raw data (loadavg): 1.07 1.02 1.00 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 4166 0 0 0 83973 50 0 0 25 0 1 0 807744449 22290432 4062 4294967295 134512640 134581331 3221221792 3221220512 134524456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5442 4062 566 18 0 5424 0
vsize: 21768
[startup+850.141 s]
Raw data (loadavg): 1.06 1.01 1.00 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 4166 0 0 0 84973 50 0 0 25 0 1 0 807744449 22290432 4062 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5442 4062 566 18 0 5424 0
vsize: 21768
[startup+860.142 s]
Raw data (loadavg): 1.05 1.01 1.00 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 4166 0 0 0 85973 50 0 0 25 0 1 0 807744449 22290432 4062 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5442 4062 566 18 0 5424 0
vsize: 21768
[startup+870.142 s]
Raw data (loadavg): 1.04 1.01 1.00 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 4166 0 0 0 86973 51 0 0 25 0 1 0 807744449 22290432 4062 4294967295 134512640 134581331 3221221792 3221220688 134517851 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5442 4062 566 18 0 5424 0
vsize: 21768
[startup+880.142 s]
Raw data (loadavg): 1.03 1.01 1.00 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 4166 0 0 0 87973 51 0 0 25 0 1 0 807744449 22282240 4060 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5440 4060 566 18 0 5422 0
vsize: 21760
[startup+890.143 s]
Raw data (loadavg): 1.03 1.01 1.00 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 4166 0 0 0 88973 51 0 0 25 0 1 0 807744449 22282240 4060 4294967295 134512640 134581331 3221221792 3221220656 134528503 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5440 4060 566 18 0 5422 0
vsize: 21760
[startup+900.143 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 4166 0 0 0 89973 51 0 0 25 0 1 0 807744449 22282240 4060 4294967295 134512640 134581331 3221221792 3221220512 134522606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5440 4060 566 18 0 5422 0
vsize: 21760
[startup+910.144 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 4176 0 0 0 90973 52 0 0 25 0 1 0 807744449 22425600 4070 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5475 4070 566 18 0 5457 0
vsize: 21900
[startup+920.145 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 4247 0 0 0 91972 52 0 0 25 0 1 0 807744449 22708224 4141 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5544 4141 566 18 0 5526 0
vsize: 22176
[startup+930.145 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 4247 0 0 0 92972 52 0 0 25 0 1 0 807744449 22708224 4141 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5544 4141 566 18 0 5526 0
vsize: 22176
[startup+940.146 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 4247 0 0 0 93972 53 0 0 25 0 1 0 807744449 22708224 4141 4294967295 134512640 134581331 3221221792 3221220688 134517880 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5544 4141 566 18 0 5526 0
vsize: 22176
[startup+950.146 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 4247 0 0 0 94972 53 0 0 25 0 1 0 807744449 22708224 4141 4294967295 134512640 134581331 3221221792 3221220704 134519045 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5544 4141 566 18 0 5526 0
vsize: 22176
[startup+960.147 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 4247 0 0 0 95972 53 0 0 25 0 1 0 807744449 22708224 4141 4294967295 134512640 134581331 3221221792 3221220676 134557930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5544 4141 566 18 0 5526 0
vsize: 22176
[startup+970.146 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 4247 0 0 0 96972 53 0 0 25 0 1 0 807744449 22708224 4141 4294967295 134512640 134581331 3221221792 3221220684 134527189 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5544 4141 566 18 0 5526 0
vsize: 22176
[startup+980.146 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 4247 0 0 0 97972 54 0 0 25 0 1 0 807744449 22708224 4141 4294967295 134512640 134581331 3221221792 3221220512 134522611 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5544 4141 566 18 0 5526 0
vsize: 22176
[startup+990.147 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 4247 0 0 0 98971 54 0 0 25 0 1 0 807744449 22622208 4141 4294967295 134512640 134581331 3221221792 3221220704 134519027 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5523 4141 566 18 0 5505 0
vsize: 22092
[startup+1000.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 4247 0 0 0 99971 55 0 0 25 0 1 0 807744449 22622208 4141 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5523 4141 566 18 0 5505 0
vsize: 22092
[startup+1010.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 4247 0 0 0 100971 55 0 0 25 0 1 0 807744449 22622208 4141 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5523 4141 566 18 0 5505 0
vsize: 22092
[startup+1020.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 4247 0 0 0 101971 55 0 0 25 0 1 0 807744449 22564864 4129 4294967295 134512640 134581331 3221221792 3221220512 134522634 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5509 4129 566 18 0 5491 0
vsize: 22036
[startup+1030.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 4247 0 0 0 102971 56 0 0 25 0 1 0 807744449 22564864 4129 4294967295 134512640 134581331 3221221792 3221220688 134517878 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5509 4129 566 18 0 5491 0
vsize: 22036
[startup+1040.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 4247 0 0 0 103971 56 0 0 25 0 1 0 807744449 22564864 4129 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5509 4129 566 18 0 5491 0
vsize: 22036
[startup+1050.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 4247 0 0 0 104971 56 0 0 25 0 1 0 807744449 22564864 4129 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5509 4129 566 18 0 5491 0
vsize: 22036
[startup+1060.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 4247 0 0 0 105971 56 0 0 25 0 1 0 807744449 22564864 4129 4294967295 134512640 134581331 3221221792 3221220704 134527695 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5509 4129 566 18 0 5491 0
vsize: 22036
[startup+1070.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 4247 0 0 0 106971 57 0 0 25 0 1 0 807744449 22564864 4129 4294967295 134512640 134581331 3221221792 3221220648 1075285701 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5509 4129 566 18 0 5491 0
vsize: 22036
[startup+1080.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 4247 0 0 0 107970 57 0 0 25 0 1 0 807744449 22564864 4129 4294967295 134512640 134581331 3221221792 3221220512 134522606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5509 4129 566 18 0 5491 0
vsize: 22036
[startup+1090.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 4247 0 0 0 108971 57 0 0 25 0 1 0 807744449 22564864 4129 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5509 4129 566 18 0 5491 0
vsize: 22036
[startup+1100.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 4247 0 0 0 109971 57 0 0 25 0 1 0 807744449 22564864 4129 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5509 4129 566 18 0 5491 0
vsize: 22036
[startup+1110.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 4247 0 0 0 110971 58 0 0 25 0 1 0 807744449 22564864 4129 4294967295 134512640 134581331 3221221792 3221220688 134517868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5509 4129 566 18 0 5491 0
vsize: 22036
[startup+1120.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 4247 0 0 0 111971 58 0 0 25 0 1 0 807744449 22564864 4129 4294967295 134512640 134581331 3221221792 3221220704 134527510 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5509 4129 566 18 0 5491 0
vsize: 22036
[startup+1130.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 4247 0 0 0 112971 58 0 0 25 0 1 0 807744449 22564864 4129 4294967295 134512640 134581331 3221221792 3221220512 134522588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5509 4129 566 18 0 5491 0
vsize: 22036
[startup+1140.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 4247 0 0 0 113971 58 0 0 25 0 1 0 807744449 22564864 4129 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5509 4129 566 18 0 5491 0
vsize: 22036
[startup+1150.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 4332 0 0 0 114971 58 0 0 25 0 1 0 807744449 22958080 4214 4294967295 134512640 134581331 3221221792 3221220512 134522313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5605 4214 566 18 0 5587 0
vsize: 22420
[startup+1160.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 4399 0 0 0 115970 59 0 0 25 0 1 0 807744449 23203840 4281 4294967295 134512640 134581331 3221221792 3221220272 134532215 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5665 4281 566 18 0 5647 0
vsize: 22660
[startup+1170.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 4399 0 0 0 116970 59 0 0 25 0 1 0 807744449 23203840 4281 4294967295 134512640 134581331 3221221792 3221220676 134557761 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5665 4281 566 18 0 5647 0
vsize: 22660
[startup+1180.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 4447 0 0 0 117970 59 0 0 25 0 1 0 807744449 23203840 4285 4294967295 134512640 134581331 3221221792 3221220764 134519776 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5665 4285 566 18 0 5647 0
vsize: 22660
[startup+1188.95 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 16567
Raw data (stat): 16565 (Pueblo) R 16564 7876 7672 0 -1 0 4447 0 0 0 117970 59 0 0 25 0 1 0 807744449 23203840 4285 4294967295 134512640 134581331 3221221792 3221220764 134519776 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5665 4285 566 18 0 5647 0
vsize: 0

Child status: 10
Real time (s): 1188.95
CPU time (s): 1189.1
CPU user time (s): 1188.49
CPU system time (s): 0.614906
CPU usage (%): 100.013
Max. virtual memory (Kb): 22660
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	956
#### END VERIFIER DATA ####