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-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-lp4l.opb
MD5SUM	3c39e3c2b993ee2185e2a1a3e73b9723
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	3744
Optimality of the best value was proved	NO
Number of terms in the objective function	1086
Biggest coefficient in the objective function	283
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	197191
Number of bits of the sum of numbers in the objective function	18
Biggest number in a constraint	283
Number of bits of the biggest number in a constraint	9
Biggest sum of numbers in a constraint	197191
Number of bits of the biggest sum of numbers	18
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.09
Number of variables	1086
Total number of constraints	1171
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	1170
Number of constraints which are nor clauses,nor cardinality constraints	1
Minimum length of a constraint	1
Maximum length of a constraint	1086
Trace number 38737

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-02 16:07:23 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26789 boxname=wulflinc5 idbench=917 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  3c39e3c2b993ee2185e2a1a3e73b9723  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-lp4l.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-lp4l.opb
IDLAUNCH: 26789
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        576192 kB
Buffers:         35148 kB
Cached:         399688 kB
SwapCached:        568 kB
Active:          30516 kB
Inactive:       406312 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        575940 kB
SwapTotal:     2097136 kB
SwapFree:      2095632 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5144 kB
Slab:            15932 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 16:27:12 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 26789 0 1189.01 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/wulflinc5/normalized-mps-v2-20-10-lp4l.opb
c #variables read: 1086 - #constraints read: 1256
s SATISFIABLE
v -CO100001_bit0 -CO100002_bit0 -CO100003_bit0 -CO100004_bit0 -CO100005_bit0 -CO100006_bit0 -CO100007_bit0 -CO100008_bit0 -CO100009_bit0 -CO100010_bit0 -CO100011_bit0 -CO100012_bit0 -CO100013_bit0 -CO100014_bit0 -CO100015_bit0 -CO100016_bit0 -CO100017_bit0 -CO100018_bit0 -CO100019_bit0 -CO100020_bit0 -CO100021_bit0 CO100022_bit0 -CO100023_bit0 -CO100024_bit0 -CO100025_bit0 -CO100026_bit0 CO100027_bit0 -CO100028_bit0 -CO100029_bit0 -CO100030_bit0 -CO100031_bit0 -CO100032_bit0 -CO100033_bit0 -CO100034_bit0 -CO100035_bit0 -CO100036_bit0 -CO100037_bit0 -CO100038_bit0 -CO100039_bit0 -CO100040_bit0 -CO100041_bit0 -CO100042_bit0 CO100043_bit0 -CO100044_bit0 -CO100045_bit0 -CO100046_bit0 -CO100047_bit0 -CO100048_bit0 -CO100049_bit0 -CO100050_bit0 -CO100051_bit0 -CO100052_bit0 -CO100053_bit0 -CO100054_bit0 -CO100055_bit0 -CO100056_bit0 -CO100057_bit0 -CO100058_bit0 -CO100059_bit0 -CO100060_bit0 -CO100061_bit0 -CO100062_bit0 -CO100063_bit0 -CO100064_bit0 -CO100065_bit0 -CO100066_bit0 -CO100067_bit0 -CO100068_bit0 -CO100069_bit0 -CO100070_bit0 -CO100071_bit0 -CO100072_bit0 CO100073_bit0 -CO100074_bit0 -CO100075_bit0 -CO100076_bit0 -CO100077_bit0 -CO100078_bit0 -CO100079_bit0 -CO100080_bit0 -CO100081_bit0 -CO100082_bit0 -CO100083_bit0 -CO100084_bit0 -CO100085_bit0 -CO100086_bit0 -CO100087_bit0 -CO100088_bit0 -CO100089_bit0 -CO100090_bit0 -CO100091_bit0 -CO100092_bit0 -CO100093_bit0 -CO100094_bit0 -CO100095_bit0 -CO100096_bit0 -CO100097_bit0 -CO100098_bit0 -CO100099_bit0 CO100100_bit0 -CO100101_bit0 -CO100102_bit0 -CO100103_bit0 -CO100104_bit0 -CO100105_bit0 -CO100106_bit0 -CO100107_bit0 -CO100108_bit0 -CO100109_bit0 -CO100110_bit0 -CO100111_bit0 -CO100112_bit0 -CO100113_bit0 -CO100114_bit0 -CO100115_bit0 CO100116_bit0 -CO100117_bit0 -CO100118_bit0 -CO100119_bit0 -CO100120_bit0 -CO100121_bit0 -CO100122_bit0 CO100123_bit0 -CO100124_bit0 -CO100125_bit0 -CO100126_bit0 -CO100127_bit0 -CO100128_bit0 -CO100129_bit0 -CO100130_bit0 -CO100131_bit0 -CO100132_bit0 -CO100133_bit0 -CO100134_bit0 -CO100135_bit0 -CO100136_bit0 CO100137_bit0 -CO100138_bit0 -CO100139_bit0 -CO100140_bit0 -CO100141_bit0 -CO100142_bit0 -CO100143_bit0 -CO100144_bit0 -CO100145_bit0 -CO100146_bit0 -CO100147_bit0 -CO100148_bit0 -CO100149_bit0 -CO100150_bit0 -CO100151_bit0 -CO100152_bit0 -CO100153_bit0 -CO100154_bit0 -CO100155_bit0 -CO100156_bit0 -CO100157_bit0 -CO100158_bit0 -CO100159_bit0 -CO100160_bit0 -CO100161_bit0 -CO100162_bit0 -CO100163_bit0 -CO100164_bit0 -CO100165_bit0 CO100166_bit0 -CO100167_bit0 -CO100168_bit0 -CO100169_bit0 -CO100170_bit0 -CO100171_bit0 -CO100172_bit0 -CO100173_bit0 -CO100174_bit0 -CO100175_bit0 -CO100176_bit0 -CO100177_bit0 -CO100178_bit0 -CO100179_bit0 -CO100180_bit0 -CO100181_bit0 -CO100182_bit0 -CO100183_bit0 -CO100184_bit0 -CO100185_bit0 -CO100186_bit0 -CO100187_bit0 -CO100188_bit0 -CO100189_bit0 -CO100190_bit0 -CO100191_bit0 -CO100192_bit0 -CO100193_bit0 -CO100194_bit0 -CO100195_bit0 -CO100196_bit0 -CO100197_bit0 -CO100198_bit0 -CO100199_bit0 -CO100200_bit0 -CO100201_bit0 -CO100202_bit0 -CO100203_bit0 -CO100204_bit0 -CO100205_bit0 -CO100206_bit0 -CO100207_bit0 -CO100208_bit0 -CO100209_bit0 -CO100210_bit0 -CO100211_bit0 -CO100212_bit0 -CO100213_bit0 -CO100214_bit0 -CO100215_bit0 -CO100216_bit0 -CO100217_bit0 -CO100218_bit0 -CO100219_bit0 -CO100220_bit0 -CO100221_bit0 -CO100222_bit0 -CO100223_bit0 -CO100224_bit0 -CO100225_bit0 -CO100226_bit0 -CO100227_bit0 -CO100228_bit0 -CO100229_bit0 -CO100230_bit0 -CO100231_bit0 -CO100232_bit0 -CO100233_bit0 -CO100234_bit0 -CO100235_bit0 -CO100236_bit0 -CO100237_bit0 -CO100238_bit0 -CO100239_bit0 -CO100240_bit0 -CO100241_bit0 -CO100242_bit0 -CO100243_bit0 -CO100244_bit0 -CO100245_bit0 -CO100246_bit0 -CO100247_bit0 -CO100248_bit0 -CO100249_bit0 -CO100250_bit0 -CO100251_bit0 -CO100252_bit0 -CO100253_bit0 -CO100254_bit0 -CO100255_bit0 -CO100256_bit0 -CO100257_bit0 -CO100258_bit0 -CO100259_bit0 -CO100260_bit0 -CO100261_bit0 -CO100262_bit0 -CO100263_bit0 -CO100264_bit0 CO100265_bit0 -CO100266_bit0 -CO100267_bit0 -CO100268_bit0 -CO100269_bit0 -CO100270_bit0 -CO100271_bit0 -CO100272_bit0 -CO100273_bit0 -CO100274_bit0 -CO100275_bit0 -CO100276_bit0 -CO100277_bit0 -CO100278_bit0 -CO100279_bit0 -CO100280_bit0 -CO100281_bit0 -CO100282_bit0 -CO100283_bit0 -CO100284_bit0 -CO100285_bit0 -CO100286_bit0 -CO100287_bit0 -CO100288_bit0 -CO100289_bit0 -CO100290_bit0 -CO100291_bit0 -CO100292_bit0 -CO100293_bit0 -CO100294_bit0 -CO100295_bit0 CO100296_bit0 -CO100297_bit0 -CO100298_bit0 -CO100299_bit0 -CO100300_bit0 -CO100301_bit0 -CO100302_bit0 -CO100303_bit0 -CO100304_bit0 -CO100305_bit0 -CO100306_bit0 -CO100307_bit0 -CO100308_bit0 -CO100309_bit0 -CO100310_bit0 -CO100311_bit0 -CO100312_bit0 -CO100313_bit0 -CO100314_bit0 -CO100315_bit0 -CO100316_bit0 -CO100317_bit0 -CO100318_bit0 -CO100319_bit0 -CO100320_bit0 -CO100321_bit0 -CO100322_bit0 -CO100323_bit0 -CO100324_bit0 -CO100325_bit0 -CO100326_bit0 -CO100327_bit0 -CO100328_bit0 -CO100329_bit0 -CO100330_bit0 -CO100331_bit0 -CO100332_bit0 -CO100333_bit0 -CO100334_bit0 -CO100335_bit0 -CO100336_bit0 -CO100337_bit0 -CO100338_bit0 -CO100339_bit0 -CO100340_bit0 -CO100341_bit0 -CO100342_bit0 -CO100343_bit0 -CO100344_bit0 -CO100345_bit0 -CO100346_bit0 -CO100347_bit0 -CO100348_bit0 -CO100349_bit0 -CO100350_bit0 -CO100351_bit0 -CO100352_bit0 -CO100353_bit0 -CO100354_bit0 -CO100355_bit0 -CO100356_bit0 -CO100357_bit0 -CO100358_bit0 -CO100359_bit0 -CO100360_bit0 -CO100361_bit0 -CO100362_bit0 -CO100363_bit0 -CO100364_bit0 -CO100365_bit0 -CO100366_bit0 -CO100367_bit0 -CO100368_bit0 -CO100369_bit0 -CO100370_bit0 -CO100371_bit0 -CO100372_bit0 -CO100373_bit0 -CO100374_bit0 -CO100375_bit0 -CO100376_bit0 -CO100377_bit0 -CO100378_bit0 -CO100379_bit0 -CO100380_bit0 -CO100381_bit0 -CO100382_bit0 -CO100383_bit0 -CO100384_bit0 -CO100385_bit0 -CO100386_bit0 -CO100387_bit0 -CO100388_bit0 -CO100389_bit0 -CO100390_bit0 -CO100391_bit0 -CO100392_bit0 -CO100393_bit0 CO100394_bit0 -CO100395_bit0 -CO100396_bit0 -CO100397_bit0 -CO100398_bit0 -CO100399_bit0 -CO100400_bit0 -CO100401_bit0 -CO100402_bit0 -CO100403_bit0 -CO100404_bit0 -CO100405_bit0 -CO100406_bit0 -CO100407_bit0 -CO100408_bit0 -CO100409_bit0 -CO100410_bit0 -CO100411_bit0 -CO100412_bit0 -CO100413_bit0 -CO100414_bit0 -CO100415_bit0 -CO100416_bit0 -CO100417_bit0 -CO100418_bit0 -CO100419_bit0 -CO100420_bit0 -CO100421_bit0 -CO100422_bit0 -CO100423_bit0 -CO100424_bit0 -CO100425_bit0 CO100426_bit0 -CO100427_bit0 -CO100428_bit0 -CO100429_bit0 -CO100430_bit0 -CO100431_bit0 -CO100432_bit0 -CO100433_bit0 -CO100434_bit0 -CO100435_bit0 -CO100436_bit0 -CO100437_bit0 -CO100438_bit0 -CO100439_bit0 -CO100440_bit0 -CO100441_bit0 -CO100442_bit0 -CO100443_bit0 -CO100444_bit0 -CO100445_bit0 -CO100446_bit0 -CO100447_bit0 -CO100448_bit0 -CO100449_bit0 -CO100450_bit0 -CO100451_bit0 -CO100452_bit0 -CO100453_bit0 -CO100454_bit0 -CO100455_bit0 -CO100456_bit0 -CO100457_bit0 -CO100458_bit0 CO100459_bit0 -CO100460_bit0 -CO100461_bit0 -CO100462_bit0 -CO100463_bit0 -CO100464_bit0 -CO100465_bit0 -CO100466_bit0 -CO100467_bit0 -CO100468_bit0 -CO100469_bit0 -CO100470_bit0 -CO100471_bit0 -CO100472_bit0 -CO100473_bit0 -CO100474_bit0 -CO100475_bit0 -CO100476_bit0 -CO100477_bit0 -CO100478_bit0 -CO100479_bit0 -CO100480_bit0 -CO100481_bit0 -CO100482_bit0 -CO100483_bit0 -CO100484_bit0 -CO100485_bit0 -CO100486_bit0 -CO100487_bit0 -CO100488_bit0 -CO100489_bit0 -CO100490_bit0 -CO100491_bit0 -CO100492_bit0 -CO100493_bit0 -CO100494_bit0 -CO100495_bit0 -CO100496_bit0 -CO100497_bit0 -CO100498_bit0 -CO100499_bit0 -CO100500_bit0 -CO100501_bit0 -CO100502_bit0 -CO100503_bit0 -CO100504_bit0 -CO100505_bit0 -CO100506_bit0 -CO100507_bit0 -CO100508_bit0 -CO100509_bit0 -CO100510_bit0 -CO100511_bit0 -CO100512_bit0 -CO100513_bit0 -CO100514_bit0 -CO100515_bit0 -CO100516_bit0 -CO100517_bit0 -CO100518_bit0 CO100519_bit0 -CO100520_bit0 -CO100521_bit0 -CO100522_bit0 -CO100523_bit0 -CO100524_bit0 -CO100525_bit0 -CO100526_bit0 -CO100527_bit0 -CO100528_bit0 -CO100529_bit0 -CO100530_bit0 -CO100531_bit0 -CO100532_bit0 -CO100533_bit0 -CO100534_bit0 -CO100535_bit0 -CO100536_bit0 -CO100537_bit0 -CO100538_bit0 -CO100539_bit0 -CO100540_bit0 -CO100541_bit0 -CO100542_bit0 CO100543_bit0 -CO100544_bit0 -CO100545_bit0 -CO100546_bit0 -CO100547_bit0 -CO100548_bit0 -CO100549_bit0 -CO100550_bit0 -CO100551_bit0 -CO100552_bit0 -CO100553_bit0 -CO100554_bit0 -CO100555_bit0 -CO100556_bit0 -CO100557_bit0 -CO100558_bit0 -CO100559_bit0 -CO100560_bit0 -CO100561_bit0 -CO100562_bit0 -CO100563_bit0 -CO100564_bit0 -CO100565_bit0 -CO100566_bit0 -CO100567_bit0 -CO100568_bit0 -CO100569_bit0 -CO100570_bit0 -CO100571_bit0 -CO100572_bit0 -CO100573_bit0 -CO100574_bit0 -CO100575_bit0 -CO100576_bit0 -CO100577_bit0 -CO100578_bit0 -CO100579_bit0 -CO100580_bit0 -CO100581_bit0 -CO100582_bit0 -CO100583_bit0 -CO100584_bit0 -CO100585_bit0 -CO100586_bit0 -CO100587_bit0 -CO100588_bit0 -CO100589_bit0 -CO100590_bit0 -CO100591_bit0 -CO100592_bit0 -CO100593_bit0 -CO100594_bit0 -CO100595_bit0 -CO100596_bit0 -CO100597_bit0 CO100598_bit0 -CO100599_bit0 -CO100600_bit0 -CO100601_bit0 -CO100602_bit0 -CO100603_bit0 -CO100604_bit0 -CO100605_bit0 -CO100606_bit0 -CO100607_bit0 -CO100608_bit0 -CO100609_bit0 -CO100610_bit0 -CO100611_bit0 -CO100612_bit0 -CO100613_bit0 -CO100614_bit0 -CO100615_bit0 -CO100616_bit0 -CO100617_bit0 -CO100618_bit0 -CO100619_bit0 -CO100620_bit0 -CO100621_bit0 -CO100622_bit0 -CO100623_bit0 -CO100624_bit0 -CO100625_bit0 -CO100626_bit0 -CO100627_bit0 -CO100628_bit0 -CO100629_bit0 -CO100630_bit0 -CO100631_bit0 -CO100632_bit0 -CO100633_bit0 -CO100634_bit0 -CO100635_bit0 -CO100636_bit0 -CO100637_bit0 -CO100638_bit0 -CO100639_bit0 -CO100640_bit0 -CO100641_bit0 -CO100642_bit0 -CO100643_bit0 -CO100644_bit0 -CO100645_bit0 -CO100646_bit0 -CO100647_bit0 CO100648_bit0 -CO100649_bit0 -CO100650_bit0 -CO100651_bit0 -CO100652_bit0 -CO100653_bit0 -CO100654_bit0 -CO100655_bit0 -CO100656_bit0 -CO100657_bit0 -CO100658_bit0 -CO100659_bit0 -CO100660_bit0 -CO100661_bit0 -CO100662_bit0 -CO100663_bit0 -CO100664_bit0 -CO100665_bit0 -CO100666_bit0 -CO100667_bit0 -CO100668_bit0 -CO100669_bit0 -CO100670_bit0 -CO100671_bit0 -CO100672_bit0 -CO100673_bit0 -CO100674_bit0 -CO100675_bit0 -CO100676_bit0 -CO100677_bit0 -CO100678_bit0 -CO100679_bit0 -CO100680_bit0 -CO100681_bit0 -CO100682_bit0 -CO100683_bit0 -CO100684_bit0 -CO100685_bit0 -CO100686_bit0 -CO100687_bit0 -CO100688_bit0 -CO100689_bit0 -CO100690_bit0 -CO100691_bit0 -CO100692_bit0 -CO100693_bit0 -CO100694_bit0 -CO100695_bit0 -CO100696_bit0 -CO100697_bit0 -CO100698_bit0 -CO100699_bit0 -CO100700_bit0 -CO100701_bit0 -CO100702_bit0 -CO100703_bit0 -CO100704_bit0 -CO100705_bit0 -CO100706_bit0 -CO100707_bit0 -CO100708_bit0 -CO100709_bit0 -CO100710_bit0 -CO100711_bit0 -CO100712_bit0 -CO100713_bit0 -CO100714_bit0 -CO100715_bit0 -CO100716_bit0 -CO100717_bit0 -CO100718_bit0 -CO100719_bit0 -CO100720_bit0 -CO100721_bit0 -CO100722_bit0 -CO100723_bit0 -CO100724_bit0 -CO100725_bit0 -CO100726_bit0 -CO100727_bit0 -CO100728_bit0 -CO100729_bit0 -CO100730_bit0 -CO100731_bit0 -CO100732_bit0 -CO100733_bit0 -CO100734_bit0 -CO100735_bit0 -CO100736_bit0 -CO100737_bit0 -CO100738_bit0 -CO100739_bit0 -CO100740_bit0 -CO100741_bit0 -CO100742_bit0 -CO100743_bit0 -CO100744_bit0 -CO100745_bit0 -CO100746_bit0 -CO100747_bit0 -CO100748_bit0 -CO100749_bit0 -CO100750_bit0 -CO100751_bit0 -CO100752_bit0 -CO100753_bit0 -CO100754_bit0 -CO100755_bit0 -CO100756_bit0 -CO100757_bit0 -CO100758_bit0 -CO100759_bit0 -CO100760_bit0 -CO100761_bit0 -CO100762_bit0 -CO100763_bit0 -CO100764_bit0 -CO100765_bit0 -CO100766_bit0 -CO100767_bit0 -CO100768_bit0 -CO100769_bit0 -CO100770_bit0 -CO100771_bit0 -CO100772_bit0 -CO100773_bit0 -CO100774_bit0 -CO100775_bit0 -CO100776_bit0 -CO100777_bit0 -CO100778_bit0 -CO100779_bit0 -CO100780_bit0 -CO100781_bit0 -CO100782_bit0 -CO100783_bit0 -CO100784_bit0 -CO100785_bit0 -CO100786_bit0 -CO100787_bit0 -CO100788_bit0 -CO100789_bit0 -CO100790_bit0 -CO100791_bit0 -CO100792_bit0 -CO100793_bit0 -CO100794_bit0 -CO100795_bit0 -CO100796_bit0 -CO100797_bit0 -CO100798_bit0 -CO100799_bit0 -CO100800_bit0 -CO100801_bit0 -CO100802_bit0 -CO100803_bit0 -CO100804_bit0 -CO100805_bit0 -CO100806_bit0 -CO100807_bit0 -CO100808_bit0 -CO100809_bit0 -CO100810_bit0 -CO100811_bit0 -CO100812_bit0 -CO100813_bit0 -CO100814_bit0 -CO100815_bit0 -CO100816_bit0 -CO100817_bit0 -CO100818_bit0 -CO100819_bit0 -CO100820_bit0 -CO100821_bit0 -CO100822_bit0 -CO100823_bit0 -CO100824_bit0 -CO100825_bit0 -CO100826_bit0 -CO100827_bit0 -CO100828_bit0 -CO100829_bit0 -CO100830_bit0 -CO100831_bit0 -CO100832_bit0 -CO100833_bit0 -CO100834_bit0 -CO100835_bit0 -CO100836_bit0 -CO100837_bit0 -CO100838_bit0 -CO100839_bit0 -CO100840_bit0 -CO100841_bit0 -CO100842_bit0 -CO100843_bit0 -CO100844_bit0 -CO100845_bit0 -CO100846_bit0 -CO100847_bit0 -CO100848_bit0 -CO100849_bit0 -CO100850_bit0 -CO100851_bit0 -CO100852_bit0 -CO100853_bit0 -CO100854_bit0 -CO100855_bit0 -CO100856_bit0 -CO100857_bit0 -CO100858_bit0 -CO100859_bit0 -CO100860_bit0 -CO100861_bit0 -CO100862_bit0 -CO100863_bit0 -CO100864_bit0 -CO100865_bit0 -CO100866_bit0 -CO100867_bit0 -CO100868_bit0 -CO100869_bit0 -CO100870_bit0 -CO100871_bit0 -CO100872_bit0 CO100873_bit0 -CO100874_bit0 -CO100875_bit0 -CO100876_bit0 -CO100877_bit0 -CO100878_bit0 -CO100879_bit0 -CO100880_bit0 -CO100881_bit0 -CO100882_bit0 -CO100883_bit0 -CO100884_bit0 -CO100885_bit0 -CO100886_bit0 -CO100887_bit0 -CO100888_bit0 -CO100889_bit0 -CO100890_bit0 -CO100891_bit0 -CO100892_bit0 -CO100893_bit0 -CO100894_bit0 -CO100895_bit0 -CO100896_bit0 -CO100897_bit0 -CO100898_bit0 -CO100899_bit0 -CO100900_bit0 -CO100901_bit0 -CO100902_bit0 -CO100903_bit0 -CO100904_bit0 -CO100905_bit0 -CO100906_bit0 -CO100907_bit0 -CO100908_bit0 -CO100909_bit0 -CO100910_bit0 -CO100911_bit0 -CO100912_bit0 CO100913_bit0 -CO100914_bit0 -CO100915_bit0 -CO100916_bit0 -CO100917_bit0 -CO100918_bit0 -CO100919_bit0 -CO100920_bit0 -CO100921_bit0 -CO100922_bit0 -CO100923_bit0 -CO100924_bit0 -CO100925_bit0 -CO100926_bit0 -CO100927_bit0 -CO100928_bit0 -CO100929_bit0 -CO100930_bit0 -CO100931_bit0 -CO100932_bit0 -CO100933_bit0 -CO100934_bit0 -CO100935_bit0 -CO100936_bit0 -CO100937_bit0 -CO100938_bit0 -CO100939_bit0 -CO100940_bit0 -CO100941_bit0 -CO100942_bit0 -CO100943_bit0 -CO100944_bit0 -CO100945_bit0 -CO100946_bit0 -CO100947_bit0 -CO100948_bit0 -CO100949_bit0 -CO100950_bit0 -CO100951_bit0 -CO100952_bit0 -CO100953_bit0 -CO100954_bit0 CO100955_bit0 -CO100956_bit0 -CO100957_bit0 -CO100958_bit0 -CO100959_bit0 -CO100960_bit0 -CO100961_bit0 -CO100962_bit0 -CO100963_bit0 -CO100964_bit0 -CO100965_bit0 -CO100966_bit0 -CO100967_bit0 -CO100968_bit0 -CO100969_bit0 -CO100970_bit0 -CO100971_bit0 -CO100972_bit0 -CO100973_bit0 -CO100974_bit0 -CO100975_bit0 CO100976_bit0 -CO100977_bit0 -CO100978_bit0 -CO100979_bit0 -CO100980_bit0 -CO100981_bit0 -CO100982_bit0 -CO100983_bit0 -CO100984_bit0 -CO100985_bit0 -CO100986_bit0 -CO100987_bit0 -CO100988_bit0 -CO100989_bit0 -CO100990_bit0 -CO100991_bit0 -CO100992_bit0 -CO100993_bit0 -CO100994_bit0 -CO100995_bit0 -CO100996_bit0 -CO100997_bit0 -CO100998_bit0 -CO100999_bit0 -CO101000_bit0 -CO101001_bit0 -CO101002_bit0 -CO101003_bit0 CO101004_bit0 -CO101005_bit0 -CO101006_bit0 -CO101007_bit0 -CO101008_bit0 -CO101009_bit0 -CO101010_bit0 -CO101011_bit0 -CO101012_bit0 -CO101013_bit0 -CO101014_bit0 -CO101015_bit0 -CO101016_bit0 -CO101017_bit0 -CO101018_bit0 -CO101019_bit0 -CO101020_bit0 -CO101021_bit0 -CO101022_bit0 -CO101023_bit0 -CO101024_bit0 -CO101025_bit0 -CO101026_bit0 -CO101027_bit0 -CO101028_bit0 -CO101029_bit0 -CO101030_bit0 -CO101031_bit0 -CO101032_bit0 -CO101033_bit0 -CO101034_bit0 -CO101035_bit0 CO101036_bit0 -CO101037_bit0 -CO101038_bit0 -CO101039_bit0 -CO101040_bit0 -CO101041_bit0 -CO101042_bit0 -CO101043_bit0 -CO101044_bit0 -CO101045_bit0 CO101046_bit0 -CO101047_bit0 -CO101048_bit0 -CO101049_bit0 -CO101050_bit0 -CO101051_bit0 -CO101052_bit0 -CO101053_bit0 -CO101054_bit0 -CO101055_bit0 -CO101056_bit0 CO101057_bit0 -CO101058_bit0 -CO101059_bit0 -CO101060_bit0 -CO101061_bit0 -CO101062_bit0 CO101063_bit0 -CO101064_bit0 -CO101065_bit0 -CO101066_bit0 -CO101067_bit0 -CO101068_bit0 -CO101069_bit0 -CO101070_bit0 -CO101071_bit0 -CO101072_bit0 -CO101073_bit0 -CO101074_bit0 -CO101075_bit0 -CO101076_bit0 -CO101077_bit0 -CO101078_bit0 -CO101079_bit0 -CO101080_bit0 -CO101081_bit0 -CO101082_bit0 -CO101083_bit0 -CO101084_bit0 -CO101085_bit0 -CO101086_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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.70 0.94 0.89 1/54 9380
Raw data (stat): 9380 (runsolver) R 9379 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 851102251 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0003 s]
Raw data (loadavg): 0.74 0.94 0.89 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 849 0 0 0 974 25 0 0 25 0 1 0 851102251 9097216 823 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2221 823 566 18 0 2203 0
vsize: 8884
[startup+20.0013 s]
Raw data (loadavg): 0.78 0.94 0.90 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 1221 0 0 0 1956 42 0 0 25 0 1 0 851102251 10670080 1195 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2605 1195 566 18 0 2587 0
vsize: 10420
[startup+30.0017 s]
Raw data (loadavg): 0.82 0.94 0.90 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 1357 0 0 0 2945 54 0 0 25 0 1 0 851102251 10883072 1265 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2657 1265 566 18 0 2639 0
vsize: 10628
[startup+40.0015 s]
Raw data (loadavg): 0.84 0.95 0.90 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 1357 0 0 0 3926 73 0 0 25 0 1 0 851102251 10649600 1208 4294967295 134512640 134581267 3221224576 3221223488 134527584 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2600 1208 566 18 0 2582 0
vsize: 10400
[startup+50.0015 s]
Raw data (loadavg): 0.87 0.95 0.90 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 1357 0 0 0 4902 97 0 0 25 0 1 0 851102251 10649600 1208 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2600 1208 566 18 0 2582 0
vsize: 10400
[startup+60.001 s]
Raw data (loadavg): 0.89 0.95 0.90 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 1357 0 0 0 5885 115 0 0 25 0 1 0 851102251 10649600 1208 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2600 1208 566 18 0 2582 0
vsize: 10400
[startup+70.0017 s]
Raw data (loadavg): 0.90 0.95 0.90 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 1357 0 0 0 6868 131 0 0 25 0 1 0 851102251 10649600 1208 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2600 1208 566 18 0 2582 0
vsize: 10400
[startup+80.0018 s]
Raw data (loadavg): 0.92 0.95 0.90 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 1552 0 0 0 7866 134 0 0 25 0 1 0 851102251 11538432 1403 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2817 1403 566 18 0 2799 0
vsize: 11268
[startup+90.0022 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 1552 0 0 0 8845 154 0 0 25 0 1 0 851102251 11538432 1403 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2817 1403 566 18 0 2799 0
vsize: 11268
[startup+100.002 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 1552 0 0 0 9836 164 0 0 25 0 1 0 851102251 11538432 1403 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2817 1403 566 18 0 2799 0
vsize: 11268
[startup+110.002 s]
Raw data (loadavg): 0.95 0.95 0.90 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 1552 0 0 0 10823 177 0 0 25 0 1 0 851102251 11538432 1403 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2817 1403 566 18 0 2799 0
vsize: 11268
[startup+120.002 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 1552 0 0 0 11814 186 0 0 25 0 1 0 851102251 11538432 1403 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2817 1403 566 18 0 2799 0
vsize: 11268
[startup+130.002 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 1683 0 0 0 12803 198 0 0 25 0 1 0 851102251 11538432 1425 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2817 1425 566 18 0 2799 0
vsize: 11268
[startup+140.003 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 1683 0 0 0 13801 200 0 0 25 0 1 0 851102251 11538432 1425 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2817 1425 566 18 0 2799 0
vsize: 11268
[startup+150.003 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 1692 0 0 0 14784 217 0 0 25 0 1 0 851102251 11649024 1434 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2844 1434 566 18 0 2826 0
vsize: 11376
[startup+160.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 1692 0 0 0 15778 223 0 0 25 0 1 0 851102251 11649024 1434 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2844 1434 566 18 0 2826 0
vsize: 11376
[startup+170.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 1724 0 0 0 16774 227 0 0 25 0 1 0 851102251 11780096 1466 4294967295 134512640 134581267 3221224576 3221223228 1075288765 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2876 1466 566 18 0 2858 0
vsize: 11504
[startup+180.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 1724 0 0 0 17772 229 0 0 25 0 1 0 851102251 11780096 1466 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2876 1466 566 18 0 2858 0
vsize: 11504
[startup+190.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 1725 0 0 0 18770 232 0 0 25 0 1 0 851102251 11780096 1467 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2876 1467 566 18 0 2858 0
vsize: 11504
[startup+200.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 1725 0 0 0 19768 233 0 0 25 0 1 0 851102251 11780096 1467 4294967295 134512640 134581267 3221224576 3221223520 134558889 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2876 1467 566 18 0 2858 0
vsize: 11504
[startup+210.003 s]
Raw data (loadavg): 1.07 0.98 0.91 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 1754 0 0 0 20767 235 0 0 25 0 1 0 851102251 11894784 1496 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2904 1496 566 18 0 2886 0
vsize: 11616
[startup+220.003 s]
Raw data (loadavg): 1.13 1.00 0.92 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 1845 0 0 0 21765 237 0 0 25 0 1 0 851102251 12283904 1587 4294967295 134512640 134581267 3221224576 3221223472 134517927 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2999 1587 566 18 0 2981 0
vsize: 11996
[startup+230.005 s]
Raw data (loadavg): 1.11 1.00 0.92 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 1845 0 0 0 22757 246 0 0 25 0 1 0 851102251 12275712 1587 4294967295 134512640 134581267 3221224576 3221223488 134527667 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2997 1587 566 18 0 2979 0
vsize: 11988
[startup+240.004 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 1928 0 0 0 23753 249 0 0 25 0 1 0 851102251 12476416 1641 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3046 1641 566 18 0 3028 0
vsize: 12184
[startup+250.004 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 1991 0 0 0 24752 251 0 0 25 0 1 0 851102251 12664832 1700 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3092 1700 566 18 0 3074 0
vsize: 12368
[startup+260.004 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 1991 0 0 0 25751 252 0 0 25 0 1 0 851102251 12664832 1700 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3092 1700 566 18 0 3074 0
vsize: 12368
[startup+270.005 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 2324 0 0 0 26749 254 0 0 25 0 1 0 851102251 14098432 2033 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3442 2033 566 18 0 3424 0
vsize: 13768
[startup+280.004 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 2485 0 0 0 27747 256 0 0 25 0 1 0 851102251 14749696 2194 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3601 2194 566 18 0 3583 0
vsize: 14404
[startup+290.006 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 2485 0 0 0 28746 257 0 0 25 0 1 0 851102251 14749696 2194 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3601 2194 566 18 0 3583 0
vsize: 14404
[startup+300.006 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 2561 0 0 0 29745 259 0 0 25 0 1 0 851102251 15007744 2270 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3664 2270 566 18 0 3646 0
vsize: 14656
[startup+310.006 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 2710 0 0 0 30745 259 0 0 25 0 1 0 851102251 15622144 2419 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3814 2419 566 18 0 3796 0
vsize: 15256
[startup+320.007 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 2710 0 0 0 31744 260 0 0 25 0 1 0 851102251 15495168 2391 4294967295 134512640 134581267 3221224576 3221223504 134519950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3783 2391 566 18 0 3765 0
vsize: 15132
[startup+330.006 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 2710 0 0 0 32743 261 0 0 25 0 1 0 851102251 15495168 2391 4294967295 134512640 134581267 3221224576 3221223504 134520027 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3783 2391 566 18 0 3765 0
vsize: 15132
[startup+340.006 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 2710 0 0 0 33742 263 0 0 25 0 1 0 851102251 15495168 2391 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3783 2391 566 18 0 3765 0
vsize: 15132
[startup+350.007 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 2710 0 0 0 34740 264 0 0 25 0 1 0 851102251 15495168 2391 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3783 2391 566 18 0 3765 0
vsize: 15132
[startup+360.006 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 2710 0 0 0 35739 266 0 0 25 0 1 0 851102251 15495168 2391 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3783 2391 566 18 0 3765 0
vsize: 15132
[startup+370.006 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 2710 0 0 0 36738 267 0 0 25 0 1 0 851102251 15495168 2391 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3783 2391 566 18 0 3765 0
vsize: 15132
[startup+380.006 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 2710 0 0 0 37736 269 0 0 25 0 1 0 851102251 15495168 2391 4294967295 134512640 134581267 3221224576 3221223440 134528222 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3783 2391 566 18 0 3765 0
vsize: 15132
[startup+390.007 s]
Raw data (loadavg): 1.08 1.01 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 2710 0 0 0 38735 271 0 0 25 0 1 0 851102251 15495168 2391 4294967295 134512640 134581267 3221224576 3221223456 134520278 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3783 2391 566 18 0 3765 0
vsize: 15132
[startup+400.006 s]
Raw data (loadavg): 1.07 1.01 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 2710 0 0 0 39734 272 0 0 25 0 1 0 851102251 15495168 2391 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3783 2391 566 18 0 3765 0
vsize: 15132
[startup+410.007 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 2710 0 0 0 40732 274 0 0 25 0 1 0 851102251 15495168 2391 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3783 2391 566 18 0 3765 0
vsize: 15132
[startup+420.007 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 2710 0 0 0 41731 275 0 0 25 0 1 0 851102251 15495168 2391 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3783 2391 566 18 0 3765 0
vsize: 15132
[startup+430.007 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 2710 0 0 0 42729 277 0 0 25 0 1 0 851102251 15495168 2391 4294967295 134512640 134581267 3221224576 3221223488 134527729 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3783 2391 566 18 0 3765 0
vsize: 15132
[startup+440.007 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 2710 0 0 0 43727 279 0 0 25 0 1 0 851102251 15495168 2391 4294967295 134512640 134581267 3221224576 3221223456 134520299 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3783 2391 566 18 0 3765 0
vsize: 15132
[startup+450.007 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 2710 0 0 0 44725 282 0 0 25 0 1 0 851102251 15495168 2391 4294967295 134512640 134581267 3221224576 3221223452 134526890 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3783 2391 566 18 0 3765 0
vsize: 15132
[startup+460.007 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 2710 0 0 0 45723 284 0 0 25 0 1 0 851102251 15495168 2391 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3783 2391 566 18 0 3765 0
vsize: 15132
[startup+470.007 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 2710 0 0 0 46722 285 0 0 25 0 1 0 851102251 15495168 2391 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3783 2391 566 18 0 3765 0
vsize: 15132
[startup+480.007 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 2710 0 0 0 47720 287 0 0 25 0 1 0 851102251 15495168 2391 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3783 2391 566 18 0 3765 0
vsize: 15132
[startup+490.008 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 2710 0 0 0 48718 290 0 0 25 0 1 0 851102251 15495168 2391 4294967295 134512640 134581267 3221224576 3221223488 134527457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3783 2391 566 18 0 3765 0
vsize: 15132
[startup+500.008 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 2710 0 0 0 49716 292 0 0 25 0 1 0 851102251 15495168 2391 4294967295 134512640 134581267 3221224576 3221223440 134528243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3783 2391 566 18 0 3765 0
vsize: 15132
[startup+510.008 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 2710 0 0 0 50714 293 0 0 25 0 1 0 851102251 15495168 2391 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3783 2391 566 18 0 3765 0
vsize: 15132
[startup+520.008 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 2710 0 0 0 51713 295 0 0 25 0 1 0 851102251 15495168 2391 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3783 2391 566 18 0 3765 0
vsize: 15132
[startup+530.009 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 2885 0 0 0 52711 297 0 0 25 0 1 0 851102251 16269312 2566 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3972 2566 566 18 0 3954 0
vsize: 15888
[startup+540.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 2885 0 0 0 53711 298 0 0 25 0 1 0 851102251 16269312 2566 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3972 2566 566 18 0 3954 0
vsize: 15888
[startup+550.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 2885 0 0 0 54709 299 0 0 25 0 1 0 851102251 16084992 2535 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3927 2535 566 18 0 3909 0
vsize: 15708
[startup+560.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 2944 0 0 0 55709 300 0 0 25 0 1 0 851102251 16343040 2593 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3990 2593 566 18 0 3972 0
vsize: 15960
[startup+570.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 3225 0 0 0 56707 302 0 0 25 0 1 0 851102251 17522688 2874 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4278 2874 566 18 0 4260 0
vsize: 17112
[startup+580.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 3512 0 0 0 57706 303 0 0 25 0 1 0 851102251 18694144 3161 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4564 3161 566 18 0 4546 0
vsize: 18256
[startup+590.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 3588 0 0 0 58706 304 0 0 25 0 1 0 851102251 19087360 3237 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4660 3237 566 18 0 4642 0
vsize: 18640
[startup+600.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 3636 0 0 0 59705 304 0 0 25 0 1 0 851102251 19218432 3285 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4692 3285 566 18 0 4674 0
vsize: 18768
[startup+610.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 3636 0 0 0 60705 304 0 0 25 0 1 0 851102251 19083264 3267 4294967295 134512640 134581267 3221224576 3221223440 134528299 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4659 3267 566 18 0 4641 0
vsize: 18636
[startup+620.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 3636 0 0 0 61705 305 0 0 25 0 1 0 851102251 19025920 3253 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4645 3253 566 18 0 4627 0
vsize: 18580
[startup+630.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 3636 0 0 0 62704 306 0 0 25 0 1 0 851102251 19001344 3247 4294967295 134512640 134581267 3221224576 3221223472 134517754 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4639 3247 566 18 0 4621 0
vsize: 18556
[startup+640.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 3636 0 0 0 63704 306 0 0 25 0 1 0 851102251 18997248 3246 4294967295 134512640 134581267 3221224576 3221223520 134558798 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4638 3246 566 18 0 4620 0
vsize: 18552
[startup+650.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 3659 0 0 0 64703 307 0 0 25 0 1 0 851102251 19128320 3269 4294967295 134512640 134581267 3221224576 3221223440 134528291 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4670 3269 566 18 0 4652 0
vsize: 18680
[startup+660.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 3659 0 0 0 65703 308 0 0 25 0 1 0 851102251 19128320 3269 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4670 3269 566 18 0 4652 0
vsize: 18680
[startup+670.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 3714 0 0 0 66702 309 0 0 25 0 1 0 851102251 19390464 3324 4294967295 134512640 134581267 3221224576 3221223472 134517921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4734 3324 566 18 0 4716 0
vsize: 18936
[startup+680.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 3714 0 0 0 67701 310 0 0 25 0 1 0 851102251 19390464 3324 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4734 3324 566 18 0 4716 0
vsize: 18936
[startup+690.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 3714 0 0 0 68701 310 0 0 25 0 1 0 851102251 19390464 3324 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4734 3324 566 18 0 4716 0
vsize: 18936
[startup+700.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 3755 0 0 0 69701 311 0 0 25 0 1 0 851102251 19521536 3365 4294967295 134512640 134581267 3221224576 3221223440 134528255 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4766 3365 566 18 0 4748 0
vsize: 19064
[startup+710.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 3755 0 0 0 70700 311 0 0 25 0 1 0 851102251 19521536 3365 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4766 3365 566 18 0 4748 0
vsize: 19064
[startup+720.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 3755 0 0 0 71699 312 0 0 25 0 1 0 851102251 19521536 3365 4294967295 134512640 134581267 3221224576 3221223504 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4766 3365 566 18 0 4748 0
vsize: 19064
[startup+730.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 3755 0 0 0 72699 313 0 0 25 0 1 0 851102251 19509248 3365 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4763 3365 566 18 0 4745 0
vsize: 19052
[startup+740.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 3755 0 0 0 73699 313 0 0 25 0 1 0 851102251 19509248 3365 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4763 3365 566 18 0 4745 0
vsize: 19052
[startup+750.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 3755 0 0 0 74699 314 0 0 25 0 1 0 851102251 19509248 3365 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4763 3365 566 18 0 4745 0
vsize: 19052
[startup+760.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 3775 0 0 0 75698 314 0 0 25 0 1 0 851102251 19640320 3385 4294967295 134512640 134581267 3221224576 3221223504 134519950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4795 3385 566 18 0 4777 0
vsize: 19180
[startup+770.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 3775 0 0 0 76697 316 0 0 25 0 1 0 851102251 19558400 3383 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4775 3383 566 18 0 4757 0
vsize: 19100
[startup+780.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 3775 0 0 0 77696 317 0 0 25 0 1 0 851102251 19550208 3381 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4773 3381 566 18 0 4755 0
vsize: 19092
[startup+790.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 3775 0 0 0 78696 317 0 0 25 0 1 0 851102251 19550208 3381 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4773 3381 566 18 0 4755 0
vsize: 19092
[startup+800.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 3775 0 0 0 79696 318 0 0 25 0 1 0 851102251 19550208 3381 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4773 3381 566 18 0 4755 0
vsize: 19092
[startup+810.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 3775 0 0 0 80696 318 0 0 25 0 1 0 851102251 19550208 3381 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4773 3381 566 18 0 4755 0
vsize: 19092
[startup+820.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 3775 0 0 0 81695 318 0 0 25 0 1 0 851102251 19550208 3381 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4773 3381 566 18 0 4755 0
vsize: 19092
[startup+830.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 3954 0 0 0 82694 319 0 0 25 0 1 0 851102251 20324352 3560 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4962 3560 566 18 0 4944 0
vsize: 19848
[startup+840.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 4060 0 0 0 83694 320 0 0 25 0 1 0 851102251 20836352 3666 4294967295 134512640 134581267 3221224576 3221223520 134559432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5087 3666 566 18 0 5069 0
vsize: 20348
[startup+850.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 4060 0 0 0 84694 321 0 0 25 0 1 0 851102251 20819968 3666 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5083 3666 566 18 0 5065 0
vsize: 20332
[startup+860.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 4060 0 0 0 85694 321 0 0 25 0 1 0 851102251 20709376 3664 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5056 3664 566 18 0 5038 0
vsize: 20224
[startup+870.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 4060 0 0 0 86694 321 0 0 25 0 1 0 851102251 20709376 3664 4294967295 134512640 134581267 3221224576 3221223472 134517897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5056 3664 566 18 0 5038 0
vsize: 20224
[startup+880.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 4060 0 0 0 87693 322 0 0 25 0 1 0 851102251 20586496 3634 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5026 3634 566 18 0 5008 0
vsize: 20104
[startup+890.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 4060 0 0 0 88693 322 0 0 25 0 1 0 851102251 20586496 3634 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5026 3634 566 18 0 5008 0
vsize: 20104
[startup+900.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 4060 0 0 0 89693 323 0 0 25 0 1 0 851102251 20586496 3634 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5026 3634 566 18 0 5008 0
vsize: 20104
[startup+910.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 4060 0 0 0 90692 324 0 0 25 0 1 0 851102251 20586496 3634 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5026 3634 566 18 0 5008 0
vsize: 20104
[startup+920.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 4060 0 0 0 91691 324 0 0 25 0 1 0 851102251 20586496 3634 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5026 3634 566 18 0 5008 0
vsize: 20104
[startup+930.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 4060 0 0 0 92691 325 0 0 25 0 1 0 851102251 20529152 3620 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5012 3620 566 18 0 4994 0
vsize: 20048
[startup+940.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 4060 0 0 0 93691 325 0 0 25 0 1 0 851102251 20529152 3620 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5012 3620 566 18 0 4994 0
vsize: 20048
[startup+950.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 4060 0 0 0 94690 326 0 0 25 0 1 0 851102251 19550208 3381 4294967295 134512640 134581267 3221224576 3221223520 134558889 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4773 3381 566 18 0 4755 0
vsize: 19092
[startup+960.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 4060 0 0 0 95690 326 0 0 25 0 1 0 851102251 19550208 3381 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4773 3381 566 18 0 4755 0
vsize: 19092
[startup+970.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 4060 0 0 0 96690 327 0 0 25 0 1 0 851102251 19550208 3381 4294967295 134512640 134581267 3221224576 3221223472 134517924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4773 3381 566 18 0 4755 0
vsize: 19092
[startup+980.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 4060 0 0 0 97690 327 0 0 25 0 1 0 851102251 19550208 3381 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4773 3381 566 18 0 4755 0
vsize: 19092
[startup+990.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 4060 0 0 0 98689 328 0 0 25 0 1 0 851102251 19550208 3381 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4773 3381 566 18 0 4755 0
vsize: 19092
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 4060 0 0 0 99688 329 0 0 25 0 1 0 851102251 19550208 3381 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4773 3381 566 18 0 4755 0
vsize: 19092
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 4060 0 0 0 100688 329 0 0 25 0 1 0 851102251 19550208 3381 4294967295 134512640 134581267 3221224576 3221223568 134561104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4773 3381 566 18 0 4755 0
vsize: 19092
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 4060 0 0 0 101687 330 0 0 25 0 1 0 851102251 19550208 3381 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4773 3381 566 18 0 4755 0
vsize: 19092
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 4060 0 0 0 102687 331 0 0 25 0 1 0 851102251 19550208 3381 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4773 3381 566 18 0 4755 0
vsize: 19092
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 4060 0 0 0 103687 331 0 0 25 0 1 0 851102251 19550208 3381 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4773 3381 566 18 0 4755 0
vsize: 19092
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 4060 0 0 0 104687 332 0 0 25 0 1 0 851102251 19550208 3381 4294967295 134512640 134581267 3221224576 3221223520 134558908 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4773 3381 566 18 0 4755 0
vsize: 19092
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 4060 0 0 0 105686 332 0 0 25 0 1 0 851102251 19550208 3381 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4773 3381 566 18 0 4755 0
vsize: 19092
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 4060 0 0 0 106685 333 0 0 25 0 1 0 851102251 19550208 3381 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4773 3381 566 18 0 4755 0
vsize: 19092
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 4060 0 0 0 107685 334 0 0 25 0 1 0 851102251 19550208 3381 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4773 3381 566 18 0 4755 0
vsize: 19092
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 4060 0 0 0 108684 335 0 0 25 0 1 0 851102251 19546112 3380 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4772 3380 566 18 0 4754 0
vsize: 19088
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 4060 0 0 0 109683 336 0 0 25 0 1 0 851102251 19533824 3377 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4769 3377 566 18 0 4751 0
vsize: 19076
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 4060 0 0 0 110683 336 0 0 25 0 1 0 851102251 19533824 3377 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4769 3377 566 18 0 4751 0
vsize: 19076
[startup+1120.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 4060 0 0 0 111680 339 0 0 25 0 1 0 851102251 19505152 3370 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4762 3370 566 18 0 4744 0
vsize: 19048
[startup+1130.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 4060 0 0 0 112679 340 0 0 25 0 1 0 851102251 19505152 3370 4294967295 134512640 134581267 3221224576 3221223488 134527423 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4762 3370 566 18 0 4744 0
vsize: 19048
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 4060 0 0 0 113677 342 0 0 25 0 1 0 851102251 19505152 3370 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4762 3370 566 18 0 4744 0
vsize: 19048
[startup+1150.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 4060 0 0 0 114676 344 0 0 25 0 1 0 851102251 19505152 3370 4294967295 134512640 134581267 3221224576 3221223504 134519950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4762 3370 566 18 0 4744 0
vsize: 19048
[startup+1160.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 4060 0 0 0 115675 346 0 0 25 0 1 0 851102251 19505152 3370 4294967295 134512640 134581267 3221224576 3221223440 134528226 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4762 3370 566 18 0 4744 0
vsize: 19048
[startup+1170.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 4060 0 0 0 116673 348 0 0 25 0 1 0 851102251 19505152 3370 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4762 3370 566 18 0 4744 0
vsize: 19048
[startup+1180.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 4060 0 0 0 117671 349 0 0 25 0 1 0 851102251 19505152 3370 4294967295 134512640 134581267 3221224576 3221223488 134527652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4762 3370 566 18 0 4744 0
vsize: 19048
[startup+1188.82 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 9380
Raw data (stat): 9380 (Pueblo-v2) R 9379 7266 7265 0 -1 0 4060 0 0 0 117671 349 0 0 25 0 1 0 851102251 19505152 3370 4294967295 134512640 134581267 3221224576 3221223488 134527652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4762 3370 566 18 0 4744 0
vsize: 0

Child status: 10
Real time (s): 1188.82
CPU time (s): 1189.01
CPU user time (s): 1185.49
CPU system time (s): 3.51747
CPU usage (%): 100.016
Max. virtual memory (Kb): 20348
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	4100
#### END VERIFIER DATA ####