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/miplib/normalized-mps-v2-13-7-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	3684
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.3
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 39112

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-02 20:46:09 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27173 boxname=wulflinc5 idbench=1301 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  3c39e3c2b993ee2185e2a1a3e73b9723  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-lp4l.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-lp4l.opb
IDLAUNCH: 27173
/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:        674592 kB
Buffers:         26364 kB
Cached:         310552 kB
SwapCached:        568 kB
Active:          20320 kB
Inactive:       318676 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        674340 kB
SwapTotal:     2097136 kB
SwapFree:      2095632 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5148 kB
Slab:            15424 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 21:05:59 (client local time) WITH STATUS 10 IN 1189.02 SECONDS
stats: 27173 0 1189.02 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-13-7-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.91 0.95 0.90 1/54 13232
Raw data (stat): 13232 (runsolver) R 13231 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 852775132 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0001 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 849 0 0 0 975 23 0 0 25 0 1 0 852775132 9097216 823 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2221 823 566 18 0 2203 0
vsize: 8884
[startup+20.0009 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 1203 0 0 0 1959 39 0 0 25 0 1 0 852775132 10539008 1177 4294967295 134512640 134581267 3221224576 3221223488 134527440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2573 1177 566 18 0 2555 0
vsize: 10292
[startup+30.0012 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 1357 0 0 0 2947 51 0 0 25 0 1 0 852775132 10883072 1265 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2657 1265 566 18 0 2639 0
vsize: 10628
[startup+40.0013 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 1357 0 0 0 3931 68 0 0 25 0 1 0 852775132 10649600 1208 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2600 1208 566 18 0 2582 0
vsize: 10400
[startup+50.0021 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 1357 0 0 0 4907 92 0 0 25 0 1 0 852775132 10649600 1208 4294967295 134512640 134581267 3221224576 3221223520 134559434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2600 1208 566 18 0 2582 0
vsize: 10400
[startup+60.0015 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 1357 0 0 0 5890 110 0 0 25 0 1 0 852775132 10649600 1208 4294967295 134512640 134581267 3221224576 3221223520 134558830 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2600 1208 566 18 0 2582 0
vsize: 10400
[startup+70.0026 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 1357 0 0 0 6874 126 0 0 25 0 1 0 852775132 10649600 1208 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2600 1208 566 18 0 2582 0
vsize: 10400
[startup+80.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 1552 0 0 0 7872 128 0 0 25 0 1 0 852775132 11546624 1403 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2819 1403 566 18 0 2801 0
vsize: 11276
[startup+90.0027 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 1552 0 0 0 8853 147 0 0 25 0 1 0 852775132 11538432 1403 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2817 1403 566 18 0 2799 0
vsize: 11268
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 1552 0 0 0 9845 155 0 0 25 0 1 0 852775132 11538432 1403 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2817 1403 566 18 0 2799 0
vsize: 11268
[startup+110.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 1552 0 0 0 10833 167 0 0 25 0 1 0 852775132 11538432 1403 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2817 1403 566 18 0 2799 0
vsize: 11268
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 1552 0 0 0 11825 176 0 0 25 0 1 0 852775132 11538432 1403 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2817 1403 566 18 0 2799 0
vsize: 11268
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 1683 0 0 0 12812 189 0 0 25 0 1 0 852775132 12001280 1534 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2930 1534 566 18 0 2912 0
vsize: 11720
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 1683 0 0 0 13810 191 0 0 25 0 1 0 852775132 11538432 1425 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2817 1425 566 18 0 2799 0
vsize: 11268
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 1692 0 0 0 14799 202 0 0 25 0 1 0 852775132 11649024 1434 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2844 1434 566 18 0 2826 0
vsize: 11376
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 1692 0 0 0 15792 209 0 0 25 0 1 0 852775132 11649024 1434 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2844 1434 566 18 0 2826 0
vsize: 11376
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 1724 0 0 0 16787 214 0 0 25 0 1 0 852775132 11780096 1466 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2876 1466 566 18 0 2858 0
vsize: 11504
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 1724 0 0 0 17786 216 0 0 25 0 1 0 852775132 11780096 1466 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2876 1466 566 18 0 2858 0
vsize: 11504
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 1725 0 0 0 18785 217 0 0 25 0 1 0 852775132 11780096 1467 4294967295 134512640 134581267 3221224576 3221223472 134517897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2876 1467 566 18 0 2858 0
vsize: 11504
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 1725 0 0 0 19783 219 0 0 25 0 1 0 852775132 11780096 1467 4294967295 134512640 134581267 3221224576 3221223520 134558800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2876 1467 566 18 0 2858 0
vsize: 11504
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 1727 0 0 0 20782 220 0 0 25 0 1 0 852775132 11780096 1469 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2876 1469 566 18 0 2858 0
vsize: 11504
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 1845 0 0 0 21780 222 0 0 25 0 1 0 852775132 12283904 1587 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2999 1587 566 18 0 2981 0
vsize: 11996
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 1845 0 0 0 22773 229 0 0 25 0 1 0 852775132 12275712 1587 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2997 1587 566 18 0 2979 0
vsize: 11988
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 1845 0 0 0 23767 235 0 0 25 0 1 0 852775132 12083200 1558 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2950 1558 566 18 0 2932 0
vsize: 11800
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 1991 0 0 0 24765 238 0 0 25 0 1 0 852775132 12689408 1704 4294967295 134512640 134581267 3221224576 3221223568 134560935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3098 1704 566 18 0 3080 0
vsize: 12392
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 1991 0 0 0 25763 240 0 0 25 0 1 0 852775132 12664832 1700 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3092 1700 566 18 0 3074 0
vsize: 12368
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 2324 0 0 0 26762 242 0 0 25 0 1 0 852775132 14098432 2033 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2033 566 18 0 3424 0
vsize: 13768
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 2324 0 0 0 27761 243 0 0 25 0 1 0 852775132 14098432 2033 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2033 566 18 0 3424 0
vsize: 13768
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 2485 0 0 0 28760 244 0 0 25 0 1 0 852775132 14749696 2194 4294967295 134512640 134581267 3221224576 3221223456 134520304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3601 2194 566 18 0 3583 0
vsize: 14404
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 2485 0 0 0 29758 245 0 0 25 0 1 0 852775132 14749696 2194 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3601 2194 566 18 0 3583 0
vsize: 14404
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 2710 0 0 0 30757 247 0 0 25 0 1 0 852775132 15654912 2419 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3822 2419 566 18 0 3804 0
vsize: 15288
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 2710 0 0 0 31756 248 0 0 25 0 1 0 852775132 15495168 2391 4294967295 134512640 134581267 3221224576 3221223504 134519931 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3783 2391 566 18 0 3765 0
vsize: 15132
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 2710 0 0 0 32756 248 0 0 25 0 1 0 852775132 15495168 2391 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3783 2391 566 18 0 3765 0
vsize: 15132
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 2710 0 0 0 33754 250 0 0 25 0 1 0 852775132 15495168 2391 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3783 2391 566 18 0 3765 0
vsize: 15132
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 2710 0 0 0 34753 252 0 0 25 0 1 0 852775132 15495168 2391 4294967295 134512640 134581267 3221224576 3221223520 134558815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3783 2391 566 18 0 3765 0
vsize: 15132
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 2710 0 0 0 35752 253 0 0 25 0 1 0 852775132 15495168 2391 4294967295 134512640 134581267 3221224576 3221223440 134528255 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3783 2391 566 18 0 3765 0
vsize: 15132
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 2710 0 0 0 36750 255 0 0 25 0 1 0 852775132 15495168 2391 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3783 2391 566 18 0 3765 0
vsize: 15132
[startup+380.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 2710 0 0 0 37749 256 0 0 25 0 1 0 852775132 15495168 2391 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3783 2391 566 18 0 3765 0
vsize: 15132
[startup+390.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 2710 0 0 0 38748 258 0 0 25 0 1 0 852775132 15495168 2391 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3783 2391 566 18 0 3765 0
vsize: 15132
[startup+400.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 2710 0 0 0 39746 259 0 0 25 0 1 0 852775132 15495168 2391 4294967295 134512640 134581267 3221224576 3221223408 134531473 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3783 2391 566 18 0 3765 0
vsize: 15132
[startup+410.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 2710 0 0 0 40745 261 0 0 25 0 1 0 852775132 15495168 2391 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3783 2391 566 18 0 3765 0
vsize: 15132
[startup+420.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 2710 0 0 0 41744 262 0 0 25 0 1 0 852775132 15495168 2391 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3783 2391 566 18 0 3765 0
vsize: 15132
[startup+430.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 2710 0 0 0 42742 264 0 0 25 0 1 0 852775132 15495168 2391 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3783 2391 566 18 0 3765 0
vsize: 15132
[startup+440.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 2710 0 0 0 43740 266 0 0 25 0 1 0 852775132 15495168 2391 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3783 2391 566 18 0 3765 0
vsize: 15132
[startup+450.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 2710 0 0 0 44738 269 0 0 25 0 1 0 852775132 15495168 2391 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3783 2391 566 18 0 3765 0
vsize: 15132
[startup+460.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 2710 0 0 0 45736 270 0 0 25 0 1 0 852775132 15495168 2391 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3783 2391 566 18 0 3765 0
vsize: 15132
[startup+470.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 2710 0 0 0 46735 272 0 0 25 0 1 0 852775132 15495168 2391 4294967295 134512640 134581267 3221224576 3221223440 134528235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3783 2391 566 18 0 3765 0
vsize: 15132
[startup+480.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 2710 0 0 0 47733 273 0 0 25 0 1 0 852775132 15495168 2391 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3783 2391 566 18 0 3765 0
vsize: 15132
[startup+490.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 2710 0 0 0 48731 276 0 0 25 0 1 0 852775132 15495168 2391 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3783 2391 566 18 0 3765 0
vsize: 15132
[startup+500.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 2710 0 0 0 49730 277 0 0 25 0 1 0 852775132 15495168 2391 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3783 2391 566 18 0 3765 0
vsize: 15132
[startup+510.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 2710 0 0 0 50728 279 0 0 25 0 1 0 852775132 15495168 2391 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3783 2391 566 18 0 3765 0
vsize: 15132
[startup+520.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 2710 0 0 0 51727 280 0 0 25 0 1 0 852775132 15495168 2391 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3783 2391 566 18 0 3765 0
vsize: 15132
[startup+530.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 2885 0 0 0 52726 282 0 0 25 0 1 0 852775132 16269312 2566 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3972 2566 566 18 0 3954 0
vsize: 15888
[startup+540.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 2885 0 0 0 53726 282 0 0 25 0 1 0 852775132 16269312 2566 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3972 2566 566 18 0 3954 0
vsize: 15888
[startup+550.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 2885 0 0 0 54726 283 0 0 25 0 1 0 852775132 16269312 2566 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3972 2566 566 18 0 3954 0
vsize: 15888
[startup+560.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 2885 0 0 0 55725 284 0 0 25 0 1 0 852775132 16084992 2535 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3927 2535 566 18 0 3909 0
vsize: 15708
[startup+570.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 3207 0 0 0 56723 285 0 0 25 0 1 0 852775132 17522688 2856 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4278 2856 566 18 0 4260 0
vsize: 17112
[startup+580.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 3494 0 0 0 57722 287 0 0 25 0 1 0 852775132 18694144 3143 4294967295 134512640 134581267 3221224576 3221223472 134517909 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4564 3143 566 18 0 4546 0
vsize: 18256
[startup+590.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 3512 0 0 0 58722 287 0 0 25 0 1 0 852775132 18694144 3161 4294967295 134512640 134581267 3221224576 3221223504 134519797 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4564 3161 566 18 0 4546 0
vsize: 18256
[startup+600.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 3588 0 0 0 59722 287 0 0 25 0 1 0 852775132 19087360 3237 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4660 3237 566 18 0 4642 0
vsize: 18640
[startup+610.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 3636 0 0 0 60721 288 0 0 25 0 1 0 852775132 19218432 3285 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4692 3285 566 18 0 4674 0
vsize: 18768
[startup+620.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 3636 0 0 0 61721 289 0 0 25 0 1 0 852775132 19030016 3254 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4646 3254 566 18 0 4628 0
vsize: 18584
[startup+630.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 3636 0 0 0 62720 290 0 0 25 0 1 0 852775132 19025920 3253 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4645 3253 566 18 0 4627 0
vsize: 18580
[startup+640.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 3636 0 0 0 63720 290 0 0 25 0 1 0 852775132 18997248 3246 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4638 3246 566 18 0 4620 0
vsize: 18552
[startup+650.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 3636 0 0 0 64719 291 0 0 25 0 1 0 852775132 18997248 3246 4294967295 134512640 134581267 3221224576 3221223520 134558798 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4638 3246 566 18 0 4620 0
vsize: 18552
[startup+660.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 3659 0 0 0 65719 291 0 0 25 0 1 0 852775132 19128320 3269 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4670 3269 566 18 0 4652 0
vsize: 18680
[startup+670.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 3659 0 0 0 66718 292 0 0 25 0 1 0 852775132 19128320 3269 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4670 3269 566 18 0 4652 0
vsize: 18680
[startup+680.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 3714 0 0 0 67718 292 0 0 25 0 1 0 852775132 19390464 3324 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4734 3324 566 18 0 4716 0
vsize: 18936
[startup+690.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 3714 0 0 0 68718 293 0 0 25 0 1 0 852775132 19390464 3324 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4734 3324 566 18 0 4716 0
vsize: 18936
[startup+700.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 3755 0 0 0 69717 294 0 0 25 0 1 0 852775132 19521536 3365 4294967295 134512640 134581267 3221224576 3221223520 134558897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4766 3365 566 18 0 4748 0
vsize: 19064
[startup+710.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 3755 0 0 0 70717 294 0 0 25 0 1 0 852775132 19521536 3365 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4766 3365 566 18 0 4748 0
vsize: 19064
[startup+720.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 3755 0 0 0 71716 295 0 0 25 0 1 0 852775132 19521536 3365 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4766 3365 566 18 0 4748 0
vsize: 19064
[startup+730.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 3755 0 0 0 72716 296 0 0 25 0 1 0 852775132 19521536 3365 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4766 3365 566 18 0 4748 0
vsize: 19064
[startup+740.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 3755 0 0 0 73715 297 0 0 25 0 1 0 852775132 19509248 3365 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4763 3365 566 18 0 4745 0
vsize: 19052
[startup+750.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 3755 0 0 0 74715 297 0 0 25 0 1 0 852775132 19509248 3365 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4763 3365 566 18 0 4745 0
vsize: 19052
[startup+760.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 3755 0 0 0 75715 297 0 0 25 0 1 0 852775132 19509248 3365 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4763 3365 566 18 0 4745 0
vsize: 19052
[startup+770.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 3775 0 0 0 76714 298 0 0 25 0 1 0 852775132 19640320 3385 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4795 3385 566 18 0 4777 0
vsize: 19180
[startup+780.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 3775 0 0 0 77714 299 0 0 25 0 1 0 852775132 19558400 3383 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4775 3383 566 18 0 4757 0
vsize: 19100
[startup+790.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 3775 0 0 0 78714 299 0 0 25 0 1 0 852775132 19550208 3381 4294967295 134512640 134581267 3221224576 3221223536 134531368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4773 3381 566 18 0 4755 0
vsize: 19092
[startup+800.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 3775 0 0 0 79713 300 0 0 25 0 1 0 852775132 19550208 3381 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4773 3381 566 18 0 4755 0
vsize: 19092
[startup+810.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 3775 0 0 0 80713 300 0 0 25 0 1 0 852775132 19550208 3381 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4773 3381 566 18 0 4755 0
vsize: 19092
[startup+820.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 3775 0 0 0 81713 301 0 0 25 0 1 0 852775132 19550208 3381 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4773 3381 566 18 0 4755 0
vsize: 19092
[startup+830.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13232
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 3775 0 0 0 82713 301 0 0 25 0 1 0 852775132 19550208 3381 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4773 3381 566 18 0 4755 0
vsize: 19092
[startup+840.012 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 13285
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 3954 0 0 0 83711 303 0 0 25 0 1 0 852775132 20324352 3560 4294967295 134512640 134581267 3221224576 3221223472 134517868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4962 3560 566 18 0 4944 0
vsize: 19848
[startup+850.013 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 13285
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 4060 0 0 0 84710 303 0 0 25 0 1 0 852775132 20836352 3666 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5087 3666 566 18 0 5069 0
vsize: 20348
[startup+860.013 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 13285
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 4060 0 0 0 85709 305 0 0 25 0 1 0 852775132 20819968 3666 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5083 3666 566 18 0 5065 0
vsize: 20332
[startup+870.013 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 13285
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 4060 0 0 0 86709 305 0 0 25 0 1 0 852775132 20709376 3664 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5056 3664 566 18 0 5038 0
vsize: 20224
[startup+880.014 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 13285
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 4060 0 0 0 87708 306 0 0 25 0 1 0 852775132 20709376 3664 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5056 3664 566 18 0 5038 0
vsize: 20224
[startup+890.014 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 13285
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 4060 0 0 0 88708 307 0 0 25 0 1 0 852775132 20709376 3664 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5056 3664 566 18 0 5038 0
vsize: 20224
[startup+900.014 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 13285
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 4060 0 0 0 89707 308 0 0 25 0 1 0 852775132 20586496 3634 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5026 3634 566 18 0 5008 0
vsize: 20104
[startup+910.014 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 13287
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 4060 0 0 0 90706 309 0 0 25 0 1 0 852775132 20586496 3634 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5026 3634 566 18 0 5008 0
vsize: 20104
[startup+920.015 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 13287
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 4060 0 0 0 91705 310 0 0 25 0 1 0 852775132 20586496 3634 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5026 3634 566 18 0 5008 0
vsize: 20104
[startup+930.016 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 13287
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 4060 0 0 0 92705 311 0 0 25 0 1 0 852775132 20586496 3634 4294967295 134512640 134581267 3221224576 3221223520 134558895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5026 3634 566 18 0 5008 0
vsize: 20104
[startup+940.016 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 13287
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 4060 0 0 0 93704 312 0 0 25 0 1 0 852775132 20529152 3620 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5012 3620 566 18 0 4994 0
vsize: 20048
[startup+950.016 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 13287
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 4060 0 0 0 94703 313 0 0 25 0 1 0 852775132 20529152 3620 4294967295 134512640 134581267 3221224576 3221223504 134519950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5012 3620 566 18 0 4994 0
vsize: 20048
[startup+960.017 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 13287
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 4060 0 0 0 95703 313 0 0 25 0 1 0 852775132 19550208 3381 4294967295 134512640 134581267 3221224576 3221223472 134517868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4773 3381 566 18 0 4755 0
vsize: 19092
[startup+970.017 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 13287
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 4060 0 0 0 96702 314 0 0 25 0 1 0 852775132 19550208 3381 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4773 3381 566 18 0 4755 0
vsize: 19092
[startup+980.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13287
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 4060 0 0 0 97702 314 0 0 25 0 1 0 852775132 19550208 3381 4294967295 134512640 134581267 3221224576 3221223472 134517868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4773 3381 566 18 0 4755 0
vsize: 19092
[startup+990.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13287
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 4060 0 0 0 98702 315 0 0 25 0 1 0 852775132 19550208 3381 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4773 3381 566 18 0 4755 0
vsize: 19092
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13287
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 4060 0 0 0 99700 316 0 0 25 0 1 0 852775132 19550208 3381 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4773 3381 566 18 0 4755 0
vsize: 19092
[startup+1010.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13287
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 4060 0 0 0 100699 318 0 0 25 0 1 0 852775132 19550208 3381 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4773 3381 566 18 0 4755 0
vsize: 19092
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13287
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 4060 0 0 0 101698 319 0 0 25 0 1 0 852775132 19550208 3381 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4773 3381 566 18 0 4755 0
vsize: 19092
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13287
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 4060 0 0 0 102698 319 0 0 25 0 1 0 852775132 19550208 3381 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4773 3381 566 18 0 4755 0
vsize: 19092
[startup+1040.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13287
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 4060 0 0 0 103697 320 0 0 25 0 1 0 852775132 19550208 3381 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4773 3381 566 18 0 4755 0
vsize: 19092
[startup+1050.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13287
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 4060 0 0 0 104697 321 0 0 25 0 1 0 852775132 19550208 3381 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4773 3381 566 18 0 4755 0
vsize: 19092
[startup+1060.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13287
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 4060 0 0 0 105696 322 0 0 25 0 1 0 852775132 19550208 3381 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4773 3381 566 18 0 4755 0
vsize: 19092
[startup+1070.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13287
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 4060 0 0 0 106695 323 0 0 25 0 1 0 852775132 19550208 3381 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4773 3381 566 18 0 4755 0
vsize: 19092
[startup+1080.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13287
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 4060 0 0 0 107694 324 0 0 25 0 1 0 852775132 19550208 3381 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4773 3381 566 18 0 4755 0
vsize: 19092
[startup+1090.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13287
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 4060 0 0 0 108693 325 0 0 25 0 1 0 852775132 19550208 3381 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4773 3381 566 18 0 4755 0
vsize: 19092
[startup+1100.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13287
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 4060 0 0 0 109692 327 0 0 25 0 1 0 852775132 19546112 3380 4294967295 134512640 134581267 3221224576 3221223352 1075285701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4772 3380 566 18 0 4754 0
vsize: 19088
[startup+1110.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13287
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 4060 0 0 0 110691 328 0 0 25 0 1 0 852775132 19546112 3380 4294967295 134512640 134581267 3221224576 3221223288 1075291632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4772 3380 566 18 0 4754 0
vsize: 19088
[startup+1120.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13287
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 4060 0 0 0 111691 328 0 0 25 0 1 0 852775132 19533824 3377 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4769 3377 566 18 0 4751 0
vsize: 19076
[startup+1130.02 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 13287
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 4060 0 0 0 112689 330 0 0 25 0 1 0 852775132 19505152 3370 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4762 3370 566 18 0 4744 0
vsize: 19048
[startup+1140.02 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 13287
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 4060 0 0 0 113687 332 0 0 25 0 1 0 852775132 19505152 3370 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4762 3370 566 18 0 4744 0
vsize: 19048
[startup+1150.02 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 13287
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 4060 0 0 0 114685 334 0 0 25 0 1 0 852775132 19505152 3370 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4762 3370 566 18 0 4744 0
vsize: 19048
[startup+1160.02 s]
Raw data (loadavg): 1.13 1.02 0.93 2/54 13287
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 4060 0 0 0 115683 336 0 0 25 0 1 0 852775132 19505152 3370 4294967295 134512640 134581267 3221224576 3221223488 134527410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4762 3370 566 18 0 4744 0
vsize: 19048
[startup+1170.02 s]
Raw data (loadavg): 1.18 1.03 0.93 2/54 13287
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 4060 0 0 0 116681 339 0 0 25 0 1 0 852775132 19505152 3370 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4762 3370 566 18 0 4744 0
vsize: 19048
[startup+1180.02 s]
Raw data (loadavg): 1.15 1.03 0.93 2/54 13289
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 4060 0 0 0 117680 340 0 0 25 0 1 0 852775132 19505152 3370 4294967295 134512640 134581267 3221224576 3221223488 134527774 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4762 3370 566 18 0 4744 0
vsize: 19048
[startup+1188.83 s]
Raw data (loadavg): 1.13 1.03 0.93 1/53 13289
Raw data (stat): 13232 (Pueblo-v2) R 13231 7266 7265 0 -1 0 4060 0 0 0 117680 340 0 0 25 0 1 0 852775132 19505152 3370 4294967295 134512640 134581267 3221224576 3221223488 134527774 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4762 3370 566 18 0 4744 0
vsize: 0

Child status: 10
Real time (s): 1188.83
CPU time (s): 1189.02
CPU user time (s): 1185.59
CPU system time (s): 3.43148
CPU usage (%): 100.016
Max. virtual memory (Kb): 20348
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	4100
#### END VERIFIER DATA ####